素数判定
一般的な数に対する判定法 決定的素数判定法 試し割り法、エラトステネスの篩 最大公約数 ウィルソンの定理 Millerテスト - 多項式時間アルゴリズムだが、GRHのもとで正当性が示される。 Adleman–Pomerance–Rumely primality test(英語版) - 高速だが、多項式時間アルゴリズムではない。 ECPP AKS素数判定法 - 多項式時間アルゴリズム 確率的素数判定法 フェルマーテスト ソロベイ–シュトラッセンテスト ミラー–ラビン素数判定法
特殊な条件の数に対する判定法 Pocklingtonの判定法(英語版) - N = FR+1, F> sqrt(N), Fの素因数分解が既知の場合の判定法 リュカ・テスト - pが(4j + 3)型素数のメルセンヌ数に対する判定法 リュカ–レーマー・テスト - p が奇素数のメルセンヌ数に対する判定法 リュカ–レーマー–リーゼル・テスト
特殊な形の数に対する判定法 Prothの判定法(英語版) - プロス数に対する判定法 Pépinの判定法(英語版) - フェルマー数に対する判定法