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.

3070 statements with no proof; 222 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
Donsker's theorem	818832PMSV	statement	none
Weil conjectures	81TXP32VDM	statement	none
Kolmogorov's normability criterion	822WQ7S91T	statement	none
Bishop–Gromov inequality	82F5Q4F1S6	statement	none
Moser's trick	82YGJ392SJ	statement	none
Kingman's subadditive ergodic theorem	833XVEEZCJ	statement	none
Nichols–Zoeller theorem	856B6C7EE4	statement	none
Lax–Milgram theorem	85KK79FCN5	statement	none
Reduction of an initial value problem to a Volterra equation	86AWJMXT1A	statement	none
Landweber iteration	87DV5ZTJ9J	statement	none
Radon's theorem	888R24ZGNY	statement	none
Mutual absolute continuity of harmonic measures	89CHZ3ZMCH	statement	none
Gauss–Hermite quadrature	89S5KGQEMJ	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
Thomson's principle	8BPMHA5MT4	statement	none
van der Waerden conjecture on permanents	8C1JYDJBYS	statement	none
Lévy's characterization of Brownian motion	8CKDVESXT6	statement	none
Asymptotic normality of the maximum likelihood estimator	8DWRYNAMFT	statement	none
Borel determinacy theorem	8FVWYEZWTK	statement	none
Box–Muller transform	8G07Q9SVQ4	statement	none
Legendre's relation	8GSKDNZ4TK	statement	none
Ornstein isomorphism theorem	8H4GF58E9M	statement	none
Besicovitch–Federer projection theorem	8J8AW0TG9M	statement	none
Robinson–Schensted–Knuth correspondence	8JW8F4VVED	statement	none
Generalized Poincaré conjecture	8KDV43WZ3Z	statement	none
Uniform convergence of Bernstein approximations	8MD8DJE30F	statement	none
Kaplansky's theorem on PI rings	8NE9Q44FEG	statement	none
Density theorem	8P9PJG95H3	statement	none
Ramanujan's series for 1/pi	8PZPMF2QJD	statement	none
Neumann series	8QJ91709V2	statement	none
Cauchy interlacing theorem	8QQPVNR80F	statement	none
Hartogs–Bochner extension theorem	8QYVM1JTMF	statement	none
Alternating-direction implicit method	8RDSR3JXP2	statement	none
Remez inequality	8S129JX919	statement	none
Singular cardinals hypothesis	8SH7WETCKY	statement	none
Tauber's theorem	8SK3GQ4S0M	statement	none
Toeplitz–Hausdorff theorem	8TV0DJBBAY	statement	none
Freyd–Mitchell embedding theorem	8V296XR2M3	statement	none
Carleson embedding theorem	8V9JHWWXNH	statement	none
Liouville's theorem (differential algebra)	8VRTPECBPZ	statement	none
Cartan's theorem on fine continuity of superharmonic functions	8WWTMFR278	statement	none
Tikhonov's theorem on slow-fast systems	8X8Y61MGHW	statement	none
Nash embedding theorems	8YQJQXQHVE	statement	none
Loop theorem	8YYJBVP68F	statement	none
Cantor–Lebesgue theorem	8Z55VMJSEX	statement	none
Hall's theorem on solvable groups	8Z8PE69SJS	statement	none
Hopf degree theorem	902X7EHFSC	statement	none
Maximum modulus principle in several variables	91DW8V0PET	statement	none
Feuerbach's theorem	93343FN5PF	statement	none
Serre's theorem on regular local rings	93RQRG9R1P	statement	none
Period three implies chaos	93VXAB8JYS	statement	none
Aoki–Rassias theorem	93WX6PZC8R	statement	none
Suslin's theorem	9418TGREZX	statement	none
Finitely generated projective modules over local rings are free	942FK83S09	statement	none
Adaptive quadrature	948A39DZDE	statement	none
Pascal's theorem	94AKWRHND0	statement	none
Ionescu-Tulcea theorem	94ASD187AQ	statement	none
Krull–Schmidt theorem	94M0BPV1W4	statement	none
Schur's inequality	958TMJZ51Y	statement	none
Uhlenbeck compactness theorem	97CGS5KKRW	statement	none
Cauchy–Kovalevskaya theorem	97HMV9BT2W	statement	none
Ackermann function is not primitive recursive	97QF3KHSBY	statement	none
Baker–Pixley theorem	97SRYBF41G	statement	none
Schwarz alternating method	97VNBS15CD	statement	none
Thom–Sebastiani theorem	98MVMS1NRR	statement	none
Brunn–Minkowski theorem	9B02RPN7XD	statement	none
Mehler kernel	9BF9QTCRKW	statement	none
Edgeworth expansion	9C4MPVMTA7	statement	none
Cahen–Mellin integral	9C8SS4522J	statement	none
Weyl's lemma	9CWM3F4M04	statement	none
Crofton formula	9D5NT00H6G	statement	none
Nested dissection	9DTJ87P4R1	statement	none
Sullivan conjecture	9EA7KJ50AE	statement	none
Bourbaki–Witt theorem	9EABA9ZDZS	statement	none
Derivative of a convolution	9FN0PFZZXZ	statement	none
Summation by parts	9G82Z17DKA	statement	none
Δ-system lemma	9GKS3RBZ8V	statement	none
Keller's conjecture	9GQQ7TK36T	statement	none
Rader's FFT algorithm	9HYM2ZMS31	statement	none
Kummer's test	9JQEWK5405	statement	none
Bihari–LaSalle inequality	9KMJSKNZ72	statement	none
Minkowski's first inequality	9M8XJX4DQ7	statement	none
Fishburn's theorem on interval orders	9MMG0335JE	statement	none
Nilpotence theorem	9N027RT5R6	statement	none
Cooley–Tukey FFT algorithm	9N8D9E5TB2	statement	none
Kalman rank condition	9NSCZ2KBEB	statement	none
Hadamard's inequality in Fredholm theory	9NZ9CXC8FY	statement	none
Euler–Maclaurin formula	9P839VB8S7	statement	none
Cartan's classification of symmetric spaces	9P8VK3H4YZ	statement	none
Quadratic convergence of Newton's method	9PBJF44KBX	statement	none
Kolmogorov–Nagumo characterization of quasi-arithmetic means	9Q5DPYQ5NP	statement	none
Napoleon's theorem	9Q5P1P1ABX	statement	none
Łoś–Tarski preservation theorem	9RN0KYXNT1	statement	none
Uniqueness of best approximation in strictly convex spaces	9S18DSRFND	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
Bernstein's theorem on analytic functions	9X3QFZEHM1	statement	none
Pfaff–Saalschütz theorem	9X6KG770GV	statement	none
Maximum principle for subharmonic functions	9XJ5FBQD7M	statement	none
Herglotz representation theorem	9ZBAX4ZPX0	statement	none
Artinian reduced rings are semisimple	9ZBM46J88T	statement	none
Secant method	9ZC177PVPC	statement	none
Nash–Moser theorem	9ZCCXT3KKP	statement	none
Poisson–Jensen formula	9ZG6HNM84Q	statement	none
Combinatorial Nullstellensatz	9ZW7BCJMDT	statement	none
Calderón–Vaillancourt theorem	A0MXE8YWZA	statement	none
Landen's transformation	A0V7ZAEQBW	statement	none
Hodge theorem	A127WFVYKW	statement	none
Spectral theorem for compact self-adjoint operators	A1G25R99PY	statement	none
Courant–Fischer characterization of characteristic values	A1PANCDYTG	statement	none
Hopf invariant one problem	A3AP0P0D4M	statement	none
Generalized minimal residual method	A3FR6PNEPB	statement	none
Blichfeldt's theorem	A3FTHW4NES	statement	none
Multiplication formula for the Fourier transform	A4TRMA5V4V	statement	none
Gauss–Lucas theorem	A56086N8XQ	statement	none
Frullani integral	A58Z1DQ593	statement	none
Cartan decomposition of a Lie group	A5JB9JQKR0	statement	none
Minimum total potential energy principle	A5T30ZHVGH	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
Heine's transformation	A93A5VATSD	statement	none
du Bois-Reymond lemma	AATQKCWAAC	statement	none
Log-convexity of the gamma function	AB3ATTS48V	statement	none
Theorem of the three geodesics	AB9FNZD18B	statement	none
Cantor's isomorphism theorem	ABN5PTXEHY	statement	none
Atkinson's theorem	ABS17CB1D2	statement	none
Smith conjecture	ABYAPP6Q4C	statement	none
Kantorovich duality	AC5CB7RH6Z	statement	none
Multigrid method	AC9PY6FBYF	statement	none
Sinai's factor theorem	ACQ7A58XY7	statement	none
Marcinkiewicz–Zygmund inequality	AE0EZQH4ZM	statement	none
Calderón–Zygmund theorem	AE1HJ8D8GV	statement	none
Kepler conjecture	AFMBQT06ZV	statement	none
Conjugate gradient method	AFXZGQB4EN	statement	none
Hilbert–Burch theorem	AG4FF4DNYQ	statement	none
Binet's formulas for the log-gamma function	AGBWPB994F	statement	none
Riesz–Thorin theorem	AGRKRG1TMJ	statement	none
Khintchine inequality	AGWMZ50SSZ	statement	none
Łoś's theorem	AGYBSTD7BG	statement	none
Kneser's construction of real analytic tetration	AH3G1HDB0D	statement	none
Long exact sequence in homology	AHKJ361FDB	statement	none
Serre spectral sequence	AHW4B5480K	statement	none
Milman–Pettis theorem	AJ5RG9XQYZ	statement	none

Open conjectures and problems

No node in the graph resolves these conjectures and problems.

None.