Section: Software
CRlibm: a Library of Elementary Functions with Correct Rounding
Participants : Florent de Dinechin, JeanMichel Muller, Guillaume Revy.
The CRlibm project aims at developing a mathematical library (libm ) which provides implementations of the double precision C99 standard elementary functions,

correctly rounded in the four IEEE754 rounding modes,

with a comprehensive proof of both the algorithms used and their implementation,

sufficiently efficient in average time, worstcase time, and memory consumption to replace existing libm s transparently.
In 2008, the main objective of the CRlibm project was reached when the revised floatingpoint standard IEEE7542008 was published with a recommendation for correctly rounded functions.
Version 1.0beta2 was released with a much improved power function x^{y} . However the development focus has now turned to automated libm development with the Metalibm project.
Status: Beta release / Target: ia32, ia64, Sparc, PPC / License: LGPL / OS: Unix / Programming Language: C / URL: http://www.enslyon.fr/LIP/Arenaire