MPFR: A Multiple-Precision Binary Floating-Point Library with Correct Rounding. - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles ACM Transactions on Mathematical Software Year : 2007

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

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.
No file

Dates and versions

inria-00103655 , version 1 (04-10-2006)

Identifiers

Cite

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, 2007, 33 (2), pp.article 13. ⟨10.1145/1236463.1236468⟩. ⟨inria-00103655⟩
188 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More