证明挖掘在 CAT(0) 空间中邻近点算法的应用
最优化与控制
2017-07-31 v1 逻辑
摘要
我们使用最初由 Kohlenbach、第一作者和 Nicolae 引入的技术，计算了 CAT(0) 空间（由 Bacak 首次考虑）中邻近点算法的亚稳性一致速率，特别是针对环境空间完全有界的情况。该结果是证明挖掘计划的一部分，该计划旨在应用数理逻辑方法，从普通数学证明中提取定量信息，而这些证明不一定是构造性的。
引用
@article{arxiv.1707.09169,
title = {An application of proof mining to the proximal point algorithm in CAT(0) spaces},
author = {Laurentiu Leustean and Andrei Sipos},
journal= {arXiv preprint arXiv:1707.09169},
year = {2017}
}