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

ACM Transactions on Mathematical Software

Volumn 33, Issue 2, 2007, Pages

  Fousse, Laurent ^a   Hanrot, Guillaume ^a   Lefèvre, Vincent ^a   Pélissier, Patrick ^a   Zimmermann, Paul ^a  

^a LORIA   (France)

Author keywords

Correct rounding; Elementary function; Floating point arithmetic; IEEE 754 standard; Multiple precision arithmetic; Portable software

Indexed keywords

CORRECT ROUNDING; ELEMENTARY FUNCTION; IEEE 754 STANDARD; MULTIPLE-PRECISION ARITHMETIC;

COMPUTER SOFTWARE;

STANDARDS;

EID: 34547422405     PISSN: 00983500     EISSN: 15577295     Source Type: Journal    
DOI: 10.1145/1236463.1236468     Document Type: Article

References (42)

1. BATUT, C., BELABAS, K., BERNARDI, D., COHEN, H., AND OLIVIER, M. 2000. User's Guide to PARI/GP. http://pari.math.u-bordeaux.fr/pub/pari/manuals/2.1.6/users.pdf.
2. BOOKER, A. R. 2005. Artin's conjecture, Turing's method and the Riemann hypothesis. http://www.arxiv.org/abs/math.NT/0507502. 37 pages.
3. BOOKER, A. R., STRÖMBERGSSON, A., AND VENKATESH, A. 2006. Effective computation of Maass cusp forms. http://www.math.uu.se/~astrombe/papers/papers.html. Preprint. 29 pages.
4. BRENT, R. P. 1978. A Fortran multiple-precision arithmetic package. ACM Trans. Math. Soft. 4, 1, 57-70.
5. BRENT, R. P. 1981a. An idealist's view of semantics for integer and real types. Tech. Rep. TR-CS-81-14, Australian National University, 12 pp.
6. BRENT, R. P. 1981b. MP user's guide. Tech. Rep. TR-CS-81-08, Australian National University. 4th ed. 73 pp.
7. CHAR, B. W., GEDDES, K. O., GONNET, G. H., LEONG, B. L., MONAGAN, M. B., AND WATT, S. M. 1991. Maple V: Language Reference Manual. Springer-Verlag.
8. CLINGER, W. D. 1990. How to read floating point numbers accurately. In Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation. White Plains, NY, 92-101.
9. COLLINS, G. E. AND KRANDICK, W. 2000. Multiprecision floating point addition. In Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation (ISSAC2000), C. Traverso, Ed. ACM Press, 71-77.
10. COWLISHAW, M. 2005. The decNumber C library, 3.32 ed. IBM UK Laboratories. 55 pp.
11. CUYT, A., KUTERNA, P., VERDONK, B., AND VERVLOET, J. 2001. Arithmos: a reliable integrated computational environment. http://www.cant.ua.ac.be/arithmos/index.html.
12. DE DINECHIN, F., ERSHOV, A. V., AND GAST, N. 2005. Towards the post-ultimate libm. In Proceedings of 17th IEEE Symposium on Computer Arithmetic. Cape Cod.
13. DEFOUR, D., HANROT, G., LEFÈVRE, V., MULLER, J.-M., REVOL, N., AND ZIMMERMANN, P. 2004. Proposal for a standardization of mathematical function implementation in floating-point arithmetic. Numerical Algorithms 37, 1-4, 367-375.
14. GAY, D. M. 1990. Correctly rounded binary-decimal and decimal-binary conversions. Numerical Analysis Manuscript 90-10, AT&T Bell Laboratories.
15. GOUBAULT, E. 2001. Static analyses of the precision of floating-point operations. In Proceedings of SAS'01. Lecture Notes in Computer Science, vol. 2126. Springer-Verlag, 234-259.
16. GRANLUND, T. 2004. GNUMP: The GNU Multiple Precision Arithmetic Library, 4.1.4 ed. http://gmplib.org/.
17. HACK, M. 2004. On intermediate precision required for correctly-rounding decimal-to-binary floating-point conversion. In Proceedings of the 6th Conference Real Numbers and Computers (RNC'6). Schloss Dagstuhl, Germany.
18. HAIBLE, B. AND KRECKEL, R. 2005. CLN, a class library for numbers. http://www.ginac.de/CLN/. Version 1.1.11.
19. HAIBLE, B. AND PAPANIKOLAOU, T. 1997. Fast multiprecision evaluation of series of rational numbers. Tech. Rep. TI-7/97, Darmstadt University of Technology.
20. HANROT, G., LEFÈVRE, V., PÉ LISSIER, P., AND ZIMMERMANN, P. 2005. The MPFR library. http://www.mpfr.org/. Version 2.2.0.
21. HULL, T. E. 1978. Desirable floating-point arithmetic and elementary functions for numerical computation. In Proceedings of the 4th IEEE Symposium on Computer Arithmetic (Arith'4). 63-69.
22. IEEE. 1985. IEEE standard for binary floating-point arithmetic. ANSI/IEEE Std 754-1985.
23. KAHAN, W. 1996. Lecture notes on the status of IEEE standard 754 for binary floating-point arithmetic. http://http.cs.berkeley.edu/~wkahan/ ieee754status/ieee754.ps. 30 pp.
24. KRANDICK, W. AND JOHNSON, J. R. 1993. Efficient multiprecision floating point multiplication with optimal directional rounding. In Proceedings of the 11th IEEE Symposium on Computer Arithmetic (Arith'11). Windsor, Ontario.
25. KREINOVICH, V. AND RUMP, S. 2006. Towards optimal use of multi-precision arithmetic: A remark. http://www.ti3.tu-harburg. de/~rump/. 4 pp.
26. LEFÈVRE, V. 2004. The generic multiple-precision floating-point addition with exact rounding (as in the MPFR library). In Proceedings of 6th Conference on Real Numbers and Computers (RNC'6). Schloss Dagstuhl, Germany.
27. MULDERS, T. 2000. On short multiplications and divisions. AAECC 11, 1, 69-88.
28. MULLER, J.-M. 2005. Elementary Functions. Algorithms and Implementation, 2nd ed. Birkhäuser.
29. MÜLLER, N. T. 1997. Towards a real RealRAM: a prototype using C++. In Proceedings of the 6th International Conference on Numerical Analysis. Plovdiv.
30. NGUYEN, P. AND STEHLÉ, D. 2005. Floating-point LLL revisited. In Proceedings of Eurocrypt 2005. Lecture Notes in Computer Science, vol. 3494. Springer-Verlag, 215-233.
31. PRIEST, D. M. 1991. Algorithms for arbitrary precision floating point arithmetic. In Proceedings of the 10th Symposium on Computer Arithmetic, P. Kornerup and D. Matula, Eds. IEEE Computer Society Press, Grenoble, France, 132-144.
32. REVOL, N. AND ROUILLIER, F. 2005. MPFI, a multiple precision interval arithmetic library based on MPFR. http://mpfi.gforge.inria.fr/.
33. SHOUP, V. 2005. NTL: A library for doing number theory. http://www.shoup.net/ntl/. Version 5.4.
34. SMITH, D. M. 1991. Algorithm 693: A Fortran package for floating-point multiple-precision arithmetic. ACM Trans. Math. Soft. 17, 2, 273-283.
35. SOFRONIOU, M. AND SPALETTA, G. 2005. Precise numerical computation. Journal of Logic and Algebraic Programming. Special Issue on Practical Development of Exact Real Number Computation 64, 1, 113-134.
36. STEELE, G. L. AND WHITE, J. L. 1990. How to print floating-point numbers accurately. In Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation. White Plains, NY, 112-126.
37. STEELE, G. L. AND WHITE, J. L. 2003. How to print floating-point numbers accurately. In 20 Years of the ACM/SIGPLAN Conference on Programming Language Design and Implementation (1979-1999): A Selection. Retrospective. 3 pp.
38. SUN MICROSYSTEMS. 2004. Libmcr 0.9 beta: A reference correctly-rounded library of basic double-precision transcendental elementary functions. http://www.sun.com/download/products.xml?id=41797765.
39. THE ARENAIRE PROJECT. 2005. CR-Libm, a library of correctly rounded elementary functions in double-precision. http://lipforge.ens-lyon.fr/projects/crlibm/. Version 0.8.
40. VERDONK, B., CUYT, A., AND VERSCHAEREN, D. 2001. A precision- and range-independent tool for testing floating-point arithmetic I: Basic operations, square root, and remainder. ACM Trans. Math. Soft. 27, 1, 92-118.
41. WOLFRAM, S. 1996. The Mathematica Book, 3rd ed. Cambridge University Press.
42. ZIV, A. 1991. Fast evaluation of elementary mathematical functions with correctly rounded last bit. ACM Trans. Math. Soft. 17, 3, 410-423.