Steigungen hoherer Ordnung zur verifizierten globalen Optimierung German

In dieser Arbeit wird die automatische Berechnung von Steigungstupeln zweiter und h?herer Ordnung behandelt. Die entwickelten Techniken werden in einem Algorithmus zur verifizierten globalen Optimierung verwendet. Anhand von Testbeispielen auf einem Rechner wird der neue Algorithmus mit einem Algorithmus aus der Literatur verglichen.