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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 9701–9800 of 13617.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Diller–Dress theorem | ENX8DRA3QM | topic | open | Wikipedia List of theorems#ZW9O |
| Diller–Dress theorem | NZSMJXD9XF | statement | open | Wikipedia Pythagorean field#9LCU |
| Dillwyn Knox | S6NVX7G61P | topic | open | Wikipedia List of cryptographers#R4GB |
| Dilly Knox | 917DPS1JB2 | topic | open | Wikipedia Dilly Knox, Wikidata Q318252 |
| Diluted inclusion–exclusion principle | DGQQGZ69EZ | statement | open | Wikipedia Inclusion–exclusion principle#GFE2 |
| dilution | 6QR7ZA13B1 | definition | open | Wikipedia Glossary of logic#GGE1 |
| Dilution | BEERJXCMQB | definition | open | Wikipedia Dilution (equation), Wikidata Q3028008 |
| dilution | Q511HEF2ND | 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.23922#MJFO |
| Dilution assay | BQ7P8T78JA | definition | open | Wikipedia Dilution assay, Wikidata Q5277083 |
| Dilution assay | GBCZB0NSMT | definition | open | Wikipedia List of statistics articles#CRUY |
| Dilution identity and global quadratic growth | WJWT8KEM39 | 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.37917#NNT8 |
| Dilworth truncation | JP8921X77Q | 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.24917#ZHRF |
| Dilworth truncation of the Boolean matroids | 4DFHVFHZBY | 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.24917#OINQ |
| Dilworth's Theorem | 8YSQ7F2F7A | statement | open | applied_combinatorics source/s_posets_dilworth.ptx#thm_dilworth |
| Dilworth's theorem | GZGF6RGPBZ | statement | open | Wikipedia Mirsky's theorem#PIE3 |
| Dilworth's theorem | SRRS2ZFGW1 | statement | open | Wikipedia Erdős–Szekeres theorem#D18N |
| Dilworth's theorem | WPQ3EGS7T4 | concept | open | applied_combinatorics index/6.3/dilworth-s-theorem |
| Dilworth's theorem | YGKBFHV5GN | statement | open | Wikipedia List of theorems#BHF7 |
| Dilworth's theorem | YQAWTJ34TP | statement | open | mathlib_1000 Q1134776, Wikidata Q1134776, thousand_plus Q1134776, Wikipedia Dilworth's theorem, MathWorld DilworthsLemma |
| Dilworth's theorem, dual of | D4WFN1W6TT | concept | open | applied_combinatorics index/6.3/dilworth-s-theorem-dual-of |
| Dima Grigoriev | V62XZFQGS2 | unknown | open | Wikipedia List of people by Erdős number#ZOVN |
| Dima Von-Der-Flaass | WYHE0FNPXD | topic | open | Wikipedia Dima Von-Der-Flaass, Wikidata Q4491621 |
| DIMACS | 3AZSF8M8RG | definition | open | Wikipedia DIMACS, Wikidata Q5205117 |
| Dimca-Sticlaru | P6GSHEAYN5 | 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 2309.15228#30H6 |
| dimension | 13VAXBAP34 | definition | open | Wikipedia Glossary of algebraic geometry#H63X |
| Dimension | 5K1427QSNZ | 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.09206#2MND |
| dimension | 5WF7892BWM | definition | open | Wikidata Q4440864, EoM Dimension, MathWorld Dimension, Wikipedia Dimension |
| dimension | DBGZJD5MSR | definition | open | Wikipedia Glossary of linear algebra#1C96 |
| dimension | PRNKKR2AFJ | concept | open | austin_ula index/3.5.2/dimension |
| Dimension | QDJYTDNS3N | definition | open | Wikipedia Dimension (vector space), Wikidata Q929302 |
| dimension | RKKXR8XHS0 | definition | open | Wikipedia List of mathematical abbreviations#FVBQ |
| dimension | VRSP6XC4Y6 | definition | open | Wikipedia Glossary of commutative algebra#1VU2 |
| dimension | VVTNRSW0W8 | concept | open | applied_combinatorics index/6/dimension |
| Dimension (geometry) | 1AC85ZTK11 | unknown | open | Wikipedia Dimension#70X7 |
| Dimension and preservation through inheritance | HMZS9EQ75H | 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.14310#QPLR |
| dimension at a regular point | 5K85DKC8JW | concept | open | lebl_scv index/6.5/dimension-at-a-regular-point |
| Dimension axiom | T3HR61KSQH | statement | open | Wikipedia Eilenberg–Steenrod axioms#JSTP |
| Dimension conjecture | VT39Y5CQ0F | 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 2610.21298#PMRT |
| Dimension defect | 119G6AXZEF | 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.06739#N3O2 |
| Dimension dependence for Gaussian sources | PY741M8JN0 | 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.09640#M454 |
| Dimension dependence under coordinate-wise boundedness | GB9T8BBVD2 | 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.33499#NT21 |
| Dimension doubling theorem | ASS2YXZW8S | statement | open | Wikipedia Dimension doubling theorem, Wikidata Q116841638 |
| Dimension doubling theorem | NQV90ZD53T | statement | open | Wikipedia Wiener process#H60C |
| Dimension expanders, Proposition 2.1 | ETKJJRFDG8 | 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 2504.07573#MCTQ |
| Dimension formula | 30QZKG9C0Q | statement | open | Wikipedia Schubert calculus#KOR7 |
| Dimension formula | 3S8J0RRP8G | statement | open | Wikipedia Catenary ring#2JMW |
| Dimension formula | AWRMPX4C45 | 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.17240#6Z4L |
| Dimension function | A3X866F2HH | definition | open | Wikipedia Dimension function, Wikidata Q5277259 |
| Dimension inequality | 5JFZNC0BMW | statement | open | Wikipedia Serre's multiplicity conjectures#MO1A |
| Dimension lift | 2M417P57YD | 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.38993#T9OC |
| Dimension missmatch | G1BH3DMRTE | 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.33313#2DB6 |
| Dimension of $\Cmat$ | MP7HMC2W29 | 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.38132#XY95 |
| Dimension of a manifold | 9HQHKHR9M2 | unknown | open | Wikipedia Dimension#GBJM |
| Dimension of a module | 2209M01MVV | unknown | open | Wikipedia Krull dimension#35OH |
| dimension of a scheme | AAF2BB2TPP | definition | open | Wikidata Q65090975, ProofWiki Definition:Krull_Dimension_of_Scheme, Wikipedia Dimension of a scheme |
| Dimension of an algebraic variety | CCATS5VVE8 | definition | open | Wikipedia Dimension of an algebraic variety, Wikidata Q5277261 |
| Dimension of the directional cone | GSCDBNSSRS | 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.22485#EEKU |
| Dimension of the kernel | 50V3NDWWYJ | 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.27966#3WKN |
| Dimension reduction | K54D2ZCHS0 | 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.15369#A6LU |
| Dimension reduction | WNYQGQPN3Y | definition | open | Wikipedia List of statistics articles#L65U |
| Dimension reduction, $m<d$ | J8FD1125S9 | 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.19208#G34K |
| Dimension theorem for vector spaces | 21BQ4H2ZAY | statement | node (a node has the same name as the row) | mathlib_1000 Q3527205, Mathlib mk_eq_mk_of_basis, Wikidata Q3527205, thousand_plus Q3527205, Wikipedia Dimension theorem for vector spaces |
| Dimension theorem for vector spaces | 6G3P1DFK08 | statement | open | Wikipedia List of theorems#0MTW |
| Dimension theory | GQVVRDY5B0 | topic | open | Wikipedia Dimension theory (algebra), Wikidata Q5277265 |
| Dimension, Jordan-block and rank criteria | 9FSYF4RSCA | 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.27204#UWTZ |
| dimension, of path constructors | W09QABB3J1 | concept | open | hott_book index/5.1/dimension-of-path-constructors |
| dimension, of paths | 5NKEXAC427 | concept | open | hott_book index/1/dimension-of-paths |
| Dimension-dependent local limit theorem | 3TSFS73RMX | 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.21937#YJLX |
| Dimension-free $H^1$ kink regularity | Z76FBRMKDV | 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.39408#I6F5 |
| Dimension-free analyticity on \(L^4(\pi;\mathfrak{S}_4)\ | X7P599CKVF | 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.06308#NLKO |
| Dimension-free bounds for the bounded part | 69JBGMSA41 | 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.03638#7HR4 |
| Dimension-free coefficient control | S6EM6SN023 | 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.29658#2EN3 |
| Dimension-free entropy profile | GRHMXVC84J | 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.18884#TS7C |
| Dimension-free estimate | 97XPT6CC2K | 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.32387#XOTQ |
| Dimension-Free Projected DP-PAC-Bayes Certificate | H3V0T67QMT | 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.21340#YYPE |
| Dimension-independent convergence | 5XMMX86FAA | 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.14620#5GWE |
| Dimension-sensitive simultaneous Gaussian event | Q1E09T4C3E | 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.38228#W2NI |
| Dimension-uniform primary extraction | D4WYS60TJK | 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.10828#AQQU |
| dimensional analysis | REAX3KCBXS | definition | open | Wikidata Q217113, EoM Dimensional_analysis, ProofWiki Definition:Dimensional_Analysis, Wikipedia Dimensional analysis |
| Dimensional analysis | TMNBMNX26T | definition | open | Wikipedia List of group theory topics#S5KX |
| Dimensional equivalence | 53F8XFM1ZT | unknown | open | Wikipedia Dimensional analysis#F0QJ |
| Dimensional operator | PG2V84BCXK | definition | open | Wikipedia Dimensional operator, Wikidata Q5277271 |
| dimensional regularization | E1B2VFWH1S | definition | open | Wikidata Q5277275, nLab dimensional regularization, Wikipedia Dimensional regularization |
| Dimensionality Reduction | 7XDA2TQKN6 | 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.20364#MB8Y |
| Dimensionality reduction | RGFDVA9KQZ | definition | open | Wikipedia Dimensionality reduction, Wikidata Q16000077 |
| Dimensionless Hubble constant | ACA4NCQQVM | unknown | open | Wikipedia Hubble's law#PDE4 |
| Dimensionless numbers in fluid mechanics | KT9XX8WW5E | definition | open | Wikipedia Dimensionless numbers in fluid mechanics, Wikidata Q20707835 |
| Dimensions | 75HD05SP63 | 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#YF8O |
| dimensions | DCYCQY9DVE | definition | open | Wikipedia Matrix (mathematics)#OSRA |
| Dimensions | H46MPR4WVS | definition | open | Wikipedia Dimensions (animation), Wikidata Q1933794 |
| dimensions (general formula) | X2S8P0ZZMM | statement | open | Wikipedia Differentiable curve#OGYO |
| Dimensions 16 to 20 and 22 | PPCCZBJFYY | 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.22301#4XS1 |
| Dimensions of the two moment problems | DRA1VTYVQ1 | 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.22027#EX44 |
| Dimer algebra and boundary order | XMX676BEPB | 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.30637#2XJA |
| Dimer model | J6EA1MAWFB | 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.29671#0P0V |
| Dimetrodon | DXR44396VT | unknown | open | Wikipedia List of common misconceptions about science, technology, and mathematics#RY9J |
| Diminish of distribution | ZB68JRS3CQ | 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 2401.14638#X46A |
| Diminish of oscillation - Laplacian | H6W0KANJJB | 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 2401.14638#LGDL |
| Diminish of oscillation - uniformly elliptic | J4YW4CPCQ2 | 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 2401.14638#WK0O |
| diminished polyhedron | NE4R94ZMX3 | concept | open | Wikidata Q116672054, MathWorld DiminishedPolyhedron |