"几何定理机器证明的几何不变量方法"是2015年科学出版社出版的图书,作者是张景中,高小山,周咸青. 本书主要包括:基于面积与勾股差等几何不变量的面积法,基于体积与勾股差等几何不变量的体积法以及基于向量计算的向量方法.本书主要包括:基于面积与勾股差等几何不变量的面积法,基于体积与勾股差等几何不变量的体积法以及基于向量计算的向量方法.前言序言第1章 几何定理机器证明概述第2章 面积法第3章 平面几何机器证明第4章 演绎数据库方法第5章 立体几何中的定理自动证明第6章 非欧几何定理的机器证明第7章 向量和机器证明参考文献