## Section: Software

Keywords : interval arithmetic, arbitrary precision, correct rounding.

### MPFI: Multiple Precision Floating-Point Interval Arithmetic

Participant : N. Revol.

MPFI is a C library specifically developed for interval arithmetic using arbitrary precision [10] . For efficiency and portability reasons, it is based on GMP and MPFR and the implementation takes advantage of these specific libraries. Modifications made this year mainly concern the compatibility with new releases of MPFR.

**Status:** stable (alpha for the C++ interface) / **Target:** x86, PPC / **License:** GPL / **OS:** Unix, Windows (Cygwin) / **Programming Language:** C, C++ / **Dependencies:** GMP v4.1.0 or higher, MPFR v2.2.0 or higher / **URL:** http://www.ens-lyon.fr/LIP/Arenaire