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)

Subject

Applied Mathematics,Software

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 590 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Meshless weighting coefficients for arbitrary nodes: The efficient computation to machine precision using hyper-dual numbers;Advances in Engineering Software;2024-11

2. Accurate complex Jacobi rotations;Journal of Computational and Applied Mathematics;2024-11

3. Design-time methodology for optimizing mixed-precision CPU architectures on FPGA;Journal of Systems Architecture;2024-10

4. Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

5. Algorithm xxx: A C++ Class for Robust Linear Barycentric Rational Interpolation;ACM Transactions on Mathematical Software;2024-08-27