Kevin Buzzard | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Christoph Benzmüller
37 publications
Dierk Schleicher
3 publications
Jonas Bayer
3 publications
Lawrence Paulson
3 publications
Benedikt Stock
3 publications
Marco David
3 publications
Johan Commelin
2 publications
Patrick Massot
2 publications
Leslie Lamport
2 publications
Efim Zelmanov
1 publication
Yuri Matiyasevich
1 publication

research

∙ 07/08/2022

Mathematical Proof Between Generations

A proof is one of the most important concepts of mathematics. However, t...

0 Jonas Bayer, et al. ∙

research

∙ 10/27/2019

Formalising perfectoid spaces

Perfectoid spaces are sophisticated objects in arithmetic geometry intro...

0 Kevin Buzzard, et al. ∙