## MPFR: A multiple-precision binary floating-point library with correct rounding (2007)

Venue: | ACM Trans. Math. Softw |

Citations: | 70 - 14 self |

### BibTeX

@ARTICLE{Fousse07mpfr:a,

author = {Laurent Fousse and Guillaume Hanrot and Vincent Lefèvre and Patrick Pélissier and Paul Zimmermann},

title = {MPFR: A multiple-precision binary floating-point library with correct rounding},

journal = {ACM Trans. Math. Softw},

year = {2007},

volume = {33},

pages = {00000818}

}

### OpenURL

### 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. Categories and Subject Descriptors: D.3.0 [Programming Languages]: General—Standards; G.1.0 [Numerical Analysis]: General—computer arithmetic, multiple precision arithmetic; G.1.2 [Numerical Analysis]: Approximation—elementary and special function approximation; G 4 [Mathematics of Computing]: Mathematical Software—algorithm design, efficiency, portability