| 数学机械化进展综述（迎接ICM2002特约文章） |
| |
| 引用本文： | 高小山.数学机械化进展综述（迎接ICM2002特约文章）[J].数学进展,2001,30(5):385-404. |
| |
| 作者姓名： | 高小山 |
| |
| 作者单位： | 中国科学院数学与系统科学研究院, |
| |
| 摘 要： | 本文介绍数学机械化理论，构造性代数几何，构造性微分代数几何，构造性实代数几何，方程求解，与几何自动推理的主要进展及其若干领域的应用，我们还提出了一些待解决的问题。
|
| 关 键 词： | 构造性数学 代数几何 方程求解 数学机械化理论 几何自动推理 |
| 修稿时间： | 2001年6月7日 |
Mathematics Mechanization: A Survey |
| |
| Gao Xiaoshan.Mathematics Mechanization: A Survey[J].Advances in Mathematics,2001,30(5):385-404. |
| |
| Authors: | Gao Xiaoshan |
| |
| Abstract: | In this paper, we give an introduction to the development of mathematics mech-anization: constructive algebraic geometry, constructive differential algebraic geometry, construc-tive real algebraic geometry, methods of equation solving, and automated geometric reasoning. Applications of these theories are also reported. We proposed several open problems for further study. |
| |
| Keywords: | constructive mathematics algebraic geometry equation solving automated reasoning |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
