(number theory) A theorem that gives a finite bound on the number of consecutive pairs of smooth numbers that exist, for a given degree of smoothness, and provides a method for finding all such pairs using Pell equations.

An important limitative theorem in quantum computing that establishes an upper bound (Holevo's bound) for the amount of information that can be known about a quantum state.

(mathematics) A result concerning certain infinite-dimensional vector spaces, stating that any orthomodular form that has an infinite orthonormal sequence is a Hilbert space over the real numbers, complex numbers or quaternions.

(computing theory) A theorem giving a relationship between deterministic and non-deterministic space complexity.

(mathematics) A theorem used in complex analysis to establish a bound on the growth rates for an analytic function.

(geometry) A theorem stating that it is not possible to dissect a square into an odd number of triangles of equal area.

(set theory) A theorem that describes the largest possible families of finite sets none of which contain any other sets in the family.

Synonym of Price equation

(mathematics) A theorem in probability theory that extends some properties of algebraic operations on convergent sequences of real numbers to sequences of random variables.

(geometry) A result in geometry concerning the intersection of three circles, each drawn through one vertex of a triangle and two points on its adjacent sides.