Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Kevin Buzzard
Map detail
Kevin Buzzard13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipKevin BuzzardAKevin BuzzardResearcherSchemes in LeanWSchemes in Leanpreprint / 2022What is the point of computers? A question for pure mathematiciansWWhat is the point of co...preprint / 2022Formalising perfectoid spacesWFormalising perfectoid ...preprint / 2020Explicit reduction modulo $p$ of certain crystalline representationsWExplicit reduction modu...preprint / 2010Potential modularity---a surveyWPotential modularity---...preprint / 2011Playing simple loony dots and boxes endgames optimallyWPlaying simple loony do...preprint / 2014The conjectural connections between automorphic representations and Galois representationsWThe conjectural connect...preprint / 2015Stably uniform affinoids are sheafyWStably uniform affinoid...preprint / 2015Slopes of modular formsWSlopes of modular formspreprint / 2016Explicit reduction modulo p of certain 2-dimensional crystalline representations, IIWExplicit reduction modu...preprint / 2016A computation of modular forms of weight one and small levelWA computation of modula...preprint / 2016Computing weight one modular forms over $\C$ and $\Fpbar$WComputing weight one mo...preprint / 2016
Person12 links

Kevin Buzzard

Researcher