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.