Skip to Main content Skip to Navigation

CR-LIBM: The evaluation of the exponential

Abstract : We present a new elementary function library, called CR-LIBM. This library implements the various functions defined by the Ansi99 C standard. It provides correctly rounded functions. When writing this library, our primarily goal was to certify correct rounding, and make it reasonably fast, and with a low utilisation of memory. Hence, our library can be used without any problem on real-scale problems. We are also giving the proof and the elements to understand the implementation of the exponential function of CR-LIBM.
Document type :
Complete list of metadata

Cited literature [27 references]  Display  Hide  Download
Contributor : Colette Orange Connect in order to contact the contributor
Submitted on : Wednesday, April 17, 2019 - 9:13:52 AM
Last modification on : Saturday, September 11, 2021 - 3:19:16 AM


Files produced by the author(s)


  • HAL Id : hal-02102084, version 1



C. Daramy, David Defour, Florent de Dinechin, Jean-Michel Muller. CR-LIBM: The evaluation of the exponential. [Research Report] LIP RR-2003-37, Laboratoire de l'informatique du parallélisme. 2003, 2+37p. ⟨hal-02102084⟩



Les métriques sont temporairement indisponibles