Kevin Buzzard

According to our database, Kevin Buzzard authored at least 6 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2025

Mathematical reasoning and the computer.

Kevin Buzzard

CoRR, February, 2025

2022

Schemes in Lean.

Kevin Buzzard, Chris Hughes, Kenny Lau, Amelia Livingston, Ramon Fernández Mir, Scott Morrison

Exp. Math., 2022

Mathematical Proof Between Generations.

Jonas Bayer, Christoph Benzmüller, Kevin Buzzard, Marco David, Leslie Lamport, Yuri V. Matiyasevich, Lawrence C. Paulson, Dierk Schleicher, Benedikt Stock, Efim I. Zelmanov

CoRR, 2022

2020

Formalising perfectoid spaces.

Kevin Buzzard, Johan Commelin, Patrick Massot

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2019

What Makes a Mathematician Tick? (Invited Talk).

Kevin Buzzard

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

2014

Playing Simple Loony Dots-and-Boxes Endgames Optimally.

Kevin Buzzard, Michael Ciere

Integers, 2014