Numerical results for a self-validating global optimization method Jansson, Christian Knüppel, Olaf 1994 - TUHH Open Research