搜索结果: 1-1 共查到“数学其他学科 GEOMETRIC THEOREM PROVERS”相关记录1条 . 查询时间(0.079 秒)
GEOMETRIC THEOREM PROVERS AND ALGEBRAIC EQUATIONS SOLVERS
GEOMETRIC THEOREM PROVERS ALGEBRAIC EQUATIONS SOLVERS
font style='font-size:12px;'>
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...