Automatische Ergebnisverifikation bei globalen Optimierungsproblemen | lit.salon