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 1351–1500 of 3081.
| Name | Kind | Subject |
|---|---|---|
| Griffiths transversality | Theorem | Several complex variables and analytic spaces |
| Artin–Schreier theorem | Theorem | Field theory and polynomials |
| Kac's theorem | Theorem | Associative rings and algebras |
| Perron's irreducibility criterion | Theorem | Field theory and polynomials |
| Parseval formula for the Mellin transform | Theorem | Integral transforms, operational calculus |
| Hardy inequality in Sobolev spaces | Theorem | Real functions |
| Karhunen–Loève theorem | Theorem | Probability theory and stochastic processes |
| Atiyah–Guillemin–Sternberg convexity theorem | Theorem | Differential geometry |
| Minkowski–Weyl theorem | Theorem | Convex and discrete geometry |
| Uniformization theorem | Theorem | Functions of a complex variable |
| Zeros of holomorphic functions are not isolated | Proposition | Several complex variables and analytic spaces |
| Brent's method | Theorem | Numerical analysis |
| Cartan's theorem A | Theorem | Several complex variables and analytic spaces |
| Integral extensions of fields | Proposition | Commutative algebra |
| Cartan–Iwasawa–Malcev theorem | Theorem | Topological groups, Lie groups |
| Strichartz estimates in Lorentz space | Lemma | Partial differential equations |
| Minkowski's second theorem | Theorem | Number theory |
| Lasker–Noether theorem | Theorem | Commutative algebra |
| Cartan's coherence theorem for ideal sheaves | Theorem | Several complex variables and analytic spaces |
| Macdonald constant term conjecture | Theorem | Special functions |
| Duhamel's integral | Theorem | Ordinary differential equations |
| Mergelyan's theorem | Theorem | Functions of a complex variable |
| Itô isometry | Theorem | Probability theory and stochastic processes |
| Poincaré classification of circle homeomorphisms | Theorem | Dynamical systems and ergodic theory |
| Congruence criteria for triangles | Theorem | Geometry |
| Representer theorem | Theorem | Functional analysis |
| Fukushima correspondence between Dirichlet forms and processes | Theorem | Probability theory and stochastic processes |
| Frobenius theorem | Theorem | Global analysis, analysis on manifolds |
| Norm residue isomorphism theorem | Theorem | K-theory |
| Sphere theorem for 3-manifolds | Theorem | Manifolds and cell complexes |
| Oates–Powell theorem | Theorem | Group theory and generalizations |
| Takens's theorem | Theorem | Dynamical systems and ergodic theory |
| Wallace–Bolyai–Gerwien theorem | Theorem | Convex and discrete geometry |
| Milnor conjecture on slice genus of torus knots | Theorem | Manifolds and cell complexes |
| May recognition principle | Theorem | Algebraic topology |
| Whitman's condition | Theorem | Order, lattices, ordered algebraic structures |
| High indices theorem | Theorem | Sequences, series, summability |
| Mirsky's theorem | Theorem | Order, lattices, ordered algebraic structures |
| Riemann extension theorem in several variables | Theorem | Several complex variables and analytic spaces |
| Stein interpolation theorem | Theorem | Functional analysis |
| Domination principle | Theorem | Potential theory |
| Bilinear series of a symmetric kernel | Theorem | Integral equations |
| Krylov–Safonov estimate | Theorem | Partial differential equations |
| Hille–Yosida theorem | Theorem | Operator theory |
| Desargues's theorem | Theorem | Geometry |
| Levinson's theorem on asymptotic integration | Theorem | Ordinary differential equations |
| Crainic–Fernandes integrability theorem | Theorem | Global analysis, analysis on manifolds |
| Pullback pasting lemma | Lemma | Category theory; homological algebra |
| Tarski–Vaught test | Proposition | Mathematical logic and foundations |
| Levinson recursion | Theorem | Numerical analysis |
| Diaconescu's theorem | Theorem | Mathematical logic and foundations |
| Ryll-Nardzewski fixed-point theorem | Theorem | Operator theory |
| Schwarz integral formula | Theorem | Functions of a complex variable |
| Perron–Frobenius theorem | Theorem | Linear and multilinear algebra; matrix theory |
| Pickands–Balkema–De Haan theorem | Theorem | Statistics |
| Schur–Zassenhaus theorem | Theorem | Group theory and generalizations |
| Iwasawa main conjecture | Theorem | Number theory |
| Andreotti–Grauert theorem | Theorem | Several complex variables and analytic spaces |
| Jordan curve theorem | Theorem | Manifolds and cell complexes |
| Gauss–Codazzi equations | Theorem | Differential geometry |
| Oka's solution of the Levi problem | Theorem | Several complex variables and analytic spaces |
| Frisch–Waugh–Lovell theorem | Theorem | Statistics |
| Capacitability of Borel sets | Theorem | Measure and integration |
| Runge–Kutta–Fehlberg method | Proposition | Numerical analysis |
| Runge's theorem | Theorem | Functions of a complex variable |
| Five-term relation for the dilogarithm | Theorem | Special functions |
| Weierstrass–Erdmann corner conditions | Theorem | Calculus of variations and optimal control; optimization |
| Rearrangement inequality | Theorem | Real functions |
| Chow's theorem | Theorem | Several complex variables and analytic spaces |
| Variety as a reflective subcategory | Proposition | General algebraic systems |
| Lévy–Steinitz theorem | Theorem | Sequences, series, summability |
| Fuchs' theorem | Theorem | Ordinary differential equations |
| Carlson's theorem | Theorem | Functions of a complex variable |
| Preissmann's theorem | Theorem | Differential geometry |
| Basu's theorem | Theorem | Statistics |
| Cantor normal form | Theorem | Mathematical logic and foundations |
| Hahn–Banach separation theorem | Theorem | Functional analysis |
| Littlewood–Paley inequality | Theorem | Harmonic analysis on Euclidean spaces |
| Evans potential theorem | Theorem | Potential theory |
| Successive over-relaxation | Theorem | Numerical analysis |
| Spectral decomposition theorem | Theorem | Dynamical systems and ergodic theory |
| Whitehead theorem | Theorem | Algebraic topology |
| Stein's lemma | Lemma | Statistics |
| Reduction of a boundary value problem to a Fredholm equation | Proposition | Integral equations |
| Finite Desarguesian planes are Pappian | Corollary | Geometry |
| Double bubble theorem | Theorem | Calculus of variations and optimal control; optimization |
| Mahler's compactness theorem | Theorem | Number theory |
| Birkhoff's representation theorem | Theorem | Order, lattices, ordered algebraic structures |
| Gagliardo–Nirenberg interpolation inequality | Theorem | Functional analysis |
| Fundamental group of the circle | Theorem | Algebraic topology |
| Triangulability of analytic sets | Theorem | Several complex variables and analytic spaces |
| Bertrand's test | Theorem | Sequences, series, summability |
| Modica–Mortola theorem | Theorem | Calculus of variations and optimal control; optimization |
| Peter–Weyl theorem | Theorem | Topological groups, Lie groups |
| Embedding theorem for Stein manifolds | Theorem | Several complex variables and analytic spaces |
| Kolmogorov's weak-type estimate for the conjugate function | Theorem | Harmonic analysis on Euclidean spaces |
| Feit–Thompson theorem | Theorem | Group theory and generalizations |
| Fundamental recurrence formulas | Theorem | Sequences, series, summability |
| Analyticity of the Laplace transform in its half-plane | Theorem | Integral transforms, operational calculus |
| Invariance of domain | Theorem | Algebraic topology |
| Abel's lemma for multiple power series | Lemma | Several complex variables and analytic spaces |
| Laurent phenomenon | Theorem | Commutative algebra |
| Besicovitch covering theorem | Theorem | Measure and integration |
| Nine lemma | Lemma | Category theory; homological algebra |
| Inverse iteration | Theorem | Numerical analysis |
| Kiefer–Wolfowitz equivalence theorem | Theorem | Statistics |
| Explicit formula | Theorem | Number theory |
| Fredholm property of elliptic operators | Theorem | Global analysis, analysis on manifolds |
| Lebesgue decomposition theorem | Theorem | Measure and integration |
| Dirichlet conditions | Theorem | Harmonic analysis on Euclidean spaces |
| Egorov's theorem | Theorem | Measure and integration |
| Splitting circle method | Theorem | Numerical analysis |
| Künneth theorem | Theorem | Algebraic topology |
| Capacity and Hausdorff dimension | Theorem | Potential theory |
| Fundamental theorem of Riemannian geometry | Theorem | Differential geometry |
| Jordan's theorem on primitive groups containing a prime cycle | Theorem | Group theory and generalizations |
| Artin reciprocity law | Theorem | Number theory |
| Oka–Weil theorem | Theorem | Several complex variables and analytic spaces |
| Harnack inequality for parabolic equations | Theorem | Partial differential equations |
| Modified Richardson iteration | Theorem | Numerical analysis |
| Ehresmann's fibration theorem | Theorem | Global analysis, analysis on manifolds |
| Kunen's inconsistency theorem | Theorem | Mathematical logic and foundations |
| Freudenthal suspension theorem | Theorem | Algebraic topology |
| Markov theorem | Theorem | Manifolds and cell complexes |
| Thom–Mather isotopy lemmas | Theorem | Global analysis, analysis on manifolds |
| Kodaira embedding theorem | Theorem | Several complex variables and analytic spaces |
| Sphere theorem | Theorem | Differential geometry |
| Identity theorem in several variables | Theorem | Several complex variables and analytic spaces |
| Schaefer's fixed point theorem | Theorem | Operator theory |
| Mairhuber–Curtis theorem | Theorem | Approximations and expansions |
| Mertens' theorems | Theorem | Number theory |
| Wu's formula | Theorem | Manifolds and cell complexes |
| von Neumann's inequality | Theorem | Operator theory |
| Omitting types theorem | Theorem | Mathematical logic and foundations |
| Quillen–Suslin theorem | Theorem | Commutative algebra |
| Peano kernel theorem | Theorem | Approximations and expansions |
| Stone's theorem on paracompactness of metric spaces | Theorem | General topology |
| Kummer's 24 solutions | Theorem | Special functions |
| Smale–Hirsch theorem | Theorem | Manifolds and cell complexes |
| Delsarte linear programming bound | Theorem | Convex and discrete geometry |
| Pontryagin's maximum principle | Theorem | Calculus of variations and optimal control; optimization |
| Lanczos algorithm | Theorem | Numerical analysis |
| Sylvester's determinant identity | Theorem | Linear and multilinear algebra; matrix theory |
| Paley–Wiener theorem for Volterra resolvents | Theorem | Integral equations |
| Budan's theorem | Theorem | Real functions |
| Log-modulus of a holomorphic function is subharmonic | Proposition | Potential theory |
| Hadwiger's theorem | Theorem | Convex and discrete geometry |
| Kakutani fixed-point theorem | Theorem | Operator theory |
| Bisection method | Theorem | Numerical analysis |
| Superposition of solutions | Proposition | Difference and functional equations |