Frontier, page 13

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.

3070 statements with no proof; 222 open conjectures and problems. Showing up to 1801–1950 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
Gleason's theorem on projective compact spaces	CPZKZ2AV0G	statement	none
Converse of the mean value property	CQ7E0V6T2G	statement	none
Direct summand conjecture	CQJ1FPKKHT	statement	none
Modularity theorem	CS1NVJBZMH	statement	none
Dougall's formula	CSCWM5ZKV4	statement	none
Kaczmarz method	CSETD54YDT	statement	none
Uniform convergence of absolutely summable Fourier series	CSYZGA5YKS	statement	none
Wald's equation	CTDG4MZC8D	statement	none
Mackey imprimitivity theorem	CTYQQWJPMB	statement	none
Local existence of harmonic conjugates	CVDGP7DKZ3	statement	none
Brenier's theorem	CVQVBMHH4X	statement	none
Non-vanishing of the zeta function on the line Re s = 1	CXES7915R7	statement	none
Pólya's theorem on integer-valued entire functions	CYT8JNNWXH	statement	none
Gauss–Newton algorithm	CYV4T43FQJ	statement	none
Birkhoff's subdirect representation theorem	CZF5696TPY	statement	none
Kodaira–Nakano vanishing theorem	CZRWHNKD2C	statement	none
Filtered colimits commute with finite limits	CZYDQ96X2T	statement	none
Conley's fundamental theorem of dynamical systems	D07MBM0S3V	statement	none
Mahler's theorem	D115PG3T7K	statement	none
LYM inequality	D1GQNNRDDN	statement	none
Maximum principle	D2JF19HF91	statement	none
Bass's theorem P	D2M8BSW720	statement	none
Adams–Novikov spectral sequence	D34QHZVPES	statement	none
Euler's formula for polytopes	D39NBQH3H6	statement	none
Alexandrov–Fenchel inequality	D3AVHVYQW9	statement	none
Lax equivalence theorem	D5M7TRD3MY	statement	none
De Giorgi's structure theorem	D5VM0MC3EB	statement	none
Yoneda lemma	D6DF1ARPVD	statement	none
Prokhorov's theorem	D6FMEQYA76	statement	none
Post's inversion formula	D6QKPBS2EN	statement	none
Beck's theorem	D75XZC18PP	statement	none
Eigendecomposition	D7E9SZ4E82	statement	none
Puppe sequence	D7K7YB52MM	statement	none
Hilbert's Nullstellensatz	D85VZWS9QK	statement	none
Ulm's theorem	D8A4VEQR98	statement	none
Domain of convergence of a power series	D8S8JWE45R	statement	none
Gauss–Legendre Runge–Kutta methods	D99FZQ2SQT	statement	none
Kolmogorov's inequality	D9B4HE4B4Q	statement	none
Ahlfors–Bers theorem	D9B92SQ2GF	statement	none
Blaschke selection theorem	D9C581V5HG	statement	none
Quantum ergodicity	D9W79NKYZJ	statement	none
Hadamard gap theorem	DA8M8VZZHC	statement	none
Transversality conditions for variable endpoints	DAEHVRJVSD	statement	none
Fast marching method	DAK6EJK20R	statement	none
Thiele's interpolation formula	DANS1S61SX	statement	none
Monte Carlo integration	DAR3QJ5H7Y	statement	none
Karamata's Tauberian theorem	DBEGF38V9H	statement	none
Differentiation operator as inverse of integration	DBM13YSJAM	statement	none
Optional stopping theorem	DC9HZT2HVJ	statement	none
Marchenko–Pastur law	DCK63WTY5E	statement	none
Schauder fixed-point theorem	DCPFVVZZ54	statement	none
FKG inequality	DCXJGS6E6D	statement	none
Adams spectral sequence	DD4D0EKX74	statement	none
Finite speed of propagation	DD66THZBDX	statement	none
Bailey's lemma	DD8SAAED09	statement	none
Kleene fixed-point theorem	DDAHG7QRY8	statement	none
Earnshaw's theorem	DDH18HWKZ9	statement	none
Newton's forward difference formula	DDHCMKHD2T	statement	none
Cartan's theorem on continuous homomorphisms	DDQJGJGQGC	statement	none
Beurling's projection theorem	DDV6E39VSX	statement	none
Tameness theorem	DE1Z7R9T05	statement	none
Segal conjecture	DE29ZC399Z	statement	none
Monad from an adjunction	DF5N0PK3ZS	statement	none
Bochner's formula	DF7KYMAGTC	statement	none
Mal'cev's characterization of quasivarieties	DFNM3BGMAY	statement	none
Mal'cev's theorem on congruence permutability	DFZ7ZKRZCQ	statement	none
Plancherel theorem for groups	DH3PYQJXH0	statement	none
Curry–Schoenberg theorem	DHC96EYCN6	statement	none
Cartier–Milnor–Moore theorem	DHCHJNHD02	statement	none
Existence of Leray weak solutions	DHHR5PZZ7E	statement	none
Yau–Tian–Donaldson conjecture	DHYSPSYSCB	statement	none
Open subgroups are closed	DKX3EAVQX6	statement	none
Delta method	DMMXBTN6M2	statement	none
The local ring of holomorphic germs is Noetherian and factorial	DMYXA8HZ2P	statement	none
Nehari's theorem on univalence	DN98H15VZF	statement	none
Euler's sine product	DQEHD56649	statement	none
Monodromy theorem for singularities	DQP63REKEK	statement	none
Supporting hyperplane theorem	DR9BXFWMQB	statement	none
Sokhotski–Plemelj formulae	DRT1E6WY6K	statement	none
Hopf's theorem on cohomology of compact Lie groups	DRY1HXP1W9	statement	none
Lazard's theorem on p-adic analytic groups	DSK9GN63GQ	statement	none
Margulis superrigidity theorem	DSKV65NHZZ	statement	none
Compactness via ultrafilters	DT5PH9QVQ7	statement	none
Stone's theorem on one-parameter unitary groups	DVGQB92HPJ	statement	none
Riesz–Markov–Kakutani representation theorem	DWFPDF8XTB	statement	none
Darcy's law	DX8RV2XG6H	statement	none
Levi–Malcev decomposition	DYXEBVDC6W	statement	none
Birkhoff–Frink theorem	DZGNHKE3X1	statement	none
Fenichel's theorem	DZXTK64M6X	statement	none
Long exact sequence of homotopy groups	E0RV5D1GQ0	statement	none
Arithmetic–geometric mean and elliptic integrals	E0V3N93DX8	statement	none
Monstrous moonshine	E0Y7Y75T6C	statement	none
s-cobordism theorem	E1E5ABP89W	statement	none
Closing lemma	E1Z444F6TV	statement	none
Craig interpolation theorem	E2CBFNAVZY	statement	none
Rosenbrock methods	E2ZFQ76N7F	statement	none
Special adjoint functor theorem	E33H1J8S53	statement	none
Completeness of the real numbers	E3CPZNJZNG	statement	none
Wigner's classification	E3RQ0J3ACZ	statement	none
Furstenberg's multiple recurrence theorem	E459H2B2EM	statement	none
Muller's method	E4FMVDQ2GR	statement	none
Characterizations of semisimple modules	E5D4BD4193	statement	none
Hájek–Le Cam convolution theorem	E5H2GFPK42	statement	none
Menger's theorem	E6GYGZDBS7	statement	none
Glivenko–Cantelli theorem	E7B78X780X	statement	none
Complexification of a real analytic manifold	E7G1S7Y1MT	statement	none
Roth's theorem on arithmetic progressions	E7H8NWXESF	statement	none
Faber–Krahn inequality	E7TY2TPXX7	statement	none
Characterizations of discrete valuation rings	E7XJ3X8RG4	statement	none
Convex functions of subharmonic functions	E820CTMJVM	statement	none
Gauss–Kronrod quadrature	E8QJJVC1KV	statement	none
Convolution ring has no zero divisors	E9QNNPQD2P	statement	none
Butterfly theorem	E9TX1NDAHB	statement	none
Differentiability of the Mellin transform	E9Y670Y3QV	statement	none
Gordon–Luecke theorem	EBASBW5TYS	statement	none
Plünnecke–Ruzsa inequality	EBEVWSRD2E	statement	none
Hartogs's theorem on separate holomorphicity	ECJG25SAJR	statement	none
Differences of polynomials vanish beyond the degree	EFYGR426DF	statement	none
Maximum principle for potentials	EGBAZMS66W	statement	none
Finite determinacy theorem	EGPP69XA4F	statement	none
Lebedev quadrature	EGQ3CJDH0D	statement	none
Markov brothers' inequality	EHA5MF9VKE	statement	none
Hermite normal form	EHE26PR17K	statement	none
Perron's formula	EJ556BJNFM	statement	none
Eckmann–Hilton argument	EJJYCPWHPA	statement	none
Jacobson density theorem	EK0T7FRKCY	statement	none
Beurling–Deny formula	EK58S2872F	statement	none
Parabolic maximum principle	EMDVD4E83K	statement	none
Cohen's independence of CH	EMGBZ46GCD	statement	none
Cubic reciprocity	EMVECB93EQ	statement	none
Siegel's theorem on meromorphic function fields	ENXCWPTG92	statement	none
Mountain pass theorem	EPXNCSP2MN	statement	none
Heisenberg inequality for the Fourier transform	EQBC3P901V	statement	none
Choi's theorem on completely positive maps	EQG2K8ZFM4	statement	none
Cartan's uniqueness theorem	EQHPSKC5SY	statement	none
Morse lemma	ERSD8D4HWX	statement	none
Gauss–Bonnet theorem	ESGEHKPD60	statement	none
Verlet integration	ESWE8Y3JD4	statement	none
Szemerédi regularity lemma	ETMAPNQY7T	statement	none
Schur orthogonality for compact groups	ETNDTECY97	statement	none
Duistermaat–Heckman formula	EWJK7NY6ZB	statement	none
Lefschetz hyperplane theorem	EX6YSYN7B4	statement	none
Lyusternik–Fet theorem	EXZA8ZA8P6	statement	none
Comparison principle	EYF0H8AP91	statement	none
Steinhaus theorem	EYG946BY5G	statement	none
Cauchy formula for repeated integration	EYXG11V76E	statement	none
Lidskii's trace formula for integral operators	EYXNKYMJJH	statement	none
Varieties as categories of algebras over a monad	EZ21NHHAKG	statement	none
Steiner formula	F02XA3MYX8	statement	none
Fenchel's theorem	F0BJ2BHSZG	statement	none

Open conjectures and problems

No node in the graph resolves these conjectures and problems.

None.