搜索结果: 1-2 共查到“数学 symbolic computation”相关记录2条 . 查询时间(0.191 秒)
![](http://www.firstlight.cn/upload/imgfile/20070924d/107214a33317.gif)
Dr. Wolfgang Schreiner, Professor of Research Institute for Symbolic Computation Linz, Austria(图)
Professor 教授 Research Institute for Symbolic Computation Theorema Formal Methods Parallel and Distributed Computing
font style='font-size:12px;'>
2007/12/24
Dr. Wolfgang Schreiner, Professor of Research Institute for Symbolic Computation Linz, Austria.Research: Formal Methods; Parallel and Distributed Computing.
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](http://www.firstlight.cn/upload/imgfile/20070924d/107072a33244.gif)
Dr. Tudor Jebelean, Professor of Research Institute for Symbolic Computation Linz, Austria(图)
Professor 教授 Research Institute for Symbolic Computation Theorema Symbolic Scientific Computing Systolic multiprecision arithmetic
font style='font-size:12px;'>
2007/12/24
Dr. Tudor Jebelean, Professor of Research Institute for Symbolic Computation Linz, Austria. Research: Theorema: automatic reasoning in natural style; Numerical and Symbolic Scientific Computing; Syst...![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)
![](/images/blue.gif)