MPFR: A Multiple-Precision Binary Floating-Point Library with Correct Rounding.

Laurent Fousse 1 Guillaume Hanrot 1 Vincent Lefèvre 1 Patrick Pélissier 1 Paul Zimmermann 1
1 CACAO - Curves, Algebra, Computer Arithmetic, and so On
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This paper 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.
Document type :
Journal articles
Complete list of metadatas
https://hal.inria.fr/inria-00103655
Contributor : Guillaume Hanrot <>
Submitted on : Wednesday, October 4, 2006 - 6:34:21 PM
Last modification on : Thursday, January 11, 2018 - 6:21:04 AM

Identifiers

Collections

INRIA | LORIA | UNIV-LORRAINE

Citation

Laurent Fousse, Guillaume Hanrot, Vincent Lefèvre, Patrick Pélissier, Paul Zimmermann. MPFR: A Multiple-Precision Binary Floating-Point Library with Correct Rounding.. ACM Transactions on Mathematical Software, Association for Computing Machinery, 2007, 33 (2), pp.article 13. ⟨10.1145/1236463.1236468⟩. ⟨inria-00103655⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

333

Contact


archive-ouverte@inria.fr