几何定理机器证明的几何不变量方法

书籍简介:

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

书籍规格:

书籍信息归属:

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