Reports (Research Report) Year : 2006

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

Florent de Dinechin
Matthieu Gallet
Nicolas Gast
Christoph Lauter

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.
Fichier principal
Vignette du fichier
crlibm.pdf (888) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : ensl-01529804 , version 1

Cite

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⟩
1288 View
5859 Download

Share

More