-Seminatural bundles of rank two, degree one and c2 = 10 on a quintic surface ,

Kyoto Journal of Mathematics, Maruyama Volume, to appear,

joint with Nicole Mestrano.

-Fixed points and lines in 2-metric spaces, Advances in Mathematics, January 2012,

joint with Abdelkrim Aliouche.

-Foliations on the moduli space of rank two connections on the projective line minus four points,

Geometric and differential Galois theories, Séminaires et Congrès 27, 2012,

joint with Frank Loray and Masa-Hiko Saito.

-Homotopy Theory of Higher Categories,

Cambridge University Press, New Mathematical Monographs, October 2011.

-Variations of mixed Hodge structure attached to the deformation theory of a complex variation of Hodge structures,

JEMS, Volume 13, 2011, Arxiv version,

joint with Philippe Eyssidieux.

-Local systems on proper algebraic V-manifolds, PAMQ 7 (2011), 1675-1760, Eckart Viehweg's volume.

joint with Nicole Mestrano.

-Iterated destabilizing modifications for vector bundles with connection. Arxiv version, December 2008.

Contemporary Math 522, 2010 (Proceedings of the Ramanan Conference, Madrid, 2008).

in Augsburg proceedings.

joint with Jaya Iyer.

joint with Kevin Corlette, Compositio Math. 144 (2008), 1271-1331.

Proceedings of the Galligo conference, Theoretical Computer Science 392 (2008), 128-140.

joint with Jaya Iyer. In "Geometry and Dynamics of Groups and Spaces: in memory of Alexander Reznikov",

Progress in Mathematics 265, Birkhauser (2008).

joint with Jaya Iyer, Math. Annalen 338 (2007), no. 2, 347-383.

see also some notes for my talk in Paris, Feb. 1st, 2007.

see also the slides (in jpg images) for my talk at the Deligne conference in Princeton, Oct. 18th, 2005.

Updated version, 2008.

(see also

Laurent Chicli and Loic Pottier, version (ps) of November 2002,

see also the proof scripts which go with this paper;

Ludmil Katzarkov and Tony Pantev (arxiv ps file), January 2001;

Ludmil Katzarkov and Tony Pantev (arxiv ps file), June 2000;

for these and earlier preprints consult the xxx e-print archives (result of arxiv search).

Version 1 (24/09/03): ps, pdf, dvi, tex

*-The construction
problem in Kahler geometry*, to appear in English and in
Russian translation in the volume "Different Faces of Geometry",
International Mathematical
Series, third volume
Plenum/Kluwer,
Tamara Rozhkovskaya, publisher of the Russian translation; Eds.:
Mikhail Gromov, Simon K.Donaldson, Yakov Eliashberg.
If you download the paper
(ps,
pdf,
dvi,
tex),
please ask your library to purchase the book!

The Coq proof files which went
with the first version of "Computer theorem-proving in math"
are now bundled with a short note which also replaces one of the
chapters which
was removed in revision:

*Set-theoretical mathematics in Coq*
(tex,
ps,
pdf,
dvi),
math.LO/0402336.

See the
index file for the proof files (these come in a tar archive
in the
Arxiv version).