Jianguo Jiang, Jingzhong Zhang. A review and prospect of readable machine proofs for geometry theorems. J. Systems Science & Complexity, 25(4):802-820, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.