INTLAB explained

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)
Author:	S.M. Rump
Developer:	S.M. Rump Cleve Moler Shinichi Oishi etc.
Programming Language:	MATLAB/GNU Octave
Operating System:	Unix, Microsoft Windows, macOS
Language:	English
Genre:	Validated numerics Computer-assisted proof Interval arithmetic Affine arithmetic Numerical linear algebra root-finding algorithm Numerical integration Automatic differentiation Numerical methods for ordinary differential equations

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.

See also

• List of numerical analysis software
• Comparison of linear algebra libraries

Notes and References

1. S.M. Rump: INTLAB – INTerval LABoratory. In Tibor Csendes, editor, Developments in Reliable Computing, pages 77–104. Kluwer Academic Publishers, Dordrecht, 1999.
2. Moore, R. E., Kearfott, R. B., & Cloud, M. J. (2009). Introduction to Interval Analysis. Society for Industrial and Applied Mathematics.
3. Rump, S. M. (2010). Verification methods: Rigorous results using floating-point arithmetic. Acta Numerica, 19, 287–449.
4. 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.