盧卡斯-萊默檢驗法

數學中 ， 盧卡斯 - 萊默檢驗法 （ Lucas – Lehmer primality test ） 是檢驗梅森數的素性檢驗 ， 是由愛德華 · 盧卡斯於1878年完善 ， 德里克 · 亨利 · 萊默隨後於1930年代將其改進 。 因特網梅森素數大搜索用這個檢驗法找到了不少很大的素數 ， 最近幾個最大的素數就是這個項目發現的 。 由於梅森數比隨機選擇的整數更有可能是素數 ， 因此他們認爲這是一個極有用的方法 。