HOME

TheInfoList



OR:

INTLAB (INTerval LABoratory) is an
interval arithmetic Interval arithmetic (also known as interval mathematics; interval analysis or interval computation) is a mathematical technique used to mitigate rounding and measurement errors in mathematical computation by computing function bounds. Numeri ...
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 MATLAB (an abbreviation of "MATrix LABoratory") is a proprietary multi-paradigm programming language and numeric computing environment developed by MathWorks. MATLAB allows matrix manipulations, plotting of functions and data, implementat ...
. Numerical Algorithms, (2009.1).
using
MATLAB MATLAB (an abbreviation of "MATrix LABoratory") is a proprietary multi-paradigm programming language and numeric computing environment developed by MathWorks. MATLAB allows matrix manipulations, plotting of functions and data, implementat ...
and
GNU Octave GNU Octave is a scientific programming language for scientific computing and numerical computation. Octave helps in solving linear and nonlinear problems numerically, and for performing other numerical experiments using a language that is mostly ...
, available in
Windows Windows is a Product lining, product line of Proprietary software, proprietary graphical user interface, graphical operating systems developed and marketed by Microsoft. It is grouped into families and subfamilies that cater to particular sec ...
and
Linux Linux ( ) is a family of open source Unix-like operating systems based on the Linux kernel, an kernel (operating system), operating system kernel first released on September 17, 1991, by Linus Torvalds. Linux is typically package manager, pac ...
,
macOS macOS, previously OS X and originally Mac OS X, is a Unix, Unix-based operating system developed and marketed by Apple Inc., Apple since 2001. It is the current operating system for Apple's Mac (computer), Mac computers. With ...
. It was developed by S.M. Rump from
Hamburg University of Technology The Hamburg University of Technology (in German language, German ''Technische Universität Hamburg'', abbreviated TUHH (HH as acronym of Hamburg state) or TU Hamburg) is a research university in Germany. The university was founded in 1978 and in ...
. INTLAB was used to develop other MATLAB-based libraries such as VERSOFT and INTSOLVER, and it was 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 ** 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

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


References

{{reflist Numerical analysis Numerical software Computational science Computer arithmetic