Log In
New Account
  
 
Home
My Page
Project Tree
Code Snippets
Project Openings
Correctly Rounded Math Library
            
 
 
Summary
Tracker
Lists
Tasks
CVS
Files
            
 

Admin

Notes:

Release Name: 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...


Changes:

 

 

GForge Group Professional Services


Powered By GForge Collaborative Development Environment