PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS
From MaRDI portal
Publication:5122020
DOI10.1142/9789813272880_0045zbMath1445.03062OpenAlexW2972486801MaRDI 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
Semigroups of nonlinear operators (47H20) Fixed-point theorems (47H10) Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35) Nonlinear ergodic theorems (47H25)
Related Items
Quantitative analysis of a subgradient-type method for equilibrium problems ⋮ An abstract proximal point algorithm ⋮ Revisiting jointly firmly nonexpansive families of mappings ⋮ Quadratic rates of asymptotic regularity for the Tikhonov–Mann iteration ⋮ Rates of Convergence for Asymptotically Weakly Contractive Mappings in Normed Spaces ⋮ On extracting variable Herbrand disjunctions ⋮ Abstract strongly convergent variants of the proximal point algorithm ⋮ Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started ⋮ A uniform betweenness property in metric spaces and its role in the quantitative analysis of the ``lion-man game ⋮ Unnamed Item ⋮ Quantitative inconsistent feasibility for averaged mappings ⋮ On Korpelevich's extragradient algorithm ⋮ A computational study of a class of recursive inequalities ⋮ Bounds on strong unicity for Chebyshev approximation with bounded coefficients ⋮ A proof‐theoretic metatheorem for tracial von Neumann algebras ⋮ Rates of convergence for the asymptotic behavior of second-order Cauchy problems ⋮ Strong Convergence for the Alternating Halpern–Mann Iteration in CAT(0) Spaces ⋮ Rates of convergence for iterative solutions of equations involving set-valued accretive operators ⋮ Computability theory. Abstracts from the workshop held April 25 -- May 1, 2021 (hybrid meeting) ⋮ On modified Halpern and Tikhonov-Mann iterations ⋮ The finitary content of sunny nonexpansive retractions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) ⋮ The abstract type of the real numbers ⋮ Quantitative results on a Halpern-type proximal point algorithm ⋮ Rates of metastability for iterations on the unit interval ⋮ PROOF MINING IN Lp SPACES ⋮ BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH ⋮ On the removal of weak compactness arguments in proof mining ⋮ On preserving the computational content of mathematical proofs: toy examples for a formalising strategy ⋮ An algorithmic version of Zariski's lemma
