Parametric Geometric Modeling Using ConstraintsDominique Michelucci, Pascal Mathis, Pascal Schreck · First published 2019Open the Tome
Automated Deduction in Geometry Lecture Notes in Artificial IntelligencePascal Schreck · First published 2012Open the Tome
Automated Deduction in GeometryPascal Schreck, Julien Narboux, Jürgen Richter-Gebert · First published 2011Open the Tome
