《幾何定理機器證明的基本原理 : 初等幾何部分》是1984年科學出版社出版的圖書，作者是吳文俊。
基本介紹
- 中文名：幾何定理機器證明的基本原理 : 初等幾何部分
- 作者：吳文俊
- 出版時間：1984年
- 出版社：科學出版社
- 類別：數學
- 書號：15031586
內容簡介,圖書目錄,
內容簡介
本書論述初等幾何機器證明的基本原理，證明了奠基於各種公理系統的各種初等幾何，只須相當於乘法交換律的某一公理成立，大都可以機械化。因此在理論上，這些幾何的定理證明可以藉助於計算機來實施。可以機械化的幾何包括了多種有序或無序的常用幾何、投影幾何、非歐幾何與圓幾何等。
全書共分六章：前兩章是關於幾何機械化的預備知識，集中介紹了常用幾何；後四章致力於幾何的機械化問題。第三章為幾何定理證明的機械化與Hilbert機械化定理，第四、五章分別為（常用）無序幾何的機械化定理和（常用）有序幾何的機械化定理，第六章闡述各種幾何的機械化定理。
本書可供數學工作者和計算機科學工作者以及高等院校有關專業的師生參考。
圖書目錄
目錄
第一章 Desargues幾何與Desargues數系
第二章 垂直幾何、度量幾何與常用幾何
第三章 幾何定理證明的機械化與Hilbert機械化定理
第四章 （常用）無序幾何的機械化定理
第五章 （常用）有序幾何的機械化定理
第六章 各種幾何的機械化定理
參考文獻
