Statements
A theorem, a lemma, a proposition, a corollary, a fact or an axiom.
- Concepts 5206
- Definitions 5027
- Statements 3081
- Conjectures 75
- Problems 147
- Examples 431
- Counterexamples 71
- Objects 132
- Proofs 11
- Computations 1
- Topics 1
Ideas 1201–1350 of 3081.
| Name | Kind | Subject |
|---|---|---|
| Malgrange–Ehrenpreis theorem | Theorem | Partial differential equations |
| Demailly's regularization of currents | Theorem | Several complex variables and analytic spaces |
| Cauchy integral on Lipschitz curves | Theorem | Harmonic analysis on Euclidean spaces |
| Jones index theorem | Theorem | Functional analysis |
| De Giorgi–Nash–Moser theorem | Theorem | Partial differential equations |
| Cauchy–Pompeiu formula | Theorem | Functions of a complex variable |
| Crossing number inequality | Theorem | Combinatorics |
| Donaldson's theorem | Theorem | Manifolds and cell complexes |
| Remmert–Stein theorem | Theorem | Several complex variables and analytic spaces |
| Jacobi's formula | Theorem | Linear and multilinear algebra; matrix theory |
| Baker's finite basis theorem | Theorem | General algebraic systems |
| Abel–Jacobi theorem | Theorem | Algebraic geometry |
| Lovász local lemma | Lemma | Combinatorics |
| Albert–Brauer–Hasse–Noether theorem | Theorem | Number theory |
| Sacks–Uhlenbeck bubbling | Theorem | Global analysis, analysis on manifolds |
| Marcinkiewicz multiplier theorem | Theorem | Harmonic analysis on Euclidean spaces |
| Plateau's laws | Fact | Calculus of variations and optimal control; optimization |
| Bourget's hypothesis | Theorem | Special functions |
| Borel–Harish-Chandra theorem | Theorem | Group theory and generalizations |
| Lagrange's theorem | Theorem | Group theory and generalizations |
| Milnor fibration theorem | Theorem | Several complex variables and analytic spaces |
| Erdős–Mordell inequality | Theorem | Geometry |
| Fourier transform of radial functions | Theorem | Harmonic analysis on Euclidean spaces |
| Hilbert–Schmidt expansion theorem | Theorem | Integral equations |
| Nilradical is the intersection of the prime ideals | Theorem | Commutative algebra |
| Gelfand–Mazur theorem | Theorem | Functional analysis |
| L2 convergence of Fourier series | Theorem | Harmonic analysis on Euclidean spaces |
| Vector fields on spheres | Theorem | Manifolds and cell complexes |
| Ending lamination theorem | Theorem | Manifolds and cell complexes |
| Universal property of free algebras | Theorem | General algebraic systems |
| T(1) theorem | Theorem | Harmonic analysis on Euclidean spaces |
| Cheng–Yau gradient estimate | Theorem | Potential theory |
| Hurwitz's automorphisms theorem | Theorem | Algebraic geometry |
| Removable singularities for harmonic functions | Theorem | Potential theory |
| Löb's theorem | Theorem | Mathematical logic and foundations |
| Cramér–Wold theorem | Theorem | Probability theory and stochastic processes |
| Leapfrog integration | Proposition | Numerical analysis |
| Grothendieck–Riemann–Roch theorem | Theorem | Algebraic geometry |
| Minimal residual method | Theorem | Numerical analysis |
| Honeycomb theorem | Theorem | Convex and discrete geometry |
| Minimum principle for harmonic functions | Theorem | Potential theory |
| Gelfand's formula | Theorem | Linear and multilinear algebra; matrix theory |
| Birkhoff–von Neumann theorem | Theorem | Linear and multilinear algebra; matrix theory |
| Number of points of a finite projective plane | Proposition | Geometry |
| Ultrafilter lemma | Theorem | Mathematical logic and foundations |
| Gabriel–Popescu theorem | Theorem | Category theory; homological algebra |
| Ratner's theorems | Theorem | Dynamical systems and ergodic theory |
| Milnor–Thurston kneading theory | Theorem | Dynamical systems and ergodic theory |
| Closed subgroup theorem | Theorem | Topological groups, Lie groups |
| Brouwer's characterization of the Cantor space | Theorem | General topology |
| Thue's theorem | Theorem | Convex and discrete geometry |
| Lyusternik's theorem on tangent spaces | Theorem | Calculus of variations and optimal control; optimization |
| Diagonal lemma | Lemma | Mathematical logic and foundations |
| Convergence of the Neumann series for Volterra kernels | Theorem | Integral equations |
| Wigner semicircle law | Theorem | Probability theory and stochastic processes |
| Bendixson–Dulac theorem | Theorem | Ordinary differential equations |
| Poincaré conjecture | Theorem | Manifolds and cell complexes |
| Hurwitz's theorem (number theory) | Theorem | Number theory |
| Michael selection theorem | Theorem | General topology |
| Transfer principle | Theorem | Mathematical logic and foundations |
| Characterization of Shannon entropy | Theorem | Information and communication theory, circuits |
| Brianchon's theorem | Theorem | Geometry |
| Commutant lifting theorem | Theorem | Operator theory |
| Hermite–Hadamard inequality | Theorem | Real functions |
| Hartman's uniqueness theorem for harmonic maps | Theorem | Global analysis, analysis on manifolds |
| Rückert Nullstellensatz | Theorem | Several complex variables and analytic spaces |
| Schoenflies theorem | Theorem | Manifolds and cell complexes |
| Tarski–Seidenberg theorem | Theorem | Algebraic geometry |
| Polar sets and Brownian hitting | Theorem | Probability theory and stochastic processes |
| Durand–Kerner method | Theorem | Numerical analysis |
| Hardy's uncertainty principle | Theorem | Harmonic analysis on Euclidean spaces |
| Wiener–Khinchin theorem | Theorem | Probability theory and stochastic processes |
| Kolmogorov–Arnold–Moser theorem | Theorem | Dynamical systems and ergodic theory |
| Ahlswede–Daykin inequality | Theorem | Combinatorics |
| Minimum degree algorithm | Fact | Numerical analysis |
| Cartan–Hadamard theorem | Theorem | Differential geometry |
| Riemann–Hurwitz formula | Theorem | Algebraic geometry |
| Kahane–Katznelson theorem | Theorem | Harmonic analysis on Euclidean spaces |
| Interlacing of zeros of orthogonal polynomials | Theorem | Harmonic analysis on Euclidean spaces |
| Scheffé's lemma | Lemma | Measure and integration |
| Minakshisundaram–Pleijel asymptotic expansion | Theorem | Global analysis, analysis on manifolds |
| Regula falsi | Theorem | Numerical analysis |
| Jordan–von Neumann theorem | Theorem | Functional analysis |
| Clenshaw algorithm | Proposition | Numerical analysis |
| Löwenheim–Skolem theorem | Theorem | Mathematical logic and foundations |
| Young's inequality for integral operators | Theorem | Integral equations |
| Jensen's formula | Theorem | Functions of a complex variable |
| Weierstrass preparation theorem | Theorem | Commutative algebra |
| Fefferman's ball multiplier theorem | Theorem | Harmonic analysis on Euclidean spaces |
| Hamiltonian Monte Carlo | Proposition | Numerical analysis |
| Schoenberg's embedding criterion | Theorem | Geometry |
| Mostow rigidity theorem | Theorem | Differential geometry |
| Solution of equations with degenerate kernels | Proposition | Integral equations |
| Quartic formula | Theorem | Field theory and polynomials |
| Ramanujan–Petersson conjecture | Theorem | Number theory |
| Galois group of a prime degree polynomial with two nonreal roots | Theorem | Field theory and polynomials |
| g-theorem | Theorem | Convex and discrete geometry |
| Carathéodory's existence theorem | Theorem | Ordinary differential equations |
| Center manifold theorem | Theorem | Dynamical systems and ergodic theory |
| van Dantzig's theorem | Theorem | Topological groups, Lie groups |
| Quillen's theorem on complex cobordism | Theorem | Algebraic topology |
| Dini–Lipschitz criterion | Theorem | Harmonic analysis on Euclidean spaces |
| Wald–Wolfowitz optimality of the sequential probability ratio test | Theorem | Statistics |
| Doob's martingale inequality | Theorem | Probability theory and stochastic processes |
| XYZ inequality | Theorem | Order, lattices, ordered algebraic structures |
| Fredholm alternative | Theorem | Linear and multilinear algebra; matrix theory |
| Max-flow min-cut theorem | Theorem | Combinatorics |
| Legendre condition | Theorem | Calculus of variations and optimal control; optimization |
| Mazur–Ulam theorem | Theorem | Functional analysis |
| Kahan summation algorithm | Theorem | Numerical analysis |
| Turán's inequalities | Theorem | Special functions |
| Hom-set characterization of adjunctions | Theorem | Category theory; homological algebra |
| Barbalat's lemma | Lemma | Ordinary differential equations |
| Siegel's theorem on integral points | Theorem | Number theory |
| Artin–Tate lemma | Lemma | Commutative algebra |
| Mehta integral | Theorem | Special functions |
| Smoothing by convolution | Proposition | Integral transforms, operational calculus |
| Strichartz estimate | Theorem | Partial differential equations |
| Importance sampling | Theorem | Numerical analysis |
| Stein factorization | Theorem | Algebraic geometry |
| Harish-Chandra embedding | Theorem | Several complex variables and analytic spaces |
| Oppenheim conjecture | Theorem | Number theory |
| Maschke's theorem | Theorem | Group theory and generalizations |
| Portmanteau theorem | Theorem | Probability theory and stochastic processes |
| Feldman–Hájek theorem | Theorem | Measure and integration |
| Nevanlinna–Pick interpolation | Theorem | Functions of a complex variable |
| Fredholm series for the resolvent | Theorem | Integral equations |
| Lichnerowicz formula | Theorem | Differential geometry |
| Dehn–Sommerville equations | Theorem | Convex and discrete geometry |
| Céa's lemma | Lemma | Numerical analysis |
| Poincaré–Hopf theorem | Theorem | Manifolds and cell complexes |
| Iwasawa decomposition of a Lie group | Theorem | Topological groups, Lie groups |
| Chu–Vandermonde identity | Theorem | Special functions |
| Universal property of the free magma | Proposition | General algebraic systems |
| Benedicks' theorem | Theorem | Harmonic analysis on Euclidean spaces |
| Birkhoff's HSP theorem | Theorem | General algebraic systems |
| Paris–Harrington theorem | Theorem | Mathematical logic and foundations |
| Stirling's formula for the gamma function | Theorem | Special functions |
| Bochner's classification of orthogonal polynomial eigenfunctions | Theorem | Special functions |
| Weierstrass product for the gamma function | Theorem | Special functions |
| Consistency of the maximum likelihood estimator | Theorem | Statistics |
| Monodromy theorem | Theorem | Functions of a complex variable |
| Godunov's theorem | Theorem | Numerical analysis |
| Fodor's lemma | Lemma | Mathematical logic and foundations |
| Class number formula | Theorem | Number theory |
| Hochster–Roberts theorem | Theorem | Commutative algebra |
| h-cobordism theorem | Theorem | Manifolds and cell complexes |
| Lieb–Thirring inequality | Theorem | Partial differential equations |
| Giraud's theorem | Theorem | Category theory; homological algebra |
| Dolbeault–Grothendieck lemma | Lemma | Several complex variables and analytic spaces |