当前位置： 平面几何定理的机器证明 > 购买云解压PDF图书
- 作 者：孙熙椿著
- 出 版 社：南宁：广西教育出版社
- 出版年份：1999
- ISBN：7543529807
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
7
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
序 1
致青少年朋友 1
写在前面的话 1
欧几里得的《几何原本》 1
从希尔伯特公理系到张景中公理系 6
中学平面几何的公理系 18
数学定理的机器证明发展简介 27
中国数学家对初等几何定理的机器证明所作出的重大贡献 32
吴文俊的几何定理的机器证明方法的基本思想 42
吴文俊的几何定理的机器证明方法 42
将基本的几何问题化为代数形式 47
一些具体的例子 55
张景中的消点算法 70
解几何问题的两把“利剑” 70
消点算法初谈 85
消去平行线上的点 93
消去垂线上的点 104
消去圆上的点 124
举例能证明几何定理吗 133