3 citations · 7 across the 4 of their papers we have counts for
1 paper · 2 filters
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…