摘要
阐述了例证法的理论 ,分析、论证了例证法应用于定理机器证明的可行性 ,介绍了几何命题代数化的方法和步骤 。
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.
出处
《三明学院学报》
2001年第4期1-5,共5页
Journal of Sanming University
关键词
定理机器证明
例证法
数值并行法
单例实验法
mechanical theorem proving
citing instances method
method of unistrand experiment
