平面几何定理的机器证明

文档类型

价格(积分)

购买连接

试读

PDF格式

1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。

2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源161 ≥142页】

1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。

2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)

3、所有的电子图书都是原书直接扫描方式制作而成。

序 1

致青少年朋友 1

写在前面的话 1

欧几里得的《几何原本》 1

从希尔伯特公理系到张景中公理系 6

中学平面几何的公理系 18

数学定理的机器证明发展简介 27

中国数学家对初等几何定理的机器证明所作出的重大贡献 32

吴文俊的几何定理的机器证明方法的基本思想 42

吴文俊的几何定理的机器证明方法 42

将基本的几何问题化为代数形式 47

一些具体的例子 55

张景中的消点算法 70

解几何问题的两把“利剑” 70

消点算法初谈 85

消去平行线上的点 93

消去垂线上的点 104

消去圆上的点 124

举例能证明几何定理吗 133