Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces (Q845286)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces |
scientific article |
Statements
Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces (English)
0 references
28 January 2010
0 references
Summary: This paper provides a fixed-point theorem for asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces as well as new effective results on the Krasnosel'skiĭ-Mann iterations of such mappings. The latter were found using methods from logic and the paper continues a case study in the general program of extracting effective data from prima-facie ineffective proofs in the fixed-point theory of such mappings.
0 references
proof mining
0 references
functionals of finite type
0 references
metric fixed-point theory
0 references
asymptotically nonexpansive mappings
0 references
uniformly convex hyperbolic spaces
0 references
CAT(0)-spaces
0 references
Krasnosel'skiĭ-Mann iterations
0 references
0.8620651364326477
0 references
0.8417060375213623
0 references
0.8415394425392151
0 references
0.840350866317749
0 references
0.8401378393173218
0 references
