@misc{indiciaeb04d168a91ac, title = {An application of proof mining to the proximal point algorithm in CAT(0) spaces}, author = {Laurentiu Leustean and Andrei Sipos}, year = {2017}, url = {https://arxiv.org/abs/1707.09169}, note = {Source identifier: 1707.09169} }