TY - BOOK AU - Goos, Astrid AU - Ratz, Dietmar T1 - Praktische Realisierung und Test eines Verifikationsverfahrens zur L¨osung globaler Optimierungsprobleme mit Ungleichungsnebenbedingungen T2 - Berichte aus dem Forschungsschwerpunkt Computerarithmetik, Intervallrechnung und Numerische Algorithmen mit Ergebnisverifikation PY - 1997 IS - Bericht 1 VL - 1 Y2 - 1997 IN - Institut für Angewandte Mathematik (Inst. f. Ang. Math.) M4 - Citavi ER -