书目详细信息
： 平面几何定理的机器证明
书目信息 机读格式(MARC)
| ISBN/价格： | 7-5435-2980-7:CNY9.50 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 450000 |
| 题名责任者项： | 平面几何定理的机器证明/.孙熙椿著 |
| 出版发行项： | 南宁:,广西教育出版社:,1999 |
| 载体形态项： | 142页:;+彩照:;+20cm |
| 丛编项： | 走向科学的明天丛书.数学 |
| 一般附注： | 赠书 |
| 一般附注： | 国家“九五”重点图书出版规划项目 |
| 提要文摘： | 本书介绍了欧几里得几何公理系的发展、吴文俊院士的几何定理的机器证明方法、张景中院士的消点算法等，尤其介绍了中国数学家在几何定理的机器证明这一研究领域所取得的巨大成就。 |
| 题名主题： | 平面几何 定理证明 机器证明 普及读物 |
| 题名主题： | 平面几何 |
| 题名主题： | 定理证明 |
| 题名主题： | 机器证明 |
| 中图分类： | O123 |
| 个人名称等同： | 孙熙椿 著 |