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


Notes :

Nom de version : crlibm-0.10beta

Notes : This release contains 10 finished functions: exp log log2 log10 sin cos tan atan cosh sinh. It also includes a complete rewrite of exp and log, which do not use the SCS library anymore. This entails a 10x improvement in worst-case time. Besides, the logarithm uses double-extended arithmetic if available, for another 2-4x improvement in average case performance. Log is now comparable to the best available libm on most systems (and sometimes faster). This release also marks the transition to machine-assisted proofs using the Gappa tool. This is the beta part :) Comments and bug reports welcome. The crlibm team

Changemenents :



GForge Group Professional Services

Powered By GForge Collaborative Development Environment