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 3601–3700 of 4710.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Domination is not stable under tensor products | Z2YGH00QZS | 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.40054#M2UB |
| domination number | ECKQRNQQFG | unknown | open | Wikidata Q130343824, MathWorld DominationNumber |
| Domination of $\nu^\alpha_{\A,\,\B}$ | 34KY43AEKX | 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.21781#KQAJ |
| Domination of $\nu^\alpha_{\A,\,\B}$ | ME59MSNSTV | 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.21781#UUXJ |
| Domination principle | 929CQ30Z5K | 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.06719#NMR7 |
| Domination Sombor Index | N6XE22W9KQ | 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.10221#FHRT |
| Domination with one fixed code | Q8RH5SSYN8 | 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.14548#YALC |
| Dominic Gardiner Bowling Edelen | D7JRBSQFZP | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102139331, nLab Dominic+G.+B.+Edelen |
| Dominic Joyce | XJ06P7NPWZ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1237590, nLab Dominic Joyce |
| domino graph | P0T25JM8YJ | unknown | open | Wikidata Q3115558, House of Graphs 1045, MathWorld DominoGraph |
| Don Page | 4QTYEH54ZM | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q3035873, nLab Don Page |
| Don Zagier | DTJ83DF6YB | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q574620, nLab Don Zagier |
| Dona nobis pacem | 52CKQKMZ2V | unknown | open | Wikidata Q5293810, nLab 000035425680 |
| Donald Knuth | HQBF6NFDS2 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q17457, nLab Donald Knuth, ProofWiki Mathematician:Donald_Ervin_Knuth |
| Donald Marolf | 9KMVZ1EVY3 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q5294808, nLab Donald Marolf |
| Donald W. Blackett | 7F9GH6B2F2 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q94929549, ProofWiki Mathematician:Donald_Watson_Blackett |
| Donaldson -Quiver | C1JN7EDSE2 | 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.03384#ACI6 |
| Donaldson theory | 8R719N5XYY | unknown | open | Wikidata Q5295371, nLab Donaldson theory |
| Donaldson's theorem | 9HX00Z4D0E | statement | open | mathlib_1000 Q5295351, Wikidata Q5295351, thousand_plus Q5295351, Wikipedia Donaldson's theorem |
| Dong--Mason | JRP0F72CG0 | 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.29489#7097 |
| Donoho and Elad , Gribonval and Nielsen | 55CP8TRFV2 | 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 0904.2051#UM9Q |
| Donovan Harold Van Osdol | QCFD2WBAV3 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102144095, nLab Donovan van Osdol |
| Donsker's theorem | X9SCB9K384 | statement | open | mathlib_1000 Q3527064, Wikidata Q3527064, thousand_plus Q3527064, Wikipedia Donsker's theorem |
| Donsker--Varadhan duality, see e.g., Proposition 7.16 | NWVGJ1CSW2 | 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.19513#3BVR |
| Donsker--Varadhan variational formula | 3TW0H544R2 | 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.21103#AHGM |
| Donsker--Varadhan variational formula | 8MC1B9H33R | 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.27766#O1D5 |
| Doob decomposition theorem | W9GM3YCWDQ | statement | open | mathlib_1000 Q1242398, Wikidata Q1242398, thousand_plus Q1242398, Wikipedia Doob decomposition theorem |
| Doob transform | 17Y6QRM94K | 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.06944#3XXO |
| Doob's $h$-function | PW2CJP6WX9 | 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.39531#CPOJ |
| Doob's martingale convergence theorems | C2JR35N6HA | statement | open | mathlib_1000 Q1765521, Wikidata Q1765521, thousand_plus Q1765521, Wikipedia Doob's martingale convergence theorems |
| Doob–Meyer decomposition theorem | KKW5Q4Z2DT | statement | open | mathlib_1000 Q5296972, Wikidata Q5296972, thousand_plus Q5296972, Wikipedia Doob–Meyer decomposition theorem |
| Dorian M. Goldfeld | 92Q9A8S47K | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q726393, nLab Dorian Goldfeld |
| Doron Gepner | YW1MWMKFWN | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q21823259, nLab Doron Gepner |
| Doron Zeilberger | 7EB6DKY9A1 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q909202, MathWorld ZeilbergersAlgorithm, nLab Doron Zeilberger |
| Dorothee Aeppli | H5YP9N8H8D | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102259729, ProofWiki Mathematician:Writer/Dorothée_Aeppli |
| Dositheus | TJ59Q5TGQY | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q3714438, ProofWiki Mathematician:Dositheus_of_Pelusium |
| dot product | Q2ZDE35XFZ | concept | open | austin_ula index/6.1.2/dot-product |
| Dots and Boxes | MPAZH2JKQ2 | unknown | open | Wikidata Q1142531, MathWorld DotsandBoxes |
| Dottie number | 656DMXQPCK | object | open | Wikidata Q48996451, MathWorld DottieNumber, OEIS A003957 |
| Douady rabbit | 5ACCTWRES5 | unknown | open | Wikidata Q1150100, MathWorld DouadysRabbitFractal |
| double affine Hecke algebra | 715R90M9DH | concept | open | Wikidata Q5299963, nLab double affine Hecke algebra |
| Double angle identities | JBSFJS3HJM | exercise | open | lebl_diffyqs ch-higher-order-ode.tex#exercise-17 |
| double bubble theorem | 1QM6BV9RE1 | statement | open | Wikidata Q5299978, MathWorld DoubleBubble |
| double category | B03WASTEND | unknown | open | Wikidata Q99613675, nLab double category |
| double cone | 8QR6Q87TVC | unknown | open | Wikidata Q100801286, MathWorld DoubleCone |
| Double connections and pivotal elements | 76E1TKEA8H | 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 1905.02785#70G4 |
| double coset | YAJQKJ5668 | unknown | open | Wikidata Q5299992, nLab double coset |
| Double Descent in $\alpha_0$ | KHF0FNP9PM | 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 2212.14457#F4PC |
| Double extension by precomposed terms | N7MZVDX6QJ | 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.21131#7V91 |
| double factorial | M0F0CAGRRD | unknown | open | Wikidata Q13520655, MathWorld DoubleFactorial, nLab double factorial, OEIS A006882 |
| double field theory | QM68SVHSTA | unknown | open | Wikidata Q42320343, nLab double field theory |
| double groupoid | QV9JKCGF71 | unknown | open | Wikidata Q17008126, nLab double groupoid |
| double induction | D7467FJEAD | concept | open | levin_dmoi index/3.5/double-induction |
| double integral | A7M94FC5Z0 | unknown | node (a node has the same name as the row) | Wikidata Q9185332, MathWorld DoubleIntegral |
| Double interfaces | XTX6J86PGT | 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 2604.11825#2V1C |
| Double large sieve | HC8DAE6G78 | 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#RKLJ |
| Double large sieve | N4RGSY033P | 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.21730#QUPF |
| Double limit property | E73QZVDGJQ | 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.11002#VZJO |
| double Mersenne number | DHJ939Q58M | unknown | open | Wikidata Q1318413, MathWorld DoubleMersenneNumber, OEIS A077586 |
| double negation | VP30PKV0R5 | concept | open | levin_dmoi index/4.1.2/double-negation |
| double negation, law of | ZNX89E3X06 | concept | open | hott_book index/9.2/double-negation-law-of |
| double point | RJY8H8VV1S | unknown | open | Wikidata Q12714274, MathWorld DoublePoint |
| Double robustness | M7TC7380QZ | 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.11388#AZP0 |
| double sum | W8YAKNK4VT | unknown | open | Wikidata Q3511273, MathWorld DoubleSeries |
| double vertical line | F1AMTD3YGJ | unknown | open | Wikidata Q11410467, MathWorld DoubleBar |
| Double-residue identities | PT03MYR05M | 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.12326#XZA5 |
| Double-resolvent deterministic equivalent | RVSSN9SZG1 | 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.09044#HMIE |
| double-star snark | PYW8P2TKV6 | unknown | open | Wikidata Q3487138, House of Graphs 1049, MathWorld DoubleStarSnark |
| double-well bi-quadratic potential | 9RV604CBN7 | 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 2210.06147#RGIV |
| Doubled inverse-limit base | PNGYDNSSZ5 | 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 2501.09848#12UY |
| Doubling and Poincaré for tamed metric measure spaces | 6JC15TN2ND | 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.11478#5PIX |
| doubling constant | JJ8BJ6WPKD | unknown | open | mathlib_overview Combinatorics > Additive combinatorics > doubling constant, Mathlib Finset.addConst |
| Doubling inequality | 1GFKBMATVE | 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.18252#DXAU |
| Doubling multiplier, extended to redouble | DTNTXA88BM | 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.26265#2M79 |
| doubling the cube | 4QGJYXMTWR | problem | node (a node has the same Wikidata item as the row) | Wikidata Q213673, MathWorld CubeDuplication, ProofWiki Doubling_the_Cube |
| Doubling-window scheme: single-trajectory window adaptivity | 49BYW68P86 | 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.00295#T2JL |
| doubly even number | 6GA962JKTC | unknown | open | Wikidata Q135752634, MathWorld DoublyEvenNumber, OEIS A008586 |
| doubly non-negative matrix | ZSSBVFTEKT | unknown | open | Wikidata Q22582534, MathWorld DoublyNonnegativeMatrix |
| doubly stochastic matrix | Z8KPMD86FJ | statement | open | mathlib_1000 Q1243340, Mathlib doublyStochastic_eq_convexHull_permMatrix, Wikidata Q1243340, thousand_plus Q1243340, Wikipedia Birkhoff–Von Neumann theorem, MathWorld DoublyStochasticMatrix |
| Doubly substochastic contraction | QMCARGSJ69 | 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.02843#EHR2 |
| Doubly symmetric binary symmetric channel | NEC2Z3RKEB | 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.13030#878C |
| Doubly triangular number | VVSMQTJB8Y | object | open | Wikidata Q105044211, OEIS A002817 |
| Dougall | PY7VJ1G0Y8 | 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.17957#SI5V |
| Douglas Bridges | X9W45CJVVJ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q38170627, nLab Douglas Bridges |
| Douglas Stanford | K43Y4C9ZVN | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q44717823, nLab Douglas Stanford |
| Douglas Theorem | 3KPPQNES6Z | 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 2403.02207#H0B3 |
| Dov Jarden | 7GXG6B70KB | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q12405644, ProofWiki Mathematician:Dov_Jarden |
| Dowker | BNMKQYY99M | 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 2601.04559#8QME |
| Dowker Filtration | K79NF20SZK | 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 2601.04559#5AJU |
| Dowker space | XQM3CF8HR9 | concept | open | Wikidata Q5302693, nLab Dowker space |
| Dowker's theorem | WKKN490K5A | 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.15099#GMJT |
| Dowker–Thistlethwaite notation | Q5DGWF6YGF | topic | open | Wikidata Q5302692, MathWorld DowkerNotation |
| down quark | TJS2YX4CS3 | unknown | open | Wikidata Q6745, nLab down quark |
| down set | SD5MEV3W09 | concept | open | applied_combinatorics index/6.3/down-set |
| down-cone | CTT8AK7W8G | 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.15099#7T8P |
| Down}stream expansion rate estimate for $\mathrm{md}^{-\delta} \circ F$ | ZN9F04GVXG | 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.10051#XZJK |
| dozen | H4TBK8Y0TR | unknown | open | Wikidata Q605704, MathWorld Dozen |
| DP07B3SA3D | DP07B3SA3D | 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.01411#RM8M |
| DP0E1YEHDV | DP0E1YEHDV | example | open | lebl_diffyqs ch-systems.tex#example-20 |
| DP0ZK5H15Q | DP0ZK5H15Q | statement | open | open_logic content/incompleteness/incompleteness-provability/fixed-point-lemma.tex#lem:fixed-point |