MPFR: A multiple-precision binary floating-point library with correct rounding

被引：556
作者：
Fousse, Laurent
Hanrot, Guillaume
Leflvre, Vincent
Plissier, Patrick
Zimmermann, Paul
机构：
[1] LORIA, F-54602 Villers-les-Nancy Cedex
来源：
ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE | 2007年 / 33卷 / 02期
关键词：
algorithms; standardization; performance; multiple-precision arithmetic; IEEE; 754; standard; floating point; arithmetic; correct rounding; elementary function; portable software;
D O I：
10.1145/1236463.1236468
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页数：15
相关论文
共 42 条
  • [1] [Anonymous], 1991, MAPLE 5 LANGUAGE REF
  • [2] [Anonymous], 2005, Elementary Functions: Algorithms and Implementation
  • [3] [Anonymous], 2000, USERS GUIDE PARI GP
  • [4] [Anonymous], 1996, LECT NOTES STATUS IE
  • [5] *ARENAIRE PROJECT, 2005, CR LIBM LIB CORR ROU
  • [6] BOOKER AR, 2006, EFFECTIVE COMPUTATIO
  • [7] BOOKER AR, 2005, ARTINS CONJECTURE TU
  • [8] Brent R. P., 1978, ACM Transactions on Mathematical Software, V4, P57, DOI 10.1145/355769.355775
  • [9] BRENT RP, 1981, TRCS8108 AUSTR NAT U
  • [10] BRENT RP, 1981, TRCS8114 AUSTR NAT U
12345