Exact rounding for geometric constructions

Hervé Brönnimann 1 Sylvain Pion 1
1 PRISME - Geometry, Algorithms and Robotics
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : Exact rounding is provided for elementary floating-point arithmetic operations (e.g. in the IEEE standard). Many authors have felt that it should be provided for other operations, in particular for geometric constructions. We show how one may round modular representation of numbers to the closest f.p. representable number, and demonstrate how it can be applied to a variety of geometric constructions. Our methods use only single precision; they produce compact, efficient, and highly parallelizable code. We suggest that they can be applied in other settings when exact computations interact closely with rounded representations.
Type de document :
Communication dans un congrès
Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN), 1997, Lyon, France. 1997
Liste complète des métadonnées

https://hal.inria.fr/inria-00344403
Contributeur : Sylvain Pion <>
Soumis le : jeudi 4 décembre 2008 - 16:30:51
Dernière modification le : samedi 27 janvier 2018 - 01:31:48
Document(s) archivé(s) le : jeudi 11 octobre 2012 - 12:32:45

Fichier

SCAN.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00344403, version 1

Collections

Citation

Hervé Brönnimann, Sylvain Pion. Exact rounding for geometric constructions. Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN), 1997, Lyon, France. 1997. 〈inria-00344403〉

Partager

Métriques

Consultations de la notice

204

Téléchargements de fichiers

149