Automated Deduction in GeometryPascal Schreck, Julien Narboux, Jürgen Richter-Gebert · First published 2011Open the Tome