Kevin Buzzard

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 5

Top Topics

Topological Spaces

Mathematical Knowledge

Automated Theorem Provers

Top Venues

Publications

Kevin Buzzard, Chris Hughes, Kenny Lau, Amelia Livingston, Ramon Fernández Mir, Scott Morrison
Schemes in Lean. Exp. Math. 31 (2) (2022)
Jonas Bayer, Christoph Benzmüller, Kevin Buzzard, Marco David, Leslie Lamport, Yuri V. Matiyasevich, Lawrence C. Paulson, Dierk Schleicher, Benedikt Stock, Efim I. Zelmanov
Mathematical Proof Between Generations. CoRR (2022)
Kevin Buzzard, Johan Commelin, Patrick Massot
Formalising perfectoid spaces. CPP (2020)
Kevin Buzzard, Johan Commelin, Patrick Massot
Formalising perfectoid spaces. CoRR (2019)
Kevin Buzzard
What Makes a Mathematician Tick? (Invited Talk). ITP (2019)
Kevin Buzzard, Michael Ciere
Playing Simple Loony Dots-and-Boxes Endgames Optimally. Integers 14 (2014)