- arXiv:math.CT/0506470v123Jun2005 FILES FOR GABRIEL-ZISMAN LOCALIZATION
- Settheoretical mathematics in Coq Carlos Simpson
- arXiv:math.CT/0110273 Some properties of the theory of n-categories
- arXiv:math.AG/0101223 Density of monodromy actions on non-abelian cohomology
- arXiv:1007.2884v1[math.CT]16Jul2010 SUR L'EXISTENCE D'UNE CATGORIE AYANT UNE
- arXiv:math/0612144v2[math.AG]2Feb2007 THE CHERN CHARACTER OF A PARABOLIC BUNDLE, AND A
- arXiv:math.AG/0006213 Nonabelian mixed Hodge structures
- Mathematical quotients and quotient types in Laurent Chicli 1;2 , Lo c Pottier 1 , Carlos Simpson 2
- The construction problem in Kahler geometry Carlos Simpson,
- arXiv:0806.0060v1[math.CT]31May2008 Sur l'existence d'une categorie ayant une
- Computer theorem proving in math Carlos Simpson
- The construction problem in Kahler geometry Carlos Simpson,
- arXiv:math.CT/0506470 FILES FOR GABRIEL-ZISMAN LOCALIZATION
- COMPUTER THEOREM PROVING IN MATH CARLOS SIMPSON
- COMPUTER THEOREM PROVING IN MATH CARLOS SIMPSON
- Espaces de modules de connexions sur P1 et l'algorithme de Katz
- arXiv:math.AG/0510269v113Oct2005 GEOMETRICITY OF THE HODGE FILTRATION ON THE -STACK OF
- arXiv:math.CT/0009107 Calculating maps between n-categories
- Asymptotics for general connexions at in nity Carlos Simpson
- arXiv:math.AG/0510269 GEOMETRICITY OF THE HODGE FILTRATION ON THE 1-STACK OF
- An experiment in writing formal mathematics Carlos Simpson
- COMPUTER THEOREM PROVING IN MATH CARLOS SIMPSON
- Universit NICE SOPHIA-ANTIPOLIS Laboratoire J. A. Dieudonn
- arXiv:math.CT/0506471 EXPLAINING GABRIEL-ZISMAN LOCALIZATION TO THE
- Asymptotics for general connexions at infinity Carlos Simpson
- FORMALIZED PROOF, COMPUTATION, AND THE CONSTRUCTION PROBLEM IN ALGEBRAIC GEOMETRY
- Information technology implications for mathematics---a view from the French riviera
- Set-theoretical mathematics in Coq Carlos Simpson
- OBSTRUCTED BUNDLES OF RANK TWO ON A QUINTIC NICOLE MESTRANO AND CARLOS SIMPSON
- arXiv:0707.0372v2[math.AG]4Jul2007 REGULATORS OF CANONICAL EXTENSIONS ARE TORSION: THE
- COMPUTER THEOREM PROVING IN MATH CARLOS SIMPSON
- The construction problem in K"ahler geometry Carlos Simpson,
- Set-theoretical mathematics in Coq Carlos Simpson
- arXiv:0710.2800v1[math.AG]15Oct2007 A weight two phenomenon for the moduli of rank one local
- arXiv:math.AG/0610526v225Oct2006 KATZ'S MIDDLE CONVOLUTION ALGORITHM
- Information technology implications for mathematics--a view from the French riviera
- Asymptotics for general connexions at infinity Carlos Simpson
- COMPUTER THEOREM PROVING IN MATH CARLOS SIMPSON
- Classification des catgories finies Samer Allouch
- arXiv:0904.0927v1[math.AG]6Apr2009 CALCULATING THE PARABOLIC CHERN CHARACTER OF A
- SEGAL ENRICHED CATEGORIES I HUGO V. BACARD
- Journee de Geometrie Algebrique Nice-G^enes 2007
- FORMALIZED PROOF, COMPUTATION, AND THE CONSTRUCTION PROBLEM IN ALGEBRAIC GEOMETRY
- Computer theorem proving in math Carlos Simpson
- arXiv:math/0603677v2[math.AG]5May2006 A RELATION BETWEEN THE PARABOLIC CHERN CHARACTERS
- arXiv:math/0510269v2[math.AG]29Apr2008 GEOMETRICITY OF THE HODGE FILTRATION ON THE
- arXiv:math.CT/0506471v123Jun2005 EXPLAINING GABRIEL-ZISMAN LOCALIZATION TO THE
- COMPUTER THEOREM PROVING IN MATH CARLOS SIMPSON
- Computer theorem proving in math Carlos Simpson
- UNIVERSIT E NICE-SOPHIA ANTIPOLIS -UFR SCIENCES Ecole Doctorale Sciences Fondamentales et Appliquees
- UNIVERSIT NICE SOPHIA-ANTIPOLIS -UFR Sciences cole Doctorale de Sciences Fondamentales et Appliques
