INTLAB

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

INTLAB (Interval Laboratory)
Original authorS.M. Rump
DevelopersS.M. Rump
Cleve Moler
Shinichi Oishi etc.
Written inMATLAB/GNU Octave
Operating systemUnix, Microsoft Windows, macOS
Available inEnglish
TypeValidated numerics
Computer-assisted proof
Interval arithmetic
Affine arithmetic
Numerical linear algebra
Root-finding algorithms
Numerical integration
Automatic differentiation
Numerical methods for ordinary differential equations
Websitewww.tuhh.de/ti3/intlab/