Steigungen höherer Ordnung zur verifizierten globalen Optimierung - Schnurr, Marco (KIT Scientific Publishing)