Aide à la décision  Aide à la preuve  Algorithmes  Algèbre Géométrique  Algèbre linéaire  Analyse numérique  Appariement de formes  Approximation de fonctions  Arbres  Arbres  Arithmétique  Arithmétique des ordinateurs  Arithmétique en virgule flottante  Arithmétique flottante  Arithmétique interne des ordinateurs  Arrondi correct  Assistant de preuve  Assistants de preuve  Automatisation  Bases de Gröbner  Boundary representations  Cao  Compression sans perte  Computer aided design  Conception assistée  Conception assistée par ordinateur  Conception technique -- Informatique  Conditions de mobilité  Conditions d’assemblage  Contraintes  Contraintes redondantes et conflictuelles  Coq  Descripteurs de formes  Dilemme du fabricant de tables  Division de Newton-Raphson  Données -- Compression  Décomposition structurelle  Déformation de la surface de forme libre  Gröbner, Bases de  Géométrie combinatoire  Géométrie finie  Géométrie projective  Homotopie  Image processing  Imagerie tridimensionnelle  Imprécision numérique  Incohérence  Inconsistency  Infographie  Intelligence artificielle  Intention de conception  Interaction homme-ordinateur  Maillages volumineux  Manipulateur portable  Matroïdes  Mesure du rendement  Modeling  Modèles géométriques  Modèles mathématiques  Modélisation  Modélisation géométrique  Modélisation tridimensionnelle  Mécanique  Mécanisation des preuves  Mécanisme  Méthodes Hybrides  Méthodes par continuation  Norme IEEE 754-2008  Numeric imprecision  Optimisation mathématique  Out-of-core  Propriété de Desargues  Prouveur automatique  Quadriques  RN-code  Recherche par forme clef  Reconnaissance de l'intention  Reconnaissance des formes  Reconnaissance optique des formes  Redimensionnement  Redondance  Redundancy  Representation  Représentation  Représentation par frontière  Robotics  Robotique  Robots  Résolution de contraintes géométriques  Solides  Structures algorithmiques  Structures de données  Surfaces  Surfaces quadriques  Synthèse dimensionnelle de mécanismes  SysML  Systèmes de solides sur-Contraints  Systèmes experts  Thèses et écrits académiques  Théorie des matroïdes  Traitement image  Visualisation  Visualisation interactive  État de mobilité  

Dominique Michelucci a rédigé la thèse suivante :


Dominique Michelucci a dirigé les 5 thèses suivantes :


Dominique Michelucci a été président de jury des 2 thèses suivantes :


Dominique Michelucci a été rapporteur des 9 thèses suivantes :


Dominique Michelucci a été membre de jury de la thèse suivante :