cx r22 2 45 247855103 http://www.idref.fr/247855103 20200708 20231216015851.000 0499 0499 Tr2 20200708afrey50 ba0 fre 639-2 2006 k fre 0 # # AFNOR Oeuvre Textuelle ba0yba0 Modélisation géométrique et arithmétique par intervalles ba0yba0y Les objets géométriques sont souvent modélisés par des systèmes d'équations et d'inéquations particuliers. Toutefois, tout système d'équations et d'inéquations définit un objet géométrique. Cette thèse s'intéresse à la possibilité de spécifier un objet géométrique par un système de contraintes qui sera résolu par un solveur. Elle explicite aussi les difficultés que rencontre un tel solveur et apporte des débuts de solutions. ba0yba0y Geometrical objects are often modelled by systems of equations and inequalities. However, any system of equations ans inequalities defines a geometrical object. This thesis focuses on the possibility of specifying a geometrical object by a system of constraints which will be solved by a solver. It also clarifies the difficulties encountered by such a solver and suggests beginning of solutions. Thèse doctorat Informatique Dijon 2006 ba0yba0 Geometric modelling and interval arithmetic 112164110 ba0yba01 Lamarque Loïc 1976-.... 070 032984189 ba0yba01 Michelucci Dominique 1959-.... 727 111969824 ba0yba01 Faudot Dominique 727 02819005X ba0yba01 Université de Bourgogne 1970-2024 295 031746845 Modèles géométriques rameau 052590372 Modélisation tridimensionnelle rameau 027219917 Arithmétique rameau ba0yba0 027253139 Thèses et écrits académiques rameau 004 TEF FR Abes 20231216 AFNOR