Title: Steigungen höherer Ordnung zur verifizierten globalen Optimierung