.
.
.
interval.sourceforge.net/interval/links
a repository of open source verifiably correct implementations of interval arithmetic and interval constraints and applications thereof
Interval Related Websites
Interval Computations Website at UTEP
Global Solutions