当前位置:首页 > 数理化
平面几何定理的机器证明
平面几何定理的机器证明

平面几何定理的机器证明PDF电子书下载

数理化

  • 电子书积分:8 积分如何计算积分?
  • 作 者:孙熙椿著
  • 出 版 社:南宁:广西教育出版社
  • 出版年份:1999
  • ISBN:7543529807
  • 页数:142 页
图书介绍:
《平面几何定理的机器证明》目录

序 1

致青少年朋友 1

写在前面的话 1

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

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

中学平面几何的公理系 18

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

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

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

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

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

一些具体的例子 55

张景中的消点算法 70

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

消点算法初谈 85

消去平行线上的点 93

消去垂线上的点 104

消去圆上的点 124

举例能证明几何定理吗 133

返回顶部