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