Wagstaff 的計算主要是依賴Vandiver 在Fermat 問題的成果。 判斷p 是不是一個規則質數,Vandiver 有一個關於Bernoilli 數的恆等式。 這個恆等式很容易利用計算機檢查。
確定! 回上一頁