图书介绍
几何定理计算机证明PDF|Epub|txt|kindle电子书版本网盘下载
- 孙熙椿编著 著
- 出版社： 北京：科学出版社
- ISBN：703015505X
- 出版时间：2007
- 标注页数：207页
- 文件大小：8MB
- 文件页数：217页
- 主题词：计算机应用－几何学－定理证明：机器证明
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
2 现代公理化的欧几里得几何3
3 中学平面几何的公理体系11
4 张景中欧几里得几何公理系16
习题19
第2章 几何定理机器证明发展概况20
1 中国古代数学的机械化方法20
2 定理机器证明发展简介26
3 希尔伯特的机械化思想29
4 以吴文俊为首的中国数学机械化学派所取得的巨大成就33
习题二39
第3章 吴文俊机械化方法40
1 将几何问题化为代数形式的基本公式40
2 简单情形45
3 可约化情形56
4 一个古老的问题65
5 吴法的广泛应用70
习题三76
第4章 张景中消点算法77
1 共边定理的发现77
2 消点算法初谈88
3 消去平行线上的点94
4 消点算法与可读证明102
5 勾股差定理107
6 消去圆上的点125
7 全角方法136
8 向量法与复数法145
习题四151
第5章 杨路降维算法152
1 不等式的传统证法152
2 杨路降维算法155
3 降维算法的特点160
4 三角形不等式的机器证明171
5 指令与语法175
6 用BOTTEMA软件证明不等式179
7 不等式的可读证明183
习题五190
第6章 举例子能证明几何定理吗？191
1 概述191
2 推广到多个变量的情形194
3 数值并行算法及步骤195
4 L类构造性几何定理及实例201
参考文献206