这些结果可与阿基米德斯的几何定理相比。
在几何定理机器*方法中。，常用的有几何代数方法、演绎数据库方法和例*法等方法。
同时，也对四*问题与初等几何定理*作了简单的讨论。
为了生成传统形式的几何定理可读*，前推法必不可少。
几何定理*的前推法能够产生传统形式的可读*，在定理机器*领域占有重要的地位。
希腊数学家阿基米德(Archimedes)最后的话，被罗马*队杀害时他正在面前的沙子上*一个几何定理。
半个世纪前，IBM的赫伯特·格勒恩特尔编写了一个程序，据称再现了欧几里德几何定理，但是，批评家们说它过于依赖程序员提供的规则。
所提出的准线*变换消元法可应用于涉及非线*代数方程组求解的几何定理机器*、算机辅助设计、器人等多个领域,具有十分重要的理论意义与实用价值。
