Interval and Related Software
a C-XSC library for the validated
automatic computation of estimates for Taylor
coefficients of analytic functions.
Library, Algorithms Library of Interval Analysis for Systems; see
a free software package for Approximate Quantified Constraint Solving
- computes box approximations of the solution set of formulae of
the first-order predicate language over the reals.
a software package for validated solution of ordinary
Global Optimization Software.
Purely continuous, purely integer, and
mixed-integer nonlinear problems can be solved with the
interval C++ library
implemented within the popular BOOST project
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
CLP(BNR), a Constraint Interval-Arithmetic
This package is actually
a language for Constraint Logic Programming based on
a library of complex interval standard functions.
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 stand-alone program or via C++ and Fortran
MIT-produced symbolic and numeric library for general numerical
calculations which uses interval computations.
an automatic differentiation package, with applications to validated
solution of ordinary differential equations.
Fast Interval LIRrary, a C++ library on extended interval arithmetic.
- Interval arithmetic library for
a special programming language Frink (implemented in Java)
Interval Arithmetic package for manipulating finite sets of (possibly
unbounded) intervals; there is an applet
- software for global solutions; downloading instructions
Interval COnstraints Solver
- INTBLAS: C++
An implementation of
INTerval Basic Linear Algebra Software.
arithmetic in Sun's Forte C++ compiler
arithmetic in Sun's Forte Fortran 95 compiler
- Interval library is a part of Intel
Math Kernel Library (MKL).
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
Software in Fortran-77
Interval Software in Fortran-90
This Fortran-90 module is actually a
language for interval computations
- Interval based Java applets:
and Wuppertal interval software
- Libaffa; a
C++ affine arithmetic library for GNU/Linux
- Interval Software in Maple and its clones:
- Mathematica based
supports dynamic interval web computations and visualization.
- Interval Software in Matlab:
libraries for interval computations and constraint satisfaction.
Multiple Precision Floating-Point Interval Library
integrates interval computation in its kernel;
both Maple and MuPad are integrated into Scientific Workplace
Parallel/distributed implementations of the
interval global optimization FORTRAN
90 package GlobSol, which solves global optimization problems with the
interval branch-and-bound algorithm together with interval
Newton/generalized bisection method.
ParLinSys, software for solving parametric interval linear systems
A fast C++ library for interval
Speed and comparisons can be found in:
O. Knueppel: PROFIL/BIAS - A Fast Interval Library,
COMPUTING, Vol. 53, No. 3-4, p. 277-287.
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.
solves quantified inequality
A library of C routines for interval
arithmetic and constraint narrowing
interval and constraint propagation library smathlib
and a functional programming language
Software for interval-based arithmetic on
a free C++ geometric
modeller that is substantially based on interval arithmetic
A solver based on interval constraint propagation. It
allows to tackle nonlinear algebraic systems with real
and/or integer variables.
software for VALidation of state ENClosures using
Interval Arithmetic for Initial Value Problems
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)
languages and fi_lib
Control of Accuracy and Debugging for Numerical Appplications
Software for estimating propagation of
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
Software that extends operations with intervals
to operations with probability distributions.
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