| 暂存书架(0) | 登录

MARC状态:审校 文献类型:中文图书 浏览次数:94

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

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架