INTLAB - INTerval LABoratory

INTLAB ist die von S. Rump für Matlab entwickelte Toolbox für selbst-validierende Algorthmen. Nutzbar ist INTLAB in der Version 6 in den Linux-Pools durch Aufruf der Matlab-Versionen 2011a oder 2011b. Nach Aufruf von matlab2011b sollten folgende Initialisierungsmeldungen erscheinen:
===> Initialization of INTLAB toolbox
===> rounding checked and no errors detected
*** Welcome to INTLAB - INTerval LABoratory Version 6      ***
***   The Matlab toolbox for Reliable Computing            ***
***   Siegfried M. Rump, Insitute for Reliable Computing   ***
***   Hamburg University of Technology, Germany            ***
===> Constants for rigorous standard functions successfully computed
===> width of display 120 characters
===> Default display of intervals with uncertainty (e.g. 3.14_), changed 
        to inf/sup or mid/rad if input too wide 
===> Complex interval stdfct used automatically for real interval input 
         out of range, but with warning
===> Improved residual calculation in verifylss
===> Verifylss for dense systems applies second stage only if first stage fails
===> Fast interval matrix multiplication in use (maximum overestimation 
        factor 1.5 in radius, see FAQ)
===> Real interval arrays automatically transformed to complex array 
         if a component is assigned a complex value (without warning)
===> Warning issued when complex interval defined by infsup(zinf,zsup)
===> Long arithmetic computations with error terms, i.e. valid long error bounds
===> Default sparse display of univariate polynomials
===> Default evaluation univariate polynomials by Horner's scheme
===> Default evaluation multivariate polynomials by sums of scaled powers
===> Polynomial function executed with warning if input polynomial does not depend on specified variable
===> Warning issued when accessing .s of sparse 2-dimensional slope
===> Gradient derivative stored sparse for 50 and more unknowns
===> Warning issued when accessing .dx of sparse 2-dimensional gradient
===> Hessian derivatives stored sparse for 10 and more unknowns
===> Warning issued when accessing .dx or .hx of sparse hessian array
*****  Commercial use or use in conjunction with a commercial program    *****
*****  which requires INTLAB or part of INTLAB to function properly      *****
*****  is prohibited.                                                    *****
*****                                                                    *****
*****  INTLAB can be freely used for private and academic purposes       *****
*****  provided proper reference is given to                             *****
*****     S.M. Rump: INTLAB - INTerval LABoratory. In Tibor Csendes,     *****
*****       editor, Developments in Reliable Computing, pages 77-104.    *****
*****       Kluwer Academic Publishers, Dordrecht, 1999.                 *****
Weiter kann mit help fortgefahren werden:

>> help Intlab_V6 

 INTLAB  INTerval LABoratory. 
 Version 6 30-March-2010 894 files, 802 m-files, 29,501 lines of Matlab 
           code w/o comments (48,764 with comments), supported by a test-
           case library with 60,775 lines of Matlab code w/o comments
 *****  Free for private and academic use. Commercial use or use in  *****
 *****  conjunction with a commercial program which requires INTLAB  *****
 *****  or part of INTLAB for proper function is prohibited.         *****
 *****  See the file README.TXT for details of copyright.            *****
 Directories and toolboxes
   intval       - Interval package
   gradient     - Automatic differentiation package
   hessian      - Automatic Hessian package
   taylor       - Automatic Taylor package
   slope        - Automatic slope package
   polynom      - Polynomial package (univariate and multivariate)
   long         - Rudimentary long package
   utility      - Some useful functions
   AccSum       - Reference implementations for sum/dot routines
   demos        - several demo routines
   INTLAB_Version_6     - Additions and changes in version 6
   FAQ          - Frequently asked questions
   Readme       - Installation, a little tutorial and miscellaneous

Fragen zur Installation unter Linux beantwortet Ingo Tessmann.