Mathematics mechanization and applications after thirty years
| Autor: | Gao Xiaoshan, Wen-Tsun Wu, WU Wenjun |
|---|---|
| Rok vydání: | 2007 |
| Předmět: |
Theoretical computer science
General Computer Science Differential equation business.industry Computer science Robotics Field (computer science) Theoretical Computer Science Automated theorem proving Geometric design Artificial intelligence Algebraic number Wu's method of characteristic set business Differential (mathematics) |
| Zdroj: | Frontiers of Computer Science in China. 1:1-8 |
| ISSN: | 1673-7466 1673-7350 |
| DOI: | 10.1007/s11704-007-0001-8 |
| Popis: | 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 the major advances in the field over the past thirty years. The characteristic set method for symbolic solution of algebraic, differential, and difference equation systems are first introduced. Methods for automated proving and discovering geometry theorems are then reviewed. Finally, applications in computer-aided geometric design, computer vision, intelligent computer-aided design, and robotics are surveyed. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink