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

Title:	Fermat's Last Theorem for Exponents 3 and 4 and the Parametrisation of Pythagorean Triples
Author:	Roelof Oosterhuis
Submission date:	2007-08-12
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

Proof outline Proof document

Browse theories

Download this entry

Older releases: Isabelle 2011: afp-Fermat3_4-2011-02-11.tar.gz Isabelle 2009-2: afp-Fermat3_4-2010-06-30.tar.gz Isabelle 2009-1: afp-Fermat3_4-2009-12-12.tar.gz Isabelle 2009: afp-Fermat3_4-2009-04-29.tar.gz Isabelle 2008: afp-Fermat3_4-2008-06-10.tar.gz Isabelle 2007: afp-Fermat3_4-2007-11-27.tar.gz