## Section: Software

Keywords : elementary function, mathematical library, quality, rounding.

### MPCheck: Testing the Quality of Elementary Functions

Participant : N. Revol.

The MPCheck program, version 1.1.0, designed with P. Zimmermann and P. Pélissier (Spaces project, Inria Lorraine), is freely distributed. It tests the elementary functions available in binary floating-point mathematical libraries (correct rounding, output range, monotonicity, symmetry), by performing numerous evaluations of these functions on random arguments.

**Status:** stable (available only for the double precision) / **Target:** x86, PPC, Sparc, Itanium / **License:** GPL / **OS:** Unix / **Programming Language:** C / **Dependencies:** gcc 3.3, GMP 4.1.0, MPFR 2.1.0, or higher / **URL:** http://www.loria.fr/~zimmerma/mpcheck/