內容簡介
本卷收錄了吳文俊的《幾何定理機器證明的基本原理》一書。書中論述初等幾何機器證明的基本原理,證明了奠基於各種公理繫統的各種初等幾何,隻需相當於乘法交換律的某一公理成立,大都可以機械化。因此在理論上,這些幾何的定理證明可以借肋於計算機來實施。可以機械化的幾何包括了多種有序或無序的常用幾何、投影幾何、非歐幾何與圓幾何等。《BR》全書共分六章。前兩章是關於幾何機械化的預備知識,集中介紹了常用幾何;後四章致力於幾何的機械化問題。第3章為幾何定理證明的機械化與Hilbert機械化定理,第4,5章分別為(常用)無序幾何的機械化定理和(常用)有序幾何的機械化定理,第6章闡述各種幾何的機械化定理。