MAGGESI, MARCO
MAGGESI, MARCO
Matematica e Informatica 'Ulisse Dini'
A certified proof of the Cartan Fixed Point Theorems
2011 Ciolli, Gianni; Gentili, Graziano; Maggesi, Marco
A formal proof of modal completeness for provability logic
2021 Marco Maggesi; Cosimo Perini Brogi
A formalisation of metric spaces in HOL Light
2015 Marco, Maggesi
A Formalization of Metric Spaces in HOL Light
2018 Marco Maggesi
A symbolic approach to abstract algebra in HOL Light
2015 Marco, Maggesi
Bicategories in Univalent Foundations
2019 Benedikt Ahrens, Dan Frumin, Marco maggesi, Niels van der Weide
Bicategories in univalent foundations
2022 Ahrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolò; van der Weide, Niels
Blockchain, criptovalute e contratti intelligenti
2023 Marco Maggesi; Gianni Ciolli
Extension and tangential CRF conditions in quaternionic analysis
2020 Marco Maggesi, Donato Pertici, Giuseppe Tomassini
Favorire la diffusione di WIMS in Italia
2007 Maggesi, Marco
Formalization of metric spaces in HOL Light
2014 Marco Maggesi
Formalization of Quaternionic Calculus in HOL Light
2014 Marco Maggesi
Formalizing basic quaternionic analysis
2017 Andrea Gabrielli; Marco Maggesi
High-level signatures and initial semantics
2018 Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
Higher-order theories
2007 André, Hirschowitz; Marco, Maggesi
Information technology implications for mathematics: a view from the French riviera
2004 Marco, Maggesi; Carlos, Simpson
Initial Semantics for Strengthened Signatures
2012 André Hirschowitz; Maggesi Marco
Matematica, l'esplosione continua ...
2015 Marco, Maggesi
Mechanising Godel-Lob Provability Logic in HOL Light
2023 Maggesi, M; Perini Brogi, Cosimo
Minimal resolution of general stable rank-2 vector bundles on P^2
2003 Dionisi, Carla; Maggesi, Marco