Kombinatorische Aspekte der Ableitungsberechnung

• Applicant: Professor Dr. Uwe Naumann
• Subject Area: Computer Architecture, Embedded and Massively Parallel Systems
• Term: from 2008 to 2012
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants