.  . 
. 
interval.sourceforge.net/java/ia_matha 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
Download
Applications
Related papers
