2 code implementations • 4 Feb 2021 • Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio Mortarino Majno di Capriglio
Dedekind domains and their class groups are notions in commutative algebra that are essential in algebraic number theory.
Logic in Computer Science Number Theory 68V20, 68V15, 11R29
no code implementations • 2 Jul 2019 • 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 $\mathbb{F}^n_q$ with no three-term arithmetic progression.
Logic in Computer Science Combinatorics
