PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS
DOI10.1142/9789813272880_0045zbMATH Open1445.03062OpenAlexW2972486801MaRDI QIDQ5122020FDOQ5122020
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-point theorems (47H10) Semigroups of nonlinear operators (47H20) Nonlinear ergodic theorems (47H25) Second- and higher-order arithmetic and fragments (03F35) Functionals in proof theory (03F10)
Cited In (43)
- Formal Proofs for Nonlinear Optimization
- Strong Convergence for the Alternating Halpern–Mann Iteration in CAT(0) Spaces
- Rates of convergence for the asymptotic behavior of second-order Cauchy problems
- Effective metastability for a method of alternating resolvents
- An algorithmic version of Zariski's lemma
- On preserving the computational content of mathematical proofs: toy examples for a formalising strategy
- Abstract strongly convergent variants of the proximal point algorithm
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Rates of Convergence for Asymptotically Weakly Contractive Mappings in Normed Spaces
- Quantitative analysis of a subgradient-type method for equilibrium problems
- Quadratic rates of asymptotic regularity for the Tikhonov–Mann iteration
- Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started
- Nonexpansive maps in nonlinear smooth spaces
- Quantitative inconsistent feasibility for averaged mappings
- Computability theory. Abstracts from the workshop held April 25 -- May 1, 2021 (hybrid meeting)
- Quantitative results on a Halpern-type proximal point algorithm
- On Korpelevich's extragradient algorithm
- Writing Proofs in Analysis
- The abstract type of the real numbers
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023
- On quantitative metastability for accretive operators
- On the removal of weak compactness arguments in proof mining
- On extracting variable Herbrand disjunctions
- An abstract proximal point algorithm
- A uniform betweenness property in metric spaces and its role in the quantitative analysis of the ``lion-man game
- A computational study of a class of recursive inequalities
- PROOF MINING IN Lp SPACES
- BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH
- A proof‐theoretic metatheorem for tracial von Neumann algebras
- Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions
- Revisiting jointly firmly nonexpansive families of mappings
- Title not available (Why is that?)
- Effective rates for iterations involving Bregman strongly nonexpansive operators
- Rates of metastability for iterations on the unit interval
- Bounds on strong unicity for Chebyshev approximation with bounded coefficients
- Rates of convergence for iterative solutions of equations involving set-valued accretive operators
- On modified Halpern and Tikhonov-Mann iterations
- Title not available (Why is that?)
- An Abstract Theorem in Nonlinear Analysis
- The finitary content of sunny nonexpansive retractions
- Title not available (Why is that?)
This page was built for publication: PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5122020)
