email: carlos.simpson@univ-cotedazur.fr (previous carlos@unice.fr still works)
Equipe AGT
Laboratoire J.-A.
Dieudonné
Université Côte d'Azur,
Parc Valrose,
06108 Nice Cedex 02.
3ia Côte
d'Azur ---
Core
elements of AI
( séminaire GA) (GRR) ( Annuaire)
AI for mathematical structures
Moduli of vector bundles with small Chern class on a surface
Computer verification of mathematical proofs