New Congruences for the Bernoulli Numbers

Abstract
We prove a new congruence for computing Bernoulli numbers modulo a prime. Since it is similar to Vandiver’s congruences but has fewer terms, it may be used to test primes for regularity efficiently. We have programmed this test on a CYBER 205 computer. Fermat’s "Last Theorem" has been proved for all exponents up to 150000.

This publication has 3 references indexed in Scilit: