Algebraic properties of external numbers B Dinis, I van den Berg Journal of Logic and Analysis 3, 2011 | 27 | 2011 |
Neutrices and external numbers: A flexible number system B Dinis, I van den Berg Chapman and Hall/CRC, 2019 | 24 | 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 | 15 | 2023 |
Axiomatics for the external numbers of nonstandard analysis B Dinis, I Berg arXiv preprint arXiv:1605.02551, 2016 | 15 | 2016 |
Quantitative results on the multi-parameters proximal point algorithm B Dinis, P Pinto arXiv preprint arXiv:1912.10175, 2019 | 13 | 2019 |
On the convergence of algorithms with Tikhonov regularization terms B Dinis, P Pinto Optimization Letters 15 (4), 1263-1276, 2021 | 11 | 2021 |
Intuitionistic nonstandard bounded modified realisability and functional interpretation B Dinis, J Gaspar Annals of Pure and Applied Logic 169 (5), 392-412, 2018 | 10 | 2018 |
Old and new approaches to the sorites paradox B Dinis arXiv preprint arXiv:1704.00450, 2017 | 10 | 2017 |
Characterization of distributivity in a solid B Dinis, I van den Berg Indagationes Mathematicae 29 (2), 580-600, 2018 | 9 | 2018 |
On the quotient class of non-archimedean fields B Dinis, I van den Berg Indagationes Mathematicae 28 (4), 784-795, 2017 | 9 | 2017 |
Instantiation overflow B Dinis, G Ferreira Reports on Mathematical Logic, 15, 2016 | 8 | 2016 |
Fundamental group in o-minimal structures with definable Skolem functions B Dinis, MJ Edmundo, M Mamino Annals of Pure and Applied Logic 172 (8), 102975, 2021 | 7 | 2021 |
Metastability of the proximal point algorithm with multi-parameters B Dinis, P Pinto Portugaliae Mathematica 77 (3), 345-381, 2020 | 7 | 2020 |
Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic B Dinis, F Ferreira Mathematical Logic Quarterly 63 (1-2), 114-123, 2017 | 7 | 2017 |
Flexible involutive meadows E Bottazzi, B Dinis | 5 | 2023 |
Effective metastability for a method of alternating resolvents B Dinis, P Pinto arXiv preprint arXiv:2101.12675, 2021 | 5 | 2021 |
Neutrices and external numbers B Dinis, IP van den Berg Monogr. Res. Notes Math., CRC Press, Boca Raton, FL, 2019 | 4 | 2019 |
Strolling through common meadows J Dias, B Dinis Communications in Algebra, 1-28, 2024 | 3 | 2024 |
On flexible sequences B Dinis, N Van Tran, I Berg Acta Mathematica Vietnamica 44, 833-874, 2019 | 3 | 2019 |
Enumerating Finite Common Meadows J Dias, B Dinis arXiv preprint arXiv:2401.10631, 2024 | 2 | 2024 |