计算机怎样解几何题 谈谈自动推理pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

计算机怎样解几何题 谈谈自动推理PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

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