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 ...
research
∙
10/27/2019
Use your Google Account to sign in to DeepAI