摘要
本文介绍数学机械化理论：构造性代数几何、构造性微分代数几何、构造性实代数几何、方程求解、与几何自动推理的主要进展及其在若干领域的应用．我们还提出了一些待解决的问题．
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.
出处
《数学进展》
CSCD
北大核心
2001年第5期385-404,共20页
Advances in Mathematics（China）
