An application of proof mining to the proximal point algorithm in CAT(0) spaces

Laurentiu Leustean, Andrei Sipos

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 CA…