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;