Skip to Main content Skip to Navigation

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.
Document type :
Complete list of metadata

Cited literature [39 references]  Display  Hide  Download
Contributor : Jean-Michel Muller Connect in order to contact the contributor
Submitted on : Wednesday, May 31, 2017 - 1:39:57 PM
Last modification on : Friday, September 30, 2022 - 4:13:57 AM
Long-term archiving on: : Wednesday, September 6, 2017 - 4:00:29 PM


Files produced by the author(s)


  • HAL Id : ensl-01529804, version 1


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⟩



Record views


Files downloads