Statements
A theorem, a lemma, a proposition, a corollary, a fact or an axiom.
- Concepts 5200
- Definitions 5023
- Statements 3076
- Conjectures 75
- Problems 147
- Examples 431
- Counterexamples 71
- Objects 132
- Proofs 10
- Computations 1
- Topics 1
Ideas 2551–2700 of 3076.
| Name | Kind | Subject |
|---|---|---|
| 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 |
| Liouville's theorems on elliptic functions | Theorem | Special functions |
| 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 |
| Ruzsa triangle inequality | Theorem | Number theory |
| Cartan's theorem B | Theorem | Several complex variables and analytic spaces |
| 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 |
| Toeplitz index theorem | Theorem | Operator theory |
| Weyl's inequality | Theorem | Linear and multilinear algebra; matrix theory |
| 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 |
| Fundamental identity for ramification and inertia | Theorem | Number theory |
| Gauss–Jacobi quadrature | Theorem | Numerical analysis |
| Euler's theorem in geometry | Theorem | Geometry |
| Bing metrization theorem | Theorem | General topology |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| Mazur's torsion theorem | Theorem | Number theory |
| Gromov's theorem on groups of polynomial growth | Theorem | Group theory and generalizations |
| Krein–Milman theorem | Theorem | Functional analysis |
| Clifford's theorem on special divisors | Theorem | Algebraic geometry |
| 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 |
| Carleman's condition | Theorem | Integral transforms, operational calculus |
| 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 |
| Kurosh subgroup theorem | Theorem | Group theory and generalizations |
| Euler's theorem on normal curvatures | Theorem | Differential geometry |
| Adjunction formula | Theorem | Algebraic geometry |
| Calderón–Zygmund estimates | Theorem | Partial differential equations |
| An infinite product converges iff its series of logarithms converges | Proposition | Sequences, series, summability |
| 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 |
| Minlos theorem | Theorem | Measure and integration |
| Hopf's formula | Theorem | Group theory and generalizations |
| Zero divisors are the union of associated primes | Theorem | Commutative algebra |
| 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 |
| Unique factorization of ideals in a Dedekind domain | Theorem | Commutative algebra |
| Hardy's inequality | Theorem | Real functions |
| Bidiagonalization | Theorem | Numerical analysis |
| Selberg integral | Theorem | Special functions |
| Chebyshev's sum inequality | Theorem | Real functions |
| Fatou's lemma | Lemma | Measure and integration |
| Fast Fourier transform | Theorem | Numerical analysis |
| Muckenhoupt's theorem | Theorem | Harmonic analysis on Euclidean spaces |
| Lambek's lemma | Lemma | Category theory; homological algebra |
| Kummer's transformation | Theorem | Special functions |
| Priestley duality | Theorem | Order, lattices, ordered algebraic structures |
| Clifford theory | Theorem | Group theory and generalizations |
| Lebesgue differentiation theorem | Theorem | Measure and integration |
| Denjoy–Carleman–Ahlfors theorem | Theorem | Functions of a complex variable |
| Weyl–von Neumann theorem | Theorem | Operator theory |
| Ladyzhenskaya–Babuška–Brezzi condition | Theorem | Numerical analysis |
| Shoelace formula | Theorem | Geometry |
| Shafarevich's theorem on solvable Galois groups | Theorem | Field theory and polynomials |
| Hölder's theorem | Theorem | Special functions |
| Excision theorem | Theorem | Algebraic topology |
| Cayley–Hamilton theorem for modules | Proposition | Commutative algebra |
| Linearity of the Laplace transform | Proposition | Integral transforms, operational calculus |
| Krull's principal ideal theorem | Theorem | Commutative algebra |
| Euler–Gauss limit formula | Theorem | Special functions |
| Lefschetz principle | Theorem | Mathematical logic and foundations |
| Whitney immersion theorem | Theorem | Manifolds and cell complexes |
| Wang's finiteness theorem | Theorem | Topological groups, Lie groups |
| Segre's theorem | Theorem | Geometry |
| Auslander–Buchsbaum formula | Theorem | Commutative algebra |
| Equioscillation theorem | Theorem | Approximations and expansions |
| Pitman–Koopman–Darmois theorem | Theorem | Statistics |
| Whitney's theorem on folds and cusps | Theorem | Manifolds and cell complexes |
| Wiener's criterion | Theorem | Potential theory |
| Boolean prime ideal theorem | Theorem | Mathematical logic and foundations |
| Moise's theorem | Theorem | Manifolds and cell complexes |
| Pairwise summation | Theorem | Numerical analysis |
| Burkholder–Davis–Gundy inequality | Theorem | Probability theory and stochastic processes |
| Doob–Meyer decomposition theorem | Theorem | Probability theory and stochastic processes |
| Resolvent as Laplace transform of a semigroup | Theorem | Operator theory |
| Commutativity of convolution | Proposition | Integral transforms, operational calculus |
| Decay of the Fourier transform of surface measure | Theorem | Harmonic analysis on Euclidean spaces |
| Bogomolov–Miyaoka–Yau inequality | Theorem | Algebraic geometry |
| Lusternik–Schnirelmann theorem | Theorem | Algebraic topology |
| Kantorovich–Rubinstein duality | Theorem | Calculus of variations and optimal control; optimization |
| Szegő's theorem | Theorem | Harmonic analysis on Euclidean spaces |
| Liouville's theorem for planar harmonic functions | Theorem | Potential theory |
| Resolvent equation for kernels | Proposition | Integral equations |
| Gauss's law for potentials | Theorem | Potential theory |
| Dimension of a polynomial ring | Theorem | Commutative algebra |
| Sylvester–Gallai theorem | Theorem | Convex and discrete geometry |
| Reidemeister's theorem | Theorem | Manifolds and cell complexes |
| Alexander's theorem on proper self-maps of the ball | Theorem | Several complex variables and analytic spaces |
| Nerve theorem | Theorem | Algebraic topology |
| Gelfand's spectral radius formula | Theorem | Functional analysis |
| Recurrence relations for Bessel functions | Proposition | Special functions |
| Fourier inversion theorem | Theorem | Harmonic analysis on Euclidean spaces |
| Monotone cubic interpolation | Theorem | Numerical analysis |
| Verification theorem | Theorem | Calculus of variations and optimal control; optimization |
| Barbier's theorem | Theorem | Convex and discrete geometry |
| Gårding's inequality | Theorem | Partial differential equations |
| Baouendi–Trèves approximation theorem | Theorem | Several complex variables and analytic spaces |
| Ambrose–Singer theorem | Theorem | Differential geometry |
| Maximum principle for harmonic functions | Theorem | Potential theory |
| Right adjoints preserve limits | Theorem | Category theory; homological algebra |
| Mather's stability theorem | Theorem | Global analysis, analysis on manifolds |
| Descartes' rule of signs | Theorem | Real functions |
| Equivariant index theorem | Theorem | Global analysis, analysis on manifolds |
| Bruhat decomposition | Theorem | Group theory and generalizations |
| Szpilrajn extension theorem | Theorem | Order, lattices, ordered algebraic structures |
| Abian–Brown theorem | Theorem | Order, lattices, ordered algebraic structures |
| Kawamata–Viehweg vanishing theorem | Theorem | Algebraic geometry |
| Krull's height theorem | Theorem | Commutative algebra |
| Foster's theorem on primal algebras | Theorem | General algebraic systems |
| Peixoto's theorem | Theorem | Dynamical systems and ergodic theory |
| Abel inversion formula | Theorem | Integral equations |