Effective results on a fixed point algorithm for families of nonlinear mappings

DOI10.1016/j.apal.2016.09.001zbMath1422.03123arXiv1606.03895OpenAlexW2963134493MaRDI QIDQ331050

Andrei Sipoş

Publication date: 26 October 2016

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

parallel algorithmasymptotic regularityeffective boundsproof miningstrict pseudocontractions

Mathematics Subject Classification ID

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

A proof‐theoretic metatheorem for tracial von Neumann algebras, Asymptotic regularity, fixed points and successive approximations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A quadratic rate of asymptotic regularity for CAT(0)-spaces
• Weak and strong convergence theorems for strict pseudo-contractions in Hilbert spaces
• Iterative methods for strict pseudo-contractions in Hilbert spaces
• Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces
• An application of proof mining to nonlinear iterations
• Strongly uniform bounds from semi-constructive proofs
• Construction of fixed points of nonlinear mappings in Hilbert space
• Hybrid Functional Interpretations of Linear and Intuitionistic Logic
• Relative constructivity
• Some logical metatheorems with applications in functional analysis
• A Rate of Asymptotic Regularity for the Mann Iteration of κ-Strict Pseudo-Contractions
• General logical metatheorems for functional analysis
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics