幾何定理機器證明的基本原理（初等幾何部分）

內容簡介

本書共分六章，前兩章是關於幾何機械化的預備知識，集中介紹了常用幾何；後四章致力於幾何的機械化問題。第3章為幾何定理證明的機械化與Hilben機械化定理，第4、5章分別為(常用)無序幾何的機械化定理和(常用)有序幾何的機械化定理，第6章闡述各種幾何的機械化定理。

圖書目錄

導言

第1章 Desargues幾何與Desargues數系

1．1 常用幾何的Hilbert公理系統

1．2 無限公理與Desargues公理

1．3 Desargues平面中的有理點

1．4 DesargueS數系與有理數子系

1．5 直線上的Desargues數系

1．6 Desargues平面的附屬Desargues數系

1．7 Desargries平面幾何的坐標系

第2章垂直幾何、度量幾何與常用幾何

2．1 Pascal公理與乘法交換公理——（無序）Pascal幾何

2．2 垂直公理與（無序）垂直幾何

2．3 （無序）垂直幾何的垂直坐標

2．4 （無序）度量幾何

2．5 次序公理與有序度量幾何

2．6 常用幾何及其關屬幾何

第3章幾何定理證明的機械化與Hilbert機械化定理

3．1 歐幾里得證明方法小議

3．2 幾何概念坐標表示的標準化

3．3 定理證明的機械化與Hilbert關於Pascal幾何中交點定理的機械化定理

3．4 Hilbert機械化證法舉例

3．5 Hilbert機械化定理的證明

第4章（常用）無序幾何的機械化定理

4．1 概述

4．2 多項式的因子分解

4．3 多項式組的整序

4．4 代數簇的構造性理論——不可約升列與不可約代數簇

4．5 代數簇的構造性理論——代數簇的不可約分解

4．6 代數簇的構造性理論——維數概念與維數定理

4．7 無序幾何機械化定理的證明

4．8 無序幾何機械化證法舉例

第5章（常用）有序幾何的機械化定理

5．1 有序幾何定理證明機械化概述

5．2 Tarski定理與Seidenberg方法

5．3 有序幾何定理機械化證法舉例

第6章各種幾何的機械化定理

6．1 概述

6．2 投影幾何定理證明的機械化

6．3 Bolyai-Lobachevsky雙曲型非歐幾何定理證明的機械化

6．4 Riemann橢圓型非歐幾何定理證明的機械化

6．5 兩種圓幾何學定理證明的機械化

6．6 超越函式公式證明的機械化

幾何定理機器證明的基本原理（初等幾何部分）

基本介紹

內容簡介

圖書目錄

相關詞條

熱門詞條