Proof mining in metric fixed point theory and ergodic theory
arXiv:0903.1529
Abstract
In this survey we present some recent applications of proof mining to the fixed point theory of (asymptotically) nonexpansive mappings and to the metastability (in the sense of Terence Tao) of ergodic averages in uniformly convex Banach spaces.
appeared as OWP 2009-05, Oberwolfach Preprints; 71 pages