..
.

interval.sourceforge.net/interval/prolog/clip/clip/smath

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,...).

Source code

  • smath -- a library of C routines for interval arithmetic and constraint narrowing

Download

Applications

  • clip -- a CLP(Intervals) interpreter using smath to handle constraints

Related papers

Last Modified 2003 December 08