1 paper
William Hart, David Harvey, Wilson Ong
We compute all irregular primes less than 2^31 = 2 147 483 648. We verify the Kummer-Vandiver conjecture for each of these primes, and we check that the p-part of the class group o…