书目详细信息 : 几何定理机器证明的基本原理 (初等几何部分)