• Proof mining in metric fixed point theory and ergodic theory 

      [OWP-2009-05] Leuştean, Laurenţiu (Mathematisches Forschungsinstitut Oberwolfach, 2009)
      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 ...