作者：
出版社： 国防工业出版社
CIP号：2016043073
书号：978-7-118-10515-5
出版地：北京
出版时间：2016.3
定价：￥88
本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出现的问题与困难。