Profile
Teaching
Teaching activity
Teaching responsibility for modules/courses
- Logica matematica (cod. 064AA) per Laurea in Matematica
Insegnamenti condivisi/mutuati:- Logica matematica (cod. 064AA) - Laurea Magistrale in Matematica
- Matematica ed elementi di statistica (cod. 805AA) per Laurea Magistrale Ciclo Unico 5 anni in Chimica e tecnologia farmaceutiche
Incarichi di co-docenza in moduli/insegnamenti
- Geometria (Cod. 431AA) per Laurea Magistrale Ciclo Unico 5 anni in Ingegneria edile-architettura
- Analisi Matematica (Cod. 679AA) per Laurea Magistrale Ciclo Unico 5 anni in Ingegneria edile-architettura
Student consultation hours
Mode of office hours:
Location: Dipartimento di matematica, studio 122
Time: Venerdi' ore 15:00-16:00
Research
Publications
- Groups definable in two orthogonal sorts (Berarducci, Alessandro; Mamino, M. - 9999 - 1.1 Articolo in rivista)
- Vector spaces with a union of independent subspaces (Berarducci, Alessandro; Mamino, Marcello; Mennuni, Rosario - 2024 - 1.1 Articolo in rivista)
- Orthogonal decomposition of definable groups (Berarducci, Alessandro; Eleftheriou, Pantelis E.; Mamino, Marcello - 2024 - 1.1 Articolo in rivista)
- Provability logic: models within models in Peano Arithmetic (Berarducci, A; Mamino, M - 2023 - 1.1 Articolo in rivista)
- Provability logic: models within models in Peano Arithmetic (Berarducci, A; Mamino, M - 2023 - 1.1 Articolo in rivista)
- One Lie Group to Define Them All (Conversano, Annalisa; Mamino, Marcello - 2022 - 1.1 Articolo in rivista)
- Asymptotic analysis of Skolem's exponential functions (Berarducci, Alessandro; Mamino, Marcello - 2022 - 1.1 Articolo in rivista)
- Fundamental group in o-minimal structures with definable Skolem functions (Dinis, B.; Edmundo, M. J.; Mamino, M. - 2021 - 1.1 Articolo in rivista)
- Piecewise Linear Valued CSPs Solvable by Linear Programming Relaxation (Bodirsky, M.; Mamino, M.; Viola, C. - 2021 - 1.1 Articolo in rivista)
- The complexity of disjunctive linear diophantine constraints (Bodirsky, M.; Martin, B.; Mamino, M.; Mottet, A. - 2018 - 4.1 Contributo in Atti di convegno)