Tags: arithmetic, arbitrary precision, interval arithmetic, numerical methods.
Homepage: http://perso.ens-lyon.fr/nathalie.revol/software.html