Frontier, page 25

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.

3975 statements with no proof; 373 open conjectures and problems. Showing up to 3601–3750 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
Fully faithful essentially surjective functor is an equivalence	WA60RW9E04	statement	none
Cameron–Martin theorem	WAE4ZGJXJ7	statement	none
Jordan decomposition of a signed measure	WAGJVK2NWE	statement	none
Range conditions for the Radon transform	WASXFTTKK6	statement	none
Aberration of light	WBCV84VHEH	statement	none
Delzant's theorem on toric manifolds	WBKCGFMT0P	statement	none
Gamma function has no zeros	WBS4NM1TFC	statement	none
Momentum integral equation	WCGH22X05Y	statement	none
Wielandt's theorem	WCM87QEEZW	statement	none
Shirshov–Witt theorem	WDC8ABZWBA	statement	none
Birkhoff's completeness theorem	WDHWCQ6Y2Y	statement	none
Harmonic measure as exit distribution	WDJSNMG1EZ	statement	none
Chen's theorem	WE0RQTR68H	statement	none
No-trade theorem	WE8WMBM9SM	statement	none
Stable manifold theorem	WF22KK7C3R	statement	none
Reflection formula for the gamma function	WF7KQAQTS2	statement	none
Frame-dragging	WFCMWBVAEB	statement	none
Necklace splitting theorem	WFS3PHFHA1	statement	none
Unique solvability of Volterra equations of the second kind	WG4GVC9HR8	statement	none
Post's functional completeness theorem	WGBR7JHBV4	statement	none
Titchmarsh convolution theorem	WGY75H4VWW	statement	none
Midpoint method	WHK8D383YT	statement	none
Hadamard three-lines theorem	WHS58R43N0	statement	none
Castelnuovo's contraction theorem	WJ5WRGG5DE	statement	none
Calabi conjecture	WJKA5YBTJ7	statement	none
Lebesgue's lemma on near-best approximation	WJKS606MDF	statement	none
PCP theorem	WJXX7H6B6V	statement	none
Envelope theorem	WK7MKDWRFF	statement	none
Haag–Łopuszański–Sohnius theorem	WKMW5H0GJZ	statement	none
Gamma of one half	WM5FNBB7K0	statement	none
Equipartition theorem	WM78WTQG43	statement	none
Baker's theorem	WMBJSNG57F	statement	none
Corona theorem	WMGA92P2G4	statement	none
Riemann–Roch theorem	WMVAT9MBZ1	statement	none
Bott periodicity theorem	WN2DCBSX1C	statement	none
Antithetic variates	WNFEPEBART	statement	none
Szegő limit theorems	WNJPRHZ680	statement	none
Robertson–Seymour theorem	WP3GDNWJJW	statement	none
Penrose–Hawking singularity theorems	WP4YAHJ6V4	statement	none
Gödel's completeness theorem	WQ1ZE255SF	statement	none
Easton's theorem	WQ967Q2XJD	statement	none
Wilks' theorem	WQPB6GXD0M	statement	none
McKay conjecture	WQQTFRZFBD	statement	none
Jackson's inequality	WQRT86VYA6	statement	none
Prandtl–Glauert transformation	WR0F7AJZVD	statement	none
Gibbs–Bogoliubov inequality	WR3RBEH4QQ	statement	none
Kolmogorov extension theorem	WR4X7MMTH2	statement	none
Uniqueness of solutions given initial values	WREYNFJHH2	statement	none
Picard's theorem for systems with continuous partial derivatives	WRJH45CNRE	statement	none
Griffith criterion	WRSKJ17PTA	statement	none
Rodrigues' rotation formula	WS52X8SGC4	statement	none
Lebesgue's density theorem	WSVXYSNHNX	statement	none
Uniqueness of Haar measure	WSW3B6KNW1	statement	none
Riemann–Lebesgue lemma for abelian groups	WT0S8S75V1	statement	none
Stability of matter	WT1YWF5YMM	statement	none
Van Cittert–Zernike theorem	WTVYA5Y5NJ	statement	none
Cartan's test for involutivity	WV4S47X6QC	statement	none
Cox–de Boor recursion	WVD069C7QF	statement	none
Riemann–Lebesgue lemma	WVKDC011KP	statement	none
BCMP network	WVNP7RQQ9D	statement	none
Riesz–Fischer theorem	WVV4MFB2SE	statement	none
Hohenberg–Kohn theorems	WVVF2EJAH2	statement	none
GAGA	WVZ5EZN9V2	statement	none
Stokes' law	WW2DTGE881	statement	none
Fubini's theorem for series	WW53KG71KH	statement	none
Newman's lemma	WWKVNYM6AX	statement	none
Wang sequence	WWX8HCN260	statement	none
Koebe quarter theorem	WX0HMW4GT7	statement	none
Poisson integral for the half-space	WXFTF05MHK	statement	none
Yoneda Ext and extensions	WXRH0CYKYF	statement	none
Asymptotic stability of linear recurrences	WXV3ZNS2F9	statement	none
Hurwitz's theorem on composition algebras	WZ81H3S4KK	statement	none
Pendry's perfect lens	WZM7N6ZQ9Z	statement	none
Riemann–Roch without denominators	WZV02KSEPC	statement	none
Polar decomposition of the deformation gradient	X0SSN8AM7G	statement	none
Adams conjecture	X12WG9TPQ0	statement	none
Thomason's étale descent theorem	X13075BWW0	statement	none
Miner's rule	X1VCN1H8SQ	statement	none
General solution of x'' = Ax with distinct nonpositive eigenvalues	X20Q9FBQHV	statement	none
Kozeny–Carman equation	X2FXX4Z4F8	statement	none
Mellin's inverse formula	X2H35BP974	statement	none
Kochen–Specker theorem	X2RF2WKWV9	statement	none
Quillen–Lichtenbaum conjecture	X3VFA5XH6B	statement	none
Calabi–Weil rigidity	X4DZR72B6N	statement	none
Tanh-sinh quadrature	X4EXEGM2BV	statement	none
Schur's lemma	X4M2FFKQJ6	statement	none
Mittag-Leffler's theorem	X4R2GY1F6J	statement	none
Chasles' theorem	X4R728TVZE	statement	none
Beltrami–Michell compatibility equations	X51QF31202	statement	none
Lieb–Wu solution of the one-dimensional Hubbard model	X58VGXJ2FJ	statement	none
Colorful Carathéodory theorem	X5GS407VP8	statement	none
Greedy algorithm for matroids	X5HKX5VJ01	statement	none
Milnor fibre is a bouquet of spheres	X5HMTTGB62	statement	none
Schröder–Bernstein theorem for finite sets	X5R6PJQQVD	statement	none
Abel–Dini theorem	X629NF2CQS	statement	none
Additive Schwarz method	X68MFYW014	statement	none
Inner-outer factorization	X6ZQPAQF76	statement	none
Spectral theorem for bounded normal operators	X71XRPJR7D	statement	none
Dual of a compact group is discrete	X7417ZQWZY	statement	none
Robbins conjecture	X74S395RZD	statement	none
Artin's theorem on fixed fields	X7R15C00ET	statement	none
Bondy's theorem	X7S41PARF5	statement	none
Lie algebra of a compact group is reductive	X7T5D9SMT5	statement	none
Poynting's theorem	X7XV59S3Z0	statement	none
Quasi-steady-state approximation	X7YR27X88B	statement	none
Jensen inequality as a functional inequality	X84R2EWQJP	statement	none
Newtonian limit	X87KPFF17K	statement	none
Baker–Campbell–Hausdorff formula	X898DPBSY7	statement	none
Mayer–Vietoris sequence	X8BWXFGK53	statement	none
Orthogonality of eigenfunctions of the equation x'' + lambda x = 0 with standard boundary conditions	X8JB2RKK95	statement	none
Stinespring dilation theorem	X8K0Z7484R	statement	none
Balancing domain decomposition	X8MCVW56QP	statement	none
Hilbert's tenth problem	X8TVJSVTD4	statement	none
Chebotarev's density theorem	X8VKW5Y1CZ	statement	none
Bangert–Franks theorem on closed geodesics on the sphere	X93AEE88PX	statement	none
Cowling's antidynamo theorem	X9PZ8RJH90	statement	none
F. and M. Riesz theorem	X9V1E3V145	statement	none
Gödel's incompleteness theorems	X9WYNYE29C	statement	none
Weyl's theorem on compact perturbations	X9XRGMDCQZ	statement	none
Cotlar–Stein lemma	XBJEDC18B1	statement	none
Lindelöf's theorem	XBM7J5R1VQ	statement	none
Gromoll–Meyer theorem on closed geodesics	XC8BRYJN93	statement	none
Classification of simple Lie algebras	XCN6HZ2GM9	statement	none
Fubini's theorem on differentiation	XDEJCKRVQ4	statement	none
Gauss–Laguerre quadrature	XE98WJB3FV	statement	none
Siegel–Walfisz theorem	XEPW251A97	statement	none
Filippov's existence theorem	XEX7QZV1BS	statement	none
Kirchberg–Phillips classification theorem	XF19H09NC9	statement	none
Hadamard's two-constants theorem	XGBDVQQV0T	statement	none
Cartan–Kähler theorem	XGDJ4V44PD	statement	none
Stability conjecture	XGNX9R7Q0Y	statement	none
Johnson's rule	XHK1K3RM0X	statement	none
Noether's theorem	XHPDM5T2JG	statement	none
Skorokhod's embedding theorem	XHTYZ7ER4Z	statement	none
Beckman–Quarles theorem	XHWA2TEC7X	statement	none
Decay of Fourier coefficients and smoothness	XHXKMS1GXQ	statement	none
Gleason–Yamabe theorem	XJF5V9WHKZ	statement	none
Mellin inversion theorem	XJWC13NY9E	statement	none
Frobenius's theorem on Frobenius kernels	XK7H3YXBQT	statement	none
Pentagon identity	XM4NTS5BGG	statement	none
Theta transformation formula	XM695ZZ4FJ	statement	none
Hilbert's theorem on the hyperbolic plane	XM772FD0BS	statement	none
AKS primality test	XMHQCDWZW1	statement	none
Levi decomposition	XMP8X1YVJ3	statement	none
Triangle removal lemma	XMS1QRAQZC	statement	none
Bounded gaps between primes	XMXFDWYYMD	statement	none
Hertzian contact stress	XNCND3KYNP	statement	none
De la Vallée Poussin lower bound	XNPVW5Z126	statement	none
Nesbitt's inequality	XPBQEJNYJ6	statement	none
Fredholm's theorem	XQ8DYKW4SH	statement	none

Open conjectures and problems

No node in the graph resolves these conjectures and problems.

None.