Approximate fixed points of nonexpansive functions in product spaces

Kohlenbach, Ulrich; Leustean, Laurentiu

doi:10.4230/DagSemProc.05021.6

Abstract

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

Cite As Get BibTex

Ulrich Kohlenbach and Laurentiu Leustean. Approximate fixed points of nonexpansive functions in product spaces. In Mathematics, Algorithms, Proofs. Dagstuhl Seminar Proceedings, Volume 5021, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006) https://doi.org/10.4230/DagSemProc.05021.6

@InProceedings{kohlenbach_et_al:DagSemProc.05021.6,
  author =	{Kohlenbach, Ulrich and Leustean, Laurentiu},
  title =	{{Approximate fixed points of nonexpansive functions in product spaces}},
  booktitle =	{Mathematics, Algorithms, Proofs},
  pages =	{1--5},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5021},
  editor =	{Thierry Coquand and Henri Lombardi and Marie-Fran\c{c}oise Roy},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05021.6},
  URN =		{urn:nbn:de:0030-drops-4330},
  doi =		{10.4230/DagSemProc.05021.6},
  annote =	{Keywords: Proof mining, fixed point theory, approximated fixed points, nonexpansive functions, product spaces}
}

Author Details

Ulrich Kohlenbach

Laurentiu Leustean

Approximate fixed points of nonexpansive functions in product spaces

Authors Ulrich Kohlenbach, Laurentiu Leustean

File

Document Identifiers

Subject Classification

Keywords

Metrics

Abstract

Cite As Get BibTex

Author Details

Thanks for your feedback!

Could not send message