MARC状态：审校 文献类型：中文图书 浏览次数：33
- 题名/责任者:
- 几何定理机器证明的几何不变量方法/张景中, 高小山, 周咸青著
- 出版发行项:
- 北京:科学出版社,2015
- ISBN及定价:
- 978-7-03-044066-2 精装/CNY128.00
- 载体形态项:
- xiv,318页:图;25cm
- 丛编项:
- 数学机械化丛书;12
- 个人责任者:
- 张景中 著
- 个人责任者:
- 高小山 著
- 个人责任者:
- 周咸青 著
- 学科主题:
- 几何-定理证明-机器证明-不变量
- 中图法分类号:
- O18-39
- 书目附注:
- 有书目 (第310-316页) 和索引
- 提要文摘附注:
- 用计算机自动证明某一类型几何定理,甚至某一种几何全部定理的原理和方法。从理论角度看,几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤,才能编制程序并在计算机上实现。可用机器证明的几何定理 (主要是初等几何的定理) 有三种不同类型,与之对应则有三种不同的机器证明方法。每一类型定理的机器证明都必须假设代数化与坐标化已经完成,而且可把几何定理的证明问题化为一些代数关系式的处理问题。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 |
| O18-39/1 | CN1442077 | - |  内阅图书
|
阅览 |
| O18-39/1 | CN1442078 | - | 未央馆
|
可借 |
显示全部馆藏信息