Schemes in Lean
Schemes in Lean
复制标题
精益计划
DOI：
10.1080/10586458.2021.1983489
复制
发表时间：
2021
影响因子：
0.5
通讯作者：
Buzzard K
中科院分区：
文献类型：
--
作者：
Buzzard K
我们将在精益定理证明中讲述方案如何以三种不同的方式形式化的故事。
We tell the story of how schemes were formalized in three different ways in the Lean theorem prover.
代数几何基础。（美国数学学会学术讨论会出版物，第 XXIX 卷）André Weil，纽约：美国数学学会，1946 年。第 xix 页 + 289 美元。
影响因子：
56.9
作者：
W. Hodge
通讯作者：
W. Hodge