Frontier, page 26

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.

3916 statements with no proof; 373 open conjectures and problems. Showing up to 3751–3900 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
Minkowski–Hlawka theorem	YANP1PHBQ3	statement	none
Euler's continued fraction formula	YB35R7F7RZ	statement	none
Fundamental theorem of algebraic K-theory	YB37MJ90SB	statement	none
Sz.-Nagy's dilation theorem	YB7Q3EK0ND	statement	none
Grushko theorem	YB8V6TQDYE	statement	none
Böttcher's equation	YBBDYHBADD	statement	none
Sharkovskii's theorem	YBCZ9VY7SX	statement	none
Zariski's lemma	YBJ2VQHFDQ	statement	none
Balinski's theorem	YBNZWCG8AC	statement	none
Transitivity of the pair relation for constructing the integers	YBPNTF77D3	statement	none
Sierpiński's theorem on measurable midpoint convex functions	YBVSDT89T6	statement	none
Approximation by convolution with mollifiers	YBYE4TBNJV	statement	none
Star–triangle relation	YC9TY98HJZ	statement	none
Kolmogorov four-fifths law	YD04KYV1YR	statement	none
Kempe's universality theorem	YD5Y39065F	statement	none
Artin–Schreier theorem on formally real fields	YDBXV8JMYE	statement	none
Goldman equation	YDEM84WFYD	statement	none
Amitsur–Levitzki theorem	YDH60KPTWT	statement	none
Gabber rigidity theorem	YE2EQ8R966	statement	none
Going-down theorem	YE52MQ13MV	statement	none
Mazur–Orlicz theorem	YE5439NH1T	statement	none
Arnold's classification of simple singularities	YE5F548WMS	statement	none
Bieberbach theorems	YE87R5CDJY	statement	none
Sturm separation theorem	YEBPTXZ1FS	statement	none
Isomorphism theorem for measure algebras	YFAQGE2ATQ	statement	none
Hilbert's Theorem 90	YFF8B5A0QG	statement	none
Birkhoff–Frink representation of algebraic closure systems	YFT50501A0	statement	none
Uniform boundedness principle	YG0042V8CJ	statement	none
Arrhenius equation	YG3QV4FZQF	statement	none
Toomre's stability criterion	YG8TWGNME5	statement	none
Chebyshev–Markov–Stieltjes inequalities	YGJZCD37ZY	statement	none
Gromov's compactness theorem	YGSKZFTEX1	statement	none
A Dedekind UFD is a PID	YGV5S3MRD6	statement	none
Langlands classification	YHFP9HGBTT	statement	none
Automorphism group of a bounded domain is a Lie group	YHGS413E8B	statement	none
Doob decomposition theorem	YHSSQ67GDS	statement	none
Sphere packing in dimensions 8 and 24	YJ48S89BZA	statement	none
Wedderburn's theorem on simple Artinian rings	YJM07BT0KK	statement	none
Paris' law	YK25SZKXAX	statement	none
Coleman–Mandula theorem	YKPXT94HWP	statement	none
Theorema Egregium	YKSA8SJ81V	statement	none
Rellich–Kondrachov theorem	YM3JZ34PME	statement	none
Multiplication theorem	YM68BCKBXC	statement	none
Bochner–Martinelli formula	YMHYAEJQ80	statement	none
Bochner's tube theorem	YMP12DXCSP	statement	none
Harish-Chandra isomorphism	YNBQS0X9ZB	statement	none
Harnack's inequality	YNH832D50W	statement	none
Likelihood principle	YR5RAT9HWZ	statement	none
Nevanlinna parametrization of solutions	YRBT3ZHSV3	statement	none
Fluctuation–dissipation theorem	YRV3DKKCM8	statement	none
Tarski's undefinability theorem	YRV6SYK2BY	statement	none
Dundas–Goodwillie–McCarthy theorem	YRXZY9A1P9	statement	none
Three-term recurrence for orthogonal polynomials	YRYWCP9TYV	statement	none
K2 and the Brauer group	YRZX9CNTK5	statement	none
Osterwalder–Schrader reconstruction theorem	YS3ER7BW8W	statement	none
Schützenberger's theorem on star-free languages	YSXPVN8G0D	statement	none
Annihilator duality	YT42EZ7GQQ	statement	none
Expansion in spherical harmonics	YTPE0GBKWW	statement	none
Mellin transform of a dilation	YV5VNM5ADP	statement	none
d'Alembert's formula	YVQRAPSF77	statement	none
Burke's theorem	YVQYFMF9HZ	statement	none
Weierstrass–Enneper parameterization	YWV6J23AP6	statement	none
Smn theorem	YWX4FCFPAP	statement	none
Classification of covering spaces	YY277RBF8Z	statement	none
Bose–Einstein condensation	YYBRA846TR	statement	none
Laplace's integral for Legendre polynomials	YYQG5P32GX	statement	none
Thermodynamic stability conditions	YYQRRFQAQP	statement	none
Morse index theorem for geodesics	YZ4268SK8G	statement	none
Lying over theorem	YZ97GKYY3P	statement	none
Sard–Smale theorem	Z0NPFYDVP2	statement	none
Lieb–Schultz–Mattis theorem	Z0ZHN80F2B	statement	none
Hawking radiation	Z1Y6E4YCTZ	statement	none
Operator exponential and translation	Z22Y9N8EHN	statement	none
Principle of maximum entropy	Z2ED2TA87E	statement	none
Lumer–Phillips theorem	Z2N8MPD8DH	statement	none
Morrey's inequality	Z2R1JY1CHS	statement	none
Suslin rigidity theorem	Z2Z2WAQJJN	statement	none
Littlewood's Tauberian theorem	Z35TD4ZZRD	statement	none
von Neumann's theory of almost periodic functions on groups	Z3AF4DBYQ3	statement	none
Myers–Steenrod theorem	Z3VRMW8ETQ	statement	none
Hairy ball theorem	Z49RAKVCWG	statement	none
O'Nan–Scott theorem	Z4WVANZPK4	statement	none
Whittaker–Shannon interpolation formula	Z4ZFP6FNK2	statement	none
Anderson–Kadec theorem	Z5DHRKE2Q0	statement	none
Dévissage	Z60D02HYWJ	statement	none
No-retraction theorem	Z6JR1GN2RE	statement	none
Fisher–Neyman factorization theorem	Z6MF9ZGCMW	statement	none
Four-vertex theorem	Z6QYDSJVFX	statement	none
Scaling relations among critical exponents	Z6W0AXDN9G	statement	none
Atiyah–Hirzebruch spectral sequence	Z74J6D5B0J	statement	none
Girsanov theorem	Z76HD1BZ29	statement	none
Golden–Thompson inequality	Z7R754JC7N	statement	none
Sard's theorem	Z7R8J71SJN	statement	none
Undecidability of the halting problem	Z7TN2B35B0	statement	none
Word problem for free lattices	Z86VGP5RMG	statement	none
Stone–von Neumann theorem	Z877XDBMQ3	statement	none
Euler integral for the gamma function	Z8D1CZFTWP	statement	none
Gravitational memory effect	Z8E24ZVQPS	statement	none
Synge's theorem	Z8JJ04X1JX	statement	none
Reeb stability theorem	Z93KMZ9R37	statement	none
Aizenman–Higuchi theorem	Z9EXV19CK2	statement	none
Young–Laplace equation	Z9TBETJAP6	statement	none
Hurewicz theorem	ZA11N5XPZM	statement	none
CSP dichotomy theorem	ZA4YXJ9T1P	statement	none
Boutet de Monvel's embedding theorem	ZAH4SK5YX7	statement	none
First and second variation of arc length	ZB91TH6FKV	statement	none
Bernstein's theorem on monotone functions	ZBS1JA62QP	statement	none
Principle of virtual work	ZC3YKMKRGP	statement	none
Functional equation of the gamma function	ZCB806EV8A	statement	none
Alexandrov's theorem on polyhedra	ZCDWXVMDFN	statement	none
Division with remainder for natural numbers	ZCZA6VXCZZ	statement	none
Barratt–Priddy–Quillen theorem	ZD7BNADK4H	statement	none
Sklar's theorem	ZD7V7R27R9	statement	none
Ehrhart–Macdonald reciprocity	ZDBER9FJ6T	statement	none
Bareiss algorithm	ZDBW3AB587	statement	none
Anti-equivalence of affine schemes and rings	ZE780BQS42	statement	none
Smirnov's theorem on conformal invariance of percolation	ZEBG1G27TV	statement	none
Hartogs lemma for subharmonic functions	ZENZT8596D	statement	none
Three-moment equation	ZGCR9KA1PT	statement	none
Hex theorem that the first player wins	ZJ8Y08FTTC	statement	none
Optical theorem	ZJG1YAGANG	statement	none
Cone theorem	ZJSW0HP75H	statement	none
Adams' theorem on Hopf invariant one	ZJVKZ8D64P	statement	none
Jacobi identity	ZKFN197MBR	statement	none
Holomorphy of the gamma function	ZKJF80DTNB	statement	none
Mellin transform under inversion of the variable	ZM5VYK2BFB	statement	none
Frenet–Serret formulas	ZM6W89YNS7	statement	none
Banach–Zarecki theorem	ZMEYSAHNX3	statement	none
Bieberbach conjecture	ZMRFSYVWQT	statement	none
Ramanujan's master theorem	ZN4NMX1DB4	statement	none
Grauert's direct image theorem	ZNCF16AENG	statement	none
Fourier transform of the Gaussian	ZNEHMR2CCP	statement	none
Finite-dimensional Hausdorff vector topologies are Euclidean	ZNMN1YA83C	statement	none
Landauer's principle	ZPCGW6FGB0	statement	none
Kazhdan–Lusztig conjecture	ZPE6XR02YQ	statement	none
Skolem–Mahler–Lech theorem	ZQFPVWMY4M	statement	none
Pauli exclusion principle	ZQGC326NP7	statement	none
Whitney–Graustein theorem	ZR6DEE6RBC	statement	none
Łoś–Vaught test	ZR7Y5C235P	statement	none
Yarkovsky effect	ZRA2KCZNBP	statement	none
Laws of thermodynamics	ZRBHQ15TAT	statement	none
Bochner's theorem	ZRHAG4NXHC	statement	none
Jacobi condition	ZRV9T8DD05	statement	none
Support of a convolution	ZS29A7QQC2	statement	none
Kármán–Howarth equation	ZSP670B8RR	statement	none
Glen's flow law	ZSWNS5BRS1	statement	none
Morley's trisector theorem	ZT97FC11VA	statement	none
Faber's theorem on interpolation	ZTBC6G7DGD	statement	none
Hindman's theorem	ZTWTZ8CSGV	statement	none
Mellin transform as a Fourier transform in logarithmic variables	ZTZ1FRRFM8	statement	none

Open conjectures and problems

No node in the graph resolves these conjectures and problems.

None.