1000+ Theorems project

From MaRDI portal
Revision as of 16:45, 1 August 2024 by Schubotz (talk | contribs)
itemdescriptionlabel
geometric relation between the roots of a polynomial and those of its derivativehttps://portal.mardi4nfdi.de/entity/Q6480414Gauss–Lucas theorem
on how much high-dimensional objects must exhibit some combinatorial structurehttps://portal.mardi4nfdi.de/entity/Q6480418Hales–Jewett theorem
theorem that, if there exist injective functions in both directions between two sets, then there exists a bijection between themhttps://portal.mardi4nfdi.de/entity/Q6480423Cantor–Bernstein–Schroeder theorem
Physics theorem for symmetries of actionhttps://portal.mardi4nfdi.de/entity/Q6480425Noether's second theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480426Pólya enumeration theorem
theorem that an analytic function is completely determined by its values on a countable subset that contains a converging sequence together with its limithttps://portal.mardi4nfdi.de/entity/Q6480427identity theorem
theorem that long dense subsets of the integers contain arbitrarily large arithmetic progressionshttps://portal.mardi4nfdi.de/entity/Q6480431Szemerédi's theorem
theorem bounding the number of edges in a graph that has no large cliqueshttps://portal.mardi4nfdi.de/entity/Q6480433Turán's theorem
https://portal.mardi4nfdi.de/entity/Q6480434Jacobson–Morozov theorem
computational quantum mechanical modelling method to investigate the electronic structurehttps://portal.mardi4nfdi.de/entity/Q6480442density functional theory
https://portal.mardi4nfdi.de/entity/Q6480443Joubert's theorem
"Remarkable theorem" about Gauss' curvature as an invarianthttps://portal.mardi4nfdi.de/entity/Q6480445Theorema Egregium
economics theorem that if an externality can be traded with no transaction costs, bargaining leads to a Pareto efficient outcome regardless of the initial allocation of propertyhttps://portal.mardi4nfdi.de/entity/Q6480448Coase theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480449Cantor's intersection theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480451Hartogs' theorem
concept in mathematicshttps://portal.mardi4nfdi.de/entity/Q6480453Cauchy product
theoremhttps://portal.mardi4nfdi.de/entity/Q6480455Craig interpolation
theoremhttps://portal.mardi4nfdi.de/entity/Q6480457five color theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480460Baire category theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480465Stolz–Cesàro theorem
theorem that derivates of the laws of probability from a certain set of postulateshttps://portal.mardi4nfdi.de/entity/Q6480467Cox's theorem
Social Choice theory on votinghttps://portal.mardi4nfdi.de/entity/Q6480468May's theorem
theorem from group theoryhttps://portal.mardi4nfdi.de/entity/Q6480472Sylow theorems
theoremhttps://portal.mardi4nfdi.de/entity/Q6480473Darboux's theorem
foundational result in symplectic geometryhttps://portal.mardi4nfdi.de/entity/Q6480476Darboux's theorem
Theorem in statistics and econometricshttps://portal.mardi4nfdi.de/entity/Q6480478Frisch–Waugh–Lovell theorem
Mathematical demonstration applied in electro-magnetismhttps://portal.mardi4nfdi.de/entity/Q6480480Earnshaw's theorem
calculus theorem that the limit of a function trapped between two other functions with the same limit 𝐿 is also 𝐿https://portal.mardi4nfdi.de/entity/Q6480483squeeze theorem
theorems that describe the relationship between quotients, homomorphisms, and subobjectshttps://portal.mardi4nfdi.de/entity/Q6480486isomorphism theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480488dominated convergence theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480489closed graph theorem
theorem that, for any signature 𝜎, any infinite 𝜎-structure 𝑀 and any infinite cardinal 𝜅≥|𝜎|, there is a 𝜎‐structure 𝑁 of cardinality 𝜅 that is either an elementary substructure or an elementary extension of 𝑀https://portal.mardi4nfdi.de/entity/Q6480493Löwenheim–Skolem theorem
formula for the surface gravity on a viscous rotating ellipsoid in hydrostatic equilibrium under the action of its gravitational field and centrifugal forcehttps://portal.mardi4nfdi.de/entity/Q6480499Clairaut's theorem
Theorem: polynomials without common complex zeros generate the unit idealhttps://portal.mardi4nfdi.de/entity/Q6480503Hilbert's Nullstellensatz
in the theory of several complex variables, the theorem that every function holomorphic on a tube domain extends to the convex hull of that tube domainhttps://portal.mardi4nfdi.de/entity/Q6480506Bochner's tube theorem
theorem relating the diameter of a point set to the minimum radius of an enclosing ballhttps://portal.mardi4nfdi.de/entity/Q6480509Jung's theorem
in the theory of several complex variables, the theorem that a function on ℝⁿ allowing holomorphic extension in each variable separately can be extended, under certain conditions, to a function holomorphic in all variables jointlyhttps://portal.mardi4nfdi.de/entity/Q6480510Malgrange–Zerner theorem
area of functional analysis and convex analysis concerned with measures which have support on the extreme points of a convex sethttps://portal.mardi4nfdi.de/entity/Q6480513Choquet theory
formal language theoremhttps://portal.mardi4nfdi.de/entity/Q6480514Büchi-Elgot-Trakhtenbrot theorem
uniqueness of countable dense linear ordershttps://portal.mardi4nfdi.de/entity/Q6480515Cantor's isomorphism theorem
statement that the product of a collection of non-empty sets is non-emptyhttps://portal.mardi4nfdi.de/entity/Q6480518axiom of choice
theoremhttps://portal.mardi4nfdi.de/entity/Q6480519König's theorem
theorem which states that there is no nonvanishing continuous tangent vector field on even-dimensional n-sphereshttps://portal.mardi4nfdi.de/entity/Q6480521hairy ball theorem
decomposition of an integer as a sum of positive integershttps://portal.mardi4nfdi.de/entity/Q6480523partition
theorem concerning spontaneous symmetry breakinghttps://portal.mardi4nfdi.de/entity/Q6480524Vafa–Witten theorem
problem asking whether every algebraic variety V has a resolutionhttps://portal.mardi4nfdi.de/entity/Q6480527resolution of singularities
theoremhttps://portal.mardi4nfdi.de/entity/Q6480528Apéry's theorem
symmetric convex sethttps://portal.mardi4nfdi.de/entity/Q6480530Minkowski's theorem
a result in functional analysis with applications in the study of partial differential equationshttps://portal.mardi4nfdi.de/entity/Q6480535Lions–Lax–Milgram theorem
theorem about products in model theoryhttps://portal.mardi4nfdi.de/entity/Q6480536Feferman–Vaught theorem
any of a family of theorems relating decay properties of a function or distribution at infinity with analyticity of its Fourier transformhttps://portal.mardi4nfdi.de/entity/Q6480539Paley–Wiener theorem
https://portal.mardi4nfdi.de/entity/Q6480540Friedberg–Muchnik theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480541Krylov–Bogolyubov theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480544Dinostratus' theorem
mathematical Theoremhttps://portal.mardi4nfdi.de/entity/Q6480545Gamas's Theorem
https://portal.mardi4nfdi.de/entity/Q6480546Netto's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480549Lehmann–Scheffé theorem
complexity classhttps://portal.mardi4nfdi.de/entity/Q6480552NP-intermediate
statistical distribution for dependence between random variableshttps://portal.mardi4nfdi.de/entity/Q6480553copula
function with multiplicative scaling behaviourhttps://portal.mardi4nfdi.de/entity/Q6480555homogeneous function
https://portal.mardi4nfdi.de/entity/Q6480556Supporting hyperplane
theorem that the maximum size of an antichain in a finite partial order equals the minimum number of chains into which it can be partitionedhttps://portal.mardi4nfdi.de/entity/Q6480558Dilworth's theorem
https://portal.mardi4nfdi.de/entity/Q6480559Vitali convergence theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480561Harnack's principle
theoremhttps://portal.mardi4nfdi.de/entity/Q6480563Hurwitz's theorem
theorem in physicshttps://portal.mardi4nfdi.de/entity/Q6480565optical theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480567Tychonoff's theorem
approximation of a function by a truncated power serieshttps://portal.mardi4nfdi.de/entity/Q6480569Taylor's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480571Cauchy's theorem
theorem on finite-dimensional unital real non-associative algebras endowed with a positive-definite quadratic formhttps://portal.mardi4nfdi.de/entity/Q6480573Hurwitz's theorem
Sociological theoryhttps://portal.mardi4nfdi.de/entity/Q6480577rational choice theory
theorem that a continuous complex‐valued function on an open set in the complex plane whose contour integral on any closed piecewise‐𝒞¹ curve vanishes must be holomorphichttps://portal.mardi4nfdi.de/entity/Q6480582Morera's theorem
theorem in complexity theory that every problem in NP has probabilistically checkable proofshttps://portal.mardi4nfdi.de/entity/Q6480593PCP theorem
principle regarding the maximum efficiency of heat engineshttps://portal.mardi4nfdi.de/entity/Q6480596Carnot's theorem
gives the sum of the distances from the circumcenter to the sides of an arbitrary trianglehttps://portal.mardi4nfdi.de/entity/Q6480598Carnot's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480601Heckscher–Ohlin theorem
every continuous function on a compact set has a fixed pointhttps://portal.mardi4nfdi.de/entity/Q6480605Brouwer fixed-point theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480607Fermat polygonal number theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480608Mitchell's embedding theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480610Fubini's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480613Goodstein's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480614compactness theorem
equation relating the magnitudes of three coplanar, concurrent and non-collinear vectors, which keeps an object in static equilibrium, with the angles directly opposite to the corresponding vectorshttps://portal.mardi4nfdi.de/entity/Q6480615Lami's theorem
axiom in Euclidean geometryhttps://portal.mardi4nfdi.de/entity/Q6480623parallel postulate
relation in Euclidean geometry among the three sides of a right trianglehttps://portal.mardi4nfdi.de/entity/Q6480624Pythagorean theorem
theorem in geometryhttps://portal.mardi4nfdi.de/entity/Q6480628Mohr–Mascheroni theorem
massless boson that must be present in a quantum system with spontaneously broken symmetryhttps://portal.mardi4nfdi.de/entity/Q6480633Goldstone boson
theorem of calculushttps://portal.mardi4nfdi.de/entity/Q6480636monotone convergence theorem
https://portal.mardi4nfdi.de/entity/Q6480638Plancherel theorem for spherical functions
theoremhttps://portal.mardi4nfdi.de/entity/Q6480639Stone's representation theorem for Boolean algebras
https://portal.mardi4nfdi.de/entity/Q6480640Generalized Gauss-Bonnet theorem
Delay embedding theorem of attractor reconstructionhttps://portal.mardi4nfdi.de/entity/Q6480642Takens' theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480645Modigliani–Miller theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480647Hajós's theorem
cohomology with real coefficients computed using differential formshttps://portal.mardi4nfdi.de/entity/Q6480652de Rham cohomology
theoremhttps://portal.mardi4nfdi.de/entity/Q6480653deduction theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480657Poncelet–Steiner theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480658Lucas' theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480660fundamental theorem on homomorphisms
theorem that every curve of constant width has perimeter π times its widthhttps://portal.mardi4nfdi.de/entity/Q6480663Barbier's theorem
https://portal.mardi4nfdi.de/entity/Q6480665Nagata's compactification theorem
mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6480667Zeckendorf's theorem
probablility distributionhttps://portal.mardi4nfdi.de/entity/Q6480670exponential family
fundamental result in measure theory that expresses the relationship between two measures defined on the same measurable spacehttps://portal.mardi4nfdi.de/entity/Q6480673Radon–Nikodym theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480676Egorov's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480678Rouché's theorem
topological space that is homeomorphic to a metric spacehttps://portal.mardi4nfdi.de/entity/Q6480684metrizable space
theorem that the three long diagonals of a hexagon that is tangent to a conic section meet in a single pointhttps://portal.mardi4nfdi.de/entity/Q6480688Brianchon's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480692Descartes' theorem
series of three theorems about the density of prime numbershttps://portal.mardi4nfdi.de/entity/Q6480698Mertens' theorems
theoremhttps://portal.mardi4nfdi.de/entity/Q6480701De Gua's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480702Kaplansky density theorem
theorem in vector calculushttps://portal.mardi4nfdi.de/entity/Q6480706Stokes' theorem
calculus theorem describing the duality of differentiation and integrationhttps://portal.mardi4nfdi.de/entity/Q6480709fundamental theorem of calculus
approximating real numbers with rational numbershttps://portal.mardi4nfdi.de/entity/Q6480714diophantine approximation
theoremhttps://portal.mardi4nfdi.de/entity/Q6480716Dirichlet's unit theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480717Dirichlet's approximation theorem
mathematical theorem in stochastic processeshttps://portal.mardi4nfdi.de/entity/Q6480719Doob decomposition theorem
a square matrixhttps://portal.mardi4nfdi.de/entity/Q6480721doubly stochastic matrix
theoremhttps://portal.mardi4nfdi.de/entity/Q6480722Richardson's theorem
sequence of moves of a knight on a chessboard to visit each square exactly oncehttps://portal.mardi4nfdi.de/entity/Q6480728knight's tour
theorem that every subgroup of a free group is itself freehttps://portal.mardi4nfdi.de/entity/Q6480731Nielsen–Schreier theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480733Schwartz kernel theorem
topological invariant in mathematicshttps://portal.mardi4nfdi.de/entity/Q6480739Euler characteristic
theorem relating the Euler characteristic of a closed manifold to the number of zeros of a vector field on ithttps://portal.mardi4nfdi.de/entity/Q6480744Poincaré–Hopf theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480745Nash embedding theorem
On immersions of smooth m-dimensional manifolds in 2m-space and (2m-1) spacehttps://portal.mardi4nfdi.de/entity/Q6480747Whitney immersion theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480751Whitney embedding theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480753Künneth theorem
theorem that, when applying reduction rules to terms in some variants of the lambda calculus, the ordering in which the reductions are chosen does not make a difference to the eventual resulthttps://portal.mardi4nfdi.de/entity/Q6480756Church–Rosser theorem
theorem about the existence of meromorphic functions with prescribed poleshttps://portal.mardi4nfdi.de/entity/Q6480758Mittag-Leffler's theorem
mathematics theorem in number theory, which was first stated and proved by Chen Jingrunhttps://portal.mardi4nfdi.de/entity/Q6480760Chen's theorem
theorem that no matter how one triangulates a cyclic polygon, the sum of inradii of triangles is constanthttps://portal.mardi4nfdi.de/entity/Q6480762Japanese theorem for cyclic polygons
graph familyhttps://portal.mardi4nfdi.de/entity/Q6480765chordal graph
theoremhttps://portal.mardi4nfdi.de/entity/Q6480767Rademacher's theorem
theorem in number theory that there are no nontrivial integer solutions of xⁿ+yⁿ=zⁿ for integer n>2https://portal.mardi4nfdi.de/entity/Q6480775Fermat's Last Theorem
Every polynomial has a real or complex roothttps://portal.mardi4nfdi.de/entity/Q6480777fundamental theorem of algebra
theorem in complex analysis that entire functions can be factorized according to their zeroshttps://portal.mardi4nfdi.de/entity/Q6480781Weierstrass factorization theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480783classification of finite simple groups
theorem that continuous functions on a closed subset of a normal topological space can be extended to the entire space, preserving boundedness if necessaryhttps://portal.mardi4nfdi.de/entity/Q6480785Tietze extension theorem
line that passes through two lines in the same plane at two distinct pointshttps://portal.mardi4nfdi.de/entity/Q6480787transversal
theoremhttps://portal.mardi4nfdi.de/entity/Q6480788Rybczynski theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480793Eilenberg–Zilber theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480796Riesz representation theorem
theorem that the finite-dimensional associative division algebras over the reals are either the reals, the complex numbers, or the quaternionshttps://portal.mardi4nfdi.de/entity/Q6480798Frobenius theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480800Lusin's theorem
theorem on the maximum size of a family of pairwise intersecting setshttps://portal.mardi4nfdi.de/entity/Q6480803Erdős–Ko–Rado theorem
theorem in combinatorial set theoryhttps://portal.mardi4nfdi.de/entity/Q6480804Erdős–Rado theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480805Kronecker–Weber theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480808Casey’s theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480810Besicovitch covering theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480812no-hair theorem
Sequence of fractionshttps://portal.mardi4nfdi.de/entity/Q6480814Farey sequence
theoremhttps://portal.mardi4nfdi.de/entity/Q6480815Hilbert's Theorem 90
theoremhttps://portal.mardi4nfdi.de/entity/Q6480816Ryll-Nardzewski fixed-point theorem
theorem describing distance between circumcentre and incentre of a trianglehttps://portal.mardi4nfdi.de/entity/Q6480820Euler's theorem in geometry
theoremhttps://portal.mardi4nfdi.de/entity/Q6480822Frucht's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480823spectral theorem
theorem in geometry that a perpendicular to one side of an orthodiagonal quadrilateral, through the point of intersection of the diagonals, bisects the opposite sidehttps://portal.mardi4nfdi.de/entity/Q6480826Brahmagupta theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480828Dirichlet's theorem on arithmetic progressions
theoremhttps://portal.mardi4nfdi.de/entity/Q6480829Chebotarev's density theorem
theorem that a pointwise bounded set of linear operators on a Banach space is uniformly bounded in operator normhttps://portal.mardi4nfdi.de/entity/Q6480833uniform boundedness principle
theoremhttps://portal.mardi4nfdi.de/entity/Q6480834fluctuation-dissipation theorem
algebraic variety of dimension twohttps://portal.mardi4nfdi.de/entity/Q6480840algebraic surface
theoremhttps://portal.mardi4nfdi.de/entity/Q6480842Parseval's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480845Penrose–Hawking singularity theorems
establishes the concept of stabilization of homotopy groupshttps://portal.mardi4nfdi.de/entity/Q6480847Freudenthal suspension theorem
set-theoretic theorem or principle, equivalent to the axiom of choicehttps://portal.mardi4nfdi.de/entity/Q6480850well-ordering theorem
theorem that d+2 points in d dimensions can be partitioned into two subsets whose convex hulls intersecthttps://portal.mardi4nfdi.de/entity/Q6480851Radon's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480852Hellinger–Toeplitz theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480855Arzelà–Ascoli theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480856Runge's theorem
theorem that the number of prime numbers is infinitehttps://portal.mardi4nfdi.de/entity/Q6480858Euclid's theorem
https://portal.mardi4nfdi.de/entity/Q6480860Lie's third theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480869Peter–Weyl theorem
mathematical concepthttps://portal.mardi4nfdi.de/entity/Q6480870uniform integrability
quotient of the direct product of a family of structures by an ultrafilterhttps://portal.mardi4nfdi.de/entity/Q6480875ultraproduct
when two figures or objects in geometry have the same shape and size, or if one has the same shape and size as the mirror image of the otherhttps://portal.mardi4nfdi.de/entity/Q6480880congruence
theorem calculating the number of intersection points of two algebraic curves in terms of their degreeshttps://portal.mardi4nfdi.de/entity/Q6480882Bézout's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480885Sokhotski–Plemelj theorem
theorem about the impossibility of spontaneous symmetry breaking in two-dimensional systems at finite temperaturehttps://portal.mardi4nfdi.de/entity/Q6480890Mermin–Wagner theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480892Woodbury matrix identity
theoremhttps://portal.mardi4nfdi.de/entity/Q6480893Reeh–Schlieder theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480895Perron–Frobenius theorem
https://portal.mardi4nfdi.de/entity/Q6480896IP set
theoremhttps://portal.mardi4nfdi.de/entity/Q6480898Haag's theorem
Geometric relationship between the zeros of a cubic polynomial and of its derivativehttps://portal.mardi4nfdi.de/entity/Q6480901Marden's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480903Hahn decomposition theorem
theorem of number theoryhttps://portal.mardi4nfdi.de/entity/Q6480907Lindemann–Weierstrass theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480908Lochs' theorem
https://portal.mardi4nfdi.de/entity/Q6480909Barban–Davenport–Halberstam theorem
theorem related to model theory, discovered by Michael D. Morleyhttps://portal.mardi4nfdi.de/entity/Q6480911Morley's categoricity theorem
https://portal.mardi4nfdi.de/entity/Q6480913van Schooten's theorem
theorem in Euclidean geometryhttps://portal.mardi4nfdi.de/entity/Q6480914Anne's theorem
geometrical theoremhttps://portal.mardi4nfdi.de/entity/Q6480916Newton's theorem (quadrilateral)
describes a third square derived from any two squares that share a vertexhttps://portal.mardi4nfdi.de/entity/Q6480920Finsler–Hadwiger theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480921Lumer–Phillips theorem
local existence and uniqueness theorem for analytic partial differential equations associated with Cauchy initial value problemshttps://portal.mardi4nfdi.de/entity/Q6480923Cauchy–Kowalevski theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480924Orlicz–Pettis theorem
Solution of some Diophantine equationhttps://portal.mardi4nfdi.de/entity/Q6480926Diophantine set
https://portal.mardi4nfdi.de/entity/Q6481716F. and M. Riesz theorem
three-dimensional smooth curves with small total curvature must be unknottedhttps://portal.mardi4nfdi.de/entity/Q6481717Fary–Milnor theorem
On the approximate structure of sets whose sumset is smallhttps://portal.mardi4nfdi.de/entity/Q6481718Freiman's theorem
each semi-simple algebraic group is geometrically reductivehttps://portal.mardi4nfdi.de/entity/Q6481721Haboush's theorem
https://portal.mardi4nfdi.de/entity/Q6481723Gromov's theorem on groups of polynomial growth
a result on cyclotomic fields, characterising those with a normal integral basishttps://portal.mardi4nfdi.de/entity/Q6481725Hilbert–Speiser theorem
How many ways that a positive integer can be represented as the sum of 4 squareshttps://portal.mardi4nfdi.de/entity/Q6481728Jacobi's four-square theorem
well-quasi-ordering of finite treeshttps://portal.mardi4nfdi.de/entity/Q6481730Kruskal's tree theorem
a theorem about the numbers of faces of different dimensions in an abstract simplicial complexhttps://portal.mardi4nfdi.de/entity/Q6481732Kruskal–Katona theorem
https://portal.mardi4nfdi.de/entity/Q6481733Lax–Wendroff theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6481735Lie–Kolchin theorem
https://portal.mardi4nfdi.de/entity/Q6481737Mahler's theorem
One can't dissect a square into an odd number of triangles of equal areahttps://portal.mardi4nfdi.de/entity/Q6481739Monsky's theorem
https://portal.mardi4nfdi.de/entity/Q6481742Müntz–Szász theorem
theorem that describes rational torsion points on elliptic curves over the integershttps://portal.mardi4nfdi.de/entity/Q6481743Nagell–Lutz theorem
mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6481746Robertson–Seymour theorem
On the divisibility of solutions to Fermat's Last Theorem for prime exponenthttps://portal.mardi4nfdi.de/entity/Q6481748Sophie Germain's theorem
mathematical theorem in real analysishttps://portal.mardi4nfdi.de/entity/Q6481750Steinhaus theorem
Relates the curvature of a Riemannian manifold to its topologyhttps://portal.mardi4nfdi.de/entity/Q6481751Synge's theorem
theorem in homotopy theoryhttps://portal.mardi4nfdi.de/entity/Q6481753Whitehead theorem
theorem in mathematical group theoryhttps://portal.mardi4nfdi.de/entity/Q6481756correspondence theorem
the theorem that extending ideals gives a mapping on the class group of an algebraic number field to the class group of its Hilbert class field, which sends all ideal classes to the class of a principal idealhttps://portal.mardi4nfdi.de/entity/Q6481757principal ideal theorem
all bases of a vector space have equally many elementshttps://portal.mardi4nfdi.de/entity/Q6481759dimension theorem for vector spaces
In cyclic extension of number fields, if k is a local norm everywhere, it is a global normhttps://portal.mardi4nfdi.de/entity/Q6481760Hasse norm theorem
https://portal.mardi4nfdi.de/entity/Q6481761Non-squeezing theorem
on closed convex subsets in Hilbert spacehttps://portal.mardi4nfdi.de/entity/Q6481762Hilbert projection theorem
theorem in mathematics, proved by Marcel Rieszhttps://portal.mardi4nfdi.de/entity/Q6481764M. Riesz extension theorem
theorem of analytic functions of several complex variableshttps://portal.mardi4nfdi.de/entity/Q6481765Weierstrass preparation theorem
theorem about admissible crystal symmetrieshttps://portal.mardi4nfdi.de/entity/Q6481766Crystallographic restriction theorem
speeding up Turing machines by increasing tape symbol complexityhttps://portal.mardi4nfdi.de/entity/Q6481767linear speedup theorem
Determines the fractional part of Bernoulli numbershttps://portal.mardi4nfdi.de/entity/Q6481769Von Staudt–Clausen theorem
https://portal.mardi4nfdi.de/entity/Q6481770Kolmogorov's three-series theorem
mathematical theorem of dimensional theoryhttps://portal.mardi4nfdi.de/entity/Q6481773Krull's principal ideal theorem
Conditions guaranteeing the transcendence of at least one of a set of exponentialshttps://portal.mardi4nfdi.de/entity/Q6481774Six exponentials theorem
relates to a chain of six circles together with a trianglehttps://portal.mardi4nfdi.de/entity/Q6481775Six circles theorem
https://portal.mardi4nfdi.de/entity/Q6481776Hadamard three-line theorem
Theorem in order theoryhttps://portal.mardi4nfdi.de/entity/Q6481777Kleene fixed-point theorem
https://portal.mardi4nfdi.de/entity/Q6481778Wiener's tauberian theorem
https://portal.mardi4nfdi.de/entity/Q6481781Pompeiu's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6481783adiabatic theorem
theorem on genetic algorithmshttps://portal.mardi4nfdi.de/entity/Q6481786Holland's schema theorem
relationship that two functors may havehttps://portal.mardi4nfdi.de/entity/Q6481789adjoint functor
important theorem about the structure of finitely generated linear groupshttps://portal.mardi4nfdi.de/entity/Q6481791Tits alternative
theorem on the circulation in fluidshttps://portal.mardi4nfdi.de/entity/Q6481798Kelvin's circulation theorem
theorem that the simply connected cross section with maximal torsional rigidity is a circlehttps://portal.mardi4nfdi.de/entity/Q6481800Saint-Venant's theorem
theorem about inclusions between Sobolev spaces: if 1≤r≤s<∞ and 1/r − k/n = 1/s − l/n, then Wᵏʳ(ℝⁿ) ⊆ Wˡˢ(ℝⁿ)https://portal.mardi4nfdi.de/entity/Q6481802Sobolev inequality
necessary and sufficient condition for the existence of a prefix code for a given set of codeword lengthshttps://portal.mardi4nfdi.de/entity/Q6481805Kraft's inequality
a theorem in topology describing the fundamental group of a space in terms of a cover of the space by two open path-connected subspaceshttps://portal.mardi4nfdi.de/entity/Q6481808Seifert–van Kampen theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6481811cut-elimination
theoremhttps://portal.mardi4nfdi.de/entity/Q6481813butterfly theorem
primality test for Proth numbershttps://portal.mardi4nfdi.de/entity/Q6481818Proth's theorem
Theorem that Boolean satisfiability is NP-complete and therefore that NP-complete problems existhttps://portal.mardi4nfdi.de/entity/Q6481822Cook–Levin theorem
theorem that the Euler characteristic of the sheaf cohomology of a holomorphic line bundle on a Riemann surface equals the degree of the bundle plus half of the Euler characteristic of the surfacehttps://portal.mardi4nfdi.de/entity/Q6481828Riemann–Roch theorem
homeomorphism between plane domainshttps://portal.mardi4nfdi.de/entity/Q6481829Quasiconformal mapping
theorem that singularities of holomorphic functions of several variables cannot be compactly supportedhttps://portal.mardi4nfdi.de/entity/Q6481830Hartogs' extension theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6481833Herbrand–Ribet theorem
theorem in number theoryhttps://portal.mardi4nfdi.de/entity/Q6481837prime number theorem
in quantum physics, the theorem that locally causal hidden-variable theories cannot reproduce correlations predicted by quantum mechanicshttps://portal.mardi4nfdi.de/entity/Q6481842Bell's theorem
On prime divisors Fibonacci numbers and Lucas sequences, more generallyhttps://portal.mardi4nfdi.de/entity/Q6481844Carmichael's theorem
https://portal.mardi4nfdi.de/entity/Q6481846Tameness theorem
theorem in geometryhttps://portal.mardi4nfdi.de/entity/Q6481848Brunn–Minkowski theorem
mathematical theorem which provides criteria for the oscillation and non-oscillation of solutions of certain linear differential equations in the real domainhttps://portal.mardi4nfdi.de/entity/Q6481850Sturm–Picone comparison theorem
in algebraic topology, a theorem that a continuous map between (geometric realizations of) simplicial complexes is homotopy-equivalent to a simplicial map between subdivisions of the simplicial complexeshttps://portal.mardi4nfdi.de/entity/Q6481852simplicial approximation theorem
https://portal.mardi4nfdi.de/entity/Q6481853Duggan–Schwartz theorem
On convergent subsequences of functions that are locally of bounded total variationhttps://portal.mardi4nfdi.de/entity/Q6481854Helly's selection theorem
Impossibility of efficient incentive systemshttps://portal.mardi4nfdi.de/entity/Q6481855Holmström's theorem
Integer multiples of many irrational mod 1 are uniformly distributed on the circlehttps://portal.mardi4nfdi.de/entity/Q6481856Equidistribution theorem
mathematical theorem on recovering a function from its Fourier transformhttps://portal.mardi4nfdi.de/entity/Q6481857Fourier inversion theorem
no-go theorem in quantum information theory, forbidding some communication during measurement of entangled stateshttps://portal.mardi4nfdi.de/entity/Q6481858no-communication theorem
Theorem in hyperbolic geometryhttps://portal.mardi4nfdi.de/entity/Q6481860Mostow rigidity theorem
https://portal.mardi4nfdi.de/entity/Q6481862Fredholm's theorem
power series with rational exponentshttps://portal.mardi4nfdi.de/entity/Q6481864Puiseux series
theoremhttps://portal.mardi4nfdi.de/entity/Q6481865Skorokhod's representation theorem
theorem on the approximation of a trigonometric sum by a shorter onehttps://portal.mardi4nfdi.de/entity/Q6481866ATS theorem
The only rational angles in first quadrant whose sine is rational are 0, 30 and 90 degreeshttps://portal.mardi4nfdi.de/entity/Q6481867Niven's theorem
mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6481870soul theorem
key result in general relativityhttps://portal.mardi4nfdi.de/entity/Q6481871positive energy theorem
method for analysis of algorithmshttps://portal.mardi4nfdi.de/entity/Q6481872master theorem
on divide and conquer algorithms where the sub-problems have substantially different sizeshttps://portal.mardi4nfdi.de/entity/Q6481874Akra–Bazzi method
theoremhttps://portal.mardi4nfdi.de/entity/Q6481877Myhill–Nerode theorem
power series generalized to allow negative powershttps://portal.mardi4nfdi.de/entity/Q6481879Laurent series
mathematical theorem using Laplace transformhttps://portal.mardi4nfdi.de/entity/Q6481880initial value theorem
relation between frequency- and time-domain behavior at large timehttps://portal.mardi4nfdi.de/entity/Q6481881Final value theorem
statistics theorem that ordinary least squares is the best linear unbiased estimator under certain conditionshttps://portal.mardi4nfdi.de/entity/Q6481885Gauss–Markov theorem
https://portal.mardi4nfdi.de/entity/Q6481887Phragmén–Lindelöf principle
theorem in complex analysis that a conformal mapping sending the unit disk to a region in the complex plane bounded by a Jordan curve extends continuously to a homeomorphism from the unit circle onto the Jordan curvehttps://portal.mardi4nfdi.de/entity/Q6481888Carathéodory's theorem
theorem that exchangeable observations are conditionally independent relative to some latent variablehttps://portal.mardi4nfdi.de/entity/Q6481890de Finetti's theorem
result on the analytic continuation of lacunary power serieshttps://portal.mardi4nfdi.de/entity/Q6481891Ostrowski–Hadamard gap theorem
theorem in game theory about whether rational agents can agree to disagreehttps://portal.mardi4nfdi.de/entity/Q6481894Aumann's agreement theorem
theorem of analytic continuationshttps://portal.mardi4nfdi.de/entity/Q6481895Edge-of-the-wedge theorem
mathematical theorem related to real and functional analysishttps://portal.mardi4nfdi.de/entity/Q6481896Kirszbraun theorem
theorem providing conditions that guarantee that the max–min inequality is also an equalityhttps://portal.mardi4nfdi.de/entity/Q6481897minimax theorem
variational characterization of eigenvalues of compact Hermitian operators on Hilbert spaceshttps://portal.mardi4nfdi.de/entity/Q6481898Min-max theorem
theorem in complex analysishttps://portal.mardi4nfdi.de/entity/Q6481899Lindelöf's theorem
theorem about conformal mappings in Euclidean spacehttps://portal.mardi4nfdi.de/entity/Q6481900Liouville's theorem
https://portal.mardi4nfdi.de/entity/Q6481901Meusnier's theorem
Result about foliation of compact 3-manifoldshttps://portal.mardi4nfdi.de/entity/Q6481903Novikov's compact leaf theorem
cross section theoremhttps://portal.mardi4nfdi.de/entity/Q6481904Pomeranchuk's theorem
mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6481905Routh–Hurwitz theorem
theorem that a closed oriented connected manifold with a singular foliation having only centers is homeomorphic to the sphere and that the foliation has exactly two singularitieshttps://portal.mardi4nfdi.de/entity/Q6481906Reeb sphere theorem
mathematical disciplinehttps://portal.mardi4nfdi.de/entity/Q6481462Jackson network
decomposition of an algebraic structurehttps://portal.mardi4nfdi.de/entity/Q6481464composition series
https://portal.mardi4nfdi.de/entity/Q6481465Browder–Minty theorem
mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6481466Arakelyan's theorem
allows one to estimate the permanent of a binary matrix via its row or column sumshttps://portal.mardi4nfdi.de/entity/Q6481477Bregman–Minc inequality
theoremhttps://portal.mardi4nfdi.de/entity/Q6481480Heine–Borel theorem
failure of some angles to add up to the expected amount of 360° or 180°, when such angles in the plane wouldhttps://portal.mardi4nfdi.de/entity/Q6481487defect
decomposition theorem of Beilinson, Bernstein and Deligne or BBD decomposition theorem is a set of results concerning the cohomology of algebraic varietieshttps://portal.mardi4nfdi.de/entity/Q6481488decomposition theorem
probability theoremhttps://portal.mardi4nfdi.de/entity/Q6481489Ionescu-Tulcea theorem
https://portal.mardi4nfdi.de/entity/Q6481491Cartan–Dieudonné theorem
stating that any finite alternative division ring is necessarily a finite field, named after Emil Artin and Max Zornhttps://portal.mardi4nfdi.de/entity/Q6481494Artin–Zorn theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6481498equipartition theorem
It asserts that a consistent and stable numerical method is convergenthttps://portal.mardi4nfdi.de/entity/Q6481501Lax equivalence theorem
subset of [0,1] whose intersection with any translation of the set of rationals is a singleton; elementary example of a non-Lebesgue-measurable set of realshttps://portal.mardi4nfdi.de/entity/Q6481503Vitali set
Mathematical functionhttps://portal.mardi4nfdi.de/entity/Q6481507outer measure
https://portal.mardi4nfdi.de/entity/Q6481509Wold's theorem
https://portal.mardi4nfdi.de/entity/Q6481510Taylor–Proudman theorem
geometry theorem relating to triangleshttps://portal.mardi4nfdi.de/entity/Q6481511hinge theorem
theorem stating that a closed curve divides the plane into two regionshttps://portal.mardi4nfdi.de/entity/Q6481515Jordan curve theorem
https://portal.mardi4nfdi.de/entity/Q6481518Bing metrization theorem
theorem extending pre-measures to measureshttps://portal.mardi4nfdi.de/entity/Q6481521Carathéodory's extension theorem
theorem that a class of control flow graphs can compute any computable function if it combines subprograms only through sequence, selection, and iterationhttps://portal.mardi4nfdi.de/entity/Q6481527structured program theorem
theorem that under suitable conditions the Fourier transform of a convolution of two signals is the pointwise product of their Fourier transformshttps://portal.mardi4nfdi.de/entity/Q6481529convolution theorem
Theorem in complex analysis named after André Blochhttps://portal.mardi4nfdi.de/entity/Q6481532Bloch's theorem
algebraic expansion of powers of a binomialhttps://portal.mardi4nfdi.de/entity/Q6481536binomial theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6481539Abel's binomial theorem
Regular polygon that can be constructed with compass and straightedgehttps://portal.mardi4nfdi.de/entity/Q6481541constructible polygon
theorem in quantum physics that, in a theory preserving charge conjugation symmetry, a Feynman diagram consisting of a closed fermion loop connected to an odd number of vertices integrates to zerohttps://portal.mardi4nfdi.de/entity/Q6481542Furry's theorem
mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6481545Linnik's theorem
path in a graph that visits each vertex exactly oncehttps://portal.mardi4nfdi.de/entity/Q6481549Hamiltonian path
American physicisthttps://portal.mardi4nfdi.de/entity/Q6481557Richard H. Price
theorem in complex analysishttps://portal.mardi4nfdi.de/entity/Q6481560Bohr–Mollerup theorem
necessary and sufficient condition for a number to be primehttps://portal.mardi4nfdi.de/entity/Q6481564Wilson's theorem
states precisely which quadratic imaginary number fields admit unique factorisationhttps://portal.mardi4nfdi.de/entity/Q6481566Stark–Heegner theorem
theorem on the number of colors needed for graphs embedded on higher genus surfaceshttps://portal.mardi4nfdi.de/entity/Q6481569Ringel–Youngs theorem
theorem in graph theoryhttps://portal.mardi4nfdi.de/entity/Q6481571perfect graph theorem
theorem in strong gravitational lensing stating that the number of multiple images produced by a bounded transparent lens must be oddhttps://portal.mardi4nfdi.de/entity/Q6481573odd number theorem
https://portal.mardi4nfdi.de/entity/Q6481577Lovelock's Theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6481578addition theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6481579pentagonal number theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6481581arrival theorem
https://portal.mardi4nfdi.de/entity/Q6481583Glivenko's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6481585Mordell–Weil theorem
on ratios of line segments formed when 2 intersecting lines are cut by a pair of parallelshttps://portal.mardi4nfdi.de/entity/Q6481587intercept theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6481591Thales' theorem
https://portal.mardi4nfdi.de/entity/Q6481592Schneider–Lang theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6481598gradient theorem
operation of the elements of a group as transformations or automorphisms (mathematics)https://portal.mardi4nfdi.de/entity/Q6481604group action
commutative ring, named after Irvin Cohen and Francis Sowerby Macaulay (1862-1937)https://portal.mardi4nfdi.de/entity/Q6481608Cohen–Macaulay ring
Tiling puzzlehttps://portal.mardi4nfdi.de/entity/Q6481611Mutilated chessboard problem
on all absolute values of rational numbershttps://portal.mardi4nfdi.de/entity/Q6481613Ostrowski's theorem
theorem that the intersections of the 3 pairs of external tangent lines to 3 circles are collinearhttps://portal.mardi4nfdi.de/entity/Q6481615Monge's theorem
Concept in graph theoryhttps://portal.mardi4nfdi.de/entity/Q6481616Equitable coloring
https://portal.mardi4nfdi.de/entity/Q6481617Ankeny–Artin–Chowla congruence
Theorem on the number of sum-free sets contained in 1,...,Nhttps://portal.mardi4nfdi.de/entity/Q6481619Cameron–Erdős conjecture
https://portal.mardi4nfdi.de/entity/Q6481620Herzog–Schönheim conjecture
smooth manifold equipped with a smooth linear complex structure on each tangent spacehttps://portal.mardi4nfdi.de/entity/Q6481626almost complex manifold
which characterizes the automorphisms of simple ringshttps://portal.mardi4nfdi.de/entity/Q6481627Skolem–Noether theorem
Theorem in computability theoryhttps://portal.mardi4nfdi.de/entity/Q6481628Post's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6481631rank–nullity theorem
https://portal.mardi4nfdi.de/entity/Q6481633Hardy–Littlewood maximal function
https://portal.mardi4nfdi.de/entity/Q6481634Sahlqvist formula
https://portal.mardi4nfdi.de/entity/Q6481635Goldstine theorem
https://portal.mardi4nfdi.de/entity/Q6481637Le Cam's theorem
the study of the properties of a graph in relationship to matrices associated with the graphhttps://portal.mardi4nfdi.de/entity/Q6481639spectral graph theory
https://portal.mardi4nfdi.de/entity/Q6481640Kirchberger's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6481641Abel's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6481650Green's theorem
mathematical theorem concerning the graph-theoretic structure of three-dimensional polyhedra and higher-dimensional polytopeshttps://portal.mardi4nfdi.de/entity/Q6481653Balinski's theorem
about the boundedness of a complex analytic functionhttps://portal.mardi4nfdi.de/entity/Q6481654Borel–Carathéodory theorem
https://portal.mardi4nfdi.de/entity/Q6481655Vitali covering lemma
a property of infinite serieshttps://portal.mardi4nfdi.de/entity/Q6481660absolute convergence
in functional analysis, a Hilbert spacehttps://portal.mardi4nfdi.de/entity/Q6481663reproducing kernel Hilbert space
Result that no ranked-choice system is spoilerproofhttps://portal.mardi4nfdi.de/entity/Q6481668Arrow's impossibility theorem
generalization of the fundamental theorem in vector calculushttps://portal.mardi4nfdi.de/entity/Q6481674divergence theorem
Wikimedia disambiguation pagehttps://portal.mardi4nfdi.de/entity/Q6481680Chasles' theorem
https://portal.mardi4nfdi.de/entity/Q6481681Bondy's theorem
determinant of large Toeplitz matriceshttps://portal.mardi4nfdi.de/entity/Q6481682Szegő limit theorems
https://portal.mardi4nfdi.de/entity/Q6481683Hasse's theorem on elliptic curves
algebraic surface defined by a single quaternary cubic polynomial which is homogeneous of degree 3https://portal.mardi4nfdi.de/entity/Q6481684cubic surface
https://portal.mardi4nfdi.de/entity/Q6481685AF+BG theorem
On the existence of zeros of homogeneous polynomials over the p-adic numbershttps://portal.mardi4nfdi.de/entity/Q6481686Ax–Kochen theorem
An infinite set of points in R2 with mutual integer distances must be a straight linehttps://portal.mardi4nfdi.de/entity/Q6481689Erdős–Anning theorem
theorem in the mathematical field of differential geometryhttps://portal.mardi4nfdi.de/entity/Q6481691Euler's theorem
a correspondence between finite abelian extensions and generalized ideal class groupshttps://portal.mardi4nfdi.de/entity/Q6481692Takagi existence theorem
theorem in mathematics, named after the Soviet mathematician Andrey Nikolaevich Kolmogorovhttps://portal.mardi4nfdi.de/entity/Q6481693Kolmogorov extension theorem
mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6481694Excision theorem
formula used in graph theoryhttps://portal.mardi4nfdi.de/entity/Q6481695BEST theorem
named for Roger Balian and Francis E. Low, the theorem that there is no well-localized window function (or Gabor atom) g either in time or frequency for an exact Gabor frame (Riesz Basis)https://portal.mardi4nfdi.de/entity/Q6481696Balian–Low theorem
lower bound for absolute value of linear combinations of logarithms of algebraic numbershttps://portal.mardi4nfdi.de/entity/Q6481698Baker's theorem
https://portal.mardi4nfdi.de/entity/Q6481699Beck's theorem
mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6481700Bernstein's theorem on monotone functions
https://portal.mardi4nfdi.de/entity/Q6481701Beurling–Lax theorem
statement about the representability of zero by odd degree formshttps://portal.mardi4nfdi.de/entity/Q6481702Birch's theorem
https://portal.mardi4nfdi.de/entity/Q6481704Cauchy's theorem
On representing a given context-free language in terms of two simpler languageshttps://portal.mardi4nfdi.de/entity/Q6481707Chomsky–Schützenberger representation theorem
Relates areas of three parallelograms attached to three sides of an arbitrary trianglehttps://portal.mardi4nfdi.de/entity/Q6481710Pappus' area theorem
theorem on coloring infinite graphshttps://portal.mardi4nfdi.de/entity/Q6481712De Bruijn–Erdős theorem
incidence geometry theoremhttps://portal.mardi4nfdi.de/entity/Q6481713De Bruijn–Erdős theorem
Statement in probability theoryhttps://portal.mardi4nfdi.de/entity/Q6481715Donsker's theorem
https://portal.mardi4nfdi.de/entity/Q6481908Sazonov's theorem
Mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6481911no-wandering-domain theorem
theorem relating unitary operators to one-parameter Lie groupshttps://portal.mardi4nfdi.de/entity/Q6481912Stone's theorem on one-parameter unitary groups
planar graphs have straight drawingshttps://portal.mardi4nfdi.de/entity/Q6481915Fáry's theorem
https://portal.mardi4nfdi.de/entity/Q6481916Fatou's theorem
Mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6481917Hardy's theorem
statement about cubic curves in the projective planehttps://portal.mardi4nfdi.de/entity/Q6481920Cayley–Bacharach theorem
mathematical Sentencehttps://portal.mardi4nfdi.de/entity/Q6481921Monodromy theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6481925Ptolemy's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q64819262π theorem
on the Euler characteristic of a holomorphic vector bundle on a compact complex manifoldhttps://portal.mardi4nfdi.de/entity/Q6481927Hirzebruch–Riemann–Roch theorem
construction in algebraic geometryhttps://portal.mardi4nfdi.de/entity/Q6481928Abel–Jacobi map
https://portal.mardi4nfdi.de/entity/Q6481931Abhyankar–Moh theorem
Complete, full information, perfectly competitive markets are Pareto efficienthttps://portal.mardi4nfdi.de/entity/Q6481932fundamental theorems of welfare economics
theorem that generalizes showing that two homology theories are isomorphichttps://portal.mardi4nfdi.de/entity/Q6481938Acyclic model
theorem about convergence in a finite-dimensional Euclidean spacehttps://portal.mardi4nfdi.de/entity/Q6481940Bolzano–Weierstrass theorem
correlation-type inequality for four functions on a finite distributive latticehttps://portal.mardi4nfdi.de/entity/Q6481943Ahlswede–Daykin inequality
https://portal.mardi4nfdi.de/entity/Q6481945Akhiezer's theorem
approximation for factorialshttps://portal.mardi4nfdi.de/entity/Q6481948Stirling's approximation
central simple algebras over algebraic number fields that split over completions are matrix algebrashttps://portal.mardi4nfdi.de/entity/Q6481951Albert–Brauer–Hasse–Noether theorem
per-unit costs favor high-grade goodshttps://portal.mardi4nfdi.de/entity/Q6481955Alchian–Allen effect
theoremhttps://portal.mardi4nfdi.de/entity/Q6481957quadratic reciprocity
a smooth compact manifold such that, for any ε>0, there is a Riemannian metric g such that the diameter (measured using g) is at most one and such that the absolute value of sectional curvature is at most ε everywherehttps://portal.mardi4nfdi.de/entity/Q6481958almost flat manifold
https://portal.mardi4nfdi.de/entity/Q6481959Alperin–Brauer–Gorenstein theorem
https://portal.mardi4nfdi.de/entity/Q6481960Denjoy–Luzin theorem
states that the algebra of n by n matrices satisfies a certain identity of degree 2nhttps://portal.mardi4nfdi.de/entity/Q6481963Amitsur–Levitzki theorem
theorem in set theoryhttps://portal.mardi4nfdi.de/entity/Q6481965Cantor's theorem
on when a set in the Euclidean plane can be contained inside a finite rectifiable curvehttps://portal.mardi4nfdi.de/entity/Q6481966Analyst's traveling salesman theorem
https://portal.mardi4nfdi.de/entity/Q6481967Analytic Fredholm theorem
On when a function on convex body K does not decrease if K is translated inwardshttps://portal.mardi4nfdi.de/entity/Q6481968Anderson's theorem
theorem in homotopy theory that a Stein manifold of complex dimension 𝑛 admits a Morse function with critical points of index at most 𝑛 and hence homotopy-equivalent to a CW-complex of real dimension at most 𝑛https://portal.mardi4nfdi.de/entity/Q6481969Andreotti–Frankel theorem
mathematical theoryhttps://portal.mardi4nfdi.de/entity/Q6481972Arakelov theory
https://portal.mardi4nfdi.de/entity/Q6481973Area theorem
deformation theory which implies that formal power series with coefficients in a field k are well-approximated by the algebraic functions on k. Theorem as a fundamental result of Michael Artinhttps://portal.mardi4nfdi.de/entity/Q6481975Artin approximation theorem
Theorem on constructible abelian sheaves over the spectrum of a ring of algebraic numbershttps://portal.mardi4nfdi.de/entity/Q6481977Artin–Verdier duality
theorem in control theoryhttps://portal.mardi4nfdi.de/entity/Q6481982Artstein's theorem
Mathematical result about equivariant K-theory in homotopy theoryhttps://portal.mardi4nfdi.de/entity/Q6481985Atiyah–Segal completion theorem
https://portal.mardi4nfdi.de/entity/Q6481986Atkinson's theorem
https://portal.mardi4nfdi.de/entity/Q6481987Autonomous convergence theorem
construction in transcendental number theoryhttps://portal.mardi4nfdi.de/entity/Q6481988auxiliary function
an injective polynomial function from an n-dim complex vector space to itself is bijectivehttps://portal.mardi4nfdi.de/entity/Q6481990Ax–Grothendieck theorem
https://portal.mardi4nfdi.de/entity/Q6481991Aztec diamond
theoremhttps://portal.mardi4nfdi.de/entity/Q6481992Babuška–Lax–Milgram theorem
https://portal.mardi4nfdi.de/entity/Q6481995Baily–Borel compactification
https://portal.mardi4nfdi.de/entity/Q6481996Banach–Stone theorem
https://portal.mardi4nfdi.de/entity/Q6481997Bapat–Beg theorem
https://portal.mardi4nfdi.de/entity/Q6481998Barwise compactness theorem
Relate the direct image and the pull-back of sheaveshttps://portal.mardi4nfdi.de/entity/Q6481999Base change map
humorously stated theorem that a monkey hitting keys at random on a typewriter keyboard for an infinite amount of time will surely type a given text, such as the complete works of William Shakespeare.https://portal.mardi4nfdi.de/entity/Q6482003infinite monkey theorem
Lets one glue 2 sheaves over an infinitesimal neighborhood of a point on an algebraic curvehttps://portal.mardi4nfdi.de/entity/Q6482004Beauville–Laszlo theorem
https://portal.mardi4nfdi.de/entity/Q6482005Beck's monadicity theorem
Theorem in mathematics about unions of domains of holomorphyhttps://portal.mardi4nfdi.de/entity/Q6482008Behnke–Stein theorem
geodesic maps preserve the property of having constant curvaturehttps://portal.mardi4nfdi.de/entity/Q6482009Beltrami's theorem
connects non-singular algebraic curves with compact Riemann surfaceshttps://portal.mardi4nfdi.de/entity/Q6482011Belyi's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482013Fisher separation theorem
gives a lower bound on the volume of a Riemannian manifoldhttps://portal.mardi4nfdi.de/entity/Q6482014Berger–Kazdan comparison theorem
in approximation theory, a converse to Jackson's theoremhttps://portal.mardi4nfdi.de/entity/Q6482017Bernstein's theorem
mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6482019Solèr's theorem
a duality between the process of restricting and inducting in representation theoryhttps://portal.mardi4nfdi.de/entity/Q6482020Frobenius reciprocity
On when a 3-manifold is homeomorphic to the 3-spherehttps://portal.mardi4nfdi.de/entity/Q6482021Bing's recognition theorem
classifies holomorphic vector bundles over the complex projective linehttps://portal.mardi4nfdi.de/entity/Q6482025Birkhoff–Grothendieck theorem
https://portal.mardi4nfdi.de/entity/Q6482026Bishop–Cannings theorem
result in electrical engineeringhttps://portal.mardi4nfdi.de/entity/Q6482027Blondel's theorem
theorem of quantum field theoryhttps://portal.mardi4nfdi.de/entity/Q6482030Bogoliubov–Parasyuk theorem
mathematical concepthttps://portal.mardi4nfdi.de/entity/Q6482033Bondareva–Shapley theorem
https://portal.mardi4nfdi.de/entity/Q6482034Bonnet theorem
theorem in descriptive set theoryhttps://portal.mardi4nfdi.de/entity/Q6482035Borel determinacy theorem
a fixed-point theorem in algebraic geometryhttps://portal.mardi4nfdi.de/entity/Q6482036Borel fixed-point theorem
A basic result in the representation theory of Lie groupshttps://portal.mardi4nfdi.de/entity/Q6482038Borel–Weil–Bott theorem
theorem on homotopy groupshttps://portal.mardi4nfdi.de/entity/Q6482039Bott periodicity theorem
https://portal.mardi4nfdi.de/entity/Q6482040Bounded inverse theorem
https://portal.mardi4nfdi.de/entity/Q6482041Bourbaki–Witt theorem
problem in geometric topologyhttps://portal.mardi4nfdi.de/entity/Q6482043Schoenflies problem
https://portal.mardi4nfdi.de/entity/Q6482044Branching theorem
A basic result in the branch of mathematics known as character theoryhttps://portal.mardi4nfdi.de/entity/Q6482045Brauer's theorem on induced characters
Three results in in representation theory of finite groupshttps://portal.mardi4nfdi.de/entity/Q6482046Brauer's three main theorems
https://portal.mardi4nfdi.de/entity/Q6482047Brauer–Nesbitt theorem
an asymptotic result on the behaviour of algebraic number fieldshttps://portal.mardi4nfdi.de/entity/Q6482049Brauer–Siegel theorem
theorem characterizing one-dimensional unimodular projective groups over finite fieldshttps://portal.mardi4nfdi.de/entity/Q6482050Brauer–Suzuki–Wall theorem
on distances from opposite corners to a point inside a rectanglehttps://portal.mardi4nfdi.de/entity/Q6482053British flag theorem
theorem in homotopy theory that a set-valued contravariant functor on the homotopy category of connected pointed CW-complexes is representable iff it maps wedge sums to product and homotopy pushouts to weak pullbackshttps://portal.mardi4nfdi.de/entity/Q6482055Brown's representability theorem
https://portal.mardi4nfdi.de/entity/Q6482056Brun–Titchmarsh theorem
https://portal.mardi4nfdi.de/entity/Q6482057Chowla–Mordell theorem
theorem in queueing theoryhttps://portal.mardi4nfdi.de/entity/Q6482058Burke's theorem
https://portal.mardi4nfdi.de/entity/Q6482061Busemann's theorem
https://portal.mardi4nfdi.de/entity/Q6482062Bôcher's theorem
theorem that, under renormalisation flow of 2-dimensional quantum field theories, a quantity called C never increaseshttps://portal.mardi4nfdi.de/entity/Q6482067C-theorem
theorem of measure theoryhttps://portal.mardi4nfdi.de/entity/Q6482068Cameron–Martin theorem
generalization of Peano's existence theoremhttps://portal.mardi4nfdi.de/entity/Q6482069Carathéodory's existence theorem
https://portal.mardi4nfdi.de/entity/Q6482070Carleson–Jacobs theorem
uniqueness theorem in complex analysishttps://portal.mardi4nfdi.de/entity/Q6482072Carlson's theorem
two related theorems for a coherent sheaf on a Stein manifold: that it is spanned by its global sections (theorem A) and that its higher sheaf cohomology vanishes (theorem B)https://portal.mardi4nfdi.de/entity/Q6482075Cartan's theorems A and B
result pertaining to division ringshttps://portal.mardi4nfdi.de/entity/Q6482076Cartan–Brauer–Hua theorem
On the structure of complete Riemannian manifolds of non-positive sectional curvaturehttps://portal.mardi4nfdi.de/entity/Q6482077Cartan–Hadamard theorem
https://portal.mardi4nfdi.de/entity/Q6482078Cartan–Kuranishi prolongation theorem
https://portal.mardi4nfdi.de/entity/Q6482080Cartan–Kähler theorem
https://portal.mardi4nfdi.de/entity/Q6482088Castelnuovo–de Franchis theorem
group theoryhttps://portal.mardi4nfdi.de/entity/Q6482090Lagrange's theorem
in large domains, the first Dirichlet eigenvalue of the Laplace–Beltrami operator is smallhttps://portal.mardi4nfdi.de/entity/Q6482091Cheng's eigenvalue comparison theorem
theorem in algebraic geometryhttps://portal.mardi4nfdi.de/entity/Q6482094Chevalley's structure theorem
theorem in number theoryhttps://portal.mardi4nfdi.de/entity/Q6480927Hurwitz's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480928Lester's theorem
theorem in planar dynamicshttps://portal.mardi4nfdi.de/entity/Q6480930parallel axis theorem
theorem that a triangle with two angle bisectors of equal lengths is isosceleshttps://portal.mardi4nfdi.de/entity/Q6480931Steiner–Lehmus theorem
Count of the roots of a polynomial in an interval, without computing themhttps://portal.mardi4nfdi.de/entity/Q6480933Sturm's theorem
theorem about the intersections of d-dimensional convex setshttps://portal.mardi4nfdi.de/entity/Q6480937Helly's theorem
theorem in physics, showing the conservation of energy for the electromagnetic field, expressed in the form of a partial differential equation developed by British physicist John Henry Poyntinghttps://portal.mardi4nfdi.de/entity/Q6480940Poynting's theorem
invariant associated to a topological space; the smallest integer 𝑛 such that, for every cover, there is a refinement in which every point lies in the intersection of at most 𝑛+1 covering setshttps://portal.mardi4nfdi.de/entity/Q6480943Lebesgue covering dimension
theoremhttps://portal.mardi4nfdi.de/entity/Q6480946Mazur–Ulam theorem
perfect graphs have neither odd holes nor odd antiholeshttps://portal.mardi4nfdi.de/entity/Q6480947strong perfect graph theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480949Picard theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480951Japanese theorem for cyclic quadrilaterals
theorem in combinatorial game theory that every impartial game position is equivalent to a position in the game of nimhttps://portal.mardi4nfdi.de/entity/Q6480952Sprague–Grundy theorem
theorem stating that a sufficiently large odd integer is the sum of three primeshttps://portal.mardi4nfdi.de/entity/Q6480955Vinogradov's theorem
mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6480956Grauert–Riemenschneider vanishing theorem
https://portal.mardi4nfdi.de/entity/Q6480957John ellipsoid
https://portal.mardi4nfdi.de/entity/Q64809582-factor theorem
https://portal.mardi4nfdi.de/entity/Q6480959Arrow-Lind principle
rigidity theorem in mathematicshttps://portal.mardi4nfdi.de/entity/Q6480960Alexandrov's uniqueness theorem
equivalence of distributive lattices and set familieshttps://portal.mardi4nfdi.de/entity/Q6480961Birkhoff's representation theorem
how well a certain kind of real number can be approximated by another kindhttps://portal.mardi4nfdi.de/entity/Q6480964Davenport–Schmidt theorem
https://portal.mardi4nfdi.de/entity/Q6480966Godunov's theorem
Field in algebrahttps://portal.mardi4nfdi.de/entity/Q6480969Golod–Shafarevich theorem
https://portal.mardi4nfdi.de/entity/Q6480970Grushko theorem
https://portal.mardi4nfdi.de/entity/Q6480971Higman's embedding theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480975Appell–Humbert theorem
theorem that, for a proper surjective morphism of varieties such that the function field of the codomain is separably closed in that of the domain, the preimage of any normal point is connectedhttps://portal.mardi4nfdi.de/entity/Q6480977Zariski's connectedness theorem
characterizes when a topological space is metrizablehttps://portal.mardi4nfdi.de/entity/Q6480978Bing metrization theorem
allowing a portfolio optimization problem to be separated into smaller problemshttps://portal.mardi4nfdi.de/entity/Q6480979Mutual fund separation theorem
https://portal.mardi4nfdi.de/entity/Q6480980Fixed-point theorems in infinite-dimensional spaces
https://portal.mardi4nfdi.de/entity/Q6480981Jurkat–Richert theorem
mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6480982Jacobson density theorem
theorem that a prime congruent to 1 modulo 16 is representable by either both or neither of the quadratic forms x²+32y² and x²+64y², while a prime congruent to 9 modulo 16 is representable by exactly one of the twohttps://portal.mardi4nfdi.de/entity/Q6480984Kaplansky's theorem on quadratic forms
https://portal.mardi4nfdi.de/entity/Q6480985intersection theorem
Version without the smooth manifolds involved to carry a complex structurehttps://portal.mardi4nfdi.de/entity/Q6480986Riemann–Roch theorem for smooth manifolds
theorem results in maximum power transfer, and not maximum efficiencyhttps://portal.mardi4nfdi.de/entity/Q6480987maximum power transfer theorem
https://portal.mardi4nfdi.de/entity/Q6480988theta divisor
lattice gauge theorem concerning chirality of fermionshttps://portal.mardi4nfdi.de/entity/Q6480990Nielsen-Ninomiya theorem
Chacterizes closed, orientable, connected 3-manifold via Dehn surgery on 3-sphereshttps://portal.mardi4nfdi.de/entity/Q6480994Lickorish–Wallace theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480996Mercer's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6480998Hjelmslev's theorem
theorem about prime factorization of a numberhttps://portal.mardi4nfdi.de/entity/Q6480999fundamental theorem of arithmetic
in algebra, expression of an ideal as the intersection of ideals of a specific typehttps://portal.mardi4nfdi.de/entity/Q6481003primary decomposition
theoremhttps://portal.mardi4nfdi.de/entity/Q6481004Wolstenholme's theorem
relates the line segments created by two intersecting secants and the associated circlehttps://portal.mardi4nfdi.de/entity/Q6481005intersecting secants theorem
theorem that a finite group with a generalized quaternion Sylow 2-subgroup and no non-trivial normal subgroups of odd order has a center of order 2https://portal.mardi4nfdi.de/entity/Q6481006Brauer–Suzuki theorem
theorem about consecutive powershttps://portal.mardi4nfdi.de/entity/Q6481012Catalan's conjecture
theorem about the complexity of computable functionshttps://portal.mardi4nfdi.de/entity/Q6481014Blum's speedup theorem
in quantum information theory, the no-go theorem that, given two copies of a quantum state, one cannot delete only one of the copieshttps://portal.mardi4nfdi.de/entity/Q6481017quantum no-deleting theorem
in quantum information theory, the statement that it is impossible to create an independent and identical copy of an arbitrary unknown quantum statehttps://portal.mardi4nfdi.de/entity/Q6481021no-cloning theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6481023Riemann series theorem
theorem of matrix algebra of invariance properties under basis transformationshttps://portal.mardi4nfdi.de/entity/Q6481026Sylvester's law of inertia
theoremhttps://portal.mardi4nfdi.de/entity/Q6481030Kutta–Joukowski theorem
theorem that tells the maximum rate at which information can be transmittedhttps://portal.mardi4nfdi.de/entity/Q6481033Shannon–Hartley theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6481034Doob's martingale convergence theorems
theoremhttps://portal.mardi4nfdi.de/entity/Q6481036sₘₙ theorem
theorem of 2D geometryhttps://portal.mardi4nfdi.de/entity/Q6481037Poncelet's closure theorem
theorem describing the rate at which the probability distribution of the scaled mean of a random sample converges to a normal distribution as the sample size increaseshttps://portal.mardi4nfdi.de/entity/Q6481038Berry–Esseen theorem
One of several theorems in different areas of mathematicshttps://portal.mardi4nfdi.de/entity/Q6481041Schur's theorem
theorem in quantum mechanics that energy levels with half-integer spin are degeneratehttps://portal.mardi4nfdi.de/entity/Q6481042Kramers theorem
geometrical theorem of triangleshttps://portal.mardi4nfdi.de/entity/Q6481044Routh's theorem
theorem in group theoryhttps://portal.mardi4nfdi.de/entity/Q6481046Cayley's theorem
decomposition of periodic functions into sums of simpler sinusoidal formshttps://portal.mardi4nfdi.de/entity/Q6481056Fourier series
theoremhttps://portal.mardi4nfdi.de/entity/Q6481074rational root theorem
equality of areas of alternating sectors of a disk with equal angles through any interior pointhttps://portal.mardi4nfdi.de/entity/Q6481076pizza theorem
lemma stating that a module homomorphism between two simple modules over the same ring is either an isomorphism or identically zerohttps://portal.mardi4nfdi.de/entity/Q6481079Schur's lemma
theorem in quantum mechanicshttps://portal.mardi4nfdi.de/entity/Q6481080Byers–Yang theorem
theorem stating that, if H is a closed subgroup of a Lie group G, then H is an embedded Lie group with the relative topology being the same as the group topologyhttps://portal.mardi4nfdi.de/entity/Q6481085closed subgroup theorem
theorem characterizing the even perfect numbershttps://portal.mardi4nfdi.de/entity/Q6481086Euclid–Euler theorem
theorem describing the probability of an event based on prior knowledge of conditions that might be related to the eventhttps://portal.mardi4nfdi.de/entity/Q6481094Bayes' theorem
https://portal.mardi4nfdi.de/entity/Q6481095Fubini's theorem on differentiation
assignment of colors to elements of a graph subject to certain constraintshttps://portal.mardi4nfdi.de/entity/Q6481100graph coloring
statement in mathematicshttps://portal.mardi4nfdi.de/entity/Q6481104four color theorem
convergence in distribution of binomial to normal distributionhttps://portal.mardi4nfdi.de/entity/Q6481107De Moivre–Laplace theorem
https://portal.mardi4nfdi.de/entity/Q6481108Euler's quadrilateral theorem
mathematics theoremhttps://portal.mardi4nfdi.de/entity/Q6481110Fermat's little theorem
convex regular polyhedra with the same number of faces at each vertexhttps://portal.mardi4nfdi.de/entity/Q6481121Platonic solid
https://portal.mardi4nfdi.de/entity/Q6481122Holditch's theorem
on stationary points between two equal values of a real differentiable functionhttps://portal.mardi4nfdi.de/entity/Q6481125Rolle's theorem
on the existence of a tangent to an arc parallel to the line through its endpointshttps://portal.mardi4nfdi.de/entity/Q6481126mean value theorem
theorem in computability theoryhttps://portal.mardi4nfdi.de/entity/Q6481128Rice's theorem
The midpoints of the sides of an arbitrary quadrilateral form a parallelogramhttps://portal.mardi4nfdi.de/entity/Q6481131Varignon's theorem
https://portal.mardi4nfdi.de/entity/Q6481141Grothendieck–Hirzebruch–Riemann–Roch theorem
key theorem in probability theoryhttps://portal.mardi4nfdi.de/entity/Q6481151central limit theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6481157de Moivre's formula
the Diophantine equation 2ⁿ−7=𝑥²https://portal.mardi4nfdi.de/entity/Q6481161Ramanujan–Nagell equation
theoremhttps://portal.mardi4nfdi.de/entity/Q6481162Lebesgue's decomposition theorem
reduction of first-order mathematical logic to propositional logichttps://portal.mardi4nfdi.de/entity/Q6481168Herbrand's theorem
on the number of words of a given length generated by an unambiguous context-free grammarhttps://portal.mardi4nfdi.de/entity/Q6481169Chomsky–Schützenberger enumeration theorem
Theorem in computability theoryhttps://portal.mardi4nfdi.de/entity/Q6481171Kleene's recursion theorem
two quadratic forms over a number field are equivalent iff they are equivalent locallyhttps://portal.mardi4nfdi.de/entity/Q6481174Hasse–Minkowski theorem
theorem for solving simultaneous congruenceshttps://portal.mardi4nfdi.de/entity/Q6481175Chinese remainder theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6481177Menelaus' theorem
generalization of Fermat's little theoremhttps://portal.mardi4nfdi.de/entity/Q6481179Euler's theorem
Concept in topologyhttps://portal.mardi4nfdi.de/entity/Q6481180h-cobordism
matrix decompositionhttps://portal.mardi4nfdi.de/entity/Q6481183eigendecomposition of a matrix
theoremhttps://portal.mardi4nfdi.de/entity/Q6481187Wigner–Eckart theorem
https://portal.mardi4nfdi.de/entity/Q6481189Mergelyan's theorem
result in probability theoryhttps://portal.mardi4nfdi.de/entity/Q6481190Lévy's continuity theorem
pole of order zero; a point at which a holomorphic function is undefined, but it is possible to redefine the function at that point in such a way that the resulting function is regular in a neighbourhood of that pointhttps://portal.mardi4nfdi.de/entity/Q6481192removable singularity
https://portal.mardi4nfdi.de/entity/Q6481194Thomsen's theorem
https://portal.mardi4nfdi.de/entity/Q6481195Hölder's theorem
a result in group theory that is often useful in taking account of symmetry when counting mathematical objectshttps://portal.mardi4nfdi.de/entity/Q6481197Burnside's theorem
mathematical problemhttps://portal.mardi4nfdi.de/entity/Q6481199art gallery problem
fundamental theorem in mathematical logichttps://portal.mardi4nfdi.de/entity/Q6481205Gödel's completeness theorem
theorem that a wide class of logical systems cannot be both consistent and completehttps://portal.mardi4nfdi.de/entity/Q6481207Gödel's incompleteness theorems
https://portal.mardi4nfdi.de/entity/Q6481208Hilbert's theorem
describes a property of the cevians of a triangle intersecting in a common pointhttps://portal.mardi4nfdi.de/entity/Q6481211Reuschle's theorem
https://portal.mardi4nfdi.de/entity/Q6481212Hilbert–Schmidt theorem
A martingale's expected value at a stopping time equals its initial expected valuehttps://portal.mardi4nfdi.de/entity/Q6481214optional stopping theorem
theorem on plane algebraic curveshttps://portal.mardi4nfdi.de/entity/Q6481216Cramer's theorem
theorem stating that every finite-dimensional Lie algebra over a field is a Lie algebra of square matriceshttps://portal.mardi4nfdi.de/entity/Q6481219Ado's theorem
polynomial equation of degree fourhttps://portal.mardi4nfdi.de/entity/Q6481224quartic equation
a polynomial equation in a single variable where the highest exponent of the variable is 3.https://portal.mardi4nfdi.de/entity/Q6481225cubic equation
theory of stochastic processeshttps://portal.mardi4nfdi.de/entity/Q6481228Karhunen–Loève theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6481231Löb's theorem
conjecture in mathematics linked to the repartition of prime numbershttps://portal.mardi4nfdi.de/entity/Q6481233Riemann hypothesis
duality that relates homology and cohomology groups for oriented closed manifoldshttps://portal.mardi4nfdi.de/entity/Q6481240Poincaré duality
Non algebraically closed field whose extension by sqrt(–1) is algebraically closedhttps://portal.mardi4nfdi.de/entity/Q6481244real closed field
theorem in linear algebra that a system of linear equations with n variables has solution(s) iff the rk(A) = rk([A|b]), and that if there are solutions, they form an affine space of dimension n−rk(A)https://portal.mardi4nfdi.de/entity/Q6481254Rouché–Capelli theorem
Israeli mathematicianhttps://portal.mardi4nfdi.de/entity/Q6481264Zlil Sela
cardinality of the set of real numbershttps://portal.mardi4nfdi.de/entity/Q6481272cardinality of the continuum
hypothesis that no set has a cardinality between that of the integers and that of the real numbershttps://portal.mardi4nfdi.de/entity/Q6481277continuum hypothesis
a surface birationally equivalent to the projective plane ; rational variety of dimension twohttps://portal.mardi4nfdi.de/entity/Q6481279rational surface
https://portal.mardi4nfdi.de/entity/Q6481281primitive element theorem
theorem that, for a Riemannian manifold, geodesic completeness is equivalent to completeness as a metric spacehttps://portal.mardi4nfdi.de/entity/Q6481283Hopf–Rinow theorem
theorem in harmonic analysishttps://portal.mardi4nfdi.de/entity/Q6481284Plancherel theorem
theorem representing a solvable Lie algebra as an algebra of upper triangular matrices; generalized by Lie–Kolchin theoremhttps://portal.mardi4nfdi.de/entity/Q6481285Lie's theorem
theorem that every simply connected Riemann surface is conformally equivalent to one of three Riemann surfaces: the open unit disk, the complex plane, or the Riemann spherehttps://portal.mardi4nfdi.de/entity/Q6481286uniformization theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6481290Hartman–Grobman theorem
a field in which every sum of two squares is a squarehttps://portal.mardi4nfdi.de/entity/Q6481291Pythagorean field
theoremhttps://portal.mardi4nfdi.de/entity/Q6481295Ceva's theorem
result on the incircle and nine-point circle of a triangle and the three excircleshttps://portal.mardi4nfdi.de/entity/Q6481299Feuerbach point
the sum of the first n cubes, which equals the square of the nth triangular numberhttps://portal.mardi4nfdi.de/entity/Q6481302squared triangular number
theorem about metric spaceshttps://portal.mardi4nfdi.de/entity/Q6481307Banach fixed-point theorem
Simplified gravity models for objects inside or outside a spherically symmetrical bodyhttps://portal.mardi4nfdi.de/entity/Q6481308Shell theorem
https://portal.mardi4nfdi.de/entity/Q6481309Bauer–Fike theorem
only geometric congruences fix unit lengthshttps://portal.mardi4nfdi.de/entity/Q6481311Beckman–Quarles theorem
https://portal.mardi4nfdi.de/entity/Q6481312Banach–Mazur theorem
a result on the combinatorics of block designshttps://portal.mardi4nfdi.de/entity/Q6481316Bruck–Ryser–Chowla theorem
geometric theorem related to tetrahedrahttps://portal.mardi4nfdi.de/entity/Q6481318Commandino's theorem
theorem on normal random variableshttps://portal.mardi4nfdi.de/entity/Q6481320Cramér's theorem
mathematic theoremhttps://portal.mardi4nfdi.de/entity/Q6481322Easton's theorem
Relates three different kinds of weak compactness in a Banach spacehttps://portal.mardi4nfdi.de/entity/Q6481324Eberlein–Šmulian theorem
https://portal.mardi4nfdi.de/entity/Q6481326Gelfand–Mazur theorem
mathematics theorem in functional analysishttps://portal.mardi4nfdi.de/entity/Q6481328Gelfand–Naimark theorem
theorem of computing the number of spanning trees in a graphhttps://portal.mardi4nfdi.de/entity/Q6481330Kirchhoff's theorem
bounds the order of the group of automorphisms of a compact Riemann surface of genus g > 1https://portal.mardi4nfdi.de/entity/Q6481331Hurwitz's automorphisms theorem
theorem about initial conditions that insure the convergence of Newton's methodhttps://portal.mardi4nfdi.de/entity/Q6481334Kantorovich theorem
mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6481338Krull–Schmidt theorem
https://portal.mardi4nfdi.de/entity/Q6481339Malgrange–Ehrenpreis theorem
named after Samuel Könighttps://portal.mardi4nfdi.de/entity/Q6481341König's theorem
https://portal.mardi4nfdi.de/entity/Q6481343Sperner's theorem
theorem in group theoryhttps://portal.mardi4nfdi.de/entity/Q6481344Schur–Zassenhaus theorem
https://portal.mardi4nfdi.de/entity/Q6481345Tennenbaum's theorem
https://portal.mardi4nfdi.de/entity/Q6481346Vantieghems theorem
mathematical rulehttps://portal.mardi4nfdi.de/entity/Q6481348Sharkovskii's theorem
theorem about right triangleshttps://portal.mardi4nfdi.de/entity/Q6481349geometric mean theorem
mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6481351Casorati–Weierstrass theorem
theorem that, in an election where candidate A receives 𝑝 votes and candidate B receives 𝑞 votes (𝑝>𝑞), the probability that A will be strictly ahead of B throughout the count is (𝑝−𝑞)/(𝑝+𝑞)https://portal.mardi4nfdi.de/entity/Q6481354Bertrand's ballot theorem
theorem that a graph in which every two nonadjacent vertices have high degree sum must have a Hamiltonian cyclehttps://portal.mardi4nfdi.de/entity/Q6481358Ore's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6481360Poincaré recurrence theorem
relates the four line segments created by two intersecting chords within a circlehttps://portal.mardi4nfdi.de/entity/Q6481362intersecting chords theorem
relates line segments created by a secant with a tangent linehttps://portal.mardi4nfdi.de/entity/Q6481363tangent-secant theorem
A sufficient condition for a polynomial to be unfactorablehttps://portal.mardi4nfdi.de/entity/Q6481365Cohn's irreducibility criterion
explicitly describes the universal enveloping algebra of a Lie algebrahttps://portal.mardi4nfdi.de/entity/Q6481368Poincaré–Birkhoff–Witt theorem
Mathematical theorem in real analysishttps://portal.mardi4nfdi.de/entity/Q6481369Lebesgue differentiation theorem
theorem in Boolean algebrahttps://portal.mardi4nfdi.de/entity/Q6481371Shannon's expansion
theoremhttps://portal.mardi4nfdi.de/entity/Q6481372Caristi fixed-point theorem
algorithm for computing greatest common divisorshttps://portal.mardi4nfdi.de/entity/Q6481378Euclidean algorithm
theorem stating that a complete, simply-connected, n-dimensional Riemannian manifold with sectional curvature taking values in the interval (1, 4] is homeomorphic to the n-spherehttps://portal.mardi4nfdi.de/entity/Q6481379sphere theorem
https://portal.mardi4nfdi.de/entity/Q6481380Looman–Menchoff theorem
theorem in geometryhttps://portal.mardi4nfdi.de/entity/Q6481385Pitot theorem
extension of independent vectors to baseshttps://portal.mardi4nfdi.de/entity/Q6481387Steinitz exchange lemma
limit on data transfer ratehttps://portal.mardi4nfdi.de/entity/Q6481389Noisy-channel coding theorem
mathematical theorem on finite linear groupshttps://portal.mardi4nfdi.de/entity/Q6481396Jordan–Schur theorem
theorem that the zeros of a linear recurrence relation mostly form a regularly repeating patternhttps://portal.mardi4nfdi.de/entity/Q6481397Skolem–Mahler–Lech theorem
used in the summation of divergent serieshttps://portal.mardi4nfdi.de/entity/Q6481403Abelian and tauberian theorems
https://portal.mardi4nfdi.de/entity/Q6481405Thue equation
https://portal.mardi4nfdi.de/entity/Q6481407Lindström's theorem
https://portal.mardi4nfdi.de/entity/Q6481408Going up and going down
gives a homomorphism from homotopy groups to homology groupshttps://portal.mardi4nfdi.de/entity/Q6481409Hurewicz theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6481415Faltings' theorem
Data compression theoryhttps://portal.mardi4nfdi.de/entity/Q6481416Shannon's source coding theorem
theorem in electrical circuit analysishttps://portal.mardi4nfdi.de/entity/Q6481419Thévenin's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6481420Monotone class theorem
mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6481422Clausius theorem
theorem in geometry about three circles through triples of points on the vertices and sides of a trianglehttps://portal.mardi4nfdi.de/entity/Q6481424Miquel's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6481425intermediate value theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6481429Riesz–Thorin theorem
theorem on convex hullshttps://portal.mardi4nfdi.de/entity/Q6481431Carathéodory's theorem
an argument showing that classification is not really possible without some sort of biashttps://portal.mardi4nfdi.de/entity/Q6481434ugly duckling theorem
theorem in mathematics and economicshttps://portal.mardi4nfdi.de/entity/Q6481435envelope theorem
in additive number theory, a way to measure how dense a sequence of numbers ishttps://portal.mardi4nfdi.de/entity/Q6481440Schnirelmann density
theoremhttps://portal.mardi4nfdi.de/entity/Q6481443Poincaré–Bendixson theorem
Establish relationships between homology and cohomology theorieshttps://portal.mardi4nfdi.de/entity/Q6481446universal coefficient theorem
type of differential equation in mathematicshttps://portal.mardi4nfdi.de/entity/Q6481449Liénard equation
one of three theorems in geometry proved by French mathematician Victor Thébaulthttps://portal.mardi4nfdi.de/entity/Q6481450Thébault's theorem
theorem that multivariate functions can be written using univariate functions and summinghttps://portal.mardi4nfdi.de/entity/Q6481453Kolmogorov–Arnold representation theorem
theorem giving general conditions under which positive-degree sheaf cohomology groups vanishhttps://portal.mardi4nfdi.de/entity/Q6481459Kodaira vanishing theorem
https://portal.mardi4nfdi.de/entity/Q6482095Chevalley–Shephard–Todd theorem
theorem giving a necessary and sufficient condition for a perfect matching to exist on a graph; generalization of Hall's marriage theoremhttps://portal.mardi4nfdi.de/entity/Q6482097Tutte theorem
Classification of completely positive mapshttps://portal.mardi4nfdi.de/entity/Q6482098Choi's theorem on completely positive maps
https://portal.mardi4nfdi.de/entity/Q6482099Clapeyron's theorem
https://portal.mardi4nfdi.de/entity/Q6482100Clark–Ocone theorem
theorem that, with two classes of exceptions, vertex-coloring a graph needs a number of colors at most equal to its maximum degreehttps://portal.mardi4nfdi.de/entity/Q6482102Brooks' theorem
https://portal.mardi4nfdi.de/entity/Q6482104Clifford's circle theorems
https://portal.mardi4nfdi.de/entity/Q6482105Clifford's theorem on special divisors
locality condition in quantum field theoryhttps://portal.mardi4nfdi.de/entity/Q6482106Cluster decomposition theorem
theorem of expressive equivalence between relational languageshttps://portal.mardi4nfdi.de/entity/Q6482108Codd's theorem
structure theorem about complete local ringshttps://portal.mardi4nfdi.de/entity/Q6482110Cohen structure theorem
identifies the commutant of a specific von Neumann algebra acting on a Hilbert spacehttps://portal.mardi4nfdi.de/entity/Q6482111Commutation theorem
Mathematical theorem (computational complexity theory)https://portal.mardi4nfdi.de/entity/Q6482112Compression theorem
theorem named after Charles C. Conley and Eduard Zehnderhttps://portal.mardi4nfdi.de/entity/Q6482115Conley–Zehnder theorem
https://portal.mardi4nfdi.de/entity/Q6482116Conservativity theorem
probability theoremhttps://portal.mardi4nfdi.de/entity/Q6482117Continuous mapping theorem
https://portal.mardi4nfdi.de/entity/Q6482118Convergence problem
Mathematical theorem (arithmetic combinatorics)https://portal.mardi4nfdi.de/entity/Q6482119corners theorem
mathematical theorem about the spectrum of the bounded holomorphic functions on the open unit dischttps://portal.mardi4nfdi.de/entity/Q6482120Corona theorem
https://portal.mardi4nfdi.de/entity/Q6482122Courcelle's theorem
mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6482123Craig's theorem
https://portal.mardi4nfdi.de/entity/Q6482125Crooks fluctuation theorem
geometric theoremhttps://portal.mardi4nfdi.de/entity/Q6482126Crossbar theorem
A mathematical characterization of cellular automata in terms of their symbolic dynamicshttps://portal.mardi4nfdi.de/entity/Q6482130Curtis–Hedlund–Lyndon theorem
in convex analysis, provides information about the derivatives of a certain type of functionhttps://portal.mardi4nfdi.de/entity/Q6482132Danskin's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482133Carathéodory–Jacobi–Lie theorem
theorem that, in a Lorenz-invariant local quantum field theory, particles with integer spins are bosons, while particles with half-integer spins are fermionshttps://portal.mardi4nfdi.de/entity/Q6482136spin-statistics theorem
https://portal.mardi4nfdi.de/entity/Q6482137Dawson–Gärtner theorem
mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6482138De Bruijn's theorem
finiteness statements applying to compact Riemann surfaceshttps://portal.mardi4nfdi.de/entity/Q6482139De Franchis theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482140time hierarchy theorem
https://portal.mardi4nfdi.de/entity/Q6482143Dehn twist
Theorem in combinatorics on the extension of arrays to partial Latin squareshttps://portal.mardi4nfdi.de/entity/Q6482146Dinitz conjecture
irreducible unitary subrepresentation of the left regular representation of a locally compact group on square-integrable functionshttps://portal.mardi4nfdi.de/entity/Q6482147discrete series representation
theorem in measure theoryhttps://portal.mardi4nfdi.de/entity/Q6482148Disintegration theorem
theorem that any hidden-variable theory describing quantum mechanics must be contextualhttps://portal.mardi4nfdi.de/entity/Q6482153Kochen–Specker theorem
theorem that the closure (under either the weak or strong operator topologies) of a unital *-algebra of bounded operators on a Hilbert space coincides with its bicommutanthttps://portal.mardi4nfdi.de/entity/Q6482154von Neumann bicommutant theorem
On when a definite intersection form of a smooth 4-manifold is diagonalisablehttps://portal.mardi4nfdi.de/entity/Q6482155Donaldson's theorem
https://portal.mardi4nfdi.de/entity/Q6482156Doob–Meyer decomposition theorem
https://portal.mardi4nfdi.de/entity/Q6482157double-negation translation
theorem on existence and uniqueness of solutions to first-order equations with given initial conditionshttps://portal.mardi4nfdi.de/entity/Q6482162Picard–Lindelöf theorem
concept in probability theoryhttps://portal.mardi4nfdi.de/entity/Q6482163Dudley's theorem
https://portal.mardi4nfdi.de/entity/Q6482164Dunford–Schwartz theorem
Theorem about the constant term of certain Laurent polynomialshttps://portal.mardi4nfdi.de/entity/Q6482165Dyson conjecture
mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6482167Edgeworth's limit theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482169Montel's theorem
theorem in quantum field theory that, in gauge theories with a compact gauge group, only operators that are invariant under local gauge transformations can have nonzero expectation valueshttps://portal.mardi4nfdi.de/entity/Q6482172Elitzur's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482175Hall's marriage theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482179Banach–Alaoglu theorem
on rays from a point to a line, with equal inscribed circles between adjacent rayshttps://portal.mardi4nfdi.de/entity/Q6482180Equal incircles theorem
result in graph theory solving the graph realization problemhttps://portal.mardi4nfdi.de/entity/Q6482182Erdős–Gallai theorem
non-convex polygons can be made convex by flipshttps://portal.mardi4nfdi.de/entity/Q6482184Erdős–Nagy theorem
mathematical discipline of graph theoryhttps://portal.mardi4nfdi.de/entity/Q6482186Erdős–Pósa theorem
theorem in extremal graph theoryhttps://portal.mardi4nfdi.de/entity/Q6482188Erdős–Stone theorem
mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6482189exterior angle theorem
mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6482190Farrell–Markushevich theorem
theorem in measure theoryhttps://portal.mardi4nfdi.de/entity/Q6482191Fatou–Lebesgue theorem
forestry equationhttps://portal.mardi4nfdi.de/entity/Q6482192Faustmann's formula
theoremhttps://portal.mardi4nfdi.de/entity/Q6482193Lagrange inversion theorem
https://portal.mardi4nfdi.de/entity/Q6482194Fenchel's duality theorem
gives the average curvature of any closed convex plane curvehttps://portal.mardi4nfdi.de/entity/Q6482195Fenchel's theorem
mathematical theorem in convex analysishttps://portal.mardi4nfdi.de/entity/Q6482198Fenchel–Moreau theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482200Glivenko–Cantelli theorem
a result about Gaussian measures on Banach spaceshttps://portal.mardi4nfdi.de/entity/Q6482201Fernique's theorem
mathematics termhttps://portal.mardi4nfdi.de/entity/Q6482202Ferrero–Washington theorem
https://portal.mardi4nfdi.de/entity/Q6482203Fieller's theorem
https://portal.mardi4nfdi.de/entity/Q6482208Fisher–Tippett–Gnedenko theorem
https://portal.mardi4nfdi.de/entity/Q6482210Fitting's theorem
https://portal.mardi4nfdi.de/entity/Q6482211Five circles theorem
https://portal.mardi4nfdi.de/entity/Q6482212Focal subgroup theorem
theorem in probability theoryhttps://portal.mardi4nfdi.de/entity/Q6482213Foster's theorem
On convergent subsequences of regulated functionshttps://portal.mardi4nfdi.de/entity/Q6482214Fraňková–Helly selection theorem
branch of mathematics that studies dynamical systemshttps://portal.mardi4nfdi.de/entity/Q6482217ergodic theory
free object in the category of Lie algebrashttps://portal.mardi4nfdi.de/entity/Q6482219free Lie algebra
theorem in the large deviations theory of stochastic processeshttps://portal.mardi4nfdi.de/entity/Q6482221Freidlin–Wentzell theorem
https://portal.mardi4nfdi.de/entity/Q6482225Friedlander–Iwaniec theorem
planar undirected graph with 2n+1 vertices and 3n edgeshttps://portal.mardi4nfdi.de/entity/Q6482232friendship graph
1896 conjecture by Richard Dedekind regarding the determinant of a finite matrixhttps://portal.mardi4nfdi.de/entity/Q6482233Frobenius determinant theorem
Monotone map's discontinuities are countablehttps://portal.mardi4nfdi.de/entity/Q6482234Froda's theorem
https://portal.mardi4nfdi.de/entity/Q6482235Fuchs's theorem
Theoremhttps://portal.mardi4nfdi.de/entity/Q6482237Fuglede's theorem
A theorem implying that no algorithm can optimally perform a task done by human shttps://portal.mardi4nfdi.de/entity/Q6482238Full employment theorem
https://portal.mardi4nfdi.de/entity/Q6482239Fulton–Hansen connectedness theorem
Necessary and sufficient conditions for a market to be arbitrage free and completehttps://portal.mardi4nfdi.de/entity/Q6482240Fundamental theorem of asset pricing
theoremhttps://portal.mardi4nfdi.de/entity/Q6482242Berge's lemma
theorem concerning quantum field theory ground stateshttps://portal.mardi4nfdi.de/entity/Q6482243Gell-Mann and Low theorem
https://portal.mardi4nfdi.de/entity/Q6482244Geroch's splitting theorem
fundamental result in the theory of large deviationshttps://portal.mardi4nfdi.de/entity/Q6482245Cramér's theorem (large deviations)
On the number of partitions of an integer into parts not divisible by another integerhttps://portal.mardi4nfdi.de/entity/Q6482246Glaisher's theorem
theorem giving a justification of the Born rule in quantum mechanicshttps://portal.mardi4nfdi.de/entity/Q6482247Gleason's theorem
Result in the mathematics of string theory on a functor that quantizes bosonic stringshttps://portal.mardi4nfdi.de/entity/Q6482248Goddard–Thorn theorem
theorem in general relativityhttps://portal.mardi4nfdi.de/entity/Q6482251Goldberg–Sachs theorem
result in ring theoryhttps://portal.mardi4nfdi.de/entity/Q6482252Goldie's theorem
Extension of Jackson's theorem from open queueing networks to closed queueing networks of exponential servers where customers cannot leave the networkhttps://portal.mardi4nfdi.de/entity/Q6482253Gordon–Newell theorem
in quantum computing, the theorem that circuits that only consist of gates from the Clifford group can be perfectly simulated in polynomial time on a probabilistic classical computerhttps://portal.mardi4nfdi.de/entity/Q6482255Gottesman–Knill theorem
mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6482256graph structure theorem
on Hamiltonian cycles in planar graphshttps://portal.mardi4nfdi.de/entity/Q6482258Grinberg's theorem
On when a set of compact Riemannian manifolds of a given dimension is relatively compacthttps://portal.mardi4nfdi.de/entity/Q6482259Gromov's compactness theorem
https://portal.mardi4nfdi.de/entity/Q6482260Gromov's compactness theorem
https://portal.mardi4nfdi.de/entity/Q6482261Grothendieck's connectedness theorem
mathematical theoryhttps://portal.mardi4nfdi.de/entity/Q6482262Grunsky's theorem
A local-global result for when an element in a number field is an nth powerhttps://portal.mardi4nfdi.de/entity/Q6482263Grunwald–Wang theorem
every triangle-free planar graph is 3-colorablehttps://portal.mardi4nfdi.de/entity/Q6482266Grötzsch's theorem
https://portal.mardi4nfdi.de/entity/Q6482267Alspach's conjecture
https://portal.mardi4nfdi.de/entity/Q6482268Hadwiger's theorem
description of linearly ordered groupshttps://portal.mardi4nfdi.de/entity/Q6482269Hahn embedding theorem
partition result about finite products of infinite treeshttps://portal.mardi4nfdi.de/entity/Q6482270Halpern–Läuchli theorem
https://portal.mardi4nfdi.de/entity/Q6482272Hammersley–Clifford theorem
https://portal.mardi4nfdi.de/entity/Q6482273Hardy–Littlewood tauberian theorem
theorem in number theoryhttps://portal.mardi4nfdi.de/entity/Q6482274Hardy–Ramanujan theorem
https://portal.mardi4nfdi.de/entity/Q6482275Harish-Chandra's regularity theorem
number of connected components an algebraic curve can havehttps://portal.mardi4nfdi.de/entity/Q6482276Harnack's curve theorem
https://portal.mardi4nfdi.de/entity/Q6482277Hartogs–Rosenthal theorem
curve whose image is dense within an open region of the planehttps://portal.mardi4nfdi.de/entity/Q6482281space-filling curve
On umps of the upper numbering filtration of the Galois group of a finite Galois extensionhttps://portal.mardi4nfdi.de/entity/Q6482282Hasse–Arf theorem
special point on an algebraic curvehttps://portal.mardi4nfdi.de/entity/Q6482284Heegner point
relations between the coefficients and the roots of a polynomialhttps://portal.mardi4nfdi.de/entity/Q6482286Vieta's formulas
https://portal.mardi4nfdi.de/entity/Q6482287Helly–Bray theorem
https://portal.mardi4nfdi.de/entity/Q6482288Helmholtz theorem
theorem that truth in the standard model of a formal system cannot be defined within the systemhttps://portal.mardi4nfdi.de/entity/Q6482290Tarski's undefinability theorem
in number theory, concerning irreducible polynomialshttps://portal.mardi4nfdi.de/entity/Q6482291Hilbert's irreducibility theorem
it states that time rate of change of density of points in phase space along a flow line is zerohttps://portal.mardi4nfdi.de/entity/Q6482293Liouville's theorem
theorem in complex analysis that nonconstant entire functions are unboundedhttps://portal.mardi4nfdi.de/entity/Q6482296Liouville's theorem
physical law that differentiable symmetries correspond to conservation lawshttps://portal.mardi4nfdi.de/entity/Q6482297Noether's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482300Rao–Blackwell theorem
theorem that the set of the critical values of a smooth function has measure zerohttps://portal.mardi4nfdi.de/entity/Q6482303Sard's theorem
supersymmetric generalization of Coleman–Mandula theorem: the only possible (super-)symmetries of a nontrivial 4d Lorentzian QFT are (super-)Poincaré symmetry and internal symmetrieshttps://portal.mardi4nfdi.de/entity/Q6482304Haag–Lopuszanski–Sohnius theorem
result in dynamical systems about the persistence of quasiperiodic motions under small perturbations; partly resolves the small-divisor problem that arises in the perturbation theory of classical mechanicshttps://portal.mardi4nfdi.de/entity/Q6482306Kolmogorov–Arnold–Moser theorem
necklace splitting problemhttps://portal.mardi4nfdi.de/entity/Q6482307Hobby–Rice theorem
https://portal.mardi4nfdi.de/entity/Q6482309Hodge index theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482310Koebe quarter theorem
theorem that, given a convex quadrilateral, if one constructs a square—external to the quadrilateral—on each side, the 2 line segments between the centers of opposite squares have equal lengths and are orthogonalhttps://portal.mardi4nfdi.de/entity/Q6482311van Aubel's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482313Dini's theorem
https://portal.mardi4nfdi.de/entity/Q6482314Identity theorem for Riemann surfaces
theorem used to justify the appearance of chi-squared distributions in ANOVAhttps://portal.mardi4nfdi.de/entity/Q6482316Cochran's theorem
https://portal.mardi4nfdi.de/entity/Q6482317increment theorem
partially-unsolved problem in mathematicshttps://portal.mardi4nfdi.de/entity/Q6482318Invariant subspace problem
an invariant cord in one of two intersecting circles based on any point in the otherhttps://portal.mardi4nfdi.de/entity/Q6482319Constant chord theorem
theorem in optimization theoryhttps://portal.mardi4nfdi.de/entity/Q6482322Max-flow min-cut theorem
https://portal.mardi4nfdi.de/entity/Q6482323Isomorphism extension theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482325Knaster–Tarski theorem
certain parallelograms occurring in a gnomon have areas of equal sizehttps://portal.mardi4nfdi.de/entity/Q6482326Theorem of the gnomon
theorem used to extend Galois theory to field extensions that need not be separablehttps://portal.mardi4nfdi.de/entity/Q6482327Jacobson–Bourbaki theorem
theorem that deterministic ordinal electoral systems that choose a single winner are either dictatorial, binary choice, or susceptible to tactical votinghttps://portal.mardi4nfdi.de/entity/Q6482330Gibbard–Satterthwaite theorem
geometric inequality which sets a lower bound on the surface area of a set given its volumehttps://portal.mardi4nfdi.de/entity/Q6482333isoperimetric inequality
describes how to expand a power of a sum in terms of powers of the terms in that sum. It is the generalization of the binomial theorem to polynomialshttps://portal.mardi4nfdi.de/entity/Q6482338multinomial theorem
On subsets of the integers from in which no member of the set is a multiple of any otherhttps://portal.mardi4nfdi.de/entity/Q6482340Behrend's theorem
general equation that relates the time-averaged total kinetic energy of a stable system consisting of N particles, bound by potential forces, with that of the time-averaged total potential energyhttps://portal.mardi4nfdi.de/entity/Q6482341virial theorem
https://portal.mardi4nfdi.de/entity/Q6482342Jordan's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482343closed range theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482346Bertrand's postulate
https://portal.mardi4nfdi.de/entity/Q6482347Kachurovskii's theorem
https://portal.mardi4nfdi.de/entity/Q6482348Kanamori–McAloon theorem
mathematical theorem in complexity theoryhttps://portal.mardi4nfdi.de/entity/Q6482349Karp–Lipton theorem
theorem that if equilateral triangles are constructed on the sides of any triangle, either all outward or all inward, the lines connecting the centres of those equilateral triangles themselves form an equilateral trianglehttps://portal.mardi4nfdi.de/entity/Q6482353Napoleon's theorem
https://portal.mardi4nfdi.de/entity/Q6482354Katz–Lang finiteness theorem
https://portal.mardi4nfdi.de/entity/Q6482355Kawamata–Viehweg vanishing theorem
Result about crease patterns with a single vertex that may be folded to form a flat figurehttps://portal.mardi4nfdi.de/entity/Q6482358Kawasaki's theorem
criterion for vector stability in algebraic geometryhttps://portal.mardi4nfdi.de/entity/Q6482361Kempf–Ness theorem
https://portal.mardi4nfdi.de/entity/Q6482362Kharitonov's theorem
https://portal.mardi4nfdi.de/entity/Q6482363Lagrange reversion theorem
theorem in number theoryhttps://portal.mardi4nfdi.de/entity/Q6482364Lagrange's theorem
Characterizes complete connected Riemannian manifolds of constant curvaturehttps://portal.mardi4nfdi.de/entity/Q6482366Killing–Hopf theorem
Standard Model is IR finitehttps://portal.mardi4nfdi.de/entity/Q6482367Kinoshita-Lee-Nauenberg theorem
mathematical theormhttps://portal.mardi4nfdi.de/entity/Q6482369Kneser's theorem
characterises non-singular projective varieties amongst compact Kähler manifoldshttps://portal.mardi4nfdi.de/entity/Q6482370Kodaira embedding theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482372Krein–Milman theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482374Riesz–Fischer theorem
https://portal.mardi4nfdi.de/entity/Q6482375Krener's theorem
theorem in probability theoryhttps://portal.mardi4nfdi.de/entity/Q6482377Slutsky's theorem
result on the topology of operators on an infinite-dimensional, complex Hilbert spacehttps://portal.mardi4nfdi.de/entity/Q6482378Kuiper's theorem
mathematical theorem for algebraic structure of subgroups of free productshttps://portal.mardi4nfdi.de/entity/Q6482379Kurosh subgroup theorem
mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6482380Kōmura's theorem
https://portal.mardi4nfdi.de/entity/Q6482381L-balance theorem
formula that the area of a planar polygon whose vertices all have integer coordinates equals the number of interior integer points plus half the number of boundary integer points minus onehttps://portal.mardi4nfdi.de/entity/Q6482384Pick's theorem
completes the Langlands program for general linear groups over algebraic function fieldshttps://portal.mardi4nfdi.de/entity/Q6482385Lafforgue's theorem
Any monotonic integer-valued function partitions the positive integers into 2 subsetshttps://portal.mardi4nfdi.de/entity/Q6482388Lambek–Moser theorem
https://portal.mardi4nfdi.de/entity/Q6482390Landau prime ideal theorem
theorem in mathematicshttps://portal.mardi4nfdi.de/entity/Q6482396modularity theorem
not-necessarily-associative commutative algebra over a field satisfiying the identity (𝑥𝑦)𝑥²=𝑥(𝑦𝑥²)https://portal.mardi4nfdi.de/entity/Q6482400Jordan algebra
orthogonal functions theoremhttps://portal.mardi4nfdi.de/entity/Q6482401Lauricella's theorem
class of theorems about possible Nash equilibrium payoff profiles in repeated gameshttps://portal.mardi4nfdi.de/entity/Q6482402folk theorem
https://portal.mardi4nfdi.de/entity/Q6482403Lee Hwa Chung theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482406Norton's theorem
https://portal.mardi4nfdi.de/entity/Q6482410Lee–Yang theorem
theorem that the inclusion between a projective variety and its hyperplane section induces isomorphisms of homology, cohomology or homotopy groups in low degreeshttps://portal.mardi4nfdi.de/entity/Q6482413Lefschetz hyperplane theorem
https://portal.mardi4nfdi.de/entity/Q6482414Lefschetz theorem on (1,1)-classes
theorem that, for a sheaf that is acyclic on every finite intersection of an open cover, the sheaf cohomology coincides with Čech cohomologyhttps://portal.mardi4nfdi.de/entity/Q6482419Leray's theorem
theorem that relates the homology of a fiber bundle with the homologies of its base and fiberhttps://portal.mardi4nfdi.de/entity/Q6482420Leray–Hirsch theorem
https://portal.mardi4nfdi.de/entity/Q6482421Lerner symmetry theorem
a finite dimensional Lie algebra is a semidirect product of a normal solvable ideal and a semisimple subalgebrahttps://portal.mardi4nfdi.de/entity/Q6482423Levi decomposition theorem
theorem stating that, in a right Noetherian ring, every nil one-sided ideal is nilpotenthttps://portal.mardi4nfdi.de/entity/Q6482424Levitzky's theorem
https://portal.mardi4nfdi.de/entity/Q6482425Lie–Palais theorem
theorem that a continuous mapping of a convex subset of a topological vector space into a compact subset of itself has a fixed pointhttps://portal.mardi4nfdi.de/entity/Q6482426Schauder fixed point theorem
theorem that a representation of a finite group over a field with characteristic not dividing the order of the group decomposes as a direct sum of irreducible representationshttps://portal.mardi4nfdi.de/entity/Q6482428Maschke's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482431Hilbert's basis theorem
theorem that a square matrix satisfies its own characteristic equationhttps://portal.mardi4nfdi.de/entity/Q6482434Cayley–Hamilton theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482435Lefschetz fixed-point theorem
Equations of degree 5 or higher cannot be solved by radicalshttps://portal.mardi4nfdi.de/entity/Q6482439Abel–Ruffini theorem
mathematical problemhttps://portal.mardi4nfdi.de/entity/Q6482441Waring's problem
theorem about the theory of NP-completeness by Thomas J. Schaeferhttps://portal.mardi4nfdi.de/entity/Q6482604Schaefer's dichotomy theorem
https://portal.mardi4nfdi.de/entity/Q6482605Schilder's theorem
order dimension of incidences in planar graphshttps://portal.mardi4nfdi.de/entity/Q6482606Schnyder's theorem
Theoremhttps://portal.mardi4nfdi.de/entity/Q6482607Schreier refinement theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482608Schröder–Bernstein theorem for measurable spaces
https://portal.mardi4nfdi.de/entity/Q6482609Schröder–Bernstein theorems for operator algebras
https://portal.mardi4nfdi.de/entity/Q6482610Schur orthogonality relations
tool used in probabilistic polynomial identity testinghttps://portal.mardi4nfdi.de/entity/Q6482612Schwartz–Zippel lemma
euclidean Wightman distributionshttps://portal.mardi4nfdi.de/entity/Q6482615Schwinger function
On the finite presentability of fundamental groups of 3-manifoldshttps://portal.mardi4nfdi.de/entity/Q6482616Scott core theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482621Immerman–Szelepcsényi theorem
mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6482623Serre–Swan theorem
theorem that every finite set of points in the plane, not all collinear, has a line through exactly two pointshttps://portal.mardi4nfdi.de/entity/Q6482624Sylvester–Gallai theorem
mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6482625shift theorem
https://portal.mardi4nfdi.de/entity/Q6482627Siegel–Walfisz theorem
theorem that algebraic numbers do not have unusually accurate rational approximationshttps://portal.mardi4nfdi.de/entity/Q6482629Thue–Siegel–Roth theorem
https://portal.mardi4nfdi.de/entity/Q6482630Hirzebruch signature theorem
theorem of summability methodshttps://portal.mardi4nfdi.de/entity/Q6482631Silverman–Toeplitz theorem
theorem that states that the image of real function having real closed interval as domain, has maximum and minimumhttps://portal.mardi4nfdi.de/entity/Q6482633extreme value theorem
The theorem states that every square matrix with positive entries is the product of a positive diagonal matrix, a doubly stochastic matrix, and another positive diagonal matrix.https://portal.mardi4nfdi.de/entity/Q6482636Sinkhorn's theorem
generalization of John von Neumann's minimax theoremhttps://portal.mardi4nfdi.de/entity/Q6482638Sion's minimax theorem
Bounded-error probabilistic polynomial time is contained in the polynomial time hierarchyhttps://portal.mardi4nfdi.de/entity/Q6482639Sipser–Lautemann theorem
https://portal.mardi4nfdi.de/entity/Q6482640Siu's semicontinuity theorem
theorem of complex geometryhttps://portal.mardi4nfdi.de/entity/Q6482643Skoda–El Mir theorem
theorems that relate a suitable collection of random variables to a Wiener processhttps://portal.mardi4nfdi.de/entity/Q6482644Skorokhod's embedding theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482645Atiyah–Bott fixed-point theorem
theorem that the difference between the dimensions of the kernel and cokernel of a differential operator on a manifold is the integral of a characteristic classhttps://portal.mardi4nfdi.de/entity/Q6482648Atiyah–Singer index theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482649Lagrange's four-square theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482650space hierarchy theorem
gives a necessary and sufficient condition for two matrices to be unitarily equivalenthttps://portal.mardi4nfdi.de/entity/Q6482652Specht's theorem
theorem by John R. Stallingshttps://portal.mardi4nfdi.de/entity/Q6482653Stallings theorem about ends of groups
https://portal.mardi4nfdi.de/entity/Q6482654Stallings–Zeeman theorem
gives functional equation is satisfied by the generating function of any rational conehttps://portal.mardi4nfdi.de/entity/Q6482655Stanley's reciprocity theorem
A mathematical result on arithmetic properties of binomial coefficientshttps://portal.mardi4nfdi.de/entity/Q6482656Star of David theorem
Characterizes graphs formed by edges and vertices of 3-dimensional convex polyhedrahttps://portal.mardi4nfdi.de/entity/Q6482658Steinitz's theorem
https://portal.mardi4nfdi.de/entity/Q6482660Stein–Strömberg theorem
https://portal.mardi4nfdi.de/entity/Q6482661Stinespring factorization theorem
https://portal.mardi4nfdi.de/entity/Q6482662Stone duality
https://portal.mardi4nfdi.de/entity/Q6482663Stone–von Neumann theorem
result in field theory about zeros of formal power serieshttps://portal.mardi4nfdi.de/entity/Q6482664Strassmann's theorem
mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6482665structure theorem for Gaussian measures
points of small height in projective space lie in a finite number of hyperplaneshttps://portal.mardi4nfdi.de/entity/Q6482666Subspace theorem
theorem on arithmetic progressionshttps://portal.mardi4nfdi.de/entity/Q6482669Van der Waerden's theorem
limitation on how a certain quantity in the classical description of a quantum field theory may be modified by renormalization in the full quantum theoryhttps://portal.mardi4nfdi.de/entity/Q6482671supersymmetry nonrenormalization theorems
theoremhttps://portal.mardi4nfdi.de/entity/Q6482672Heine–Cantor theorem
For two suitable matrices, A and B, I+AB and I+BA have the same determinatehttps://portal.mardi4nfdi.de/entity/Q6482673Weinstein–Aronszajn identity
https://portal.mardi4nfdi.de/entity/Q6482674symmetric hypergraph theorem
dilation theoremhttps://portal.mardi4nfdi.de/entity/Q6482675Sz.-Nagy's dilation theorem
mathematical problemhttps://portal.mardi4nfdi.de/entity/Q6482678Tarski's plank problem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482680Artin–Wedderburn theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482681Tijdeman's theorem
theorem that hyperplane sections of a smooth projective variety are generically smoothhttps://portal.mardi4nfdi.de/entity/Q6482683theorem of Bertini
algebraic geometry theorem that, for any complete varieties U, V and W over an algebraically closed field, given points u, v and w on them, any invertible sheaf which has a trivial restriction to each of U×V×{w}, U×{v}×W and {u}×V×W is itself trivialhttps://portal.mardi4nfdi.de/entity/Q6482687theorem of the cube
theorem used in structural analysishttps://portal.mardi4nfdi.de/entity/Q6482688theorem of three moments
theoremhttps://portal.mardi4nfdi.de/entity/Q6482690Hilbert's syzygy theorem
https://portal.mardi4nfdi.de/entity/Q6482691Thompson transitivity theorem
https://portal.mardi4nfdi.de/entity/Q6482692Thompson uniqueness theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q648269415 and 290 theorems
https://portal.mardi4nfdi.de/entity/Q6482696Titchmarsh convolution theorem
method for constructing modular automorphisms of von Neumann algebras from the polar decomposition of a certain involutionhttps://portal.mardi4nfdi.de/entity/Q6482698Tomita–Takesaki theory
theoremhttps://portal.mardi4nfdi.de/entity/Q6482699Tonelli's theorem
https://portal.mardi4nfdi.de/entity/Q6482701Topkis's theorem
Triangle comparison theorem in Riemannian geometryhttps://portal.mardi4nfdi.de/entity/Q6482703Toponogov's theorem
describes when a compact Riemann surface is determined by its Jacobian varietyhttps://portal.mardi4nfdi.de/entity/Q6482705Torelli theorem
conjecture that bounds the order of the torsion group of an abelian variety over a number field in terms of the variety’s dimension and the number field’s degreehttps://portal.mardi4nfdi.de/entity/Q6482706torsion conjecture
theoremhttps://portal.mardi4nfdi.de/entity/Q6482707Blaschke selection theorem
mathematical theorem in finite group theoryhttps://portal.mardi4nfdi.de/entity/Q6482708trichotomy theorem
Relates spherical functions on a semisimple Lie group to certain holomorphic functionshttps://portal.mardi4nfdi.de/entity/Q6482709Trombi–Varadarajan theorem
https://portal.mardi4nfdi.de/entity/Q6482710Trudinger's theorem
https://portal.mardi4nfdi.de/entity/Q6482711Tsen's theorem
resolution to the congruent number problemhttps://portal.mardi4nfdi.de/entity/Q6482712Tunnell's theorem
inequality on additive arithmetic complex-valued functionhttps://portal.mardi4nfdi.de/entity/Q6482714Turán–Kubilius inequality
theorem in discrete geometryhttps://portal.mardi4nfdi.de/entity/Q6482715Tverberg's theorem
result in abstract algebrahttps://portal.mardi4nfdi.de/entity/Q6482724structure theorem for finitely generated modules over a principal ideal domain
theorem that a feed-forward network with a single hidden layer can approximate continuous functionshttps://portal.mardi4nfdi.de/entity/Q6482725universal approximation theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482727Baranyai's theorem
theorem in computational complexity theoryhttps://portal.mardi4nfdi.de/entity/Q6482730Valiant–Vazirani theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482731Basu's theorem
a sequence of integers formed by rounding down the integer multiples of a positive irrational numberhttps://portal.mardi4nfdi.de/entity/Q6482734Beatty sequence
On the homology of continuous maps between compact metric spaceshttps://portal.mardi4nfdi.de/entity/Q6482735Vietoris–Begle mapping theorem
https://portal.mardi4nfdi.de/entity/Q6482736Vitali–Hahn–Saks theorem
https://portal.mardi4nfdi.de/entity/Q6482737Von Neumann's theorem
https://portal.mardi4nfdi.de/entity/Q6482739Betti's theorem
characterization theorem in graph theory of planar graphshttps://portal.mardi4nfdi.de/entity/Q6482740Wagner's theorem
https://portal.mardi4nfdi.de/entity/Q6482742Walter theorem
https://portal.mardi4nfdi.de/entity/Q6482744Weber's theorem
constraints on possible particle propertieshttps://portal.mardi4nfdi.de/entity/Q6482747Weinberg–Witten theorem
partial converse of Taylor's theoremhttps://portal.mardi4nfdi.de/entity/Q6482748Whitney extension theorem
Tauberian theorem introduced by Shikao Ikehara (1931).https://portal.mardi4nfdi.de/entity/Q6482751Wiener–Ikehara theorem
https://portal.mardi4nfdi.de/entity/Q6482752Wijsman convergence
mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6482757Wilkie's theorem
basic result in the algebraic theory of quadratic forms, on extending isometrieshttps://portal.mardi4nfdi.de/entity/Q6482758Witt's theorem
theorem in group theory; generalization of Brauer–Suzuki theoremhttps://portal.mardi4nfdi.de/entity/Q6482759Z* theorem
mathematical theorem proven by George Glaubermanhttps://portal.mardi4nfdi.de/entity/Q6482760ZJ theorem
Mathematical theorem (real analysis)https://portal.mardi4nfdi.de/entity/Q6482762Zahorski theorem
https://portal.mardi4nfdi.de/entity/Q6482764Zarankiewicz problem
theorem of algebraic geometry and commutative algebrahttps://portal.mardi4nfdi.de/entity/Q6482765Zariski's main theorem
On primes dividing the difference of nth powers of coprime integers, but not powers < nhttps://portal.mardi4nfdi.de/entity/Q6482767Zsigmondy's theorem
mathematical theorem related to fractionshttps://portal.mardi4nfdi.de/entity/Q6482770Śleszyński–Pringsheim theorem
mathematical problemhttps://portal.mardi4nfdi.de/entity/Q6482773Basel problem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482775Girsanov theorem
the theorem that complex contour integrals are simply the sums of residues of singularities contained within the contourhttps://portal.mardi4nfdi.de/entity/Q6482780residue theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482782Cauchy's integral theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482786Wallace–Bolyai–Gerwien theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482787Theorem on friends and strangers
theorem that a distribution is integrable iff it arises from a regular foliationhttps://portal.mardi4nfdi.de/entity/Q6482789Frobenius theorem
theorem that two triangles are in perspective axially if and only if they are in perspective centrallyhttps://portal.mardi4nfdi.de/entity/Q6482792Desargues' theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482793Lebesgue's density theorem
theorem that the sum of the reciprocals of the twin primes convergeshttps://portal.mardi4nfdi.de/entity/Q6482796Brun's theorem
theorem that, for a solid of revolution of a planar figure, the surface area equals the figure’s perimeter times the distance the perimeter’s centroid travels, and the volume equals the figure’s area times the distance the figure’s centroid travelshttps://portal.mardi4nfdi.de/entity/Q6482800Pappus's centroid theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482802Erdős–Kac theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482804Borsuk–Ulam theorem
theorem that, if a function is continuously differentiable with nonzero Jacobian determinant at a given point, then it is locally invertible near that pointhttps://portal.mardi4nfdi.de/entity/Q6482806inverse function theorem
theorem that, under a mild condition on the partial derivatives, the set of zeros of a system of equations is locally the graph of a functionhttps://portal.mardi4nfdi.de/entity/Q6482807implicit function theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482808Kronecker's theorem
theorem transforming derivatives into combinatorics problems applied in quantum field theoryhttps://portal.mardi4nfdi.de/entity/Q6482811Wick's theorem
theorem that, if the vertices of a hexagon lie alternately on two lines, then the three pairs of opposite sides meet in three collinear pointshttps://portal.mardi4nfdi.de/entity/Q6482813Pappus's hexagon theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482815Viviani's theorem
mathematical equation, specifically a kind of Diophantine equationhttps://portal.mardi4nfdi.de/entity/Q6482822Pell's equation
need to sacrifice consistency or availability in the presence of network partitionshttps://portal.mardi4nfdi.de/entity/Q6482827CAP theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482828Midy's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482830de Branges's theorem
theorems describing elastic materialshttps://portal.mardi4nfdi.de/entity/Q6482832Castigliano's method
theoremhttps://portal.mardi4nfdi.de/entity/Q6482833Cauchy–Hadamard theorem
theorem that any spherically symmetric solution of the vacuum field equations must be static and asymptotically flathttps://portal.mardi4nfdi.de/entity/Q6482835Birkhoff's theorem
theorem on extension of bounded linear functionalshttps://portal.mardi4nfdi.de/entity/Q6482836Hahn–Banach theorem
On when a smooth map between smooth manifolds is a locally trivial fibrationhttps://portal.mardi4nfdi.de/entity/Q6482838Ehresmann's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482840Rosser's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482841Szpilrajn extension theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482842Boolean prime ideal theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482844Apollonius' theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482847Bohr–Van Leeuwen theorem
theorem showing that maximum matching and minimum vertex cover are equivalent for bipartite graphshttps://portal.mardi4nfdi.de/entity/Q6482849König's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482851Pascal's theorem
theorem stating that a quantity H (meant to represent entropy) increases monotonically with time, given an initial condition called molecular chaos (thus breaking time reversal symmetry)https://portal.mardi4nfdi.de/entity/Q6482853H-theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482854fluctuation theorem
branch of ordinary differential equationshttps://portal.mardi4nfdi.de/entity/Q6482855Floquet theory
theorem that relates the derivative of the total energy with respect to a parameter, to the expectation value of the derivative of the Hamiltonian with respect to that same parameterhttps://portal.mardi4nfdi.de/entity/Q6482858Hellmann–Feynman theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482859Feit–Thompson theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482861Morley's trisector theorem
theorem that an odd prime is a sum of two squares iff it is of the form 4𝑛+1https://portal.mardi4nfdi.de/entity/Q6482863Fermat's theorem on sums of two squares
arithmetic function related to the divisors of an integerhttps://portal.mardi4nfdi.de/entity/Q6482868divisor function
combinatorics theorem that any edge labeling of a sufficiently large complete graph contains monochromatic cliqueshttps://portal.mardi4nfdi.de/entity/Q6482870Ramsey's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482873Green–Tao theorem
theorem in general equilibrium economics about the excess demand curvehttps://portal.mardi4nfdi.de/entity/Q6482877Sonnenschein–Mantel–Debreu theorem
two segments that divide a trianglehttps://portal.mardi4nfdi.de/entity/Q6482878angle bisector theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482879Riemann mapping theorem
theorem characterizing graph connectivity by disjoint pathshttps://portal.mardi4nfdi.de/entity/Q6482881Menger's theorem
theorem applying to Riemannian manifoldshttps://portal.mardi4nfdi.de/entity/Q6482884Myers's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482888Bertrand–Diguet–Puiseux theorem
theorem that every continuous function on a compact Hausdorff space can be approximated by certain families of continuous functionshttps://portal.mardi4nfdi.de/entity/Q6482890Stone–Weierstrass theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482893Schwarz–Ahlfors–Pick theorem
theorem that every finite division ring is a fieldhttps://portal.mardi4nfdi.de/entity/Q6482896Wedderburn's little theorem
Theorem that surjective continuous operators on Banach spaces are open mapshttps://portal.mardi4nfdi.de/entity/Q6482897open mapping theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482899Kneser's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482902Pasch's theorem
3D generalization of the Leibniz integral rulehttps://portal.mardi4nfdi.de/entity/Q6482904Reynolds transport theorem
theorem that problems solvable nondeterministically in space S may be solved deterministically in space O(S²)https://portal.mardi4nfdi.de/entity/Q6482906Savitch's theorem
geometrical construction based on extending the sides of a trianglehttps://portal.mardi4nfdi.de/entity/Q6482908Conway circle
https://portal.mardi4nfdi.de/entity/Q6482909Erdős–Dushnik–Miller theorem
integer of the form 3 · 2ⁿ - 1 for non-negative nhttps://portal.mardi4nfdi.de/entity/Q6482912Thabit number
theorem in measure theoryhttps://portal.mardi4nfdi.de/entity/Q6482914Cramér–Wold theorem
Theorem that holomorphic functions on complex domains are open mapshttps://portal.mardi4nfdi.de/entity/Q6482915open mapping theorem
theorem about harmonic functionshttps://portal.mardi4nfdi.de/entity/Q6482917Radó's theorem
https://portal.mardi4nfdi.de/entity/Q6482918Stahl's theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482919Hille–Yosida theorem
theorem which establishes the transcendence of a large class of numbershttps://portal.mardi4nfdi.de/entity/Q6482922Gelfond–Schneider theorem
theorem that sufficiently long sequences of numbers have long monotonic subsequenceshttps://portal.mardi4nfdi.de/entity/Q6482924Erdős–Szekeres theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482927Stolper–Samuelson theorem
mathematical theorem about eigenvalueshttps://portal.mardi4nfdi.de/entity/Q6482929Gershgorin circle theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482931Helmholtz's theorems
theorem that every simple closed smooth curve in the plane has at least four points of locally extreme curvaturehttps://portal.mardi4nfdi.de/entity/Q6482933four-vertex theorem
https://portal.mardi4nfdi.de/entity/Q6482934Perpendicular axis theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482935weak formulation
dimensional analysis theoremhttps://portal.mardi4nfdi.de/entity/Q6482941Buckingham π theorem
https://portal.mardi4nfdi.de/entity/Q6482443Lukacs's proportion-sum independence theorem
https://portal.mardi4nfdi.de/entity/Q6482449Lyapunov–Malkin theorem
https://portal.mardi4nfdi.de/entity/Q6482450Lévy's modulus of continuity theorem
theorem that spacetime symmetries cannot mix with internal ones in a relativistic quantum field theoryhttps://portal.mardi4nfdi.de/entity/Q6482453Coleman–Mandula theorem
result in enumerative combinatorics and linear algebrahttps://portal.mardi4nfdi.de/entity/Q6482454MacMahon Master theorem
mathematical theorem regarding decomposability of measure spaceshttps://portal.mardi4nfdi.de/entity/Q6482455Maharam's theorem
Characterizes sets of lattices that are bounded in a certain sensehttps://portal.mardi4nfdi.de/entity/Q6482456Mahler's compactness theorem
https://portal.mardi4nfdi.de/entity/Q6482457Maier's theorem
theorem about smooth complex functionshttps://portal.mardi4nfdi.de/entity/Q6482458Malgrange preparation theorem
https://portal.mardi4nfdi.de/entity/Q6482459Manin–Drinfeld theorem
mathematical theory by discovered by Józef Marcinkiewiczhttps://portal.mardi4nfdi.de/entity/Q6482461Marcinkiewicz interpolation theorem
Mathematical model of animal foraging behaviorhttps://portal.mardi4nfdi.de/entity/Q6482462Marginal value theorem
https://portal.mardi4nfdi.de/entity/Q6482465Dandelin spheres
https://portal.mardi4nfdi.de/entity/Q6482466Markus–Yamabe conjecture
https://portal.mardi4nfdi.de/entity/Q6482467Martingale representation theorem
A theorem about polynomials, analogous to the abc conjecture for integershttps://portal.mardi4nfdi.de/entity/Q6482468Mason–Stothers theorem
https://portal.mardi4nfdi.de/entity/Q6482469Maximal ergodic theorem
convex polyhedrahttps://portal.mardi4nfdi.de/entity/Q6482470maximum-margin hyperplane
concept in probability theoryhttps://portal.mardi4nfdi.de/entity/Q6482472Maxwell's theorem
theorem in signal processing describing discrete samples of a continuous signalhttps://portal.mardi4nfdi.de/entity/Q6482476Nyquist–Shannon sampling theorem
https://portal.mardi4nfdi.de/entity/Q6482477Mazur's control theorem
https://portal.mardi4nfdi.de/entity/Q6482478Mellin inversion theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482479Euler's rotation theorem
integral transform and linear operatorhttps://portal.mardi4nfdi.de/entity/Q6482481Hilbert transform
theorem in combinatorics generalizing Ramsey's theorem to infinite treeshttps://portal.mardi4nfdi.de/entity/Q6482482Milliken's tree theorem
A generalization of both Ramsey's theorem and Hindman's theoremhttps://portal.mardi4nfdi.de/entity/Q6482483Milliken–Taylor theorem
Mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6482484Milman–Pettis theorem
https://portal.mardi4nfdi.de/entity/Q6482485Minkowski's second theorem
Existence theorem on the lattice packing of hypersphereshttps://portal.mardi4nfdi.de/entity/Q6482490Minkowski–Hlawka theorem
Mathematical theorem (topological vector spaces)https://portal.mardi4nfdi.de/entity/Q6482492Minlos' theorem
https://portal.mardi4nfdi.de/entity/Q6482493Moreau's theorem
Poker principlehttps://portal.mardi4nfdi.de/entity/Q6482495Morton's theorem
mathematical theorem about a sufficient condition for the existence of a saddle pointhttps://portal.mardi4nfdi.de/entity/Q6482497mountain pass theorem
https://portal.mardi4nfdi.de/entity/Q6482498moving equilibrium theorem
logical term meaning that an argument is valid and its premises are truehttps://portal.mardi4nfdi.de/entity/Q6482506soundness
Concerns the representation theory of an adelic reductive algebraic group.https://portal.mardi4nfdi.de/entity/Q6482507Multiplicity-one theorem
https://portal.mardi4nfdi.de/entity/Q6482508Mumford vanishing theorem
theorem bounding the growth rate of analytic functionshttps://portal.mardi4nfdi.de/entity/Q6482509Nachbin's theorem
Generalization of the inverse function theoremhttps://portal.mardi4nfdi.de/entity/Q6482511Nash–Moser theorem
The area cut off by a secant of a smooth convex oval is not an algebraic functionhttps://portal.mardi4nfdi.de/entity/Q6482512Newton's theorem about ovals
Theorem that finite subgroups of mapping class groups can act on surfaceshttps://portal.mardi4nfdi.de/entity/Q6482513Nielsen realization problem
https://portal.mardi4nfdi.de/entity/Q6482514Nielsen theory
theorem of quantum information processinghttps://portal.mardi4nfdi.de/entity/Q6482515no-broadcast theorem
economic theoremhttps://portal.mardi4nfdi.de/entity/Q6482519No-trade theorem
https://portal.mardi4nfdi.de/entity/Q6482521Kuhn's theorem
the theorem that, if a machine-learning algorithm does well on some problems, then it pays for that on all other problemshttps://portal.mardi4nfdi.de/entity/Q6482522no free lunch theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482524Noether's theorem on rationality for surfaces
https://portal.mardi4nfdi.de/entity/Q6482525Optical equivalence theorem
https://portal.mardi4nfdi.de/entity/Q6482526Ornstein isomorphism theorem
https://portal.mardi4nfdi.de/entity/Q6482527Oseledets theorem
https://portal.mardi4nfdi.de/entity/Q6482528Paley construction
Shell calculation tool in nuclear physicshttps://portal.mardi4nfdi.de/entity/Q6482529Pandya theorem
A certain principle in Ramsey theory is true, but not provable in Peano arithmetichttps://portal.mardi4nfdi.de/entity/Q6482532Paris–Harrington theorem
https://portal.mardi4nfdi.de/entity/Q6482533Parovicenko space
https://portal.mardi4nfdi.de/entity/Q6482535Parthasarathy's theorem
https://portal.mardi4nfdi.de/entity/Q6482536Peeling theorem
https://portal.mardi4nfdi.de/entity/Q6482537Peetre theorem
https://portal.mardi4nfdi.de/entity/Q6482539Peixoto's theorem
mathematical problemhttps://portal.mardi4nfdi.de/entity/Q6482540Zero-sum problem
second theorem in extreme value theoryhttps://portal.mardi4nfdi.de/entity/Q6482542Pickands–Balkema–De Haan theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482544Toda's theorem
theorem in graph theoryhttps://portal.mardi4nfdi.de/entity/Q6482545Planar separator theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482547Chevalley–Warning theorem
probability theoryhttps://portal.mardi4nfdi.de/entity/Q6482548Poisson limit theorem
bound on the number of incidences between points and lines in the planehttps://portal.mardi4nfdi.de/entity/Q6482550Szemerédi–Trotter theorem
Mathematical theorem (differential topology)https://portal.mardi4nfdi.de/entity/Q6482551preimage theorem
the principal axes an ellipsoid or hyperboloid are perpendicularhttps://portal.mardi4nfdi.de/entity/Q6482552Principal axis theorem
relates tightness of measures to relative compactness in the space of probability measureshttps://portal.mardi4nfdi.de/entity/Q6482554Prokhorov's theorem
https://portal.mardi4nfdi.de/entity/Q6482555Pseudorandom generator theorem
theorem that a quantum computer with a physical error rate below a certain threshold can, through application of quantum error correction schemes, suppress the logical error rate to arbitrarily low levelshttps://portal.mardi4nfdi.de/entity/Q6482556quantum threshold theorem
https://portal.mardi4nfdi.de/entity/Q6482557quasi-analytic function
https://portal.mardi4nfdi.de/entity/Q6482558quaternary cubic
method to find local maxima and minima of differentiable functions on open setshttps://portal.mardi4nfdi.de/entity/Q6482559Fermat's theorem
theorem in commutative algebra that every finitely generated projective module over a polynomial ring is freehttps://portal.mardi4nfdi.de/entity/Q6482563Quillen–Suslin theorem
property of finite-dimensional normed spaces, discovered by Vitali Milmanhttps://portal.mardi4nfdi.de/entity/Q6482565quotient of subspace theorem
https://portal.mardi4nfdi.de/entity/Q6482567Raikov's theorem
https://portal.mardi4nfdi.de/entity/Q6482568Ramanujam vanishing theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482569Hadamard three-circle theorem
https://portal.mardi4nfdi.de/entity/Q6482571Ratner's theorems
restricts the possible topology of a negatively curved compact Riemannian manifoldhttps://portal.mardi4nfdi.de/entity/Q6482572Rauch comparison theorem
theorem that any three objects in space can be simultaneously bisected by a planehttps://portal.mardi4nfdi.de/entity/Q6482573ham sandwich theorem
One of several theorems linking the sizes of different ideal class groupshttps://portal.mardi4nfdi.de/entity/Q6482574Reflection theorem
https://portal.mardi4nfdi.de/entity/Q6482575Regev's theorem
a homotopy consisting of immersionshttps://portal.mardi4nfdi.de/entity/Q6482578regular homotopy
https://portal.mardi4nfdi.de/entity/Q6482579Reider's theorem
https://portal.mardi4nfdi.de/entity/Q6482581Remmert–Stein theorem
aspect of probability theoryhttps://portal.mardi4nfdi.de/entity/Q6482582reversed compound agent theorem
Result concerning properties of Galois representations associated with modular formshttps://portal.mardi4nfdi.de/entity/Q6482583Ribet's theorem
generalization of Rice's theoremhttps://portal.mardi4nfdi.de/entity/Q6482584Rice–Shapiro theorem
construction of an angle equal to one third a given anglehttps://portal.mardi4nfdi.de/entity/Q6482588angle trisection
Mathematical theoremhttps://portal.mardi4nfdi.de/entity/Q6482589Riemann–Roch theorem for surfaces
theorem in graph theoryhttps://portal.mardi4nfdi.de/entity/Q6482591Robbins' theorem
https://portal.mardi4nfdi.de/entity/Q6482592Robinson's joint consistency theorem
On the intersection form of a smooth, closed 4-manifold with a spin structurehttps://portal.mardi4nfdi.de/entity/Q6482594Rokhlin's theorem
idea of taking apart an object and constructing two identical copies of ithttps://portal.mardi4nfdi.de/entity/Q6482595Banach–Tarski paradox
theoremhttps://portal.mardi4nfdi.de/entity/Q6482596Bendixson–Dulac theorem
theorem describing a relation between the lengths of the sides and the length of a cevian in a trianglehttps://portal.mardi4nfdi.de/entity/Q6482598Stewart's theorem
https://portal.mardi4nfdi.de/entity/Q6482599Saccheri–Legendre theorem
theoremhttps://portal.mardi4nfdi.de/entity/Q6482600Peano existence theorem
Theorem in differential geometryhttps://portal.mardi4nfdi.de/entity/Q6482603Gauss–Bonnet theorem

About

 The spiritual successor of Freek’s list of 100 theorems. Now with more than 1000 theorems!
 The entries of this list are extracted from Wikipedia’s List of Theorems. We do not accept entries that are not part of that list.
 This project was initiated at the Special Trimester on “Prospects of Formalized Mathematics” at the Hausdorff Institute of Mathematics in Bonn, funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany ́s Excellence Strategy – EXC-2047/1 – 390685813.

source https://1000-plus.github.io/

Discussion

Persons involved

Katja Berči

Floris van Doorn

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=1000%2B_Theorems_project&oldid=37539315"
Powered by MediaWiki