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 3601–3750 of 3950.
| Name | Kind | Subject |
|---|---|---|
| Unique solvability of Volterra equations of the second kind | Theorem | Integral equations |
| Post's functional completeness theorem | Theorem | Order, lattices, ordered algebraic structures |
| Titchmarsh convolution theorem | Theorem | Integral transforms, operational calculus |
| Midpoint method | Proposition | Numerical analysis |
| Hadamard three-lines theorem | Theorem | Functions of a complex variable |
| Castelnuovo's contraction theorem | Theorem | Algebraic geometry |
| Calabi conjecture | Theorem | Several complex variables and analytic spaces |
| Lebesgue's lemma on near-best approximation | Lemma | Approximations and expansions |
| PCP theorem | Theorem | Computer science |
| Envelope theorem | Theorem | Operations research, mathematical programming |
| Haag–Łopuszański–Sohnius theorem | Theorem | Quantum theory |
| Gamma of one half | Proposition | Special functions |
| Equipartition theorem | Theorem | Statistical mechanics, structure of matter |
| Baker's theorem | Theorem | Number theory |
| Corona theorem | Theorem | Functions of a complex variable |
| Riemann–Roch theorem | Theorem | Algebraic geometry |
| Bott periodicity theorem | Theorem | Algebraic topology |
| Antithetic variates | Theorem | Numerical analysis |
| Szegő limit theorems | Theorem | Operator theory |
| Robertson–Seymour theorem | Theorem | Combinatorics |
| Penrose–Hawking singularity theorems | Theorem | Relativity and gravitational theory |
| Gödel's completeness theorem | Theorem | Mathematical logic and foundations |
| Easton's theorem | Theorem | Mathematical logic and foundations |
| Wilks' theorem | Theorem | Statistics |
| McKay conjecture | Theorem | Group theory and generalizations |
| Jackson's inequality | Theorem | Approximations and expansions |
| Prandtl–Glauert transformation | Proposition | Fluid mechanics |
| Gibbs–Bogoliubov inequality | Theorem | Statistical mechanics, structure of matter |
| Kolmogorov extension theorem | Theorem | Probability theory and stochastic processes |
| Uniqueness of solutions given initial values | Proposition | Difference and functional equations |
| Griffith criterion | Proposition | Mechanics of deformable solids |
| Rodrigues' rotation formula | Proposition | Mechanics of particles and systems |
| Lebesgue's density theorem | Theorem | Measure and integration |
| Uniqueness of Haar measure | Theorem | Measure and integration |
| Riemann–Lebesgue lemma for abelian groups | Theorem | Abstract harmonic analysis |
| Stability of matter | Theorem | Quantum theory |
| Van Cittert–Zernike theorem | Theorem | Optics, electromagnetic theory |
| Cartan's test for involutivity | Theorem | Global analysis, analysis on manifolds |
| Cox–de Boor recursion | Theorem | Approximations and expansions |
| Riemann–Lebesgue lemma | Theorem | Harmonic analysis on Euclidean spaces |
| BCMP network | Theorem | Probability theory and stochastic processes |
| Riesz–Fischer theorem | Theorem | Functional analysis |
| Hohenberg–Kohn theorems | Theorem | Quantum theory |
| GAGA | Theorem | Several complex variables and analytic spaces |
| Stokes' law | Theorem | Fluid mechanics |
| Fubini's theorem for series | Theorem | Sequences, series, summability |
| Newman's lemma | Lemma | Computer science |
| Wang sequence | Theorem | Algebraic topology |
| Koebe quarter theorem | Theorem | Functions of a complex variable |
| Poisson integral for the half-space | Theorem | Potential theory |
| Yoneda Ext and extensions | Theorem | Category theory; homological algebra |
| Asymptotic stability of linear recurrences | Theorem | Difference and functional equations |
| Hurwitz's theorem on composition algebras | Theorem | Nonassociative rings and algebras |
| Pendry's perfect lens | Proposition | Optics, electromagnetic theory |
| Riemann–Roch without denominators | Theorem | Algebraic geometry |
| Polar decomposition of the deformation gradient | Theorem | Mechanics of deformable solids |
| Adams conjecture | Theorem | Algebraic topology |
| Thomason's étale descent theorem | Theorem | K-theory |
| Miner's rule | Fact | Mechanics of deformable solids |
| Kozeny–Carman equation | Fact | Fluid mechanics |
| Mellin's inverse formula | Theorem | Integral transforms, operational calculus |
| Kochen–Specker theorem | Theorem | Quantum theory |
| Quillen–Lichtenbaum conjecture | Theorem | K-theory |
| Calabi–Weil rigidity | Corollary | Differential geometry |
| Tanh-sinh quadrature | Proposition | Numerical analysis |
| Schur's lemma | Lemma | Associative rings and algebras |
| Mittag-Leffler's theorem | Theorem | Functions of a complex variable |
| Chasles' theorem | Theorem | Mechanics of particles and systems |
| Beltrami–Michell compatibility equations | Theorem | Mechanics of deformable solids |
| Lieb–Wu solution of the one-dimensional Hubbard model | Theorem | Statistical mechanics, structure of matter |
| Colorful Carathéodory theorem | Theorem | Convex and discrete geometry |
| Greedy algorithm for matroids | Theorem | Combinatorics |
| Milnor fibre is a bouquet of spheres | Theorem | Several complex variables and analytic spaces |
| Abel–Dini theorem | Theorem | Sequences, series, summability |
| Additive Schwarz method | Theorem | Numerical analysis |
| Inner-outer factorization | Theorem | Functions of a complex variable |
| Spectral theorem for bounded normal operators | Theorem | Operator theory |
| Dual of a compact group is discrete | Proposition | Abstract harmonic analysis |
| Robbins conjecture | Theorem | Order, lattices, ordered algebraic structures |
| Artin's theorem on fixed fields | Theorem | Field theory and polynomials |
| Bondy's theorem | Theorem | Combinatorics |
| Lie algebra of a compact group is reductive | Theorem | Topological groups, Lie groups |
| Poynting's theorem | Theorem | Optics, electromagnetic theory |
| Quasi-steady-state approximation | Theorem | Biology and other natural sciences |
| Jensen inequality as a functional inequality | Proposition | Difference and functional equations |
| Newtonian limit | Fact | Relativity and gravitational theory |
| Baker–Campbell–Hausdorff formula | Theorem | Topological groups, Lie groups |
| Mayer–Vietoris sequence | Theorem | Algebraic topology |
| Orthogonality of eigenfunctions of the equation x'' + lambda x = 0 with standard boundary conditions | Theorem | Ordinary differential equations |
| Stinespring dilation theorem | Theorem | Functional analysis |
| Balancing domain decomposition | Theorem | Numerical analysis |
| Hilbert's tenth problem | Theorem | Number theory |
| Chebotarev's density theorem | Theorem | Number theory |
| Bangert–Franks theorem on closed geodesics on the sphere | Theorem | Global analysis, analysis on manifolds |
| Cowling's antidynamo theorem | Theorem | Fluid mechanics |
| F. and M. Riesz theorem | Theorem | Functions of a complex variable |
| Gödel's incompleteness theorems | Theorem | Mathematical logic and foundations |
| Weyl's theorem on compact perturbations | Theorem | Operator theory |
| Cotlar–Stein lemma | Lemma | Harmonic analysis on Euclidean spaces |
| Lindelöf's theorem | Theorem | Functions of a complex variable |
| Gromoll–Meyer theorem on closed geodesics | Theorem | Global analysis, analysis on manifolds |
| Classification of simple Lie algebras | Theorem | Nonassociative rings and algebras |
| Fubini's theorem on differentiation | Theorem | Real functions |
| Gauss–Laguerre quadrature | Theorem | Numerical analysis |
| Siegel–Walfisz theorem | Theorem | Number theory |
| Filippov's existence theorem | Theorem | Calculus of variations and optimal control; optimization |
| Kirchberg–Phillips classification theorem | Theorem | Functional analysis |
| Hadamard's two-constants theorem | Theorem | Functions of a complex variable |
| Cartan–Kähler theorem | Theorem | Global analysis, analysis on manifolds |
| Stability conjecture | Theorem | Dynamical systems and ergodic theory |
| Johnson's rule | Theorem | Operations research, mathematical programming |
| Noether's theorem | Theorem | Mechanics of particles and systems |
| 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 |
| Mellin inversion theorem | Theorem | Integral transforms, operational calculus |
| 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 |