Ciolli, Gianni
4  Ergebnisse:
Personensuche X
?
 
?
2

A Certified Proof of the Cartan Fixed Point Theorems:

Ciolli, Gianni ; Gentili, Graziano ; Maggesi, Marco
Journal of Automated Reasoning.  47 (2010)  3 - p. 319-336 , 2010
 
?
3

Reconstruction theorems for Gromov–Witten invariants:

Ciolli, Gianni
Bulletin des Sciences Mathématiques.  134 (2010)  1 - p. 116-125 , 2010
 
?
4

Classification of arithmetically Gorenstein divisors on som..:

Ciolli, Gianni ; Dolcetti, Alberto
Annali di Matematica Pura ed Applicata.  188 (2008)  4 - p. 611-617 , 2008
 
1-4