Automated Deduction in Geometry - Ida, Tetsuo; Fleuriot, Jacques; Fleuriot, Jacques (Springer Berlin Heidelberg, 2013)