The following pages link to (Q4531986):
Displaying 8 items.
- Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces (Q555039) (← links)
- Some computational aspects of metric fixed-point theory (Q1775881) (← links)
- Proof mining in \(L_{1}\)-approximation (Q1874241) (← links)
- Uniform asymptotic regularity for Mann iterates. (Q1874614) (← links)
- Some logical metatheorems with applications in functional analysis (Q4819747) (← links)
- The mathematical significance of proof theory (Q5301856) (← links)
- General logical metatheorems for functional analysis (Q5442144) (← links)
- Bounds for a nonlinear ergodic theorem for Banach spaces (Q5889844) (← links)