Frontier, page 24

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.

3939 statements with no proof; 373 open conjectures and problems. Showing up to 3451–3600 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
First law of thermodynamics	V14W2V4JSR	statement	none
Fuglede's theorem	V1C28937NX	statement	none
Kolmogorov continuity theorem	V1HAJNC5RK	statement	none
Schur decomposition	V1JG4C7R7B	statement	none
Schwarz–Pick theorem	V1QYA9RW73	statement	none
Wiener's Tauberian theorem	V20376HXHD	statement	none
Tverberg's theorem	V21XNZ1H0B	statement	none
Weil's local rigidity theorem	V2HTMG4KT1	statement	none
Lewy extension theorem	V2YCGHD719	statement	none
Strong normalization of simply typed lambda calculus	V2Z855MFPC	statement	none
Homotopy invariance of homology	V313FN8HRW	statement	none
Eilenberg–Zilber theorem	V3G5YQTQ00	statement	none
Barometric formula	V3MXN0MARH	statement	none
Lerch's uniqueness theorem	V3YTF5WJHY	statement	none
Regular local rings are domains	V3ZBMRKC08	statement	none
Robertson–Schrödinger uncertainty relation	V41B4WX21N	statement	none
Skolem–Noether theorem	V4PEVFF4F4	statement	none
Popov criterion	V4WDBZ3D2K	statement	none
Hooke's law	V56XAESDNE	statement	none
Abel's summation formula	V5EPT2PX9Z	statement	none
Schur's theorem	V6XJQXZ7E8	statement	none
Josefson's theorem	V6XSDT5C21	statement	none
Morley's categoricity theorem	V7N84P60SJ	statement	none
Maximal ergodic theorem	V7PA1V3N0K	statement	none
Von Mises yield criterion	V82XMG8WPE	statement	none
Tsen's theorem	V8HDYN3JMY	statement	none
Brauer's theorem on induced characters	V8JVWE87TE	statement	none
Parallel axis theorem	V8RK0F7B5B	statement	none
van der Waerden's theorem	V96FRZ2ME1	statement	none
Plancherel theorem for abelian groups	V9K9TG0K3J	statement	none
Remmert's proper mapping theorem	VA2JEWWB61	statement	none
Grothendieck's local duality	VA3DY2YX83	statement	none
Church's theorem on undecidability of first-order logic	VA6BNNY2YC	statement	none
Masur–Veech theorem	VA8R0TZCKB	statement	none
Petrov classification	VAD96VS5HT	statement	none
Krein–Rutman theorem	VADXDK3TKM	statement	none
Yau's conjecture on infinitely many minimal surfaces	VAP45DFXW3	statement	none
Trigonometric definition of Chebyshev polynomials	VAPNSC2JH5	statement	none
Hencky's theorems on slip lines	VB2JS0EM05	statement	none
Swan's induction theorem	VBJWSC908W	statement	none
Lyndon–Hochschild–Serre spectral sequence	VC3QNG6TKR	statement	none
Hook length formula	VCMS1CP91N	statement	none
Newlander–Nirenberg theorem	VCT848WV1T	statement	none
Arrow's impossibility theorem	VD8RCR44GQ	statement	none
Small object argument	VDQAZDHFF7	statement	none
von Neumann coordinatization theorem	VDRCDZ048J	statement	none
Clausius statement of the second law	VECH3HZ04M	statement	none
Tellegen's theorem	VEFHHSP35P	statement	none
Differentiation in the transform variable	VEPJN1NK3C	statement	none
Brody's lemma	VEV5E2077C	statement	none
Hyers' theorem	VFRJ0P2P15	statement	none
Bourgain's dimension bound for harmonic measure	VGB11C8TTN	statement	none
Jury stability criterion	VGV9FAPCHN	statement	none
Laplace transform of an integral	VGYXWXV5M4	statement	none
Artstein's theorem	VH43JKVEQ1	statement	none
Galois' theorem on solvability	VHCWCFA3MX	statement	none
Askey–Gasper inequality	VJ7AMZB988	statement	none
Littlewood's L1 norm conjecture	VJNTCDZS2H	statement	none
Normal shock relations	VK4FWH6CY0	statement	none
Ridders' method	VM1C9D8MX9	statement	none
Horseshoe lemma	VNMBSYX9PY	statement	none
Nyström method	VNS9QQATH1	statement	none
Bernstein–Kushnirenko theorem	VP32769PVR	statement	none
Control variates	VPMRHXP6NM	statement	none
Birkhoff's theorem (relativity)	VPSPT3JS92	statement	none
Sverdrup balance	VQ5Z44PXXR	statement	none
Periodic table of topological insulators	VQ69YK5BV1	statement	none
Slice theorem	VQB2N60ARE	statement	none
Twenty-seven lines on a cubic surface	VQK5HQFYEM	statement	none
Chow–Rashevskii theorem	VQPN24VDH1	statement	none
Kolmogorov–Arnold representation theorem	VQXDB9T838	statement	none
Operator Cauchy equation and one-parameter semigroups	VRBP76MM84	statement	none
Perihelion precession of Mercury	VS3C49R7T0	statement	none
Jónsson's lemma	VT72G3BA99	statement	none
Kodaira–Nirenberg–Spencer existence theorem	VTN8JHGDS5	statement	none
Compatibility conditions	VV0B6C9CAS	statement	none
q-binomial theorem	VVT27RB46B	statement	none
Amitsur's theorem on the radical of polynomial rings	VW2H7873YM	statement	none
Routh's theorem	VWQQY7NFED	statement	none
Kigami's construction of Laplacians on post-critically finite fractals	VXB4G47Z3T	statement	none
Murray's law	VXEK7KC7FZ	statement	none
Ideal gas law	VXVGVDSJ0W	statement	none
Akra–Bazzi theorem	VZ1J7KM4QS	statement	none
Herbrand's theorem	VZ21F10WRS	statement	none
Uniqueness theorem for Fourier–Stieltjes transforms	VZRYBFGZ3G	statement	none
Lévy's upward theorem	W01FD2A8NK	statement	none
Law of corresponding states	W051RJ6BZ3	statement	none
Toyoda–Bruck theorem	W0KBNZBCRR	statement	none
Quartic reciprocity	W0M20JWC9K	statement	none
Schwarz's list	W0MJ51242N	statement	none
Guruswami–Sudan algorithm	W0V3GVZ4VQ	statement	none
Superstability of the exponential equation	W11JCMFK4D	statement	none
Kirchhoff's diffraction formula	W178NQAYS9	statement	none
De Finetti's theorem	W19129PVKQ	statement	none
Briançon–Skoda theorem	W1C0W5MCX0	statement	none
Harris inequality	W1YH3YD3S4	statement	none
Duhamel's principle for heat conduction	W21RZ60DV2	statement	none
Feynman–Kac formula	W26MGR4DA3	statement	none
Serre's criterion for normality	W27Z60Q1PF	statement	none
Hopkins–Levitzki theorem	W29AA0266Z	statement	none
IP = PSPACE	W29Y13KD1T	statement	none
Chern character isomorphism	W3S2GR58Y7	statement	none
Fundamental theorem of affine geometry	W3YYX63R9R	statement	none
Jakobson's theorem	W49VGF1WDE	statement	none
Schmidt's singular value decomposition of a kernel	W4E25FVXV1	statement	none
Balog–Szemerédi–Gowers theorem	W5BZZ59CVM	statement	none
Horton's laws of stream networks	W5X8VSTM8P	statement	none
Existence of transcendence bases	W635VBXEXG	statement	none
Tidal locking	W640NTSTCF	statement	none
Five lemma	W6AVEAW2WR	statement	none
Tennenbaum's theorem	W6D5ZJAY9D	statement	none
G-signature theorem	W6DAWQ6H48	statement	none
Hypsometric equation	W6DRHPVZE4	statement	none
Kellogg–Evans theorem	W6SXM59TS4	statement	none
Parity is not in AC0	W6T7X0QCFH	statement	none
Neumann solution of the Stefan problem	W7C65418TN	statement	none
Sturm comparison theorem	W7VXNYZQN2	statement	none
Impossibility of the classical construction problems	W8J42M1G28	statement	none
Prime ideals of a localization	W8QNZZ4QJS	statement	none
Tube lemma	W8XEZR3VKQ	statement	none
Nielsen–Schreier theorem	W97X7WX5G8	statement	none
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

Open conjectures and problems

No node in the graph resolves these conjectures and problems.

None.