| HAL-Inria | Publications, software ... of Inria's scientists |
Journal articles
Computing predecessor and successor in rounding to nearest
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.
Cited literature [7 references]
https://hal.inria.fr/inria-00337537
Contributor : Paul Zimmermann Connect in order to contact the contributor
Submitted on : Friday, November 7, 2008 - 12:05:24 PM
Last modification on : Thursday, February 10, 2022 - 3:07:38 AM
Long-term archiving on: : Monday, June 7, 2010 - 10:48:20 PM
Contributor : Paul Zimmermann Connect in order to contact the contributor
Submitted on : Friday, November 7, 2008 - 12:05:24 PM
Last modification on : Thursday, February 10, 2022 - 3:07:38 AM
Long-term archiving on: : Monday, June 7, 2010 - 10:48:20 PM
File
RuZiBoMe08.pdf
Files produced by the author(s)