Publication:5237033
From MaRDI portal
Publication date: 16 October 2019
Full work available at URL: https://arxiv.org/abs/1802.08476
convex optimization; CAT(0) spaces; asymptotic regularity; proof mining; firmly nonexpansive mappings; averaged projections
47J25: Iterative procedures involving nonlinear operators
47H09: Contraction-type mappings, nonexpansive mappings, (A)-proper mappings, etc.
41A65: Abstract approximation theory (approximation in normed linear spaces and other abstract spaces)
46N10: Applications of functional analysis in optimization, convex analysis, mathematical programming, economics
03F10: Functionals in proof theory