Identifiant pérenne de la notice : 247855103
Notice de type
Notice de regroupement
Note publique d'information : 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.
Note publique d'information : 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.