An Interface between Ocaml and an Interval Library

Stefan Ratschan and Varadarajulu Reddy Pyda

February 16, 2005

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

A provably correct 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 Prototype Version 0.2