Software:INTLAB

From HandWiki

INTLAB (INTerval LABoratory) is an interval arithmetic library[1][2][3][4] using MATLAB and GNU Octave, available in Windows and Linux, macOS. It was developed by S.M. Rump from Hamburg University of Technology. INTLAB was used to develop other MATLAB-based libraries such as VERSOFT[5] and INTSOLVER,[6] and it was used to solve some problems in the Hundred-dollar, Hundred-digit Challenge problems.[7]

INTLAB (Interval Laboratory)
Original author(s)S.M. Rump
Developer(s)S.M. Rump
Cleve Moler
Shinichi Oishi etc.
Written inMATLAB/GNU Octave
Operating systemUnix, Microsoft Windows, macOS
Available inEnglish
TypeValidated numerics
Computer-assisted proof
Interval arithmetic
Affine arithmetic
Numerical linear algebra
root-finding algorithm
Numerical integration
Automatic differentiation
Numerical methods for ordinary differential equations
Websitewww.tuhh.de/ti3/intlab/

Version history

  • 12/30/1998 Version 1
  • 03/06/1999 Version 2
  • 11/16/1999 Version 3
    • 03/07/2002 Version 3.1
  • 12/08/2002 Version 4
    • 12/27/2002 Version 4.1
    • 01/22/2003 Version 4.1.1
    • 11/18/2003 Version 4.1.2
  • 04/04/2004 Version 5
    • 06/04/2005 Version 5.1
    • 12/20/2005 Version 5.2
    • 05/26/2006 Version 5.3
    • 05/31/2007 Version 5.4
    • 11/05/2008 Version 5.5
  • 05/08/2009 Version 6
  • 12/12/2012 Version 7
    • 06/24/2013 Version 7.1
  • 05/10/2014 Version 8
  • 01/22/2015 Version 9
    • 12/07/2016 Version 9.1
  • 05/29/2017 Version 10
    • 07/24/2017 Version 10.1
    • 12/15/2017 Version 10.2
  • 01/07/2019 Version 11
  • 03/06/2020 Version 12

Functionality

INTLAB can help users to solve the following mathematical/numerical problems with interval arithmetic.

Works cited by INTLAB

INTLAB is based on the previous studies of the main author, including his works with co-authors.

External links

See also

References

  1. 1.0 1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8 S.M. Rump: INTLAB – INTerval LABoratory. In Tibor Csendes, editor, Developments in Reliable Computing, pages 77–104. Kluwer Academic Publishers, Dordrecht, 1999.
  2. 2.0 2.1 Moore, R. E., Kearfott, R. B., & Cloud, M. J. (2009). Introduction to Interval Analysis. Society for Industrial and Applied Mathematics.
  3. 3.0 3.1 3.2 3.3 3.4 3.5 3.6 Rump, S. M. (2010). Verification methods: Rigorous results using floating-point arithmetic. Acta Numerica, 19, 287–449.
  4. 4.0 4.1 4.2 4.3 Hargreaves, G. I. (2002). Interval analysis in MATLAB. Numerical Algorithms, (2009.1).
  5. Rohn, J. (2009). VERSOFT: verification software in MATLAB/INTLAB.
  6. Montanher, T. M. (2009). Intsolver: An interval based toolbox for global optimization. Version 1.0.
  7. Bornemann, F., Laurie, D., & Wagon, S. (2004). The SIAM 100-digit challenge: a study in high-accuracy numerical computing. Society for Industrial and Applied Mathematics.
  8. S. M. Rump: Verffication of positive definiteness, BIT Numerical Mathematics, 46 (2006), 433–452.
  9. S.M. Rump, M. Kashiwagi: Implementation and improvements of affine arithmetic, Nonlinear Theory and Its Applications (NOLTA), IEICE, 2015.
  10. Lohner, R. J. (1987). Enclosing the solutions of ordinary initial and boundary value problems. Computer arithmetic, 225–286.
  11. L.B. Rall: Automatic Differentiation: Techniques and Applications, Lecture Notes in Computer Science 120, Springer, 1981.
  12. S.M. Rump. Verified sharp bounds for the real gamma function over the entire floating-point range. Nonlinear Theory and Its Applications (NOLTA), IEICE, Vol.E5-N, No. 3, July, 2014.