# Carlos Simpson

Office tel: 04 92 07 62 74 -
Dept fax: 04 93 51 79 74
email: carlos@math.unice.fr

Equipe de Géométrie Algébrique

Laboratoire J.-A. Dieudonné
( Annuaire)

Université de Nice - Sophia Antipolis,

Parc Valrose,

06108 Nice Cedex 02.

# Hey:

The
conference
in honor of André Hirschowitz's 61st birthday!
We are continuing in this tradition and in the tradition of the Cats1,2 conferences.
Alessandro Chiodo organized the
Journées orbifold in April 2006.
And we are organizing a workshop on
Higher stacks in algebraic geometry, May 15-19, 2006.

# Current interests:

Experimental work on functions in Zermelo-Fraenkel, automation, ...
(work in progress);

# Some recent papers and preprints:

*-Katz's middle convolution algorithm*
arxiv abstract--pdf,

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

*-Geometricity of the Hodge filtration on the infinity-stack of perfect complexes over X_DR*
ps,
pdf,

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

*-
Explaining Gabriel-Zisman localization to the computer
*
ps,
pdf

(see also *Files for Gabriel-Zisman localization*
ps,
pdf,
gzfiles.tar.gz)

*-Formalized proof, computation and the construction problem in algebraic geometry*
ps,
pdf (version revised for publication)

*-
Information technology implications for mathematics: a view from the French riviera*, joint with
Marco Maggesi (a very preliminary version in html format
or
ps
or
pdf
5 jul 04)

*-
Computer theorem proving in math*

*-Mathematical quotients and quotient types in Coq*, joint with

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

see also the
proof scripts which go with this paper;

*-Some properties of the theory of n-categories*
(arxiv ps file),
October 2001;

*-Density of monodromy actions on non-abelian cohomology*, joint with

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

*-Calculating maps between n-categories*
(arxiv ps file),
September 2000;

*-Nonabelian mixed Hodge structures*, joint with

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).

## Preprints in preliminary form:

*-Asymptotics for general connexions at infinity* (notes for my talk in
Toulouse)

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).

# Posted:

---to the electromagnetic bubble emanating from our planet:

*Waiting for Godel: the quantum nature of typical ambiguity *
(tex;
ps ).

# A thesis

Here is the thesis of
Regis Pellissier:
Categories
enrichies faibles---version of June 25th, 2002, warning: 333 pages.
Thesis director: Jean-Michel Lemaire.
Please contact Regis at rpelliss@math.unice.fr if you download
and look at his thesis.

Possibilities for
supervision
of doctoral work

Student work

Une page pour la Fete de la Science 2005

BACK to our
group
or the laboratory, or the university.

math.unice-bug

eq-per

European research network:EAGER;

French research network:
GAC;