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

Roelof Oosterhuis

August 12, 2007

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


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


BSD License


Session Fermat3_4