PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS
From MaRDI portal
Publication:5122020
DOI10.1142/9789813272880_0045zbMath1445.03062MaRDI QIDQ5122020
Publication date: 22 September 2020
Published in: Proceedings of the International Congress of Mathematicians (ICM 2018) (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/7dfca5b21ad83207a278c747bded4c9b7fe49086
fixed points; convex optimization; nonlinear semigroups; ergodic theory; effective bounds; proof mining
47H20: Semigroups of nonlinear operators
47H10: Fixed-point theorems
03F10: Functionals in proof theory
03F35: Second- and higher-order arithmetic and fragments
47H25: Nonlinear ergodic theorems