The procedures of Pratt and Atkin-Goldwater-Kilian-Morain certify them.
The procedures of Pratt and Atkin-Goldwater-Kilian-Morain certify them. AKS and Lucas-Lehmer are deterministic tests for them, while Miller's test is probabilistic, meaning it can also detect their pseudo-counterparts. Shanks and Cunningham are chains of them, and ones in a Cunningham chain of the first kind are the Sophie Germain type. Ones that divide the class number of a cyclotomic field generated by e to the 2-pi-i over themselves are irregular, and odd irregular ones also divide the numerator of certain Bernoulli numbers, while Ferrier's was the largest one known before the advent of electronic computers. For 10 points, name this class of numbers, all of which greater than four are the sum of two others, by the strong Goldbach conjecture; and which may only be factored by one and themselves.
The procedures of Pratt and Atkin-Goldwater-Kilian-Morain certify them.
{prime}s or {prime} numbers