Rump, Siegfried M.Siegfried M.RumpZimmermann, PaulPaulZimmermannBoldo, SylvieSylvieBoldoMelquiond, GuillaumeGuillaumeMelquiond2021-01-292021-01-292009-02-24BIT Numerical Mathematics 2 (49): 419-431 (2009-06-01)http://hdl.handle.net/11420/8628We 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.en1572-912520092419431Springer Science + Business Media B.VDirected roundingFloating-point arithmeticPredecessorRounding to nearestSuccessorInformatikMathematikJournal Article10.1007/s10543-009-0218-zOther