2006/01/01 by Ulrich Kohlenbach, Kohlenbach, Ulrich, Laurenţiu Leuştean +1
Computer Science · Mathematics · #Advanced Topology and Set Theory #Fixed Point Theorems Analysis #Optimization and Variational Analysis #Proof mining #approximated fixed points #fixed point theory #nonexpansive functions #product spaces
paper · doi:10.4230/dagsemproc.05021.6
openalex publication_date 2006/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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