PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS

By Ulrich Kohlenbach. International Congress of Mathematicans, 2019

80 citations recorded by the source corpus.

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.

Subfields: Computational Theory and Mathematics, Computer Vision and Pattern Recognition, Numerical Analysis

View Paper: https://www.semanticscholar.org/paper/7dfca5b21ad83207a278c747bded4c9b7fe49086