![平面几何定理的机器证明](https://cover.qianqiantushu.cc/50/s6b493e0.jpg)
![平面几何定理的机器证明](https://cover.qianqiantushu.cc/50/s6b493e0.jpg)
平面几何定理的机器证明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
相关图书
- 《计算机辅助平面设计》吴轶博主编 2019
- 《循证社会科学》拜争刚主编 2019
- 《设计点线面 平面设计师实战与进阶》魏宏健著 2019
- 《高职高专艺术设计类专业“十二五”规划教材 平面广告设计与制作 第2版》张照雨,何章强编 2018
- 《宠物中医药临证指南》赵学思著 2019
- 《科学建构 从几何模型到物理世界》(中国)江晓原 2019
- 《好玩的几何 和平面图形玩耍吧》米里亚娜·拉多万诺维奇 2019
- 《本草体证录 一名基层老中医55年临证用药秘法 3》周正祎 2019
- 《基于光谱和几何特征的高分影像道路提取研究》苗则朗,史文中,贺跃光著 2019
- 《方程组实数解的几何方法 影印版》Frank Sottile 2018
作者其它书籍
- 《自由与组织》吴之椿著 1940
- 《20世纪中国图书馆学文库 23 怎样利用图书馆》洪焕椿著 2013
- 《千秋系列 长篇历史小说 戊戌喋血记 上》任光椿著 2011
- 《现代成功学 谈做人做事做学问》闻邦椿著 2013
- 《大众珠算》华印椿著 1956
- 《白梅花》朱子椿著 2003
- 《淡淡的雾霭里》彭作雨,朱子椿著 1986
- 《宋辽夏金史话》洪焕椿著 1980
- 《古地磁学导论》刘椿著 1991
- 《从现代数学看中学数学》孙熙椿主编 1991
出版社其它书籍
- 《培智学校义务教育实验教科书教师教学用书 生活适应 二年级 上》人民教育出版社,课程教材研究所,特殊教育课程教材研究中心编著 2019
- 《习近平总书记教育重要论述讲义》本书编写组 2020
- 《办好人民满意的教育 全国教育满意度调查报告》(中国)中国教育科学研究院 2019
- 《广西近代专业音乐研究》李昂责任编辑;(中国)杨柳成 2019
- 《教育学考研应试宝典》徐影主编 2019
- 《语文教育教学实践探索》陈德收 2018
- 《家庭音乐素养教育》刘畅 2018
- 《学前教育学》王换成主编 2019
- 《近代体育游戏教育史料汇编 第1辑 1》王强主编 2016
- 《全国学前教育专业(新课程标准)“十三五”规划教材 简谱手风琴教程 第2版》(中国)杨克勤,王宝庆 2019