INTLAB - INTerval LABoratory

The Matlab/Octave toolbox for Reliable Computing.

---

VSDP

Verified SemiDefinite Programming.

---

Lurupa

Rigorous Error Bounds in Linear Programming.

---

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

---

Assemblerprogramme zum Umschalten des Rundungsmodus.