research
∙
07/02/2019
Formalizing the Solution to the Cap Set Problem
In 2016, Ellenberg and Gijswijt established a new upper bound on the siz...
share
research
∙
07/21/2017
