Dominique Michelucci
IdRefMots clés
FR |
EN
Arithmétique des ordinateurs
Arrondi correct
Imagerie tridimensionnelle
Modèles géométriques
Modélisation tridimensionnelle
Bases de Gröbner
Gröbner, Bases de
Solides
Quadriques
Approximation de fonctions
Arithmétique flottante
Dilemme du fabricant de tables
Arithmétique en virgule flottante
Aide à la preuve
Automatisation
Assistant de preuve
Géométrie finie
Géométrie projective
Mécanisation des preuves
Propriété de Desargues