Frontier, page 23

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 3301–3450 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
Kermack–McKendrick theory	S3TKETEEKV	statement	none
Silverman–Toeplitz theorem	S4J7SRPXMZ	statement	none
Stone's representation theorem for Boolean algebras	S4QJ395PA5	statement	none
Rankine–Hugoniot conditions	S4XMYJ3V42	statement	none
Tolman surface brightness test	S5SA5Z9ESF	statement	none
Orthogonality of characters	S6ARZ7M1YE	statement	none
Unique factorization of ideals in a Dedekind domain	S6PHT75MEK	statement	none
Hardy's inequality	S7A8YFGG8X	statement	none
Revenue equivalence theorem	S7D82PQ62H	statement	none
Bidiagonalization	S7MC88TW6W	statement	none
Båth's law	S8PQP70E6K	statement	none
Selberg integral	S8VTVSJ6EX	statement	none
Chebyshev's sum inequality	S8X2N1DW8P	statement	none
Vis-viva equation	S95BKBMH2Z	statement	none
Fatou's lemma	S95TR54TCG	statement	none
Fast Fourier transform	S966EZX3ZT	statement	none
Muckenhoupt's theorem	S9BKNBRV4H	statement	none
Lambek's lemma	S9FVESJ0CS	statement	none
Kummer's transformation	S9VTAYV1VJ	statement	none
Priestley duality	SA22SEC75K	statement	none
Clifford theory	SAH4PD2J9T	statement	none
Lebesgue differentiation theorem	SAZ0ESVBVP	statement	none
Denjoy–Carleman–Ahlfors theorem	SB55PWPRH2	statement	none
Weyl–von Neumann theorem	SB8PFJCJBC	statement	none
Euler's laws of motion	SBCV6VZG6D	statement	none
Ladyzhenskaya–Babuška–Brezzi condition	SC5FV3GHV5	statement	none
Pole placement theorem	SCY6X79XVP	statement	none
Shoelace formula	SDHZRWMSTT	statement	none
Shafarevich's theorem on solvable Galois groups	SDV692Z915	statement	none
Williams crack-tip expansion	SEG9TKP2KQ	statement	none
Fourier sine and cosine series of a function on an interval	SEZ1P0VCJA	statement	none
Hölder's theorem	SF3X43X837	statement	none
Kraus representation of a channel	SFX7B478FE	statement	none
Amenability of abelian and solvable groups	SG5K6GE0YB	statement	none
Excision theorem	SGHMSBHHA0	statement	none
Cayley–Hamilton theorem for modules	SH3R5VTMZH	statement	none
Gelfand's trick	SHRAS0S8R2	statement	none
Linearity of the Laplace transform	SHX9JPKJBE	statement	none
Krull's principal ideal theorem	SJZW2HN1SC	statement	none
K5 is not planar	SKNVHHVVK7	statement	none
Euler–Gauss limit formula	SKRP9NDXR4	statement	none
Lefschetz principle	SKTMN14X5P	statement	none
Zamolodchikov c-theorem	SNAYN0P1N2	statement	none
Work–energy theorem	SNB562CJDB	statement	none
Whitney immersion theorem	SNZTKKN3GP	statement	none
Wang's finiteness theorem	SP421Y498C	statement	none
Golden rule savings rate	SPDJ69H158	statement	none
Segre's theorem	SPFP3GHVYJ	statement	none
Bondareva–Shapley theorem	SPRBTRTD36	statement	none
Auslander–Buchsbaum formula	SQB74J5E8Q	statement	none
Equioscillation theorem	SRW9PD2RSA	statement	none
Pitman–Koopman–Darmois theorem	SSFSDQX8RR	statement	none
Rental harmony	SSK0QQYYBP	statement	none
Whitney's theorem on folds and cusps	SSWFTA4GP8	statement	none
Arctic circle theorem	ST1PFA7B8A	statement	none
Wiener's criterion	STMT1K1865	statement	none
Ward–Takahashi identity	STN15FJ43Z	statement	none
Boolean prime ideal theorem	STPBXBKSZP	statement	none
Moise's theorem	SV0816DJP9	statement	none
Pairwise summation	SVSVMWA9NQ	statement	none
Burkholder–Davis–Gundy inequality	SWHVQD9YEB	statement	none
Pinsker's inequality	SWKBN9SHCF	statement	none
Jeans instability in an expanding universe	SWR6C8DMAR	statement	none
Doob–Meyer decomposition theorem	SX7ZPP72EM	statement	none
Geodesic deviation equation	SXFTH721QT	statement	none
Unique size of a nonempty finite set	SXMFC5RE1T	statement	none
Resolvent as Laplace transform of a semigroup	SXNWHN2C01	statement	none
Commutativity of convolution	SY0TJ4NCES	statement	none
List scheduling and Graham's bound	SY4QF2SEDN	statement	none
Kelly criterion	SYAV7PPZN5	statement	none
Decay of the Fourier transform of surface measure	SYP1ATSTTH	statement	none
Bogomolov–Miyaoka–Yau inequality	SYSVE5P1YN	statement	none
Lusternik–Schnirelmann theorem	SYVXQQK57V	statement	none
Kantorovich–Rubinstein duality	SYXSZD8EFK	statement	none
Szegő's theorem	SZ8ARMDEMY	statement	none
Equivalent definition with relaxed axioms	T0BWYYR508	statement	none
Second law of thermodynamics	T11MGWEKJ3	statement	none
Liouville's theorem for planar harmonic functions	T12FSF2J2V	statement	none
Competitive exclusion principle	T1HZAXG2HH	statement	none
Liénard–Chipart criterion	T1KQ3DPYZF	statement	none
Conservation of momentum	T1SHG5MD9R	statement	none
Resolvent equation for kernels	T26WGV2PQW	statement	none
Gauss's law for potentials	T2CYAYF0MT	statement	none
Dimension of a polynomial ring	T35XFF5AY3	statement	none
Sylvester–Gallai theorem	T3GGJN70P2	statement	none
Reidemeister's theorem	T3HAGWYKK7	statement	none
Alexander's theorem on proper self-maps of the ball	T3VN45KV0D	statement	none
General solution of a second order equation with complex characteristic roots	T3X6FAWNN6	statement	none
Chandrasekhar–Friedman–Schutz instability	T4DGQW7TPX	statement	none
Nerve theorem	T4MTXNJJ3Q	statement	none
Gelfand's spectral radius formula	T4RFYT8HDN	statement	none
Recurrence relations for Bessel functions	T4VP5QTQK6	statement	none
Fourier inversion theorem	T4Z8YQZKZV	statement	none
Monotone cubic interpolation	T53N88Y21J	statement	none
Verification theorem	T5BEKMG5W8	statement	none
Barbier's theorem	T5D9RSE0X2	statement	none
Gårding's inequality	T5MDFAZ0H6	statement	none
Baouendi–Trèves approximation theorem	T5VW3PE7TZ	statement	none
Ambrose–Singer theorem	T61AW674XD	statement	none
Maximum principle for harmonic functions	T62HHSRHP5	statement	none
Right adjoints preserve limits	T6A7JK3J98	statement	none
Mather's stability theorem	T6BK8Q8PK8	statement	none
Descartes' rule of signs	T6DQQ36JZ5	statement	none
Equivariant index theorem	T866256Y1W	statement	none
Bruhat decomposition	T91E86D0RH	statement	none
Shephard's lemma	T968JGCJHC	statement	none
Szpilrajn extension theorem	T9CJHV6JW3	statement	none
Terzaghi's principle of effective stress	T9CN8TKN8Z	statement	none
Chomsky–Schützenberger representation theorem	T9XQN8D4C7	statement	none
Cauchy momentum equation	T9ZNP5F24M	statement	none
Abian–Brown theorem	TAHM74ZNWB	statement	none
Kawamata–Viehweg vanishing theorem	TAMCTW7SA0	statement	none
Gibbard–Satterthwaite theorem	TBNSQP89PH	statement	none
Krull's height theorem	TBRTZMHFTV	statement	none
Abraham–Lorentz force	TC04HE7BDQ	statement	none
Foster's theorem on primal algebras	TCD8SZW95Z	statement	none
Peixoto's theorem	TDCY8TASCS	statement	none
Abel inversion formula	TDMXFY06A2	statement	none
Kaplansky density theorem	TDTMMY7RK1	statement	none
Hirzebruch signature theorem	TEG1ZX1AGJ	statement	none
Bertrand's theorem	TF4XRDB5NK	statement	none
Chevalley's theorem on constructible sets	TGN01264C4	statement	none
Levenberg–Marquardt algorithm	TH54SPVN1N	statement	none
Natural proofs barrier	THPBBYSDP1	statement	none
Lensmaker's equation	THR3PN9PKN	statement	none
Multiplication by zero	THR3WMJCSN	statement	none
Siu's semicontinuity theorem	THSVFE7YER	statement	none
Paley–Wiener theorem	THY12GPZ8C	statement	none
Gravitational redshift	TJ74QPATFP	statement	none
Lichnerowicz–Obata eigenvalue theorem	TK1PT9FDV0	statement	none
Schur product theorem	TM1RE1G7JK	statement	none
Löwner–John theorem	TM5SYH4XHY	statement	none
Borel density theorem	TM8PYTBT6Y	statement	none
Separation principle	TMEKPXMC7V	statement	none
Friendship theorem	TN4GDFWGAR	statement	none
Roe solver	TNM5CFSZM6	statement	none
Hadamard three-circle theorem for subharmonic functions	TNMQDK0RR0	statement	none
Fundamental theorem of space curves	TNYQ5R0NVM	statement	none
Bürmann–Lagrange series	TPB4F1VY4Z	statement	none
Nonzero subspaces of R^n have a basis and a well-defined dimension	TPGDCRJAEC	statement	none
Fejér's theorem	TPJZCSXSVN	statement	none
Barycentric interpolation formula	TPRFJNZ7S2	statement	none
Hörmander's L2 estimates	TPSH4ETK67	statement	none
Federer–Fleming compactness theorem	TPXYARH912	statement	none
Simplicial approximation theorem	TQFXC1A6G5	statement	none
Rank–nullity theorem for matrices	TR48YQGCCA	statement	none
Sato–Tate conjecture	TRGBJYPBXH	statement	none
Fermi's golden rule	TRJT18XAY8	statement	none
Endomorphism ring of a simple module is a division ring	TRMYSF91EV	statement	none
Lindelöf's maximum principle	TS9TBY8ES1	statement	none

Open conjectures and problems

No node in the graph resolves these conjectures and problems.

None.