  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.
