Simpson, Carlos Learning proofs for the classification of nilpotent semigroups. arXiv:2106.03015 Preprint, arXiv:2106.03015 [cs.LG] (2021). MSC: 68T15 20M10 03F07 03B35 BibTeX Cite \textit{C. Simpson}, ``Learning proofs for the classification of nilpotent semigroups'', Preprint, arXiv:2106.03015 [cs.LG] (2021) Full Text: arXiv OA License
Maggesi, Marco; Simpson, Carlos Computer verification of mathematical reasoning. (Italian) Zbl 1195.03018 Boll. Unione Mat. Ital., Sez. A, Mat. Soc. Cult. (8) 9, No. 3, Part 1, 361-389 (2006). MSC: 03B35 68T15 PDFBibTeX XMLCite \textit{M. Maggesi} and \textit{C. Simpson}, Boll. Unione Mat. Ital., Sez. A, Mat. Soc. Cult. (8) 9, No. 3, Part 1, 361--389 (2006; Zbl 1195.03018)
Simpson, Carlos Explaining Gabriel-Zisman localization to the computer. (English) Zbl 1107.68102 J. Autom. Reasoning 36, No. 3, 259-285 (2006). MSC: 68T15 18E35 PDFBibTeX XMLCite \textit{C. Simpson}, J. Autom. Reasoning 36, No. 3, 259--285 (2006; Zbl 1107.68102) Full Text: DOI arXiv
Simpson, Carlos Computer theorem proving in mathematics. (English) Zbl 1067.03020 Lett. Math. Phys. 69, Spec. Iss., 287-315 (2004). Reviewer: Alfredo Burrieza Muñiz (Málaga) MSC: 03B35 68T15 68-02 PDFBibTeX XMLCite \textit{C. Simpson}, Lett. Math. Phys. 69, 287--315 (2004; Zbl 1067.03020) Full Text: DOI arXiv
Chicli, Laurent; Pottier, Loïc; Simpson, Carlos Mathematical quotients and quotient types in Coq. (English) Zbl 1023.03534 Geuvers, Herman (ed.) et al., Types for proofs and programs. International workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 2646, 95-107 (2003). MSC: 03B70 68Q60 03F35 68T15 03E25 PDFBibTeX XMLCite \textit{L. Chicli} et al., Lect. Notes Comput. Sci. 2646, 95--107 (2003; Zbl 1023.03534) Full Text: Link