简介
本书介绍了欧几里得几何公理系的发展、吴文俊院士的几何定理的机器证明方法、张景中院士的消点算法、举例能否证明几何定理等，尤其介绍了中国数学家在几何定理的机器证明这一研究领域所取得的巨大成就，就读者了解平面几何定理的机器证明的基本思想和方法。
目录
序
致青少年朋友
写在前面的话
欧几里得的《几何原本》
从希尔伯特公理系到张景中公理系
中学平面几何的公理系
数学定理的机器证明发展简介
中国数学家对初等几何定理的机器证明所作出的重大贡献
吴文俊的几何定理的机器证明方法的基本思想
吴文俊的几何定理的机器证明方法
将基本的几何问题化为代数形式
一些具体的例子
张景中的消点算法
解几何问题的两把“利剑”
消点算法初谈
消去平行线上的点
消去垂线上的点
消去圆上的点
举例能证明几何定理吗
平面几何定理的机器证明
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
