INTLAB (INTerval LABoratory) is an interval arithmetic library[1][2][3][4] using MATLAB and GNU Octave, available in Windows and Linux, macOS.
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 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.