Pages that link to "Item:Q4917991"
From MaRDI portal
The following pages link to Proof Mining in <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="double-struck">R</mml:mi></mml:math>-trees and Hyperbolic Spaces (Q4917991):
Displaying 9 items.
- On quantitative versions of theorems due to F. E. Browder and R. Wittmann (Q624339) (← links)
- Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces (Q845286) (← links)
- Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces (Q2442995) (← links)
- An application of proof mining to nonlinear iterations (Q2453072) (← links)
- On the computational content of convergence proofs via Banach limits (Q2941598) (← links)
- Quantitative results on Fejér monotone sequences (Q4596332) (← links)
- General logical metatheorems for functional analysis (Q5442144) (← links)
- A proof‐theoretic metatheorem for tracial von Neumann algebras (Q6096718) (← links)
- Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions (Q6658123) (← links)
