Options
Computing predecessor and successor in rounding to nearest
Publikationstyp
Journal Article
Publikationsdatum
2009-02-24
Sprache
English
Institut
TORE-URI
Enthalten in
Volume
49
Issue
2
Start Page
419
End Page
431
Citation
BIT Numerical Mathematics 2 (49): 419-431 (2009-06-01)
Publisher DOI
Scopus ID
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.
Schlagworte
Directed rounding
Floating-point arithmetic
Predecessor
Rounding to nearest
Successor
DDC Class
004: Informatik
510: Mathematik