T007477　几何定理机器证明的基本原理——初等几何部分

---

吴文俊著。

科学出版社1984年8月版。23．5万字。作者在分析、总结几何学发展历史的基础上，提出了机械化证明方法，并对其基本原理和方法作了自成体系的阐述，证明了奠基于Hilbert《几何基础》中的5类公理系统的各种初等几何，只要几何数系统中的乘法交换律成立，其定理都可以用机械化证明。本书关于几何定理的证明所寻求的是一般的方法。

收入“计算机科学丛书”。