リュカ–レーマー–リーゼル・テスト
リュカ–レーマー–リーゼル・テスト（、またはLLRテスト）とは、数学の特に数論において、（ただし は を満たす奇数）という形の正整数に対する素数判定法である。この判定法はリュカ–レーマー・テストに基づいてハンス・リーゼルにより開発された。第2項の符号が異なる （プロス数）に対しては、に基づくラスベガス法や Brillhart–Lehmer–Selfridgeの結果に基づく決定的アルゴリズムが用いられる。