Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 35
Titolo Data di pubblicazione Autore(i) File
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
Mostrati risultati da 1 a 20 di 35
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