"Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings (Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence)" - читать интересную книгу автора (Xiao-Shan Gao, Dongming Wang, Lu Yang)