kids encyclopedia robot

INTLAB facts for kids

Kids Encyclopedia Facts

INTLAB (INTerval LABoratory) is an interval arithmetic library 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 VERSOFT and INTSOLVER,. It was also used to solve some problems in the Hundred-dollar, Hundred-digit Challenge problems.

Quick facts for kids
INTLAB (Interval Laboratory)
Original author(s) S.M. Rump
Developer(s) S.M. Rump
Cleve Moler (key person of MathWorks)
Shinichi Oishi etc.
Written in MATLAB/GNU Octave
Operating system Unix, Microsoft Windows, macOS
Available in English
Type Validated numerics
Interval arithmetic
Affine arithmetic
Numerical linear algebra
Numerical integration
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

Features

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

  • Numerical linear algebra (Not only solving matrix systems or eigenvalue problems, INTLAB can handle the least squares, Hessian matrix, and verify the positive definiteness of a given matrix)
  • root-finding algorithm
  • Affine arithmetic
  • Solving ODEs rigorously (This feature includes external tools such as the AWA toolbox and the Taylor model toolbox)
  • Automatic differentiation
  • Numerical integration
  • Fast Fourier transform
  • Rigorously compute the gamma function
kids search engine
INTLAB Facts for Kids. Kiddle Encyclopedia.