"Automated Deduction in Geometry - ADG 2010 " - читать интересную книгу автора (Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert)