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 :
Reports
Complete list of metadatas

Cited literature [27 references]  Display  Hide  Download

https://hal-lara.archives-ouvertes.fr/hal-02102084
Contributor : Colette Orange <>
Submitted on : Wednesday, April 17, 2019 - 9:13:52 AM
Last modification on : Wednesday, November 20, 2019 - 2:52:56 AM

File

RR2003-37.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02102084, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

10

Files downloads

10