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

Similar Works

Action	Title	Year	Authors
+	Proof mining in ${\mathbb R}$-trees and hyperbolic spaces	2008	Laurenţiu Leuştean
+	A quadratic rate of asymptotic regularity for CAT(0)-spaces	2006	Laurenţiu Leuştean
+	A quadratic rate of asymptotic regularity for CAT(0)-spaces	2005	Laurenţiu Leuştean
+	General logical metatheorems for functional analysis	2007	Philipp Gerhardy Ulrich Kohlenbach
+ PDF Chat	General Logical Metatheorems for Functional Analysis	2005	Philipp Gerhardy Ulrich Kohlenbach
+ PDF Chat	On the computational content of convergence proofs via Banach limits	2012	Ulrich Kohlenbach Laurenţiu Leuştean
+	On the removal of weak compactness arguments in proof mining	2018	Fernando Ferreira Laurenţiu Leuştean Pedro Pinto
+	On the removal of weak compactness arguments in proof mining	2018	João J. Ferreira Laurenţiu Leuştean Pedro Pinto
+	On the removal of weak compactness arguments in proof mining	2019	Fernando Ferreira Laurenţiu Leuştean Pedro Pinto
+	Proof mining in $L^p$ spaces.	2016	Andrei Sipoş
+ PDF Chat	Some Logical Metatheorems with Applications in Functional Analysis	2003	Ulrich Kohlenbach
+	Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis	2024	Nicholas Pischke
+	Nonexpansive maps in nonlinear smooth spaces	2024	Pedro Pinto
+ PDF Chat	Some logical metatheorems with applications in functional analysis	2004	Ulrich Kohlenbach
+	Proof mining in $L^p$ spaces	2016	Andrei Sipos
+	Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings	2007	Laurenţiu Leuştean
+	Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings	2007	Laurenţiu Leuştean
+	Gödel's Functional Interpretation and Its Use in Current Mathematics	2011	Ulrich Kohlenbach
+	Quantitative results on the Ishikawa iteration of Lipschitz pseudo-contractions	2016	Laurenţiu Leuştean Radu Vlad Andrei Sipoş
+ PDF Chat	An Application of Proof Mining to the Proximal Point Algorithm in CAT(0) Spaces	2018	Laurenţiu Leuştean Andrei Sipoş

Works That Cite This (18)

Action	Title	Year	Authors
+ PDF Chat	On the computational content of convergence proofs via Banach limits	2012	Ulrich Kohlenbach Laurenţiu Leuştean
+	On quantitative versions of theorems due to F.E. Browder and R. Wittmann	2010	Ulrich Kohlenbach
+ PDF Chat	Quantitative results on Fejér monotone sequences	2016	Ulrich Kohlenbach Laurenţiu Leuştean Adriana Nicolae
+	A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces	2006	Ulrich Kohlenbach
+ PDF Chat	An application of proof mining to nonlinear iterations	2014	Laurenţiu Leuştean
+	Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces	2007	Ulrich Kohlenbach Laurenţiu Leuştean
+	General logical metatheorems for functional analysis	2007	Philipp Gerhardy Ulrich Kohlenbach
+ PDF Chat	Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces	2009	Ulrich Kohlenbach Laurenţiu Leuştean
+	Effective Uniform Bounds from Proofs in Abstract Functional Analysis	2007	Ulrich Kohlenbach
+	Bounds on Kuhfittig’s iteration schema in uniformly convex hyperbolic spaces	2013	Muhammad Aqeel Ahmad Khan Ulrich Kohlenbach

Works Cited by This (17)

Action	Title	Year	Authors
+	A “theorem of Lie-Kolchin” for trees	1977	Jacques Tits
+ PDF Chat	Some logical metatheorems with applications in functional analysis	2004	Ulrich Kohlenbach
+	A quadratic rate of asymptotic regularity for CAT(0)-spaces	2006	Laurenţiu Leuştean
+ PDF Chat	Krasnoselski-Mann Iterations in Normed Spaces	1992	Jonathan M. Borwein Simeon Reich Itai Shafrir
+	Uniform asymptotic regularity for Mann iterates	2003	Ulrich Kohlenbach
+	A note on segmenting Mann iterates	1972	C. W. Groetsch
+	Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals	1985	Marc Bezem
+ PDF Chat	Mean value methods in iteration	1953	W. Robert Mann
+	Uniform Convexity, Hyperbolic Geometry, and Nonexpansive Mappings	1984	Kazimierz Goebel Simeon Reich
+	Metric Spaces of Non-Positive Curvature	1999	Martin R. Bridson André Haefliger