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

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.