On the removal of weak compactness arguments in proof mining F Ferreira, L Leuştean, P Pinto Advances in Mathematics 354, 106728, 2019 | 34 | 2019 |
Quantitative results on a Halpern-type proximal point algorithm L Leuştean, P Pinto Computational Optimization and Applications 79 (1), 101-125, 2021 | 24 | 2021 |
A rate of metastability for the Halpern type Proximal Point Algorithm P Pinto Numerical Functional Analysis and Optimization, 1-24, 2021 | 17 | 2021 |
Quantitative results on the multi-parameters Proximal Point Algorithm B Dinis, P Pinto arXiv preprint arXiv:1912.10175, 2019 | 13 | 2019 |
Strong Convergence for the Alternating Halpern–Mann Iteration in CAT (0) Spaces B Dinis, P Pinto SIAM Journal on Optimization 33 (2), 785-815, 2023 | 12 | 2023 |
Quantitative translations for viscosity approximation methods in hyperbolic spaces U Kohlenbach, P Pinto Journal of Mathematical Analysis and Applications 507 (2), 125823, 2022 | 11 | 2022 |
On the convergence of algorithms with Tikhonov regularization terms B Dinis, P Pinto Optimization Letters 15 (4), 1263-1276, 2021 | 10 | 2021 |
Rates of asymptotic regularity for the alternating Halpern–Mann iteration L Leuştean, P Pinto Optimization Letters 18 (2), 529-543, 2024 | 9 | 2024 |
Metastability of the proximal point algorithm with multi-parameters B Dinis, P Pinto Portugaliae Mathematica 77 (3), 345-381, 2020 | 7 | 2020 |
Proof mining with the bounded functional interpretation P Pinto Bulletin of Symbolic Logic 28 (2), 265-266, 2022 | 6 | 2022 |
Effective metastability for a method of alternating resolvents B Dinis, P Pinto arXiv preprint arXiv:2101.12675, 2021 | 5 | 2021 |
On computational properties of Cauchy problems generated by accretive operators P Pinto, N Pischke Documenta Mathematica 28 (5), 1235-1274, 2023 | 3 | 2023 |
Fej\'er monotone sequences revisited U Kohlenbach, P Pinto arXiv preprint arXiv:2310.06528, 2023 | 1 | 2023 |
On the finitary content of Dykstra's cyclic projections algorithm P Pinto arXiv preprint arXiv:2306.09791, 2023 | 1 | 2023 |
On Dykstra’s Algorithm with Bregman Projections P Pinto, N Pischke Mathematisches Forschungsinstitut Oberwolfach, 2024 | | 2024 |
NONEXPANSIVE MAPS IN NONLINEAR SMOOTH SPACES P PINTO | | 2023 |
Proof mining of a discussion by cases P Pinto Days in Logic 2020, 19, 2020 | | 2020 |
Mathematical Logic Webinar Proof mining on PDE theory P Pinto | | |
Some arguments in proof mining P Pinto | | |
On the elimination of arithmetical comprehension in proof mining (part 2) P Pinto | | |