Sollya
http://sollya.gforge.inria.fr/
 : both a tool environment and a library for safe floating-point code development.

Équipe : PEQUAN

Sollya est à la fois un environnement et une biliothèque pour le développement de codes numériques sûrs. Sollya permet en particulier d'automatiser l'implémentation de bibliothèques mathématiques (libm).

Responsable : Christoph LAUTER
http://sollya.gforge.inria.fr/