Frontier, page 11

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.

1916 statements with no proof; 92 open conjectures and problems. Showing up to 1501–1650 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
Thom's cobordism theorem	HM23BV561Z	statement	none
Kronecker's lemma	HNCY0067F1	statement	none
Hilbert–Serre theorem	HP56DJECMT	statement	none
Sperner's lemma	HQG3V5Z6MR	statement	none
Freedman's classification of simply connected 4-manifolds	HSD6FKCYRC	statement	none
Path lifting property	HSWWF35BEX	statement	none
Kronecker's approximation theorem	HVT4QVHRTF	statement	none
Erdős–Ginzburg–Ziv theorem	J00Z252GRE	statement	none
Tait conjectures	J0EVKMWT94	statement	none
Janson inequality	J3CT5D7FSZ	statement	none
Quasi-compactness of the spectrum	J4YW23MD6N	statement	none
Hilbert projection theorem	J5YNTHQMFX	statement	none
Sierpiński's theorem on non-atomic measures	J76687HP2E	statement	none
Mori–Nagata theorem	J8YYYP5CDN	statement	none
Prékopa–Leindler inequality	J9CJX9F42Y	statement	none
Schauder's theorem on adjoints of compact operators	J9TBJSV9ER	statement	none
Kojima–Schur theorem	JB8GQBVW6Q	statement	none
Riesz's subsequence theorem	JBWB5H8JZG	statement	none
Carathéodory's criterion	JDGQ135YK2	statement	none
Lomonosov's invariant subspace theorem	JEBP2FYZFM	statement	none
Spectral theory of compact operators	JEPDM5B5FC	statement	none
Catalan's conjecture	JH6Y2E1ZCN	statement	none
Eckart–Young theorem	JJT6GC055J	statement	none
Little's law	JN2YME6F4A	statement	none
Skorokhod's representation theorem	JPD7Q0P4F6	statement	none
Hölder's inequality	JQ9WXC729D	statement	none
Hewitt–Savage zero–one law	JTXNFQNQ4J	statement	none
Lindström–Gessel–Viennot lemma	JV24HVZPJ0	statement	none
Young's convolution inequality	JXDKJCBXJ8	statement	none
Jensen's inequality for integrals	JYRZ927BMQ	statement	none
Kontsevich quantization formula	JZEK70CH3G	statement	none
Calderón–Zygmund lemma	K1YKXVPVDG	statement	none
Goldstine theorem	K4S9G3AQBM	statement	none
Brauer–Fowler theorem	K5CQM8MYYG	statement	none
Reflection principle	K6R7GHB3VS	statement	none
de Rham theorem	K7Z2PQZ4WH	statement	none
Nagata–Smirnov metrization theorem	KB11T6389G	statement	none
Existence and uniqueness of Haar measure	KB792QTG4F	statement	none
Isoperimetric inequality	KBX8RBZ626	statement	none
Van Vleck's theorem	KCCFZTP3MM	statement	none
Sphere eversion	KCDT9Q3JGQ	statement	none
Jordan decomposition of a function of bounded variation	KDT3E0VE0K	statement	none
Freiman's theorem	KEPFYE6WYZ	statement	none
Differentiable dependence on parameters	KF06HRCM4N	statement	none
Lie–Trotter product formula	KH7EPKDCH3	statement	none
Routh–Hurwitz stability criterion	KJF8Y19BNV	statement	none
Alexander duality	KK05CSTM15	statement	none
Kuratowski embedding	KK0B7V8DCX	statement	none
Hermite–Minkowski theorem	KMVW45B0TT	statement	none
Wiener–Ikehara theorem	KQ57DC3AKM	statement	none
Regular value theorem	KQB7WTZ1TX	statement	none
Denjoy–Carleman theorem	KV0GW9K7JS	statement	none
Bloch's theorem	KW31KDX7TB	statement	none
Dimension theorem for local rings	KW3HY77V6D	statement	none
Stanley–Wilf conjecture	KWJS2QYJ1K	statement	none
Thom transversality theorem	KWNRS3RA09	statement	none
Toponogov's theorem	KX0B3AWD5H	statement	none
Spectral radius formula	KX2XY7S3X6	statement	none
Hadamard factorization theorem	KYSR7NHNFQ	statement	none
Borel's lemma	KZHNA19FSS	statement	none
Stark–Heegner theorem	KZTFH832H0	statement	none
Viète's formula	M0G4AASSG7	statement	none
Jordan–Hölder theorem for modules	M1ABX18FC4	statement	none
Inverse function theorem in Banach spaces	M218MWZ62X	statement	none
Rogers–Ramanujan identities	M24H4GJPPW	statement	none
Ax–Grothendieck theorem	M2XAN2HGZH	statement	none
Higher homotopy groups are abelian	M676G2V5KQ	statement	none
Fisher's inequality	M9XF82GGW8	statement	none
Duality of Lp spaces	MBF660WMYJ	statement	none
Grötzsch's theorem	MDHWF76S1Z	statement	none
Nested intervals theorem	MF56GK7QY2	statement	none
Strong perfect graph theorem	MFNNZQ484T	statement	none
Morse inequalities	MH7MEB0MRR	statement	none
Casus irreducibilis	MJ864PBRRJ	statement	none
Ekeland's variational principle	MJGPW5EVB3	statement	none
Galois group of a finite field extension	MP5C9T2EYG	statement	none
Pólya enumeration theorem	MPYQ39P01F	statement	none
Bounded inverse theorem	MR5FJXR348	statement	none
Baer's criterion	MR5HNV0Q07	statement	none
Doob's martingale convergence theorems	MRXBC4ZNRR	statement	none
Galois correspondence for coverings	MTWNAJMH1D	statement	none
Smith normal form	MV28Z5N9XX	statement	none
McShane–Whitney extension	MV7ADC2DEH	statement	none
Bockstein spectral sequence	MVHCYMKFY9	statement	none
Bernstein inequalities	MX6157RAVA	statement	none
Interchange of summation order	MZM1AFXY82	statement	none
Vitali–Hahn–Saks theorem	N0K0YWPQN6	statement	none
Hilbert's irreducibility theorem	N1V3YEYHNP	statement	none
Killing–Hopf theorem	N1WJR10WX0	statement	none
Cohen structure theorem	N3XH42KVV3	statement	none
Hardy–Littlewood Tauberian theorem	N42JDBT0VA	statement	none
Dedekind's lemma on independence of characters	N43G50YHG2	statement	none
Minkowski inequality	N4QZS912MT	statement	none
Thom isomorphism	N685RXHDZX	statement	none
Sunflower lemma	N6TH42TD7F	statement	none
Disintegration theorem	N8NXNCMSK5	statement	none
Brauer's main theorems	NB057FEAAE	statement	none
Osgood's lemma	NBFNXA2WFM	statement	none
Wiener's lemma	NC768TWZ3D	statement	none
Equidistribution theorem	NCCGNTBEYV	statement	none
Śleszyński–Pringsheim theorem	NEC48RHNN0	statement	none
Dulac's theorem on finiteness of limit cycles	NEYHC1XZ14	statement	none
Orlicz–Pettis theorem	NFCQYZ3GRM	statement	none
Functional equation of the Riemann zeta function	NFXKNDJX9C	statement	none
Steinhaus theorem on regular methods	NG1FPJQHA1	statement	none
Alexander subbase theorem	NKKYW7Z6R7	statement	none
Douglas' lemma	NKTAN9XBZA	statement	none
Eilenberg–Moore spectral sequence	NNCBVR7Z2X	statement	none
Completion is flat	NPF42DJMBX	statement	none
Szemerédi–Trotter theorem	NQBWFSC1E0	statement	none
Riemann's existence theorem	NRJQP7FXFM	statement	none
Dvoretzky's theorem	NRPQP49N9F	statement	none
Commutative Gelfand–Naimark theorem	NT564Y315M	statement	none
Švarc–Milnor lemma	NTK1TVA50A	statement	none
Browder–Minty theorem	NWK9Z80BT2	statement	none
Lefschetz duality	NWXJACYJC5	statement	none
Grothendieck inequality	NX8AMNXWG8	statement	none
Caristi fixed-point theorem	NXCM67XY9E	statement	none
Real spectrum of self-adjoint operators	NXV8S3145K	statement	none
Post's theorem	NYJX5QXX1T	statement	none
Krein–Smulian theorem	NYVHMQJP3E	statement	none
Schwarz reflection principle	P0R6YEGNB5	statement	none
Harnack's principle	P15K8RKHDV	statement	none
Wirtinger presentation	P6GR8ZQCK3	statement	none
Characterizations of Galois extensions	P75CXH2Q2B	statement	none
Higman embedding theorem	P7TZ694FCM	statement	none
Lorentz's characterization of almost convergence	P8TMYNPSYD	statement	none
Löwner's theorem	PA7ZQ6C6SP	statement	none
Tucker's lemma	PADZ7D9KBT	statement	none
Frobenius reciprocity	PAP76H0ND9	statement	none
Muirhead's inequality	PBPFVY20WT	statement	none
CW approximation	PDFK69ZMST	statement	none
Bishop–Phelps theorem	PDVJTYCK8F	statement	none
Kneser's theorem on solution sets	PG8ZH3ZQ88	statement	none
Ax–Kochen theorem	PHT3TJCS90	statement	none
Petersen's theorem	PMGTV643X1	statement	none
Littlewood subordination theorem	PMMXG4Q8JR	statement	none
Pentagonal number theorem	PMYDHW00KF	statement	none
Alexander's theorem on closed braids	PRWP1JF486	statement	none
Levy–Desplanques theorem	PWKN6ANA0G	statement	none
Normal basis theorem	PXY1WYNRD4	statement	none
Positive mass theorem	PYRPXHNQTB	statement	none
Schwartz impossibility theorem	Q0C1H111EN	statement	none
Dual of Lp	Q1V7ZNS332	statement	none
Duhamel's principle	Q28DM6ZCMF	statement	none
Fatou's theorem	Q2N917JQ6A	statement	none
Incomparability theorem	Q2XBHJ96GV	statement	none
Dunford–Pettis theorem	Q3Y1HBD8NN	statement	none
Littlewood–Richardson rule	Q490XBH1Q2	statement	none
Riemannian Penrose inequality	Q5EWVTA2RW	statement	none

Open conjectures and problems

No node in the graph resolves these conjectures and problems.

None.