Des arithmétiques pour la géométrie
Abstract
La correction des algorithmes géométriques repose sur des théorèmes géométriques. Ces théorèmes sont vrais pour une géométrie réelle - euclidienne par exemple -, mais deviennent faux en général pour une géométrie approchée, telle celle fournie lorsqu'on utilise l'arithmétique flottante des ordinateurs. C'est pourquoi les chercheurs mettent en œuvre des filtres arithmétiques.