Frontier, page 22

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 3151–3300 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
Schur complement method	R997ZAD141	statement	none
Cauchy–Fantappiè formula	R9JJ44TMQB	statement	none
Thue–Siegel–Roth theorem	R9JZA3G2NX	statement	none
Friedberg–Muchnik theorem	RA358M9QCN	statement	none
Biot–Savart law	RA4GE6185Q	statement	none
Toeplitz index theorem	RABJ6X1BXC	statement	none
Weyl's inequality	RACSNQXDQV	statement	none
No-hair theorem	RAEHHEPX7F	statement	none
Callan–Symanzik equation	RAHKB0ZHG8	statement	none
Singleton bound	RAKXDDYNAM	statement	none
Four-point condition for tree metrics	RB2ASXWSZN	statement	none
Every nonzero natural number is a successor	RB2B8JCVHX	statement	none
Dugundji extension theorem	RBDJBK63HX	statement	none
Golod–Shafarevich theorem	RC5A5T7YY2	statement	none
Karlin–Rubin theorem	RCASN31FFS	statement	none
Gromov's non-squeezing theorem	RDX55HQ3XT	statement	none
Jordan–Zassenhaus theorem	RDZGJ21WRX	statement	none
Vogt–Russell theorem	RED4EF0DRT	statement	none
Fundamental identity for ramification and inertia	REJDQ6BTQV	statement	none
Gauss–Jacobi quadrature	RFA8HAEW9D	statement	none
Euler's theorem in geometry	RFCQT6TKZF	statement	none
Hu–Washizu principle	RG1Z4YXVF4	statement	none
Bing metrization theorem	RGCZ2P9QRM	statement	none
A tree with at least two vertices has at least two leaves	RGZK7WEN74	statement	none
Whitney extension theorem	RH2EZGYGAW	statement	none
Graeffe's method	RHPQG175AH	statement	none
Beeman's algorithm	RHQ88QD2BE	statement	none
Knaster–Tarski theorem	RHXP3HA64M	statement	none
Reynolds analogy	RJ2CK83N11	statement	none
Beth definability theorem	RJBDSA2ETP	statement	none
Jensen's covering theorem	RJE1W5NRE3	statement	none
Heun's method	RJEK60G28F	statement	none
Fundamental convergence theorem	RJK6ZKNF6R	statement	none
Kac–Weyl character formula	RJKHTWHME1	statement	none
Projective bundle theorem	RJWPXT4PC3	statement	none
Ramanujan's 1psi1 summation	RK6DCJVJCR	statement	none
Dirichlet's principle	RKK3XHG4MR	statement	none
Mackey–Arens theorem	RKKWS7CDNF	statement	none
Fermat's principle	RKX9XJ0RVW	statement	none
Ornstein–Zernike correlation decay	RMC8Q8HM1B	statement	none
Kelvin–Planck statement of the second law	RMNJ00XP8X	statement	none
Analyticity of the bilateral Laplace transform of a law	RMXW3D9XZ3	statement	none
Gelfond–Schneider theorem	RN58Z2NWAC	statement	none
Sokhotski–Plemelj theorem	RNB6QX0GCA	statement	none
Lattice of stable matchings	RP5BF9HK31	statement	none
Halley's method	RPME2B5MS2	statement	none
Mellin transform of a power times a function	RPQNSM5HKC	statement	none
Law of the iterated logarithm	RQJC67S0QJ	statement	none
Taylor–Proudman theorem	RQKS2ACV95	statement	none
Mazur's torsion theorem	RQS6YHAR8N	statement	none
Asymptotic freedom	RRN63RT562	statement	none
Gromov's theorem on groups of polynomial growth	RSBFHHPTWX	statement	none
Appell's equation of motion	RSM2W4X0N8	statement	none
Krein–Milman theorem	RSRAY0Q68S	statement	none
Clifford's theorem on special divisors	RSW29AVKGM	statement	none
Duhamel–Neumann law	RT1JE5V0PW	statement	none
Apéry's theorem	RT5MJT6CTB	statement	none
Petrov–Galerkin method	RTBJM23ETS	statement	none
Almgren's regularity theorem	RV6PWJBH5P	statement	none
Nagaoka ferromagnetism	RVB2FA29DD	statement	none
Hamilton's rule	RVKNX8HN1V	statement	none
Carleman's condition	RVZ831CNYW	statement	none
Gauss's law	RWHF5M1H72	statement	none
Lebesgue constants of the Dirichlet kernel	RWKQ5EP4YF	statement	none
Serre's modularity conjecture	RWXXNZNQYJ	statement	none
Fundamental theorem of calculus for Lebesgue integrals	RX7JSHMP8Z	statement	none
Bluestein's FFT algorithm	RY3QGW87HX	statement	none
Fenchel's duality theorem	RY425WPK6N	statement	none
Kurosh subgroup theorem	RY8K5RQJSR	statement	none
Phyllotaxis and the golden angle	RYAQP17PHH	statement	none
Euler's theorem on normal curvatures	RYB4DQTAK0	statement	none
Adjunction formula	RYB6F7JFGV	statement	none
Calderón–Zygmund estimates	RYQJH4RYB4	statement	none
Hamming bound	RZEGDKR7C7	statement	none
An infinite product converges iff its series of logarithms converges	RZKC8B00HZ	statement	none
Johnson's theorem on amenable group algebras	RZNFYDHD1T	statement	none
Wigner–Eckart theorem	RZV2Z7XCJ5	statement	none
Cramér's theorem	RZZK51CXMN	statement	none
Seifert–van Kampen theorem	S17DY98VF2	statement	none
Erdős–Rado theorem	S1BHE358VX	statement	none
Oka principle	S1CJV1PA3D	statement	none
Uncertainty principle in Fourier analysis	S1FB2K14NV	statement	none
Kirchhoff's matrix tree theorem	S1PG1N2VEX	statement	none
Jeans instability	S1PZ23YAXQ	statement	none
Minlos theorem	S2J9CBPJ0V	statement	none
Lovász bound on the Shannon capacity	S2NHS1CV16	statement	none
Gordon–Newell theorem	S2WX7J4805	statement	none
Hopf's formula	S31M1ZYJRK	statement	none
Zero divisors are the union of associated primes	S37DQGW3TZ	statement	none
Ginzburg criterion	S3HXP33ZP8	statement	none
Lorentz force	S3RZRCH0T5	statement	none
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

Open conjectures and problems

No node in the graph resolves these conjectures and problems.

None.