返回
摘要
En 中文
This article presents a multiple-precision binary floating-point library, written in the ISO C language, and based on the GNU MP library. Its particularity is to extend to arbitrary-precision, ideas from the IEEE 754 standard, by providing
correct rounding
and
exceptions
. We demonstrate how these strong semantics are achieved---with no significant slowdown with respect to other arbitrary-precision tools---and discuss a few applications where such a library can be useful.
期刊
暂无期刊信息
机构
暂无机构信息
引用论文
暂无论文信息

