计算机怎样解几何题

1 (p1): 一、青出于蓝——计算机是人的好学生
1 (p1-1): 1.1 计算机解题基本功
6 (p1-2): 1.2 有了公式就好办
17 (p1-3): 1.3 没有公式找算法
25 (p1-4): 1.4 几何解题花样多
27 (p2): 二、举一反三——举例验证几何命题
27 (p2-1): 2.1 归纳和演绎的对立
29 (p2-2): 2.2 用例子证明代数恒等式
35 (p2-3): 2.3 一个例子证明的定理
39 (p2-4): 2.4 用例证法发现新定理
41 (p2-5): 2.5 数值并行法的一般实现
43 (p3): 三、一网打尽——几何信息搜索系统
43 (p3-1): 3.1 寻求传统几何的美
45 (p3-2): 3.2 从例子找出方法
48 (p3-3): 3.3 试用几何信息搜索系统
54 (p3-4): 3.4 几何信息搜索系统的算法结构
57 (p3-5): 3.5 讲究策略精益求精
61 (p3-6): 3.6 全角方法的应用
67 (p3-7): 3.7 一个几何信息搜索系统运行情形
72 (p4): 四、顺藤摸瓜——解几何问题的消点法
72 (p4-1): 4.1 几何知识的准备
77 (p4-2): 4.2 一个简单的例子
80 (p4-3): 4.3 解剖麻雀——建立消点算法
87 (p4-4): 4.4 有向线段和带号面积
96 (p4-5): 4.5 希尔伯特交点类问题
105 (p4-6): 4.6 引进勾股差
115 (p4-7): 4.7 复数和向量
123 (p5): 五、步步为营——自动求解的代数方法
123 (p5-1): 5.1 中国数学家的突破
125 (p5-2): 5.2 领略吴氏代数方法
133 (p5-3): 5.3 金字塔问题
138 (p6): 六、后记——几何定理机器证明进展回顾
138 (p6-1): 6.1 艰难的历程
140 (p6-2): 6.2 重要的突破
143 (p6-3): 6.3 与人工证明媲美
146 (p6-4): 6.4 不等式的机器证明
149 (p6-5): 6.5 研究展望和应用前景 本书共分为六章,内容包括:青出于蓝----计算机是人的好学生,举一反三----举例验证几何命题,一网打尽----几何信息搜索系统等 计算机如何能证明几何定理并发现新的定理呢？是因为人找到了几何解题的规律。跟着书还可以自己动手模拟或实现机器解题.