《平面几何定理的机器证明》
| 作者 | 孙熙椿著 编者 |
|---|---|
| 出版 | 南宁：广西教育出版社 |
| 参考页数 | 142 |
| 出版时间 | 1999（求助前请核对） 目录预览 |
| ISBN号 | 7543529807 — 求助条款 |
| PDF编号 | 83767938（仅供预览，未存储实际文件） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
序1
致青少年朋友1
写在前面的话1
欧几里得的《几何原本》1
从希尔伯特公理系到张景中公理系6
中学平面几何的公理系18
数学定理的机器证明发展简介27
中国数学家对初等几何定理的机器证明所作出的重大贡献32
吴文俊的几何定理的机器证明方法的基本思想42
吴文俊的几何定理的机器证明方法42
将基本的几何问题化为代数形式47
一些具体的例子55
张景中的消点算法70
解几何问题的两把“利剑”70
消点算法初谈85
消去平行线上的点93
消去垂线上的点104
消去圆上的点124
举例能证明几何定理吗133
1999《平面几何定理的机器证明》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由孙熙椿著 1999 南宁：广西教育出版社 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- 平面几何
- 1959 北京：人民交通出版社
-
- 平面几何证明题学习指导
- 1981
-
- 平面几何
- 1984 成都：四川人民出版社
-
- 几何定理机器证明的基本原理 初等几何部分
- 1984 北京：科学出版社
-
- 定理机器证明
- 1987 北京：科学出版社
-
- 平面几何证题基础
- 1981 天津：天津科学技术出版社
-
- 平面几何
- 1992 上海：上海科学技术出版社
-
- 平面几何
- 1992 延吉：延边教育出版社
-
- 高中平面几何证明问题
- 1954 新中国联合出版社
-
- 平面几何
- 1952 东北人民出版社
-
- 平面几何
- 1960 北京：人民卫生出版社
-
- 平面几何一题多证
- 1985 福州：福建人民出版社
-
- 平面几何证题指导
- 1980 南昌：江西人民出版社
-
- 平面几何
- 1959 北京：建筑工程出版社
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD