List Of Mathematical Proofs

Theorems of which articles are primarily devoted to proving them

• Bertrand's postulate and a proof
• Erdős-Ko-Rado theorem
• Estimation of covariance matrices
• Fermat's little theorem and some proofs
• Gdel'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
• Angle of parallelism
• Ultraparallel theorem

Articles devoted to theorems of which a (sketch of a) proof is given

• Banach-Tarski paradox
• Basel problem
• Bolzano-Weierstra theorem
• Brouwer fixed point theorem
• Buckingham Pi 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)
• Euler's formula
• Euler's four-square identity
• Euler's theorem
• Five lemma
• Fundamental theorem of arithmetic
• Gauss-Markov theorem (brief pointer to proof)
• Gdel's incompleteness theorem
• Gdel's first incompleteness theorem
• Gdel'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
• Knig's lemma
• Knig'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)
• Proof that 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 theorem
• Transcendence of e and π (as corollaries of Lindemann-Weierstrass)
• Tychonoff's theorem (to do)
• 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

• Bellman-Ford algorithm (to do)
• Euclidean algorithm
• Kruskal's algorithm
• Prim's algorithm
• Shor's algorithm (incomplete)

Articles where example statements are proven

• Basis (linear algebra)
• Burrows-Abadi-Needham 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
• 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
• Galois group
• Fundamental theorem of Galois theory (to do)
• Gdel number
• Gdel'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 of hyperbolic sector, basis of hyperbolic angle
• Infinite series
• convergence of the geometric series with first term 1 and ratio 1/2
• Integer partition
• Irrational number
• irrationality of log₂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 (to do)
• 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

• No cloning theorem
• Proof of angular momentum

Other related articles

• Gdel's ontological proof
• Invalid proof

<< Previous Word Browser Next >>
keith paulson thorp van der waals thomas michael gribow metaphysical poets portable game notation jimmy hoffa akademische orchestervereinigung ren mclean modus pigwidgeon egon krenz	the man who knew too much squib zhonghua minzu united states chess federation asc george reeves methodist episcopal church methodist episcopal church, south methodist protestant church la vieille taupe fred and george weasley	free art georgina beyer united poultry concerns karen davis end user retro engineering adit mark david hosale jeremy haladyna schizophragma the honeymooners whipplea	clerk of the works college of creative studies broadway open house 1936 governor general's awards avant jazz county of edessa 1937 governor general's awards deputy prime minister of canada 1938 governor general's awards breen john kluge