"Mathematics Mechanization: Mechanical Geometry Theorem proving" - читать интересную книгу автора (Wu Wen-tsun)