Text this: Steigungen höherer Ordnung zur verifizierten globalen Optimierung