Résumé : Cette thèse se propose de présenter une méthode efficace pour décrire et résoudre de façon déclarative des problèmes géométriques sous contraintes. Cette méthode de description est omniprésente en CAO pour définir la forme des objets. Pour ce faire, nous nous sommes appuyés sur des travaux déjà réalisés dans ce domaine, notamment sur des approches non-cartésiennes. Le premier chapitre fait la synthèse de l'état de l'art en matière de modélisation déclarative d'un objet géométrique. Le second chapitre aborde la modélisation retenue : une approche non-cartésienne basée sur la perturbation d'un certain tenseur métrique. Une mise en équation et une méthode de résolution originales sont détaillées et les algorithmes correspondants implémentés. Des exemples numériques illustrent les résultats obtenus par le prototype développé. Le troisième chapitre propose d'enrichir l'approche précédente en utilisant des multivecteurs. De nouvelles spécifications pour l'utilisateur sont disponibles et en contrepartie de nouveaux types d'équation doivent être générés. Des applications numériques de cette modélisation multi-vectorielle sont apportées. Enfin, dans le dernier chapitre, on se propose de généraliser le modèle tensoriel vers un modèle basé sur l'algèbre géométrique. Ce nouvel outil et une solution permettant de représenter les objets et les contraintes avec ce langage, sont présentés.
Notes : Bibliogr. p. 153-157.
Thèse de doctorat : Sciences Appliquées (Automatique) : Ecole Centrale de Paris : 2008 (version d'origine)