Institut für Zuverlässiges Rechnen
Leiter: Prof. Dr. Siegfried M. Rump


INTLAB - INTerval LABoratory. Die Matlab/Octave Toolbox für zuverlässiges Rechnen.

 

 

VSDP

Verified SemiDefinite Programming.
 

 

Lurupa

Rigorous Error Bounds in Linear Programming.
 

 

PROFIL - Die schnelle C++ - Intervall-Klassenbibliothek.

 

 

Assemblerprogramme zum Umschalten des Rundungsmodus.