Schemes in Lean (2021)

First Author: Buzzard K
Attributed to:  The Langlands Programme - p-adic and geometric methods. funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1080/10586458.2021.1983489

Publication URI: http://dx.doi.org/10.1080/10586458.2021.1983489

Type: Journal Article/Review

Parent Publication: Experimental Mathematics

Issue: 2