Statements
A theorem, a lemma, a proposition, a corollary, a fact or an axiom.
- Concepts 7386
- Definitions 7188
- Statements 3950
- Conjectures 117
- Problems 256
- Examples 672
- Counterexamples 88
- Objects 168
- Proofs 11
- Computations 1
- Topics 1
Ideas 3451–3600 of 3950.
| Name | Kind | Subject |
|---|---|---|
| Kolosov–Muskhelishvili formulas | Theorem | Mechanics of deformable solids |
| Charney–Stern theorem | Theorem | Fluid mechanics |
| Fundamental theorem of asset pricing | Theorem | Game theory, economics, finance, and other social and behavioral sciences |
| Measurable Riemann mapping theorem | Theorem | Functions of a complex variable |
| Kutta–Joukowski theorem | Theorem | Fluid mechanics |
| Cohen's theorem on Noetherian rings | Theorem | Commutative algebra |
| Hadamard three-circle theorem | Theorem | Functions of a complex variable |
| Capacity equals transfinite diameter and Chebyshev constant | Theorem | Potential theory |
| Engel's theorem | Theorem | Nonassociative rings and algebras |
| Tate's computation of K2 of the rationals | Theorem | K-theory |
| First law of thermodynamics | Fact | Classical thermodynamics, heat transfer |
| Fuglede's theorem | Theorem | Operator theory |
| Kolmogorov continuity theorem | Theorem | Probability theory and stochastic processes |
| Schur decomposition | Theorem | Linear and multilinear algebra; matrix theory |
| Schwarz–Pick theorem | Theorem | Functions of a complex variable |
| Wiener's Tauberian theorem | Theorem | Abstract harmonic analysis |
| Tverberg's theorem | Theorem | Convex and discrete geometry |
| Weil's local rigidity theorem | Theorem | Topological groups, Lie groups |
| Lewy extension theorem | Theorem | Several complex variables and analytic spaces |
| Strong normalization of simply typed lambda calculus | Theorem | Mathematical logic and foundations |
| Homotopy invariance of homology | Theorem | Algebraic topology |
| Eilenberg–Zilber theorem | Theorem | Algebraic topology |
| Barometric formula | Proposition | Geophysics |
| Lerch's uniqueness theorem | Theorem | Integral transforms, operational calculus |
| Regular local rings are domains | Theorem | Commutative algebra |
| Robertson–Schrödinger uncertainty relation | Theorem | Quantum theory |
| Skolem–Noether theorem | Theorem | Associative rings and algebras |
| Popov criterion | Theorem | Systems theory; control |
| Hooke's law | Fact | Mechanics of deformable solids |
| Abel's summation formula | Theorem | Sequences, series, summability |
| Schur's theorem | Theorem | Combinatorics |
| Josefson's theorem | Theorem | Several complex variables and analytic spaces |
| Morley's categoricity theorem | Theorem | Mathematical logic and foundations |
| Maximal ergodic theorem | Theorem | Dynamical systems and ergodic theory |
| Von Mises yield criterion | Fact | Mechanics of deformable solids |
| Tsen's theorem | Theorem | Field theory and polynomials |
| Brauer's theorem on induced characters | Theorem | Group theory and generalizations |
| Parallel axis theorem | Theorem | Mechanics of particles and systems |
| van der Waerden's theorem | Theorem | Combinatorics |
| Plancherel theorem for abelian groups | Theorem | Abstract harmonic analysis |
| Remmert's proper mapping theorem | Theorem | Several complex variables and analytic spaces |
| Grothendieck's local duality | Theorem | Commutative algebra |
| Church's theorem on undecidability of first-order logic | Theorem | Mathematical logic and foundations |
| Masur–Veech theorem | Theorem | Dynamical systems and ergodic theory |
| Petrov classification | Theorem | Relativity and gravitational theory |
| Krein–Rutman theorem | Theorem | Operator theory |
| Extension of Lagrange's theorem | Theorem | Group theory and generalizations |
| Yau's conjecture on infinitely many minimal surfaces | Theorem | Global analysis, analysis on manifolds |
| Trigonometric definition of Chebyshev polynomials | Proposition | Special functions |
| Hencky's theorems on slip lines | Theorem | Mechanics of deformable solids |
| Swan's induction theorem | Theorem | K-theory |
| Lyndon–Hochschild–Serre spectral sequence | Theorem | Group theory and generalizations |
| Hook length formula | Theorem | Combinatorics |
| Newlander–Nirenberg theorem | Theorem | Several complex variables and analytic spaces |
| Arrow's impossibility theorem | Theorem | Game theory, economics, finance, and other social and behavioral sciences |
| Small object argument | Theorem | Category theory; homological algebra |
| von Neumann coordinatization theorem | Theorem | Order, lattices, ordered algebraic structures |
| Clausius statement of the second law | Fact | Classical thermodynamics, heat transfer |
| Tellegen's theorem | Theorem | Information and communication theory, circuits |
| Differentiation in the transform variable | Theorem | Integral transforms, operational calculus |
| Brody's lemma | Theorem | Several complex variables and analytic spaces |
| Hyers' theorem | Theorem | Difference and functional equations |
| Bourgain's dimension bound for harmonic measure | Theorem | Potential theory |
| Jury stability criterion | Theorem | Systems theory; control |
| Laplace transform of an integral | Proposition | Integral transforms, operational calculus |
| Artstein's theorem | Theorem | Systems theory; control |
| Galois' theorem on solvability | Theorem | Field theory and polynomials |
| Askey–Gasper inequality | Theorem | Special functions |
| Littlewood's L1 norm conjecture | Theorem | Harmonic analysis on Euclidean spaces |
| Normal shock relations | Proposition | Fluid mechanics |
| Ridders' method | Proposition | Numerical analysis |
| Horseshoe lemma | Lemma | Category theory; homological algebra |
| Nyström method | Theorem | Numerical analysis |
| Bernstein–Kushnirenko theorem | Theorem | Algebraic geometry |
| Control variates | Theorem | Numerical analysis |
| Birkhoff's theorem (relativity) | Theorem | Relativity and gravitational theory |
| Sverdrup balance | Proposition | Geophysics |
| Periodic table of topological insulators | Theorem | Statistical mechanics, structure of matter |
| Slice theorem | Theorem | Manifolds and cell complexes |
| Twenty-seven lines on a cubic surface | Theorem | Algebraic geometry |
| Chow–Rashevskii theorem | Theorem | Systems theory; control |
| Kolmogorov–Arnold representation theorem | Theorem | Real functions |
| Operator Cauchy equation and one-parameter semigroups | Theorem | Operator theory |
| Perihelion precession of Mercury | Proposition | Relativity and gravitational theory |
| Jónsson's lemma | Theorem | General algebraic systems |
| Kodaira–Nirenberg–Spencer existence theorem | Theorem | Several complex variables and analytic spaces |
| Compatibility conditions | Theorem | Mechanics of deformable solids |
| q-binomial theorem | Theorem | Special functions |
| Amitsur's theorem on the radical of polynomial rings | Theorem | Associative rings and algebras |
| Routh's theorem | Theorem | Geometry |
| Kigami's construction of Laplacians on post-critically finite fractals | Theorem | Potential theory |
| Murray's law | Proposition | Fluid mechanics |
| Ideal gas law | Fact | Classical thermodynamics, heat transfer |
| Akra–Bazzi theorem | Theorem | Computer science |
| Herbrand's theorem | Theorem | Mathematical logic and foundations |
| Uniqueness theorem for Fourier–Stieltjes transforms | Theorem | Abstract harmonic analysis |
| Lévy's upward theorem | Theorem | Probability theory and stochastic processes |
| Law of corresponding states | Proposition | Classical thermodynamics, heat transfer |
| Toyoda–Bruck theorem | Theorem | Group theory and generalizations |
| Quartic reciprocity | Theorem | Number theory |
| Schwarz's list | Theorem | Special functions |
| Guruswami–Sudan algorithm | Theorem | Information and communication theory, circuits |
| Superstability of the exponential equation | Theorem | Difference and functional equations |
| Kirchhoff's diffraction formula | Theorem | Optics, electromagnetic theory |
| De Finetti's theorem | Theorem | Probability theory and stochastic processes |
| Briançon–Skoda theorem | Theorem | Commutative algebra |
| Harris inequality | Theorem | Probability theory and stochastic processes |
| Duhamel's principle for heat conduction | Theorem | Partial differential equations |
| Feynman–Kac formula | Theorem | Probability theory and stochastic processes |
| Serre's criterion for normality | Theorem | Commutative algebra |
| Hopkins–Levitzki theorem | Theorem | Associative rings and algebras |
| IP = PSPACE | Theorem | Computer science |
| Chern character isomorphism | Theorem | K-theory |
| Fundamental theorem of affine geometry | Theorem | Geometry |
| Jakobson's theorem | Theorem | Dynamical systems and ergodic theory |
| Schmidt's singular value decomposition of a kernel | Theorem | Integral equations |
| Balog–Szemerédi–Gowers theorem | Theorem | Number theory |
| Horton's laws of stream networks | Fact | Geophysics |
| Existence of transcendence bases | Theorem | Field theory and polynomials |
| Tidal locking | Fact | Mechanics of particles and systems |
| Five lemma | Lemma | Category theory; homological algebra |
| Tennenbaum's theorem | Theorem | Mathematical logic and foundations |
| G-signature theorem | Theorem | Global analysis, analysis on manifolds |
| Hypsometric equation | Proposition | Geophysics |
| Kellogg–Evans theorem | Theorem | Potential theory |
| Parity is not in AC0 | Theorem | Computer science |
| Neumann solution of the Stefan problem | Proposition | Classical thermodynamics, heat transfer |
| Sturm comparison theorem | Theorem | Ordinary differential equations |
| Impossibility of the classical construction problems | Theorem | Field theory and polynomials |
| Prime ideals of a localization | Proposition | Commutative algebra |
| Tube lemma | Lemma | General topology |
| Nielsen–Schreier theorem | Theorem | Group theory and generalizations |
| Fully faithful essentially surjective functor is an equivalence | Theorem | Category theory; homological algebra |
| Cameron–Martin theorem | Theorem | Measure and integration |
| Jordan decomposition of a signed measure | Theorem | Measure and integration |
| Range conditions for the Radon transform | Theorem | Integral transforms, operational calculus |
| Aberration of light | Proposition | Astronomy and astrophysics |
| Delzant's theorem on toric manifolds | Theorem | Differential geometry |
| Gamma function has no zeros | Theorem | Special functions |
| Momentum integral equation | Theorem | Fluid mechanics |
| Wielandt's theorem | Theorem | Special functions |
| Shirshov–Witt theorem | Theorem | Nonassociative rings and algebras |
| Birkhoff's completeness theorem | Theorem | General algebraic systems |
| Harmonic measure as exit distribution | Theorem | Probability theory and stochastic processes |
| Chen's theorem | Theorem | Number theory |
| No-trade theorem | Theorem | Game theory, economics, finance, and other social and behavioral sciences |
| Stable manifold theorem | Theorem | Ordinary differential equations |
| Reflection formula for the gamma function | Theorem | Special functions |
| Frame-dragging | Proposition | Relativity and gravitational theory |
| Necklace splitting theorem | Theorem | Combinatorics |