INTLAB (INTerval LABoratory) is an interval arithmetic library[1][2][3][4] 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[5] and INTSOLVER,.[6] It was also 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 (key person of MathWorks) Shinichi Oishi etc. |
| Written in | MATLAB/GNU Octave |
| Operating system | Unix, Microsoft Windows, macOS |
| Available in | English |
| Type | Validated numerics Interval arithmetic Affine arithmetic Numerical linear algebra Numerical integration Numerical methods for ordinary differential equations |
| Website | www |
- ↑ 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.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search