Pages that link to "Item:Q2453072"
From MaRDI portal
The following pages link to An application of proof mining to nonlinear iterations (Q2453072):
Displayed 3 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)