An application of proof mining to nonlinear iterations
From MaRDI portal
Publication:2453072
DOI10.1016/j.apal.2014.04.015zbMath1388.03052arXiv1211.2991OpenAlexW2963722077MaRDI QIDQ2453072
Publication date: 6 June 2014
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1211.2991
nonexpansive mappingsasymptotic regularityproof miningiterative procedureslogical metatheoremsuniformly convex geodesic spaces
Iterative procedures involving nonlinear operators (47J25) Constructive and recursive analysis (03F60) Contraction-type mappings, nonexpansive mappings, (A)-proper mappings, etc. (47H09) Functionals in proof theory (03F10)
Related Items
Effective results on a fixed point algorithm for families of nonlinear mappings, A proof‐theoretic metatheorem for tracial von Neumann algebras, Quantitative results on Fejér monotone sequences, Unnamed Item, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017, Construction of Fixed Points of Asymptotically Nonexpansive Mappings in Uniformly Convex Hyperbolic Spaces, Asymptotic regularity, fixed points and successive approximations
Cites Work
- Unnamed Item
- Unnamed Item
- 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
- A quantitative ergodic theory proof of Szemerédi's theorem
- A correspondence principle between (hyper)graph theory and probability theory, and the (hyper)graph removal Lemma
- Weak convergence theorems for nonexpansive mappings in Banach spaces
- Approximating fixed points of nonexpansive mappings by the Ishikawa iteration process
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- The primes contain arbitrarily long arithmetic progressions
- On \(\Delta\)-convergence theorems in CAT\((0)\) spaces
- Strongly uniform bounds from semi-constructive proofs
- Spaces with non-positive curvature
- Hybrid Functional Interpretations of Linear and Intuitionistic Logic
- On the computational content of convergence proofs via Banach limits
- A convexity in metric space and nonexpansive mappings. I.
- Hybrid Functional Interpretations
- Nonexpansive iterations in uniformly convex $W$-hyperbolic spaces
- Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
- Remarks on Some Fixed Point Theorems
- Fixed Points by a New Iteration Method
- Some logical metatheorems with applications in functional analysis
- 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
- The mathematical significance of proof theory
- Norm convergence of multiple ergodic averages for commuting transformations
- General logical metatheorems for functional analysis
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- The solution by iteration of nonlinear functional equations in Banach spaces
- Mean Value Methods in Iteration
- Metric spaces, convexity and nonpositive curvature
