Team Arénaire

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

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/


previous
next

Logo Inria