证明挖掘在CAT（0）空间邻近点法中的应用
An application of proof mining to the proximal point algorithm in CAT(0) spaces
摘要：
我们计算，使用最初介绍的技术由Kohlenbach，第一作者和尼古拉，均匀率的亚稳定性的邻近点法在CAT（0）空间的上下文中（首先考虑由Bacak），特别是对于周围的空间是完全有界的情况下。这一结果是证明挖掘程序的一部分，该程序旨在应用数理逻辑方法，目的是从普通的数学证明中提取定量信息，这些证明可能不一定是建设性的。
英文摘要：
We compute, using techniques originally introduced by Kohlenbach, the first author and Nicolae, uniform rates of metastability for the proximal point algorithm in the context of CAT(0) spaces (as first considered by Bacak), specifically for the case where the ambient space is totally bounded. This result is part of the program of proof mining, which aims to apply methods of mathematical logic with the purpose of extracting quantitative information out of ordinary mathematical proofs, which may not be necessarily constructive.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
