Statements
A theorem, a lemma, a proposition, a corollary, a fact or an axiom.
- Concepts 7495
- Definitions 7188
- Statements 4102
- Conjectures 119
- Problems 257
- Examples 672
- Counterexamples 88
- Objects 168
- Proofs 77
- Computations 1
- Topics 1
Ideas 4051–4102 of 4102.
| Name | Kind | Subject |
|---|---|---|
| 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 |
| Count of integers up to n divisible by a set of primes dividing n | Proposition | Number theory |
| 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 |
| Addition and multiplication of rationals respect equality | Theorem | Number theory |
| 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 |