Bruno Dinis

Available identifiers

zbMath Open dinis.brunoMaRDI QIDQ1705750

List of research outcomes

Publication	Date of Publication	Type
Strolling through common meadows	2023-11-09	Paper
Assemblies as Semigroups	2023-09-20	Paper
Flexible involutive meadows	2023-09-03	Paper
Stateful Realizers for Nonstandard Analysis	2023-08-26	Paper
Equality and Near-Equality in a Nonstandard World	2023-07-03	Paper
Strong Convergence for the Alternating Halpern–Mann Iteration in CAT(0) Spaces	2023-06-22	Paper
Hardwiring truth in functional interpretations	2023-05-26	Paper
On definable Skolem functions and trichotomy	2022-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q5026396	2022-02-08	Paper
Metastability of the proximal point algorithm with multi-parameters	2021-07-30	Paper
Fundamental group in o-minimal structures with definable Skolem functions	2021-06-14	Paper
A parametrised functional interpretation of Heyting arithmetic	2021-03-25	Paper
Effective metastability for a method of alternating resolvents	2021-01-29	Paper
On the convergence of algorithms with Tikhonov regularization terms	2020-05-14	Paper
Quantitative results on the multi-parameters Proximal Point Algorithm	2019-12-19	Paper
On flexible sequences	2019-11-19	Paper
Metastability of the proximal point algorithm with multi-parameters	2019-06-21	Paper
Neutrices and External Numbers	2019-06-07	Paper
Fundamental group in o-minimal structures with definable Skolem functions	2018-07-25	Paper
Intuitionistic nonstandard bounded modified realisability and functional interpretation	2018-03-21	Paper
Characterization of distributivity in a solid	2018-03-16	Paper
Axiomatics for the external numbers of nonstandard analysis	2018-01-15	Paper
On the quotient class of non-Archimedean fields	2017-08-01	Paper
https://portal.mardi4nfdi.de/entity/Q2971275	2017-04-04	Paper
Old and new approaches to the Sorites paradox	2017-04-03	Paper
Algebraic properties of external numbers	2012-12-17	Paper
Enumerating Finite Common Meadows	0001-01-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Bruno Dinis