ProofWiki:Wanted proofs list

Note:This may not be every wanted proof. This is just an explicit list that users would like to see. For other pages that have had links created but the page has not yet been created see this page. The proofs below will also be included on that page.


 * Gelfond-Schneider Theorem --Joe 00:57, 11 August 2008 (UTC)
 * Baire Category Theorem --Dan 07:21, 28 October 2008 (UTC)
 * Hausdorff Maximality Principle --Matt Westwood 18:38, 8 November 2008 (UTC)
 * Frobenius's Theorem --Matt Westwood 18:38, 8 November 2008 (UTC)
 * Fundamental Theorem of Galois Theory --Matt Westwood 18:38, 8 November 2008 (UTC)
 * Wedderburn's Theorem --Matt Westwood 18:38, 8 November 2008 (UTC)
 * Whitney Immersion Theorem --Matt Westwood 08:09, 18 January 2009 (UTC)
 * Whitney Embedding Theorem --Matt Westwood 08:09, 18 January 2009 (UTC)
 * Topological h-Cobordism Theorem --Matt Westwood 08:09, 18 January 2009 (UTC)


 * Thurston's Geometrization Conjecture --Matt Westwood 08:09, 18 January 2009 (UTC)
 * Minkowski's Inequality --Matt Westwood 06:38, 4 February 2009 (UTC)
 * Weierstrass M-Test --Matt Westwood 15:31, 14 February 2009 (UTC)
 * Tychonoff's Theorem --Matt Westwood 21:13, 27 February 2009 (UTC)
 * Tartaglia's Formula --Matt Westwood 06:39, 15 March 2009 (UTC)
 * Burnside's Theorem --Joe (talk) 16:50, 16 March 2009 (UTC)
 * Viète's Formulas --Cynic  (talk) 19:58, 16 March 2009 (UTC)
 * Abel-Ruffini Theorem --Matt Westwood 20:45, 16 March 2009 (UTC)
 * Central Limit Theorem --HrMeyer 20:53, 23 April 2009 (UTC)
 * Equivalence of Definitions of Trigonometric Functions --Cynic (talk) 20:41, 4 May 2009 (UTC)
 * Abel's Lemma --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Inscribed Angle Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Godel's First Incompleteness Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Godel's Second Incompleteness Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Liouville's Theorem (Number Theory) --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Liouville's Theorem (Hamiltonian Mechanics) [Liouville's theorem (Hamiltonian)] --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Liouville's Lemma --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Liouville's Theorem (Differential Algebra) --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Liouville's Theorem (Conformal Mappings) --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Braess's Paradox --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Bézout's Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Euler Polyhedron Formula --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Weierstrass Preparation Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Cauchy Integral Formula --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Morera's Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Newton's Method --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Grötzsch Modulus Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Sturm's Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Montel's Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Lindemann-Weierstrass Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Sturm-Picone Comparison Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Rescaling Lemma --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Sokhatsky-Weierstrass Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Sturm Separation Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Burnside's Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Riemann Uniformization Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Stone-Weierstrass Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Extended Euclidean Divison Algorithm --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Zalcman's Rescaling Lemma --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Weierstrass-Casorati Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Knuth-Bendix Completion Algorithm --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Weierstrass Factorization Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Teichmüller Modulus Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Korselt's Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Lucas' Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Gauss-Lucas Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Angle Bisector Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Maximum Principle --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Knuth-Morris-Pratt Algorithm --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Bruck-Ryser-Chowla Theorem --Joe (talk) 16:06, 14 July 2009 (UTC)