Proceedings 9th edition of Working Formal Methods Symposium
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.
cs.LO↗
arXiv subjects
Horaţiu Cheval
Publications and source records attributed to Horaţiu Cheval.
Linear rates of asymptotic regularity for Halpern-type iterations
In this note we apply a lemma due to Sabach and Shtern to compute linear rates of asymptotic regularity for Halpern-type nonlinear iterations studied in optimization and nonlinear analysis.
math.OC↗
Proceedings 7th Symposium on Working Formal Methods
This volume contains the proceedings of the 7th Working Formal Methods Symposium, which was held at the University of Bucharest, September 21-22, 2023.
cs.LO↗
Rates of asymptotic regularity of the Tikhonov-Mann iteration for families of mappings
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 the abstract setting of W - hyperbolic spaces and we compute effective rates of asymptotic regularity for our generalization. This also generalizes recent results by Leuştean and the author on the Tikhonov-Mann iteration from single mappings to families of mappings.
math.OC↗