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]
^S.M. Rump: INTLAB – INTerval LABoratory. In Tibor Csendes, editor, Developments in Reliable Computing, pages 77–104. Kluwer Academic Publishers, Dordrecht, 1999.
^Moore, R. E., Kearfott, R. B., & Cloud, M. J. (2009). Introduction to Interval Analysis. Society for Industrial and Applied Mathematics.
^Rump, S. M. (2010). Verification methods: Rigorous results using floating-point arithmetic. Acta Numerica, 19, 287–449.
^Hargreaves, G. I. (2002). Interval analysis in MATLAB. Numerical Algorithms, (2009.1).
^Rohn, J. (2009). VERSOFT: verification software in MATLAB/INTLAB.
^Montanher, T. M. (2009). Intsolver: An interval based toolbox for global optimization. Version 1.0.
^Bornemann, F., Laurie, D., & Wagon, S. (2004). The SIAM 100-digit challenge: a study in high-accuracy numerical computing. Society for Industrial and Applied Mathematics.
INTLAB (INTerval LABoratory) is an interval arithmetic library using MATLAB and GNU Octave, available in Windows and Linux, macOS. It was developed by...
the original on December 1, 2016. Retrieved December 1, 2016. S.M. Rump: INTLAB – INTerval LABoratory. In Tibor Csendes, editor, Developments in Reliable...
1457F. doi:10.1109/3.234394. http://www.phy.davidson.edu/StuHome/joesten/IntLab/final/rydberg.htm, Rydberg Atoms and the Quantum Defect at the site of Davidson...
Maxima (software) and MuPAD, can handle intervals. A Matlab extension Intlab builds on BLAS routines, and the Toolbox b4m makes a Profil/BIAS interface...
S2CID 225853788. kv on GitHub (C++ library with rigorous ODE solvers) INTLAB (A library made by MATLAB/GNU Octave which includes rigorous ODE solvers)...
multi-precision floating-Point computing and numerical methods for Microsoft Excel. INTLAB – interval arithmetic library for MATLAB. List of computer algebra systems...
computational geometry Verification at high-performance computing environment INTLAB Library made by MATLAB/GNU Octave kv Library made by C++. This library can...