Verification methods for dense and sparse systems of equations Rump, Siegfried M. 1994 - TUHH Open Research - frei zugänglich
Self-validating methods : some recent developements. Jansson, Christian Rump, Siegfried M. 1994 - TUHH Open Research
Algorithmen mit Ergebnisverifikation : einige Bemerkungen zu neueren Entwicklungen Jansson, Christian Rump, Siegfried M. 1994 - TUHH Open Research