• 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, 1976.
  • G. Kedem: Automatic Differentiation of Computer Programs, ACM TRANS. MATH. SOFTWARE, 1980, Vol. 6, No. 2, pp. 150-165.
• 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 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:
  • Maple has range arithmetic.
    For more info on Maples see also:
    • Maple Homepage of the Symbolic Computation Group of the University of Waterloo.
    • MIT's Maple homepage and an up-to-date book list for Maple V.
  • Mathematica has RealInterval arithmetic; Mathematica based web site supports dynamic interval web computations and visualization.
• Frink, a new language in progress

See also Interval Software.

Back to the main menu of the Interval Computations website