Computing predecessor and successor in rounding to nearest

Journal
BIT  
Volume
49
Issue
2
Start Page
419
End Page
431
Citation
BIT Numerical Mathematics 2 (49): 419-431 (2009-06-01)
Publisher DOI
10.1007/s10543-009-0218-z
Scopus ID
2-s2.0-67349192181
Publisher
Springer Science + Business Media B.V
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.
Subjects
Directed rounding
Floating-point arithmetic
Predecessor
Rounding to nearest
Successor
DDC Class
004: Informatik
510: Mathematik