3 citations · 4 across the 3 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2019
Metastability of the proximal point algorithm with multi-parameters
Bruno Dinis, Pedro Pinto
In this article we use techniques of proof mining to analyse a result, due to Yonghong Yao and Muhammad Aslam Noor, concerning the strong convergence of a generalized proximal poin…
math.LO2018
On the removal of weak compactness arguments in proof mining
Fernando Ferreira, Laurentiu Leustean, Pedro Pinto
The main observation of this paper is that some sequential weak compactness arguments in Hilbert space theory can be replaced by Heine/Borel compactness arguments (for the strong t…