Institute for Reliable Computing
Head:
Prof. Dr. Siegfried M. Rump
SOFTWARE
![](/ti3/img/IntlabLogo.jpg)
INTLAB - INTerval LABoratory
The Matlab/Octave toolbox for Reliable Computing.
VSDP
Verified SemiDefinite Programming.
Lurupa
Rigorous Error Bounds in Linear Programming.
![](/ti3/img/ProfilLogo.gif)
PROFIL - The fast C++ - Library for interval arithmetical computations.
![](/ti3/img/round.jpg)
Assembler routines for switching the rounding mode.