An Interface between Ocaml and an Interval Library

Stefan Ratschan and Varadarajulu Reddy Pyda

February 5, 2007

Programming language

Interface of Ocaml with

Importance of the smath library

An implementation of interval arithmetic operations and primitive constraint contractors for the arithmetic operators (real, integer, and boolean), elementary functions (exp,log,sin,cos,tan,asin,acos,atan,sin2pi,...).

Download Version 0.2