Johan Commelin | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Robert Y. Lewis
9 publications
Kevin Buzzard
2 publications
Patrick Massot
2 publications

research

∙ 10/06/2020

Formalizing the Ring of Witt Vectors

The ring of Witt vectors 𝕎 R over a base ring R is an important tool in ...

0 Johan Commelin, et al. ∙

research

∙ 10/27/2019

Formalising perfectoid spaces

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

0 Kevin Buzzard, et al. ∙