例证法在定理机器证明中的应用  

The Application of Citing Instances Method in the Mechanical Theorem Proving

作　　者：邱锦明[1] 

机构地区：[1]三明高等专科学校计算机科学系,福建三明365004

出　　处：《三明学院学报》2001年第4期1-5,共5页Journal of Sanming University

摘　　要：阐述了例证法的理论 ,分析、论证了例证法应用于定理机器证明的可行性 ,介绍了几何命题代数化的方法和步骤 。This article expatiates upon the theory of citing instances method.It also analyses and demonstrates the possibility of mechanical theorem proving by citing instances.Methods and process of algebralization of geometric propositions,as well as the application of the Citing instances method in the parallel numerical and unistrand experiment are introduced.

关 键 词：定理机器证明 例证法 数值并行法 单例实验法 

分 类 号：O18[理学—数学]