Pages that link to "Item:Q2453072"
From MaRDI portal
The following pages link to An application of proof mining to nonlinear iterations (Q2453072):
Displaying 6 items.
- Effective results on a fixed point algorithm for families of nonlinear mappings (Q331050) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Quantitative results on Fejér monotone sequences (Q4596332) (← links)
- Construction of Fixed Points of Asymptotically Nonexpansive Mappings in Uniformly Convex Hyperbolic Spaces (Q5005294) (← links)
- (Q5028422) (← links)
- A proof‐theoretic metatheorem for tracial von Neumann algebras (Q6096718) (← links)
