| 基于面向对象的几何定理自动证明系统设计与实现 |
| |
| 引用本文： | 白景华,韩道军. 基于面向对象的几何定理自动证明系统设计与实现[J]. 计算机时代, 2012, 0(7): 26-27,30 |
| |
| 作者姓名： | 白景华 韩道军 |
| |
| 作者单位： | 1. 河南大学软件学院,河南开封,475004
2. 河南大学数据与知识工程研究所 |
| |
| 摘 要： | 针对几何定理自动证明的前推法实现方式,结合面向对象编程工具的特点,实现了一个原型系统。该系统结构简单、清晰,可扩展性强,并能产生可读证明过程。实例分析说明了该原型的有效性。
|
| 关 键 词： | 面向对象 几何定理自动证明 前推法 原型 |
Design and implementation of an object-oriented automatic proof system of geometric theorems |
| |
| Bai Jinghua , Han Daojun. Design and implementation of an object-oriented automatic proof system of geometric theorems[J]. Computer Era, 2012, 0(7): 26-27,30 |
| |
| Authors: | Bai Jinghua Han Daojun |
| |
| Affiliation: | Bai Jinghua, Hart Daojun2 (1. Software School of Henan University, Kaifeng, Henan 475004, China; 2. Institute of Data and Knowledge Engineering, Henan University) |
| |
| Abstract: | The automatic proof system of geometric theorems is a popular topic at present. In this paper, a procedure of forward reasoning is discussed, and a prototype of automatic proof system of geometric theorems is proposed based on object-oriented programming. The prototype structure is simple, clear, and easy to extend. The system can generate a readable proof procedure. The analysis of examples shows the effectiveness of the prototype. |
| |
| Keywords: | object-oriented programming automatic proof system of geometric theorems forward reasoning prototype |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
