卢卡斯-莱默检验法 数学中卢卡斯莱默检验法英語LucasLehmer primality test是检验梅森数的素性检验是由爱德华卢卡斯于年完善德里克亨利莱默随后于年代将其改进 因特网梅森素数大搜索用这个检验法找到了不少很大的素数最近几个最大的素数就是这个项目发现的由于梅森数比随机选择的整数更有可能是素数因此他们认为这是一个极有用的方法