theorem
in mathematics, a statement that has been proved
Cohen structure theorem
structure theorem about complete local rings
Continuous Mapping Theorem
probability theorem
correlation inequality
inequalities satisfied by the correlation functions
Cover's theorem
statement in computational learning theory
Derrick's theorem
theorem proving stationary localized solutions to some nonlinear wave equations are unstable
differentiation of integrals
problem in mathematics
Disc theorem
Two embeddings of a closed k-disc into a connected n-manifold are ambient isotopic
Donaldson's theorem
On when a definite intersection form of a smooth 4-manifold is diagonalisable
Double limit theorem
On when a sequence of quasi-Fuchsian groups have a convergent subsequence
Exportation
Rule of replacement in propositional logic
Freudenthal spectral theorem
theorem
fundamental theorem of linear algebra
Name for certain results on linear maps between two finite-dimensional vector spaces
Gaussian isoperimetric inequality
inequality applying to Eudlidean space and half-spaces
Ginsberg's theorem
Parody of the laws of thermodynamics
graph structure theorem
mathematical theorem
Infinite-dimensional Lebesgue measure
Mathematical folklore
Bernstein's inequality
mathematical inequality bounding the derivative of a polynomial by its degree and maximum value
Labelled enumeration theorem
counterpart of the Pólya enumeration theorem for the labelled case
leftover hash lemma
lemma in cryptography
Michael selection theorem
On the existence of a continuous selection of a multivalued map from a paracompact space
no free lunch theorem
the theorem that, if a machine-learning algorithm does well on some problems, then it pays for that on all other problems
Pieri's formula
mathematical formula
Rauch comparison theorem
restricts the possible topology of a negatively curved compact Riemannian manifold
Subspace theorem
points of small height in projective space lie in a finite number of hyperplanes
Sun's curious identity
identity involving binomial coefficients, first established by Zhi-Wei Sun in 2002
theorem of Bertini
theorem that hyperplane sections of a smooth projective variety are generically smooth
Vitali theorem
Wikimedia disambiguation page
Wagner's theorem
characterization theorem in graph theory of planar graphs
Weyl character formula
description of characters of irreducible representations of compact Lie groups in terms of their highest weights
generalized Stokes' theorem
statement about integration of differential forms on manifolds
fundamental theorem of algebraic K-theory
on the effects of changing the ring of K-groups
bagpipe theorem
on the structure of ω-bounded connected surfaces
quotient rule
theorem in tensor calculus
Bernstein's theorem (polynomials)
inequality relating the maximum modulus of a complex polynomial function on the unit disk with the maximum modulus of its derivative on the unit disk
hockey-stick identity
recurrence relations of binomial coefficients in Pascal's triangle
Binet's formula
formula used to find the nth term of the Fibonacci sequence