"Machine proofs in geometry : automated production of readable proofs for geometry theorems" - читать интересную книгу автора (Shang-Ching Chou; Xiao-Shan Gao; Jingzhong Zhang )