64 citations · 473 across the 56 of their papers we have counts for
Showing 2003Show all
2 papers · 1 filter
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…
math.HO2003★ 5 cited
Computer theorem proving in math
Carlos T. Simpson
We give an overview of issues surrounding computer-verified theorem proving in the standard pure-mathematical context. This is based on my talk at the PQR conference (Brussels, Jun…