CR-LIBM: a correctly rounded elementary function library
CR-LIBM: a correctly rounded elementary function library
复制标题
CR-LIBM：正确舍入的基本函数库
DOI：
10.1117/12.505591
复制
发表时间：
2003
影响因子：
--
通讯作者：
J. Muller
中科院分区：
文献类型：
--
作者：
Catherine Daramy;D. Defour;F. de Dinechin;J. Muller
我们提出了一个新的基本函数库，称为 CR-LIBM。该库实现了 Ansi99 C 标准定义的各种函数。它提供正确舍入的函数：返回的结果始终是最接近精确结果的浮点数。在编写这个库时，我们的主要目标是验证正确的舍入，并使其相当快，并且内存利用率较低。因此，我们的库可以毫无问题地用于实际规模的问题。
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.