Pages that link to "Item:Q2498902"
From MaRDI portal
The following pages link to Strongly uniform bounds from semi-constructive proofs (Q2498902):
Displaying 11 items.
- Effective results on a fixed point algorithm for families of nonlinear mappings (Q331050) (← links)
- Fluctuations, effective learnability and metastability in analysis (Q392289) (← links)
- Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces (Q555039) (← links)
- Effective metastability of Halpern iterates in \(CAT(0)\) spaces (Q715208) (← links)
- On subrecursive representation of irrational numbers: contractors and Baire sequences (Q2117793) (← links)
- An application of proof mining to nonlinear iterations (Q2453072) (← links)
- On the computational content of convergence proofs via Banach limits (Q2941598) (← links)
- A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces (Q4917990) (← links)
- PROOF MINING IN <i>L</i><sup><i>p</i></sup> SPACES (Q5207569) (← links)
- General logical metatheorems for functional analysis (Q5442144) (← links)
- On computational properties of Cauchy problems generated by accretive operators (Q6148761) (← links)
