理学 >>> 数学 >>> 数理逻辑与数学基础 数论 代数学 代数几何学 几何学 拓扑学 数学分析 非标准分析 函数论 常微分方程 偏微分方程 动力系统 积分方程 泛函分析 计算数学 概率论 数理统计学 应用统计数学 运筹学 组合数学 离散数学 模糊数学 应用数学 数学其他学科
搜索结果: 1-5 共查到数学 Symbolic computation相关记录5条 . 查询时间(0.046 秒)
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 (...
The roots of any polynomial of degree m with integer coefficients, can be computed by manipulation of sequences made from 2m distinct symbols and counting the different symbols in the sequences. This ...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

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

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...