Computing predecessor and successor in rounding to nearest (original) (raw)
Journal Articles BIT Numerical Mathematics Year : 2009
Abstract
We give simple and efficient methods to compute and/or estimate the predecessor and successor of a floating-point number using only floating-point operations in rounding to nearest. This may be used to simulate interval operations, in which case the quality in terms of the diameter of the result is significantly improved compared to existing approaches.
Keywords
Connect in order to contact the contributor
https://inria.hal.science/inria-00337537
Submitted on : Friday, November 7, 2008-12:05:24 PM
Last modification on : Friday, March 27, 2026-10:52:01 AM
Long-term archiving on : Monday, June 7, 2010-10:48:20 PM
Cite
Siegfried Rump, Paul Zimmermann, Sylvie Boldo, Guillaume Melquiond. Computing predecessor and successor in rounding to nearest. BIT Numerical Mathematics, 2009, 49 (2), pp.419-431. ⟨10.1007/s10543-009-0218-z⟩. ⟨inria-00337537⟩