Sfoglia per Autore
MP3(0,2d2) is singular
1996 Maggesi, Marco
Minimal resolution of general stable rank-2 vector bundles on P^2
2003 Dionisi, Carla; Maggesi, Marco
On the quantum cohomology of Fano bundles over projective spaces
2004 Ancona, Vincenzo; Maggesi, Marco
Modules over monads and typoids
2004 Marco, Maggesi; André, Hirschowitz
Information technology implications for mathematics: a view from the French riviera
2004 Marco, Maggesi; Carlos, Simpson
On the Quantum Cohomology of Some Fano Threefolds
2005 Vincenzo, Ancona; Maggesi, Marco
Verifica automatica del ragionamento matematico
2006 Maggesi, Marco; Simpson, Carlos
Higher-order theories
2007 André, Hirschowitz; Marco, Maggesi
Favorire la diffusione di WIMS in Italia
2007 Maggesi, Marco
Modules over Monads and Linearity
2007 Hirschowitz, André; Maggesi, Marco
Modules over Monads and Initial Semantics
2010 André, Hirschowitz; Maggesi, Marco
A certified proof of the Cartan Fixed Point Theorems
2011 Ciolli, Gianni; Gentili, Graziano; Maggesi, Marco
Initial Semantics for Strengthened Signatures
2012 André Hirschowitz; Maggesi Marco
Nested Abstract Syntax in Coq
2012 Maggesi, Marco; Hirschowitz, André
Formalization of Quaternionic Calculus in HOL Light
2014 Marco Maggesi
Formalization of metric spaces in HOL Light
2014 Marco Maggesi
A formalisation of metric spaces in HOL Light
2015 Marco, Maggesi
A symbolic approach to abstract algebra in HOL Light
2015 Marco, Maggesi
Matematica, l'esplosione continua ...
2015 Marco, Maggesi
Formalizing basic quaternionic analysis
2017 Andrea Gabrielli; Marco Maggesi
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile