An application of proof mining to nonlinear iterations (Q2453072): Difference between revisions

@@ Property / cites work @@
+Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
+Normal rank
@@ Property / cites work @@
+Q4720067
@@ Property / cites work: Q4720067 / rank @@
+Normal rank
@@ Property / cites work @@
+The solution by iteration of nonlinear functional equations in Banach spaces
+Normal rank
@@ Property / cites work @@
+Spaces with non-positive curvature
@@ Property / cites work: Spaces with non-positive curvature / rank @@
+Normal rank
@@ Property / cites work @@
+Q5719717
@@ Property / cites work: Q5719717 / rank @@
+Normal rank
@@ Property / cites work @@
+On \(\Delta\)-convergence theorems in CAT\((0)\) spaces
+Normal rank
@@ Property / cites work @@
+Strongly uniform bounds from semi-constructive proofs
+Normal rank
@@ Property / cites work @@
+General logical metatheorems for functional analysis
+Normal rank
@@ Property / cites work @@
+Q3322631
@@ Property / cites work: Q3322631 / rank @@
+Normal rank
@@ Property / cites work @@
+The primes contain arbitrarily long arithmetic progressions
+Normal rank
@@ Property / cites work @@
+Hybrid Functional Interpretations
@@ Property / cites work: Hybrid Functional Interpretations / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ Property / cites work @@
+Fixed Points by a New Iteration Method
@@ Property / cites work: Fixed Points by a New Iteration Method / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837732
@@ Property / cites work: Q3837732 / rank @@
+Normal rank
@@ Property / cites work @@
+Some logical metatheorems with applications in functional analysis
+Normal rank
@@ Property / cites work @@
+Q3396625
@@ Property / cites work: Q3396625 / rank @@
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+On the computational content of convergence proofs via Banach limits
+Normal rank
@@ Property / cites work @@
+Q5847510
@@ Property / cites work: Q5847510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5344164
@@ Property / cites work: Q5344164 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3671969
@@ Property / cites work: Q3671969 / rank @@
+Normal rank
@@ Property / cites work @@
+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
+Normal rank
@@ Property / cites work @@
+A quadratic rate of asymptotic regularity for CAT(0)-spaces
+Normal rank
@@ Property / cites work @@
+Nonexpansive iterations in uniformly convex $W$-hyperbolic spaces
+Normal rank
@@ Property / cites work @@
+Remarks on Some Fixed Point Theorems
@@ Property / cites work: Remarks on Some Fixed Point Theorems / rank @@
+Normal rank
@@ Property / cites work @@
+The mathematical significance of proof theory
@@ Property / cites work: The mathematical significance of proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Mean Value Methods in Iteration
@@ Property / cites work: Mean Value Methods in Iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Functional Interpretations of Linear and Intuitionistic Logic
+Normal rank
@@ Property / cites work @@
+Metric spaces, convexity and nonpositive curvature
+Normal rank
@@ Property / cites work @@
+Weak convergence theorems for nonexpansive mappings in Banach spaces
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519134
@@ Property / cites work: Q5519134 / rank @@
+Normal rank
@@ Property / cites work @@
+A convexity in metric space and nonexpansive mappings. I.
+Normal rank
@@ Property / cites work @@
+Approximating fixed points of nonexpansive mappings by the Ishikawa iteration process
+Normal rank
@@ Property / cites work @@
+A quantitative ergodic theory proof of Szemerédi's theorem
+Normal rank
@@ Property / cites work @@
+A correspondence principle between (hyper)graph theory and probability theory, and the (hyper)graph removal Lemma
+Normal rank
@@ Property / cites work @@
+Norm convergence of multiple ergodic averages for commuting transformations
+Normal rank