Kombinatorische Aspekte der Ableitungsberechnung

数学函数的能力，也就是计算机程序的实现，可以用韦尔登自动地计算差分。该技术是现代物理模拟和工程技术方法的核心作用。经常会有许多人因为支配能力的提高而感到自豪。最优化的中间程序片段产生了一个特殊的组合问题，在拉赫曼的这些项目中，韦尔登没有得到解决。该理论工程韦尔登开发了一种自动差分数值模拟软件，该软件以最佳实现形式运行，并带有任意定义的Schnittstellen，以进行验证。

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.