初等几何定理机器证明的基本原理(英文)

被引：5

作者：

吴文俊

机构：

[1] 中国科学院系统科学研究所北京

来源：

系统科学与数学 | 1984年 / 03期

关键词：

初等几何; 定理机器证明; Pascal; 代数簇; 多项式组; polynomial; proof; 构造性; ordinary; irreducible;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

1976与1977之交,我发现了一个初等几何定理证明的机械化方法,见文献[4].这一方法适用于各种无序的但满足 Pascal 公理的初等几何,或各种初等几何中不牵涉次序关系的那类定理.本文§4叙述了这一方法所依据的基本原理并给出了详细证明.在§2与§3中则阐述了基本原理所依赖的关于多项式组的整序理论与代数簇的构造性理论.二者俱源出 Ritt 的著作,见文献[2,3].最后在§5中以 Morley 定理与我所发现的Pascal 锥线定理为例,说明这一方法在计算机上实施的具体情况.

引用

页码：207 / 235

页数：29