|
|||||
|
|
| 数学机械化进展综述（迎接ICM2002特约文章） | |
| 引用本文： | 高小山. 数学机械化进展综述（迎接ICM2002特约文章）[J]. 数学进展, 2001, 30(5): 385-404 |
| 作者姓名： | 高小山 |
| 作者单位： | 中国科学院数学与系统科学研究院, |
| 摘 要： | 本文介绍数学机械化理论，构造性代数几何，构造性微分代数几何，构造性实代数几何，方程求解，与几何自动推理的主要进展及其若干领域的应用，我们还提出了一些待解决的问题。 |
| 关 键 词： | 构造性数学 代数几何 方程求解 数学机械化理论 几何自动推理 |
| 修稿时间： | 2001-06-07 |
Mathematics Mechanization: A Survey |
|
| Gao Xiaoshan. Mathematics Mechanization: A Survey[J]. Advances in Mathematics(China), 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 维普 万方数据 等数据库收录！ | |