论初等几何定理的机器证明与消去法

本书介绍初等几何的机器证明,重点是消去法。本书详细且细微地介绍了初等几何定理,如何通过坐标系将已知条...

2016.3