OCaml Forge
SCM

Project description

NLCertify is a software package designed in OCaml/Coq for handling formal certification of nonlinear inequalities involving transcendental functions. The tool exploits sparse semialgebraic optimization with various maxplus/minimax approximation methods.

Project Info

No tag defined for this project


This project has not yet categorized itself in the Trove Software Map

Registered: 2014-03-27 22:13
Activity Ranking: 105
View project Statistics or Activity
View list of RSS feeds available for this project. 

Latest File Releases
Package Version Date Notes Monitor Download
nlcertify 0.5 April 10, 2015 nlcertify - Release Notes nlcertify - Monitor this package nlcertify 0.5 - Download
real2float 0.6 July 20, 2016 real2float - Release Notes real2float - Monitor this package real2float 0.6 - Download
Public Areas
Tracker Tracker
 Mailing Lists (1 public mailing list)
 Surveys (0 surveys)
 SCM Repository (Git: 1,209 commits, 471 adds)
Latest News
No News Items Found