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

几何定理机器证明的几何不变量方法
9787030440662
张景中，高小山，周咸青
数学机械化丛书
O18
科学出版社
2015-04
2015
2015
本书主要包括：基于面积与勾股差等几何不变量的面积法、基于体积与勾股差等几何不变量的体积法以及基于向量计算的向量方法。