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
XSC-Languages; for the corresponding software, visit
the following site
An Interval Extension of Fortran-90
- Augment (a pre-compiler that allows to add intervals to Fortran)
- F. Crary:
The Augment Precompiler,
MRC, University of Wisconsin, Madison, Technical Report No. 1470,
Automatic Differentiation of Computer Programs,
ACM TRANS. MATH. SOFTWARE, 1980,
Vol. 6, No. 2, pp. 150-165.
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
can support intervals
Toolbox for Matlab
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 constraint-solving 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:
new language in progress
See also Interval Software.
Back to the main menu of the Interval