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.



Retrieved from "https://handwiki.org/wiki/index.php?title=Software:INTLAB&oldid=3453768"