In number theory, Meyer's theorem on quadratic forms states that an indefinite quadratic form Q in five or more variables over the field of rational numbers...

Cheeger and Detlef Gromoll proved the theorem in 1972 by generalizing a 1969 result of Gromoll and Wolfgang Meyer. The related soul conjecture, formulated...

The Doob–Meyer decomposition theorem is a theorem in stochastic calculus stating the conditions under which a submartingale may be decomposed in a unique...

In functional analysis the Meyers–Serrin theorem, named after James Serrin and Norman George Meyers, states that smooth functions are dense in the Sobolev...

In matrix theory, the Perron–Frobenius theorem, proved by Oskar Perron (1907) and Georg Frobenius (1912), asserts that a real square matrix with positive...

{EXPTIME}}=\Sigma _{2}^{\mathsf {P}}\cap \Pi _{2}^{\mathsf {P}}} (Meyer's theorem), even EXPTIME = MA. If NEXPTIME ⊆ P/poly then NEXPTIME = EXPTIME,...

Cornell University in 1947; his dissertation, A generalization of Meyer's theorem, was written under the supervision of Burton Wadsworth Jones. He met...

multiplication theorem.[clarification needed] The next contributor of importance is Binet (1811, 1812), who formally stated the theorem relating to the...

Girsanov's theorem or the Cameron-Martin-Girsanov theorem explains how stochastic processes change under changes in measure. The theorem is especially...

The fundamental theorem of algebra, also called d'Alembert's theorem or the d'Alembert–Gauss theorem, states that every non-constant single-variable polynomial...

theory and the study of discrete subgroups of semisimple Lie groups. Meyer's theorem states that an indefinite integral quadratic form Q in n variables...

(1939). "A mean ergodic theorem". Duke Mathematical Journal. 5 (3): 635–646. doi:10.1215/S0012-7094-39-00552-1. ISSN 0012-7094. Meyer, P.A. (1966). Probability...

Hilbert–Burch theorem Hilbert's irreducibility theorem Hilbert's Nullstellensatz Hilbert's theorem (differential geometry) Hilbert's Theorem 90 Hilbert's...

together they proved the Green–Tao theorem, which is well known among both amateur and professional mathematicians. This theorem states that there are arbitrarily...

The theorem was proved by and is named for Joseph L. Doob. The analogous theorem in the continuous-time case is the Doob–Meyer decomposition theorem. Let...

The rank–nullity theorem is a theorem in linear algebra, which asserts: the number of columns of a matrix M is the sum of the rank of M and the nullity...

theorem (proof theory) Deduction theorem (logic) Diaconescu's theorem (mathematical logic) Easton's theorem (set theory) Erdős–Dushnik–Miller theorem...

Hensel, writing a dissertation in 1921 containing the Hasse–Minkowski theorem, as it is now called, on quadratic forms over number fields. He then held...

principles are derived. On Hume's principle and Frege's theorem, see "Frege's Logic, Theorem, and Foundations for Arithmetic". Frege's logic, now known...

the time hierarchy theorems are important statements about time-bounded computation on Turing machines. Informally, these theorems say that given more...

produce every theorem. The actual notion of computation was isolated soon after, starting with Gödel's incompleteness theorem. This theorem showed that...

second book in a series of five written by Meyer and Dellacherie from 1975 to 1992 and elaborated from Meyer's pioneering book Probabilités et Potentiel...

generalized form of the Itô isometry can be used. First, the Doob–Meyer decomposition theorem is used to show that a decomposition M2 = N + ⟨M⟩ exists, where...

generalized the binomial theorem to any real number, introduced the Puiseux series, was the first to state Bézout's theorem, classified most of the cubic...

of a subsemigroup of T is said to be a divisor of T. The Krohn–Rhodes theorem for finite semigroups states that every finite semigroup S is a divisor...

Proving History: Bayes's Theorem and the Quest for the Historical Jesus (2012), Carrier describes the application of Bayes' theorem to historical inquiry...

equivalence of regular expressions and finite automata is known as Kleene's theorem (after American mathematician Stephen Cole Kleene). In the Chomsky hierarchy...

Copying quantum information is not possible due to the no-cloning theorem. This theorem seems to present an obstacle to formulating a theory of quantum...

inequality Gromoll–Meyer sphere Rational homotopy theory Splitting theorem Soul theorem Gromoll, Detlef; Klingenberg, Wilhelm; Meyer, Wolfgang (1968)....

In mathematics, the disintegration theorem is a result in measure theory and probability theory. It rigorously defines the idea of a non-trivial "restriction"...