Proof Mining in <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="double-struck">R</mml:mi></mml:math>-trees and Hyperbolic Spaces

DOI10.1016/J.ENTCS.2006.05.039zbMath1262.03121arXiv0801.1731OpenAlexW2170950118MaRDI QIDQ4917991

Laurenţiu Leuştean

Publication date: 3 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0801.1731

zbMATH Keywords

hyperbolic spacesuniformly convexasymptotic regularityproof mining\(\mathbb{R}\)-treesnonexpansive functions

Mathematics Subject Classification ID

Fixed-point theorems (47H10) Functionals in proof theory (03F10)

Related Items (9)

Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces ⋮ On the computational content of convergence proofs via Banach limits ⋮ A proof‐theoretic metatheorem for tracial von Neumann algebras ⋮ On quantitative versions of theorems due to F. E. Browder and R. Wittmann ⋮ Quantitative results on Fejér monotone sequences ⋮ Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces ⋮ An application of proof mining to nonlinear iterations ⋮ General logical metatheorems for functional analysis ⋮ Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A quadratic rate of asymptotic regularity for CAT(0)-spaces
• Valuations, trees, and degenerations of hyperbolic structures. I
• Sur les groupes hyperboliques d'après Mikhael Gromov. (On the hyperbolic groups à la M. Gromov)
• Uniform asymptotic regularity for Mann iterates.
• A note on segmenting Mann iterates
• Krasnoselski-Mann Iterations in Normed Spaces
• Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
• Some logical metatheorems with applications in functional analysis
• General logical metatheorems for functional analysis
• The solution by iteration of nonlinear functional equations in Banach spaces
• Mean Value Methods in Iteration

This page was built for publication: Proof Mining in <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="double-struck">R</mml:mi></mml:math>-trees and Hyperbolic Spaces