Frontier, page 15

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 2101–2250 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
Interpolation error formula	HASA2XSG66	statement	none
Annulus theorem	HAT8HG0RCK	statement	none
Christoffel–Darboux formula	HB0MJCV482	statement	none
Gromov's systolic inequality	HB2K72PSZ6	statement	none
Urysohn metrization theorem	HBFHDH4EJX	statement	none
Continuity of measure from below and above	HBHNB63J7R	statement	none
Riemann localization principle	HC3T4EY6WZ	statement	none
Capelli's theorem	HC5NDQ3DTS	statement	none
Zariski's main theorem	HCD6W2XK6W	statement	none
Bernstein's theorem on inverse approximation	HDFM8ZY7XG	statement	none
Structure theorem for Artinian rings	HE7MP4HP6Q	statement	none
Gordan's lemma	HEKDP2TDNZ	statement	none
Poincaré–Birkhoff–Witt theorem	HFEA4FKGW1	statement	none
Hardy–Littlewood–Sobolev inequality	HG65C9R1SP	statement	none
Biconjugate gradient method	HGF11AHX5R	statement	none
Docquier–Grauert theorem	HGZMZRSS5D	statement	none
Gabrielov's theorem of the complement	HH2EM3DPNK	statement	none
Differentiation and multiplication under the Fourier transform	HHNR31W3WD	statement	none
Variational principle for topological entropy	HHR8HP3R6G	statement	none
Lie product formula	HK3BRMK912	statement	none
Shannon–McMillan–Breiman theorem	HK8339ECNN	statement	none
Kolmogorov criterion for best approximation	HKRN90DCWK	statement	none
Thom's cobordism theorem	HM23BV561Z	statement	none
Abel–Plana formula	HMC733EFMD	statement	none
Radon inversion formula	HN93ST5CBT	statement	none
Kronecker's lemma	HNCY0067F1	statement	none
Hilbert–Serre theorem	HP56DJECMT	statement	none
Plancherel theorem	HPZHRZ0502	statement	none
Sperner's lemma	HQG3V5Z6MR	statement	none
Cochran's theorem	HSBWJSBH0D	statement	none
Freedman's classification of simply connected 4-manifolds	HSD6FKCYRC	statement	none
Schauder estimates	HSEKZMAH1V	statement	none
Universal approximation theorem	HSRNND3TG5	statement	none
Path lifting property	HSWWF35BEX	statement	none
Crandall–Lions uniqueness theorem	HTK7A4JRW7	statement	none
Jenkins–Traub algorithm	HTWCTA2MTJ	statement	none
Kronecker's approximation theorem	HVT4QVHRTF	statement	none
Hausdorff–Young inequality	HXNJH6W23S	statement	none
Stewart's theorem	HXSK0BNBNE	statement	none
Iterated Laplace transform equals Stieltjes transform	HYP9AZHD06	statement	none
Associativity of convolution	HZ5J8GGS16	statement	none
Erdős–Ginzburg–Ziv theorem	J00Z252GRE	statement	none
Tait conjectures	J0EVKMWT94	statement	none
Janson inequality	J3CT5D7FSZ	statement	none
Matrix rings over simple rings are simple	J41Y7CCE6B	statement	none
Dispersive estimate for the Schrödinger equation	J4TDK6Z4XA	statement	none
Descartes' theorem	J4Y2E05RHQ	statement	none
Quasi-compactness of the spectrum	J4YW23MD6N	statement	none
Jump relations for layer potentials	J58YA8QNNX	statement	none
Pettis lemma	J5VXNMFVZB	statement	none
Hilbert projection theorem	J5YNTHQMFX	statement	none
Birkhoff's ergodic theorem	J6NMBX3E55	statement	none
Grothendieck duality	J70H5D30DC	statement	none
Sierpiński's theorem on non-atomic measures	J76687HP2E	statement	none
Projection-slice theorem	J7VA040MC3	statement	none
Kac's lemma	J80FB2BWNF	statement	none
Runge–Kutta method for stochastic differential equations	J8ET1M5V10	statement	none
Mori–Nagata theorem	J8YYYP5CDN	statement	none
Rodrigues' formula	J9367QFD3G	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
Symmetry of the Green function	JDDH4DAT2W	statement	none
Carathéodory's criterion	JDGQ135YK2	statement	none
Lomonosov's invariant subspace theorem	JEBP2FYZFM	statement	none
Morita equivalence of a ring with its matrix rings	JEBXXWHW8M	statement	none
Schauder fixed-point theorem for integral equations	JEFBKDG84Z	statement	none
Spectral theory of compact operators	JEPDM5B5FC	statement	none
Newman's theorem on rational approximation of the absolute value	JEQVZXHE6A	statement	none
Jacobi triple product	JFP2DGMNXT	statement	none
Correspondence theorem for congruences	JG7WB75BHC	statement	none
Fáry's theorem	JGT7T3A9PD	statement	none
Catalan's conjecture	JH6Y2E1ZCN	statement	none
Eckart–Young theorem	JJT6GC055J	statement	none
Four lemma	JMCKACGCQ0	statement	none
Legendre–Hadamard condition	JMVHZ6HDNZ	statement	none
Little's law	JN2YME6F4A	statement	none
Fundamental lemma of the calculus of variations	JNDZ86CV3Y	statement	none
Skorokhod's representation theorem	JPD7Q0P4F6	statement	none
Hölder's inequality	JQ9WXC729D	statement	none
Ultraparallel theorem	JR2BWZEWH1	statement	none
Â-genus as the index of the Dirac operator	JR2M58RCW3	statement	none
Lê–Ramanujam theorem	JRAEY07Y4G	statement	none
Cheeger's inequality for the first eigenvalue	JRGADFNBV2	statement	none
Poincaré inequality	JS2CCR3RNS	statement	none
Linearized stability theorem for maps	JTERX19M7X	statement	none
Hewitt–Savage zero–one law	JTXNFQNQ4J	statement	none
Lindström–Gessel–Viennot lemma	JV24HVZPJ0	statement	none
Open embedding theorem for Hilbert manifolds	JWCDDMJE3K	statement	none
Shift property of the Z-transform	JWH2KYCGBQ	statement	none
Fischer decomposition	JWNRB34ZGV	statement	none
Young's convolution inequality	JXDKJCBXJ8	statement	none
Jensen's inequality for integrals	JYRZ927BMQ	statement	none
Favard's theorem on trigonometric approximation	JYX6N8A2P6	statement	none
Kontsevich quantization formula	JZEK70CH3G	statement	none
Existence of limits from products and equalizers	JZTCEHFVS2	statement	none
Dimension of the solution space of a linear recurrence	K00NJY6C33	statement	none
Hammersley–Clifford theorem	K07QH8EKD0	statement	none
Borel–Weil–Bott theorem	K10YADF5XV	statement	none
Local parametrization theorem	K18PKZY5RS	statement	none
Calderón–Zygmund lemma	K1YKXVPVDG	statement	none
Jacobi eigenvalue algorithm	K3DP7D4JJC	statement	none
Bramble–Hilbert lemma	K4P0R83G1Q	statement	none
Goldstine theorem	K4S9G3AQBM	statement	none
Brauer–Fowler theorem	K5CQM8MYYG	statement	none
Strang splitting	K6EV57QFYG	statement	none
Reflection principle	K6R7GHB3VS	statement	none
Poincaré–Birkhoff theorem	K7MR77CHP6	statement	none
de Rham theorem	K7Z2PQZ4WH	statement	none
Miquel's theorem	K8A688YSPW	statement	none
Fractional Helly theorem	K9JAYYA0WS	statement	none
Pick's theorem	K9SBQZMWB9	statement	none
Pfaff and Euler transformations	KAAJ0JJ2GF	statement	none
Nagata–Smirnov metrization theorem	KB11T6389G	statement	none
Existence and uniqueness of Haar measure	KB792QTG4F	statement	none
Isoperimetric inequality	KBX8RBZ626	statement	none
Cartan–Brauer–Hua theorem	KC22CWGGAE	statement	none
Van Vleck's theorem	KCCFZTP3MM	statement	none
Sphere eversion	KCDT9Q3JGQ	statement	none
Contraction mapping principle for integral equations	KCV4BDWZ87	statement	none
Bergman's gap theorem	KCVCPGX7ZC	statement	none
Density of trigonometric polynomials in continuous functions	KDRZKC9T1V	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
Jacobi–Anger expansion	KFHYQM8T7E	statement	none
Lie–Trotter product formula	KH7EPKDCH3	statement	none
Abel transform as the projection of a radial function	KHN8H3SNSM	statement	none
Ill-posedness of first-kind equations	KHXYWTNN2R	statement	none
Routh–Hurwitz stability criterion	KJF8Y19BNV	statement	none
Pasch's axiom	KJT98G16Y4	statement	none
Alexander duality	KK05CSTM15	statement	none
Kuratowski embedding	KK0B7V8DCX	statement	none
Douglas–Radó solution of Plateau's problem	KM8Q5HZ48G	statement	none
Riemann–Hilbert correspondence	KMAEWSVGRS	statement	none
Hermite–Minkowski theorem	KMVW45B0TT	statement	none
Koebe's theorem on the mean value property	KP23SF2Z0Q	statement	none
Nonexistence of a projective plane of order 10	KP27TDCZPJ	statement	none
Wiener–Ikehara theorem	KQ57DC3AKM	statement	none
Regular value theorem	KQB7WTZ1TX	statement	none
Parareal	KQG5GXJ5MB	statement	none
Independence of sample mean and sample variance for normal samples	KR80YEKVWB	statement	none
Viscosity solution of the Hamilton–Jacobi–Bellman equation	KREYT31SS1	statement	none
McKenzie's undecidability of the finite basis problem	KRM89R0T28	statement	none
Gibbs sampling	KS91STZCGM	statement	none
Kakeya problem over finite fields	KSW18V47ZD	statement	none
Milnor fibration theorem	KTFG1S2SMG	statement	none
Denjoy–Carleman theorem	KV0GW9K7JS	statement	none
Bloch's theorem	KW31KDX7TB	statement	none

Open conjectures and problems

No node in the graph resolves these conjectures and problems.

None.