An Interface between Ocaml and an Interval Library

Stefan Ratschan and Varadarajulu Reddy Pyda

February 5, 2007

Programming language

Ocaml :- "Objective Caml is a general purpose programming language that combines functional, imperative, and object-oriented programming."

Interface of Ocaml with

Smathlib :- " Library of C routines for interval arithmetic and constraint narrowing."

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