搜索结果: 1-1 共查到“数学其他学科 geometric”相关记录1条 . 查询时间(0.078 秒)
GEOMETRIC THEOREM PROVERS AND ALGEBRAIC EQUATIONS SOLVERS
GEOMETRIC THEOREM PROVERS ALGEBRAIC EQUATIONS SOLVERS
2013/9/9
The methods of mechanizing mathematics are realized by means of computer software for solving scientiˉc and engineering problems via symbolic and hybrid computation. This chapter provides a collection...