"Automated Deduction in Geometry, 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008, Revised Papers (Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence)" - читать интересную книгу автора (Thomas Sturm, Christoph Zengler)