3 papers
math.OC2024
Quantitative metastability of the Tikhonov-Mann iteration for countable families of mappings
Horatiu Cheval
In this paper, we obtain rates of metastability for the Tikhonov-Mann iteration for countable families of mappings in CAT(0) spaces. This iteration was recently defined by the auth…
cs.LO2023
Proceedings 7th Symposium on Working Formal Methods
Horaţiu Cheval, Laurenţiu Leuştean, Andrei Sipoş
This volume contains the proceedings of the 7th Working Formal Methods Symposium, which was held at the University of Bucharest, September 21-22, 2023.
math.OC2023
Rates of asymptotic regularity of the Tikhonov-Mann iteration for families of mappings
Horaţiu Cheval
In this paper we generalize the strongly convergent Krasnoselskii- Mann-type iteration for families of nonexpansive mappings defined recently by Boţ and Meier in Hilbert spaces to…