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