INTLAB

INTLAB (INTerval LABoratory) is an interval arithmetic libraryS.M. Rump: INTLAB – INTerval LABoratory. In Tibor Csendes, editor, Developments in Reliable Computing, pages 77–104. Kluwer Academic Publishers, Dordrecht, 1999.Moore, R. E., Kearfott, R. B., & Cloud, M. J. (2009). Introduction to Interval Analysis. Society for Industrial and Applied Mathematics.Rump, S. M. (2010). Verification methods: Rigorous results using floating-point arithmetic. Acta Numerica, 19, 287–449.Hargreaves, G. I. (2002). Interval analysis in MATLAB. Numerical Algorithms, (2009.1). using MATLAB. It is 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 VERSOFTRohn, J. (2009). VERSOFT: verification software in MATLAB/INTLAB. and INTSOLVER,.Montanher, T. M. (2009). Intsolver: An interval based toolbox for global optimization. Version 1.0. It was also used to solve some problems in the Hundred-dollar, Hundred-digit Challenge problems.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.

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

Features
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.

References

Other websites

Category:Software
Category:Computer science