instituto de matemáticas universidad de sevilla
Antonio de Castro Brzezicki
imus-logo
Proof-Mining in Convex Optimization
Seminario Doctorado
Actividad del Programa de Doctorado
¡Atención Cambio de fecha! (estaba programada para el jueves 09)

We give an introduction to the logic-based method of proof mining which aims at the extraction of explicit effective data such as bounds from noneffective proofs. We focus on its applicability in Convex Optimization and report on the very recent extraction of a polynomial rate of asymptotic regularity from Bauschke's solution of the minimal displacement conjecture.

Compártelo: