数学机械化进展综述(迎接ICM2002特约文章)

摘要：

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

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

所属期刊栏目：30

分类号：O1(数学)

在线出版日期：2004-01-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共20页

页码：385-404