Formalisierung der Komplexitätsanalyse von Optimierungsalgorithmen erster Ordnung

Die Konvergenzrate verschiedener Optimierungsalgorithmen erster Ordnung ist ein zentrales Anliegen in der numerischen Optimierung, da sie die Effizienz dieser Algorithmen über verschiedene Optimierungsprobleme hinweg widerspiegelt. Ziel ist es, einen bedeutenden Schritt in Richtung einer formalen mathematischen Darstellung von Optimierungstechniken unter Verwendung des Lean4-Theorembeweisers zu machen.