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 1651–1800 of 3081.
| Name | Kind | Subject |
|---|---|---|
| Conjugate gradient method | Theorem | Numerical analysis |
| Hilbert–Burch theorem | Theorem | Commutative algebra |
| Binet's formulas for the log-gamma function | Theorem | Special functions |
| Riesz–Thorin theorem | Theorem | Functional analysis |
| Khintchine inequality | Theorem | Probability theory and stochastic processes |
| Łoś's theorem | Theorem | Mathematical logic and foundations |
| Kneser's construction of real analytic tetration | Theorem | Difference and functional equations |
| Long exact sequence in homology | Theorem | Category theory; homological algebra |
| Serre spectral sequence | Theorem | Algebraic topology |
| Milman–Pettis theorem | Theorem | Functional analysis |
| Bauer–Fike theorem | Theorem | Linear and multilinear algebra; matrix theory |
| Rice's theorem | Theorem | Mathematical logic and foundations |
| Existence of best approximations from finite-dimensional subspaces | Theorem | Approximations and expansions |
| Dedekind's characterization of modular lattices | Theorem | Order, lattices, ordered algebraic structures |
| Eells–Sampson theorem | Theorem | Global analysis, analysis on manifolds |
| Jean Taylor's theorem on soap film singularities | Theorem | Calculus of variations and optimal control; optimization |
| Atomic decomposition of Hardy spaces | Theorem | Harmonic analysis on Euclidean spaces |
| Halmos–von Neumann theorem | Theorem | Dynamical systems and ergodic theory |
| Edge-of-the-wedge theorem | Theorem | Several complex variables and analytic spaces |
| Atiyah–Bott theorem on Yang–Mills over Riemann surfaces | Theorem | Global analysis, analysis on manifolds |
| Lüroth's theorem | Theorem | Field theory and polynomials |
| Tensor-hom adjunction | Theorem | Category theory; homological algebra |
| Kronecker–Weber theorem | Theorem | Number theory |
| Hua's identity | Proposition | Associative rings and algebras |
| Long exact sequence of a pair | Theorem | Algebraic topology |
| Schur orthogonality relations | Theorem | Group theory and generalizations |
| Cut-elimination theorem | Theorem | Mathematical logic and foundations |
| Carathéodory's theorem on boundary extension | Theorem | Functions of a complex variable |
| Ebin's slice theorem | Theorem | Global analysis, analysis on manifolds |
| Smoothness and analyticity of harmonic functions | Theorem | Potential theory |
| Green's function and the Riemann map | Proposition | Potential theory |
| Sobolev inequality | Theorem | Functional analysis |
| Convergence to equilibrium of ergodic Markov chains | Theorem | Probability theory and stochastic processes |
| Fáry–Milnor theorem | Theorem | Differential geometry |
| Szemerédi's theorem | Theorem | Number theory |
| Geometrization conjecture | Theorem | Manifolds and cell complexes |
| Magnus's Freiheitssatz | Theorem | Group theory and generalizations |
| Poincaré–Lelong formula | Theorem | Several complex variables and analytic spaces |
| Varignon's theorem | Theorem | Geometry |
| Uhlenbeck's removable singularity theorem | Theorem | Global analysis, analysis on manifolds |
| Malmquist's theorem | Theorem | Ordinary differential equations |
| Bombieri–Vinogradov theorem | Theorem | Number theory |
| Stallings–Swan theorem | Theorem | Group theory and generalizations |
| Multilevel Monte Carlo method | Theorem | Numerical analysis |
| Exterior cone condition | Theorem | Potential theory |
| Carleman's inequality | Theorem | Real functions |
| Peirce decomposition | Proposition | Associative rings and algebras |
| Pappus's hexagon theorem | Theorem | Geometry |
| Density of simple functions in Lp | Proposition | Functional analysis |
| Dieudonné's theorem on paracompact Hausdorff spaces | Theorem | General topology |
| Jacobi method | Theorem | Numerical analysis |
| Möbius inversion on posets | Theorem | Order, lattices, ordered algebraic structures |
| Ravenel conjectures | Theorem | Algebraic topology |
| Kesten's theorem on planar bond percolation | Theorem | Probability theory and stochastic processes |
| Vizing's theorem | Theorem | Combinatorics |
| Stone duality | Theorem | Order, lattices, ordered algebraic structures |
| Margulis normal subgroup theorem | Theorem | Topological groups, Lie groups |
| Lagrange inversion theorem | Theorem | Combinatorics |
| Hyperbolic Dehn surgery theorem | Theorem | Manifolds and cell complexes |
| Dynkin's π-λ theorem | Theorem | Measure and integration |
| Arthur–Selberg trace formula | Theorem | Number theory |
| Jordan–Hölder theorem for modular lattices | Theorem | Order, lattices, ordered algebraic structures |
| Varadhan's lemma | Lemma | Probability theory and stochastic processes |
| Azuma's inequality | Theorem | Probability theory and stochastic processes |
| Selberg trace formula | Theorem | Number theory |
| Integration operator as convolution with the unit step | Proposition | Integral transforms, operational calculus |
| Final value theorem | Theorem | Integral transforms, operational calculus |
| Conjugacy of maximal tori | Theorem | Topological groups, Lie groups |
| Weitzenböck identity | Theorem | Differential geometry |
| Pólya's recurrence theorem | Theorem | Probability theory and stochastic processes |
| Hardy–Littlewood maximal inequality | Theorem | Harmonic analysis on Euclidean spaces |
| Dehn–Lickorish theorem | Theorem | Manifolds and cell complexes |
| Bellows conjecture | Theorem | Convex and discrete geometry |
| Kaplansky's theorem on projective modules | Theorem | Associative rings and algebras |
| Fagin's theorem | Theorem | Mathematical logic and foundations |
| Prime-factor FFT algorithm | Theorem | Numerical analysis |
| Upper bound theorem | Theorem | Convex and discrete geometry |
| Multijet transversality theorem | Theorem | Manifolds and cell complexes |
| Divide-and-conquer eigenvalue algorithm | Theorem | Numerical analysis |
| Langlands decomposition | Theorem | Topological groups, Lie groups |
| Nyquist–Shannon sampling theorem | Theorem | Information and communication theory, circuits |
| Hankel inversion theorem | Theorem | Integral transforms, operational calculus |
| Serre's vanishing theorem on affine schemes | Theorem | Algebraic geometry |
| Oka's normalization theorem | Theorem | Several complex variables and analytic spaces |
| Pol–Inv Galois connection | Theorem | General algebraic systems |
| Dahlquist barriers | Theorem | Numerical analysis |
| Mean value theorem for divided differences | Theorem | Numerical analysis |
| Minimal deviation property of Chebyshev polynomials | Theorem | Approximations and expansions |
| Torelli theorem | Theorem | Algebraic geometry |
| Von Neumann bicommutant theorem | Theorem | Functional analysis |
| Soul theorem | Theorem | Differential geometry |
| Implicit function theorem in Banach spaces | Theorem | Global analysis, analysis on manifolds |
| Inversion of the Weierstrass transform | Theorem | Integral transforms, operational calculus |
| Euler product for multiplicative functions | Theorem | Number theory |
| Watson's lemma | Lemma | Approximations and expansions |
| Centerpoint theorem | Theorem | Convex and discrete geometry |
| Aberth method | Theorem | Numerical analysis |
| Hardy's Tauberian theorem for Cesàro means | Theorem | Sequences, series, summability |
| Gross–Zagier theorem | Theorem | Number theory |
| Mehler–Heine formula | Theorem | Special functions |
| Sub-mean value property | Proposition | Potential theory |
| Erdős–Kac theorem | Theorem | Number theory |
| Wiener–Hopf factorization | Theorem | Integral equations |
| Dominated convergence theorem | Theorem | Measure and integration |
| Grönwall area theorem | Theorem | Functions of a complex variable |
| Cayley–Bacharach theorem | Theorem | Algebraic geometry |
| Mordell's theorem | Theorem | Number theory |
| Larson–Sweedler theorem | Theorem | Associative rings and algebras |
| Rado's theorem | Theorem | Combinatorics |
| Vinogradov's theorem | Theorem | Number theory |
| Brahmagupta's formula | Theorem | Geometry |
| Stieltjes inversion formula | Theorem | Integral transforms, operational calculus |
| Helgason support theorem | Theorem | Integral transforms, operational calculus |
| Borel–Ritt theorem | Theorem | Functions of a complex variable |
| Kazhdan–Margulis theorem | Theorem | Topological groups, Lie groups |
| Vitali convergence theorem | Theorem | Measure and integration |
| Landau–Kolmogorov inequality | Theorem | Real functions |
| Milstein method | Theorem | Numerical analysis |
| Localization of a Noetherian ring is Noetherian | Proposition | Commutative algebra |
| M3–N5 characterization of distributivity | Theorem | Order, lattices, ordered algebraic structures |
| Akizuki–Hopkins–Levitzki theorem | Theorem | Commutative algebra |
| Hochster's theorem on spectral spaces | Theorem | Algebraic geometry |
| Asymptotic behavior of solutions of renewal equations | Theorem | Integral equations |
| KAK decomposition | Theorem | Topological groups, Lie groups |
| Bairstow's method | Proposition | Numerical analysis |
| Müntz–Szász theorem | Theorem | Approximations and expansions |
| Cheeger–Müller theorem | Theorem | Global analysis, analysis on manifolds |
| Sullivan's no wandering domains theorem | Theorem | Dynamical systems and ergodic theory |
| Radó's theorem on triangulation of surfaces | Theorem | Manifolds and cell complexes |
| Steinitz's theorem on algebraically closed fields | Theorem | Field theory and polynomials |
| Baily–Borel compactification | Theorem | Algebraic geometry |
| Entropic uncertainty principle | Theorem | Harmonic analysis on Euclidean spaces |
| Riesz decomposition theorem | Theorem | Potential theory |
| Witt's theorem | Theorem | Number theory |
| Kakutani's solution of the Dirichlet problem | Theorem | Probability theory and stochastic processes |
| Haar's uniqueness theorem | Theorem | Approximations and expansions |
| Frequency shift theorem | Theorem | Integral transforms, operational calculus |
| Raabe's test | Theorem | Sequences, series, summability |
| Esakia duality | Theorem | Order, lattices, ordered algebraic structures |
| Hölder's theorem on Archimedean groups | Theorem | Order, lattices, ordered algebraic structures |
| Dormand–Prince method | Proposition | Numerical analysis |
| Reduction to diagonal form by transvections | Theorem | Linear and multilinear algebra; matrix theory |
| Gelfand–Raikov theorem | Theorem | Topological groups, Lie groups |
| Continuous mapping theorem | Theorem | Probability theory and stochastic processes |
| Jacobi's four-square theorem | Theorem | Number theory |
| Mellin transform under a power substitution | Proposition | Integral transforms, operational calculus |
| Hadamard's inequality | Theorem | Linear and multilinear algebra; matrix theory |
| Existence of an eigenvalue for a nonzero symmetric kernel | Theorem | Integral equations |
| Lichnerowicz vanishing theorem | Theorem | Differential geometry |
| Arnoldi iteration | Proposition | Numerical analysis |