Bruno Dinis

(Em Ciências até Fevereiro de 2022)

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 flexible 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.

Ciências ULisboa