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

出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第16册工业技术(下)》第789页（202字）

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