Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers - Schreck, Pascal; Narboux, Julien; Richter-Gebert, Jürgen (Springer Berlin Heidelberg : Imprint: Springer, 2011)