2 papers
cs.LO2025
Proceedings 9th edition of Working Formal Methods Symposium
Andrei Arusoaie, Horaţiu Cheval, Radu Iosif
This volume contains the proceedings of the 9th Working Formal Methods Symposium, which was held at the Alexandru Ioan Cuza University, Iaşi, Romania on September 17-19, 2025.
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…