rival

Interval analysis for real computation


Keywords
analysis, floating-point, numerical