An Application of Proof Mining to the Proximal Point Algorithm in CAT(0) Spaces

DOI10.1142/9789813237315_0008zbMath1416.03028arXiv1707.09169OpenAlexW4234764465MaRDI QIDQ5223002

Laurenţiu Leuştean, Andrei Sipoş

Publication date: 4 July 2019

Published in: Mathematics Almost Everywhere (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1707.09169

Mathematics Subject Classification ID

Iterative procedures involving nonlinear operators (47J25) Functionals in proof theory (03F10)

Related Items (5)

An abstract proximal point algorithm ⋮ Old and new challenges in Hadamard spaces ⋮ On Korpelevich's extragradient algorithm ⋮ Quantitative results on a Halpern-type proximal point algorithm ⋮ Metastability of the proximal point algorithm with multi-parameters

This page was built for publication: An Application of Proof Mining to the Proximal Point Algorithm in CAT(0) Spaces