CR-LIBM A library of correctly rounded elementary functions in double-precision - ENS de Lyon - École normale supérieure de Lyon Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2006

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

Florent de Dinechin
Matthieu Gallet
Nicolas Gast
Christoph Lauter

Résumé

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
crlibm.pdf (888.64 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

ensl-01529804 , version 1 (31-05-2017)

Identifiants

  • HAL Id : ensl-01529804 , version 1

Citer

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⟩
1075 Consultations
5102 Téléchargements

Partager

Gmail Facebook X LinkedIn More