3 citations · 4 across the 3 of their papers we have counts for
3 papers
math.CT2005
Explaining Gabriel-Zisman localization to the computer
Carlos T. Simpson
This explains a computer formulation of Gabriel-Zisman localization of categories in the proof assistant Coq. It includes both the general localization construction with the proof…
math.CT2005★ 1 cited
Files for Gabriel-Zisman localization
Carlos T. Simpson
This preprint contains the Coq proof files for Gabriel-Zisman localization, bundled with the source. The text of this preprint consists of the definitions and lemma statements of t…
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…