Bruno Dinis

Contactos

Centro de Matemática, Apl. Fund. e Investigação Operacional

Sala/Gabinete C6.2.35
Ext. Principal 26277
Telefone Direto 217500535
Email bmdinis@ciencias.ulisboa.pt

Carreira Investigacao
Categoria Investigador Doutorado Contratado ao Abrigo do DL57

Indicadores

ResearcherID
Orcid


Interesses Científicos

Lógica Matemática, Teoria da Demonstração, Análise Não-Standard, Filosofia da Matemática.


Publicações selecionadas
  • Neutrices and external numbers: A exible number system (with I. van den Berg). Chapman and Hall/CRC. ISBN 9781498772679 - CAT # K29518 doi: https://doi.org/10.1201/9780429291456
  • A parametrised functional interpretation for Heyting arithmetic (with P. Oliva). Annals of Pure and Applied Logic 172:4 (2021) 102940. doi: 10.1016/j.apal.2020.102940
  • Quantitative results on the multi-parameters Proximal Point Algorithm (with P. Pinto). Journal of Convex Analysis 28:3 (2021), 24pp. https://www.heldermann.de/JCA/JCA28/JCA283/jca28041.htm
  • On the convergence of algorithms with Tikhonov regularization terms (with P. Pinto). Optimization Letters (2020) doi: 10.1007/s11590-020-01635-7.
  • Metastability of the proximal point algorithm with multi-parameters (with P. Pinto). Portugaliae Mathematica 77:3-4 (2020) 345-381 doi: 10.4171/PM/2054.

Ver todas as Publicações