15 citations · 42 across the 8 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019★ 8 cited
A formal proof of Hensel's lemma over the p-adic integers
Robert Y. Lewis
The field of -adic numbers and the ring of -adic integers are essential constructions of modern number theory. Hensel's lemma, described by Gouv…
cs.LO2019★ 2 cited
Formalizing the Solution to the Cap Set Problem
Sander R. Dahmen, Johannes Hölzl, Robert Y. Lewis
In 2016, Ellenberg and Gijswijt established a new upper bound on the size of subsets of with no three-term arithmetic progression. This problem has received much m…