Title:		Exponents 3 and 4 of Fermat's last theorem and the parametrisation of Pythagorean Triples <br>
Author:		Roelof Oosterhuis [roelofoosterhuis at gmail.com], University of Groningen, 2007 <br>
Maintainer:	Roelof Oosterhuis [roelofoosterhuis at gmail.com] <br>
Abstract:	This document presents the mechanised proofs of <ul><li>exponents 3 and 4 of Fermat's Last Theorem;</li><li>the parametrisation of Pythagorean Triples</li></ul>More information: see <a href ="http://www.roelofoosterhuis.nl/MScthesis.pdf">http://www.roelofoosterhuis.nl/MScthesis.pdf</a>