a 100% Java, verifiable implementation of interval arithmetic operations and constraint contractors for the arithmetic operations and elementary functions (exp,log,sin,cos,tan,asin,acos,atan,sin2pi,...)

Source code



Related papers

  • "Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations"
    T. Hickey, Z. Qiu, and M.H. van Emden
    Reliable Computing Vol. 6, No. 1, 2000,
    as part of a special issue on Reliable Geometric Computations,
Last modified 2003 December 08