Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

Computing predecessor and successor in rounding to nearest

Siegfried Rump 1, 2 Paul Zimmermann 3 Sylvie Boldo 4 Guillaume Melquiond 5
1 IRC - Institute for Reliable Computing [Hamburg]
2 Faculty of Science and Engineering [Waseda]
3 CACAO - Curves, Algebra, Computer Arithmetic, and so On
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
4 PROVAL - Proof of Programs
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR
5 MSR - INRIA - Microsoft Research - Inria Joint Centre
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.
Keywords : Floating-point arithmetic rounding to nearest predecessor successor directed rounding
Type de document :
Article dans une revue
Liste complète des métadonnées

Littérature citée [7 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/inria-00337537
Contributeur : Paul Zimmermann <>
Soumis le : vendredi 7 novembre 2008 - 12:05:24
Dernière modification le : jeudi 11 février 2021 - 14:48:32
Archivage à long terme le : : lundi 7 juin 2010 - 22:48:20

Fichier

Vignette du document
RuZiBoMe08.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

CNRS | INRIA | LORIA | UNIV-LORRAINE

Citation

Siegfried Rump, Paul Zimmermann, Sylvie Boldo, Guillaume Melquiond. Computing predecessor and successor in rounding to nearest. BIT Numerical Mathematics, Springer Verlag, 2009, 49 (2), pp.419-431. ⟨10.1007/s10543-009-0218-z⟩. ⟨inria-00337537⟩

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

1255

Téléchargements de fichiers

1050

 

 Contact                    Mentions légales                    Données personnelles