MPFR-Reference-Cited by-同舟云学术

MPFR

Published:2007-06 Issue:2 Volume:33 Page:13
ISSN:0098-3500
Container-title:ACM Transactions on Mathematical Software
language:en
Short-container-title:ACM Trans. Math. Softw.

Author:

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

Affiliation:

1. LORIA, Nancy Cedex, France

Abstract

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.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/1236463.1236468

Reference40 articles.

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. 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. 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. 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. A Fortran Multiple-Precision Arithmetic Package

5. 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. 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.

Cited by 682 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A numerical scheme to obtain periodic three-body orbits with finite angular momentum;New Astronomy;2025-10

2. A note on the local behavior of the Taylor method for stiff ODEs;Applied Mathematics and Computation;2025-07

3. A review on periodic orbits of the general planar three-body problem;Science China Physics, Mechanics & Astronomy;2025-06-23

4. Random Variate Generation with Formal Guarantees;Proceedings of the ACM on Programming Languages;2025-06-10

5. Correctly Rounded Math Libraries without Worrying about the Application’s Rounding Mode;Proceedings of the ACM on Programming Languages;2025-06-10