The proximal point method and its two variants for monotone vector fields in Hadamard spaces

We prove existence and convergence of sequences generated by the proximal point method and its two variants for monotone vector fields in Hadamard spaces. Before obtaining our results, we investigate some fundamental properties of tangent spaces, resolvents, and monotone vector fields in such spaces.