您是否听说过计算机可以解几何题，可以证明几何定理并发现新的定理？计算机是人造出来的，是人想出了用计算机解题的办法并设计出一套一套的程序。计算机只不过是人的工具。本书所讲的实际上是人怎样用计算机解几何题。有兴趣的读者，不妨跟着书，自己动手在计算机上解几个题目玩玩，借此了解一些机器证明，人工智能的知识。

本书结合实例向读者介绍了消点法、自动求解的代数方法等利用计算机的认识图形符号、进行加减乘除等基本功能解几何题的方法。

1 青出于蓝——计算机是人的好学生

1.1 计算机解题基本功

1.2 有了公式就好办

1.3 没有公式找算法

1.4 几何解题花样多

2 举一反三——举例验证几何命题

2.1 归纳和演绎的对立

2.2 用例子证明代数恒等式

2.3 一个例子证明的定理

2.4 用例证法发现新定理

2.5 数值并行法的一般实现

3 一网打尽——几何信息搜索系统

3.1 寻求传统几何的美

3.2 从例子找出方法

3.3 试用几何信息搜索系统

3.4 几何信息搜索系统的算法结构

3.5 讲究策略精益求精

3.6 全角方法的应用

3.7 一个几何信息搜索系统运行情形

4 顺藤摸瓜——解几何问题的消点法

4.1 几何知识的准备

4.2 一个简单的例子

4.3 解剖麻雀——建立消点算法

4.4 有向线段和带号面积

4.5 希尔伯特交点类问题

4.6 引进勾股差

4.7 复数和向量

5 步步为营——自动求解的代数方法

5.1 中国数学家的突破

5.2 领略吴氏代数方法

5.3 金字塔问题

6 后记——几何定理机器证明进展回顾

6.1 艰难的历程

6.2 重要的突破

6.3 与人工证明媲美

6.4 不等式的机器证明

6.5 研究展望和应用前景

参考文献