搜索结果: 1-2 共查到“知识库 数学其他学科 mathematics”相关记录2条 . 查询时间(0.168 秒)
Critical Point Theory in Mathematics and in Mathematical Physics
Critical Point Theory Mathematics Mathematical Physics
font style='font-size:12px;'>
2010/3/5
Critical Point Theory in Mathematics and in Mathematical Physics。
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
font style='font-size:12px;'>
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...