搜索结果: 1-6 共查到“数学 Austria”相关记录6条 . 查询时间(0.102 秒)
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.
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...
Research Institute for Symbolic Computation of the Johannes Kepler University Linz, Austria（图）
符号演算 Symbolic Computation 计算机代数系统 computer algebra systems
font style='font-size:12px;'>
2007/12/24
The Research Institute for Symbolic Computationis an institute of the Johannes Kepler University Linz, Austria.Symbolic Computation is for us:algorithmic solutions of mathematical problems, realizatio...
Dr. Franz Winkler, Chairman of Research Institute for Symbolic Computation Linz, Austria（图）
符号计算 计算代数 Full Professor Chairman Research Institute for Symbolic Computation Symbolic computer algebra differential elimination theory Equational theorem proving
font style='font-size:12px;'>
2007/12/24
Dr. Franz Winkler, Full Professor, Chairman of the Research Institute for Symbolic Computation at the Johannes Kepler University Linz, Austria. Research Interests: Symbolic and algebraic computation (...
The Industrial Mathematics Competence Center（Austria）
数值模拟 Numerical simulation Optimization 最优化 inverse problems Image processing 图像处理
font style='font-size:12px;'>
2007/12/24
The Industrial Competence Center is a department of MathConsult GmbH. MathConsult has been working in applied research in the field of industrial mathematics and computational finance since 1996.
To...
Institute for Computational Mathematics (NuMa) of Johannes Kepler University,Linz, Austria（图）
numerical analysis scientific computing 计算数学 数值分析
font style='font-size:12px;'>
2007/12/25
The Institute for Computational Mathematics, led by Prof. Ulrich Langer, is searching for a PostDoc with a strong background in the numerical treatment of partial differential equations, in particular...