平面几何定理的机器证明PDF电子书下载

序 1

致青少年朋友 1

写在前面的话 1

欧几里得的《几何原本》 1

从希尔伯特公理系到张景中公理系 6

中学平面几何的公理系 18

数学定理的机器证明发展简介 27

中国数学家对初等几何定理的机器证明所作出的重大贡献 32

吴文俊的几何定理的机器证明方法的基本思想 42

吴文俊的几何定理的机器证明方法 42

将基本的几何问题化为代数形式 47

一些具体的例子 55

张景中的消点算法 70

解几何问题的两把“利剑” 70

消点算法初谈 85

消去平行线上的点 93

消去垂线上的点 104

消去圆上的点 124

举例能证明几何定理吗 133