关注
Bruno Dinis
标题
引用次数
引用次数
年份
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
242019
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
152023
Axiomatics for the external numbers of nonstandard analysis
B Dinis, I Berg
arXiv preprint arXiv:1605.02551, 2016
152016
Quantitative results on the multi-parameters proximal point algorithm
B Dinis, P Pinto
arXiv preprint arXiv:1912.10175, 2019
132019
On the convergence of algorithms with Tikhonov regularization terms
B Dinis, P Pinto
Optimization Letters 15 (4), 1263-1276, 2021
112021
Intuitionistic nonstandard bounded modified realisability and functional interpretation
B Dinis, J Gaspar
Annals of Pure and Applied Logic 169 (5), 392-412, 2018
102018
Old and new approaches to the sorites paradox
B Dinis
arXiv preprint arXiv:1704.00450, 2017
102017
Characterization of distributivity in a solid
B Dinis, I van den Berg
Indagationes Mathematicae 29 (2), 580-600, 2018
92018
On the quotient class of non-archimedean fields
B Dinis, I van den Berg
Indagationes Mathematicae 28 (4), 784-795, 2017
92017
Instantiation overflow
B Dinis, G Ferreira
Reports on Mathematical Logic, 15, 2016
82016
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
72021
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
Flexible involutive meadows
E Bottazzi, B Dinis
52023
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
Monogr. Res. Notes Math., CRC Press, Boca Raton, FL, 2019
42019
Strolling through common meadows
J Dias, B Dinis
Communications in Algebra, 1-28, 2024
32024
On flexible sequences
B Dinis, N Van Tran, I Berg
Acta Mathematica Vietnamica 44, 833-874, 2019
32019
Enumerating Finite Common Meadows
J Dias, B Dinis
arXiv preprint arXiv:2401.10631, 2024
22024
系统目前无法执行此操作,请稍后再试。
文章 1–20