Some computational aspects of metric fixed-point theory
Abstract We show how bounds on asymptotic regularity for nonexpansive functions can effectively be converted into certain bounds on the convergence towards a fixed point.