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
Numerical results for a self-validating global optimization method Jansson, Christian Knüppel, Olaf 1994 - TUHH Open Research
Some properties of linear interval systems and applications Jansson, Christian 1994 - TUHH Open Research