| 第一章 文献综述 | 第1-10页 |
| ·机器证明概述 | 第7-8页 |
| ·目的和意义 | 第8页 |
| ·课题研究的主要内容 | 第8-10页 |
| 第二章 几何定理机器证明的基本原理 | 第10-17页 |
| ·几何问题的代数化 | 第10-12页 |
| ·机械算法原理 | 第12-15页 |
| ·推证 | 第15-17页 |
| 第三章 几何问题代数化的实现 | 第17-25页 |
| ·几何问题的代数表示法 | 第17-20页 |
| ·多项式组自动生成器 | 第20-25页 |
| 第四章 机器证明的技术实现 | 第25-42页 |
| ·基列构造器的实现 | 第25-29页 |
| ·余式集构造器的实现 | 第29-31页 |
| ·特征列构造器的实现 | 第31-32页 |
| ·判断器 | 第32-33页 |
| ·结果输出 | 第33页 |
| ·推导未知几何关系 | 第33-35页 |
| ·系统结构与证明实例 | 第35-38页 |
| ·示例分析 | 第38-42页 |
| 第五章 结 论 | 第42-44页 |
| ·成果与体会 | 第42-43页 |
| ·继续研究的内容 | 第43-44页 |
| 参考文献 | 第44-47页 |
| 附 录 | 第47-54页 |
| 致 谢 | 第54-55页 |