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

https://hal.inria.fr/inria-00344403
Contributor : Sylvain Pion <>
Submitted on : Thursday, December 4, 2008 - 4:30:51 PM
Last modification on : Thursday, March 5, 2020 - 4:53:34 PM
Long-term archiving on: : Thursday, October 11, 2012 - 12:32:45 PM

File

SCAN.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨inria-00344403⟩

Share

Metrics

Record views

238

Files downloads

215