Institute for Reliable Computing
Head: Prof. Dr. Siegfried M. Rump
Since the first version in 1999, INTLAB has been constantly developed and improved. I designed and wrote all of INTLAB, and since the beginning I put my knowledge of verification methods into INTLAB.
INTLAB has been used as the computational basis for several hundred publications (cf. selected refences), and often I have to answer queries by the many thousand users. It was always free for academic use.
The development and support of INTLAB is taking a substantial amount of my time, so that I decided to ask for a small appreciation for me and my institute. If you like INTLAB and find it useful, you may obtain a personal copy for research and development as an Academic User or Non-Academic User. Here "academic" is defined as a "degree granting institution". Companies associated with universities do not qualify.
In any case INTLAB shall not be part of a commercial program which requires INTLAB or part of INTLAB to run properly. If you intend to do that, please contact me under rump∂tuhh.de.
Since Version 9 there is one version of INTLAB. It works with Matlab and Octave, and on all operating systems (Windows, Linux, MacOS), both 32- and 64-bit.
To obtain INTLAB, please press the corresponding link below which will lead you to a paypal-site. After payment you find a link for downloading INTLAB for Windows, or Linux and Mac. Note that the download is open for one hour.
In any case you receive an e-mail with a paypal-receipt and again the download-link. If you need another kind of invoice, please contact me at rump∂tuhh.de.
The license allows you run INTLAB at work and at home on your personal computer; only remember that, unless other agreements apply, it is a personal copy.
|Paypal is a very simple method for international money transfer. If this is difficult for you, please drop me a mail. In that case I send you an invoice with account number.|
From Version 9, INTLAB is now also working under Octave. INTLAB comprises of
There are a number of demo files for the different INTLAB toolboxes. Matlab demos are not executed, but the results are displayed. You may view the demos directly, or copy the demos directory file into your Matlab working directory, change your directory by "cd demos" and call "demointlab".
INTLAB has several thousand users in more than 50 countries. INTLAB is used in many areas, from verification of chaos to population biology, from controller design to computer-assisted proofs, from PDEs to Petri Nets (cf. some selected Refences to INTLAB). Over the years many colleagues helped to improve INTLAB, my dearest thanks to them!
The main focus of INTLAB is to produce reliable results. Any result is proved to be true under any circumstances, in particular covering rounding errors and all error terms. The other main focus is to be fast.
The philosophy of INTLAB is that everything is written in Matlab (i.e. Octave) code to assure best portability. Interval vector and matrix operations are very fast due to extensive use of BLAS routines. However, nonlinear computations and loops may slow down the system significantly due to interpretation overhead and extensive use of the operator concept.
Details and examples about timing can be found here. Moreover, some routines treat extremely ill-conditioned problems. Details and examples are here.Further reading
Most routines in INTLAB are self-explaining and/or information can be obtained by the Matlab help command (cf. also readme.txt for more information). For download and installation under Octave see here.
If you use INTLAB in publications, please include the reference
S.M. Rump: INTLAB - INTerval LABoratory. In Tibor Csendes, editor, Developments in Reliable Computing, pages 77-104. Kluwer Academic Publishers, Dordrecht, 1999.
INTLAB is thoroughly tested under Windows, Linux and MacOS operating system. Rarely problems occur with changing the rounding mode. This seems due to the INTEL Math Kernel Library. My friends at mathworks are working on that. The problem neither occurs for Matlab R2012a and earlier, nor for Octave.
INTLAB LICENSE INFORMATION
Copyright (c) 1998 - 2015 Siegfried M. Rump @ TUHH, Institute for Reliable Computing
All rights reserved.
===> INTLAB can be downloaded and used for private and for purely academic purposes, and for commercial purposes within a company. In any case proper reference has to be given acknowledging that the software package INTLAB has been developed by Siegfried M. Rump at Hamburg University of Technology, Germany.
===> The use of INTLAB in a commercial product which needs INTLAB or parts of INTLAB to work properly requires a special license. This is independent of whether the commercial product is used privately or for commercial purposes. To obtain such a license contact the author Siegfried M. Rump (@tuhh.de).
===> Neither the name of the university nor the name of the author may be used to endorse or promote products derived with or from this software without specific prior written permission.
THIS SOFTWARE IS PROVIDED AS IS AND WITHOUT ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATIONS, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
DISCLAIMER: Extensive tests have been performed to ensure reliability of the algorithms. However, neither an error-free processor nor an error-free program can be guaranteed.
Institute for Reliable Computing
Hamburg University of Technology