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 70
- Computations 1
- Topics 1
Ideas 3901–3987 of 3987.
| Name | Kind | Subject |
|---|---|---|
| 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 |
| Anderson–Kadec theorem | Theorem | Manifolds and cell complexes |
| Dévissage | Theorem | K-theory |
| No-retraction theorem | Theorem | Algebraic topology |
| Fisher–Neyman factorization theorem | Theorem | Statistics |
| Four-vertex theorem | Theorem | Differential geometry |
| Scaling relations among critical exponents | Proposition | Statistical mechanics, structure of matter |
| Atiyah–Hirzebruch spectral sequence | Theorem | Algebraic topology |
| 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 |
| Gravitational memory effect | Fact | Relativity and gravitational theory |
| Synge's theorem | Theorem | Differential geometry |
| Reeb stability theorem | Theorem | Manifolds and cell complexes |
| Aizenman–Higuchi theorem | Theorem | Statistical mechanics, structure of matter |
| Young–Laplace equation | Theorem | Fluid mechanics |
| Hurewicz theorem | Theorem | Algebraic topology |
| CSP dichotomy theorem | Theorem | General algebraic systems |
| Boutet de Monvel's embedding theorem | Theorem | Several complex variables and analytic spaces |
| First and second variation of arc length | Theorem | Differential geometry |
| Bernstein's theorem on monotone functions | Theorem | Real functions |
| Principle of virtual work | Theorem | Mechanics of particles and systems |
| Functional equation of the gamma function | Theorem | Special functions |
| Alexandrov's theorem on polyhedra | Theorem | Convex and discrete geometry |
| Division with remainder for natural numbers | Theorem | Number theory |
| Barratt–Priddy–Quillen theorem | Theorem | Algebraic topology |
| Sklar's theorem | Theorem | Statistics |
| Ehrhart–Macdonald reciprocity | Theorem | Convex and discrete geometry |
| Bareiss algorithm | Theorem | Numerical analysis |
| Anti-equivalence of affine schemes and rings | Theorem | Algebraic geometry |
| Smirnov's theorem on conformal invariance of percolation | Theorem | Statistical mechanics, structure of matter |
| Hartogs lemma for subharmonic functions | Lemma | Potential theory |
| Three-moment equation | Theorem | Mechanics of deformable solids |
| Hex theorem that the first player wins | Theorem | Game theory, economics, finance, and other social and behavioral sciences |
| Optical theorem | Theorem | Optics, electromagnetic theory |
| Cone theorem | Theorem | Algebraic geometry |
| Adams' theorem on Hopf invariant one | Theorem | Algebraic topology |
| Jacobi identity | Proposition | Nonassociative rings and algebras |
| Holomorphy of the gamma function | Theorem | Special functions |
| Mellin transform under inversion of the variable | Proposition | Integral transforms, operational calculus |
| Frenet–Serret formulas | Theorem | Differential geometry |
| Banach–Zarecki theorem | Theorem | Real functions |
| Bieberbach conjecture | Theorem | Functions of a complex variable |
| Ramanujan's master theorem | Theorem | Integral transforms, operational calculus |
| Grauert's direct image theorem | Theorem | Several complex variables and analytic spaces |
| Fourier transform of the Gaussian | Proposition | Harmonic analysis on Euclidean spaces |
| Finite-dimensional Hausdorff vector topologies are Euclidean | Theorem | Functional analysis |
| Landauer's principle | Fact | Statistical mechanics, structure of matter |
| Kazhdan–Lusztig conjecture | Theorem | Nonassociative rings and algebras |
| Skolem–Mahler–Lech theorem | Theorem | Number theory |
| Pauli exclusion principle | Proposition | Quantum theory |
| Whitney–Graustein theorem | Theorem | Manifolds and cell complexes |
| Łoś–Vaught test | Theorem | Mathematical logic and foundations |
| Yarkovsky effect | Fact | Mechanics of particles and systems |
| Laws of thermodynamics | Fact | Classical thermodynamics, heat transfer |
| Bochner's theorem | Theorem | Abstract harmonic analysis |
| Jacobi condition | Theorem | Calculus of variations and optimal control; optimization |
| Support of a convolution | Proposition | Integral transforms, operational calculus |
| Kármán–Howarth equation | Proposition | Fluid mechanics |
| Glen's flow law | Fact | Geophysics |
| Morley's trisector theorem | Theorem | Geometry |
| Faber's theorem on interpolation | Theorem | Approximations and expansions |
| Hindman's theorem | Theorem | Combinatorics |
| Mellin transform as a Fourier transform in logarithmic variables | Proposition | Integral transforms, operational calculus |
| Grothendieck spectral sequence | Theorem | Category theory; homological algebra |
| Montel's theorem | Theorem | Functions of a complex variable |
| No surjection from the positive integers onto the unit interval | Proposition | Mathematical logic and foundations |
| 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 |
| Biot–Savart law for vortex filaments | Proposition | Fluid mechanics |
| Maupertuis's principle | Theorem | Mechanics of particles and systems |
| Transitivity of integrality | Proposition | Commutative algebra |
| Khachiyan's theorem that linear programming is in P | Theorem | Operations research, mathematical programming |
| Boundary integral equation for the Dirichlet problem | Theorem | Potential theory |
| Iwasawa decomposition | Theorem | Nonassociative rings and algebras |
| Chapman–Jouguet condition | Proposition | Fluid mechanics |
| Stein–Tomas restriction theorem | Theorem | Harmonic analysis on Euclidean spaces |