Section: Software

Metalibm, a code generator for elementary functions

Participants : Sylvain Chevillard, Florent de Dinechin.

The Metalibm project provides a tool for the automatic implementation of mathematical (libm) functions. A function f is automatically transformed into Gappa-certified C code implementing an approximation polynomial in a given domain with given accuracy. Metalibm is based on the Sollya tool and has been used to produce large parts of CRlibm.

Status: alpha / Target: any / License: LGPL / OS: Unix / Programming Language: C / URL: http://lipforge.ens-lyon.fr/www/metalibm/