MPFR: A multiple-precision binary floating-point library with correct rounding (2007)
| Venue: | ACM Trans. Math. Softw |
| Citations: | 35 - 11 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}
}
Bookmark
 |
 |
 |
 |
 |
 |
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
