# 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 ofFermat's Last Theorem for exponents 3 and 4 andthe parametrisation of Pythagorean Triples. BibTeX: @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 = aug, year = 2007, note = {\url{http://isa-afp.org/entries/Fermat3_4.html}, Formal proof development}, ISSN = {2150-914x}, } License: BSD License