Avançar para o conteúdo principal

Bruno Miguel Antunes Dinis

Prof. Auxiliar (Departamento de Matemática)

Contrato Trabalho Funções Públicas por tempo indeterminado

Fotografia
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

Dinis,B., Pinto,P. Effective metastability for a method of alternating resolvents, Fixed Point Theory, 25 (2024), No. 1, 61-98, DOI: 10.24193/fpt-ro.2024.1.05
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

* 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É.



Eu Sou
Espaço onde poderá selecionar o perfil de acesso que mais se adequa à sua situação.
Candidato UÉ
Oferta Formativa, Conhecer a UÉ, Candidaturas, Apoios Sociais e Documentação Útil
Estudante UÉ
Calendário Escolar, Oportunidades a não perder, Programas de Mobilidade e Atividades Académicas
Docente e Investigador
Unidades de I&D, Notícias em Destaque, Projetos de Investigação, Atividades em desenvolvimento e Conferências
Alumni
Família UÉ, Atividades Alumni, Testemunhos, Prémios Carreira e Eventos de interesse
Empresa
Submissão de Ofertas de Estágios e Emprego, Prestação de Serviços e Eventos no âmbito empresarial
Eu Quero
Espaço onde poderá selecionar um link rápido, de uma ação que pretende realizar