PROOF OF FERMAT'S LAST THEOREM FOR ALL PRIME EXPONENTS LESS THAN 4002. [PDF]
Proc Natl Acad Sci U S A, 1955 Selfridge JL, Nicol CA, Vandiver HS.
europepmc +1 more source
SOME ASPECTS OF THE FERMAT PROBLEM (FIRST PAPER). [PDF]
Proc Natl Acad Sci U S A, 1961 Vandiver HS.
europepmc +1 more source
RELATION OF THE THEORY OF CERTAIN TRINOMIAL EQUATIONS IN A FINITE FIELD TO FERMAT'S LAST THEOREM. [PDF]
Proc Natl Acad Sci U S A, 1955 Vandiver HS.
europepmc +1 more source
AN APPLICATION OF HIGH-SPEED COMPUTING TO FERMAT'S LAST THEOREM. [PDF]
Proc Natl Acad Sci U S A, 1954 Lehmer DH, Lehmer E, Vandiver HS.
europepmc +1 more source
THE RAPID COMPUTING MACHINE AS AN INSTRUMENT IN THE DISCOVERY OF NEW RELATIONS IN THE THEORY OF NUMBERS. [PDF]
Proc Natl Acad Sci U S A, 1958 Vandiver HS.
europepmc +1 more source
On Trinomial Congruences and Fermat's Last Theorem. [PDF]
Proc Natl Acad Sci U S A, 1944 Vandiver HS.
europepmc +1 more source
THE RELATION OF SOME DATA OBTAINED FROM RAPID COMPUTING MACHINES TO THE THEORY OF CYCLOTOMIC FIELDS. [PDF]
Proc Natl Acad Sci U S A, 1954 Vandiver HS.
europepmc +1 more source
Certain Congruence Criteria Connected with Fermat's Last Theorem. [PDF]
Proc Natl Acad Sci U S A, 1942 Vandiver HS.
europepmc +1 more source
Some Theorems in Finite Field Theory with Applications to Fermat's Last Theorem. [PDF]
Proc Natl Acad Sci U S A, 1944 Vandiver HS.
europepmc +1 more source
ON THE USE OF ABSTRACT ALGEBRA AS A METHOD FOR OBTAINING RESULTS INVOLVING RATIONAL INTEGERS ONLY AND THE REVERSE OF THIS PROCEDURE. [PDF]
Proc Natl Acad Sci U S A, 1960 Vandiver HS.
europepmc +1 more source