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

书籍:中国图书大辞典:1949-1992第16册工业技术(下) 更新时间:2018-09-19 10:52:51

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

吴文俊着。

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

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

分享到: