Online Encyclopedia
List of mathematical proofs
Wikipedia contains a number of articles with mathematical proofs:
Contents 
Theorems of which articles are primarily devoted to proving them
 Bertrand's postulate and a proof
 Estimation of covariance matrices
 Fermat's little theorem and some proofs
 Gödel's completeness theorem and its original proof
 Mathematical induction and a proof
 Proof that the sum of the reciprocals of the primes diverges
 Proof that e is irrational
 A simple proof that 22/7 exceeds pi
Articles devoted to theorems of which a (sketch of a) proof is given
 BanachTarski paradox
 Basel problem
 BolzanoWeierstrass theorem
 Brouwer fixed point theorem
 Buckingham Pi theorem (proof in progress)
 Burnside's lemma
 Cantor's theorem
 CantorBernsteinSchroeder theorem
 Cayley's Theorem
 Clique problem (todo)
 Compactness theorem (very compact proof)
 Euler's formula
 Euler's foursquare identity
 Euler's theorem
 Five lemma
 Fundamental theorem of arithmetic
 GaussMarkov theorem (brief pointer to proof)

Gödel's incompleteness theorem
 Gödel's first incompleteness theorem
 Gödel's second incompleteness theorem
 Goodstein's theorem

Green's theorem (todo)
 Green's theorem when D is a simple region
 HeineBorel theorem
 Intermediate value theorem
 Itô's lemma
 König's lemma
 König's theorem (todo)
 Lagrange's theorem
 Liouville's theorem (brief pointer to proof)
 Markov's inequality (proof of a generalization)
 Mean value theorem
 Multivariate normal distribution (todo)
 Proof that holomorphic functions are analytic
 Pythagorean theorem
 Quadratic equation
 Quotient rule
 Ramsey's theorem
 RaoBlackwell theorem
 Rice's theorem
 Rolle's theorem
 Splitting lemma
 squeeze theorem
 Sum rule in differentiation
 Sum rule in integration
 Sylow theorem
 Transcendence of e and π (as corollaries of LindemannWeierstrass)
 Tychonoff's theorem (todo)
 Ultrafilter Lemma
 Urysohn's Lemma
 Van der Waerden's theorem
 Wilson's theorem
 Zorn's lemma
Articles devoted to algorithms of which their correctness is proven
 BellmanFord algorithm (todo)
 Euclidean algorithm
 Kruskal's algorithm
 Prim's algorithm
 Shor's algorithm (incomplete)
Articles where example statements are proven
 Basis (linear algebra)
 BurrowsAbadiNeedham logic
 Generating a vector space
 Linear independence
 Polynomial
 Pumping lemma
 Simpson's rule
 Vector space example 1
 Vector space example 2
 Vector space example 3
Other articles containing proofs

Addition in N
 associativity of addition in N
 commutativity of addition in N
 uniqueness of addition in N
 Algorithmic information theory

Boolean ring
 commutativity of a boolean ring

Boolean satisfiability problem
 NPcompleteness of the Boolean satisfiability problem
 Calculus with polynomials

Cantor's diagonal argument
 set is smaller than its power set
 uncountability of the real numbers
 Combinatorics
 Combinatory logic
 CoNP
 Coset

Countable
 countability of a subset of a countable set (todo)
 Counter

Galois group
 Fundamental theorem of Galois theory (todo)

Gödel number
 Gödel's incompleteness theorem
 Group (mathematics)

Halting problem
 insolubility of the halting problem

Harmonic series (mathematics)
 divergence of the (standard) harmonic series
 Highly composite number

Infinite series
 convergence of the geometric series with first term 1 and ratio 1/2
 Integer partition

Irrational number
 irrationality of log_{2}3
 irrationality of the square root of 2
 Limit point

Mathematical induction
 sum identity

Prime number
 Infinitude of the prime numbers
 Primitive recursive function

Principle of bivalence
 no propositions are neither true nor false in intuitionistic logic
 Recursion
 Relational algebra (todo)
 Solvable group
 Tetris

The algebra of sets
 idempotent laws for set union and intersection
Articles which mention dependencies of theorems
 Cauchy's integral formula
 Cauchy integral theorem
 Computational geometry
 Fundamental theorem of algebra
 Lambda calculus
 Invariance of domain
 Minkowski inequality
 Nash embedding theorem
 Open mapping theorem
 Product topology
 Riemann integral

Time hierarchy theorem
 Deterministic time hierarchy theorem
Articles giving mathematical proofs within a physical model
Other related articles
Last updated: 10242004 05:10:45