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 in | MATLAB/GNU Octave |
Operating system | Unix, Microsoft Windows, macOS |
Available in | English |
Type | Validated numerics Computer-assisted proof Interval arithmetic Affine arithmetic Numerical linear algebra Root-finding algorithms Numerical integration Automatic differentiation Numerical methods for ordinary differential equations |
Website | www |
INTLAB can help users to solve the following mathematical/numerical problems with interval arithmetic.
INTLAB is based on the previous studies of the main author, including his works with co-authors.