Publications

BibTex format

@article{Buzzard:2021:10.1080/10586458.2021.1983489,
author = {Buzzard, K and Hughes, C and Lau, K and Livingston, A and Mir, RF and Morrison, S},
doi = {10.1080/10586458.2021.1983489},
journal = {Experimental Mathematics},
pages = {355--363},
title = {Schemes in Lean},
url = {http://dx.doi.org/10.1080/10586458.2021.1983489},
volume = {31},
year = {2021}
}

Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - We tell the story of how schemes were formalized in three different ways in the Lean theorem prover.
AU  - Buzzard,K
AU  - Hughes,C
AU  - Lau,K
AU  - Livingston,A
AU  - Mir,RF
AU  - Morrison,S
DO  - 10.1080/10586458.2021.1983489
EP  - 363
PY  - 2021///
SN  - 1058-6458
SP  - 355
TI  - Schemes in Lean
T2  - Experimental Mathematics
UR  - http://dx.doi.org/10.1080/10586458.2021.1983489
UR  - https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000722517700001&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=a2bf6146997ec60c407a63945d4e92bb
UR  - https://www.tandfonline.com/doi/full/10.1080/10586458.2021.1983489
UR  - http://hdl.handle.net/10044/1/100952
VL  - 31
ER  -

Download

ProfessorKevinBuzzard

Contact

Location

Summary

Citation

BibTex format

RIS format (EndNote, RefMan)