Fermat's Last Theorem for Exponents 3 and 4 and the Parametrisation of Pythagorean Triples

Roelof Oosterhuis

August 12, 2007

Abstract

This document presents the mechanised proofs of
  • Fermat's Last Theorem for exponents 3 and 4 and
  • the parametrisation of Pythagorean Triples.

License

BSD License

Topics

Session Fermat3_4

Cite

× 
@article{Fermat3_4-AFP,
  author  = {Roelof Oosterhuis},
  title   = {Fermat's Last Theorem for Exponents 3 and 4 and the Parametrisation of Pythagorean Triples},
  journal = {Archive of Formal Proofs},
  month   = {August},
  year    = {2007},
  note    = {\url{https://isa-afp.org/entries/Fermat3_4.html},
             Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest

Older releases:

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy