PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS

DOI10.1142/9789813272880_0045MaRDI QIDQ5122020zbMATH OpenOpenAlexFDO

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

convex optimization ergodic theory fixed points nonlinear semigroups effective bounds proof mining

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)

The finitary content of sunny nonexpansive retractions
scientific article; zbMATH DE number 7585096 (Why is no real title available?)
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
Bounds for indexes of nilpotency in commutative ring theory: a proof mining approach
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)
scientific article; zbMATH DE number 3871342 (Why is no real title available?)
Quantitative analysis of a subgradient-type method for equilibrium problems
scientific article; zbMATH DE number 7470545 (Why is no real title available?)
Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started
Quadratic rates of asymptotic regularity for the Tikhonov–Mann iteration
Quantitative inconsistent feasibility for averaged mappings
Quantitative results on algorithms for zeros of differences of monotone operators in Hilbert space
Nonexpansive maps in nonlinear smooth spaces
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
On the removal of weak compactness arguments in proof mining
Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023
On quantitative metastability for accretive operators
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
Rates of convergence for asymptotically weakly contractive mappings in normed spaces
A computational study of a class of recursive inequalities
PROOF MINING IN L^p SPACES
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
scientific article; zbMATH DE number 7118235 (Why is no real title available?)
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
An Abstract Theorem in Nonlinear Analysis

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)