- 作 者：张景中著
- 出 版 社：暨南大学出版社；清华大学出版社
- 出版年份：2000
- ISBN：7810299301
- 标注页数：195 页
- PDF页数：210 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源210 ≥195页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
1 青出于蓝--计算机是人的好学生 1
1.1 计算机解题基本功 1
1.2 有了公式就好办 8
1.3 没有公式找算法 21
1.4 几何解题花样多 30
2 举一反三--举例验证几何命题 33
2.1 归纳和演绎的对立 33
2.2 用例子证明代数恒等式 35
2.3 一个例子证明的定理 43
2.4 用例证法发现新定理 48
2.5 数值并行法的一般实现 50
3 一网打尽--几何信息搜索系统 53
3.1 寻求传统几何的美 53
3.2 从例子找出方法 56
3.3 试用几何信息搜索系统 59
3.4 几何信息搜索系统的算法结构 66
3.5 讲究策略精益求精 69
3.6 全角方法的应用 75
3.7 一个几何信息搜索系统运动情形 83
4 顺藤摸瓜--解几何问题的消点法 89
4.1 几何知识的准备 89
4.2 一个简单的例子 96
4.3 解剖麻雀--建立消点算法 100
4.4 有向线段和带号面积 109
4.5 希尔伯特交点类问题 121
4.6 引进勾股差 133
4.7 复数和向量 146
5 步步为营--自动求解的代数方法 155
5.1 中国数学家的突破 155
5.2 领略吴氏代数方法 157
5.3 金字塔问题 168
6 后记--几何定理机器证明进展回顾 175
6.1 艰难的历程 175
6.2 重要的突破 178
6.3 与人工证明媲美 181
6.4 不等式的机器证明 185
6.5 研究展望和应用前景 189
参考文献 193