CR-LIBM A library of correctly rounded elementary functions in double-precision

Catherine Daramy-Loirat 1 David Defour 2 Florent De Dinechin 1 Matthieu Gallet Nicolas Gast Christoph Lauter 3 Jean-Michel Muller 4, 1
1 ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
2 DALI - Digits, Architectures et Logiciels Informatiques
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, UPVD - Université de Perpignan Via Domitia
Abstract : The crlibm project aims at developing a portable, proven, correctly rounded, and efficient mathematical library (libm) for double precision. Current libm implementation do not always return the floating-point number that is closest to the exact mathematical result. As a consequence, different libm implementation will return different results for the same input, which prevents full portability of floating-point ap- plications. In addition, few libraries support but the round-to-nearest mode of the IEEE754/IEC 60559 standard for floating-point arithmetic (hereafter usually referred to as the IEEE-754 stan- dard). crlibm provides the four rounding modes: To nearest, to +∞, to −∞ and to zero.
Type de document :
Rapport
[Research Report] LIP,. 2006
Liste complète des métadonnées

Littérature citée [153 références]  Voir  Masquer  Télécharger

https://hal-ens-lyon.archives-ouvertes.fr/ensl-01529804
Contributeur : Jean-Michel Muller <>
Soumis le : mercredi 31 mai 2017 - 13:39:57
Dernière modification le : vendredi 20 avril 2018 - 15:44:23
Document(s) archivé(s) le : mercredi 6 septembre 2017 - 16:00:29

Fichier

crlibm.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : ensl-01529804, version 1

Citation

Catherine Daramy-Loirat, David Defour, Florent De Dinechin, Matthieu Gallet, Nicolas Gast, et al.. CR-LIBM A library of correctly rounded elementary functions in double-precision. [Research Report] LIP,. 2006. 〈ensl-01529804〉

Partager

Métriques

Consultations de la notice

309

Téléchargements de fichiers

270