Pages that link to "Item:Q2976309"
From MaRDI portal
The following pages link to Effective results on nonlinear ergodic averages in CAT spaces (Q2976309):
Displaying 6 items.
- Quantitative results on a Halpern-type proximal point algorithm (Q2028456) (← links)
- On the removal of weak compactness arguments in proof mining (Q2324564) (← links)
- A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces (Q2363506) (← links)
- The finitary content of sunny nonexpansive retractions (Q5129245) (← links)
- Concepts of almost periodicity and ergodic theorems in locally convex spaces (Q6051195) (← links)
- A computational study of a class of recursive inequalities (Q6091634) (← links)