Statements
A theorem, a lemma, a proposition, a corollary, a fact or an axiom.
- Concepts 7386
- Definitions 7188
- Statements 3987
- Conjectures 117
- Problems 256
- Examples 672
- Counterexamples 88
- Objects 168
- Proofs 11
- Computations 1
- Topics 1
Ideas 3751–3900 of 3987.
| Name | Kind | Subject |
|---|---|---|
| Frobenius's theorem on Frobenius kernels | Theorem | Group theory and generalizations |
| Pentagon identity | Fact | Category theory; homological algebra |
| Theta transformation formula | Theorem | Number theory |
| Hilbert's theorem on the hyperbolic plane | Theorem | Differential geometry |
| AKS primality test | Theorem | Number theory |
| Levi decomposition | Theorem | Nonassociative rings and algebras |
| Triangle removal lemma | Lemma | Combinatorics |
| Bounded gaps between primes | Theorem | Number theory |
| Hertzian contact stress | Theorem | Mechanics of deformable solids |
| De la Vallée Poussin lower bound | Theorem | Approximations and expansions |
| Nesbitt's inequality | Proposition | Real functions |
| Fredholm's theorem | Theorem | Integral equations |
| Goodstein's theorem | Theorem | Mathematical logic and foundations |
| Threshold theorem of epidemiology | Theorem | Biology and other natural sciences |
| Montessus de Ballore's theorem | Theorem | Approximations and expansions |
| Error threshold | Proposition | Biology and other natural sciences |
| Hodge index theorem | Theorem | Algebraic geometry |
| Finiteness of associated primes | Theorem | Commutative algebra |
| Schwarz reflection principle for harmonic functions | Theorem | Potential theory |
| Existence and uniqueness for second-order linear initial value problems | Theorem | Ordinary differential equations |
| Cyclic term theorem | Theorem | General algebraic systems |
| Herd immunity threshold | Proposition | Biology and other natural sciences |
| Jeans equations | Proposition | Astronomy and astrophysics |
| Hadamard's lemma | Lemma | Real functions |
| Jordan–Schur theorem | Theorem | Group theory and generalizations |
| Lambert's cosine law | Proposition | Classical thermodynamics, heat transfer |
| Classification of simple Lie superalgebras | Theorem | Nonassociative rings and algebras |
| Kruskal's tree theorem | Theorem | Combinatorics |
| Blaschke–Lebesgue theorem | Theorem | Convex and discrete geometry |
| Bombieri–De Giorgi–Giusti theorem | Theorem | Calculus of variations and optimal control; optimization |
| Balian–Low theorem | Theorem | Harmonic analysis on Euclidean spaces |
| Landau's necessary density conditions for sampling | Theorem | Information and communication theory, circuits |
| Smoothed analysis of the simplex method | Theorem | Operations research, mathematical programming |
| Poncelet's closure theorem | Theorem | Geometry |
| Kontsevich formality theorem | Theorem | Differential geometry |
| Carathéodory's principle | Fact | Classical thermodynamics, heat transfer |
| Non-amenability of free groups | Theorem | Abstract harmonic analysis |
| Bôcher's theorem | Theorem | Potential theory |
| Classification of regular polytopes | Theorem | Geometry |
| Cauchy's stress theorem | Theorem | Mechanics of deformable solids |
| Generalized mean inequality | Theorem | Real functions |
| Erdős–Stone theorem | Theorem | Combinatorics |
| Fenchel–Moreau theorem | Theorem | Convex and discrete geometry |
| Tannery's theorem | Theorem | Sequences, series, summability |
| Rayleigh quotient iteration | Theorem | Numerical analysis |
| Carleson–Sjölin theorem | Theorem | Harmonic analysis on Euclidean spaces |
| Symmetric successive over-relaxation | Theorem | Numerical analysis |
| Norton's theorem | Theorem | Information and communication theory, circuits |
| Laguerre's method | Theorem | Numerical analysis |
| Singer's theorem | Theorem | Dynamical systems and ergodic theory |
| Borg–Marchenko uniqueness theorem | Theorem | Ordinary differential equations |
| Normal gravity and Somigliana's formula | Theorem | Geophysics |
| Zhang–Yeung inequality | Theorem | Information and communication theory, circuits |
| Rao–Blackwell theorem | Theorem | Statistics |
| Fisher–Tippett–Gnedenko theorem | Theorem | Probability theory and stochastic processes |
| Serre's finiteness theorem | Theorem | Algebraic topology |
| Gauss multiplication formula | Theorem | Special functions |
| Kirchberger's theorem | Theorem | Convex and discrete geometry |
| Jefimenko's equations | Theorem | Optics, electromagnetic theory |
| Sauer–Shelah lemma | Lemma | Combinatorics |
| Schur–Horn theorem | Theorem | Linear and multilinear algebra; matrix theory |
| Generic flatness | Theorem | Algebraic geometry |
| Rural hospitals theorem | Theorem | Game theory, economics, finance, and other social and behavioral sciences |
| PBR theorem | Theorem | Quantum theory |
| CHSH inequality | Theorem | Quantum theory |
| Voigt and Reuss bounds | Theorem | Mechanics of deformable solids |
| Ratio and root limits give the radius of convergence | Theorem | Functions of a complex variable |
| Faraday's law of induction | Fact | Optics, electromagnetic theory |
| Girard's theorem | Theorem | Geometry |
| Elliott's classification of AF algebras | Theorem | Functional analysis |
| Newton's theorem of revolving orbits | Theorem | Mechanics of particles and systems |
| Minkowski–Hlawka theorem | Theorem | Number theory |
| Euler's continued fraction formula | Theorem | Sequences, series, summability |
| Fundamental theorem of algebraic K-theory | Theorem | K-theory |
| Sz.-Nagy's dilation theorem | Theorem | Operator theory |
| Grushko theorem | Theorem | Group theory and generalizations |
| Böttcher's equation | Theorem | Dynamical systems and ergodic theory |
| Sharkovskii's theorem | Theorem | Dynamical systems and ergodic theory |
| Zariski's lemma | Lemma | Commutative algebra |
| Balinski's theorem | Theorem | Convex and discrete geometry |
| Transitivity of the pair relation for constructing the integers | Lemma | Number theory |
| Sierpiński's theorem on measurable midpoint convex functions | Theorem | Real functions |
| Approximation by convolution with mollifiers | Theorem | Functional analysis |
| Star–triangle relation | Proposition | Statistical mechanics, structure of matter |
| Kolmogorov four-fifths law | Theorem | Fluid mechanics |
| Kempe's universality theorem | Theorem | Mechanics of particles and systems |
| Artin–Schreier theorem on formally real fields | Theorem | Field theory and polynomials |
| Goldman equation | Proposition | Biology and other natural sciences |
| Amitsur–Levitzki theorem | Theorem | Associative rings and algebras |
| Gabber rigidity theorem | Theorem | K-theory |
| Going-down theorem | Theorem | Commutative algebra |
| Mazur–Orlicz theorem | Theorem | Sequences, series, summability |
| Arnold's classification of simple singularities | Theorem | Several complex variables and analytic spaces |
| Bieberbach theorems | Theorem | Group theory and generalizations |
| Sturm separation theorem | Theorem | Ordinary differential equations |
| Isomorphism theorem for measure algebras | Theorem | Measure and integration |
| Hilbert's Theorem 90 | Theorem | Field theory and polynomials |
| Birkhoff–Frink representation of algebraic closure systems | Theorem | General algebraic systems |
| Uniform boundedness principle | Theorem | Functional analysis |
| Arrhenius equation | Fact | Classical thermodynamics, heat transfer |
| Toomre's stability criterion | Theorem | Astronomy and astrophysics |
| Chebyshev–Markov–Stieltjes inequalities | Theorem | Integral transforms, operational calculus |
| Gromov's compactness theorem | Theorem | Differential geometry |
| A Dedekind UFD is a PID | Proposition | Commutative algebra |
| Langlands classification | Theorem | Topological groups, Lie groups |
| Automorphism group of a bounded domain is a Lie group | Theorem | Several complex variables and analytic spaces |
| Doob decomposition theorem | Theorem | Probability theory and stochastic processes |
| Sphere packing in dimensions 8 and 24 | Theorem | Convex and discrete geometry |
| Wedderburn's theorem on simple Artinian rings | Theorem | Associative rings and algebras |
| Paris' law | Fact | Mechanics of deformable solids |
| Coleman–Mandula theorem | Theorem | Quantum theory |
| Theorema Egregium | Theorem | Differential geometry |
| Rellich–Kondrachov theorem | Theorem | Functional analysis |
| Multiplication theorem | Theorem | Special functions |
| Bochner–Martinelli formula | Theorem | Several complex variables and analytic spaces |
| Bochner's tube theorem | Theorem | Several complex variables and analytic spaces |
| Harish-Chandra isomorphism | Theorem | Nonassociative rings and algebras |
| Harnack's inequality | Theorem | Potential theory |
| Likelihood principle | Axiom | Statistics |
| Nevanlinna parametrization of solutions | Theorem | Integral transforms, operational calculus |
| Fluctuation–dissipation theorem | Theorem | Statistical mechanics, structure of matter |
| Tarski's undefinability theorem | Theorem | Mathematical logic and foundations |
| Dundas–Goodwillie–McCarthy theorem | Theorem | K-theory |
| Three-term recurrence for orthogonal polynomials | Theorem | Harmonic analysis on Euclidean spaces |
| K2 and the Brauer group | Proposition | K-theory |
| Osterwalder–Schrader reconstruction theorem | Theorem | Quantum theory |
| Schützenberger's theorem on star-free languages | Theorem | Computer science |
| Annihilator duality | Theorem | Abstract harmonic analysis |
| Expansion in spherical harmonics | Theorem | Potential theory |
| Mellin transform of a dilation | Proposition | Integral transforms, operational calculus |
| d'Alembert's formula | Theorem | Partial differential equations |
| Burke's theorem | Theorem | Probability theory and stochastic processes |
| Weierstrass–Enneper parameterization | Theorem | Differential geometry |
| Smn theorem | Theorem | Mathematical logic and foundations |
| Classification of covering spaces | Theorem | Manifolds and cell complexes |
| Bose–Einstein condensation | Proposition | Statistical mechanics, structure of matter |
| Laplace's integral for Legendre polynomials | Theorem | Special functions |
| Thermodynamic stability conditions | Theorem | Classical thermodynamics, heat transfer |
| Morse index theorem for geodesics | Theorem | Global analysis, analysis on manifolds |
| Lying over theorem | Theorem | Commutative algebra |
| Sard–Smale theorem | Theorem | Global analysis, analysis on manifolds |
| Lieb–Schultz–Mattis theorem | Theorem | Statistical mechanics, structure of matter |
| Hawking radiation | Theorem | Relativity and gravitational theory |
| Operator exponential and translation | Proposition | Integral transforms, operational calculus |
| Principle of maximum entropy | Theorem | Information and communication theory, circuits |
| Lumer–Phillips theorem | Theorem | Operator theory |
| Morrey's inequality | Theorem | Functional analysis |
| Suslin rigidity theorem | Theorem | K-theory |
| Littlewood's Tauberian theorem | Theorem | Sequences, series, summability |
| von Neumann's theory of almost periodic functions on groups | Theorem | Abstract harmonic analysis |