Languages for Interval Analysis
 A Proposal to add Interval Arithmetic to the C++ Standard Library;
comments by the participants of the
2005 Dagstuhl meeting

A Specific Proposal for Interval Arithmetic in Fortran

XSCLanguages; for the corresponding software, visit
the following site

An Interval Extension of Fortran90
 Augment (a precompiler that allows to add intervals to Fortran)
 F. Crary:
The Augment Precompiler,
MRC, University of Wisconsin, Madison, Technical Report No. 1470,
1976.

G. Kedem:
Automatic Differentiation of Computer Programs,
ACM TRANS. MATH. SOFTWARE, 1980,
Vol. 6, No. 2, pp. 150165.
 COSY
COSY is a language for verified global optimization and ODE solving
base on intervals as well as Taylor models with remainder bounds.
 CLP(BNR) (a language for Constraint Logic Programming based on
Interval Arithmetic)
 Lisp
can support intervals
 Interval Arithmetic
Toolbox for Matlab
 Numerica
Numerica is a
modeling language for global optimization that makes it possible to state
nonlinear problems in a form close to the statements traditionally found in
textbooks and scientific papers. The constraintsolving algorithm of
Numerica is based on a combination of traditional numerical methods such as
interval and local methods, and constraint satisfaction techniques.

Let's add intervals to Java (a proposal)

Computer Algebra languages that support intervals:
 Frink, a
new language in progress
See also Interval Software.
Back to the main menu of the Interval
Computations website