  Bauschke and Moursi have recently obtained results that implicitly contain
the fact that the composition of finitely many averaged mappings on a Hilbert
space that have approximate fixed points also has approximate fixed points and
thus is asymptotically regular. Using techniques of proof mining, we analyze
their arguments to obtain effective uniform rates of asymptotic regularity.

Optimization and Control;Functional Analysis;Logic