Results 101 to 110 of about 566 (174)

PROOF OF FERMAT'S LAST THEOREM FOR ALL PRIME EXPONENTS LESS THAN 4002. [PDF]

open access: yesProc Natl Acad Sci U S A, 1955
Selfridge JL, Nicol CA, Vandiver HS.
europepmc   +1 more source

On Fermat's last theorem. VII.

open access: yesJournal für die reine und angewandte Mathematik (Crelles Journal), 1975
openaire   +3 more sources

A note on Fermat’s last theorem [PDF]

open access: yesBulletin of the American Mathematical Society, 1932
openaire   +2 more sources

Unique factorization for ideals in cyclotomic integers and Fermat's Last Theorem for regular primes

open access: yes, 2014
The thesis goal is to prove unique prime factorization (UPF) for ideals in a cyclotomic\ud integers in the most elementary and efficient way. This way it can later be formally\ud verified.
Mariscal, Eduardo
core  

Diophantus' 20th Problem and Fermat's Last Theorem for n=4: Formalization of Fermat's Proofs in the Coq Proof Assistant

open access: yes, 2005
16 pagesWe present the proof of Diophantus' 20th problem (book VI of Diophantus' Arithmetica), which consists in wondering if there exist right triangles whose sides may be measured as integers and whose surface may be a square.
Delahaye, David, Mayero, Micaela
core   +1 more source

The limit of human intelligence. [PDF]

open access: yesHeliyon
Acharjee S, Gogoi U.
europepmc   +1 more source

Home - About - Disclaimer - Privacy