Horatiu Cheval

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Formal Definitions

Top Venues

J. Log. Algebraic Methods Program.

J. Optim. Theory Appl.

Optim. Methods Softw.

Publications

Horatiu Cheval, David Nowak, Vlad Rusu
Formal definitions and proofs for partial (co)recursive functions. J. Log. Algebraic Methods Program. 141 (2024)
Horatiu Cheval, Ulrich Kohlenbach, Laurentiu Leustean
On Modified Halpern and Tikhonov-Mann Iterations. J. Optim. Theory Appl. 197 (1) (2023)
Horatiu Cheval, Laurentiu Leustean
Quadratic rates of asymptotic regularity for the Tikhonov-Mann iteration. Optim. Methods Softw. 37 (6) (2022)