书籍简介:

用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定理（主要是初等几何的定理）有三种不同类型，与之对应则有三种不同的机器证明方法。每一类型定理的机器证明都必须假设代数化与坐标化已经完成，而且可把几何定理的证明问题化为一些代数关系式的处理问题。

书籍规格:

书籍详细信息
书名	几何定理机器证明的几何不变量方法站内查询相似图书
丛书名	数学机械化丛书
	9787030440662 如需购买下载《几何定理机器证明的几何不变量方法》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	北京	出版单位	科学出版社
版次	1版	印次	1
定价(元)	128.0	语种	简体中文
尺寸	24 × 17	装帧	精装
页数	336	印数

全网搜索试读资源

书籍信息归属:

几何定理机器证明的几何不变量方法是科学出版社于2015.4出版的中图分类号为 O18 的主题关于几何－定理证明－机器证明的书籍。