INTLAB

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.
Features.
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.