MPFR : A multiple-precision binary floating-point library with correct rounding

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 s...

Full description

Saved in:
Bibliographic Details
Published in:ACM transactions on mathematical software 2007-06, Vol.33 (2), p.13
Main Authors: FOUSSE, Laurent, HANROT, Guillaume, LEFEVRE, Vincent, PELISSIER, Patrick, ZIMMERMANN LORIA, Paul
Format: Article
Language:English
Subjects:
Algorithmics. Computability. Computer arithmetics
Applied sciences
Computational techniques
Computer Arithmetic
Computer Science
Computer science
control theory
systems
Exact sciences and technology
Mathematical methods in physics
Physics
Theoretical computing
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0098-3500
1557-7295
DOI:10.1145/1236463.1236468