1000+ Theorems project

item	label	description
geometric relation between the roots of a polynomial and those of its derivative	https://portal.mardi4nfdi.de/entity/Q6480414	Gauss–Lucas theorem
on how much high-dimensional objects must exhibit some combinatorial structure	https://portal.mardi4nfdi.de/entity/Q6480418	Hales–Jewett theorem
theorem that, if there exist injective functions in both directions between two sets, then there exists a bijection between them	https://portal.mardi4nfdi.de/entity/Q6480423	Cantor–Bernstein–Schroeder theorem
Physics theorem for symmetries of action	https://portal.mardi4nfdi.de/entity/Q6480425	Noether's second theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480426	Pó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 limit	https://portal.mardi4nfdi.de/entity/Q6480427	identity theorem
theorem that long dense subsets of the integers contain arbitrarily large arithmetic progressions	https://portal.mardi4nfdi.de/entity/Q6480431	Szemerédi's theorem
theorem bounding the number of edges in a graph that has no large cliques	https://portal.mardi4nfdi.de/entity/Q6480433	Turán's theorem
https://portal.mardi4nfdi.de/entity/Q6480434	Jacobson–Morozov theorem
computational quantum mechanical modelling method to investigate the electronic structure	https://portal.mardi4nfdi.de/entity/Q6480442	density functional theory
https://portal.mardi4nfdi.de/entity/Q6480443	Joubert's theorem
"Remarkable theorem" about Gauss' curvature as an invariant	https://portal.mardi4nfdi.de/entity/Q6480445	Theorema 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 property	https://portal.mardi4nfdi.de/entity/Q6480448	Coase theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480449	Cantor's intersection theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480451	Hartogs' theorem
concept in mathematics	https://portal.mardi4nfdi.de/entity/Q6480453	Cauchy product
theorem	https://portal.mardi4nfdi.de/entity/Q6480455	Craig interpolation
theorem	https://portal.mardi4nfdi.de/entity/Q6480457	five color theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480460	Baire category theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480465	Stolz–Cesàro theorem
theorem that derivates of the laws of probability from a certain set of postulates	https://portal.mardi4nfdi.de/entity/Q6480467	Cox's theorem
Social Choice theory on voting	https://portal.mardi4nfdi.de/entity/Q6480468	May's theorem
theorem from group theory	https://portal.mardi4nfdi.de/entity/Q6480472	Sylow theorems
theorem	https://portal.mardi4nfdi.de/entity/Q6480473	Darboux's theorem
foundational result in symplectic geometry	https://portal.mardi4nfdi.de/entity/Q6480476	Darboux's theorem
Theorem in statistics and econometrics	https://portal.mardi4nfdi.de/entity/Q6480478	Frisch–Waugh–Lovell theorem
Mathematical demonstration applied in electro-magnetism	https://portal.mardi4nfdi.de/entity/Q6480480	Earnshaw'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/Q6480483	squeeze theorem
theorems that describe the relationship between quotients, homomorphisms, and subobjects	https://portal.mardi4nfdi.de/entity/Q6480486	isomorphism theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480488	dominated convergence theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480489	closed 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/Q6480493	Lö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 force	https://portal.mardi4nfdi.de/entity/Q6480499	Clairaut's theorem
Theorem: polynomials without common complex zeros generate the unit ideal	https://portal.mardi4nfdi.de/entity/Q6480503	Hilbert'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 domain	https://portal.mardi4nfdi.de/entity/Q6480506	Bochner's tube theorem
theorem relating the diameter of a point set to the minimum radius of an enclosing ball	https://portal.mardi4nfdi.de/entity/Q6480509	Jung'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 jointly	https://portal.mardi4nfdi.de/entity/Q6480510	Malgrange–Zerner theorem
area of functional analysis and convex analysis concerned with measures which have support on the extreme points of a convex set	https://portal.mardi4nfdi.de/entity/Q6480513	Choquet theory
formal language theorem	https://portal.mardi4nfdi.de/entity/Q6480514	Büchi-Elgot-Trakhtenbrot theorem
uniqueness of countable dense linear orders	https://portal.mardi4nfdi.de/entity/Q6480515	Cantor's isomorphism theorem
statement that the product of a collection of non-empty sets is non-empty	https://portal.mardi4nfdi.de/entity/Q6480518	axiom of choice
theorem	https://portal.mardi4nfdi.de/entity/Q6480519	König's theorem
theorem which states that there is no nonvanishing continuous tangent vector field on even-dimensional n-spheres	https://portal.mardi4nfdi.de/entity/Q6480521	hairy ball theorem
decomposition of an integer as a sum of positive integers	https://portal.mardi4nfdi.de/entity/Q6480523	partition
theorem concerning spontaneous symmetry breaking	https://portal.mardi4nfdi.de/entity/Q6480524	Vafa–Witten theorem
problem asking whether every algebraic variety V has a resolution	https://portal.mardi4nfdi.de/entity/Q6480527	resolution of singularities
theorem	https://portal.mardi4nfdi.de/entity/Q6480528	Apéry's theorem
symmetric convex set	https://portal.mardi4nfdi.de/entity/Q6480530	Minkowski's theorem
a result in functional analysis with applications in the study of partial differential equations	https://portal.mardi4nfdi.de/entity/Q6480535	Lions–Lax–Milgram theorem
theorem about products in model theory	https://portal.mardi4nfdi.de/entity/Q6480536	Feferman–Vaught theorem
any of a family of theorems relating decay properties of a function or distribution at infinity with analyticity of its Fourier transform	https://portal.mardi4nfdi.de/entity/Q6480539	Paley–Wiener theorem
https://portal.mardi4nfdi.de/entity/Q6480540	Friedberg–Muchnik theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480541	Krylov–Bogolyubov theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480544	Dinostratus' theorem
mathematical Theorem	https://portal.mardi4nfdi.de/entity/Q6480545	Gamas's Theorem
https://portal.mardi4nfdi.de/entity/Q6480546	Netto's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480549	Lehmann–Scheffé theorem
complexity class	https://portal.mardi4nfdi.de/entity/Q6480552	NP-intermediate
statistical distribution for dependence between random variables	https://portal.mardi4nfdi.de/entity/Q6480553	copula
function with multiplicative scaling behaviour	https://portal.mardi4nfdi.de/entity/Q6480555	homogeneous function
Hyperebene	https://portal.mardi4nfdi.de/entity/Q6480556	Supporting 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 partitioned	https://portal.mardi4nfdi.de/entity/Q6480558	Dilworth's theorem
https://portal.mardi4nfdi.de/entity/Q6480559	Vitali convergence theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480561	Harnack's principle
theorem	https://portal.mardi4nfdi.de/entity/Q6480563	Hurwitz's theorem
theorem in physics	https://portal.mardi4nfdi.de/entity/Q6480565	optical theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480567	Tychonoff's theorem
approximation of a function by a truncated power series	https://portal.mardi4nfdi.de/entity/Q6480569	Taylor's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480571	Cauchy's theorem
theorem on finite-dimensional unital real non-associative algebras endowed with a positive-definite quadratic form	https://portal.mardi4nfdi.de/entity/Q6480573	Hurwitz's theorem
Sociological theory	https://portal.mardi4nfdi.de/entity/Q6480577	rational 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 holomorphic	https://portal.mardi4nfdi.de/entity/Q6480582	Morera's theorem
theorem in complexity theory that every problem in NP has probabilistically checkable proofs	https://portal.mardi4nfdi.de/entity/Q6480593	PCP theorem
principle regarding the maximum efficiency of heat engines	https://portal.mardi4nfdi.de/entity/Q6480596	Carnot's theorem
gives the sum of the distances from the circumcenter to the sides of an arbitrary triangle	https://portal.mardi4nfdi.de/entity/Q6480598	Carnot's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480601	Heckscher–Ohlin theorem
every continuous function on a compact set has a fixed point	https://portal.mardi4nfdi.de/entity/Q6480605	Brouwer fixed-point theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480607	Fermat polygonal number theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480608	Mitchell's embedding theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480610	Fubini's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480613	Goodstein's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480614	compactness 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 vectors	https://portal.mardi4nfdi.de/entity/Q6480615	Lami's theorem
axiom in Euclidean geometry	https://portal.mardi4nfdi.de/entity/Q6480623	parallel postulate
relation in Euclidean geometry among the three sides of a right triangle	https://portal.mardi4nfdi.de/entity/Q6480624	Pythagorean theorem
theorem in geometry	https://portal.mardi4nfdi.de/entity/Q6480628	Mohr–Mascheroni theorem
massless boson that must be present in a quantum system with spontaneously broken symmetry	https://portal.mardi4nfdi.de/entity/Q6480633	Goldstone boson
theorem of calculus	https://portal.mardi4nfdi.de/entity/Q6480636	monotone convergence theorem
https://portal.mardi4nfdi.de/entity/Q6480638	Plancherel theorem for spherical functions
theorem	https://portal.mardi4nfdi.de/entity/Q6480639	Stone's representation theorem for Boolean algebras
https://portal.mardi4nfdi.de/entity/Q6480640	Generalized Gauss-Bonnet theorem
Delay embedding theorem of attractor reconstruction	https://portal.mardi4nfdi.de/entity/Q6480642	Takens' theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480645	Modigliani–Miller theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480647	Hajós's theorem
cohomology with real coefficients computed using differential forms	https://portal.mardi4nfdi.de/entity/Q6480652	de Rham cohomology
theorem	https://portal.mardi4nfdi.de/entity/Q6480653	deduction theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480657	Poncelet–Steiner theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480658	Lucas' theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480660	fundamental theorem on homomorphisms
theorem that every curve of constant width has perimeter π times its width	https://portal.mardi4nfdi.de/entity/Q6480663	Barbier's theorem
https://portal.mardi4nfdi.de/entity/Q6480665	Nagata's compactification theorem
mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6480667	Zeckendorf's theorem
probablility distribution	https://portal.mardi4nfdi.de/entity/Q6480670	exponential family
fundamental result in measure theory that expresses the relationship between two measures defined on the same measurable space	https://portal.mardi4nfdi.de/entity/Q6480673	Radon–Nikodym theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480676	Egorov's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480678	Rouché's theorem
topological space that is homeomorphic to a metric space	https://portal.mardi4nfdi.de/entity/Q6480684	metrizable space
theorem that the three long diagonals of a hexagon that is tangent to a conic section meet in a single point	https://portal.mardi4nfdi.de/entity/Q6480688	Brianchon's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480692	Descartes' theorem
series of three theorems about the density of prime numbers	https://portal.mardi4nfdi.de/entity/Q6480698	Mertens' theorems
theorem	https://portal.mardi4nfdi.de/entity/Q6480701	De Gua's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480702	Kaplansky density theorem
theorem in vector calculus	https://portal.mardi4nfdi.de/entity/Q6480706	Stokes' theorem
calculus theorem describing the duality of differentiation and integration	https://portal.mardi4nfdi.de/entity/Q6480709	fundamental theorem of calculus
approximating real numbers with rational numbers	https://portal.mardi4nfdi.de/entity/Q6480714	diophantine approximation
theorem	https://portal.mardi4nfdi.de/entity/Q6480716	Dirichlet's unit theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480717	Dirichlet's approximation theorem
mathematical theorem in stochastic processes	https://portal.mardi4nfdi.de/entity/Q6480719	Doob decomposition theorem
a square matrix	https://portal.mardi4nfdi.de/entity/Q6480721	doubly stochastic matrix
theorem	https://portal.mardi4nfdi.de/entity/Q6480722	Richardson's theorem
sequence of moves of a knight on a chessboard to visit each square exactly once	https://portal.mardi4nfdi.de/entity/Q6480728	knight's tour
theorem that every subgroup of a free group is itself free	https://portal.mardi4nfdi.de/entity/Q6480731	Nielsen–Schreier theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480733	Schwartz kernel theorem
topological invariant in mathematics	https://portal.mardi4nfdi.de/entity/Q6480739	Euler characteristic
theorem relating the Euler characteristic of a closed manifold to the number of zeros of a vector field on it	https://portal.mardi4nfdi.de/entity/Q6480744	Poincaré–Hopf theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480745	Nash embedding theorem
On immersions of smooth m-dimensional manifolds in 2m-space and (2m-1) space	https://portal.mardi4nfdi.de/entity/Q6480747	Whitney immersion theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480751	Whitney embedding theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480753	Kü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 result	https://portal.mardi4nfdi.de/entity/Q6480756	Church–Rosser theorem
theorem about the existence of meromorphic functions with prescribed poles	https://portal.mardi4nfdi.de/entity/Q6480758	Mittag-Leffler's theorem
mathematics theorem in number theory, which was first stated and proved by Chen Jingrun	https://portal.mardi4nfdi.de/entity/Q6480760	Chen's theorem
theorem that no matter how one triangulates a cyclic polygon, the sum of inradii of triangles is constant	https://portal.mardi4nfdi.de/entity/Q6480762	Japanese theorem for cyclic polygons
graph family	https://portal.mardi4nfdi.de/entity/Q6480765	chordal graph
theorem	https://portal.mardi4nfdi.de/entity/Q6480767	Rademacher's theorem
theorem in number theory that there are no nontrivial integer solutions of xⁿ+yⁿ=zⁿ for integer n>2	https://portal.mardi4nfdi.de/entity/Q6480775	Fermat's Last Theorem
Every polynomial has a real or complex root	https://portal.mardi4nfdi.de/entity/Q6480777	fundamental theorem of algebra
theorem in complex analysis that entire functions can be factorized according to their zeros	https://portal.mardi4nfdi.de/entity/Q6480781	Weierstrass factorization theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480783	classification 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 necessary	https://portal.mardi4nfdi.de/entity/Q6480785	Tietze extension theorem
line that passes through two lines in the same plane at two distinct points	https://portal.mardi4nfdi.de/entity/Q6480787	transversal
theorem	https://portal.mardi4nfdi.de/entity/Q6480788	Rybczynski theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480793	Eilenberg–Zilber theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480796	Riesz representation theorem
theorem that the finite-dimensional associative division algebras over the reals are either the reals, the complex numbers, or the quaternions	https://portal.mardi4nfdi.de/entity/Q6480798	Frobenius theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480800	Lusin's theorem
theorem on the maximum size of a family of pairwise intersecting sets	https://portal.mardi4nfdi.de/entity/Q6480803	Erdős–Ko–Rado theorem
theorem in combinatorial set theory	https://portal.mardi4nfdi.de/entity/Q6480804	Erdős–Rado theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480805	Kronecker–Weber theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480808	Casey’s theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480810	Besicovitch covering theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480812	no-hair theorem
Sequence of fractions	https://portal.mardi4nfdi.de/entity/Q6480814	Farey sequence
theorem	https://portal.mardi4nfdi.de/entity/Q6480815	Hilbert's Theorem 90
theorem	https://portal.mardi4nfdi.de/entity/Q6480816	Ryll-Nardzewski fixed-point theorem
theorem describing distance between circumcentre and incentre of a triangle	https://portal.mardi4nfdi.de/entity/Q6480820	Euler's theorem in geometry
theorem	https://portal.mardi4nfdi.de/entity/Q6480822	Frucht's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480823	spectral 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 side	https://portal.mardi4nfdi.de/entity/Q6480826	Brahmagupta theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480828	Dirichlet's theorem on arithmetic progressions
theorem	https://portal.mardi4nfdi.de/entity/Q6480829	Chebotarev's density theorem
theorem that a pointwise bounded set of linear operators on a Banach space is uniformly bounded in operator norm	https://portal.mardi4nfdi.de/entity/Q6480833	uniform boundedness principle
theorem	https://portal.mardi4nfdi.de/entity/Q6480834	fluctuation-dissipation theorem
algebraic variety of dimension two	https://portal.mardi4nfdi.de/entity/Q6480840	algebraic surface
theorem	https://portal.mardi4nfdi.de/entity/Q6480842	Parseval's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480845	Penrose–Hawking singularity theorems
establishes the concept of stabilization of homotopy groups	https://portal.mardi4nfdi.de/entity/Q6480847	Freudenthal suspension theorem
set-theoretic theorem or principle, equivalent to the axiom of choice	https://portal.mardi4nfdi.de/entity/Q6480850	well-ordering theorem
theorem that d+2 points in d dimensions can be partitioned into two subsets whose convex hulls intersect	https://portal.mardi4nfdi.de/entity/Q6480851	Radon's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480852	Hellinger–Toeplitz theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480855	Arzelà–Ascoli theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480856	Runge's theorem
theorem that the number of prime numbers is infinite	https://portal.mardi4nfdi.de/entity/Q6480858	Euclid's theorem
https://portal.mardi4nfdi.de/entity/Q6480860	Lie's third theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480869	Peter–Weyl theorem
mathematical concept	https://portal.mardi4nfdi.de/entity/Q6480870	uniform integrability
quotient of the direct product of a family of structures by an ultrafilter	https://portal.mardi4nfdi.de/entity/Q6480875	ultraproduct
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 other	https://portal.mardi4nfdi.de/entity/Q6480880	congruence
theorem calculating the number of intersection points of two algebraic curves in terms of their degrees	https://portal.mardi4nfdi.de/entity/Q6480882	Bézout's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480885	Sokhotski–Plemelj theorem
theorem about the impossibility of spontaneous symmetry breaking in two-dimensional systems at finite temperature	https://portal.mardi4nfdi.de/entity/Q6480890	Mermin–Wagner theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480892	Woodbury matrix identity
theorem	https://portal.mardi4nfdi.de/entity/Q6480893	Reeh–Schlieder theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480895	Perron–Frobenius theorem
Mathematischer Begriff	https://portal.mardi4nfdi.de/entity/Q6480896	IP set
theorem	https://portal.mardi4nfdi.de/entity/Q6480898	Haag's theorem
Geometric relationship between the zeros of a cubic polynomial and of its derivative	https://portal.mardi4nfdi.de/entity/Q6480901	Marden's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480903	Hahn decomposition theorem
theorem of number theory	https://portal.mardi4nfdi.de/entity/Q6480907	Lindemann–Weierstrass theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480908	Lochs' theorem
https://portal.mardi4nfdi.de/entity/Q6480909	Barban–Davenport–Halberstam theorem
theorem related to model theory, discovered by Michael D. Morley	https://portal.mardi4nfdi.de/entity/Q6480911	Morley's categoricity theorem
https://portal.mardi4nfdi.de/entity/Q6480913	van Schooten's theorem
theorem in Euclidean geometry	https://portal.mardi4nfdi.de/entity/Q6480914	Anne's theorem
geometrical theorem	https://portal.mardi4nfdi.de/entity/Q6480916	Newton's theorem (quadrilateral)
describes a third square derived from any two squares that share a vertex	https://portal.mardi4nfdi.de/entity/Q6480920	Finsler–Hadwiger theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480921	Lumer–Phillips theorem
local existence and uniqueness theorem for analytic partial differential equations associated with Cauchy initial value problems	https://portal.mardi4nfdi.de/entity/Q6480923	Cauchy–Kowalevski theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480924	Orlicz–Pettis theorem
Solution of some Diophantine equation	https://portal.mardi4nfdi.de/entity/Q6480926	Diophantine set
theorem in number theory	https://portal.mardi4nfdi.de/entity/Q6480927	Hurwitz's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480928	Lester's theorem
theorem in planar dynamics	https://portal.mardi4nfdi.de/entity/Q6480930	parallel axis theorem
theorem that a triangle with two angle bisectors of equal lengths is isosceles	https://portal.mardi4nfdi.de/entity/Q6480931	Steiner–Lehmus theorem
Count of the roots of a polynomial in an interval, without computing them	https://portal.mardi4nfdi.de/entity/Q6480933	Sturm's theorem
theorem about the intersections of d-dimensional convex sets	https://portal.mardi4nfdi.de/entity/Q6480937	Helly'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 Poynting	https://portal.mardi4nfdi.de/entity/Q6480940	Poynting'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 sets	https://portal.mardi4nfdi.de/entity/Q6480943	Lebesgue covering dimension
theorem	https://portal.mardi4nfdi.de/entity/Q6480946	Mazur–Ulam theorem
perfect graphs have neither odd holes nor odd antiholes	https://portal.mardi4nfdi.de/entity/Q6480947	strong perfect graph theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480949	Picard theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480951	Japanese theorem for cyclic quadrilaterals
theorem in combinatorial game theory that every impartial game position is equivalent to a position in the game of nim	https://portal.mardi4nfdi.de/entity/Q6480952	Sprague–Grundy theorem
theorem stating that a sufficiently large odd integer is the sum of three primes	https://portal.mardi4nfdi.de/entity/Q6480955	Vinogradov's theorem
mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6480956	Grauert–Riemenschneider vanishing theorem
https://portal.mardi4nfdi.de/entity/Q6480957	John ellipsoid
https://portal.mardi4nfdi.de/entity/Q6480958	2-factor theorem
https://portal.mardi4nfdi.de/entity/Q6480959	Arrow-Lind principle
rigidity theorem in mathematics	https://portal.mardi4nfdi.de/entity/Q6480960	Alexandrov's uniqueness theorem
equivalence of distributive lattices and set families	https://portal.mardi4nfdi.de/entity/Q6480961	Birkhoff's representation theorem
how well a certain kind of real number can be approximated by another kind	https://portal.mardi4nfdi.de/entity/Q6480964	Davenport–Schmidt theorem
https://portal.mardi4nfdi.de/entity/Q6480966	Godunov's theorem
Field in algebra	https://portal.mardi4nfdi.de/entity/Q6480969	Golod–Shafarevich theorem
mathematischer Lehrsatz	https://portal.mardi4nfdi.de/entity/Q6480970	Grushko theorem
https://portal.mardi4nfdi.de/entity/Q6480971	Higman's embedding theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480975	Appell–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 connected	https://portal.mardi4nfdi.de/entity/Q6480977	Zariski's connectedness theorem
characterizes when a topological space is metrizable	https://portal.mardi4nfdi.de/entity/Q6480978	Bing metrization theorem
allowing a portfolio optimization problem to be separated into smaller problems	https://portal.mardi4nfdi.de/entity/Q6480979	Mutual fund separation theorem
https://portal.mardi4nfdi.de/entity/Q6480980	Fixed-point theorems in infinite-dimensional spaces
https://portal.mardi4nfdi.de/entity/Q6480981	Jurkat–Richert theorem
mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6480982	Jacobson 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 two	https://portal.mardi4nfdi.de/entity/Q6480984	Kaplansky's theorem on quadratic forms
https://portal.mardi4nfdi.de/entity/Q6480985	intersection theorem
Version without the smooth manifolds involved to carry a complex structure	https://portal.mardi4nfdi.de/entity/Q6480986	Riemann–Roch theorem for smooth manifolds
theorem results in maximum power transfer, and not maximum efficiency	https://portal.mardi4nfdi.de/entity/Q6480987	maximum power transfer theorem
https://portal.mardi4nfdi.de/entity/Q6480988	theta divisor
lattice gauge theorem concerning chirality of fermions	https://portal.mardi4nfdi.de/entity/Q6480990	Nielsen-Ninomiya theorem
Chacterizes closed, orientable, connected 3-manifold via Dehn surgery on 3-spheres	https://portal.mardi4nfdi.de/entity/Q6480994	Lickorish–Wallace theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480996	Mercer's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6480998	Hjelmslev's theorem
theorem about prime factorization of a number	https://portal.mardi4nfdi.de/entity/Q6480999	fundamental theorem of arithmetic
in algebra, expression of an ideal as the intersection of ideals of a specific type	https://portal.mardi4nfdi.de/entity/Q6481003	primary decomposition
theorem	https://portal.mardi4nfdi.de/entity/Q6481004	Wolstenholme's theorem
relates the line segments created by two intersecting secants and the associated circle	https://portal.mardi4nfdi.de/entity/Q6481005	intersecting 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 2	https://portal.mardi4nfdi.de/entity/Q6481006	Brauer–Suzuki theorem
theorem about consecutive powers	https://portal.mardi4nfdi.de/entity/Q6481012	Catalan's conjecture
theorem about the complexity of computable functions	https://portal.mardi4nfdi.de/entity/Q6481014	Blum'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 copies	https://portal.mardi4nfdi.de/entity/Q6481017	quantum 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 state	https://portal.mardi4nfdi.de/entity/Q6481021	no-cloning theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481023	Riemann series theorem
theorem of matrix algebra of invariance properties under basis transformations	https://portal.mardi4nfdi.de/entity/Q6481026	Sylvester's law of inertia
theorem	https://portal.mardi4nfdi.de/entity/Q6481030	Kutta–Joukowski theorem
theorem that tells the maximum rate at which information can be transmitted	https://portal.mardi4nfdi.de/entity/Q6481033	Shannon–Hartley theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481034	Doob's martingale convergence theorems
theorem	https://portal.mardi4nfdi.de/entity/Q6481036	sₘₙ theorem
theorem of 2D geometry	https://portal.mardi4nfdi.de/entity/Q6481037	Poncelet'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 increases	https://portal.mardi4nfdi.de/entity/Q6481038	Berry–Esseen theorem
One of several theorems in different areas of mathematics	https://portal.mardi4nfdi.de/entity/Q6481041	Schur's theorem
theorem in quantum mechanics that energy levels with half-integer spin are degenerate	https://portal.mardi4nfdi.de/entity/Q6481042	Kramers theorem
geometrical theorem of triangles	https://portal.mardi4nfdi.de/entity/Q6481044	Routh's theorem
theorem in group theory	https://portal.mardi4nfdi.de/entity/Q6481046	Cayley's theorem
decomposition of periodic functions into sums of simpler sinusoidal forms	https://portal.mardi4nfdi.de/entity/Q6481056	Fourier series
theorem	https://portal.mardi4nfdi.de/entity/Q6481074	rational root theorem
equality of areas of alternating sectors of a disk with equal angles through any interior point	https://portal.mardi4nfdi.de/entity/Q6481076	pizza theorem
lemma stating that a module homomorphism between two simple modules over the same ring is either an isomorphism or identically zero	https://portal.mardi4nfdi.de/entity/Q6481079	Schur's lemma
theorem in quantum mechanics	https://portal.mardi4nfdi.de/entity/Q6481080	Byers–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 topology	https://portal.mardi4nfdi.de/entity/Q6481085	closed subgroup theorem
theorem characterizing the even perfect numbers	https://portal.mardi4nfdi.de/entity/Q6481086	Euclid–Euler theorem
theorem describing the probability of an event based on prior knowledge of conditions that might be related to the event	https://portal.mardi4nfdi.de/entity/Q6481094	Bayes' theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481095	Fubini's theorem on differentiation
assignment of colors to elements of a graph subject to certain constraints	https://portal.mardi4nfdi.de/entity/Q6481100	graph coloring
statement in mathematics	https://portal.mardi4nfdi.de/entity/Q6481104	four color theorem
convergence in distribution of binomial to normal distribution	https://portal.mardi4nfdi.de/entity/Q6481107	De Moivre–Laplace theorem
Satz über Seitenlängen und Diagonalen im Viereck	https://portal.mardi4nfdi.de/entity/Q6481108	Euler's quadrilateral theorem
mathematics theorem	https://portal.mardi4nfdi.de/entity/Q6481110	Fermat's little theorem
convex regular polyhedra with the same number of faces at each vertex	https://portal.mardi4nfdi.de/entity/Q6481121	Platonic solid
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481122	Holditch's theorem
on stationary points between two equal values of a real differentiable function	https://portal.mardi4nfdi.de/entity/Q6481125	Rolle's theorem
on the existence of a tangent to an arc parallel to the line through its endpoints	https://portal.mardi4nfdi.de/entity/Q6481126	mean value theorem
theorem in computability theory	https://portal.mardi4nfdi.de/entity/Q6481128	Rice's theorem
The midpoints of the sides of an arbitrary quadrilateral form a parallelogram	https://portal.mardi4nfdi.de/entity/Q6481131	Varignon's theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481141	Grothendieck–Hirzebruch–Riemann–Roch theorem
key theorem in probability theory	https://portal.mardi4nfdi.de/entity/Q6481151	central limit theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481157	de Moivre's formula
the Diophantine equation 2ⁿ−7=𝑥²	https://portal.mardi4nfdi.de/entity/Q6481161	Ramanujan–Nagell equation
theorem	https://portal.mardi4nfdi.de/entity/Q6481162	Lebesgue's decomposition theorem
reduction of first-order mathematical logic to propositional logic	https://portal.mardi4nfdi.de/entity/Q6481168	Herbrand's theorem
on the number of words of a given length generated by an unambiguous context-free grammar	https://portal.mardi4nfdi.de/entity/Q6481169	Chomsky–Schützenberger enumeration theorem
Theorem in computability theory	https://portal.mardi4nfdi.de/entity/Q6481171	Kleene's recursion theorem
two quadratic forms over a number field are equivalent iff they are equivalent locally	https://portal.mardi4nfdi.de/entity/Q6481174	Hasse–Minkowski theorem
theorem for solving simultaneous congruences	https://portal.mardi4nfdi.de/entity/Q6481175	Chinese remainder theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481177	Menelaus' theorem
generalization of Fermat's little theorem	https://portal.mardi4nfdi.de/entity/Q6481179	Euler's theorem
Concept in topology	https://portal.mardi4nfdi.de/entity/Q6481180	h-cobordism
matrix decomposition	https://portal.mardi4nfdi.de/entity/Q6481183	eigendecomposition of a matrix
theorem	https://portal.mardi4nfdi.de/entity/Q6481187	Wigner–Eckart theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481189	Mergelyan's theorem
result in probability theory	https://portal.mardi4nfdi.de/entity/Q6481190	Lé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 point	https://portal.mardi4nfdi.de/entity/Q6481192	removable singularity
https://portal.mardi4nfdi.de/entity/Q6481194	Thomsen's theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481195	Hölder's theorem
a result in group theory that is often useful in taking account of symmetry when counting mathematical objects	https://portal.mardi4nfdi.de/entity/Q6481197	Burnside's theorem
mathematical problem	https://portal.mardi4nfdi.de/entity/Q6481199	art gallery problem
fundamental theorem in mathematical logic	https://portal.mardi4nfdi.de/entity/Q6481205	Gödel's completeness theorem
theorem that a wide class of logical systems cannot be both consistent and complete	https://portal.mardi4nfdi.de/entity/Q6481207	Gödel's incompleteness theorems
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481208	Hilbert's theorem
describes a property of the cevians of a triangle intersecting in a common point	https://portal.mardi4nfdi.de/entity/Q6481211	Reuschle's theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481212	Hilbert–Schmidt theorem
A martingale's expected value at a stopping time equals its initial expected value	https://portal.mardi4nfdi.de/entity/Q6481214	optional stopping theorem
theorem on plane algebraic curves	https://portal.mardi4nfdi.de/entity/Q6481216	Cramer's theorem
theorem stating that every finite-dimensional Lie algebra over a field is a Lie algebra of square matrices	https://portal.mardi4nfdi.de/entity/Q6481219	Ado's theorem
polynomial equation of degree four	https://portal.mardi4nfdi.de/entity/Q6481224	quartic equation
a polynomial equation in a single variable where the highest exponent of the variable is 3.	https://portal.mardi4nfdi.de/entity/Q6481225	cubic equation
theory of stochastic processes	https://portal.mardi4nfdi.de/entity/Q6481228	Karhunen–Loève theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481231	Löb's theorem
conjecture in mathematics linked to the repartition of prime numbers	https://portal.mardi4nfdi.de/entity/Q6481233	Riemann hypothesis
duality that relates homology and cohomology groups for oriented closed manifolds	https://portal.mardi4nfdi.de/entity/Q6481240	Poincaré duality
Non algebraically closed field whose extension by sqrt(–1) is algebraically closed	https://portal.mardi4nfdi.de/entity/Q6481244	real 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/Q6481254	Rouché–Capelli theorem
Israeli mathematician	https://portal.mardi4nfdi.de/entity/Q6481264	Zlil Sela
cardinality of the set of real numbers	https://portal.mardi4nfdi.de/entity/Q6481272	cardinality of the continuum
hypothesis that no set has a cardinality between that of the integers and that of the real numbers	https://portal.mardi4nfdi.de/entity/Q6481277	continuum hypothesis
a surface birationally equivalent to the projective plane ; rational variety of dimension two	https://portal.mardi4nfdi.de/entity/Q6481279	rational surface
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481281	primitive element theorem
theorem that, for a Riemannian manifold, geodesic completeness is equivalent to completeness as a metric space	https://portal.mardi4nfdi.de/entity/Q6481283	Hopf–Rinow theorem
theorem in harmonic analysis	https://portal.mardi4nfdi.de/entity/Q6481284	Plancherel theorem
theorem representing a solvable Lie algebra as an algebra of upper triangular matrices; generalized by Lie–Kolchin theorem	https://portal.mardi4nfdi.de/entity/Q6481285	Lie'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 sphere	https://portal.mardi4nfdi.de/entity/Q6481286	uniformization theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481290	Hartman–Grobman theorem
a field in which every sum of two squares is a square	https://portal.mardi4nfdi.de/entity/Q6481291	Pythagorean field
theorem	https://portal.mardi4nfdi.de/entity/Q6481295	Ceva's theorem
result on the incircle and nine-point circle of a triangle and the three excircles	https://portal.mardi4nfdi.de/entity/Q6481299	Feuerbach point
the sum of the first n cubes, which equals the square of the nth triangular number	https://portal.mardi4nfdi.de/entity/Q6481302	squared triangular number
theorem about metric spaces	https://portal.mardi4nfdi.de/entity/Q6481307	Banach fixed-point theorem
Simplified gravity models for objects inside or outside a spherically symmetrical body	https://portal.mardi4nfdi.de/entity/Q6481308	Shell theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481309	Bauer–Fike theorem
only geometric congruences fix unit lengths	https://portal.mardi4nfdi.de/entity/Q6481311	Beckman–Quarles theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481312	Banach–Mazur theorem
a result on the combinatorics of block designs	https://portal.mardi4nfdi.de/entity/Q6481316	Bruck–Ryser–Chowla theorem
geometric theorem related to tetrahedra	https://portal.mardi4nfdi.de/entity/Q6481318	Commandino's theorem
theorem on normal random variables	https://portal.mardi4nfdi.de/entity/Q6481320	Cramér's theorem
mathematic theorem	https://portal.mardi4nfdi.de/entity/Q6481322	Easton's theorem
Relates three different kinds of weak compactness in a Banach space	https://portal.mardi4nfdi.de/entity/Q6481324	Eberlein–Šmulian theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481326	Gelfand–Mazur theorem
mathematics theorem in functional analysis	https://portal.mardi4nfdi.de/entity/Q6481328	Gelfand–Naimark theorem
theorem of computing the number of spanning trees in a graph	https://portal.mardi4nfdi.de/entity/Q6481330	Kirchhoff's theorem
bounds the order of the group of automorphisms of a compact Riemann surface of genus g > 1	https://portal.mardi4nfdi.de/entity/Q6481331	Hurwitz's automorphisms theorem
theorem about initial conditions that insure the convergence of Newton's method	https://portal.mardi4nfdi.de/entity/Q6481334	Kantorovich theorem
mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6481338	Krull–Schmidt theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481339	Malgrange–Ehrenpreis theorem
named after Samuel König	https://portal.mardi4nfdi.de/entity/Q6481341	König's theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481343	Sperner's theorem
theorem in group theory	https://portal.mardi4nfdi.de/entity/Q6481344	Schur–Zassenhaus theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481345	Tennenbaum's theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481346	Vantieghems theorem
mathematical rule	https://portal.mardi4nfdi.de/entity/Q6481348	Sharkovskii's theorem
theorem about right triangles	https://portal.mardi4nfdi.de/entity/Q6481349	geometric mean theorem
mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6481351	Casorati–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/Q6481354	Bertrand's ballot theorem
theorem that a graph in which every two nonadjacent vertices have high degree sum must have a Hamiltonian cycle	https://portal.mardi4nfdi.de/entity/Q6481358	Ore's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481360	Poincaré recurrence theorem
relates the four line segments created by two intersecting chords within a circle	https://portal.mardi4nfdi.de/entity/Q6481362	intersecting chords theorem
relates line segments created by a secant with a tangent line	https://portal.mardi4nfdi.de/entity/Q6481363	tangent-secant theorem
A sufficient condition for a polynomial to be unfactorable	https://portal.mardi4nfdi.de/entity/Q6481365	Cohn's irreducibility criterion
explicitly describes the universal enveloping algebra of a Lie algebra	https://portal.mardi4nfdi.de/entity/Q6481368	Poincaré–Birkhoff–Witt theorem
Mathematical theorem in real analysis	https://portal.mardi4nfdi.de/entity/Q6481369	Lebesgue differentiation theorem
theorem in Boolean algebra	https://portal.mardi4nfdi.de/entity/Q6481371	Shannon's expansion
theorem	https://portal.mardi4nfdi.de/entity/Q6481372	Caristi fixed-point theorem
algorithm for computing greatest common divisors	https://portal.mardi4nfdi.de/entity/Q6481378	Euclidean 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-sphere	https://portal.mardi4nfdi.de/entity/Q6481379	sphere theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481380	Looman–Menchoff theorem
theorem in geometry	https://portal.mardi4nfdi.de/entity/Q6481385	Pitot theorem
extension of independent vectors to bases	https://portal.mardi4nfdi.de/entity/Q6481387	Steinitz exchange lemma
limit on data transfer rate	https://portal.mardi4nfdi.de/entity/Q6481389	Noisy-channel coding theorem
mathematical theorem on finite linear groups	https://portal.mardi4nfdi.de/entity/Q6481396	Jordan–Schur theorem
theorem that the zeros of a linear recurrence relation mostly form a regularly repeating pattern	https://portal.mardi4nfdi.de/entity/Q6481397	Skolem–Mahler–Lech theorem
used in the summation of divergent series	https://portal.mardi4nfdi.de/entity/Q6481403	Abelian and tauberian theorems
https://portal.mardi4nfdi.de/entity/Q6481405	Thue equation
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481407	Lindström's theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481408	Going up and going down
gives a homomorphism from homotopy groups to homology groups	https://portal.mardi4nfdi.de/entity/Q6481409	Hurewicz theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481415	Faltings' theorem
Data compression theory	https://portal.mardi4nfdi.de/entity/Q6481416	Shannon's source coding theorem
theorem in electrical circuit analysis	https://portal.mardi4nfdi.de/entity/Q6481419	Thévenin's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481420	Monotone class theorem
mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6481422	Clausius theorem
theorem in geometry about three circles through triples of points on the vertices and sides of a triangle	https://portal.mardi4nfdi.de/entity/Q6481424	Miquel's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481425	intermediate value theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481429	Riesz–Thorin theorem
theorem on convex hulls	https://portal.mardi4nfdi.de/entity/Q6481431	Carathéodory's theorem
an argument showing that classification is not really possible without some sort of bias	https://portal.mardi4nfdi.de/entity/Q6481434	ugly duckling theorem
theorem in mathematics and economics	https://portal.mardi4nfdi.de/entity/Q6481435	envelope theorem
in additive number theory, a way to measure how dense a sequence of numbers is	https://portal.mardi4nfdi.de/entity/Q6481440	Schnirelmann density
theorem	https://portal.mardi4nfdi.de/entity/Q6481443	Poincaré–Bendixson theorem
Establish relationships between homology and cohomology theories	https://portal.mardi4nfdi.de/entity/Q6481446	universal coefficient theorem
type of differential equation in mathematics	https://portal.mardi4nfdi.de/entity/Q6481449	Liénard equation
one of three theorems in geometry proved by French mathematician Victor Thébault	https://portal.mardi4nfdi.de/entity/Q6481450	Thébault's theorem
theorem that multivariate functions can be written using univariate functions and summing	https://portal.mardi4nfdi.de/entity/Q6481453	Kolmogorov–Arnold representation theorem
theorem giving general conditions under which positive-degree sheaf cohomology groups vanish	https://portal.mardi4nfdi.de/entity/Q6481459	Kodaira vanishing theorem
mathematical discipline	https://portal.mardi4nfdi.de/entity/Q6481462	Jackson network
decomposition of an algebraic structure	https://portal.mardi4nfdi.de/entity/Q6481464	composition series
https://portal.mardi4nfdi.de/entity/Q6481465	Browder–Minty theorem
mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6481466	Arakelyan's theorem
allows one to estimate the permanent of a binary matrix via its row or column sums	https://portal.mardi4nfdi.de/entity/Q6481477	Bregman–Minc inequality
theorem	https://portal.mardi4nfdi.de/entity/Q6481480	Heine–Borel theorem
failure of some angles to add up to the expected amount of 360° or 180°, when such angles in the plane would	https://portal.mardi4nfdi.de/entity/Q6481487	defect
decomposition theorem of Beilinson, Bernstein and Deligne or BBD decomposition theorem is a set of results concerning the cohomology of algebraic varieties	https://portal.mardi4nfdi.de/entity/Q6481488	decomposition theorem
probability theorem	https://portal.mardi4nfdi.de/entity/Q6481489	Ionescu-Tulcea theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481491	Cartan–Dieudonné theorem
stating that any finite alternative division ring is necessarily a finite field, named after Emil Artin and Max Zorn	https://portal.mardi4nfdi.de/entity/Q6481494	Artin–Zorn theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481498	equipartition theorem
It asserts that a consistent and stable numerical method is convergent	https://portal.mardi4nfdi.de/entity/Q6481501	Lax 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 reals	https://portal.mardi4nfdi.de/entity/Q6481503	Vitali set
Mathematical function	https://portal.mardi4nfdi.de/entity/Q6481507	outer measure
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481509	Wold's theorem
https://portal.mardi4nfdi.de/entity/Q6481510	Taylor–Proudman theorem
geometry theorem relating to triangles	https://portal.mardi4nfdi.de/entity/Q6481511	hinge theorem
theorem stating that a closed curve divides the plane into two regions	https://portal.mardi4nfdi.de/entity/Q6481515	Jordan curve theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481518	Bing metrization theorem
theorem extending pre-measures to measures	https://portal.mardi4nfdi.de/entity/Q6481521	Carathé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 iteration	https://portal.mardi4nfdi.de/entity/Q6481527	structured program theorem
theorem that under suitable conditions the Fourier transform of a convolution of two signals is the pointwise product of their Fourier transforms	https://portal.mardi4nfdi.de/entity/Q6481529	convolution theorem
Theorem in complex analysis named after André Bloch	https://portal.mardi4nfdi.de/entity/Q6481532	Bloch's theorem
algebraic expansion of powers of a binomial	https://portal.mardi4nfdi.de/entity/Q6481536	binomial theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481539	Abel's binomial theorem
Regular polygon that can be constructed with compass and straightedge	https://portal.mardi4nfdi.de/entity/Q6481541	constructible 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 zero	https://portal.mardi4nfdi.de/entity/Q6481542	Furry's theorem
mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6481545	Linnik's theorem
path in a graph that visits each vertex exactly once	https://portal.mardi4nfdi.de/entity/Q6481549	Hamiltonian path
American physicist	https://portal.mardi4nfdi.de/entity/Q6481557	Richard H. Price
theorem in complex analysis	https://portal.mardi4nfdi.de/entity/Q6481560	Bohr–Mollerup theorem
necessary and sufficient condition for a number to be prime	https://portal.mardi4nfdi.de/entity/Q6481564	Wilson's theorem
states precisely which quadratic imaginary number fields admit unique factorisation	https://portal.mardi4nfdi.de/entity/Q6481566	Stark–Heegner theorem
theorem on the number of colors needed for graphs embedded on higher genus surfaces	https://portal.mardi4nfdi.de/entity/Q6481569	Ringel–Youngs theorem
theorem in graph theory	https://portal.mardi4nfdi.de/entity/Q6481571	perfect graph theorem
theorem in strong gravitational lensing stating that the number of multiple images produced by a bounded transparent lens must be odd	https://portal.mardi4nfdi.de/entity/Q6481573	odd number theorem
https://portal.mardi4nfdi.de/entity/Q6481577	Lovelock's Theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481578	addition theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481579	pentagonal number theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481581	arrival theorem
https://portal.mardi4nfdi.de/entity/Q6481583	Glivenko's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481585	Mordell–Weil theorem
on ratios of line segments formed when 2 intersecting lines are cut by a pair of parallels	https://portal.mardi4nfdi.de/entity/Q6481587	intercept theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481591	Thales' theorem
https://portal.mardi4nfdi.de/entity/Q6481592	Schneider–Lang theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481598	gradient theorem
operation of the elements of a group as transformations or automorphisms (mathematics)	https://portal.mardi4nfdi.de/entity/Q6481604	group action
commutative ring, named after Irvin Cohen and Francis Sowerby Macaulay (1862-1937)	https://portal.mardi4nfdi.de/entity/Q6481608	Cohen–Macaulay ring
Tiling puzzle	https://portal.mardi4nfdi.de/entity/Q6481611	Mutilated chessboard problem
on all absolute values of rational numbers	https://portal.mardi4nfdi.de/entity/Q6481613	Ostrowski's theorem
theorem that the intersections of the 3 pairs of external tangent lines to 3 circles are collinear	https://portal.mardi4nfdi.de/entity/Q6481615	Monge's theorem
Concept in graph theory	https://portal.mardi4nfdi.de/entity/Q6481616	Equitable coloring
https://portal.mardi4nfdi.de/entity/Q6481617	Ankeny–Artin–Chowla congruence
Theorem on the number of sum-free sets contained in 1,...,N	https://portal.mardi4nfdi.de/entity/Q6481619	Cameron–Erdős conjecture
https://portal.mardi4nfdi.de/entity/Q6481620	Herzog–Schönheim conjecture
smooth manifold equipped with a smooth linear complex structure on each tangent space	https://portal.mardi4nfdi.de/entity/Q6481626	almost complex manifold
which characterizes the automorphisms of simple rings	https://portal.mardi4nfdi.de/entity/Q6481627	Skolem–Noether theorem
Theorem in computability theory	https://portal.mardi4nfdi.de/entity/Q6481628	Post's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481631	rank–nullity theorem
https://portal.mardi4nfdi.de/entity/Q6481633	Hardy–Littlewood maximal function
https://portal.mardi4nfdi.de/entity/Q6481634	Sahlqvist formula
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481635	Goldstine theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481637	Le Cam's theorem
the study of the properties of a graph in relationship to matrices associated with the graph	https://portal.mardi4nfdi.de/entity/Q6481639	spectral graph theory
Mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481640	Kirchberger's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481641	Abel's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481650	Green's theorem
mathematical theorem concerning the graph-theoretic structure of three-dimensional polyhedra and higher-dimensional polytopes	https://portal.mardi4nfdi.de/entity/Q6481653	Balinski's theorem
about the boundedness of a complex analytic function	https://portal.mardi4nfdi.de/entity/Q6481654	Borel–Carathéodory theorem
https://portal.mardi4nfdi.de/entity/Q6481655	Vitali covering lemma
a property of infinite series	https://portal.mardi4nfdi.de/entity/Q6481660	absolute convergence
in functional analysis, a Hilbert space	https://portal.mardi4nfdi.de/entity/Q6481663	reproducing kernel Hilbert space
Result that no ranked-choice system is spoilerproof	https://portal.mardi4nfdi.de/entity/Q6481668	Arrow's impossibility theorem
generalization of the fundamental theorem in vector calculus	https://portal.mardi4nfdi.de/entity/Q6481674	divergence theorem
Wikimedia disambiguation page	https://portal.mardi4nfdi.de/entity/Q6481680	Chasles' theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481681	Bondy's theorem
determinant of large Toeplitz matrices	https://portal.mardi4nfdi.de/entity/Q6481682	Szegő limit theorems
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481683	Hasse's theorem on elliptic curves
algebraic surface defined by a single quaternary cubic polynomial which is homogeneous of degree 3	https://portal.mardi4nfdi.de/entity/Q6481684	cubic surface
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481685	AF+BG theorem
On the existence of zeros of homogeneous polynomials over the p-adic numbers	https://portal.mardi4nfdi.de/entity/Q6481686	Ax–Kochen theorem
An infinite set of points in R2 with mutual integer distances must be a straight line	https://portal.mardi4nfdi.de/entity/Q6481689	Erdős–Anning theorem
theorem in the mathematical field of differential geometry	https://portal.mardi4nfdi.de/entity/Q6481691	Euler's theorem
a correspondence between finite abelian extensions and generalized ideal class groups	https://portal.mardi4nfdi.de/entity/Q6481692	Takagi existence theorem
theorem in mathematics, named after the Soviet mathematician Andrey Nikolaevich Kolmogorov	https://portal.mardi4nfdi.de/entity/Q6481693	Kolmogorov extension theorem
mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6481694	Excision theorem
formula used in graph theory	https://portal.mardi4nfdi.de/entity/Q6481695	BEST 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/Q6481696	Balian–Low theorem
lower bound for absolute value of linear combinations of logarithms of algebraic numbers	https://portal.mardi4nfdi.de/entity/Q6481698	Baker's theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481699	Beck's theorem
mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6481700	Bernstein's theorem on monotone functions
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481701	Beurling–Lax theorem
statement about the representability of zero by odd degree forms	https://portal.mardi4nfdi.de/entity/Q6481702	Birch's theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481704	Cauchy's theorem
On representing a given context-free language in terms of two simpler languages	https://portal.mardi4nfdi.de/entity/Q6481707	Chomsky–Schützenberger representation theorem
Relates areas of three parallelograms attached to three sides of an arbitrary triangle	https://portal.mardi4nfdi.de/entity/Q6481710	Pappus' area theorem
theorem on coloring infinite graphs	https://portal.mardi4nfdi.de/entity/Q6481712	De Bruijn–Erdős theorem
incidence geometry theorem	https://portal.mardi4nfdi.de/entity/Q6481713	De Bruijn–Erdős theorem
Statement in probability theory	https://portal.mardi4nfdi.de/entity/Q6481715	Donsker's theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481716	F. and M. Riesz theorem
three-dimensional smooth curves with small total curvature must be unknotted	https://portal.mardi4nfdi.de/entity/Q6481717	Fary–Milnor theorem
On the approximate structure of sets whose sumset is small	https://portal.mardi4nfdi.de/entity/Q6481718	Freiman's theorem
each semi-simple algebraic group is geometrically reductive	https://portal.mardi4nfdi.de/entity/Q6481721	Haboush's theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481723	Gromov's theorem on groups of polynomial growth
a result on cyclotomic fields, characterising those with a normal integral basis	https://portal.mardi4nfdi.de/entity/Q6481725	Hilbert–Speiser theorem
How many ways that a positive integer can be represented as the sum of 4 squares	https://portal.mardi4nfdi.de/entity/Q6481728	Jacobi's four-square theorem
well-quasi-ordering of finite trees	https://portal.mardi4nfdi.de/entity/Q6481730	Kruskal's tree theorem
a theorem about the numbers of faces of different dimensions in an abstract simplicial complex	https://portal.mardi4nfdi.de/entity/Q6481732	Kruskal–Katona theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481733	Lax–Wendroff theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481735	Lie–Kolchin theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481737	Mahler's theorem
One can't dissect a square into an odd number of triangles of equal area	https://portal.mardi4nfdi.de/entity/Q6481739	Monsky's theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481742	Müntz–Szász theorem
theorem that describes rational torsion points on elliptic curves over the integers	https://portal.mardi4nfdi.de/entity/Q6481743	Nagell–Lutz theorem
mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6481746	Robertson–Seymour theorem
On the divisibility of solutions to Fermat's Last Theorem for prime exponent	https://portal.mardi4nfdi.de/entity/Q6481748	Sophie Germain's theorem
mathematical theorem in real analysis	https://portal.mardi4nfdi.de/entity/Q6481750	Steinhaus theorem
Relates the curvature of a Riemannian manifold to its topology	https://portal.mardi4nfdi.de/entity/Q6481751	Synge's theorem
theorem in homotopy theory	https://portal.mardi4nfdi.de/entity/Q6481753	Whitehead theorem
theorem in mathematical group theory	https://portal.mardi4nfdi.de/entity/Q6481756	correspondence 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 ideal	https://portal.mardi4nfdi.de/entity/Q6481757	principal ideal theorem
all bases of a vector space have equally many elements	https://portal.mardi4nfdi.de/entity/Q6481759	dimension theorem for vector spaces
In cyclic extension of number fields, if k is a local norm everywhere, it is a global norm	https://portal.mardi4nfdi.de/entity/Q6481760	Hasse norm theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481761	Non-squeezing theorem
on closed convex subsets in Hilbert space	https://portal.mardi4nfdi.de/entity/Q6481762	Hilbert projection theorem
theorem in mathematics, proved by Marcel Riesz	https://portal.mardi4nfdi.de/entity/Q6481764	M. Riesz extension theorem
theorem of analytic functions of several complex variables	https://portal.mardi4nfdi.de/entity/Q6481765	Weierstrass preparation theorem
theorem about admissible crystal symmetries	https://portal.mardi4nfdi.de/entity/Q6481766	Crystallographic restriction theorem
speeding up Turing machines by increasing tape symbol complexity	https://portal.mardi4nfdi.de/entity/Q6481767	linear speedup theorem
Determines the fractional part of Bernoulli numbers	https://portal.mardi4nfdi.de/entity/Q6481769	Von Staudt–Clausen theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481770	Kolmogorov's three-series theorem
mathematical theorem of dimensional theory	https://portal.mardi4nfdi.de/entity/Q6481773	Krull's principal ideal theorem
Conditions guaranteeing the transcendence of at least one of a set of exponentials	https://portal.mardi4nfdi.de/entity/Q6481774	Six exponentials theorem
relates to a chain of six circles together with a triangle	https://portal.mardi4nfdi.de/entity/Q6481775	Six circles theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481776	Hadamard three-line theorem
Theorem in order theory	https://portal.mardi4nfdi.de/entity/Q6481777	Kleene fixed-point theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481778	Wiener's tauberian theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481781	Pompeiu's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481783	adiabatic theorem
theorem on genetic algorithms	https://portal.mardi4nfdi.de/entity/Q6481786	Holland's schema theorem
relationship that two functors may have	https://portal.mardi4nfdi.de/entity/Q6481789	adjoint functor
important theorem about the structure of finitely generated linear groups	https://portal.mardi4nfdi.de/entity/Q6481791	Tits alternative
theorem on the circulation in fluids	https://portal.mardi4nfdi.de/entity/Q6481798	Kelvin's circulation theorem
theorem that the simply connected cross section with maximal torsional rigidity is a circle	https://portal.mardi4nfdi.de/entity/Q6481800	Saint-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/Q6481802	Sobolev inequality
necessary and sufficient condition for the existence of a prefix code for a given set of codeword lengths	https://portal.mardi4nfdi.de/entity/Q6481805	Kraft'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 subspaces	https://portal.mardi4nfdi.de/entity/Q6481808	Seifert–van Kampen theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481811	cut-elimination
theorem	https://portal.mardi4nfdi.de/entity/Q6481813	butterfly theorem
primality test for Proth numbers	https://portal.mardi4nfdi.de/entity/Q6481818	Proth's theorem
Theorem that Boolean satisfiability is NP-complete and therefore that NP-complete problems exist	https://portal.mardi4nfdi.de/entity/Q6481822	Cook–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 surface	https://portal.mardi4nfdi.de/entity/Q6481828	Riemann–Roch theorem
homeomorphism between plane domains	https://portal.mardi4nfdi.de/entity/Q6481829	Quasiconformal mapping
theorem that singularities of holomorphic functions of several variables cannot be compactly supported	https://portal.mardi4nfdi.de/entity/Q6481830	Hartogs' extension theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481833	Herbrand–Ribet theorem
theorem in number theory	https://portal.mardi4nfdi.de/entity/Q6481837	prime number theorem
in quantum physics, the theorem that locally causal hidden-variable theories cannot reproduce correlations predicted by quantum mechanics	https://portal.mardi4nfdi.de/entity/Q6481842	Bell's theorem
On prime divisors Fibonacci numbers and Lucas sequences, more generally	https://portal.mardi4nfdi.de/entity/Q6481844	Carmichael's theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481846	Tameness theorem
theorem in geometry	https://portal.mardi4nfdi.de/entity/Q6481848	Brunn–Minkowski theorem
mathematical theorem which provides criteria for the oscillation and non-oscillation of solutions of certain linear differential equations in the real domain	https://portal.mardi4nfdi.de/entity/Q6481850	Sturm–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 complexes	https://portal.mardi4nfdi.de/entity/Q6481852	simplicial approximation theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481853	Duggan–Schwartz theorem
On convergent subsequences of functions that are locally of bounded total variation	https://portal.mardi4nfdi.de/entity/Q6481854	Helly's selection theorem
Impossibility of efficient incentive systems	https://portal.mardi4nfdi.de/entity/Q6481855	Holmström's theorem
Integer multiples of many irrational mod 1 are uniformly distributed on the circle	https://portal.mardi4nfdi.de/entity/Q6481856	Equidistribution theorem
mathematical theorem on recovering a function from its Fourier transform	https://portal.mardi4nfdi.de/entity/Q6481857	Fourier inversion theorem
no-go theorem in quantum information theory, forbidding some communication during measurement of entangled states	https://portal.mardi4nfdi.de/entity/Q6481858	no-communication theorem
Theorem in hyperbolic geometry	https://portal.mardi4nfdi.de/entity/Q6481860	Mostow rigidity theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481862	Fredholm's theorem
power series with rational exponents	https://portal.mardi4nfdi.de/entity/Q6481864	Puiseux series
theorem	https://portal.mardi4nfdi.de/entity/Q6481865	Skorokhod's representation theorem
theorem on the approximation of a trigonometric sum by a shorter one	https://portal.mardi4nfdi.de/entity/Q6481866	ATS theorem
The only rational angles in first quadrant whose sine is rational are 0, 30 and 90 degrees	https://portal.mardi4nfdi.de/entity/Q6481867	Niven's theorem
mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6481870	soul theorem
key result in general relativity	https://portal.mardi4nfdi.de/entity/Q6481871	positive energy theorem
method for analysis of algorithms	https://portal.mardi4nfdi.de/entity/Q6481872	master theorem
on divide and conquer algorithms where the sub-problems have substantially different sizes	https://portal.mardi4nfdi.de/entity/Q6481874	Akra–Bazzi method
theorem	https://portal.mardi4nfdi.de/entity/Q6481877	Myhill–Nerode theorem
power series generalized to allow negative powers	https://portal.mardi4nfdi.de/entity/Q6481879	Laurent series
mathematical theorem using Laplace transform	https://portal.mardi4nfdi.de/entity/Q6481880	initial value theorem
relation between frequency- and time-domain behavior at large time	https://portal.mardi4nfdi.de/entity/Q6481881	Final value theorem
statistics theorem that ordinary least squares is the best linear unbiased estimator under certain conditions	https://portal.mardi4nfdi.de/entity/Q6481885	Gauss–Markov theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481887	Phragmé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 curve	https://portal.mardi4nfdi.de/entity/Q6481888	Carathéodory's theorem
theorem that exchangeable observations are conditionally independent relative to some latent variable	https://portal.mardi4nfdi.de/entity/Q6481890	de Finetti's theorem
result on the analytic continuation of lacunary power series	https://portal.mardi4nfdi.de/entity/Q6481891	Ostrowski–Hadamard gap theorem
theorem in game theory about whether rational agents can agree to disagree	https://portal.mardi4nfdi.de/entity/Q6481894	Aumann's agreement theorem
theorem of analytic continuations	https://portal.mardi4nfdi.de/entity/Q6481895	Edge-of-the-wedge theorem
mathematical theorem related to real and functional analysis	https://portal.mardi4nfdi.de/entity/Q6481896	Kirszbraun theorem
theorem providing conditions that guarantee that the max–min inequality is also an equality	https://portal.mardi4nfdi.de/entity/Q6481897	minimax theorem
variational characterization of eigenvalues of compact Hermitian operators on Hilbert spaces	https://portal.mardi4nfdi.de/entity/Q6481898	Min-max theorem
theorem in complex analysis	https://portal.mardi4nfdi.de/entity/Q6481899	Lindelöf's theorem
theorem about conformal mappings in Euclidean space	https://portal.mardi4nfdi.de/entity/Q6481900	Liouville's theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481901	Meusnier's theorem
Result about foliation of compact 3-manifolds	https://portal.mardi4nfdi.de/entity/Q6481903	Novikov's compact leaf theorem
cross section theorem	https://portal.mardi4nfdi.de/entity/Q6481904	Pomeranchuk's theorem
mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6481905	Routh–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 singularities	https://portal.mardi4nfdi.de/entity/Q6481906	Reeb sphere theorem
https://portal.mardi4nfdi.de/entity/Q6482443	Lukacs's proportion-sum independence theorem
https://portal.mardi4nfdi.de/entity/Q6482449	Lyapunov–Malkin theorem
https://portal.mardi4nfdi.de/entity/Q6482450	Lévy's modulus of continuity theorem
theorem that spacetime symmetries cannot mix with internal ones in a relativistic quantum field theory	https://portal.mardi4nfdi.de/entity/Q6482453	Coleman–Mandula theorem
result in enumerative combinatorics and linear algebra	https://portal.mardi4nfdi.de/entity/Q6482454	MacMahon Master theorem
mathematical theorem regarding decomposability of measure spaces	https://portal.mardi4nfdi.de/entity/Q6482455	Maharam's theorem
Characterizes sets of lattices that are bounded in a certain sense	https://portal.mardi4nfdi.de/entity/Q6482456	Mahler's compactness theorem
https://portal.mardi4nfdi.de/entity/Q6482457	Maier's theorem
theorem about smooth complex functions	https://portal.mardi4nfdi.de/entity/Q6482458	Malgrange preparation theorem
https://portal.mardi4nfdi.de/entity/Q6482459	Manin–Drinfeld theorem
mathematical theory by discovered by Józef Marcinkiewicz	https://portal.mardi4nfdi.de/entity/Q6482461	Marcinkiewicz interpolation theorem
Mathematical model of animal foraging behavior	https://portal.mardi4nfdi.de/entity/Q6482462	Marginal value theorem
geometrisches Hilfsmittel	https://portal.mardi4nfdi.de/entity/Q6482465	Dandelin spheres
https://portal.mardi4nfdi.de/entity/Q6482466	Markus–Yamabe conjecture
https://portal.mardi4nfdi.de/entity/Q6482467	Martingale representation theorem
A theorem about polynomials, analogous to the abc conjecture for integers	https://portal.mardi4nfdi.de/entity/Q6482468	Mason–Stothers theorem
https://portal.mardi4nfdi.de/entity/Q6482469	Maximal ergodic theorem
convex polyhedra	https://portal.mardi4nfdi.de/entity/Q6482470	maximum-margin hyperplane
concept in probability theory	https://portal.mardi4nfdi.de/entity/Q6482472	Maxwell's theorem
theorem in signal processing describing discrete samples of a continuous signal	https://portal.mardi4nfdi.de/entity/Q6482476	Nyquist–Shannon sampling theorem
https://portal.mardi4nfdi.de/entity/Q6482477	Mazur's control theorem
https://portal.mardi4nfdi.de/entity/Q6482478	Mellin inversion theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482479	Euler's rotation theorem
integral transform and linear operator	https://portal.mardi4nfdi.de/entity/Q6482481	Hilbert transform
theorem in combinatorics generalizing Ramsey's theorem to infinite trees	https://portal.mardi4nfdi.de/entity/Q6482482	Milliken's tree theorem
A generalization of both Ramsey's theorem and Hindman's theorem	https://portal.mardi4nfdi.de/entity/Q6482483	Milliken–Taylor theorem
Mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6482484	Milman–Pettis theorem
https://portal.mardi4nfdi.de/entity/Q6482485	Minkowski's second theorem
Existence theorem on the lattice packing of hyperspheres	https://portal.mardi4nfdi.de/entity/Q6482490	Minkowski–Hlawka theorem
Mathematical theorem (topological vector spaces)	https://portal.mardi4nfdi.de/entity/Q6482492	Minlos' theorem
https://portal.mardi4nfdi.de/entity/Q6482493	Moreau's theorem
Poker principle	https://portal.mardi4nfdi.de/entity/Q6482495	Morton's theorem
mathematical theorem about a sufficient condition for the existence of a saddle point	https://portal.mardi4nfdi.de/entity/Q6482497	mountain pass theorem
https://portal.mardi4nfdi.de/entity/Q6482498	moving equilibrium theorem
logical term meaning that an argument is valid and its premises are true	https://portal.mardi4nfdi.de/entity/Q6482506	soundness
Concerns the representation theory of an adelic reductive algebraic group.	https://portal.mardi4nfdi.de/entity/Q6482507	Multiplicity-one theorem
https://portal.mardi4nfdi.de/entity/Q6482508	Mumford vanishing theorem
theorem bounding the growth rate of analytic functions	https://portal.mardi4nfdi.de/entity/Q6482509	Nachbin's theorem
Generalization of the inverse function theorem	https://portal.mardi4nfdi.de/entity/Q6482511	Nash–Moser theorem
The area cut off by a secant of a smooth convex oval is not an algebraic function	https://portal.mardi4nfdi.de/entity/Q6482512	Newton's theorem about ovals
Theorem that finite subgroups of mapping class groups can act on surfaces	https://portal.mardi4nfdi.de/entity/Q6482513	Nielsen realization problem
https://portal.mardi4nfdi.de/entity/Q6482514	Nielsen theory
theorem of quantum information processing	https://portal.mardi4nfdi.de/entity/Q6482515	no-broadcast theorem
economic theorem	https://portal.mardi4nfdi.de/entity/Q6482519	No-trade theorem
https://portal.mardi4nfdi.de/entity/Q6482521	Kuhn's theorem
the theorem that, if a machine-learning algorithm does well on some problems, then it pays for that on all other problems	https://portal.mardi4nfdi.de/entity/Q6482522	no free lunch theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482524	Noether's theorem on rationality for surfaces
https://portal.mardi4nfdi.de/entity/Q6482525	Optical equivalence theorem
https://portal.mardi4nfdi.de/entity/Q6482526	Ornstein isomorphism theorem
https://portal.mardi4nfdi.de/entity/Q6482527	Oseledets theorem
imfo	https://portal.mardi4nfdi.de/entity/Q6482528	Paley construction
Shell calculation tool in nuclear physics	https://portal.mardi4nfdi.de/entity/Q6482529	Pandya theorem
A certain principle in Ramsey theory is true, but not provable in Peano arithmetic	https://portal.mardi4nfdi.de/entity/Q6482532	Paris–Harrington theorem
https://portal.mardi4nfdi.de/entity/Q6482533	Parovicenko space
https://portal.mardi4nfdi.de/entity/Q6482535	Parthasarathy's theorem
https://portal.mardi4nfdi.de/entity/Q6482536	Peeling theorem
https://portal.mardi4nfdi.de/entity/Q6482537	Peetre theorem
https://portal.mardi4nfdi.de/entity/Q6482539	Peixoto's theorem
mathematical problem	https://portal.mardi4nfdi.de/entity/Q6482540	Zero-sum problem
second theorem in extreme value theory	https://portal.mardi4nfdi.de/entity/Q6482542	Pickands–Balkema–De Haan theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482544	Toda's theorem
theorem in graph theory	https://portal.mardi4nfdi.de/entity/Q6482545	Planar separator theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482547	Chevalley–Warning theorem
probability theory	https://portal.mardi4nfdi.de/entity/Q6482548	Poisson limit theorem
bound on the number of incidences between points and lines in the plane	https://portal.mardi4nfdi.de/entity/Q6482550	Szemerédi–Trotter theorem
Mathematical theorem (differential topology)	https://portal.mardi4nfdi.de/entity/Q6482551	preimage theorem
the principal axes an ellipsoid or hyperboloid are perpendicular	https://portal.mardi4nfdi.de/entity/Q6482552	Principal axis theorem
relates tightness of measures to relative compactness in the space of probability measures	https://portal.mardi4nfdi.de/entity/Q6482554	Prokhorov's theorem
https://portal.mardi4nfdi.de/entity/Q6482555	Pseudorandom 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 levels	https://portal.mardi4nfdi.de/entity/Q6482556	quantum threshold theorem
https://portal.mardi4nfdi.de/entity/Q6482557	quasi-analytic function
https://portal.mardi4nfdi.de/entity/Q6482558	quaternary cubic
method to find local maxima and minima of differentiable functions on open sets	https://portal.mardi4nfdi.de/entity/Q6482559	Fermat's theorem
theorem in commutative algebra that every finitely generated projective module over a polynomial ring is free	https://portal.mardi4nfdi.de/entity/Q6482563	Quillen–Suslin theorem
property of finite-dimensional normed spaces, discovered by Vitali Milman	https://portal.mardi4nfdi.de/entity/Q6482565	quotient of subspace theorem
https://portal.mardi4nfdi.de/entity/Q6482567	Raikov's theorem
https://portal.mardi4nfdi.de/entity/Q6482568	Ramanujam vanishing theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482569	Hadamard three-circle theorem
https://portal.mardi4nfdi.de/entity/Q6482571	Ratner's theorems
restricts the possible topology of a negatively curved compact Riemannian manifold	https://portal.mardi4nfdi.de/entity/Q6482572	Rauch comparison theorem
theorem that any three objects in space can be simultaneously bisected by a plane	https://portal.mardi4nfdi.de/entity/Q6482573	ham sandwich theorem
One of several theorems linking the sizes of different ideal class groups	https://portal.mardi4nfdi.de/entity/Q6482574	Reflection theorem
https://portal.mardi4nfdi.de/entity/Q6482575	Regev's theorem
a homotopy consisting of immersions	https://portal.mardi4nfdi.de/entity/Q6482578	regular homotopy
https://portal.mardi4nfdi.de/entity/Q6482579	Reider's theorem
https://portal.mardi4nfdi.de/entity/Q6482581	Remmert–Stein theorem
aspect of probability theory	https://portal.mardi4nfdi.de/entity/Q6482582	reversed compound agent theorem
Result concerning properties of Galois representations associated with modular forms	https://portal.mardi4nfdi.de/entity/Q6482583	Ribet's theorem
generalization of Rice's theorem	https://portal.mardi4nfdi.de/entity/Q6482584	Rice–Shapiro theorem
construction of an angle equal to one third a given angle	https://portal.mardi4nfdi.de/entity/Q6482588	angle trisection
Mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6482589	Riemann–Roch theorem for surfaces
theorem in graph theory	https://portal.mardi4nfdi.de/entity/Q6482591	Robbins' theorem
https://portal.mardi4nfdi.de/entity/Q6482592	Robinson's joint consistency theorem
On the intersection form of a smooth, closed 4-manifold with a spin structure	https://portal.mardi4nfdi.de/entity/Q6482594	Rokhlin's theorem
idea of taking apart an object and constructing two identical copies of it	https://portal.mardi4nfdi.de/entity/Q6482595	Banach–Tarski paradox
theorem	https://portal.mardi4nfdi.de/entity/Q6482596	Bendixson–Dulac theorem
theorem describing a relation between the lengths of the sides and the length of a cevian in a triangle	https://portal.mardi4nfdi.de/entity/Q6482598	Stewart's theorem
https://portal.mardi4nfdi.de/entity/Q6482599	Saccheri–Legendre theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482600	Peano existence theorem
Theorem in differential geometry	https://portal.mardi4nfdi.de/entity/Q6482603	Gauss–Bonnet theorem
theorem about the theory of NP-completeness by Thomas J. Schaefer	https://portal.mardi4nfdi.de/entity/Q6482604	Schaefer's dichotomy theorem
https://portal.mardi4nfdi.de/entity/Q6482605	Schilder's theorem
order dimension of incidences in planar graphs	https://portal.mardi4nfdi.de/entity/Q6482606	Schnyder's theorem
Theorem	https://portal.mardi4nfdi.de/entity/Q6482607	Schreier refinement theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482608	Schröder–Bernstein theorem for measurable spaces
https://portal.mardi4nfdi.de/entity/Q6482609	Schröder–Bernstein theorems for operator algebras
https://portal.mardi4nfdi.de/entity/Q6482610	Schur orthogonality relations
tool used in probabilistic polynomial identity testing	https://portal.mardi4nfdi.de/entity/Q6482612	Schwartz–Zippel lemma
euclidean Wightman distributions	https://portal.mardi4nfdi.de/entity/Q6482615	Schwinger function
On the finite presentability of fundamental groups of 3-manifolds	https://portal.mardi4nfdi.de/entity/Q6482616	Scott core theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482621	Immerman–Szelepcsényi theorem
mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6482623	Serre–Swan theorem
theorem that every finite set of points in the plane, not all collinear, has a line through exactly two points	https://portal.mardi4nfdi.de/entity/Q6482624	Sylvester–Gallai theorem
mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6482625	shift theorem
https://portal.mardi4nfdi.de/entity/Q6482627	Siegel–Walfisz theorem
theorem that algebraic numbers do not have unusually accurate rational approximations	https://portal.mardi4nfdi.de/entity/Q6482629	Thue–Siegel–Roth theorem
Aussage aus dem mathematischen Teilgebiet der globalen Analysis	https://portal.mardi4nfdi.de/entity/Q6482630	Hirzebruch signature theorem
theorem of summability methods	https://portal.mardi4nfdi.de/entity/Q6482631	Silverman–Toeplitz theorem
theorem that states that the image of real function having real closed interval as domain, has maximum and minimum	https://portal.mardi4nfdi.de/entity/Q6482633	extreme 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/Q6482636	Sinkhorn's theorem
generalization of John von Neumann's minimax theorem	https://portal.mardi4nfdi.de/entity/Q6482638	Sion's minimax theorem
Bounded-error probabilistic polynomial time is contained in the polynomial time hierarchy	https://portal.mardi4nfdi.de/entity/Q6482639	Sipser–Lautemann theorem
https://portal.mardi4nfdi.de/entity/Q6482640	Siu's semicontinuity theorem
theorem of complex geometry	https://portal.mardi4nfdi.de/entity/Q6482643	Skoda–El Mir theorem
theorems that relate a suitable collection of random variables to a Wiener process	https://portal.mardi4nfdi.de/entity/Q6482644	Skorokhod's embedding theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482645	Atiyah–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 class	https://portal.mardi4nfdi.de/entity/Q6482648	Atiyah–Singer index theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482649	Lagrange's four-square theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482650	space hierarchy theorem
gives a necessary and sufficient condition for two matrices to be unitarily equivalent	https://portal.mardi4nfdi.de/entity/Q6482652	Specht's theorem
theorem by John R. Stallings	https://portal.mardi4nfdi.de/entity/Q6482653	Stallings theorem about ends of groups
https://portal.mardi4nfdi.de/entity/Q6482654	Stallings–Zeeman theorem
gives functional equation is satisfied by the generating function of any rational cone	https://portal.mardi4nfdi.de/entity/Q6482655	Stanley's reciprocity theorem
A mathematical result on arithmetic properties of binomial coefficients	https://portal.mardi4nfdi.de/entity/Q6482656	Star of David theorem
Characterizes graphs formed by edges and vertices of 3-dimensional convex polyhedra	https://portal.mardi4nfdi.de/entity/Q6482658	Steinitz's theorem
https://portal.mardi4nfdi.de/entity/Q6482660	Stein–Strömberg theorem
https://portal.mardi4nfdi.de/entity/Q6482661	Stinespring factorization theorem
https://portal.mardi4nfdi.de/entity/Q6482662	Stone duality
https://portal.mardi4nfdi.de/entity/Q6482663	Stone–von Neumann theorem
result in field theory about zeros of formal power series	https://portal.mardi4nfdi.de/entity/Q6482664	Strassmann's theorem
mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6482665	structure theorem for Gaussian measures
points of small height in projective space lie in a finite number of hyperplanes	https://portal.mardi4nfdi.de/entity/Q6482666	Subspace theorem
theorem on arithmetic progressions	https://portal.mardi4nfdi.de/entity/Q6482669	Van 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 theory	https://portal.mardi4nfdi.de/entity/Q6482671	supersymmetry nonrenormalization theorems
theorem	https://portal.mardi4nfdi.de/entity/Q6482672	Heine–Cantor theorem
For two suitable matrices, A and B, I+AB and I+BA have the same determinate	https://portal.mardi4nfdi.de/entity/Q6482673	Weinstein–Aronszajn identity
https://portal.mardi4nfdi.de/entity/Q6482674	symmetric hypergraph theorem
dilation theorem	https://portal.mardi4nfdi.de/entity/Q6482675	Sz.-Nagy's dilation theorem
mathematical problem	https://portal.mardi4nfdi.de/entity/Q6482678	Tarski's plank problem
theorem	https://portal.mardi4nfdi.de/entity/Q6482680	Artin–Wedderburn theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482681	Tijdeman's theorem
theorem that hyperplane sections of a smooth projective variety are generically smooth	https://portal.mardi4nfdi.de/entity/Q6482683	theorem 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 trivial	https://portal.mardi4nfdi.de/entity/Q6482687	theorem of the cube
theorem used in structural analysis	https://portal.mardi4nfdi.de/entity/Q6482688	theorem of three moments
theorem	https://portal.mardi4nfdi.de/entity/Q6482690	Hilbert's syzygy theorem
https://portal.mardi4nfdi.de/entity/Q6482691	Thompson transitivity theorem
https://portal.mardi4nfdi.de/entity/Q6482692	Thompson uniqueness theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482694	15 and 290 theorems
https://portal.mardi4nfdi.de/entity/Q6482696	Titchmarsh convolution theorem
method for constructing modular automorphisms of von Neumann algebras from the polar decomposition of a certain involution	https://portal.mardi4nfdi.de/entity/Q6482698	Tomita–Takesaki theory
theorem	https://portal.mardi4nfdi.de/entity/Q6482699	Tonelli's theorem
https://portal.mardi4nfdi.de/entity/Q6482701	Topkis's theorem
Triangle comparison theorem in Riemannian geometry	https://portal.mardi4nfdi.de/entity/Q6482703	Toponogov's theorem
describes when a compact Riemann surface is determined by its Jacobian variety	https://portal.mardi4nfdi.de/entity/Q6482705	Torelli 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 degree	https://portal.mardi4nfdi.de/entity/Q6482706	torsion conjecture
theorem	https://portal.mardi4nfdi.de/entity/Q6482707	Blaschke selection theorem
mathematical theorem in finite group theory	https://portal.mardi4nfdi.de/entity/Q6482708	trichotomy theorem
Relates spherical functions on a semisimple Lie group to certain holomorphic functions	https://portal.mardi4nfdi.de/entity/Q6482709	Trombi–Varadarajan theorem
https://portal.mardi4nfdi.de/entity/Q6482710	Trudinger's theorem
https://portal.mardi4nfdi.de/entity/Q6482711	Tsen's theorem
resolution to the congruent number problem	https://portal.mardi4nfdi.de/entity/Q6482712	Tunnell's theorem
inequality on additive arithmetic complex-valued function	https://portal.mardi4nfdi.de/entity/Q6482714	Turán–Kubilius inequality
theorem in discrete geometry	https://portal.mardi4nfdi.de/entity/Q6482715	Tverberg's theorem
result in abstract algebra	https://portal.mardi4nfdi.de/entity/Q6482724	structure theorem for finitely generated modules over a principal ideal domain
theorem that a feed-forward network with a single hidden layer can approximate continuous functions	https://portal.mardi4nfdi.de/entity/Q6482725	universal approximation theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482727	Baranyai's theorem
theorem in computational complexity theory	https://portal.mardi4nfdi.de/entity/Q6482730	Valiant–Vazirani theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482731	Basu's theorem
a sequence of integers formed by rounding down the integer multiples of a positive irrational number	https://portal.mardi4nfdi.de/entity/Q6482734	Beatty sequence
On the homology of continuous maps between compact metric spaces	https://portal.mardi4nfdi.de/entity/Q6482735	Vietoris–Begle mapping theorem
https://portal.mardi4nfdi.de/entity/Q6482736	Vitali–Hahn–Saks theorem
https://portal.mardi4nfdi.de/entity/Q6482737	Von Neumann's theorem
https://portal.mardi4nfdi.de/entity/Q6482739	Betti's theorem
characterization theorem in graph theory of planar graphs	https://portal.mardi4nfdi.de/entity/Q6482740	Wagner's theorem
https://portal.mardi4nfdi.de/entity/Q6482742	Walter theorem
https://portal.mardi4nfdi.de/entity/Q6482744	Weber's theorem
constraints on possible particle properties	https://portal.mardi4nfdi.de/entity/Q6482747	Weinberg–Witten theorem
partial converse of Taylor's theorem	https://portal.mardi4nfdi.de/entity/Q6482748	Whitney extension theorem
Tauberian theorem introduced by Shikao Ikehara (1931).	https://portal.mardi4nfdi.de/entity/Q6482751	Wiener–Ikehara theorem
https://portal.mardi4nfdi.de/entity/Q6482752	Wijsman convergence
mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6482757	Wilkie's theorem
basic result in the algebraic theory of quadratic forms, on extending isometries	https://portal.mardi4nfdi.de/entity/Q6482758	Witt's theorem
theorem in group theory; generalization of Brauer–Suzuki theorem	https://portal.mardi4nfdi.de/entity/Q6482759	Z* theorem
mathematical theorem proven by George Glauberman	https://portal.mardi4nfdi.de/entity/Q6482760	ZJ theorem
Mathematical theorem (real analysis)	https://portal.mardi4nfdi.de/entity/Q6482762	Zahorski theorem
https://portal.mardi4nfdi.de/entity/Q6482764	Zarankiewicz problem
theorem of algebraic geometry and commutative algebra	https://portal.mardi4nfdi.de/entity/Q6482765	Zariski's main theorem
On primes dividing the difference of nth powers of coprime integers, but not powers < n	https://portal.mardi4nfdi.de/entity/Q6482767	Zsigmondy's theorem
mathematical theorem related to fractions	https://portal.mardi4nfdi.de/entity/Q6482770	Śleszyński–Pringsheim theorem
mathematical problem	https://portal.mardi4nfdi.de/entity/Q6482773	Basel problem
mathematical theory	https://portal.mardi4nfdi.de/entity/Q6482262	Grunsky's theorem
A local-global result for when an element in a number field is an nth power	https://portal.mardi4nfdi.de/entity/Q6482263	Grunwald–Wang theorem
every triangle-free planar graph is 3-colorable	https://portal.mardi4nfdi.de/entity/Q6482266	Grötzsch's theorem
https://portal.mardi4nfdi.de/entity/Q6482267	Alspach's conjecture
https://portal.mardi4nfdi.de/entity/Q6482268	Hadwiger's theorem
description of linearly ordered groups	https://portal.mardi4nfdi.de/entity/Q6482269	Hahn embedding theorem
partition result about finite products of infinite trees	https://portal.mardi4nfdi.de/entity/Q6482270	Halpern–Läuchli theorem
https://portal.mardi4nfdi.de/entity/Q6482272	Hammersley–Clifford theorem
https://portal.mardi4nfdi.de/entity/Q6482273	Hardy–Littlewood tauberian theorem
theorem in number theory	https://portal.mardi4nfdi.de/entity/Q6482274	Hardy–Ramanujan theorem
https://portal.mardi4nfdi.de/entity/Q6482275	Harish-Chandra's regularity theorem
number of connected components an algebraic curve can have	https://portal.mardi4nfdi.de/entity/Q6482276	Harnack's curve theorem
https://portal.mardi4nfdi.de/entity/Q6482277	Hartogs–Rosenthal theorem
curve whose image is dense within an open region of the plane	https://portal.mardi4nfdi.de/entity/Q6482281	space-filling curve
On umps of the upper numbering filtration of the Galois group of a finite Galois extension	https://portal.mardi4nfdi.de/entity/Q6482282	Hasse–Arf theorem
special point on an algebraic curve	https://portal.mardi4nfdi.de/entity/Q6482284	Heegner point
relations between the coefficients and the roots of a polynomial	https://portal.mardi4nfdi.de/entity/Q6482286	Vieta's formulas
Satz der Maßtheorie, einem Teilgebiet der Mathematik, zur Verbindung der Konvergenz von Maßen und Verteilungsfunktionen	https://portal.mardi4nfdi.de/entity/Q6482287	Helly–Bray theorem
https://portal.mardi4nfdi.de/entity/Q6482288	Helmholtz theorem
theorem that truth in the standard model of a formal system cannot be defined within the system	https://portal.mardi4nfdi.de/entity/Q6482290	Tarski's undefinability theorem
in number theory, concerning irreducible polynomials	https://portal.mardi4nfdi.de/entity/Q6482291	Hilbert's irreducibility theorem
it states that time rate of change of density of points in phase space along a flow line is zero	https://portal.mardi4nfdi.de/entity/Q6482293	Liouville's theorem
theorem in complex analysis that nonconstant entire functions are unbounded	https://portal.mardi4nfdi.de/entity/Q6482296	Liouville's theorem
physical law that differentiable symmetries correspond to conservation laws	https://portal.mardi4nfdi.de/entity/Q6482297	Noether's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482300	Rao–Blackwell theorem
theorem that the set of the critical values of a smooth function has measure zero	https://portal.mardi4nfdi.de/entity/Q6482303	Sard'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 symmetries	https://portal.mardi4nfdi.de/entity/Q6482304	Haag–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 mechanics	https://portal.mardi4nfdi.de/entity/Q6482306	Kolmogorov–Arnold–Moser theorem
necklace splitting problem	https://portal.mardi4nfdi.de/entity/Q6482307	Hobby–Rice theorem
https://portal.mardi4nfdi.de/entity/Q6482309	Hodge index theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482310	Koebe 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 orthogonal	https://portal.mardi4nfdi.de/entity/Q6482311	van Aubel's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482313	Dini's theorem
https://portal.mardi4nfdi.de/entity/Q6482314	Identity theorem for Riemann surfaces
theorem used to justify the appearance of chi-squared distributions in ANOVA	https://portal.mardi4nfdi.de/entity/Q6482316	Cochran's theorem
https://portal.mardi4nfdi.de/entity/Q6482317	increment theorem
partially-unsolved problem in mathematics	https://portal.mardi4nfdi.de/entity/Q6482318	Invariant subspace problem
an invariant cord in one of two intersecting circles based on any point in the other	https://portal.mardi4nfdi.de/entity/Q6482319	Constant chord theorem
theorem in optimization theory	https://portal.mardi4nfdi.de/entity/Q6482322	Max-flow min-cut theorem
https://portal.mardi4nfdi.de/entity/Q6482323	Isomorphism extension theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482325	Knaster–Tarski theorem
certain parallelograms occurring in a gnomon have areas of equal size	https://portal.mardi4nfdi.de/entity/Q6482326	Theorem of the gnomon
theorem used to extend Galois theory to field extensions that need not be separable	https://portal.mardi4nfdi.de/entity/Q6482327	Jacobson–Bourbaki theorem
theorem that deterministic ordinal electoral systems that choose a single winner are either dictatorial, binary choice, or susceptible to tactical voting	https://portal.mardi4nfdi.de/entity/Q6482330	Gibbard–Satterthwaite theorem
geometric inequality which sets a lower bound on the surface area of a set given its volume	https://portal.mardi4nfdi.de/entity/Q6482333	isoperimetric 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 polynomials	https://portal.mardi4nfdi.de/entity/Q6482338	multinomial theorem
On subsets of the integers from in which no member of the set is a multiple of any other	https://portal.mardi4nfdi.de/entity/Q6482340	Behrend'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 energy	https://portal.mardi4nfdi.de/entity/Q6482341	virial theorem
https://portal.mardi4nfdi.de/entity/Q6482342	Jordan's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482343	closed range theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482346	Bertrand's postulate
https://portal.mardi4nfdi.de/entity/Q6482347	Kachurovskii's theorem
https://portal.mardi4nfdi.de/entity/Q6482348	Kanamori–McAloon theorem
mathematical theorem in complexity theory	https://portal.mardi4nfdi.de/entity/Q6482349	Karp–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 triangle	https://portal.mardi4nfdi.de/entity/Q6482353	Napoleon's theorem
https://portal.mardi4nfdi.de/entity/Q6482354	Katz–Lang finiteness theorem
https://portal.mardi4nfdi.de/entity/Q6482355	Kawamata–Viehweg vanishing theorem
Result about crease patterns with a single vertex that may be folded to form a flat figure	https://portal.mardi4nfdi.de/entity/Q6482358	Kawasaki's theorem
criterion for vector stability in algebraic geometry	https://portal.mardi4nfdi.de/entity/Q6482361	Kempf–Ness theorem
https://portal.mardi4nfdi.de/entity/Q6482362	Kharitonov's theorem
https://portal.mardi4nfdi.de/entity/Q6482363	Lagrange reversion theorem
theorem in number theory	https://portal.mardi4nfdi.de/entity/Q6482364	Lagrange's theorem
Characterizes complete connected Riemannian manifolds of constant curvature	https://portal.mardi4nfdi.de/entity/Q6482366	Killing–Hopf theorem
Standard Model is IR finite	https://portal.mardi4nfdi.de/entity/Q6482367	Kinoshita-Lee-Nauenberg theorem
mathematical theorm	https://portal.mardi4nfdi.de/entity/Q6482369	Kneser's theorem
characterises non-singular projective varieties amongst compact Kähler manifolds	https://portal.mardi4nfdi.de/entity/Q6482370	Kodaira embedding theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482372	Krein–Milman theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482374	Riesz–Fischer theorem
https://portal.mardi4nfdi.de/entity/Q6482375	Krener's theorem
theorem in probability theory	https://portal.mardi4nfdi.de/entity/Q6482377	Slutsky's theorem
result on the topology of operators on an infinite-dimensional, complex Hilbert space	https://portal.mardi4nfdi.de/entity/Q6482378	Kuiper's theorem
mathematical theorem for algebraic structure of subgroups of free products	https://portal.mardi4nfdi.de/entity/Q6482379	Kurosh subgroup theorem
mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6482380	Kōmura's theorem
https://portal.mardi4nfdi.de/entity/Q6482381	L-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 one	https://portal.mardi4nfdi.de/entity/Q6482384	Pick's theorem
completes the Langlands program for general linear groups over algebraic function fields	https://portal.mardi4nfdi.de/entity/Q6482385	Lafforgue's theorem
Any monotonic integer-valued function partitions the positive integers into 2 subsets	https://portal.mardi4nfdi.de/entity/Q6482388	Lambek–Moser theorem
https://portal.mardi4nfdi.de/entity/Q6482390	Landau prime ideal theorem
theorem in mathematics	https://portal.mardi4nfdi.de/entity/Q6482396	modularity theorem
not-necessarily-associative commutative algebra over a field satisfiying the identity (𝑥𝑦)𝑥²=𝑥(𝑦𝑥²)	https://portal.mardi4nfdi.de/entity/Q6482400	Jordan algebra
orthogonal functions theorem	https://portal.mardi4nfdi.de/entity/Q6482401	Lauricella's theorem
class of theorems about possible Nash equilibrium payoff profiles in repeated games	https://portal.mardi4nfdi.de/entity/Q6482402	folk theorem
https://portal.mardi4nfdi.de/entity/Q6482403	Lee Hwa Chung theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482406	Norton's theorem
https://portal.mardi4nfdi.de/entity/Q6482410	Lee–Yang theorem
theorem that the inclusion between a projective variety and its hyperplane section induces isomorphisms of homology, cohomology or homotopy groups in low degrees	https://portal.mardi4nfdi.de/entity/Q6482413	Lefschetz hyperplane theorem
https://portal.mardi4nfdi.de/entity/Q6482414	Lefschetz 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 cohomology	https://portal.mardi4nfdi.de/entity/Q6482419	Leray's theorem
theorem that relates the homology of a fiber bundle with the homologies of its base and fiber	https://portal.mardi4nfdi.de/entity/Q6482420	Leray–Hirsch theorem
https://portal.mardi4nfdi.de/entity/Q6482421	Lerner symmetry theorem
a finite dimensional Lie algebra is a semidirect product of a normal solvable ideal and a semisimple subalgebra	https://portal.mardi4nfdi.de/entity/Q6482423	Levi decomposition theorem
theorem stating that, in a right Noetherian ring, every nil one-sided ideal is nilpotent	https://portal.mardi4nfdi.de/entity/Q6482424	Levitzky's theorem
https://portal.mardi4nfdi.de/entity/Q6482425	Lie–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 point	https://portal.mardi4nfdi.de/entity/Q6482426	Schauder 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 representations	https://portal.mardi4nfdi.de/entity/Q6482428	Maschke's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482431	Hilbert's basis theorem
theorem that a square matrix satisfies its own characteristic equation	https://portal.mardi4nfdi.de/entity/Q6482434	Cayley–Hamilton theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482435	Lefschetz fixed-point theorem
Equations of degree 5 or higher cannot be solved by radicals	https://portal.mardi4nfdi.de/entity/Q6482439	Abel–Ruffini theorem
mathematical problem	https://portal.mardi4nfdi.de/entity/Q6482441	Waring's problem
theorem	https://portal.mardi4nfdi.de/entity/Q6482775	Girsanov theorem
the theorem that complex contour integrals are simply the sums of residues of singularities contained within the contour	https://portal.mardi4nfdi.de/entity/Q6482780	residue theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482782	Cauchy's integral theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482786	Wallace–Bolyai–Gerwien theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482787	Theorem on friends and strangers
theorem that a distribution is integrable iff it arises from a regular foliation	https://portal.mardi4nfdi.de/entity/Q6482789	Frobenius theorem
theorem that two triangles are in perspective axially if and only if they are in perspective centrally	https://portal.mardi4nfdi.de/entity/Q6482792	Desargues' theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482793	Lebesgue's density theorem
theorem that the sum of the reciprocals of the twin primes converges	https://portal.mardi4nfdi.de/entity/Q6482796	Brun'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 travels	https://portal.mardi4nfdi.de/entity/Q6482800	Pappus's centroid theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482802	Erdős–Kac theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482804	Borsuk–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 point	https://portal.mardi4nfdi.de/entity/Q6482806	inverse 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 function	https://portal.mardi4nfdi.de/entity/Q6482807	implicit function theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482808	Kronecker's theorem
theorem transforming derivatives into combinatorics problems applied in quantum field theory	https://portal.mardi4nfdi.de/entity/Q6482811	Wick'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 points	https://portal.mardi4nfdi.de/entity/Q6482813	Pappus's hexagon theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482815	Viviani's theorem
mathematical equation, specifically a kind of Diophantine equation	https://portal.mardi4nfdi.de/entity/Q6482822	Pell's equation
need to sacrifice consistency or availability in the presence of network partitions	https://portal.mardi4nfdi.de/entity/Q6482827	CAP theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482828	Midy's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482830	de Branges's theorem
theorems describing elastic materials	https://portal.mardi4nfdi.de/entity/Q6482832	Castigliano's method
theorem	https://portal.mardi4nfdi.de/entity/Q6482833	Cauchy–Hadamard theorem
theorem that any spherically symmetric solution of the vacuum field equations must be static and asymptotically flat	https://portal.mardi4nfdi.de/entity/Q6482835	Birkhoff's theorem
theorem on extension of bounded linear functionals	https://portal.mardi4nfdi.de/entity/Q6482836	Hahn–Banach theorem
On when a smooth map between smooth manifolds is a locally trivial fibration	https://portal.mardi4nfdi.de/entity/Q6482838	Ehresmann's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482840	Rosser's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482841	Szpilrajn extension theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482842	Boolean prime ideal theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482844	Apollonius' theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482847	Bohr–Van Leeuwen theorem
theorem showing that maximum matching and minimum vertex cover are equivalent for bipartite graphs	https://portal.mardi4nfdi.de/entity/Q6482849	König's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482851	Pascal'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/Q6482853	H-theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482854	fluctuation theorem
branch of ordinary differential equations	https://portal.mardi4nfdi.de/entity/Q6482855	Floquet 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 parameter	https://portal.mardi4nfdi.de/entity/Q6482858	Hellmann–Feynman theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482859	Feit–Thompson theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482861	Morley's trisector theorem
theorem that an odd prime is a sum of two squares iff it is of the form 4𝑛+1	https://portal.mardi4nfdi.de/entity/Q6482863	Fermat's theorem on sums of two squares
arithmetic function related to the divisors of an integer	https://portal.mardi4nfdi.de/entity/Q6482868	divisor function
combinatorics theorem that any edge labeling of a sufficiently large complete graph contains monochromatic cliques	https://portal.mardi4nfdi.de/entity/Q6482870	Ramsey's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482873	Green–Tao theorem
theorem in general equilibrium economics about the excess demand curve	https://portal.mardi4nfdi.de/entity/Q6482877	Sonnenschein–Mantel–Debreu theorem
two segments that divide a triangle	https://portal.mardi4nfdi.de/entity/Q6482878	angle bisector theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482879	Riemann mapping theorem
theorem characterizing graph connectivity by disjoint paths	https://portal.mardi4nfdi.de/entity/Q6482881	Menger's theorem
theorem applying to Riemannian manifolds	https://portal.mardi4nfdi.de/entity/Q6482884	Myers's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482888	Bertrand–Diguet–Puiseux theorem
theorem that every continuous function on a compact Hausdorff space can be approximated by certain families of continuous functions	https://portal.mardi4nfdi.de/entity/Q6482890	Stone–Weierstrass theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482893	Schwarz–Ahlfors–Pick theorem
theorem that every finite division ring is a field	https://portal.mardi4nfdi.de/entity/Q6482896	Wedderburn's little theorem
Theorem that surjective continuous operators on Banach spaces are open maps	https://portal.mardi4nfdi.de/entity/Q6482897	open mapping theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482899	Kneser's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482902	Pasch's theorem
3D generalization of the Leibniz integral rule	https://portal.mardi4nfdi.de/entity/Q6482904	Reynolds transport theorem
theorem that problems solvable nondeterministically in space S may be solved deterministically in space O(S²)	https://portal.mardi4nfdi.de/entity/Q6482906	Savitch's theorem
geometrical construction based on extending the sides of a triangle	https://portal.mardi4nfdi.de/entity/Q6482908	Conway circle
https://portal.mardi4nfdi.de/entity/Q6482909	Erdős–Dushnik–Miller theorem
integer of the form 3 · 2ⁿ - 1 for non-negative n	https://portal.mardi4nfdi.de/entity/Q6482912	Thabit number
theorem in measure theory	https://portal.mardi4nfdi.de/entity/Q6482914	Cramér–Wold theorem
Theorem that holomorphic functions on complex domains are open maps	https://portal.mardi4nfdi.de/entity/Q6482915	open mapping theorem
theorem about harmonic functions	https://portal.mardi4nfdi.de/entity/Q6482917	Radó's theorem
https://portal.mardi4nfdi.de/entity/Q6482918	Stahl's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482919	Hille–Yosida theorem
theorem which establishes the transcendence of a large class of numbers	https://portal.mardi4nfdi.de/entity/Q6482922	Gelfond–Schneider theorem
theorem that sufficiently long sequences of numbers have long monotonic subsequences	https://portal.mardi4nfdi.de/entity/Q6482924	Erdős–Szekeres theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482927	Stolper–Samuelson theorem
mathematical theorem about eigenvalues	https://portal.mardi4nfdi.de/entity/Q6482929	Gershgorin circle theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482931	Helmholtz's theorems
theorem that every simple closed smooth curve in the plane has at least four points of locally extreme curvature	https://portal.mardi4nfdi.de/entity/Q6482933	four-vertex theorem
https://portal.mardi4nfdi.de/entity/Q6482934	Perpendicular axis theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482935	weak formulation
dimensional analysis theorem	https://portal.mardi4nfdi.de/entity/Q6482941	Buckingham π theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481908	Sazonov's theorem
Mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6481911	no-wandering-domain theorem
theorem relating unitary operators to one-parameter Lie groups	https://portal.mardi4nfdi.de/entity/Q6481912	Stone's theorem on one-parameter unitary groups
planar graphs have straight drawings	https://portal.mardi4nfdi.de/entity/Q6481915	Fáry's theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481916	Fatou's theorem
Mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6481917	Hardy's theorem
statement about cubic curves in the projective plane	https://portal.mardi4nfdi.de/entity/Q6481920	Cayley–Bacharach theorem
mathematical Sentence	https://portal.mardi4nfdi.de/entity/Q6481921	Monodromy theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481925	Ptolemy's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6481926	2π theorem
on the Euler characteristic of a holomorphic vector bundle on a compact complex manifold	https://portal.mardi4nfdi.de/entity/Q6481927	Hirzebruch–Riemann–Roch theorem
construction in algebraic geometry	https://portal.mardi4nfdi.de/entity/Q6481928	Abel–Jacobi map
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481931	Abhyankar–Moh theorem
Complete, full information, perfectly competitive markets are Pareto efficient	https://portal.mardi4nfdi.de/entity/Q6481932	fundamental theorems of welfare economics
theorem that generalizes showing that two homology theories are isomorphic	https://portal.mardi4nfdi.de/entity/Q6481938	Acyclic model
theorem about convergence in a finite-dimensional Euclidean space	https://portal.mardi4nfdi.de/entity/Q6481940	Bolzano–Weierstrass theorem
correlation-type inequality for four functions on a finite distributive lattice	https://portal.mardi4nfdi.de/entity/Q6481943	Ahlswede–Daykin inequality
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481945	Akhiezer's theorem
approximation for factorials	https://portal.mardi4nfdi.de/entity/Q6481948	Stirling's approximation
central simple algebras over algebraic number fields that split over completions are matrix algebras	https://portal.mardi4nfdi.de/entity/Q6481951	Albert–Brauer–Hasse–Noether theorem
per-unit costs favor high-grade goods	https://portal.mardi4nfdi.de/entity/Q6481955	Alchian–Allen effect
theorem	https://portal.mardi4nfdi.de/entity/Q6481957	quadratic 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 ε everywhere	https://portal.mardi4nfdi.de/entity/Q6481958	almost flat manifold
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481959	Alperin–Brauer–Gorenstein theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481960	Denjoy–Luzin theorem
states that the algebra of n by n matrices satisfies a certain identity of degree 2n	https://portal.mardi4nfdi.de/entity/Q6481963	Amitsur–Levitzki theorem
theorem in set theory	https://portal.mardi4nfdi.de/entity/Q6481965	Cantor's theorem
on when a set in the Euclidean plane can be contained inside a finite rectifiable curve	https://portal.mardi4nfdi.de/entity/Q6481966	Analyst's traveling salesman theorem
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481967	Analytic Fredholm theorem
On when a function on convex body K does not decrease if K is translated inwards	https://portal.mardi4nfdi.de/entity/Q6481968	Anderson'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/Q6481969	Andreotti–Frankel theorem
mathematical theory	https://portal.mardi4nfdi.de/entity/Q6481972	Arakelov theory
mathematischer Satz	https://portal.mardi4nfdi.de/entity/Q6481973	Area 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 Artin	https://portal.mardi4nfdi.de/entity/Q6481975	Artin approximation theorem
Theorem on constructible abelian sheaves over the spectrum of a ring of algebraic numbers	https://portal.mardi4nfdi.de/entity/Q6481977	Artin–Verdier duality
theorem in control theory	https://portal.mardi4nfdi.de/entity/Q6481982	Artstein's theorem
Mathematical result about equivariant K-theory in homotopy theory	https://portal.mardi4nfdi.de/entity/Q6481985	Atiyah–Segal completion theorem
https://portal.mardi4nfdi.de/entity/Q6481986	Atkinson's theorem
https://portal.mardi4nfdi.de/entity/Q6481987	Autonomous convergence theorem
construction in transcendental number theory	https://portal.mardi4nfdi.de/entity/Q6481988	auxiliary function
an injective polynomial function from an n-dim complex vector space to itself is bijective	https://portal.mardi4nfdi.de/entity/Q6481990	Ax–Grothendieck theorem
https://portal.mardi4nfdi.de/entity/Q6481991	Aztec diamond
theorem	https://portal.mardi4nfdi.de/entity/Q6481992	Babuška–Lax–Milgram theorem
https://portal.mardi4nfdi.de/entity/Q6481995	Baily–Borel compactification
Mathematischer Lehrsatz	https://portal.mardi4nfdi.de/entity/Q6481996	Banach–Stone theorem
https://portal.mardi4nfdi.de/entity/Q6481997	Bapat–Beg theorem
https://portal.mardi4nfdi.de/entity/Q6481998	Barwise compactness theorem
Relate the direct image and the pull-back of sheaves	https://portal.mardi4nfdi.de/entity/Q6481999	Base 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/Q6482003	infinite monkey theorem
Lets one glue 2 sheaves over an infinitesimal neighborhood of a point on an algebraic curve	https://portal.mardi4nfdi.de/entity/Q6482004	Beauville–Laszlo theorem
https://portal.mardi4nfdi.de/entity/Q6482005	Beck's monadicity theorem
Theorem in mathematics about unions of domains of holomorphy	https://portal.mardi4nfdi.de/entity/Q6482008	Behnke–Stein theorem
geodesic maps preserve the property of having constant curvature	https://portal.mardi4nfdi.de/entity/Q6482009	Beltrami's theorem
connects non-singular algebraic curves with compact Riemann surfaces	https://portal.mardi4nfdi.de/entity/Q6482011	Belyi's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482013	Fisher separation theorem
gives a lower bound on the volume of a Riemannian manifold	https://portal.mardi4nfdi.de/entity/Q6482014	Berger–Kazdan comparison theorem
in approximation theory, a converse to Jackson's theorem	https://portal.mardi4nfdi.de/entity/Q6482017	Bernstein's theorem
mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6482019	Solèr's theorem
a duality between the process of restricting and inducting in representation theory	https://portal.mardi4nfdi.de/entity/Q6482020	Frobenius reciprocity
On when a 3-manifold is homeomorphic to the 3-sphere	https://portal.mardi4nfdi.de/entity/Q6482021	Bing's recognition theorem
classifies holomorphic vector bundles over the complex projective line	https://portal.mardi4nfdi.de/entity/Q6482025	Birkhoff–Grothendieck theorem
https://portal.mardi4nfdi.de/entity/Q6482026	Bishop–Cannings theorem
result in electrical engineering	https://portal.mardi4nfdi.de/entity/Q6482027	Blondel's theorem
theorem of quantum field theory	https://portal.mardi4nfdi.de/entity/Q6482030	Bogoliubov–Parasyuk theorem
mathematical concept	https://portal.mardi4nfdi.de/entity/Q6482033	Bondareva–Shapley theorem
https://portal.mardi4nfdi.de/entity/Q6482034	Bonnet theorem
theorem in descriptive set theory	https://portal.mardi4nfdi.de/entity/Q6482035	Borel determinacy theorem
a fixed-point theorem in algebraic geometry	https://portal.mardi4nfdi.de/entity/Q6482036	Borel fixed-point theorem
A basic result in the representation theory of Lie groups	https://portal.mardi4nfdi.de/entity/Q6482038	Borel–Weil–Bott theorem
theorem on homotopy groups	https://portal.mardi4nfdi.de/entity/Q6482039	Bott periodicity theorem
https://portal.mardi4nfdi.de/entity/Q6482040	Bounded inverse theorem
https://portal.mardi4nfdi.de/entity/Q6482041	Bourbaki–Witt theorem
problem in geometric topology	https://portal.mardi4nfdi.de/entity/Q6482043	Schoenflies problem
https://portal.mardi4nfdi.de/entity/Q6482044	Branching theorem
A basic result in the branch of mathematics known as character theory	https://portal.mardi4nfdi.de/entity/Q6482045	Brauer's theorem on induced characters
Three results in in representation theory of finite groups	https://portal.mardi4nfdi.de/entity/Q6482046	Brauer's three main theorems
https://portal.mardi4nfdi.de/entity/Q6482047	Brauer–Nesbitt theorem
an asymptotic result on the behaviour of algebraic number fields	https://portal.mardi4nfdi.de/entity/Q6482049	Brauer–Siegel theorem
theorem characterizing one-dimensional unimodular projective groups over finite fields	https://portal.mardi4nfdi.de/entity/Q6482050	Brauer–Suzuki–Wall theorem
on distances from opposite corners to a point inside a rectangle	https://portal.mardi4nfdi.de/entity/Q6482053	British 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 pullbacks	https://portal.mardi4nfdi.de/entity/Q6482055	Brown's representability theorem
https://portal.mardi4nfdi.de/entity/Q6482056	Brun–Titchmarsh theorem
https://portal.mardi4nfdi.de/entity/Q6482057	Chowla–Mordell theorem
theorem in queueing theory	https://portal.mardi4nfdi.de/entity/Q6482058	Burke's theorem
https://portal.mardi4nfdi.de/entity/Q6482061	Busemann's theorem
https://portal.mardi4nfdi.de/entity/Q6482062	Bôcher's theorem
theorem that, under renormalisation flow of 2-dimensional quantum field theories, a quantity called C never increases	https://portal.mardi4nfdi.de/entity/Q6482067	C-theorem
theorem of measure theory	https://portal.mardi4nfdi.de/entity/Q6482068	Cameron–Martin theorem
generalization of Peano's existence theorem	https://portal.mardi4nfdi.de/entity/Q6482069	Carathéodory's existence theorem
https://portal.mardi4nfdi.de/entity/Q6482070	Carleson–Jacobs theorem
uniqueness theorem in complex analysis	https://portal.mardi4nfdi.de/entity/Q6482072	Carlson'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/Q6482075	Cartan's theorems A and B
result pertaining to division rings	https://portal.mardi4nfdi.de/entity/Q6482076	Cartan–Brauer–Hua theorem
On the structure of complete Riemannian manifolds of non-positive sectional curvature	https://portal.mardi4nfdi.de/entity/Q6482077	Cartan–Hadamard theorem
https://portal.mardi4nfdi.de/entity/Q6482078	Cartan–Kuranishi prolongation theorem
https://portal.mardi4nfdi.de/entity/Q6482080	Cartan–Kähler theorem
https://portal.mardi4nfdi.de/entity/Q6482088	Castelnuovo–de Franchis theorem
group theory	https://portal.mardi4nfdi.de/entity/Q6482090	Lagrange's theorem
in large domains, the first Dirichlet eigenvalue of the Laplace–Beltrami operator is small	https://portal.mardi4nfdi.de/entity/Q6482091	Cheng's eigenvalue comparison theorem
theorem in algebraic geometry	https://portal.mardi4nfdi.de/entity/Q6482094	Chevalley's structure theorem
https://portal.mardi4nfdi.de/entity/Q6482095	Chevalley–Shephard–Todd theorem
theorem giving a necessary and sufficient condition for a perfect matching to exist on a graph; generalization of Hall's marriage theorem	https://portal.mardi4nfdi.de/entity/Q6482097	Tutte theorem
Classification of completely positive maps	https://portal.mardi4nfdi.de/entity/Q6482098	Choi's theorem on completely positive maps
https://portal.mardi4nfdi.de/entity/Q6482099	Clapeyron's theorem
https://portal.mardi4nfdi.de/entity/Q6482100	Clark–Ocone theorem
theorem that, with two classes of exceptions, vertex-coloring a graph needs a number of colors at most equal to its maximum degree	https://portal.mardi4nfdi.de/entity/Q6482102	Brooks' theorem
https://portal.mardi4nfdi.de/entity/Q6482104	Clifford's circle theorems
https://portal.mardi4nfdi.de/entity/Q6482105	Clifford's theorem on special divisors
locality condition in quantum field theory	https://portal.mardi4nfdi.de/entity/Q6482106	Cluster decomposition theorem
theorem of expressive equivalence between relational languages	https://portal.mardi4nfdi.de/entity/Q6482108	Codd's theorem
structure theorem about complete local rings	https://portal.mardi4nfdi.de/entity/Q6482110	Cohen structure theorem
identifies the commutant of a specific von Neumann algebra acting on a Hilbert space	https://portal.mardi4nfdi.de/entity/Q6482111	Commutation theorem
Mathematical theorem (computational complexity theory)	https://portal.mardi4nfdi.de/entity/Q6482112	Compression theorem
theorem named after Charles C. Conley and Eduard Zehnder	https://portal.mardi4nfdi.de/entity/Q6482115	Conley–Zehnder theorem
https://portal.mardi4nfdi.de/entity/Q6482116	Conservativity theorem
probability theorem	https://portal.mardi4nfdi.de/entity/Q6482117	Continuous mapping theorem
https://portal.mardi4nfdi.de/entity/Q6482118	Convergence problem
Mathematical theorem (arithmetic combinatorics)	https://portal.mardi4nfdi.de/entity/Q6482119	corners theorem
mathematical theorem about the spectrum of the bounded holomorphic functions on the open unit disc	https://portal.mardi4nfdi.de/entity/Q6482120	Corona theorem
https://portal.mardi4nfdi.de/entity/Q6482122	Courcelle's theorem
mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6482123	Craig's theorem
Gleichung der statistischen Physik	https://portal.mardi4nfdi.de/entity/Q6482125	Crooks fluctuation theorem
geometric theorem	https://portal.mardi4nfdi.de/entity/Q6482126	Crossbar theorem
A mathematical characterization of cellular automata in terms of their symbolic dynamics	https://portal.mardi4nfdi.de/entity/Q6482130	Curtis–Hedlund–Lyndon theorem
in convex analysis, provides information about the derivatives of a certain type of function	https://portal.mardi4nfdi.de/entity/Q6482132	Danskin's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482133	Carathé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 fermions	https://portal.mardi4nfdi.de/entity/Q6482136	spin-statistics theorem
https://portal.mardi4nfdi.de/entity/Q6482137	Dawson–Gärtner theorem
mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6482138	De Bruijn's theorem
finiteness statements applying to compact Riemann surfaces	https://portal.mardi4nfdi.de/entity/Q6482139	De Franchis theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482140	time hierarchy theorem
https://portal.mardi4nfdi.de/entity/Q6482143	Dehn twist
Theorem in combinatorics on the extension of arrays to partial Latin squares	https://portal.mardi4nfdi.de/entity/Q6482146	Dinitz conjecture
irreducible unitary subrepresentation of the left regular representation of a locally compact group on square-integrable functions	https://portal.mardi4nfdi.de/entity/Q6482147	discrete series representation
theorem in measure theory	https://portal.mardi4nfdi.de/entity/Q6482148	Disintegration theorem
theorem that any hidden-variable theory describing quantum mechanics must be contextual	https://portal.mardi4nfdi.de/entity/Q6482153	Kochen–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 bicommutant	https://portal.mardi4nfdi.de/entity/Q6482154	von Neumann bicommutant theorem
On when a definite intersection form of a smooth 4-manifold is diagonalisable	https://portal.mardi4nfdi.de/entity/Q6482155	Donaldson's theorem
https://portal.mardi4nfdi.de/entity/Q6482156	Doob–Meyer decomposition theorem
https://portal.mardi4nfdi.de/entity/Q6482157	double-negation translation
theorem on existence and uniqueness of solutions to first-order equations with given initial conditions	https://portal.mardi4nfdi.de/entity/Q6482162	Picard–Lindelöf theorem
concept in probability theory	https://portal.mardi4nfdi.de/entity/Q6482163	Dudley's theorem
https://portal.mardi4nfdi.de/entity/Q6482164	Dunford–Schwartz theorem
Theorem about the constant term of certain Laurent polynomials	https://portal.mardi4nfdi.de/entity/Q6482165	Dyson conjecture
mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6482167	Edgeworth's limit theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482169	Montel'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 values	https://portal.mardi4nfdi.de/entity/Q6482172	Elitzur's theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482175	Hall's marriage theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482179	Banach–Alaoglu theorem
on rays from a point to a line, with equal inscribed circles between adjacent rays	https://portal.mardi4nfdi.de/entity/Q6482180	Equal incircles theorem
result in graph theory solving the graph realization problem	https://portal.mardi4nfdi.de/entity/Q6482182	Erdős–Gallai theorem
non-convex polygons can be made convex by flips	https://portal.mardi4nfdi.de/entity/Q6482184	Erdős–Nagy theorem
mathematical discipline of graph theory	https://portal.mardi4nfdi.de/entity/Q6482186	Erdős–Pósa theorem
theorem in extremal graph theory	https://portal.mardi4nfdi.de/entity/Q6482188	Erdős–Stone theorem
mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6482189	exterior angle theorem
mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6482190	Farrell–Markushevich theorem
theorem in measure theory	https://portal.mardi4nfdi.de/entity/Q6482191	Fatou–Lebesgue theorem
forestry equation	https://portal.mardi4nfdi.de/entity/Q6482192	Faustmann's formula
theorem	https://portal.mardi4nfdi.de/entity/Q6482193	Lagrange inversion theorem
https://portal.mardi4nfdi.de/entity/Q6482194	Fenchel's duality theorem
gives the average curvature of any closed convex plane curve	https://portal.mardi4nfdi.de/entity/Q6482195	Fenchel's theorem
mathematical theorem in convex analysis	https://portal.mardi4nfdi.de/entity/Q6482198	Fenchel–Moreau theorem
theorem	https://portal.mardi4nfdi.de/entity/Q6482200	Glivenko–Cantelli theorem
a result about Gaussian measures on Banach spaces	https://portal.mardi4nfdi.de/entity/Q6482201	Fernique's theorem
mathematics term	https://portal.mardi4nfdi.de/entity/Q6482202	Ferrero–Washington theorem
https://portal.mardi4nfdi.de/entity/Q6482203	Fieller's theorem
https://portal.mardi4nfdi.de/entity/Q6482208	Fisher–Tippett–Gnedenko theorem
https://portal.mardi4nfdi.de/entity/Q6482210	Fitting's theorem
https://portal.mardi4nfdi.de/entity/Q6482211	Five circles theorem
https://portal.mardi4nfdi.de/entity/Q6482212	Focal subgroup theorem
theorem in probability theory	https://portal.mardi4nfdi.de/entity/Q6482213	Foster's theorem
On convergent subsequences of regulated functions	https://portal.mardi4nfdi.de/entity/Q6482214	Fraňková–Helly selection theorem
branch of mathematics that studies dynamical systems	https://portal.mardi4nfdi.de/entity/Q6482217	ergodic theory
free object in the category of Lie algebras	https://portal.mardi4nfdi.de/entity/Q6482219	free Lie algebra
theorem in the large deviations theory of stochastic processes	https://portal.mardi4nfdi.de/entity/Q6482221	Freidlin–Wentzell theorem
https://portal.mardi4nfdi.de/entity/Q6482225	Friedlander–Iwaniec theorem
planar undirected graph with 2n+1 vertices and 3n edges	https://portal.mardi4nfdi.de/entity/Q6482232	friendship graph
1896 conjecture by Richard Dedekind regarding the determinant of a finite matrix	https://portal.mardi4nfdi.de/entity/Q6482233	Frobenius determinant theorem
Monotone map's discontinuities are countable	https://portal.mardi4nfdi.de/entity/Q6482234	Froda's theorem
https://portal.mardi4nfdi.de/entity/Q6482235	Fuchs's theorem
Theorem	https://portal.mardi4nfdi.de/entity/Q6482237	Fuglede's theorem
A theorem implying that no algorithm can optimally perform a task done by human s	https://portal.mardi4nfdi.de/entity/Q6482238	Full employment theorem
https://portal.mardi4nfdi.de/entity/Q6482239	Fulton–Hansen connectedness theorem
Necessary and sufficient conditions for a market to be arbitrage free and complete	https://portal.mardi4nfdi.de/entity/Q6482240	Fundamental theorem of asset pricing
theorem	https://portal.mardi4nfdi.de/entity/Q6482242	Berge's lemma
theorem concerning quantum field theory ground states	https://portal.mardi4nfdi.de/entity/Q6482243	Gell-Mann and Low theorem
https://portal.mardi4nfdi.de/entity/Q6482244	Geroch's splitting theorem
fundamental result in the theory of large deviations	https://portal.mardi4nfdi.de/entity/Q6482245	Cramér's theorem (large deviations)
On the number of partitions of an integer into parts not divisible by another integer	https://portal.mardi4nfdi.de/entity/Q6482246	Glaisher's theorem
theorem giving a justification of the Born rule in quantum mechanics	https://portal.mardi4nfdi.de/entity/Q6482247	Gleason's theorem
Result in the mathematics of string theory on a functor that quantizes bosonic strings	https://portal.mardi4nfdi.de/entity/Q6482248	Goddard–Thorn theorem
theorem in general relativity	https://portal.mardi4nfdi.de/entity/Q6482251	Goldberg–Sachs theorem
result in ring theory	https://portal.mardi4nfdi.de/entity/Q6482252	Goldie's theorem
Extension of Jackson's theorem from open queueing networks to closed queueing networks of exponential servers where customers cannot leave the network	https://portal.mardi4nfdi.de/entity/Q6482253	Gordon–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 computer	https://portal.mardi4nfdi.de/entity/Q6482255	Gottesman–Knill theorem
mathematical theorem	https://portal.mardi4nfdi.de/entity/Q6482256	graph structure theorem
on Hamiltonian cycles in planar graphs	https://portal.mardi4nfdi.de/entity/Q6482258	Grinberg's theorem
On when a set of compact Riemannian manifolds of a given dimension is relatively compact	https://portal.mardi4nfdi.de/entity/Q6482259	Gromov's compactness theorem
https://portal.mardi4nfdi.de/entity/Q6482260	Gromov's compactness theorem
https://portal.mardi4nfdi.de/entity/Q6482261	Grothendieck's connectedness 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

• https://www.wikidata.org/wiki/Wikidata:WikiProject_Mathematics/1000%2BTheorems

Persons involved

Katja Berči

Floris van Doorn