Statements
A theorem, a lemma, a proposition, a corollary, a fact or an axiom.
- Concepts 4454
- Definitions 4288
- Statements 2528
- Conjectures 69
- Problems 106
- Examples 346
- Counterexamples 63
- Objects 119
- Proofs 10
- Computations 1
- Topics 1
Ideas 2401–2528 of 2528.
| Name | Kind | Subject |
|---|---|---|
| Stability conjecture | Theorem | Dynamical systems and ergodic theory |
| Skorokhod's embedding theorem | Theorem | Probability theory and stochastic processes |
| Beckman–Quarles theorem | Theorem | Geometry |
| Decay of Fourier coefficients and smoothness | Theorem | Harmonic analysis on Euclidean spaces |
| Gleason–Yamabe theorem | Theorem | Topological groups, Lie groups |
| 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 |
| Triangle removal lemma | Lemma | Combinatorics |
| Bounded gaps between primes | Theorem | Number theory |
| Nesbitt's inequality | Proposition | Real functions |
| Goodstein's theorem | Theorem | Mathematical logic and foundations |
| Hodge index theorem | Theorem | Algebraic geometry |
| Finiteness of associated primes | Theorem | Commutative algebra |
| Cyclic term theorem | Theorem | General algebraic systems |
| Jordan–Schur theorem | Theorem | Group theory and generalizations |
| Kruskal's tree theorem | Theorem | Combinatorics |
| Blaschke–Lebesgue theorem | Theorem | Convex and discrete geometry |
| Balian–Low theorem | Theorem | Harmonic analysis on Euclidean spaces |
| Landau's necessary density conditions for sampling | Theorem | Information and communication theory, circuits |
| Poncelet's closure theorem | Theorem | Geometry |
| Kontsevich formality theorem | Theorem | Differential geometry |
| Classification of regular polytopes | Theorem | Geometry |
| Generalized mean inequality | Theorem | Real functions |
| Erdős–Stone theorem | Theorem | Combinatorics |
| Tannery's theorem | Theorem | Sequences, series, summability |
| Carleson–Sjölin theorem | Theorem | Harmonic analysis on Euclidean spaces |
| Singer's theorem | Theorem | Dynamical systems and ergodic theory |
| Borg–Marchenko uniqueness theorem | Theorem | Ordinary differential equations |
| 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 |
| Sauer–Shelah lemma | Lemma | Combinatorics |
| Schur–Horn theorem | Theorem | Linear and multilinear algebra; matrix theory |
| Generic flatness | Theorem | Algebraic geometry |
| Girard's theorem | Theorem | Geometry |
| Minkowski–Hlawka theorem | Theorem | Number theory |
| Euler's continued fraction formula | Theorem | Sequences, series, summability |
| 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 |
| Approximation by convolution with mollifiers | Theorem | Functional analysis |
| Artin–Schreier theorem on formally real fields | Theorem | Field theory and polynomials |
| Amitsur–Levitzki theorem | Theorem | Associative rings and algebras |
| Going-down theorem | Theorem | Commutative algebra |
| Mazur–Orlicz theorem | Theorem | Sequences, series, summability |
| 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 |
| Gromov's compactness theorem | Theorem | Differential geometry |
| A Dedekind UFD is a PID | Proposition | Commutative algebra |
| Langlands classification | Theorem | Topological groups, Lie groups |
| 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 |
| Theorema Egregium | Theorem | Differential geometry |
| Rellich–Kondrachov theorem | Theorem | Functional analysis |
| Harnack's inequality | Theorem | Potential theory |
| Likelihood principle | Axiom | Statistics |
| Tarski's undefinability theorem | Theorem | Mathematical logic and foundations |
| Three-term recurrence for orthogonal polynomials | Theorem | Harmonic analysis on Euclidean spaces |
| d'Alembert's formula | Theorem | Partial differential equations |
| Weierstrass–Enneper parameterization | Theorem | Differential geometry |
| Smn theorem | Theorem | Mathematical logic and foundations |
| Classification of covering spaces | Theorem | Manifolds and cell complexes |
| Laplace's integral for Legendre polynomials | Theorem | Special functions |
| Lying over theorem | Theorem | Commutative algebra |
| Lumer–Phillips theorem | Theorem | Operator theory |
| Morrey's inequality | Theorem | Functional analysis |
| Littlewood's Tauberian theorem | Theorem | Sequences, series, summability |
| Myers–Steenrod theorem | Theorem | Differential geometry |
| Hairy ball theorem | Theorem | Manifolds and cell complexes |
| O'Nan–Scott theorem | Theorem | Group theory and generalizations |
| Whittaker–Shannon interpolation formula | Theorem | Information and communication theory, circuits |
| No-retraction theorem | Theorem | Algebraic topology |
| Fisher–Neyman factorization theorem | Theorem | Statistics |
| Four-vertex theorem | Theorem | Differential geometry |
| Girsanov theorem | Theorem | Probability theory and stochastic processes |
| Golden–Thompson inequality | Theorem | Linear and multilinear algebra; matrix theory |
| Sard's theorem | Theorem | Global analysis, analysis on manifolds |
| Undecidability of the halting problem | Theorem | Mathematical logic and foundations |
| Word problem for free lattices | Theorem | Order, lattices, ordered algebraic structures |
| Stone–von Neumann theorem | Theorem | Topological groups, Lie groups |
| Euler integral for the gamma function | Theorem | Special functions |
| Synge's theorem | Theorem | Differential geometry |
| Reeb stability theorem | Theorem | Manifolds and cell complexes |
| Hurewicz theorem | Theorem | Algebraic topology |
| CSP dichotomy theorem | Theorem | General algebraic systems |
| First and second variation of arc length | Theorem | Differential geometry |
| Bernstein's theorem on monotone functions | Theorem | Real functions |
| Functional equation of the gamma function | Theorem | Special functions |
| Alexandrov's theorem on polyhedra | Theorem | Convex and discrete geometry |
| Barratt–Priddy–Quillen theorem | Theorem | Algebraic topology |
| Sklar's theorem | Theorem | Statistics |
| Ehrhart–Macdonald reciprocity | Theorem | Convex and discrete geometry |
| Anti-equivalence of affine schemes and rings | Theorem | Algebraic geometry |
| Cone theorem | Theorem | Algebraic geometry |
| Adams' theorem on Hopf invariant one | Theorem | Algebraic topology |
| Holomorphy of the gamma function | Theorem | Special functions |
| Frenet–Serret formulas | Theorem | Differential geometry |
| Banach–Zarecki theorem | Theorem | Real functions |
| Bieberbach conjecture | Theorem | Functions of a complex variable |
| Fourier transform of the Gaussian | Proposition | Harmonic analysis on Euclidean spaces |
| Finite-dimensional Hausdorff vector topologies are Euclidean | Theorem | Functional analysis |
| Whitney–Graustein theorem | Theorem | Manifolds and cell complexes |
| Łoś–Vaught test | Theorem | Mathematical logic and foundations |
| Bochner's theorem | Theorem | Abstract harmonic analysis |
| Morley's trisector theorem | Theorem | Geometry |
| Hindman's theorem | Theorem | Combinatorics |
| Grothendieck spectral sequence | Theorem | Category theory; homological algebra |
| Montel's theorem | Theorem | Functions of a complex variable |
| Mason–Stothers theorem | Theorem | Number theory |
| Weak Nullstellensatz | Theorem | Commutative algebra |
| Newton–Puiseux theorem | Theorem | Commutative algebra |
| Hellinger–Toeplitz theorem | Theorem | Operator theory |
| Absolute continuity of the Lebesgue integral | Proposition | Measure and integration |
| Transitivity of integrality | Proposition | Commutative algebra |
| Stein–Tomas restriction theorem | Theorem | Harmonic analysis on Euclidean spaces |