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.
BSD License

Topics

Theories of Fermat3_4