摘要： 依据多项式组的 Rilt 原理以及0点分解定理, (见[R 1,2]与[WU 4,5]),作者提出了几何学的一种机械化方法。除应用于解高次联立代数方程组外。本文以初等几何为限,指出如何依据这一机械化方法以建立构造性的代数几何学,以及如何应用于几何定理的机器证明与机器发明。在下一文中,将推广这一机械化方法于微分几何。
吴文俊. 几何学机械化方法Ⅰ.初等几何[J]. 数学季刊, 1986, 1(1): 1-14.
Wu Wen-tsun. A Mechanization Method of Geometry I. Elementary Geometry[J]. Chinese Quarterly Journal of Mathematics, 1986, 1(1): 1-14.
