| 例证法在定理机器证明中的应用 |
| |
| 引用本文： | 邱锦明.例证法在定理机器证明中的应用[J].三明学院学报,2001,18(4):1-5. |
| |
| 作者姓名： | 邱锦明 |
| |
| 作者单位： | 三明高等专科学校,计算机科学系,福建,三明,365004 |
| |
| 摘 要： | 阐述了例证法的理论,分析、论证了例证法应用于定理机器证明的可行性,介绍了几何命题代数化的方法和步骤,并介绍了数值并行例证法和单例实验例证法的应用.
|
| 关 键 词： | 定理机器证明 例证法 数值并行法 单例实验法 |
| 文章编号： | 1671-1343(2001)04-0001-05 |
| 修稿时间： | 2001年10月18 |
The Application of Citing Instances Method in the Mechanical Theorem Proving |
| |
| QIU Jin-Ming.The Application of Citing Instances Method in the Mechanical Theorem Proving[J].Journal of Sanming University,2001,18(4):1-5. |
| |
| Authors: | QIU Jin-Ming |
| |
| Abstract: | 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. |
| |
| Keywords: | mechanical theorem proving citing instances method method of unistrand experiment |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
