English
url:
http://web.math.unifi.it/users/ciolli/scienza/pubblicazioni.html |
torna su | Home
page
Pubblicazioni e altri lavori
Alcune versioni preliminari dei lavori sono disponibili anche
sul server arxiv.org.
- Gianni Ciolli, Graziano Gentili, Marco Maggesi, A certified
proof of the Cartan Fixed Point Theorems, in corso di
pubblicazione sul Journal of Automated Reasoning, doi:10.1007/s10817-010-9198-6.
- Gianni Ciolli, Alberto Dolcetti, Classification of
Arithmetically Gorenstein divisors on some Fano varieties, Ann.
Mat. Pura Appl. (4) 188 (2009), no. 4, 611-617, link doi:10.1007/s10231-008-0092-3.
- Gianni Ciolli, Graziano Gentili, Marco Maggesi, a certified
proof of a theorem of Henry Cartan, teorema accettato il 13
August 2008 in HOL Light con il
nome FIRST_CARTAN_THEOREM
- Gianni Ciolli, Reconstruction theorems for Gromov-Witten
invariants, Bull. Sci. math. 134 (2010), no. 1, doi:10.1016/j.bulsci.2008.02.001.
- Gianni Ciolli, On the Quantum Cohomology of some Fano
Threefolds and a Conjecture of Dubrovin, Internat.
J. Math. 16 (2005), no. 8, 823839. MR MR2168069
- Gianni Ciolli, Computing the quantum cohomology of some Fano
threefolds and its semisimplicity, Boll. Unione Mat. Ital. Sez.
B Artic. Ric. Mat. (8) 7 (2004), no. 2, 511517. MR MR2072951
(2005h:14132)
- Gianni Ciolli, Leonardo Mihalcea, A Canonical Resolution of
the Singularities of a Triple Covering of Algebraic Surfaces,
Le Matematiche, Catania, n. 56, fasc. 2, pp. 281-296 (2003).
- Giovanni Baldini, Gianni Ciolli, Marco Maggesi, Algheme, a
commutative algebra package for the Scheme language,
liberamente disponibile in internet all'indirizzo http://sourceforge.net/projects/algheme/
- Paolo Dapporto, Annalisa Guerri, Paola Paoli, Patrizia Rossi,
Gianni Ciolli, The UTN program: Computing interconversion energy
between conformers in acyclic molecules, Firenze University
Press (2002), ISBN 88-8453-032-6, pubblicato in internet
all'indirizzo http://epress.unifi.it/online/utnp/
