关于非线性映射族不动点算法的有效结果
泛函分析
2016-06-21 v2 逻辑
摘要
我们使用证明挖掘技术，为López-Acedo和Xu用于寻找Hilbert空间凸子集上有限族-严格伪压缩自映射公共不动点的并行算法实例，获得了渐近正则性的一致速率。我们证明了这些结果由经典系统和半直觉主义系统的若干逻辑元定理所保证。
引用
@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}
}