Interval and Related Software
Interval Software
 ACETAF,
a CXSC library for the validated
automatic computation of estimates for Taylor
coefficients of analytic functions.
 ALIAS
Library, Algorithms Library of Interval Analysis for Systems; see
also this
link
 AQCS,
a free software package for Approximate Quantified Constraint Solving
 computes box approximations of the solution set of formulae of
the firstorder predicate language over the reals.
 AWA,
a software package for validated solution of ordinary
differential equations.
 BARON,
Global Optimization Software.
Purely continuous, purely integer, and
mixedinteger nonlinear problems can be solved with the
software.
 BOOST
interval C++ library
implemented within the popular BOOST project
 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

CLP(BNR), a Constraint IntervalArithmetic
Package
This package is actually
a language for Constraint Logic Programming based on
Interval Arithmetic.
 CoStLy,
a library of complex interval standard functions.
 COSY.
This software package is based on Taylor model and interval
methods. It is intended
for validated solution of such problems as ordinary differential
equations, quadrature, range bounding, etc. It
can either be used as a standalone program or via C++ and Fortran
90/95 frontends.
 DAEPACK,
MITproduced symbolic and numeric library for general numerical
calculations which uses interval computations.
 FADBAD/TADIFF,
an automatic differentiation package, with applications to validated
solution of ordinary differential equations.
 filib++,
Fast Interval LIRrary, a C++ library on extended interval arithmetic.
 Interval arithmetic library for
a special programming language Frink (implemented in Java)
 General
Interval Arithmetic package for manipulating finite sets of (possibly
unbounded) intervals; there is an applet
interface
 GlobSol
 software for global solutions; downloading instructions
 ICOS,
Interval COnstraints Solver
 INTBLAS: C++
Implementation
An implementation of
INTerval Basic Linear Algebra Software.
 Interval
arithmetic in Sun's Forte C++ compiler
 Interval
arithmetic in Sun's Forte Fortran 95 compiler
 Interval library is a part of Intel
Math Kernel Library (MKL).
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

Interval
Software in Fortran77

Interval Software in Fortran90
This Fortran90 module is actually a
language for interval computations
 Interval based Java applets:
 Karlsruhe
and Wuppertal interval software
 Libaffa; a
C++ affine arithmetic library for GNU/Linux
 Interval Software in Maple and its clones:
 Mathematica based
web site
supports dynamic interval web computations and visualization.
 Interval Software in Matlab:
 InC++
libraries for interval computations and constraint satisfaction.
 MPFI,
Multiple Precision FloatingPoint Interval Library
 MuPAD,
integrates interval computation in its kernel;
both Maple and MuPad are integrated into Scientific Workplace
 ParaGlobSol
Parallel/distributed implementations of the
interval global optimization FORTRAN
90 package GlobSol, which solves global optimization problems with the
interval branchandbound algorithm together with interval
Newton/generalized bisection method.

ParLinSys, software for solving parametric interval linear systems
 PROFIL/BIAS
A fast C++ library for interval
arithmetic.
Speed and comparisons can be found in:
O. Knueppel: PROFIL/BIAS  A Fast Interval Library,
COMPUTING, Vol. 53, No. 34, p. 277287.
 RealPaver
Interval software implementing constraint
satisfaction techniques for solving nonlinear systems.

Range software of Oliver Aberth
A suite of demonstration programs, using variable precision interval arithmetic, that can solve the typical problems of elementary numerical analysis to desired accuracy.
 SMMS
 Rsolver
solves quantified inequality
constraints
 smathlib
A library of C routines for interval
arithmetic and constraint narrowing
 Interface
between the
interval and constraint propagation library smathlib
and a functional programming language
Objective Caml
 Statool
Software for intervalbased arithmetic on
random variables.

SvLis
a free C++ geometric
modeller that is substantially based on interval arithmetic
 UniCalc
A solver based on interval constraint propagation. It
allows to tackle nonlinear algebraic systems with real
and/or integer variables.
 VALENCIAIVP
software for VALidation of state ENClosures using
Interval Arithmetic for Initial Value Problems
 VNODELP
A C++ based Interval Solver for Initial Value
Problems in Ordinary Differential Equations
 XSC software (for more detailed
information about XSC languages, see
the following page)
XSC
languages and fi_lib
Related Software
 CADNA,
Control of Accuracy and Debugging for Numerical Appplications
Software for estimating propagation of
roundoff errors.
 DALSolution,
Innovative software for the analysis of questionnaire
surveys, public polls, medical records, etc.; uses intervalvalued
probabilities and other intervalrelated types of partial information
about probabilities.
 PDV,
Software that extends operations with intervals
to operations with probability distributions.
 RiskCalc,
Software for Risk Assessment with Uncertain Numbers,
including operations with interval, probabilitistic, and fuzzy
uncertainties, and their combination.
See also Languages for Interval Analaysis.
See also MathTools.net, a
free portal covering computing tools for science and
engineering. This portal contains over
20,000 useful links, covering software in
Matlab, Java, Excel, C/C+, Fortran, etc.
Back to the main menu of the Interval
Computations website