Frontier, page 9

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 1201–1350 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
Tarski–Vaught test	60SA99BER7	statement	none
Ryll-Nardzewski fixed-point theorem	61B8B11Y0Y	statement	none
Schwarz integral formula	61WT6CE08W	statement	none
Perron–Frobenius theorem	62NS7PV1M9	statement	none
Schur–Zassenhaus theorem	64K1A69C80	statement	none
Iwasawa main conjecture	67A4D4FAYJ	statement	none
Jordan curve theorem	687RGCHBTP	statement	none
Gauss–Codazzi equations	68TVVHCQ3Z	statement	none
Runge's theorem	6DG4CTGXJD	statement	none
Rearrangement inequality	6E9TAF8HCY	statement	none
Lévy–Steinitz theorem	6EXHAQF8SP	statement	none
Fuchs' theorem	6EZ400WM94	statement	none
Carlson's theorem	6F5B8KPEGH	statement	none
Preissmann's theorem	6G73DJH9T6	statement	none
Cantor normal form	6GD30FGYDZ	statement	none
Hahn–Banach separation theorem	6GWMGFGFJJ	statement	none
Whitehead theorem	6P1E2FJPSD	statement	none
Fundamental group of the circle	6SQXPE0JPN	statement	none
Bertrand's test	6T3E3AXZT7	statement	none
Feit–Thompson theorem	6VK9RSG13Q	statement	none
Fundamental recurrence formulas	6WYYMPH21Q	statement	none
Invariance of domain	6X2D0JDFQW	statement	none
Besicovitch covering theorem	6ZDSVX9GAR	statement	none
Explicit formula	72WNRWJQC1	statement	none
Lebesgue decomposition theorem	74VMD07DRX	statement	none
Egorov's theorem	762Y2NYA7W	statement	none
Fundamental theorem of Riemannian geometry	78JRW8KTH8	statement	none
Jordan's theorem on primitive groups containing a prime cycle	78R2TV41D4	statement	none
Artin reciprocity law	7938EKMMVR	statement	none
Kunen's inconsistency theorem	7DEZD5TWT5	statement	none
Freudenthal suspension theorem	7DM2KSS2DB	statement	none
Markov theorem	7F3QQQ63WR	statement	none
Sphere theorem	7GRSF20H15	statement	none
Schaefer's fixed point theorem	7H3YSSDEBK	statement	none
Mertens' theorems	7J3P1W042Y	statement	none
Wu's formula	7KEDZ9TFEE	statement	none
von Neumann's inequality	7KS1W5K54S	statement	none
Omitting types theorem	7MFGBVDVG9	statement	none
Quillen–Suslin theorem	7N50GA46W1	statement	none
Stone's theorem on paracompactness of metric spaces	7QFKD5JXH6	statement	none
Smale–Hirsch theorem	7R8W704VGW	statement	none
Pontryagin's maximum principle	7RPV2T29CF	statement	none
Sylvester's determinant identity	7SSKBQYFW1	statement	none
Budan's theorem	7THS519D4A	statement	none
Kakutani fixed-point theorem	7V3HWGR32Z	statement	none
Comparison theorem	7XTBR347P5	statement	none
Hasse's theorem on elliptic curves	7Y26317GJ0	statement	none
Noether normalization lemma	7Z28JY8QW4	statement	none
Mazur's lemma	7ZR88SCSRF	statement	none
Donsker's theorem	818832PMSV	statement	none
Kolmogorov's normability criterion	822WQ7S91T	statement	none
Bishop–Gromov inequality	82F5Q4F1S6	statement	none
Moser's trick	82YGJ392SJ	statement	none
Fekete's lemma	8A4GGX1MEY	statement	none
McDiarmid's inequality	8APFT1RPM4	statement	none
Schlömilch's generalization of the condensation test	8AX4XREEPX	statement	none
Leray spectral sequence	8BMQ90EJPR	statement	none
van der Waerden conjecture on permanents	8C1JYDJBYS	statement	none
Lévy's characterization of Brownian motion	8CKDVESXT6	statement	none
Borel determinacy theorem	8FVWYEZWTK	statement	none
Besicovitch–Federer projection theorem	8J8AW0TG9M	statement	none
Robinson–Schensted–Knuth correspondence	8JW8F4VVED	statement	none
Generalized Poincaré conjecture	8KDV43WZ3Z	statement	none
Neumann series	8QJ91709V2	statement	none
Cauchy interlacing theorem	8QQPVNR80F	statement	none
Tauber's theorem	8SK3GQ4S0M	statement	none
Toeplitz–Hausdorff theorem	8TV0DJBBAY	statement	none
Liouville's theorem (differential algebra)	8VRTPECBPZ	statement	none
Tikhonov's theorem on slow-fast systems	8X8Y61MGHW	statement	none
Nash embedding theorems	8YQJQXQHVE	statement	none
Loop theorem	8YYJBVP68F	statement	none
Hall's theorem on solvable groups	8Z8PE69SJS	statement	none
Hopf degree theorem	902X7EHFSC	statement	none
Serre's theorem on regular local rings	93RQRG9R1P	statement	none
Suslin's theorem	9418TGREZX	statement	none
Finitely generated projective modules over local rings are free	942FK83S09	statement	none
Ionescu-Tulcea theorem	94ASD187AQ	statement	none
Schur's inequality	958TMJZ51Y	statement	none
Ackermann function is not primitive recursive	97QF3KHSBY	statement	none
Brunn–Minkowski theorem	9B02RPN7XD	statement	none
Sullivan conjecture	9EA7KJ50AE	statement	none
Δ-system lemma	9GKS3RBZ8V	statement	none
Kummer's test	9JQEWK5405	statement	none
Bihari–LaSalle inequality	9KMJSKNZ72	statement	none
Nilpotence theorem	9N027RT5R6	statement	none
Kalman rank condition	9NSCZ2KBEB	statement	none
Euler–Maclaurin formula	9P839VB8S7	statement	none
Cartan's classification of symmetric spaces	9P8VK3H4YZ	statement	none
Liouville's theorem on phase-space volume	9T7D9ZRWYY	statement	none
Schmidt subspace theorem	9TPS3W497D	statement	none
Poincaré duality	9VY90HJVZX	statement	none
Deduction theorem	9X08XK5RV2	statement	none
Herglotz representation theorem	9ZBAX4ZPX0	statement	none
Combinatorial Nullstellensatz	9ZW7BCJMDT	statement	none
Hodge theorem	A127WFVYKW	statement	none
Spectral theorem for compact self-adjoint operators	A1G25R99PY	statement	none
Hopf invariant one problem	A3AP0P0D4M	statement	none
Gauss–Lucas theorem	A56086N8XQ	statement	none
Frullani integral	A58Z1DQ593	statement	none
Collar neighbourhood theorem	A68WQ4ZAF0	statement	none
Marden's theorem	A6GYWEFFTY	statement	none
Gauss's test	A7MJXJERNY	statement	none
Determinant trick	A8HRT9H3XA	statement	none
Atkinson's theorem	ABS17CB1D2	statement	none
Smith conjecture	ABYAPP6Q4C	statement	none
Hilbert–Burch theorem	AG4FF4DNYQ	statement	none
Riesz–Thorin theorem	AGRKRG1TMJ	statement	none
Łoś's theorem	AGYBSTD7BG	statement	none
Serre spectral sequence	AHW4B5480K	statement	none
Milman–Pettis theorem	AJ5RG9XQYZ	statement	none
Bauer–Fike theorem	AK9J4RNZ51	statement	none
Rice's theorem	AKDR5YBBE2	statement	none
Lüroth's theorem	AVCZ6HVBA7	statement	none
Tensor-hom adjunction	AVXARAXHKY	statement	none
Kronecker–Weber theorem	AW00HPFB54	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
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
Bombieri–Vinogradov theorem	B3JMY54GJF	statement	none
Stallings–Swan theorem	B41GE4M134	statement	none
Carleman's inequality	B54HPY6C5Z	statement	none
Density of simple functions in Lp	B6RYM7QTYZ	statement	none
Dieudonné's theorem on paracompact Hausdorff spaces	B6Y8PEY72W	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
Lagrange inversion theorem	BANY9YR82A	statement	none
Hyperbolic Dehn surgery theorem	BB28P2ED5H	statement	none
Dynkin's π-λ theorem	BBHM1A36M7	statement	none
Varadhan's lemma	BD1CNVV5P0	statement	none
Azuma's inequality	BDA5TTB1F0	statement	none
Weitzenböck identity	BE9GTWMN0B	statement	none
Pólya's recurrence theorem	BEQH6AZPYM	statement	none
Dehn–Lickorish theorem	BG3EH18KRE	statement	none
Fagin's theorem	BG8Q0BYSQ3	statement	none
Dahlquist barriers	BQBZ7QMJE2	statement	none
Von Neumann bicommutant theorem	BSA6GFT8SQ	statement	none
Soul theorem	BTH3GSAWY3	statement	none
Implicit function theorem in Banach spaces	BTM6WJ0A52	statement	none
Euler product for multiplicative functions	BVA6XT55CS	statement	none
Watson's lemma	BW830VCE98	statement	none
Hardy's Tauberian theorem for Cesàro means	BWWZB1F0HY	statement	none
Gross–Zagier theorem	BX558DTV2D	statement	none

Open conjectures and problems

No node in the graph resolves these conjectures and problems.

None.