Pages that link to "Item:Q2941598"

The following pages link to On the computational content of convergence proofs via Banach limits (Q2941598):

Displaying 17 items.

• Effective metastability for modified Halpern iterations in CAT(0) spaces (Q385667) (← links)
• Fluctuations, effective learnability and metastability in analysis (Q392289) (← links)
• Effective metastability of Halpern iterates in \(CAT(0)\) spaces (Q715208) (← links)
• Logical metatheorems for abstract spaces axiomatized in positive bounded logic (Q908073) (← links)
• Quantitative translations for viscosity approximation methods in hyperbolic spaces (Q2059976) (← links)
• Rates of convergence for iterative solutions of equations involving set-valued accretive operators (Q2197861) (← links)
• On the removal of weak compactness arguments in proof mining (Q2324564) (← links)
• Quantitative results for Halpern iterations of nonexpansive mappings (Q2348521) (← links)
• Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces (Q2442995) (← links)
• Addendum to: ``Effective metastability of Halpern iterates in CAT(0) spaces'' (Q2445392) (← links)
• An application of proof mining to nonlinear iterations (Q2453072) (← links)
• The foundations of computation, physics and mentality: the Turing legacy (Q2941587) (← links)
• Effective results on nonlinear ergodic averages in CAT spaces (Q2976309) (← 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>^<i>p</i> SPACES (Q5207569) (← links)
• On computational properties of Cauchy problems generated by accretive operators (Q6148761) (← links)