Mathematics mechanization and applications after thirty years

doi:10.1007/s11704-007-0001-8

Front. Comput. Sci.

2007, Vol. 1

Issue (1) : 1-8 https://doi.org/10.1007/s11704-007-0001-8

Mathematics mechanization and applications after thirty years

WU Wenjun, Wen-Tsun Wu, GAO Xiaoshan

Key Laboratory of Mathematics Mechanization, Institute of Systems Science, Academy of Mathematics and System Sciences, Chinese Academy of Sciences, Beijing 100080, China;

Download: PDF(267 KB)
Export: BibTeX | EndNote | Reference Manager | ProCite | RefWorks

Abstract 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.

Issue Date: 05 March 2007

Cite this article:

Wen-Tsun Wu,WU Wenjun,GAO Xiaoshan. Mathematics mechanization and applications after thirty years[J]. Front. Comput. Sci., 2007, 1(1): 1-8.

URL:

https://academic.hep.com.cn/fcs/EN/10.1007/s11704-007-0001-8
https://academic.hep.com.cn/fcs/EN/Y2007/V1/I1/1

Viewed

Full text

Abstract

Cited

Shared

Discussed