Bruno Miguel Antunes Dinis
Assistant Professor (Department of Mathematics)

Employment contract in public functions indefinitely

https://www.cienciavitae.pt//pt/3E1F-A94E-D147

Academic Training

      
		Doctoral Degree: Matemática e Aplicações (Universidade de Évora - 2013)
          
		Bachelor's Degree: Matemática e Ciências da Computação (Universidade de Évora - 2005)

Positions/Units

  Department of Mathematics Assembly (Member)

  CIMA - Research Centre for Mathematics and Applications (Integrated Member with doctorate)

  Comissão de Curso da Licenciatura em Matemática (Deputy)

Domains/Specializations

Matemática

Interests

Lógica Matemática; Teoria da Demonstração; Proof Mining; Análise Não-standard; Filosofia da Matemática

Other Affiliations

CIMA; CMAFcIO

Publications

    Assemblies as Semigroups
  
    http://hdl.handle.net/10174/36610
  
    Ulderico Dardano, Bruno Dinis, Giuseppina Terzo,
Assemblies as semigroups,
Examples and Counterexamples,
Volume 5,
2024,
100143,
ISSN 2666-657X,
https://doi.org/10.1016/j.exco.2024.100143.
  
    Effective Metastability for a Method of Alternating Resolvents
  
    http://hdl.handle.net/10174/36527
  
    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
  
    Stateful Realizers for Nonstandard Analysis
  
    http://hdl.handle.net/10174/35335
  
    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
  
    Hardwiring truth in functional interpretations
  
    http://hdl.handle.net/10174/35334
  
    Bruno Dinis, Jaime Gaspar, Hardwiring truth in functional interpretations. Port. Math. 80 (2023), no. 1/2, pp. 81-105
  
    Strong convergence for the alternating Halpern-Mann iteration in CATp0q spaces
  
    http://hdl.handle.net/10174/35325
  
    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
  
    Equality and near-equality in a nonstandard world
  
    http://hdl.handle.net/10174/33642
  
    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.
  
    Neutrices and External Numbers A Flexible Number System
  
    http://hdl.handle.net/10174/31526
  
    Characterization of distributivity in a solid
  
    http://hdl.handle.net/10174/24530
  
    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.
  
    On the quotient class of non-archimedean fields
  
    http://hdl.handle.net/10174/24539
  
    Bruno Dinis, Imme van den Berg, On the quotient class of non-archimedean fields, Indagationes Mathematicae, 28 (4) (2017, 784-795
  
    Axiomatics for the externa lnumbers of nonstandardanalysis
  
    http://hdl.handle.net/10174/24533
  
    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
  
    Axiomatics for the external numbers of Nonstandard analysis and modelation of uncertainties
  
    http://hdl.handle.net/10174/16194
  
    Algebraic properties of external numbers
  
    http://hdl.handle.net/10174/3699
  
    Journal of Logic & Analysis 3:9 (2011) 1-30

* For more publications, perform a search by author name on Digital Repository of Scientific Publications of UÉ.

Back

Bruno Miguel Antunes Dinis Assistant Professor (Department of Mathematics) Employment contract in public functions indefinitely

Política de Cookies

Bruno Miguel Antunes Dinis
Assistant Professor (Department of Mathematics)

Employment contract in public functions indefinitely