Automated Deduction in Geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers - Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert ((Lecture Notes in Computer Science))