Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata
Contributor : Sylvain Pion Connect in order to contact the contributor
Submitted on : Thursday, December 4, 2008 - 4:30:51 PM
Last modification on : Friday, February 4, 2022 - 3:09:34 AM
Long-term archiving on: : Thursday, October 11, 2012 - 12:32:45 PM


Files produced by the author(s)


  • HAL Id : inria-00344403, version 1



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



Record views


Files downloads