CGAL,
Computational Geometry Algorithms Library, written in C++,
uses interval computations to make geometric computations
robust and efficient; the related part of CGAL manual can be found at
the
following site
the CLIP

COSY.
This software package is based on Taylor model and interval
methods. It is intended
for verified solution of such problems as ordinary differential
equations, quadrature, range bounding, etc. It
can either be used as a stand-alone program or via C++ and Fortran
90/95 frontends.

It includes
interval arithmetic (standard and two complex) and
interval linear solvers that compute enclosures (sharp or fast) of
the solution set to interval linear systems of equations,
check properties of interval matrices; some part of the solvers works
with complex intervals. Questions and suggestions are welcome at
MKL
forum

The toolbox provides high
level routines for solving low dimensional global optimization
problems (with or without constraints) and for solving non-linear
systems of equations and inequalities ia set inversion.

MISO, a software
package containing a set of solvers based on Modal Interval Analysis.
These solvers are:

FSTAR solver: Allows doing computations with Modal Intervals.

QRCS solver: Allows proving the satisfiability of a class of quantified
real constraints.

QSI solver: Allows obtaining inner and outer approximations of the solution
set of a class of quantified real constrains.

Innovative software for the analysis of questionnaire
surveys, public polls, medical records, etc.; uses interval-valued
probabilities and other interval-related types of partial information
about probabilities.