图书介绍
几何定理机器证明的几何不变量方法pdf电子书版本下载
- 张景中，高小山，周咸青著 著
- 出版社： 北京：科学出版社
- ISBN：9787030440662
- 出版时间：2015
- 标注页数：318页
- 文件大小：36MB
- 文件页数：337页
- 主题词：几何－定理证明－机器证明
PDF下载
下载说明
几何定理机器证明的几何不变量方法PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第1章 几何定理机器证明概述 1
1.1 模拟人的思维——人工智能的开始 1
1.2 Gelernter的几何定理证明机 4
1.3 几何定理机器证明的吴方法 6
1.4 几何定理自动发现的吴方法 12
第1章 小结 13
第2章 面积法 15
2.1 传统的证明方法和机器证明的比较 15
2.2 有向三角形的带号面积 18
2.2.1 公理 18
2.2.2 基本命题 20
2.3 Hilbert交点命题 24
2.3.1 命题的描述 25
2.3.2 几何命题的谓词形式 27
2.4 面积法 29
2.4.1 从面积中消去点 29
2.4.2 从比例中消去点 31
2.4.3 自由点和面积坐标 34
2.4.4 几何定理证明举例 38
2.4.5 其他的消元技术 44
2.5 面积法和仿射几何 50
2.5.1 平面仿射几何 51
2.5.2 面积法和仿射几何 52
2.6 应用 55
2.6.1 公式推导 55
2.6.2 n3构型的存在性 61
2.6.3 Ceva与Menelus定理的推广 65
第2章 小结 73
第3章 平面几何机器证明 75
3.1 勾股差 75
3.1.1 勾股差和垂直 75
3.1.2 勾股差和平行 78
3.1.3 勾股差和面积 80
3.2 构造型几何命题 82
3.2.1 线性构造型几何命题 82
3.2.2 最小构造集合 84
3.2.3 谓词形式 85
3.3 线性可构型几何命题的机器证明 87
3.3.1 算法 87
3.3.2 优化的消去技巧 93
3.4 比率构造 96
3.4.1 更多的比率构造 96
3.4.2 全角法的机械化 104
3.5 面积坐标 111
3.5.1 面积坐标系 111
3.5.2 面积坐标和三角形的特殊点 113
3.6 三角函数和共圆点 120
3.6.1 共圆定理 120
3.6.2 共圆点的消去 123
3.7 可构型几何命题的机器证明 130
3.7.1 从几何量中消点 130
3.7.2 伪除法和三角形式 133
3.7.3 可构型几何命题的机器证明 136
3.8 基于演绎数据库的全角方法 140
3.8.1 建立几何信息库 141
3.8.2 基于几何信息库的机器证明 145
第3章 小结 153
第4章 演绎数据库方法 155
4.1 结构化的演绎数据库和推理策略 155
4.1.1 基于结构化数据的推理 155
4.1.2 有关的工作 156
4.2 几何推理规则 157
4.2.1 几何推理规则 158
4.2.2 非退化条件 160
4.2.3 准确的数值图形的构造 161
4.3 结构化数据库 161
4.3.1 数据库的结构 161
4.3.2 证明的生成 163
4.4 搜索和控制的策略 164
4.4.1 基于数据的搜索 164
4.4.2 避免冗余推理 166
4.5 构造辅助点和Skolem化 168
4.6 算法的实现与例题 169
4.6.1 算法的实现 169
4.6.2 应用 170
4.6.3 测试结果和例子 171
附录 175
第4章 小结 178
第5章 立体几何中的定理自动证明 179
5.1 带号体积 179
5.1.1 共面定理 181
5.1.2 体积和平行 183
5.1.3 体积与三维仿射几何 185
5.2 构造型几何命题 190
5.2.1 构造型几何命题 190
5.2.2 构造型几何图形 193
5.3 线性构造型几何命题的机器证明 196
5.3.1 关于体积的消点法 196
5.3.2 由面积比中消点 199
5.3.3 由长度比中消点 202
5.3.4 自由点和体积坐标 206
5.3.5 例子 208
5.4 空间中的勾股差 215
5.4.1 勾股差与垂直 215
5.4.2 勾股差与体积 218
5.5 体积法 220
5.5.1 算法 221
5.5.2 例子 223
5.6 体积坐标系 230
第5章 小结 234
第6章 非欧几何定理的机器证明 236
6.1 Cayley-Klein九种平面几何 236
6.1.1 直线上的三种度量 236
6.1.2 角度的三种度量 238
6.1.3 九种平面几何 238
6.2 Cayley-Klein几何的转化定理 245
6.3 双曲几何面积法 252
6.4 双曲几何的消元法 256
6.4.1 基本几何命题 256
6.4.2 从比率中消去点 258
6.4.3 从线性的几何量中消去点 259
6.4.4 从二次几何量中消去点 260
6.4.5 消去自由点 261
6.4.6 消去共圆的点 262
6.5 算法的实现与例子 263
第6章 小结 269
第7章 向量和机器证明 270
7.1 三维度量空间几何 270
7.1.1 内积和度量向量空间 271
7.1.2 度量向量空间的外积 275
7.2 立体度量几何 277
7.2.1 内积和外积 279
7.2.2 构造型几何语句 281
7.3 基于向量计算的机器证明 283
7.3.1 向量消点法 283
7.3.2 从内积和外积中消点 287
7.3.3 算法 289
7.4 度量平面几何中的机器证明 291
7.4.1 欧氏平面几何的向量方法 292
7.4.2 Minkowsky平面几何中的机器证明 296
7.5 使用复数的机器证明 300
第7章 小结 308
参考文献 310
索引 317