Category:Proofs

Subcategories

There are 2 subcategories to this category.

S

• Sketch proofs

T

• Theorem provers

Articles in category "Proofs"

There are 44 articles in this category.

A simple proof that 22/7 exceeds pi Automated theorem proving C Cantor's diagonal argument Cayley's theorem Characterizations of the exponential function Closed-form solution Combinatorial proof Complete induction Conditional proof Constructive proof D Diagram chasing Direct proof E Erdos-Ko-Rado theorem Existence theorem

F Fundamental theorem of Riemannian geometry H Helly's theorem Heron's formula I Infinite descent Invalid proof K König's lemma L List of mathematical proofs M Mathematical induction Mathematical proof Minimal counterexample N Nonconstructive proof P Pick's theorem Probabilistic method Proof by exhaustion Proof of Bertrand's postulate

P cont. Proof of Leibniz formula Proof of Viète formula Proof of Wallis product Proof of mathematical induction Proof that e is irrational Proof that holomorphic functions are analytic Proofs of Fermat's little theorem Pythagorean trigonometric identity Q Q.E.D. R Ramsey's theorem Reductio ad absurdum S Sperner's lemma Structural induction T Thales' theorem Three forms of mathematical induction