Nouveau compte
Ma page
Arbre des projets
Boite à outils
Demande d'aide
Correctly Rounded Math Library
En bref


Notes :

Nom de version : crlibm-0.11beta1

Notes :
This release adds arcsine function, corrects a few bugs, and provide more machine-assisted proofs.

crlibm now offers 11 functions: log, log2, log10, exp, sin, cos, tan, sinh, cosh, asin, atan.

This release is beta because some proofs are missing or incomplete, and it has not been tested on a wide range of systems.

Feedback welcome...

Changemenents :



GForge Group Professional Services

Powered By GForge Collaborative Development Environment