M

MPFI

MPFI is a library for arbitrary precision interval arithmetic; it is written in C and is based on MPFR.