- 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.
Bruno Dinis
Contactos
Centro de Matemática, Apl. Fund. e Investigação OperacionalSala/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
ResearcherIDOrcid
Interesses Científicos
Lógica Matemática, Teoria da Demonstração, Análise Não-Standard, Filosofia da Matemática.
Publicações selecionadas