PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS

Abstract

We discuss applications of methods from proof theory, so-called proof interpretations, for the extraction of explicit bounds in convex optimization, fixed point theory, ergodic theory and nonlinear semigroup theory. Mathematics Subject Classification (2010): Primary 03F10; Secondary 03F35, 47H10, 47H20, 47H25, 90C30.