S Ait-Aoudia, M Bahriz, L Salhi - 2009 Second International …, 2009 - ieeexplore.ieee.org
Geometric constraint solving has applications in many different fields, such as computer-
aided design, molecular modelling, tolerance analysis, and geometric theorem proving …