..
.

interval.sourceforge.net/interval


hosted by SourceForge Logo
a repository of open source, verifiably correct implementations of interval arithmetic and interval constraints, and applications thereof.

implementations

  • Java
    • ia_math
      A 100% java, verifiable implementation of interval arithmetic operations and primitive constraint contractions for the arithmetic operators and the elementary functions. including provably correct implementations of the elementary functions (exp,log,sin,cos,tan,asin,acos,atan).

  • Scheme
    • iaeval a simple expression evaluator for intervals,
    • giaeval an evaluator for interval expressions with open/closed endpoints,
      An interval arithmetic evaluator written in the JScheme (formerly Silk) dialect of Scheme.

  • C
    • smathlib
      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,...).

  • Prolog
    • clip
      A foreign file extension of GNUProlog in which interval arithmetic constraints are enclosed in curly braces.

Platforms supported

  • RedHat Linux 6.1 on the PC and Macintosh OS X
    Note: Porting to other architectures should not be hard. The only non-portable code is that which deals with setting the rounding modes!

other links


Last Modified 2003 December 09