搜索结果: 1-2 共查到“symbolic
computation”相关记录2条 . 查询时间(0.045 秒)
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
2007/12/24
Dr. Wolfgang Schreiner, Professor of Research Institute for Symbolic Computation Linz, Austria.Research: Formal Methods; Parallel and Distributed Computing.
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
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...