Sums of Two and Four Squares

Title:	Sums of Two and Four Squares
Author:	Roelof Oosterhuis
Submission date:	2007-08-12
Abstract:	This document presents the mechanised proofs of the following results: any prime number of the form 4m+1 can be written as the sum of two squares; any natural number can be written as the sum of four squares
Status: [ok]	This is the development version of this entry generated for Isabelle-16-Sep-2009. The development version might change over time and is only permanently archived at Isabelle release points. It is provided as a preview of the next upcoming release. Please refer to release versions only in citations. If the status shows [FAIL], the links below will point to the last working version if any.

Older releases: