Share Email Print
cover

Proceedings Paper

CR-LIBM: a correctly rounded elementary function library
Author(s): Catherine Daramy; David Defour; Florent de Dinechin; Jean-Michel Muller
Format Member Price Non-Member Price
PDF $14.40 $18.00

Paper 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: the returned result is always the floating-point number that is closest to the exact result. 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.

Paper Details

Date Published: 24 December 2003
PDF: 7 pages
Proc. SPIE 5205, Advanced Signal Processing Algorithms, Architectures, and Implementations XIII, (24 December 2003); doi: 10.1117/12.505591
Show Author Affiliations
Catherine Daramy, Ecole Normale Superieure de Lyon, CNRS (France)
David Defour, Ecole Normale Superieure de Lyon, CNRS (France)
Florent de Dinechin, Ecole Normale Superieure de Lyon, CNRS (France)
Jean-Michel Muller, Ecole Normale Superieure de Lyon, CNRS (France)


Published in SPIE Proceedings Vol. 5205:
Advanced Signal Processing Algorithms, Architectures, and Implementations XIII
Franklin T. Luk, Editor(s)

© SPIE. Terms of Use
Back to Top