Category:Articles containing proofs
From HandWiki
Here is a list of articles in the category Articles containing proofs of the Computing portal that unifies foundations of mathematics and computations using computers. Template:Wikipedia category This category contains articles which contain claims and their mathematical proofs.
See Category:Mathematical proofs for a list of proof-related categories.
Pages in category "Articles containing proofs"
The following 200 pages are in this category, out of 439 total.
(previous page) (next page)K
L
- Labelled enumeration theorem
- Lagrange polynomial
- Lagrange's four-square theorem
- Lagrange's identity
- Lagrange's theorem (group theory)
- Langley's Adventitious Angles
- Langley’s Adventitious Angles
- Laplace expansion
- Physics:Laplace–Runge–Lenz vector
- Law of cosines
- Law of excluded middle
- Law of sines
- Law of tangents
- Law of total covariance
- Law of total variance
- Lazy caterer's sequence
- Least-upper-bound property
- Leibniz formula for determinants
- Leibniz formula for π
- Leibniz integral rule
- Lenglart's inequality
- Levi-Civita symbol
- L'Hôpital's rule
- Limit comparison test
- Lindemann–Weierstrass theorem
- Linear continuum
- Linear independence
- Linear subspace
- Linearity of differentiation
- Liouville number
- Liouville's formula
- Liouville's theorem (complex analysis)
- List of logarithmic identities
- Locally connected space
- Log sum inequality
- Lubell–Yamamoto–Meshalkin inequality
- Lucas's theorem
- Lusin's theorem
M
- MacMahon Master theorem
- MacMahon's master theorem
- Mahler's inequality
- Markov's inequality
- Mathematical induction
- Mean value theorem
- Median (geometry)
- Menelaus's theorem
- Mersenne prime
- Min-max theorem
- Minkowski inequality
- Minkowski's theorem
- Mirsky's theorem
- Monge's theorem
- Monotone convergence theorem
- Morrie's law
- Mountain climbing problem
- Multi-index notation
- Multinomial theorem
- Multiplication
N
O
P
- Pappus's area theorem
- Pappus's hexagon theorem
- Parallelepiped
- Parity of a permutation
- Pascal's rule
- Pascal's theorem
- Pauli matrices
- Peaucellier–Lipkin linkage
- Peetre theorem
- Pentagonal number theorem
- Perfect graph theorem
- Physics:Perpendicular axis theorem
- Pick's theorem
- Plane at infinity
- Plotkin bound
- Poisson limit theorem
- Pólya enumeration theorem
- Polynomial interpolation
- Pompeiu's theorem
- Pons asinorum
- Positional notation
- PostBQP
- Power rule
- Prim's algorithm
- Prime constant
- Prime number
- Product rule
- Proof without words
- Ptolemy's theorem
- Pythagorean theorem
- Pythagorean trigonometric identity
Q
R
S
- S2S (mathematics)
- Schmidt decomposition
- Schröder–Bernstein theorem
- Schuette–Nesbitt formula
- Schur decomposition
- Schur's inequality
- Schwarz lemma
- Second moment method
- Sedrakyan's inequality
- Titu's lemma
- Segre's theorem
- Semi-differentiability
- List of set identities and relations
- Shannon's source coding theorem
- Singleton bound
- Sipser–Lautemann theorem
- Space hierarchy theorem
- Spectral radius
- Sperner's lemma
- Sperner's theorem
- Spherical law of cosines
- Physics:Spin–statistics theorem
- Splitting lemma
- Square root of 2
- Squared triangular number
- Squeeze mapping
- Squeeze theorem
- Stars and bars (combinatorics)
- Steinhaus theorem
- Stewart's theorem
- Stochastic Gronwall inequality
- Sturm's theorem
- Subbase
- Subgroup test
- Subgroups of cyclic groups
- Sublinear function
- Sufficient statistic
- Divergence of the sum of the reciprocals of the primes
- Sylow theorems
- Sylvester's criterion
- Sylvester–Gallai theorem
- Sz.-Nagy's dilation theorem
- Szemerédi–Trotter theorem
- Szpilrajn extension theorem
T
- Taylor's theorem
- Term test
- Thales's theorem
- Theorem on friends and strangers
- Three subgroups lemma
- Three-gap theorem
- Time hierarchy theorem
- Tonelli–Shanks algorithm
- Topological vector space
- Transcendental number
- Triangle inequality
- Triple product
- Triple product rule
- Tube lemma
- Turán's theorem
- Turing's proof
- Tutte theorem