初等几何定理的机器证明

摘要：

本文利用数字家吴文俊就几何命题机器证明创建的吴法对一非平凡的几何命题代数化,给出了两种不同于吴法的算法,并在Maple环境下运行证明了该命题.

关键词：初等几何、机器证明、多项式环、理想、Grlbner基

所属期刊栏目：16

分类号：O141.2(数理逻辑、数学基础)

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

页数：共3页

页码：11-12,17