Statements
A theorem, a lemma, a proposition, a corollary, a fact or an axiom.
- Concepts 7386
- Definitions 7188
- Statements 3950
- Conjectures 117
- Problems 256
- Examples 672
- Counterexamples 88
- Objects 168
- Proofs 11
- Computations 1
- Topics 1
Ideas 3301–3450 of 3950.
| Name | Kind | Subject |
|---|---|---|
| Muckenhoupt's theorem | Theorem | Harmonic analysis on Euclidean spaces |
| Lambek's lemma | Lemma | Category theory; homological algebra |
| Kummer's transformation | Theorem | Special functions |
| Priestley duality | Theorem | Order, lattices, ordered algebraic structures |
| Clifford theory | Theorem | Group theory and generalizations |
| Lebesgue differentiation theorem | Theorem | Measure and integration |
| Denjoy–Carleman–Ahlfors theorem | Theorem | Functions of a complex variable |
| Weyl–von Neumann theorem | Theorem | Operator theory |
| Euler's laws of motion | Fact | Mechanics of particles and systems |
| Ladyzhenskaya–Babuška–Brezzi condition | Theorem | Numerical analysis |
| Pole placement theorem | Theorem | Systems theory; control |
| Shoelace formula | Theorem | Geometry |
| Shafarevich's theorem on solvable Galois groups | Theorem | Field theory and polynomials |
| Williams crack-tip expansion | Theorem | Mechanics of deformable solids |
| Fourier sine and cosine series of a function on an interval | Theorem | Harmonic analysis on Euclidean spaces |
| Hölder's theorem | Theorem | Special functions |
| Kraus representation of a channel | Theorem | Quantum theory |
| Amenability of abelian and solvable groups | Theorem | Abstract harmonic analysis |
| Excision theorem | Theorem | Algebraic topology |
| Cayley–Hamilton theorem for modules | Proposition | Commutative algebra |
| Gelfand's trick | Proposition | Abstract harmonic analysis |
| Linearity of the Laplace transform | Proposition | Integral transforms, operational calculus |
| Krull's principal ideal theorem | Theorem | Commutative algebra |
| K5 is not planar | Theorem | Combinatorics |
| Euler–Gauss limit formula | Theorem | Special functions |
| Lefschetz principle | Theorem | Mathematical logic and foundations |
| Zamolodchikov c-theorem | Theorem | Quantum theory |
| Work–energy theorem | Theorem | Mechanics of particles and systems |
| Whitney immersion theorem | Theorem | Manifolds and cell complexes |
| Wang's finiteness theorem | Theorem | Topological groups, Lie groups |
| Golden rule savings rate | Proposition | Game theory, economics, finance, and other social and behavioral sciences |
| Segre's theorem | Theorem | Geometry |
| Bondareva–Shapley theorem | Theorem | Game theory, economics, finance, and other social and behavioral sciences |
| Auslander–Buchsbaum formula | Theorem | Commutative algebra |
| Equioscillation theorem | Theorem | Approximations and expansions |
| Pitman–Koopman–Darmois theorem | Theorem | Statistics |
| Rental harmony | Theorem | Game theory, economics, finance, and other social and behavioral sciences |
| Whitney's theorem on folds and cusps | Theorem | Manifolds and cell complexes |
| Arctic circle theorem | Theorem | Statistical mechanics, structure of matter |
| Wiener's criterion | Theorem | Potential theory |
| Ward–Takahashi identity | Theorem | Quantum theory |
| Boolean prime ideal theorem | Theorem | Mathematical logic and foundations |
| Moise's theorem | Theorem | Manifolds and cell complexes |
| Pairwise summation | Theorem | Numerical analysis |
| Burkholder–Davis–Gundy inequality | Theorem | Probability theory and stochastic processes |
| Pinsker's inequality | Theorem | Information and communication theory, circuits |
| Jeans instability in an expanding universe | Theorem | Astronomy and astrophysics |
| Doob–Meyer decomposition theorem | Theorem | Probability theory and stochastic processes |
| Geodesic deviation equation | Theorem | Relativity and gravitational theory |
| Resolvent as Laplace transform of a semigroup | Theorem | Operator theory |
| Commutativity of convolution | Proposition | Integral transforms, operational calculus |
| List scheduling and Graham's bound | Theorem | Operations research, mathematical programming |
| Kelly criterion | Proposition | Game theory, economics, finance, and other social and behavioral sciences |
| Decay of the Fourier transform of surface measure | Theorem | Harmonic analysis on Euclidean spaces |
| Bogomolov–Miyaoka–Yau inequality | Theorem | Algebraic geometry |
| Lusternik–Schnirelmann theorem | Theorem | Algebraic topology |
| Kantorovich–Rubinstein duality | Theorem | Calculus of variations and optimal control; optimization |
| Szegő's theorem | Theorem | Harmonic analysis on Euclidean spaces |
| Equivalent definition with relaxed axioms | Proposition | |
| Second law of thermodynamics | Fact | Classical thermodynamics, heat transfer |
| Liouville's theorem for planar harmonic functions | Theorem | Potential theory |
| Competitive exclusion principle | Theorem | Biology and other natural sciences |
| Liénard–Chipart criterion | Theorem | Real functions |
| Conservation of momentum | Theorem | Mechanics of particles and systems |
| Resolvent equation for kernels | Proposition | Integral equations |
| Gauss's law for potentials | Theorem | Potential theory |
| Dimension of a polynomial ring | Theorem | Commutative algebra |
| Sylvester–Gallai theorem | Theorem | Convex and discrete geometry |
| Reidemeister's theorem | Theorem | Manifolds and cell complexes |
| Alexander's theorem on proper self-maps of the ball | Theorem | Several complex variables and analytic spaces |
| General solution of a second order equation with complex characteristic roots | Theorem | Ordinary differential equations |
| Chandrasekhar–Friedman–Schutz instability | Theorem | Astronomy and astrophysics |
| Nerve theorem | Theorem | Algebraic topology |
| Gelfand's spectral radius formula | Theorem | Functional analysis |
| Recurrence relations for Bessel functions | Proposition | Special functions |
| Fourier inversion theorem | Theorem | Harmonic analysis on Euclidean spaces |
| Monotone cubic interpolation | Theorem | Numerical analysis |
| Verification theorem | Theorem | Calculus of variations and optimal control; optimization |
| Barbier's theorem | Theorem | Convex and discrete geometry |
| Gårding's inequality | Theorem | Partial differential equations |
| Baouendi–Trèves approximation theorem | Theorem | Several complex variables and analytic spaces |
| Ambrose–Singer theorem | Theorem | Differential geometry |
| Maximum principle for harmonic functions | Theorem | Potential theory |
| Right adjoints preserve limits | Theorem | Category theory; homological algebra |
| Mather's stability theorem | Theorem | Global analysis, analysis on manifolds |
| Descartes' rule of signs | Theorem | Real functions |
| Equivariant index theorem | Theorem | Global analysis, analysis on manifolds |
| Bruhat decomposition | Theorem | Group theory and generalizations |
| Shephard's lemma | Lemma | Game theory, economics, finance, and other social and behavioral sciences |
| Szpilrajn extension theorem | Theorem | Order, lattices, ordered algebraic structures |
| Terzaghi's principle of effective stress | Fact | Mechanics of deformable solids |
| Chomsky–Schützenberger representation theorem | Theorem | Computer science |
| Cauchy momentum equation | Theorem | Mechanics of deformable solids |
| Abian–Brown theorem | Theorem | Order, lattices, ordered algebraic structures |
| Kawamata–Viehweg vanishing theorem | Theorem | Algebraic geometry |
| Gibbard–Satterthwaite theorem | Theorem | Game theory, economics, finance, and other social and behavioral sciences |
| Krull's height theorem | Theorem | Commutative algebra |
| Abraham–Lorentz force | Fact | Optics, electromagnetic theory |
| Foster's theorem on primal algebras | Theorem | General algebraic systems |
| Peixoto's theorem | Theorem | Dynamical systems and ergodic theory |
| Abel inversion formula | Theorem | Integral equations |
| Kaplansky density theorem | Theorem | Functional analysis |
| Hirzebruch signature theorem | Theorem | Manifolds and cell complexes |
| Bertrand's theorem | Theorem | Mechanics of particles and systems |
| Chevalley's theorem on constructible sets | Theorem | Algebraic geometry |
| Levenberg–Marquardt algorithm | Proposition | Numerical analysis |
| Natural proofs barrier | Theorem | Computer science |
| Lensmaker's equation | Proposition | Optics, electromagnetic theory |
| Siu's semicontinuity theorem | Theorem | Several complex variables and analytic spaces |
| Paley–Wiener theorem | Theorem | Functions of a complex variable |
| Gravitational redshift | Proposition | Relativity and gravitational theory |
| Lichnerowicz–Obata eigenvalue theorem | Theorem | Global analysis, analysis on manifolds |
| Schur product theorem | Theorem | Linear and multilinear algebra; matrix theory |
| Löwner–John theorem | Theorem | Convex and discrete geometry |
| Borel density theorem | Theorem | Topological groups, Lie groups |
| Separation principle | Theorem | Systems theory; control |
| Friendship theorem | Theorem | Combinatorics |
| Roe solver | Proposition | Numerical analysis |
| Hadamard three-circle theorem for subharmonic functions | Theorem | Potential theory |
| Fundamental theorem of space curves | Theorem | Differential geometry |
| Bürmann–Lagrange series | Theorem | Functions of a complex variable |
| Nonzero subspaces of R^n have a basis and a well-defined dimension | Theorem | Linear and multilinear algebra; matrix theory |
| Fejér's theorem | Theorem | Harmonic analysis on Euclidean spaces |
| Barycentric interpolation formula | Proposition | Numerical analysis |
| Hörmander's L2 estimates | Theorem | Several complex variables and analytic spaces |
| Federer–Fleming compactness theorem | Theorem | Calculus of variations and optimal control; optimization |
| Simplicial approximation theorem | Theorem | Algebraic topology |
| Rank–nullity theorem for matrices | Theorem | Linear and multilinear algebra; matrix theory |
| Sato–Tate conjecture | Theorem | Number theory |
| Fermi's golden rule | Fact | Quantum theory |
| Endomorphism ring of a simple module is a division ring | Corollary | Associative rings and algebras |
| Lindelöf's maximum principle | Lemma | Potential theory |
| Lundberg inequality | Theorem | Game theory, economics, finance, and other social and behavioral sciences |
| Helmholtz decomposition of electromagnetic fields | Theorem | Optics, electromagnetic theory |
| Bounded approximate identity of L1(G) | Proposition | Abstract harmonic analysis |
| Riesz representation theorem | Theorem | Functional analysis |
| Kolmogorov's three-series theorem | Theorem | Probability theory and stochastic processes |
| Bianchi identities | Theorem | Differential geometry |
| Boole's rule | Theorem | Numerical analysis |
| Poincaré recurrence theorem | Theorem | Dynamical systems and ergodic theory |
| Penrose process | Proposition | Relativity and gravitational theory |
| Measurable solutions of Cauchy's equation | Theorem | Difference and functional equations |
| Diffraction grating equation | Proposition | Optics, electromagnetic theory |
| Frostman's theorem | Theorem | Potential theory |
| JSJ decomposition | Theorem | Manifolds and cell complexes |
| Contiguous relations | Theorem | Special functions |
| Structure theorem for finitely generated modules over a principal ideal domain | Theorem | Commutative algebra |
| Udwadia–Kalaba equation | Theorem | Mechanics of particles and systems |
| Milne-Thomson circle theorem | Theorem | Fluid mechanics |
| Principle of maximum entropy in thermodynamics | Fact | Classical thermodynamics, heat transfer |