Italiano
url:
http://web.math.unifi.it/users/ciolli/scienza/pubblicazioni.en.html
| level up | Home
page
Publications and other works
Preliminary versions of some papers might be available also on
arxiv.org.
- Gianni Ciolli, Graziano Gentili, Marco Maggesi, A certified
proof of the Cartan Fixed Point Theorems, Journal of Automated
Reasoning (in press), 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, theorem accepted on 13th
August 2008 in HOL Light under the
name 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, freely
available on the internet at 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, published in the internet at the
address http://epress.unifi.it/online/utnp/
