Horaţiu Cheval

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A matching logic theory of multi-hole contexts Journal of Logical and Algebraic Methods in Programming	2026-08-27	Paper
\( \mathbb{K}\) definitions as matching logic theories, formally	2026-08-24	Paper
Rates of asymptotic regularity of the Tikhonov-Mann iteration for families of mappings Revue Roumaine de Mathématiques Pures et Appliquées	2025-05-19	Paper
Linear rates of asymptotic regularity for Halpern-type iterations Mathematics of Computation	2025-02-14	Paper
Formal definitions and proofs for partial (co)recursive functions Journal of Logical and Algebraic Methods in Programming	2024-10-08	Paper
Rates of asymptotic regularity of the Tikhonov-Mann iteration for families of mappings	2023-04-22	Paper
On modified Halpern and Tikhonov-Mann iterations Journal of Optimization Theory and Applications	2023-04-17	Paper
Linear rates of asymptotic regularity for Halpern-type iterations	2023-03-09	Paper
Quadratic rates of asymptotic regularity for the Tikhonov–Mann iteration Optimization Methods & Software	2022-12-20	Paper
On modified Halpern and Tikhonov-Mann iterations (available as arXiv preprint)	2022-03-21	Paper
Quadratic rates of asymptotic regularity for the Tikhonov-Mann iteration (available as arXiv preprint)	2021-07-15	Paper

Research outcomes over time

This page was built for person: Horaţiu Cheval