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 3001–3076 of 3076.
| Name | Kind | Subject |
|---|---|---|
| Expansion in spherical harmonics | Theorem | Potential theory |
| Mellin transform of a dilation | Proposition | Integral transforms, operational calculus |
| d'Alembert's formula | Theorem | Partial differential equations |
| Weierstrass–Enneper parameterization | Theorem | Differential geometry |
| Smn theorem | Theorem | Mathematical logic and foundations |
| Classification of covering spaces | Theorem | Manifolds and cell complexes |
| Laplace's integral for Legendre polynomials | Theorem | Special functions |
| Morse index theorem for geodesics | Theorem | Global analysis, analysis on manifolds |
| Lying over theorem | Theorem | Commutative algebra |
| Sard–Smale theorem | Theorem | Global analysis, analysis on manifolds |
| Operator exponential and translation | Proposition | Integral transforms, operational calculus |
| Lumer–Phillips theorem | Theorem | Operator theory |
| Morrey's inequality | Theorem | Functional analysis |
| Littlewood's Tauberian theorem | Theorem | Sequences, series, summability |
| Myers–Steenrod theorem | Theorem | Differential geometry |
| Hairy ball theorem | Theorem | Manifolds and cell complexes |
| O'Nan–Scott theorem | Theorem | Group theory and generalizations |
| Whittaker–Shannon interpolation formula | Theorem | Information and communication theory, circuits |
| Anderson–Kadec theorem | Theorem | Manifolds and cell complexes |
| No-retraction theorem | Theorem | Algebraic topology |
| Fisher–Neyman factorization theorem | Theorem | Statistics |
| Four-vertex theorem | Theorem | Differential geometry |
| Girsanov theorem | Theorem | Probability theory and stochastic processes |
| Golden–Thompson inequality | Theorem | Linear and multilinear algebra; matrix theory |
| Sard's theorem | Theorem | Global analysis, analysis on manifolds |
| Undecidability of the halting problem | Theorem | Mathematical logic and foundations |
| Word problem for free lattices | Theorem | Order, lattices, ordered algebraic structures |
| Stone–von Neumann theorem | Theorem | Topological groups, Lie groups |
| Euler integral for the gamma function | Theorem | Special functions |
| Synge's theorem | Theorem | Differential geometry |
| Reeb stability theorem | Theorem | Manifolds and cell complexes |
| Hurewicz theorem | Theorem | Algebraic topology |
| CSP dichotomy theorem | Theorem | General algebraic systems |
| Boutet de Monvel's embedding theorem | Theorem | Several complex variables and analytic spaces |
| First and second variation of arc length | Theorem | Differential geometry |
| Bernstein's theorem on monotone functions | Theorem | Real functions |
| Functional equation of the gamma function | Theorem | Special functions |
| Alexandrov's theorem on polyhedra | Theorem | Convex and discrete geometry |
| Barratt–Priddy–Quillen theorem | Theorem | Algebraic topology |
| Sklar's theorem | Theorem | Statistics |
| Ehrhart–Macdonald reciprocity | Theorem | Convex and discrete geometry |
| Bareiss algorithm | Theorem | Numerical analysis |
| Anti-equivalence of affine schemes and rings | Theorem | Algebraic geometry |
| Hartogs lemma for subharmonic functions | Lemma | Potential theory |
| Cone theorem | Theorem | Algebraic geometry |
| Adams' theorem on Hopf invariant one | Theorem | Algebraic topology |
| Holomorphy of the gamma function | Theorem | Special functions |
| Mellin transform under inversion of the variable | Proposition | Integral transforms, operational calculus |
| Frenet–Serret formulas | Theorem | Differential geometry |
| Banach–Zarecki theorem | Theorem | Real functions |
| Bieberbach conjecture | Theorem | Functions of a complex variable |
| Ramanujan's master theorem | Theorem | Integral transforms, operational calculus |
| Grauert's direct image theorem | Theorem | Several complex variables and analytic spaces |
| Fourier transform of the Gaussian | Proposition | Harmonic analysis on Euclidean spaces |
| Finite-dimensional Hausdorff vector topologies are Euclidean | Theorem | Functional analysis |
| Skolem–Mahler–Lech theorem | Theorem | Number theory |
| Whitney–Graustein theorem | Theorem | Manifolds and cell complexes |
| Łoś–Vaught test | Theorem | Mathematical logic and foundations |
| Bochner's theorem | Theorem | Abstract harmonic analysis |
| Jacobi condition | Theorem | Calculus of variations and optimal control; optimization |
| Support of a convolution | Proposition | Integral transforms, operational calculus |
| Morley's trisector theorem | Theorem | Geometry |
| Faber's theorem on interpolation | Theorem | Approximations and expansions |
| Hindman's theorem | Theorem | Combinatorics |
| Mellin transform as a Fourier transform in logarithmic variables | Proposition | Integral transforms, operational calculus |
| Grothendieck spectral sequence | Theorem | Category theory; homological algebra |
| Montel's theorem | Theorem | Functions of a complex variable |
| Mason–Stothers theorem | Theorem | Number theory |
| Weak Nullstellensatz | Theorem | Commutative algebra |
| Newton–Puiseux theorem | Theorem | Commutative algebra |
| Hellinger–Toeplitz theorem | Theorem | Operator theory |
| Absolute continuity of the Lebesgue integral | Proposition | Measure and integration |
| Maupertuis's principle | Theorem | Mechanics of particles and systems |
| Transitivity of integrality | Proposition | Commutative algebra |
| Boundary integral equation for the Dirichlet problem | Theorem | Potential theory |
| Stein–Tomas restriction theorem | Theorem | Harmonic analysis on Euclidean spaces |