Inventory: D

The rows of the inventory whose names start with D. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.

Other 25924
A 5528
B 4390
C 7242
D 4710
E 5003
F 4868
G 4385
H 4070
I 1391
J 3085
K 3381
L 1911
M 4894
N 3888
O 897
P 5460
Q 3198
R 4892
S 6923
T 5819
U 1014
V 3154
W 3560
X 2715
Y 2835
Z 2989

Rows 2901–3000 of 4710.

Name	Id	Kind	Outcome	Sources
Discrete Bonnet--Myers	8Y40A9DSC2	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.21454#KGSY
Discrete Brakke's inequality	PCSYFFVVME	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.15511#EVOV
Discrete broken line lemma	96914Q88D4	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.19010#UNKZ
discrete category	JK55TQAN20	definition	open	Wikidata Q1228851, nLab discrete category, ProofWiki Definition:Discrete_Category
Discrete compactness	D0W60CWYE8	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.38031#EK2K
Discrete comparison principle	3N2BKPG5S0	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.05313#R7XT
discrete conforming companions	AANAZ3805H	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.17678#EI7W
Discrete cosine differences inherit the logarithm	2GWT386K0C	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.16351#IGTE
Discrete coupling continuity	6G42GR4YHR	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.38871#YEVZ
Discrete decay	F7YYNS26FM	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.00339#S978
discrete Dirichlet trace inequality	TD6C00EZ8V	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.17678#EUZ9
discrete dynamical system	XE7JG32GAB	concept	open	austin_ula index/2.5.4/discrete-dynamical-system
Discrete energy estimate	283SSTZ59J	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.36141#S05L
Discrete energy stability of both methods	5YQ7N33XEN	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.21991#ZOB9
Discrete energy-dissipation inequality	RKPEDX0JMF	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.11034#VNOK
Discrete entropy-dissipation inequality	41VE8RXXFM	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.11034#XDPZ
Discrete existence, uniqueness and optimality	PS069029WW	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.05313#O507
Discrete fixed point and continuum limit	25SR6TPC45	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.35894#OTPN
Discrete flux inverse estimate	Z25SW4Y3W6	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.31555#91M8
Discrete Fourier representation	DJYTS4E3CF	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.04452#53B6
Discrete Fourier Transform	39TJ5FF86Z	concept	open	austin_ula index/3.3.3/discrete-fourier-transform
discrete Fourier transform	GJ9AS9E45B	unknown	open	Wikidata Q2878, nLab discrete Fourier transform
discrete Fourier transform on a finite abelian group	2BHHMTY8XT	unknown	open	mathlib_undergrad Numerical Analysis > Fourier transform > discrete Fourier transform on a finite abelian group
Discrete Gaussian moment inequality	XNVDSNKKFC	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.14085#ZAGB
discrete geometry	ATK1YNNRFQ	topic	open	Wikidata Q906377, ProofWiki Definition:Discrete_Geometry
Discrete GKP/torus code	WA3JR8P1JS	example	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.04834#6YUV
Discrete Grad--Mercier problem	V3QRA149R8	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.05313#RRE6
Discrete Gradient	B7EB6JCR1C	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.06724#NH29
Discrete gradient vector field	CSGRMXVQQK	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.01937#IGGK
Discrete Green's Function	VCDH5QKTEM	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.13222#4NTX
discrete Gronwall lemma 1	3NK54EKY7G	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.28961#DJNW
discrete Gronwall lemma 2	96PMGZ3KZF	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.28961#0S96
discrete group	7JMEFT7RBN	unknown	open	Wikidata Q1361055, nLab discrete group
Discrete inequalities	J4DCDAA07B	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.01504#FKRH
Discrete inf--sup condition	FGA9JB94EK	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.36141#M0FG
Discrete iteration lemma	1CMAB2JY20	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.31373#FF7T
Discrete Kakeya Theorem	X38PFZAAHY	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.40161#PGAX
discrete Kato criterion	B4E39B74B2	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.27458#OGCW
Discrete Laplacian and maximal affine interval	KFJ03AVWY5	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.29877#ZTYR
discrete law	4JKHNMSKED	unknown	open	mathlib_overview Probability Theory > Random variables and their laws > discrete law, Mathlib PMF, mathlib_undergrad Probability Theory > Random variables and their laws > discrete law
Discrete local-limit consistency	KDAXW6012Q	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.29524#GWSF
discrete logarithm problem	VJB15SBTST	unknown	node (a node has the same Wikidata item as the row)	Wikidata Q124295907, MathWorld DiscreteLogarithm, Wikidata Q864003
discrete mathematics	RJ1KJSBJ3W	topic	open	Wikidata Q121416, MathWorld DiscreteMathematics, nLab discrete mathematics, ProofWiki Definition:Discrete_Mathematics
Discrete maximum principle	2V0CD6T2KQ	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.28412#CPH0
Discrete maximum principle	FTP6FWDHCR	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.29524#ZSV2
discrete measure	B0FXQHVXW2	definition	open	Wikidata Q3859392, EoM Discrete_measure, ProofWiki Definition:Discrete_Measure
Discrete measures	ZTVCPB1NZP	example	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.19151#RTAV
Discrete Morse function	92PD93DSYD	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.01937#C9VX
Discrete Morse Function	SXKYXFAQ0P	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.01937#IAJF
discrete Morse theory	K6SY85N1JW	unknown	open	Wikidata Q5282039, nLab discrete Morse theory
discrete norm equivalence	5FGKA4ZQNT	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.17678#TSSF
Discrete norming inequality	G8PK3SEG1A	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.28341#XOBE
Discrete object	R95CK2JC6A	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.03865#OLWJ
Discrete observations	YMH5JTFGGS	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.20090#DCQM
Discrete observations with degenerate interactions	4E1WSAKQDQ	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.20090#MEM9
Discrete orbit and isotropy structure	80ES3KEXAN	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.25987#91DF
Discrete partition-function representation	D07CP3NTZR	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.00396#8GWM
Discrete Poincar\'e inequality	EZRSS9S8RK	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.01504#2S2P
Discrete potential estimates	TVY42DJY3N	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.15805#55BC
Discrete Potentials	7AHR0PTBWY	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.13222#AOSS
discrete probability distribution	J16N901J4B	unknown	open	Wikidata Q26898117, MathWorld DiscreteDistribution
Discrete product rule	PR913ERA1Q	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.16705#J3QZ
Discrete recurrence estimates	SG6TW893AD	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.17909#DR7I
Discrete Rolle's lemma	SEZARY48R6	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.19010#2UEF
Discrete rototranslations	ACFEFZB5C4	example	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.36237#O6K0
Discrete Schwarz-Ahlfors lemma	7XRRKQTX4M	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2208.04502#E803
Discrete Schwarz-Ahlfors lemma	ARJ6FSY9SS	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2208.04502#NY4U
Discrete second moment	BK8VK3GCJG	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.22107#4G7G
discrete set	R29W0AZNKT	unknown	open	Wikidata Q13211900, MathWorld DiscreteSet
Discrete Sobolev Norm	5MYTF8SZYP	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.16705#3NLE
discrete space	7CNSY6RM6E	unknown	node (a node has the same Wikidata item as the row)	Wikidata Q175116, MathWorld DiscreteSpace, nLab discrete object
discrete spaces are 0-manifolds	JCMGY4WWMQ	unknown	open	mathlib_overview Geometry > Differentiable manifolds > discrete spaces are 0-manifolds, Mathlib IsManifold.of_discreteTopology
Discrete stability	XEXD45Y87F	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.34831#U3LD
Discrete stochastic Hamilton-Pontryagin principle	ESM608DFPY	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.14717#QM81
Discrete stochastic wave equations, continued	FJ79KBPVRE	example	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.14717#LDWI
Discrete Sturm oscillation on a weighted path	11MQA0K4T9	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.08152#LLVS
Discrete support and finite torsion order; cf.\	ZE2801KB2G	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2407.02022#DTCT
Discrete threshold convergence on the box	JD9GB6NGMC	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.29524#QXRM
discrete topology	9ZSZ8BBJHQ	unknown	open	Wikidata Q91267214, MathWorld DiscreteTopology
discrete uniform distribution	ZT8MPX4XHH	unknown	node (a node has the same name as the row)	Wikidata Q3574718, MathWorld DiscreteUniformDistribution
Discrete universality along Gram powers	E7CWGCY8GP	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.22107#SCSY
discrete valuation	9CME500VCE	unknown	open	Wikidata Q5282068, nLab discrete valuation
discrete valuation ring	JK81D2D36J	unknown	open	Wikidata Q986694, EoM Discretely-normed_ring
Discrete well-posedness and a priori error	X4VT01Y0DR	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.31555#HUD3
Discrete Wronskian identity	M8GDMB2YZC	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.00396#WMIC
discrete, space	725W0QEX6E	concept	open	hott_book index/u1.u5/discrete-space
discrete, space	KB85GDC3EM	concept	open	hott_book index/u1.u8/discrete-space
discrete, space	NVSAWY9084	concept	open	hott_book index/9.1/discrete-space
discrete, space	SSAQ5VPMSG	concept	open	hott_book index/u1.u7/discrete-space
Discrete-series distinction	WMSNR30QNN	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.05364#EQSZ
Discrete-time intensity	TF451Y9AS0	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2411.02694#46ZB
Discrete-time likelihood on network	5BQFW0JFY3	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2411.02694#ZUN8
Discretization	VBXK6D66DB	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.06028#9PL0
Discretization and polynomial approximation of mixtures	5CZZ6DX1ME	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.21033#GW4C
Discretization error	EY0B75B082	definition	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.21033#8OD4
Discretization Error	W3RDE4S8DH	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.32446#RWMC
Discretization invariance	XZ3JHXBJCE	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2609.35531#2Q4L
Discretization of Bounded-Parameter Gaussians	G5BDBW36ZT	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.21033#KIGW
Discretization of Bounded-Parameter Log-concave Distributions	7598HBZ9V6	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.21033#RCOU
Discretization of the Equilibrium Measure	FFT5A26Q5P	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2610.13222#TTG4