Approximate fixed points of nonexpansive functions in product spaces
Ulrich Kohlenbach, Laurenţiu Leuştean · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2006
In this talk, we present another case study in the general program of proof mining in fixed point theory. Thus, we generalize results obtained by W. Kirk in the theory of approximated fixed points of nonexpansive mappings in product spaces