From the 1 of 1 linked paper with an AI index.
1 paper
Nicoleta Dumitru, Laurentiu Leustean
The paper uses proof‑mining techniques to derive explicit quantitative bounds on the asymptotic and T‑asymptotic regularity of an inexact generalized Halpern iteration, a viscosity…