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 1301–1400 of 4710.

Name	Id	Kind	Outcome	Sources
DDBQHYFSER	DDBQHYFSER	problem	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.38493#XLTM
DDC0Z9HDRR	DDC0Z9HDRR	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 1909.03896#4TDS
DDC9KG2JZC	DDC9KG2JZC	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.07679#ISXK
DDCTDJDEZM	DDCTDJDEZM	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.15817#AMKH
DDCTX806F0	DDCTX806F0	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.28265#91O4
DDD6D9X6ZP	DDD6D9X6ZP	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.30086#85K4
DDDBQC8DKN	DDDBQC8DKN	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.27752#DWU3
DDDGNQ1CZ0	DDDGNQ1CZ0	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.01899#E5FN
DDDJK5JB49	DDDJK5JB49	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.01561#BDM3
DDDPWE4TY3	DDDPWE4TY3	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.11872#R3FQ
DDDSFZ0207	DDDSFZ0207	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.24545#ZD2D
DDDVRFART3	DDDVRFART3	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.04603#1PF0
DDDZFJKS64	DDDZFJKS64	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.13792#VR0N
DDDZFY241T	DDDZFY241T	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.15926#JGT7
DDE05RDXPQ	DDE05RDXPQ	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 2607.25960#OGC7
DDE909JPCR	DDE909JPCR	problem	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.32176#3SXJ
DDED0PS35T	DDED0PS35T	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.00113#623D
DDEEDBQB48	DDEEDBQB48	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.25524#JNGF
DDEEGSE9K9	DDEEGSE9K9	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 2510.12502#4SUR
DDEFHDF3C5	DDEFHDF3C5	exercise	open	applied_combinatorics source/s_recurrence_exercises.ptx#exercise-4
DDER3HE1KA	DDER3HE1KA	conjecture	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.40355#FL6X
DDF58M5RWQ	DDF58M5RWQ	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.15525#M05E
DDF8R7QG4M	DDF8R7QG4M	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.36423#ZS6L
DDFY7NFQJ0	DDFY7NFQJ0	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 1806.05002#GYN2
DDG3EPB7J1	DDG3EPB7J1	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.04600#8L9U
DDG9ZQVBZR	DDG9ZQVBZR	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.26713#U9G2
DDGDDJ3MQP	DDGDDJ3MQP	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.07828#5TR4
DDGPVHGPQM	DDGPVHGPQM	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.12014#YN25
DDGQD8304H	DDGQD8304H	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.10773#YJXB
DDGSCTMRGB	DDGSCTMRGB	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 1001.1196#ECHY
DDHGC3EWZM	DDHGC3EWZM	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.02833#RN4K
DDHVNNR1J4	DDHVNNR1J4	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.12012#CD2T
DDHY80J3SD	DDHY80J3SD	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.09561#MZAU
DDJ080XC3Q	DDJ080XC3Q	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 2607.25960#1FJV
DDJK2T2AR4	DDJK2T2AR4	proof	open	lebl_scv scv.tex#proof-80
DDK0Q830DV	DDK0Q830DV	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 1707.06795#NAHT
DDK57WRM1W	DDK57WRM1W	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.03814#C3CZ
DDK5949TH8	DDK5949TH8	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 2306.00212#KVBE
DDK91V1Y28	DDK91V1Y28	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 2311.00585#UYKF
DDKJPK8HF1	DDKJPK8HF1	exercise	open	lebl_diffyqs ch-nonlin-systems.tex#exercise-24
DDKK2C7MHA	DDKK2C7MHA	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.17004#PWZL
DDNH0FB79Z	DDNH0FB79Z	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.07280#H8R6
DDNMKMRS0N	DDNMKMRS0N	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 1512.06981#FYEO
DDPDTM5Y38	DDPDTM5Y38	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 2207.05628#TGEA
DDPX2GR9C9	DDPX2GR9C9	statement	open	lebl_scv scv.tex#prop:DMtoM
DDQ2GNV1ZV	DDQ2GNV1ZV	exercise	open	lebl_diffyqs ch-power-ser.tex#exercise-30
DDQJ560Y0A	DDQJ560Y0A	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.26479#15O8
DDQN38XC8G	DDQN38XC8G	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.30585#DW9X
DDRCY2G31Q	DDRCY2G31Q	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.18335#VWO5
DDRKGTT09K	DDRKGTT09K	exercise	open	lebl_ra ch-riemann.tex#exercise-15
DDRRT7TD4A	DDRRT7TD4A	example	open	napkin tex/alg-geom/mor-scheme.tex#example-7
DDS2965RPX	DDS2965RPX	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 math/0406514#LWXK
DDSBCE3RS4	DDSBCE3RS4	proof	open	lebl_ra ch-metric.tex#proof-1
DDTA8DNB4Z	DDTA8DNB4Z	example	open	lebl_ra ch-seq-funcs.tex#example-14
DDVSQAWVQD	DDVSQAWVQD	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.01656#U9XL
DDX1AHHWZT	DDX1AHHWZT	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.39675#BYRP
DDX2TVQFCP	DDX2TVQFCP	exercise	open	napkin tex/alg-geom/mor-scheme.tex#exercise-2
DDXPAC1A8C	DDXPAC1A8C	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.01694#9N8M
DDY8GJYYEA	DDY8GJYYEA	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.25289#A73X
DDY9MWR7WX	DDY9MWR7WX	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.00525#A0XS
DDYS69P0G0	DDYS69P0G0	exercise	open	lebl_diffyqs ch-higher-order-ode.tex#exercise-43
DDYV1NBQ1V	DDYV1NBQ1V	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.00775#70G8
DDZ653SAXF	DDZ653SAXF	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.01803#JOPM
DDZ97SV934	DDZ97SV934	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 2308.02672#S3EA
DDZNCN19N2	DDZNCN19N2	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.39465#ID7X
DDZP55ZN5Q	DDZP55ZN5Q	exercise	open	lebl_diffyqs ch-first-order-ode.tex#exercise-43
De analysi per aequationes numero terminorum infinitas	M5Q5JT9S4C	unknown	out_of_scope (a book, not an item of mathematics)	Wikidata Q5244882, ProofWiki Book:Isaac_Newton/On_Analysis_by_Means_of_Equations_with_an_Infinite_Number_of_Terms
de Branges's theorem	RGW800ENST	statement	open	mathlib_1000 Q857089, Wikidata Q857089, thousand_plus Q857089, Wikipedia de Branges's theorem
De Bruijn and Erd\H{o}s	CB0RXX74KM	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.05067#9IDI
De Bruijn graph	N47SH1FQGG	concept	open	Wikidata Q3066095, MathWorld deBruijnGraph
De Bruijn sequence	GRV4PNWR4H	concept	open	Wikidata Q1953457, MathWorld deBruijnSequence
De Bruijn's theorem	HWRK6032ZA	statement	open	mathlib_1000 Q5244285, Wikidata Q5244285, thousand_plus Q5244285, Wikipedia de Bruijn's theorem, MathWorld deBruijnsTheorem
de Bruijn-Newman constant	SA9621RRMM	object	open	Wikidata Q2248459, MathWorld deBruijn-NewmanConstant
De Bruijn–Erdős theorem (graph theory)	525GSH27N0	statement	open	mathlib_1000 Q3527054, Wikidata Q3527054, thousand_plus Q3527054, Wikipedia De Bruijn–Erdős theorem (graph theory)
De Bruijn–Erdős theorem (incidence geometry)	GQ1M8D1K1Y	statement	open	mathlib_1000 Q3527056, Wikidata Q3527056, thousand_plus Q3527056, Wikipedia De Bruijn–Erdős theorem (incidence geometry)
De divina proportione	ND873X55RE	unknown	out_of_scope (a book, not an item of mathematics)	Wikidata Q1067971, ProofWiki Book:Fra_Luca_Pacioli/De_Divina_Proportione
De Finetti's theorem	JFF936NRMD	statement	open	mathlib_1000 Q4408070, Wikidata Q4408070, thousand_plus Q4408070, Wikipedia De Finetti's theorem
De Franchis theorem	W5PAEHDMK9	statement	open	mathlib_1000 Q5244361, Wikidata Q5244361, thousand_plus Q5244361, Wikipedia De Franchis theorem
De Giorgi iteration	9WNP9BQXPV	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.09596#4QTD
De Giorgi Structure Theorem	NBYC99ZNXQ	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.18673#XIL2
De Gua's theorem	9HF4E4TPDP	statement	open	mathlib_1000 Q1202608, Wikidata Q1202608, thousand_plus Q1202608, Wikipedia De Gua's theorem, MathWorld deGuasTheorem
de La Vallée Poussin	QK594HF8H9	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.26645#6HZH
de Longchamps point	ZPCZT9FK8N	unknown	open	Wikidata Q1807042, MathWorld deLongchampsPoint
de Moivre's formula	XBG390VY47	statement	node (a node has the same Wikidata item as the row)	mathlib_100 17, Mathlib Complex.cos_add_sin_mul_I_pow, mathlib_1000 Q190556, Wikidata Q190556, thousand_plus Q190556, Wikipedia De Moivre's formula, MathWorld deMoivresIdentity, ProofWiki De_Moivre's_Formula
De Moivre–Laplace theorem	SAP4CASGP0	statement	node (a node has the same Wikidata item as the row)	mathlib_1000 Q1855610, Wikidata Q1855610, thousand_plus Q1855610, Wikipedia Theorem of de Moivre–Laplace, MathWorld deMoivre-LaplaceTheorem
De Morgan algebra	PQ4H6KECNH	unknown	open	Wikidata Q5244640, nLab De Morgan algebra
De Morgan's Law	76G5PCENYZ	statement	open	ernst_ibl MAAPressVersion/IntroToLogic.tex#thm:De Morgan
De Morgan's Law	MD7TM43AKY	statement	open	ernst_ibl MAAPressVersion/Sets.tex#theorem-5
De Morgan's Law	Z8J8TVZDN5	exercise	open	ernst_ibl MAAPressVersion/IntroToLogic.tex#prob:De Morgan
De Morgan's laws	HW5C0SEJTF	statement	node (a node has the same Wikidata item as the row)	Wikidata Q173300, EoM De_Morgan_laws, MathWorld deMorgansLaws
De Morgan's laws	PBWYRE2J7E	concept	open	levin_dmoi index/4.1.2/de-morgan-s-laws
de Morgan's laws	V3D33NFC8M	concept	open	hott_book index/A.11/de-morgan-s-laws
De Nive Sexangula	1A2Y884RHQ	unknown	out_of_scope (a book, not an item of mathematics)	Wikidata Q4328876, ProofWiki Book:Johannes_Kepler/De_Nive_Sexangula
De rerum natura	XM9FZ0HT3E	unknown	out_of_scope (a book, not an item of mathematics)	Wikidata Q861986, ProofWiki Book:Lucretius/De_Rerum_Natura
De revolutionibus orbium coelestium	E5FNM729P2	unknown	out_of_scope (a book, not an item of mathematics)	Wikidata Q845981, ProofWiki Book:Nicolaus_Copernicus/De_Revolutionibus_Orbium_Coelestium
de Rham cohomology	HVK10KNP5W	statement	open	mathlib_1000 Q1179446, Wikidata Q1179446, thousand_plus Q1179446, Wikipedia De Rham's theorem, MathWorld deRhamCohomology, nLab de Rham complex
de Rham cohomology	TF87XSJNFS	example	open	napkin tex/homology/cohomology.tex#example-1
De Thiende	6D91CXY1PM	unknown	out_of_scope (a book, not an item of mathematics)	Wikidata Q4414473, ProofWiki Book:Simon_Stevin/De_Thiende
DE03JNQB1Z	DE03JNQB1Z	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 2203.00606#2SS9
DE03KWQXCE	DE03KWQXCE	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.33027#6MJH