2 papers
math.OC2025
Rate of metastability of an iterative algorithm for quadratic optimization
Paulo Firmino
In this paper, relying on methods from proof mining, we provide a quantitative analysis of a theorem due to Xu, stating that an iteration strongly converges to the solution of a we…
math.LO2024
Herbrandized modified realizability
Gilda Ferreira, Paulo Firmino
Realizability notions in mathematical logic have a long history, which can be traced back to the work of Stephen Kleene in the 1940s, aimed at exploring the foundations of intuitio…