Bruno Miguel Antunes Dinis
Prof. Auxiliar (Departamento de Matemática)
Contrato Trabalho Funções Públicas por tempo indeterminado
Doutoramento: Matemática e Aplicações (Universidade de Évora - 2013)
Licenciatura: Matemática e Ciências da Computação (Universidade de Évora - 2005)
Comissão de Curso da Licenciatura em Matemática (Adjunto)
Matemática
Lógica Matemática; Teoria da Demonstração; Proof Mining; Análise Não-standard; Filosofia da Matemática
CIMA; CMAFcIO
Bruno Dinis ; Étienne Miquey - Stateful Realizers for Nonstandard Analysis
lmcs:10137 - Logical Methods in Computer Science, April 25, 2023, Volume 19, Issue 2 - https://doi.org/10.46298/lmcs-19(2:7)2023
Bruno Dinis, Jaime Gaspar, Hardwiring truth in functional interpretations. Port. Math. 80 (2023), no. 1/2, pp. 81-105
Bruno Dinis, Pedro Pinto, (2023). Strong Convergence for the Alternating Halpern-Mann Iteration in CAT(0) Spaces. SIAM Journal on Optimization, 33, 785-815. ISSN 1052-6234. eISSN . http://dx.doi.org/10.1137/22M1511199
DINIS, Bruno. Equality and Near-Equality in a Nonstandard World. Logic and Logical Philosophy [online]. 21 May 2022, s. 1-14. DOI 10.12775/LLP.2022.018.
Bruno Dinis, Imme van den Berg, Characterization of distributivity in a solid, Indagationes Mathematicae, Volume 29, Issue 2, April 2018, Pages 580-600 https://doi.org/10.1016/j.indag.2017.10.008.
Bruno Dinis, Imme van den Berg, On the quotient class of non-archimedean fields, Indagationes Mathematicae, 28 (4) (2017, 784-795
Bruno Dinis, Axiomatics for the externa lnumbers of nonstandardanalysis Imme van den Berg, Journal of Logic & Analysis 9:7 (2017) 1-47 ISSN 1759-9008
Journal of Logic & Analysis 3:9 (2011) 1-30
* Principais publicações selecionadas pelo autor. Para obter mais publicações realize uma pesquisa por nome de autor no Repositório Digital de Publicações Científicas da UÉ.