## Section: Software

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

Participants : Nathalie Revol, Sylvain Chevillard, Hong Diep Nguyen, Philippe Théveny.

MPFI is a library in C for interval arithmetic using arbitrary precision (arithmetic and algebraic operations, elementary functions, operations on sets). It is based on MPFR (see § 5.8 ). MPFI is maintained on par with MPFR: it offers the interval counterpart of all mathematical functions provided by MPFR. This year, exhaustive tests have been added. The compliance has been enforced with the proposal in [53] for the implementation of interval arithmetic using floating-point arithmetic. A new release is planned for the first semester of 2010.

**Status:** Beta release /
**Target:** any /
**License:** LGPL /
**OS:** Unix, Linux, Windows (Cygwin) /
**Programming Language:** C / **URL:** http://mpfi.gforge.inria.fr/