- List of mathematical proofs
A list of articles with
mathematical proof s:Theorems of which articles are primarily devoted to proving them
:"See also: "
*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 0.999... equals 1
*Proof that 22/7 exceeds π
*Proof that e is irrational
*Proof that the sum of the reciprocals of the primes diverges Articles devoted to theorems of which a (sketch of a) proof is given
:"See also: "
*Banach fixed point theorem
*Banach–Tarski paradox
*Basel problem
*Bolzano-Weierstrass theorem
*Brouwer fixed point theorem
*Buckingham π theorem (proof in progress)
*Burnside's lemma
*Cantor's theorem
*Cantor–Bernstein–Schroeder theorem
*Cayley's formula
*Cayley's theorem
*Clique problem (to do)
*Compactness theorem (very compact proof)
*Erdős-Ko-Rado theorem
*Euler's formula
*Euler's four-square identity
*Euler's theorem
*Five color theorem
*Five lemma
*Fundamental theorem of arithmetic
*Gauss-Markov 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 (to do)
** Green's theorem when D is a simple region
*Heine-Borel theorem
*Intermediate value theorem
*Itô's lemma
*König's lemma
*König's theorem (to do)
*Lagrange's theorem
*Liouville's theorem (brief pointer to proof)
*Markov's inequality (proof of a generalization)
*Mean value theorem
*Multivariate normal distribution (to do)
*Holomorphic functions are analytic
*Pythagorean theorem
*Quadratic equation
*Quotient rule
*Ramsey's theorem
*Rao-Blackwell theorem
*Rice's theorem
*Rolle's theorem
*Splitting lemma
*squeeze theorem
*Sum rule in differentiation
*Sum rule in integration
*Sylow theorems
*Transcendence of "e" and π (as corollaries of Lindemann-Weierstrass)
*Tychonoff's theorem (to do)
*Ultrafilter lemma
*Ultraparallel theorem
*Urysohn's lemma
*Van der Waerden's theorem
*Wilson's theorem
*Zorn's lemma Articles devoted to algorithms in which their correctness is proven
*
Bellman-Ford algorithm (to do)
*Euclidean algorithm
*Kruskal's algorithm
*Prim's algorithm
*Shor's algorithm (incomplete)Articles where example statements are proven
:"See also: "
*Basis (linear algebra)
*Burrows-Abadi-Needham logic
*Generating a vector space
*Linear independence
*Polynomial
*Proof
*Pumping lemma
*Simpson's rule Other articles containing proofs
:"See also: "
*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
** NP-completeness 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
*Co-NP
*Coset
*Countable
** countability of a subset of a countable set (to do)
*Counter
*Angle of parallelism
*Galois group
** Fundamental theorem of Galois theory (to do)
*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
*Area ofhyperbolic sector , basis ofhyperbolic angle
*Infinite series
** convergence of the geometric series with first term 1 and ratio 1/2
*Integer partition
*Irrational number
** irrationality of log23
** 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 inintuitionistic logic
*Recursion
*Relational algebra (to do)
*Solvable group
*Square root of 2
*Tetris
*Algebra of sets
** idempotent laws for set union and intersectionArticles 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 (functional analysis)
*Product topology
*Riemann integral
*Time hierarchy theorem
** Deterministic time hierarchy theoremArticles giving mathematical proofs within a physical model
*
No cloning theorem
*Torque Other related articles
*
Gödel's ontological proof
*Invalid proof
*List of theorems
Wikimedia Foundation. 2010.