Institut für Zuverlässiges Rechnen
Leiter:
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 - Die schnelle C++ - Intervall-Klassenbibliothek.
![](/ti3/img/round.jpg)
Assemblerprogramme zum Umschalten des Rundungsmodus.