理学 >>> 数学 信息科学与系统科学 物理学 化学 天文学 地球科学总论 大气科学 地球物理学 地理学 地质学 水文学 海洋科学 生物学 科学技术史
搜索结果: 1-4 共查到学术机构 理学 symbolic computation相关记录4条 . 查询时间(0.128 秒)
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. Research: Theorema: automatic reasoning in natural style; Numerical and Symbolic Scientific Computing; Syst...
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, Full Professor, Chairman of the Research Institute for Symbolic Computation at the Johannes Kepler University Linz, Austria. Research Interests: Symbolic and algebraic computation (...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...