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  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/