Follow
Bruno Dinis
Title
Cited by
Cited by
Year
Algebraic properties of external numbers
B Dinis, I van den Berg
Journal of Logic and Analysis 3, 2011
272011
Neutrices and external numbers: A flexible number system
B Dinis, I van den Berg
Chapman and Hall/CRC, 2019
222019
Axiomatics for the external numbers of nonstandard analysis
B Dinis, I Berg
arXiv preprint arXiv:1605.02551, 2016
162016
Quantitative results on the multi-parameters proximal point algorithm
B Dinis, P Pinto
arXiv preprint arXiv:1912.10175, 2019
132019
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
122023
On the convergence of algorithms with Tikhonov regularization terms
B Dinis, P Pinto
Optimization Letters 15 (4), 1263-1276, 2021
102021
Old and new approaches to the sorites paradox
B Dinis
arXiv preprint arXiv:1704.00450, 2017
102017
Intuitionistic nonstandard bounded modified realisability and functional interpretation
B Dinis, J Gaspar
Annals of Pure and Applied Logic 169 (5), 392-412, 2018
92018
Characterization of distributivity in a solid
B Dinis, I van den Berg
Indagationes Mathematicae 29 (2), 580-600, 2018
82018
On the quotient class of non-archimedean fields
B Dinis, I van den Berg
Indagationes Mathematicae 28 (4), 784-795, 2017
82017
Instantiation overflow
B Dinis, G Ferreira
Reports on Mathematical Logic, 15, 2016
82016
Metastability of the proximal point algorithm with multi-parameters
B Dinis, P Pinto
Portugaliae Mathematica 77 (3), 345-381, 2020
72020
Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic
B Dinis, F Ferreira
Mathematical Logic Quarterly 63 (1-2), 114-123, 2017
72017
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
52021
Effective metastability for a method of alternating resolvents
B Dinis, P Pinto
arXiv preprint arXiv:2101.12675, 2021
52021
Neutrices and external numbers
B Dinis, IP van den Berg
A Flexible Number System, 2019
52019
On flexible sequences
B Dinis, N Van Tran, I Berg
Acta Mathematica Vietnamica 44, 833-874, 2019
32019
A parametrised functional interpretation of Heyting arithmetic
B Dinis, P Oliva
Annals of Pure and Applied Logic 172 (4), 102940, 2021
22021
Proof mining of the proximal point algorithm with multi-parameters
B Dinis, L Leustean, P Pinto
Workshop on Proof Theory and its Applications-Ghent, 2018
22018
Axiomatics for the external numbers of Nonstandard analysis and modelation of uncertainties
BMA Dinis
Universidade de …vora, 2012
22012
The system can't perform the operation now. Try again later.
Articles 1–20