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]
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 algorithm 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.