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)
 * 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)
 * Tartaglia's Formula --Matt Westwood 06:39, 15 March 2009 (UTC)


 * Burnside's Theorem --Joe (talk) 16:50, 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)
 * Gödel's First Incompleteness Theorem --Matt Westwood 21:08, 8 May 2009 (UTC)
 * Gödel'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) --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)
 * 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)
 * 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)
 * Girard's Theorem --Matt Westwood 13:15, 21 July 2009 (UTC)
 * Hardy-Littlewood Tauberian Theorem --Matt Westwood 13:15, 21 July 2009 (UTC)
 * Minkowski-Steiner Formula --Matt Westwood 13:15, 21 July 2009 (UTC)
 * Cauchy-Kovalevskaya Theorem --Matt Westwood 13:15, 21 July 2009 (UTC)
 * Gauss-Kronrod Quadrature Formula --Matt Westwood 13:15, 21 July 2009 (UTC)
 * Hardy's Theorem --Matt Westwood 13:15, 21 July 2009 (UTC)
 * Minkowski's Theorem (Geometry of Numbers) --Matt Westwood 13:15, 21 July 2009 (UTC)
 * Carathéodory-Jacobi-Lie Theorem --Matt Westwood 13:15, 21 July 2009 (UTC)
 * Whitney Graph Isomorphism Theorem --Matt Westwood 13:15, 21 July 2009 (UTC)
 * Brahmagupta Interpolation Formula --Matt Westwood 13:15, 21 July 2009 (UTC)
 * Church-Rosser Theorem --Matt Westwood 13:29, 21 July 2009 (UTC)
 * Carmichael's Theorem --Matt Westwood 13:29, 21 July 2009 (UTC)
 * Generalized Gauss-Bonnet Theorem --Matt Westwood 13:29, 21 July 2009 (UTC)
 * Borel-Kolmogorov Paradox --Matt Westwood 13:29, 21 July 2009 (UTC)
 * Separating Axis Theorem --Matt Westwood 13:29, 21 July 2009 (UTC)
 * Cauchy-Frobenius Lemma --Matt Westwood 13:29, 21 July 2009 (UTC)
 * Ostrowski-Hadamard Gap Theorem --Matt Westwood 13:29, 21 July 2009 (UTC)
 * Mohr-Mascheroni Theorem --Matt Westwood 16:08, 21 July 2009 (UTC)
 * Gauss's Digamma Theorem --Matt Westwood 16:08, 21 July 2009 (UTC)
 * Riemann-Lebesgue Lemma --Matt Westwood 16:08, 21 July 2009 (UTC)
 * Lewis Carroll Identity --Matt Westwood 16:08, 21 July 2009 (UTC)
 * Schwarz Reflection Principle --Matt Westwood 08:56, 30 January 2010 (UTC)
 * Gelfand-Naimark Theorem --Matt Westwood 08:56, 30 January 2010 (UTC)
 * Kolmogorov Continuity Theorem --Matt Westwood 08:56, 30 January 2010 (UTC)
 * Birkhoff-Grothendieck Theorem --Matt Westwood 08:56, 30 January 2010 (UTC)
 * Shirshov-Witt Theorem --Matt Westwood 08:56, 30 January 2010 (UTC)
 * Roberts-Chebyshev Theorem --Matt Westwood 08:56, 30 January 2010 (UTC)
 * Germain's Theorem --Matt Westwood 08:56, 30 January 2010 (UTC)
 * Hilbert-Speiser Theorem --Matt Westwood 08:56, 30 January 2010 (UTC)
 * Jordan Curve Theorem --Matt Westwood 08:56, 30 January 2010 (UTC)
 * Heine's Identity --Matt Westwood 08:56, 30 January 2010 (UTC)
 * Chen's Theorem --Matt Westwood 06:27, 2 February 2010 (UTC)
 * Modularity Theorem --137.205.30.192 19:43, 27 April 2010 (UTC)
 * Feit-Thompson Theorem --137.205.30.192 19:43, 27 April 2010 (UTC)
 * Classification of Finite Simple Groups --137.205.30.192 19:43, 27 April 2010 (UTC)
 * Fermat's Last Theorem --137.205.30.192 19:46, 27 April 2010 (UTC)
 * Vizing's Theorem --94.40.193.22 19:46, 30 May 2010 (UTC)
 * Pumping Lemma for Regular Languages --94.40.193.22 19:46, 30 May 2010 (UTC)
 * Pumping Lemma for Context-Free Languages --94.40.193.22 19:46, 30 May 2010 (UTC)
 * Osborne's Rule --84.217.52.50 15:06, 8 Nov 2010 (UTC)
 * Benford's Law --Alec (talk) 19:30, 9 November 2010 (UTC)
 * Tietze Extension Theorem --prime mover 09:26, 1 May 2011 (CDT)
 * Ado's Theorem -- BigPansy 18:19, 8 June 2011 (CDT)