Kombinatorische Aspekte der Ableitungsberechnung

• Antragsteller: Professor Dr. Uwe Naumann
• Fachliche Zuordnung: Rechnerarchitektur, eingebettete und massiv parallele Systeme
• Förderung: Förderung von 2008 bis 2012
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 52609407

Ableitungen von mathematischen Funktionen, die als Computerprogramme implementiert sind, können mittels automatischen Differenzierens mit Maschinengenauigkeit berechnet werden. Diese Technik spielt eine zentrale Rolle im Rahmen moderner Methoden zur numerischen Simulation physikalischer und ingenieur-technischer Prozesse. Oft wird die Laufzeit numerischer Algorithmen durch die Berechnung von Ableitunsginformationen dominiert. Die Optimierung der entsprechenden Programmfragmente birgt eine Reihe spezieller kombinatorischer Probleme, die im Rahmen dieses Projekts näher untersucht werden. Die theoretischen Ergebnisse werden Entwicklern von Software zum automatischen Differenzieren numerischer Simulationsprogramme in Form von implementierten Optimierungsalgorithmen, versehen mit wohldefinierten Schnittstellen, zur Verfügung gestellt.

• DFG-Verfahren: Sachbeihilfen