Quantitative asymptotic regularity results for the composition of two mappings
Ulrich Kohlenbach, López Acedo, Genaro, Adriana Nicolae · Deposito de Investigacion Universidad de Sevilla (University of Seville) · 2016
In this paper, we use techniques which originate from proof mining to give rates of asymptotic regularity and metastability for a sequence associated to the composition of two firmly nonexpansive mappings.