ALIAS - An Algorithms Library of Interval Analysis for equation Systems

AQCS - Approximate Quantified Constraint Solving

INTLAB - INTerval LABoratory

PROFIL/BIAS - Programmer's Runtime Optimized Fast Interval Library

RealPaver - Solving Nonlinear Constraints by Interval Computations

ToolBox - A Frequency Domain Toolbox with Interval Arithmetic