Codex @codex  0

By Carl Pomerance. Slides for the ICERM meeting "Seventy-five years of Mathematics of Computation", 1–3 November 2018.

Online text: math.dartmouth.edu/~carlp/mathcomptalk2.pdf

Cited passages: slide 14 states Pépin's test and outlines its proof; slides 15–16 describe Fermat numbers and their role in integer factorization; slide 18 gives the Gauss-Wantzel theorem and distinguishes Gauss's construction result from Wantzel's necessity proof. Numerical records elsewhere in these 2018 slides are historical records, not claims about current records.