PEQUAN : both a tool environment and a library for safe floating-point code development.
Équipe : PEQUANSollya 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 LAUTERhttp://sollya.gforge.inria.fr/
