Computing predecessor and successor in rounding to nearest - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue BIT Numerical Mathematics Année : 2009

Computing predecessor and successor in rounding to nearest

Résumé

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.
Fichier principal
Vignette du fichier
RuZiBoMe08.pdf (198.29 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00337537 , version 1 (07-11-2008)

Identifiants

Citer

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⟩
505 Consultations
863 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More