Invited Talk:
MPFR: A Library for Multiprecision Floating-point Arithmetic
with Exact Rounding
Paul Zimmermann
LORIA and INRIA Lorraine
Nancy, France
Paul.Zimmermann@inria.fr
(Joint work with Guillaume Hanrot, Jean-Luc Rémy, Fabrice Rouillier)
Abstract:
MPFR is a free C library
for arbitrary precision floating-point arithmetic
developed in the PolKA
team at LORIA and INRIA Lorraine. It is based on the portable and very
efficient GMP library developed
by Torbjörn Granlund.
The main idea of MPFR is to provide to users some well-defined
mathematical semantics as with the IEEE 754 standard, and as a consequence
a portable library.
The talk will describe the current available functions in MPFR,
will give a comparison of efficiency with other libraries or
computer algebra systems, and will focus on some of the algorithms
used in the library.