Frontier, page 20

The gaps in the graph. People and agents can take each item as work. To claim an item, open an issue in the content repository.

This copy of the site has no build data, so the lists give no evidence levels.

3066 statements with no proof; 222 open conjectures and problems. Showing up to 2851–3000 in each list.

Statements with no proof

No proof node in the graph proves these statements. A source can still support them.

Name	Tag	Kind	Evidence
Uniqueness of solutions given initial values	WREYNFJHH2	statement	none
Lebesgue's density theorem	WSVXYSNHNX	statement	none
Cartan's test for involutivity	WV4S47X6QC	statement	none
Cox–de Boor recursion	WVD069C7QF	statement	none
Riemann–Lebesgue lemma	WVKDC011KP	statement	none
Riesz–Fischer theorem	WVV4MFB2SE	statement	none
GAGA	WVZ5EZN9V2	statement	none
Fubini's theorem for series	WW53KG71KH	statement	none
Wang sequence	WWX8HCN260	statement	none
Koebe quarter theorem	WX0HMW4GT7	statement	none
Poisson integral for the half-space	WXFTF05MHK	statement	none
Yoneda Ext and extensions	WXRH0CYKYF	statement	none
Asymptotic stability of linear recurrences	WXV3ZNS2F9	statement	none
Mellin's inverse formula	X2H35BP974	statement	none
Calabi–Weil rigidity	X4DZR72B6N	statement	none
Tanh-sinh quadrature	X4EXEGM2BV	statement	none
Schur's lemma	X4M2FFKQJ6	statement	none
Mittag-Leffler's theorem	X4R2GY1F6J	statement	none
Colorful Carathéodory theorem	X5GS407VP8	statement	none
Milnor fibre is a bouquet of spheres	X5HMTTGB62	statement	none
Abel–Dini theorem	X629NF2CQS	statement	none
Additive Schwarz method	X68MFYW014	statement	none
Inner-outer factorization	X6ZQPAQF76	statement	none
Spectral theorem for bounded normal operators	X71XRPJR7D	statement	none
Robbins conjecture	X74S395RZD	statement	none
Artin's theorem on fixed fields	X7R15C00ET	statement	none
Bondy's theorem	X7S41PARF5	statement	none
Lie algebra of a compact group is reductive	X7T5D9SMT5	statement	none
Jensen inequality as a functional inequality	X84R2EWQJP	statement	none
Baker–Campbell–Hausdorff formula	X898DPBSY7	statement	none
Mayer–Vietoris sequence	X8BWXFGK53	statement	none
Stinespring dilation theorem	X8K0Z7484R	statement	none
Balancing domain decomposition	X8MCVW56QP	statement	none
Hilbert's tenth problem	X8TVJSVTD4	statement	none
Chebotarev's density theorem	X8VKW5Y1CZ	statement	none
Bangert–Franks theorem on closed geodesics on the sphere	X93AEE88PX	statement	none
F. and M. Riesz theorem	X9V1E3V145	statement	none
Gödel's incompleteness theorems	X9WYNYE29C	statement	none
Weyl's theorem on compact perturbations	X9XRGMDCQZ	statement	none
Cotlar–Stein lemma	XBJEDC18B1	statement	none
Lindelöf's theorem	XBM7J5R1VQ	statement	none
Gromoll–Meyer theorem on closed geodesics	XC8BRYJN93	statement	none
Fubini's theorem on differentiation	XDEJCKRVQ4	statement	none
Gauss–Laguerre quadrature	XE98WJB3FV	statement	none
Siegel–Walfisz theorem	XEPW251A97	statement	none
Filippov's existence theorem	XEX7QZV1BS	statement	none
Hadamard's two-constants theorem	XGBDVQQV0T	statement	none
Cartan–Kähler theorem	XGDJ4V44PD	statement	none
Stability conjecture	XGNX9R7Q0Y	statement	none
Noether's theorem	XHPDM5T2JG	statement	none
Skorokhod's embedding theorem	XHTYZ7ER4Z	statement	none
Beckman–Quarles theorem	XHWA2TEC7X	statement	none
Decay of Fourier coefficients and smoothness	XHXKMS1GXQ	statement	none
Gleason–Yamabe theorem	XJF5V9WHKZ	statement	none
Mellin inversion theorem	XJWC13NY9E	statement	none
Frobenius's theorem on Frobenius kernels	XK7H3YXBQT	statement	none
Pentagon identity	XM4NTS5BGG	statement	none
Theta transformation formula	XM695ZZ4FJ	statement	none
Hilbert's theorem on the hyperbolic plane	XM772FD0BS	statement	none
AKS primality test	XMHQCDWZW1	statement	none
Triangle removal lemma	XMS1QRAQZC	statement	none
Bounded gaps between primes	XMXFDWYYMD	statement	none
De la Vallée Poussin lower bound	XNPVW5Z126	statement	none
Nesbitt's inequality	XPBQEJNYJ6	statement	none
Fredholm's theorem	XQ8DYKW4SH	statement	none
Goodstein's theorem	XQMNJF241J	statement	none
Montessus de Ballore's theorem	XQQWP9ZPEW	statement	none
Hodge index theorem	XR0M3DFFMG	statement	none
Finiteness of associated primes	XR0WZJAM0R	statement	none
Schwarz reflection principle for harmonic functions	XRBD5BT2T9	statement	none
Cyclic term theorem	XS41Y1Q01M	statement	none
Hadamard's lemma	XT034AHK9E	statement	none
Jordan–Schur theorem	XT6EEXPD4P	statement	none
Kruskal's tree theorem	XVHKCX4F5Y	statement	none
Blaschke–Lebesgue theorem	XVNB6HV2Y1	statement	none
Bombieri–De Giorgi–Giusti theorem	XVSVNP3K9G	statement	none
Balian–Low theorem	XVVHKCYF2Z	statement	none
Landau's necessary density conditions for sampling	XWV6VS7BQM	statement	none
Poncelet's closure theorem	XWYXSRM5YS	statement	none
Kontsevich formality theorem	XXA9D45E0N	statement	none
Bôcher's theorem	XY81HRY5HP	statement	none
Classification of regular polytopes	XYCD53PB5K	statement	none
Generalized mean inequality	XZ1EXQPJ6S	statement	none
Erdős–Stone theorem	XZF9BFJFXB	statement	none
Fenchel–Moreau theorem	XZFYB2PBPD	statement	none
Tannery's theorem	Y0JH94QR80	statement	none
Rayleigh quotient iteration	Y119KHA4VG	statement	none
Carleson–Sjölin theorem	Y1E9SJC3Y0	statement	none
Symmetric successive over-relaxation	Y1G3NNJSQH	statement	none
Laguerre's method	Y277TCXZ9Z	statement	none
Singer's theorem	Y2DKZH3CCT	statement	none
Borg–Marchenko uniqueness theorem	Y2GYM93C1W	statement	none
Rao–Blackwell theorem	Y3TX4J41TP	statement	none
Fisher–Tippett–Gnedenko theorem	Y3Z99461HJ	statement	none
Serre's finiteness theorem	Y40ZRJJNH0	statement	none
Gauss multiplication formula	Y4759V8CY6	statement	none
Kirchberger's theorem	Y48R8EJQT8	statement	none
Sauer–Shelah lemma	Y4FQT5WPQJ	statement	none
Schur–Horn theorem	Y553MSYDAH	statement	none
Generic flatness	Y60D7BN1BN	statement	none
Girard's theorem	Y9DM9B0RA3	statement	none
Minkowski–Hlawka theorem	YANP1PHBQ3	statement	none
Euler's continued fraction formula	YB35R7F7RZ	statement	none
Sz.-Nagy's dilation theorem	YB7Q3EK0ND	statement	none
Grushko theorem	YB8V6TQDYE	statement	none
Böttcher's equation	YBBDYHBADD	statement	none
Sharkovskii's theorem	YBCZ9VY7SX	statement	none
Zariski's lemma	YBJ2VQHFDQ	statement	none
Balinski's theorem	YBNZWCG8AC	statement	none
Sierpiński's theorem on measurable midpoint convex functions	YBVSDT89T6	statement	none
Approximation by convolution with mollifiers	YBYE4TBNJV	statement	none
Artin–Schreier theorem on formally real fields	YDBXV8JMYE	statement	none
Amitsur–Levitzki theorem	YDH60KPTWT	statement	none
Going-down theorem	YE52MQ13MV	statement	none
Mazur–Orlicz theorem	YE5439NH1T	statement	none
Arnold's classification of simple singularities	YE5F548WMS	statement	none
Bieberbach theorems	YE87R5CDJY	statement	none
Sturm separation theorem	YEBPTXZ1FS	statement	none
Isomorphism theorem for measure algebras	YFAQGE2ATQ	statement	none
Hilbert's Theorem 90	YFF8B5A0QG	statement	none
Birkhoff–Frink representation of algebraic closure systems	YFT50501A0	statement	none
Uniform boundedness principle	YG0042V8CJ	statement	none
Chebyshev–Markov–Stieltjes inequalities	YGJZCD37ZY	statement	none
Gromov's compactness theorem	YGSKZFTEX1	statement	none
A Dedekind UFD is a PID	YGV5S3MRD6	statement	none
Langlands classification	YHFP9HGBTT	statement	none
Automorphism group of a bounded domain is a Lie group	YHGS413E8B	statement	none
Doob decomposition theorem	YHSSQ67GDS	statement	none
Sphere packing in dimensions 8 and 24	YJ48S89BZA	statement	none
Wedderburn's theorem on simple Artinian rings	YJM07BT0KK	statement	none
Theorema Egregium	YKSA8SJ81V	statement	none
Rellich–Kondrachov theorem	YM3JZ34PME	statement	none
Multiplication theorem	YM68BCKBXC	statement	none
Bochner–Martinelli formula	YMHYAEJQ80	statement	none
Bochner's tube theorem	YMP12DXCSP	statement	none
Harnack's inequality	YNH832D50W	statement	none
Likelihood principle	YR5RAT9HWZ	statement	none
Nevanlinna parametrization of solutions	YRBT3ZHSV3	statement	none
Tarski's undefinability theorem	YRV6SYK2BY	statement	none
Three-term recurrence for orthogonal polynomials	YRYWCP9TYV	statement	none
Expansion in spherical harmonics	YTPE0GBKWW	statement	none
Mellin transform of a dilation	YV5VNM5ADP	statement	none
d'Alembert's formula	YVQRAPSF77	statement	none
Weierstrass–Enneper parameterization	YWV6J23AP6	statement	none
Smn theorem	YWX4FCFPAP	statement	none
Classification of covering spaces	YY277RBF8Z	statement	none
Laplace's integral for Legendre polynomials	YYQG5P32GX	statement	none
Morse index theorem for geodesics	YZ4268SK8G	statement	none
Lying over theorem	YZ97GKYY3P	statement	none
Sard–Smale theorem	Z0NPFYDVP2	statement	none

Open conjectures and problems

No node in the graph resolves these conjectures and problems.

None.