Title:		Sums of two and four squares<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 the following results:<ul><li>any prime number of the form 4m+1 can be written as the sum of two squares;</li><li>any natural number can be written as the sum of four squares</li></ul>More information: see <a href ="http://www.roelofoosterhuis.nl/MScthesis.pdf">http://www.roelofoosterhuis.nl/MScthesis.pdf</a>