3 citations · 4 across the 3 of their papers we have counts for
Showing math.AGShow all
2 papers · 1 filter
math.AG2004★ 3 cited
Formalized proof, computation, and the construction problem in algebraic geometry
Carlos T. Simpson
An informal discussion of how the construction problem in algebraic geometry motivates the search for formal proof methods. Also includes a brief discussion of my own progress up t…
math.AG2003★ 3 cited
Asymptotics for general connections at infinity
Carlos T. Simpson
For a standard path of connections going to a generic point at infinity in the moduli space of connections on a compact Riemann surface, we show that the Laplace transform…