Frontier, page 21

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.

3066 statements with no proof; 222 open conjectures and problems. Showing up to 3001–3066 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
Operator exponential and translation	Z22Y9N8EHN	statement	none
Lumer–Phillips theorem	Z2N8MPD8DH	statement	none
Morrey's inequality	Z2R1JY1CHS	statement	none
Littlewood's Tauberian theorem	Z35TD4ZZRD	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
No-retraction theorem	Z6JR1GN2RE	statement	none
Fisher–Neyman factorization theorem	Z6MF9ZGCMW	statement	none
Four-vertex theorem	Z6QYDSJVFX	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
Synge's theorem	Z8JJ04X1JX	statement	none
Reeb stability theorem	Z93KMZ9R37	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
Functional equation of the gamma function	ZCB806EV8A	statement	none
Alexandrov's theorem on polyhedra	ZCDWXVMDFN	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
Hartogs lemma for subharmonic functions	ZENZT8596D	statement	none
Cone theorem	ZJSW0HP75H	statement	none
Adams' theorem on Hopf invariant one	ZJVKZ8D64P	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
Skolem–Mahler–Lech theorem	ZQFPVWMY4M	statement	none
Whitney–Graustein theorem	ZR6DEE6RBC	statement	none
Łoś–Vaught test	ZR7Y5C235P	statement	none
Bochner's theorem	ZRHAG4NXHC	statement	none
Jacobi condition	ZRV9T8DD05	statement	none
Support of a convolution	ZS29A7QQC2	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
Grothendieck spectral sequence	ZV7VGE2SQ2	statement	none
Montel's theorem	ZVFVBVJMCB	statement	none
Mason–Stothers theorem	ZWPWF6NJC3	statement	none
Weak Nullstellensatz	ZWS0YWGF17	statement	none
Newton–Puiseux theorem	ZWT5HGRFXX	statement	none
Hellinger–Toeplitz theorem	ZXJ7FJ3WCE	statement	none
Absolute continuity of the Lebesgue integral	ZXK6XM44HS	statement	none
Maupertuis's principle	ZXY0AYKMXZ	statement	none
Transitivity of integrality	ZXZMQM818D	statement	none
Boundary integral equation for the Dirichlet problem	ZYDVFT6JR7	statement	none
Stein–Tomas restriction theorem	ZZVWHNFY6F	statement	none

Open conjectures and problems

No node in the graph resolves these conjectures and problems.

None.