数学机械化进展综述  

Mathematics Mechanization: A Survey

作　　者：高小山[1] 

机构地区：[1]中国科学院数学与系统科学研究院

出　　处：《数学进展》2001年第5期385-404,共20页Advances in Mathematics（China）

摘　　要：本文介绍数学机械化理论：构造性代数几何、构造性微分代数几何、构造性实代数几何、方程求解、与几何自动推理的主要进展及其在若干领域的应用．我们还提出了一些待解决的问题．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.

关 键 词：构造性数学 代数几何 方程求解 数学机械化理论 几何自动推理 

分 类 号：O187[理学—数学]