PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS
From MaRDI portal
(Redirected from Publication:5122020)
Cited in
(58)- On quantitative convergence for stochastic processes: crossings, fluctuations and martingales
- The finitary content of sunny nonexpansive retractions
- scientific article; zbMATH DE number 7585096 (Why is no real title available?)
- Formal Proofs for Nonlinear Optimization
- On the finitary content of Dykstra's cyclic projections algorithm
- A proof-theoretic metatheorem for nonlinear semigroups generated by an accretive operator and applications
- 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
- Quantitative strong laws of large numbers
- 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
- On the proximal point algorithm for strongly quasiconvex functions in Hadamard spaces
- 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
- Quantitative ergodic theorems for actions of groups of polynomial growth
- The computational content of super strongly nonexpansive mappings and uniformly monotone operators
- Quantitative results for a Tseng-type primal-dual method for composite monotone inclusions
- On extracting variable Herbrand disjunctions
- Proof mining and probability theory
- An abstract proximal point algorithm
- Effective rates for nonlinear ergodic averages
- 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 Lp 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
- Generalized learnability of stochastic principles
- 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
- Generalized Fejér monotone sequences and their finitary content
- Proof mining and the convex feasibility problem: the curious case of Dykstra's algorithm
- Rates of metastability for iterations on the unit interval
- Bounds on strong unicity for Chebyshev approximation with bounded coefficients
- Quantitative asymptotic regularity of the VAM iteration with error terms for m-accretive operators in Banach spaces
- 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
- On logical aspects of extensionality and continuity for set-valued operators with applications to 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)
