搜索结果: 1-1 共查到“数学其他学科 mathematics mechanization”相关记录1条 . 查询时间(0.062 秒)
Mathematics mechanization and applications after thirty years
mathematics mechanization characteristic set method automated theorem proving automated theorem discovering symbolic equation solving computer aided geometric design computer vision intelligent computer-aided design robotics
2013/9/9
The aim of mathematics mechanization is to develop symbolic algorithms for manipulating mathematical objects, proving and discovering theorems in a mechanical way. This paper gives a brief review of t...