Effective results on a fixed point algorithm for families of nonlinear mappings
Functional Analysis
2016-06-21 v2 Logic
Abstract
We use proof mining techniques to obtain a uniform rate of asymptotic regularity for the instance of the parallel algorithm used by L\'opez-Acedo and Xu to find common fixed points of finite families of -strict pseudocontractive self-mappings of convex subsets of Hilbert spaces. We show that these results are guaranteed by a number of logical metatheorems for classical and semi-intuitionistic systems.
Keywords
Cite
@article{arxiv.1606.03895,
title = {Effective results on a fixed point algorithm for families of nonlinear mappings},
author = {Andrei Sipos},
journal= {arXiv preprint arXiv:1606.03895},
year = {2016}
}