Validated solution of large linear systems Rump, Siegfried M. 1993 - TUHH Open Research - frei zugänglich
GANA - Guaranteed accuracy for numerical algorithms Claudio, Dalcidio M. Rump, Siegfried M. 1993 - TUHH Open Research
Verification methods for dense and sparse systems of equations Rump, Siegfried M. 1993 - TUHH Open Research