序

致青少年朋友

写在前面的话

欧几里得的《几何原本》

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

中学平面几何的公理系

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

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

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

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

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

一些具体的例子

张景中的消点算法

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

消点算法初谈

消去平行线上的点

消去垂线上的点

消去圆上的点

举例能证明几何定理吗