sentence1: rates of asymptotic regularity for the more general krasnoselski-mann iteration were computed using methods of proof mining in the setting of normed spaces by kohlenbach .
sentence2: using proof mining methods , kohlenbach computed exponential rates of asymptotic regularity for the krasnoselski-mann iteration in normed and hyperbolic spaces , respectively .