Frontier, page 12

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 1651–1800 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
Bauer–Fike theorem	AK9J4RNZ51	statement	none
Rice's theorem	AKDR5YBBE2	statement	none
Existence of best approximations from finite-dimensional subspaces	AMP0CRE14P	statement	none
Dedekind's characterization of modular lattices	ANRXAG227H	statement	none
Eells–Sampson theorem	AP4A0GX0V2	statement	none
Jean Taylor's theorem on soap film singularities	APGRBE5DW9	statement	none
Atomic decomposition of Hardy spaces	AQ15060AAA	statement	none
Halmos–von Neumann theorem	AS18AWFXSB	statement	none
Edge-of-the-wedge theorem	ATZEZ428CY	statement	none
Atiyah–Bott theorem on Yang–Mills over Riemann surfaces	AV0Q1VSJ88	statement	none
Lüroth's theorem	AVCZ6HVBA7	statement	none
Tensor-hom adjunction	AVXARAXHKY	statement	none
Kronecker–Weber theorem	AW00HPFB54	statement	none
Hua's identity	AWS7XTZ49C	statement	none
Long exact sequence of a pair	AX4ZM9BV3Z	statement	none
Schur orthogonality relations	AY0B20QC04	statement	none
Cut-elimination theorem	AYRZ98Y0NW	statement	none
Carathéodory's theorem on boundary extension	AZ6H4ZKK55	statement	none
Ebin's slice theorem	AZF9TXV5C0	statement	none
Smoothness and analyticity of harmonic functions	AZPKCHND9T	statement	none
Green's function and the Riemann map	AZVRS57S7H	statement	none
Sobolev inequality	B03CA692K3	statement	none
Convergence to equilibrium of ergodic Markov chains	B1E1ES1BYD	statement	none
Fáry–Milnor theorem	B1Z1C8AHVD	statement	none
Szemerédi's theorem	B23B0QEMN5	statement	none
Geometrization conjecture	B27HB43K86	statement	none
Magnus's Freiheitssatz	B2TRERFWEH	statement	none
Poincaré–Lelong formula	B2YBWQQMHA	statement	none
Varignon's theorem	B2ZJW0YBQ7	statement	none
Uhlenbeck's removable singularity theorem	B30ACDNS76	statement	none
Malmquist's theorem	B37RCPYARV	statement	none
Bombieri–Vinogradov theorem	B3JMY54GJF	statement	none
Stallings–Swan theorem	B41GE4M134	statement	none
Multilevel Monte Carlo method	B4FA03XDVW	statement	none
Exterior cone condition	B51J3BC610	statement	none
Carleman's inequality	B54HPY6C5Z	statement	none
Peirce decomposition	B5GKNHH2SX	statement	none
Pappus's hexagon theorem	B6C3J2GJWP	statement	none
Density of simple functions in Lp	B6RYM7QTYZ	statement	none
Dieudonné's theorem on paracompact Hausdorff spaces	B6Y8PEY72W	statement	none
Jacobi method	B8FVHNXAN1	statement	none
Möbius inversion on posets	B8XJSJ517Q	statement	none
Ravenel conjectures	B8XP2K7RS1	statement	none
Kesten's theorem on planar bond percolation	B8Y0ZRQP17	statement	none
Vizing's theorem	B99049JPY6	statement	none
Stone duality	B9T33D5MJK	statement	none
Margulis normal subgroup theorem	BA2S40MM0Y	statement	none
Lagrange inversion theorem	BANY9YR82A	statement	none
Hyperbolic Dehn surgery theorem	BB28P2ED5H	statement	none
Dynkin's π-λ theorem	BBHM1A36M7	statement	none
Arthur–Selberg trace formula	BCETMS8K3X	statement	none
Jordan–Hölder theorem for modular lattices	BCG5KM83AP	statement	none
Varadhan's lemma	BD1CNVV5P0	statement	none
Azuma's inequality	BDA5TTB1F0	statement	none
Selberg trace formula	BDAWKPBNQP	statement	none
Integration operator as convolution with the unit step	BDBDJSP6DF	statement	none
Final value theorem	BDHADVMJ8G	statement	none
Conjugacy of maximal tori	BE3XK5ERC1	statement	none
Weitzenböck identity	BE9GTWMN0B	statement	none
Pólya's recurrence theorem	BEQH6AZPYM	statement	none
Hardy–Littlewood maximal inequality	BF7T7VE57V	statement	none
Dehn–Lickorish theorem	BG3EH18KRE	statement	none
Bellows conjecture	BG3XQF6V58	statement	none
Kaplansky's theorem on projective modules	BG86NXRJ5F	statement	none
Fagin's theorem	BG8Q0BYSQ3	statement	none
Prime-factor FFT algorithm	BH3NNAYJT5	statement	none
Upper bound theorem	BH8R1M1KVF	statement	none
Multijet transversality theorem	BJ0X0T4SBA	statement	none
Divide-and-conquer eigenvalue algorithm	BJE8P9TH88	statement	none
Langlands decomposition	BM3TWJ0D4P	statement	none
Nyquist–Shannon sampling theorem	BMXDMHRXBG	statement	none
Hankel inversion theorem	BMXZSXETDW	statement	none
Serre's vanishing theorem on affine schemes	BNSC4P3PHS	statement	none
Oka's normalization theorem	BP0ZYHGD0S	statement	none
Pol–Inv Galois connection	BQ0AC9QX7E	statement	none
Dahlquist barriers	BQBZ7QMJE2	statement	none
Mean value theorem for divided differences	BQJ9C1CD5X	statement	none
Minimal deviation property of Chebyshev polynomials	BR3HD0RRA4	statement	none
Torelli theorem	BRKFX8BQ60	statement	none
Von Neumann bicommutant theorem	BSA6GFT8SQ	statement	none
Soul theorem	BTH3GSAWY3	statement	none
Implicit function theorem in Banach spaces	BTM6WJ0A52	statement	none
Inversion of the Weierstrass transform	BTPQHQNJVY	statement	none
Euler product for multiplicative functions	BVA6XT55CS	statement	none
Watson's lemma	BW830VCE98	statement	none
Centerpoint theorem	BWEGTCW5RJ	statement	none
Aberth method	BWQ8PVA9Q3	statement	none
Hardy's Tauberian theorem for Cesàro means	BWWZB1F0HY	statement	none
Gross–Zagier theorem	BX558DTV2D	statement	none
Mehler–Heine formula	BXQARMFY75	statement	none
Sub-mean value property	BXYQE0Q1ST	statement	none
Erdős–Kac theorem	BY5WRND0J1	statement	none
Wiener–Hopf factorization	BYKP1V2AQN	statement	none
Dominated convergence theorem	BYNV84PF86	statement	none
Grönwall area theorem	BYZDAZNHP4	statement	none
Cayley–Bacharach theorem	BZ2MM3CTNA	statement	none
Mordell's theorem	BZHGKN6Q3K	statement	none
Larson–Sweedler theorem	BZPKCPCWTM	statement	none
Rado's theorem	BZSGRCTFH4	statement	none
Vinogradov's theorem	C01Z9QRGZY	statement	none
Brahmagupta's formula	C0NQDQAZ2Y	statement	none
Stieltjes inversion formula	C0X2A02MRE	statement	none
Helgason support theorem	C1WVKRGQ1T	statement	none
Borel–Ritt theorem	C2FFQAPJ9F	statement	none
Kazhdan–Margulis theorem	C34RZMKKA4	statement	none
Vitali convergence theorem	C3CKZAZ57Z	statement	none
Landau–Kolmogorov inequality	C3DD4Z4MD1	statement	none
Milstein method	C5WJT0NWGV	statement	none
Localization of a Noetherian ring is Noetherian	C618HAK3X6	statement	none
M3–N5 characterization of distributivity	C6GH4VHAMQ	statement	none
Akizuki–Hopkins–Levitzki theorem	C7X657TF19	statement	none
Hochster's theorem on spectral spaces	C82AXZK2BS	statement	none
Asymptotic behavior of solutions of renewal equations	C82WDEQ3DC	statement	none
KAK decomposition	C846XS3Y0T	statement	none
Bairstow's method	C8S7XX0VZM	statement	none
Müntz–Szász theorem	C8XY22X5NP	statement	none
Cheeger–Müller theorem	C9DT4Y63CY	statement	none
Sullivan's no wandering domains theorem	C9FDR4BGMG	statement	none
Radó's theorem on triangulation of surfaces	C9X05EDS5F	statement	none
Steinitz's theorem on algebraically closed fields	CAEHMSX9RT	statement	none
Baily–Borel compactification	CB54N55JD9	statement	none
Entropic uncertainty principle	CBRTFS0RVC	statement	none
Riesz decomposition theorem	CBZ20SS8RQ	statement	none
Witt's theorem	CCB8VNQCV0	statement	none
Kakutani's solution of the Dirichlet problem	CCEKM4241P	statement	none
Haar's uniqueness theorem	CCPS738AH8	statement	none
Frequency shift theorem	CD35MSBNE7	statement	none
Raabe's test	CD6CAQ6XDN	statement	none
Esakia duality	CD9Y7YP4EJ	statement	none
Hölder's theorem on Archimedean groups	CDM40MT3HZ	statement	none
Dormand–Prince method	CDMXAH4A7G	statement	none
Reduction to diagonal form by transvections	CFB41AZX87	statement	none
Gelfand–Raikov theorem	CFDZJ55N95	statement	none
Continuous mapping theorem	CFRN0G7GDB	statement	none
Jacobi's four-square theorem	CG17WSS64W	statement	none
Mellin transform under a power substitution	CG7BFJ04YE	statement	none
Hadamard's inequality	CGDN1X32NQ	statement	none
Existence of an eigenvalue for a nonzero symmetric kernel	CH6655HZXS	statement	none
Lichnerowicz vanishing theorem	CHJ4TAH0QX	statement	none
Arnoldi iteration	CJ5EC820S7	statement	none
Cauchy's rigidity theorem	CJ7KCDDF31	statement	none
Positivity of Hankel matrices of moments	CJCPD4DZ65	statement	none
Courant–Fischer min-max theorem	CJK2HS2508	statement	none
Bias–variance decomposition	CJQ8D9FTQN	statement	none
Makarov's theorem on harmonic measure	CM9BDNEA10	statement	none
Shapley–Folkman lemma	CMGKQNMY77	statement	none
Inversion of the Hilbert transform	CMXS9P2F13	statement	none
Weil's converse to Haar's theorem	CMZS6KA033	statement	none
Boundary integral equation for the Neumann problem	CN7NP6R1AQ	statement	none
Legendre duplication formula	CND4E1PY9V	statement	none

Open conjectures and problems

No node in the graph resolves these conjectures and problems.

None.