Des arithmétiques pour la géométrie

La correction des algorithmes géométriques repose sur des théorèmes géométriques vrais pour une géométrie réelle - euclidienne par exemple -,mais faux en général pour une géométrie approchée,comme celle utilisée pour l'arithmétique flottante des ordinateurs. C'est pourquoi les chercheurs mettent en ?uvre des filtres arithmétiques.

Mots-clés : géométrie algorithmique,erreur,virgule flottante,arithmétique d'intervalles,CGAL,arrondi géométrique,fuscia
Type de document : texte,image,ressource interactive
Type de ressource : lecture,démonstration
Niveau : higher education
Publics visés : learner
Auteurs ou éditeurs : Sylvain Pion,Institut National de Recherche en Informatique et en Automatique / Interstices