Institute for Reliable Computing
Head: Prof. Dr. Siegfried M. Rump




INTLAB - INTerval LABoratory. The Matlab/Octave toolbox for Reliable Computing.

 

 

VSDP

Verified SemiDefinite Programming.
 

 

Lurupa

Rigorous Error Bounds in Linear Programming.
 

 

PROFIL - The fast C++ - Library for interval arithmetical computations.

 

 

Assembler routines for switching the rounding mode.