Pages that link to "Item:Q5122020"
From MaRDI portal
The following pages link to PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS (Q5122020):
Displaying 37 items.
- An abstract proximal point algorithm (Q1630279) (← links)
- Quantitative results on a Halpern-type proximal point algorithm (Q2028456) (← links)
- Rates of metastability for iterations on the unit interval (Q2033176) (← links)
- On preserving the computational content of mathematical proofs: toy examples for a formalising strategy (Q2117791) (← links)
- An algorithmic version of Zariski's lemma (Q2117812) (← links)
- Quantitative analysis of a subgradient-type method for equilibrium problems (Q2129632) (← links)
- On extracting variable Herbrand disjunctions (Q2157604) (← links)
- Abstract strongly convergent variants of the proximal point algorithm (Q2162534) (← links)
- Rates of convergence for iterative solutions of equations involving set-valued accretive operators (Q2197861) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- The abstract type of the real numbers (Q2238151) (← links)
- On the removal of weak compactness arguments in proof mining (Q2324564) (← links)
- Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started (Q2657827) (← links)
- A uniform betweenness property in metric spaces and its role in the quantitative analysis of the ``lion-man'' game (Q2658486) (← links)
- Quantitative inconsistent feasibility for averaged mappings (Q2673538) (← links)
- Computability theory. Abstracts from the workshop held April 25 -- May 1, 2021 (hybrid meeting) (Q2693002) (← links)
- On modified Halpern and Tikhonov-Mann iterations (Q2697004) (← links)
- BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH (Q4984866) (← links)
- (Q5026396) (← links)
- Revisiting jointly firmly nonexpansive families of mappings (Q5054735) (← links)
- Quadratic rates of asymptotic regularity for the Tikhonov–Mann iteration (Q5058411) (← links)
- Rates of Convergence for Asymptotically Weakly Contractive Mappings in Normed Spaces (Q5067638) (← links)
- The finitary content of sunny nonexpansive retractions (Q5129245) (← links)
- PROOF MINING IN <i>L</i><sup><i>p</i></sup> SPACES (Q5207569) (← links)
- (Q5237033) (← links)
- On Korpelevich's extragradient algorithm (Q6060926) (← links)
- A computational study of a class of recursive inequalities (Q6091634) (← links)
- Bounds on strong unicity for Chebyshev approximation with bounded coefficients (Q6094024) (← links)
- A proof‐theoretic metatheorem for tracial von Neumann algebras (Q6096718) (← links)
- Rates of convergence for the asymptotic behavior of second-order Cauchy problems (Q6146391) (← links)
- Strong Convergence for the Alternating Halpern–Mann Iteration in CAT(0) Spaces (Q6158004) (← links)
- Effective metastability for a method of alternating resolvents (Q6576132) (← links)
- Nonexpansive maps in nonlinear smooth spaces (Q6597537) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023 (Q6613397) (← links)
- On quantitative metastability for accretive operators (Q6621589) (← links)
- Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions (Q6658123) (← links)
- Effective rates for iterations involving Bregman strongly nonexpansive operators (Q6661769) (← links)
