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

Administration

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