Modélisation géométrique et arithmétique par intervalles

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.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.DIJON-BU Sciences Economie (212312102) / SudocSudocFranceF