序 1
致青少年朋友 1
写在前面的话 1
欧几里得的《几何原本》 1
从希尔伯特公理系到张景中公理系 6
中学平面几何的公理系 18
数学定理的机器证明发展简介 27
中国数学家对初等几何定理的机器证明所作出的重大贡献 32
吴文俊的几何定理的机器证明方法的基本思想 42
吴文俊的几何定理的机器证明方法 42
将基本的几何问题化为代数形式 47
一些具体的例子 55
张景中的消点算法 70
解几何问题的两把“利剑” 70
消点算法初谈 85
消去平行线上的点 93
消去垂线上的点 104
消去圆上的点 124
举例能证明几何定理吗 133