Résolution des contraintes géométriques

National audience; La modélisation par contraintes définit les objets géométriques (typiquement, en 2D, les points, droites, cercles, coniques, etc) par les contraintes qu'ils doivent vérifier (distances, angles, tangences, incidences, etc. entre paires d'objets). L'exposé tente de faire le point sur les diverses méthodes proposées à ce jour pour la résolution des contraintes, en 2D ou en 3D. Les méthodes algébriques transforment les contraintes en un système d'équations, et recourent ensuite à des méthodes numériques (relaxation, Newton-Raphson) [4] ou symboliques (bases de Grobner, méthode de Wu et Ritt) [5,3]. Les méthodes géométriques décomposent le système de contraintes en problèmes g…