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 3151–3300 of 3950.
| Name | Kind | Subject |
|---|---|---|
| Schreier refinement theorem | Theorem | Group theory and generalizations |
| Variation of parameters for difference equations | Theorem | Difference and functional equations |
| Lehmann–Scheffé theorem | Theorem | Statistics |
| Snell's law for seismic rays | Theorem | Geophysics |
| Equivalence principle | Fact | Relativity and gravitational theory |
| Jordan curve theorem for polygons | Theorem | Geometry |
| Lenagan's theorem | Theorem | Associative rings and algebras |
| Quantum threshold theorem | Theorem | Quantum theory |
| John–Nirenberg inequality | Theorem | Harmonic analysis on Euclidean spaces |
| Pontryagin duality theorem | Theorem | Abstract harmonic analysis |
| Iterative refinement | Proposition | Numerical analysis |
| Removable sets for bounded harmonic functions | Theorem | Potential theory |
| Cheeger–Gromoll splitting theorem | Theorem | Differential geometry |
| Sanov's theorem | Theorem | Probability theory and stochastic processes |
| Nonemptiness of the spectrum | Theorem | Functional analysis |
| Addition formulas for Jacobi elliptic functions | Theorem | Special functions |
| Solvability of x^n - a | Proposition | Field theory and polynomials |
| Frankel conjecture | Theorem | Several complex variables and analytic spaces |
| Castelnuovo's rationality criterion | Theorem | Algebraic geometry |
| Convolution theorem | Theorem | Harmonic analysis on Euclidean spaces |
| Feichtinger conjecture | Theorem | Harmonic analysis on Euclidean spaces |
| Cartan's classification of bounded symmetric domains | Theorem | Several complex variables and analytic spaces |
| Tits alternative | Theorem | Group theory and generalizations |
| Valuative criterion | Theorem | Algebraic geometry |
| Space hierarchy theorem | Theorem | Computer science |
| Hilbert's syzygy theorem | Theorem | Commutative algebra |
| Artin–Wedderburn theorem | Theorem | Associative rings and algebras |
| Marcinkiewicz interpolation theorem | Theorem | Functional analysis |
| Rejection sampling | Theorem | Numerical analysis |
| Picard's little theorem | Theorem | Functions of a complex variable |
| Birthday attack | Proposition | Information and communication theory, circuits |
| Liouville's theorems on elliptic functions | Theorem | Special functions |
| Ogden's lemma | Lemma | Computer science |
| Bruck–Ryser–Chowla theorem | Theorem | Combinatorics |
| Sturm's theorem | Theorem | Field theory and polynomials |
| Neumann's addition theorem | Theorem | Special functions |
| Euler's pentagonal number theorem | Theorem | Number theory |
| No free lunch theorem for optimization | Theorem | Operations research, mathematical programming |
| Entropy power inequality | Theorem | Information and communication theory, circuits |
| Ruzsa triangle inequality | Theorem | Number theory |
| Cartan's theorem B | Theorem | Several complex variables and analytic spaces |
| Bass–Heller–Swan theorem | Theorem | K-theory |
| Hasse–Minkowski theorem | Theorem | Number theory |
| Frobenius theorem on Cesàro and Abel summability | Theorem | Sequences, series, summability |
| Schur complement method | Proposition | Numerical analysis |
| Cauchy–Fantappiè formula | Theorem | Several complex variables and analytic spaces |
| Thue–Siegel–Roth theorem | Theorem | Number theory |
| Friedberg–Muchnik theorem | Theorem | Mathematical logic and foundations |
| Biot–Savart law | Fact | Optics, electromagnetic theory |
| Toeplitz index theorem | Theorem | Operator theory |
| Weyl's inequality | Theorem | Linear and multilinear algebra; matrix theory |
| No-hair theorem | Theorem | Relativity and gravitational theory |
| Callan–Symanzik equation | Theorem | Quantum theory |
| Singleton bound | Theorem | Information and communication theory, circuits |
| Four-point condition for tree metrics | Theorem | Biology and other natural sciences |
| Dugundji extension theorem | Theorem | General topology |
| Golod–Shafarevich theorem | Theorem | Associative rings and algebras |
| Karlin–Rubin theorem | Theorem | Statistics |
| Gromov's non-squeezing theorem | Theorem | Differential geometry |
| Jordan–Zassenhaus theorem | Theorem | Associative rings and algebras |
| Vogt–Russell theorem | Fact | Astronomy and astrophysics |
| Fundamental identity for ramification and inertia | Theorem | Number theory |
| Gauss–Jacobi quadrature | Theorem | Numerical analysis |
| Euler's theorem in geometry | Theorem | Geometry |
| Hu–Washizu principle | Theorem | Mechanics of deformable solids |
| Bing metrization theorem | Theorem | General topology |
| A tree with at least two vertices has at least two leaves | Proposition | Combinatorics |
| Whitney extension theorem | Theorem | Real functions |
| Graeffe's method | Theorem | Numerical analysis |
| Beeman's algorithm | Proposition | Numerical analysis |
| Knaster–Tarski theorem | Theorem | Order, lattices, ordered algebraic structures |
| Reynolds analogy | Proposition | Classical thermodynamics, heat transfer |
| Beth definability theorem | Theorem | Mathematical logic and foundations |
| Jensen's covering theorem | Theorem | Mathematical logic and foundations |
| Heun's method | Proposition | Numerical analysis |
| Fundamental convergence theorem | Theorem | Potential theory |
| Kac–Weyl character formula | Theorem | Nonassociative rings and algebras |
| Projective bundle theorem | Theorem | K-theory |
| Ramanujan's 1psi1 summation | Theorem | Special functions |
| Dirichlet's principle | Theorem | Potential theory |
| Mackey–Arens theorem | Theorem | Functional analysis |
| Fermat's principle | Fact | Optics, electromagnetic theory |
| Ornstein–Zernike correlation decay | Theorem | Statistical mechanics, structure of matter |
| Kelvin–Planck statement of the second law | Fact | Classical thermodynamics, heat transfer |
| Analyticity of the bilateral Laplace transform of a law | Theorem | Integral transforms, operational calculus |
| Gelfond–Schneider theorem | Theorem | Number theory |
| Sokhotski–Plemelj theorem | Theorem | Functions of a complex variable |
| Lattice of stable matchings | Theorem | Game theory, economics, finance, and other social and behavioral sciences |
| Halley's method | Theorem | Numerical analysis |
| Mellin transform of a power times a function | Proposition | Integral transforms, operational calculus |
| Law of the iterated logarithm | Theorem | Probability theory and stochastic processes |
| Taylor–Proudman theorem | Theorem | Fluid mechanics |
| Mazur's torsion theorem | Theorem | Number theory |
| Asymptotic freedom | Theorem | Quantum theory |
| Gromov's theorem on groups of polynomial growth | Theorem | Group theory and generalizations |
| Appell's equation of motion | Theorem | Mechanics of particles and systems |
| Krein–Milman theorem | Theorem | Functional analysis |
| Clifford's theorem on special divisors | Theorem | Algebraic geometry |
| Duhamel–Neumann law | Fact | Mechanics of deformable solids |
| Apéry's theorem | Theorem | Number theory |
| Petrov–Galerkin method | Theorem | Numerical analysis |
| Almgren's regularity theorem | Theorem | Calculus of variations and optimal control; optimization |
| Nagaoka ferromagnetism | Theorem | Statistical mechanics, structure of matter |
| Hamilton's rule | Proposition | Biology and other natural sciences |
| Carleman's condition | Theorem | Integral transforms, operational calculus |
| Gauss's law | Theorem | Optics, electromagnetic theory |
| Lebesgue constants of the Dirichlet kernel | Proposition | Harmonic analysis on Euclidean spaces |
| Serre's modularity conjecture | Theorem | Number theory |
| Fundamental theorem of calculus for Lebesgue integrals | Theorem | Real functions |
| Bluestein's FFT algorithm | Theorem | Numerical analysis |
| Fenchel's duality theorem | Theorem | Operations research, mathematical programming |
| Kurosh subgroup theorem | Theorem | Group theory and generalizations |
| Phyllotaxis and the golden angle | Proposition | Biology and other natural sciences |
| Euler's theorem on normal curvatures | Theorem | Differential geometry |
| Adjunction formula | Theorem | Algebraic geometry |
| Calderón–Zygmund estimates | Theorem | Partial differential equations |
| Hamming bound | Theorem | Information and communication theory, circuits |
| An infinite product converges iff its series of logarithms converges | Proposition | Sequences, series, summability |
| Johnson's theorem on amenable group algebras | Theorem | Abstract harmonic analysis |
| Wigner–Eckart theorem | Theorem | Quantum theory |
| Cramér's theorem | Theorem | Probability theory and stochastic processes |
| Seifert–van Kampen theorem | Theorem | Manifolds and cell complexes |
| Erdős–Rado theorem | Theorem | Mathematical logic and foundations |
| Oka principle | Theorem | Several complex variables and analytic spaces |
| Uncertainty principle in Fourier analysis | Theorem | Harmonic analysis on Euclidean spaces |
| Kirchhoff's matrix tree theorem | Theorem | Combinatorics |
| Jeans instability | Proposition | Astronomy and astrophysics |
| Minlos theorem | Theorem | Measure and integration |
| Lovász bound on the Shannon capacity | Theorem | Combinatorics |
| Gordon–Newell theorem | Theorem | Probability theory and stochastic processes |
| Hopf's formula | Theorem | Group theory and generalizations |
| Zero divisors are the union of associated primes | Theorem | Commutative algebra |
| Ginzburg criterion | Fact | Statistical mechanics, structure of matter |
| Lorentz force | Fact | Optics, electromagnetic theory |
| Kermack–McKendrick theory | Theorem | Biology and other natural sciences |
| Silverman–Toeplitz theorem | Theorem | Sequences, series, summability |
| Stone's representation theorem for Boolean algebras | Theorem | Order, lattices, ordered algebraic structures |
| Rankine–Hugoniot conditions | Theorem | Partial differential equations |
| Tolman surface brightness test | Theorem | Astronomy and astrophysics |
| Orthogonality of characters | Theorem | Abstract harmonic analysis |
| Unique factorization of ideals in a Dedekind domain | Theorem | Commutative algebra |
| Hardy's inequality | Theorem | Real functions |
| Revenue equivalence theorem | Theorem | Game theory, economics, finance, and other social and behavioral sciences |
| Bidiagonalization | Theorem | Numerical analysis |
| Båth's law | Fact | Geophysics |
| Selberg integral | Theorem | Special functions |
| Chebyshev's sum inequality | Theorem | Real functions |
| Vis-viva equation | Proposition | Mechanics of particles and systems |
| Fatou's lemma | Lemma | Measure and integration |
| Fast Fourier transform | Theorem | Numerical analysis |