Frontier, page 16

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.

3070 statements with no proof; 222 open conjectures and problems. Showing up to 2251–2400 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
Dimension theorem for local rings	KW3HY77V6D	statement	none
Stanley–Wilf conjecture	KWJS2QYJ1K	statement	none
Thom transversality theorem	KWNRS3RA09	statement	none
Bézout's theorem	KWNVF194D8	statement	none
Kontinuitätssatz	KWRF0DEYA2	statement	none
Toponogov's theorem	KX0B3AWD5H	statement	none
Spectral radius formula	KX2XY7S3X6	statement	none
Rayleigh monotonicity law	KX4152NVW8	statement	none
Hadamard factorization theorem	KYSR7NHNFQ	statement	none
Borel's lemma	KZHNA19FSS	statement	none
Initial value theorem	KZPVHDKV9E	statement	none
Stark–Heegner theorem	KZTFH832H0	statement	none
Viète's formula	M0G4AASSG7	statement	none
Widder's theorem	M0J1YJAE00	statement	none
Lie group–Lie algebra correspondence	M13HAQSHEM	statement	none
Jordan–Hölder theorem for modules	M1ABX18FC4	statement	none
Cobordism hypothesis	M1WQTWFNNQ	statement	none
Inverse function theorem in Banach spaces	M218MWZ62X	statement	none
Rogers–Ramanujan identities	M24H4GJPPW	statement	none
Clausen's formula	M2V5A38W5C	statement	none
Palais–Smale theory of critical points	M2W79VF0TN	statement	none
Ax–Grothendieck theorem	M2XAN2HGZH	statement	none
Complete class theorem	M3PFV1BX9V	statement	none
Time shift theorem	M4VJHPZJMQ	statement	none
Tarski's HSP formula	M4ZHB3GXBP	statement	none
CORDIC	M4ZJ8QV3MR	statement	none
Arnold's classification of simple critical points	M5437FP73G	statement	none
Higher homotopy groups are abelian	M676G2V5KQ	statement	none
Backward Euler method	M7XKVNATFA	statement	none
Crank–Nicolson method	M92S0Y15N1	statement	none
Harish-Chandra's regularity theorem	M9X7Y3GZZD	statement	none
Fisher's inequality	M9XF82GGW8	statement	none
Biconjugate gradient stabilized method	MA64H1RTP1	statement	none
Coordinatization of projective planes	MAM2MDG0XG	statement	none
Resolution of singularities	MB52NDA6WN	statement	none
Duality of Lp spaces	MBF660WMYJ	statement	none
Łojasiewicz inequality	MBMHS6FQF6	statement	none
q-Vandermonde identity	MBRSCQRGGH	statement	none
Grötzsch's theorem	MDHWF76S1Z	statement	none
Goldie's theorem	MDS8655N0Z	statement	none
Raghunathan's conjecture	ME4ZSRAT5Z	statement	none
Prime ideal theorem for distributive lattices	ME8GM0VTWP	statement	none
Nested intervals theorem	MF56GK7QY2	statement	none
Compactness of integral operators	MF77N00SK8	statement	none
Strong perfect graph theorem	MFNNZQ484T	statement	none
Borel fixed-point theorem	MG20HMMYKY	statement	none
Morse inequalities	MH7MEB0MRR	statement	none
Predictor–corrector method	MHGV8HCAQR	statement	none
Shift operator as an exponential of differentiation	MHSBP40HDC	statement	none
Birkhoff–Kakutani theorem	MHSKT2Z4MX	statement	none
Casus irreducibilis	MJ864PBRRJ	statement	none
Ekeland's variational principle	MJGPW5EVB3	statement	none
Theorem of the cube	MJMB7SH7SD	statement	none
Aubin–Lions lemma	MKB5V9W0WQ	statement	none
Density of the graph of a discontinuous additive function	MNAWWP9J1X	statement	none
Blaschke–Santaló inequality	MNJ030R4CA	statement	none
Fundamental theorem of the calculus of finite differences	MNSSV4QHD1	statement	none
Galois group of a finite field extension	MP5C9T2EYG	statement	none
Picard's criterion for first-kind equations	MPB3QF09E5	statement	none
Cartan–Serre finiteness theorem	MPNGD4V271	statement	none
Pólya enumeration theorem	MPYQ39P01F	statement	none
Bernstein–Doetsch theorem	MQA1VVCJ63	statement	none
Genus–degree formula	MQCBFACHXH	statement	none
Bounded inverse theorem	MR5FJXR348	statement	none
Baer's criterion	MR5HNV0Q07	statement	none
Grauert's semicontinuity theorem	MREZVW7JTW	statement	none
Doob's martingale convergence theorems	MRXBC4ZNRR	statement	none
Compactness of families of harmonic functions	MSPNPVP9NK	statement	none
Oka coherence theorem	MSX3VKM9Z5	statement	none
Galois correspondence for coverings	MTWNAJMH1D	statement	none
Zaslavsky's theorem	MV1CFTH98T	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
Mordell–Weil theorem	MXRCPAH09H	statement	none
Hermite–Genocchi formula	MY491MR2PJ	statement	none
Chevalley's structure theorem	MZ6XDATQKR	statement	none
Interchange of summation order	MZM1AFXY82	statement	none
Inverse Mellin transform as inverse Fourier transform	MZXHSGFBRF	statement	none
Vitali–Hahn–Saks theorem	N0K0YWPQN6	statement	none
Hilbert's irreducibility theorem	N1V3YEYHNP	statement	none
Killing–Hopf theorem	N1WJR10WX0	statement	none
Laplace transform tends to zero at infinity	N2JFN9VHD9	statement	none
Curtis–Hedlund–Lyndon theorem	N35QM9G83G	statement	none
Serre duality	N3QPQATSRN	statement	none
Cohen structure theorem	N3XH42KVV3	statement	none
Gauss–Markov theorem	N3YMNMWANM	statement	none
Fefferman duality theorem	N41N5QHDAN	statement	none
Hardy–Littlewood Tauberian theorem	N42JDBT0VA	statement	none
Dedekind's lemma on independence of characters	N43G50YHG2	statement	none
Minkowski inequality	N4QZS912MT	statement	none
Schur's lemma in abelian categories	N67R59ZVC4	statement	none
Thom isomorphism	N685RXHDZX	statement	none
Complete reducibility of representations of compact groups	N6JC6KNXJJ	statement	none
Sunflower lemma	N6TH42TD7F	statement	none
Gradient estimates for harmonic functions	N76R7JWMNJ	statement	none
Homomorphism theorem	N783XNJNBV	statement	none
Brouwer fixed-point theorem	N7AAJ2MW5T	statement	none
Shadowing lemma	N7C06T3KCZ	statement	none
Lawvere's fixed-point theorem	N84M16W19X	statement	none
Disintegration theorem	N8NXNCMSK5	statement	none
Fefferman's theorem on extension of biholomorphisms	N95NQ0G3A6	statement	none
Hunt's extension of Carleson's theorem	NAX51M6025	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
Dyson conjecture	NDYA85381W	statement	none
Śleszyński–Pringsheim theorem	NEC48RHNN0	statement	none
Dulac's theorem on finiteness of limit cycles	NEYHC1XZ14	statement	none
Monotone operator method for Hammerstein equations	NF0F8M86W4	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
Liouville's theorem on conformal mappings	NH7J4YQMQC	statement	none
Oseledets theorem	NJ1PDJ3S4R	statement	none
Tonelli's existence theorem	NJQRG3DVPP	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
Veblen–Young theorem	NPNNXWMVCC	statement	none
Szemerédi–Trotter theorem	NQBWFSC1E0	statement	none
Bernstein's theorem on absolutely convergent Fourier series	NQC6CRDWFW	statement	none
Dickson's lemma	NQD0Q9S9M7	statement	none
Riemann's existence theorem	NRJQP7FXFM	statement	none
Dvoretzky's theorem	NRPQP49N9F	statement	none
Cantor's uniqueness theorem for trigonometric series	NSS3XW4BYZ	statement	none
Fenchel–Young inequality	NSTD00PJPE	statement	none
Minkowski–Carathéodory theorem	NT4SKSYKG9	statement	none
Commutative Gelfand–Naimark theorem	NT564Y315M	statement	none
Reiterman's theorem	NT8W7R2KDR	statement	none
Švarc–Milnor lemma	NTK1TVA50A	statement	none
Steinitz theorem on convex hull interiors	NV0ZAWS3ES	statement	none
Tauberian theorems for integral transforms	NV54MWKT6T	statement	none
Addition theorem for spherical harmonics	NVRR2TXQSE	statement	none
Inverse quadratic interpolation	NW1XQ95R5P	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
Fourier basis of L2 of the circle	NXQX1KFMDB	statement	none
Real spectrum of self-adjoint operators	NXV8S3145K	statement	none
Kodaira vanishing theorem	NY77DQ2AX8	statement	none
Post's theorem	NYJX5QXX1T	statement	none
Recurrence and capacity of graphs	NYN6NYES16	statement	none
Krein–Smulian theorem	NYVHMQJP3E	statement	none
Schwarz reflection principle	P0R6YEGNB5	statement	none
Harnack's principle	P15K8RKHDV	statement	none

Open conjectures and problems

No node in the graph resolves these conjectures and problems.

None.