"Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems" - читать интересную книгу автора (Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang )