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 4501–4600 of 4710.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| DY46Y97M2E | DY46Y97M2E | 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.15217#I2FC |
| DY4DJQ4ZQ1 | DY4DJQ4ZQ1 | 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.00048#M9BL |
| DY4JY49W0Z | DY4JY49W0Z | 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.35577#WRKC |
| DY4TGEHEJ1 | DY4TGEHEJ1 | 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.26386#HC1Z |
| DY59CZFDJE | DY59CZFDJE | 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 1002.0879#EU8X |
| DY5YB1ZFW2 | DY5YB1ZFW2 | 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.08237#125X |
| DY678JX2ZQ | DY678JX2ZQ | example | open | napkin tex/H113/ring-intro.tex#example-5 |
| DY6A9TQE09 | DY6A9TQE09 | example | open | napkin tex/linalg/vector-space.tex#example-10 |
| DY6FM2XVN1 | DY6FM2XVN1 | 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.03719#H378 |
| DY6GPR60V4 | DY6GPR60V4 | 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.13392#4XBC |
| DY7QSHCFV1 | DY7QSHCFV1 | 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.16655#IB6N |
| DY7VC9KV3P | DY7VC9KV3P | 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.36811#I3FS |
| DY7VG0QK1T | DY7VG0QK1T | 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.09678#EQ7P |
| DY819SMS7W | DY819SMS7W | statement | open | lebl_ra ch-approximate.tex#thm:l2bestapprox |
| DY863884CR | DY863884CR | 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.28898#8VEQ |
| DY87Y3C691 | DY87Y3C691 | 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.35691#R1D5 |
| DY87ZRCZWA | DY87ZRCZWA | exercise | open | lebl_diffyqs ch-intro.tex#exercise-3 |
| DY88PVJ7W3 | DY88PVJ7W3 | 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.38865#TBA2 |
| DY90MHK3N7 | DY90MHK3N7 | definition | open | open_logic content/normal-modal-logic/syntax-and-semantics/language-modal-logic.tex#defn-1 |
| DY93K44MAR | DY93K44MAR | 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 math/9902147#8ZC4 |
| DY9DMSBXHH | DY9DMSBXHH | example | open | hott_book reals.tex#eg:surreal-addition |
| DY9GHJMFYW | DY9GHJMFYW | proof | open | hott_book reals.tex#proof-26 |
| DYA46F1BJ3 | DYA46F1BJ3 | example | open | napkin tex/homology/singular.tex#ex:S1_c_minus_d |
| DYA4W4YV5H | DYA4W4YV5H | 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.01958#DO2O |
| DYA684VVCG | DYA684VVCG | 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.32903#IZV6 |
| DYA9R7T54H | DYA9R7T54H | 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.03138#6KK8 |
| dyad | 28F6P5YSH5 | concept | open | Wikidata Q29431432, nLab pair |
| Dyadic control for $\Gamma_x$ | 5449JDFSHN | 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.02721#9CPD |
| Dyadic deficit identity | SW6WQ0XRVG | 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.39633#QUXT |
| Dyadic form | PM3XZTH24P | 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.16510#U8JA |
| Dyadic operator comparison | 3ND0XENDWH | 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.16248#HM0D |
| dyadic product | H2SAZTY33Z | unknown | open | Wikidata Q2396526, MathWorld Dyad |
| Dyadic reconstruction | 8BS34JR58F | 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#4OJI |
| Dyadic rounding from hereditary Gaussian signing | NYB8T7FKM3 | 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#4MLM |
| Dyadic thinning with prescribed marginals | DES5133FKZ | 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#UYSP |
| dyadic transformation | 7QS31T7AYM | concept | open | Wikidata Q826704, MathWorld 2xmod1Map |
| Dyadic tree representation | RDYDEW9RP9 | 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#LJVG |
| Dyadic-Multiple Stopped-Distance | RJGDXVQWK7 | 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.17677#GYWW |
| DYB49NJQTP | DYB49NJQTP | 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.11047#SNFE |
| DYBD8PXKAX | DYBD8PXKAX | 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.03384#OZ0J |
| DYCH9JS8JV | DYCH9JS8JV | 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.38188#2A2X |
| Dyck graph | X3EZFVNGYP | unknown | open | Wikidata Q3115480, House of Graphs 1053, MathWorld DyckGraph |
| Dyck Path | 6DZG4H5QV7 | 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.07671#I9LN |
| Dyck path | GFMXSAHSYM | concept | open | Wikidata Q139882248, MathWorld DyckPath |
| Dyck Path Area | 5GV3MKCSMP | 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.07671#UDBY |
| Dyck words | MEV4FTXB56 | unknown | open | mathlib_overview Combinatorics > Enumerative combinatorics > Dyck words, Mathlib DyckWord |
| DYCS8CBB4J | DYCS8CBB4J | 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.01874#8T9O |
| DYCTP55WMN | DYCTP55WMN | 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.20466#CD0T |
| DYCZ6XM8KG | DYCZ6XM8KG | 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 2508.17135#HBXY |
| DYD51SJTM6 | DYD51SJTM6 | example | open | napkin tex/alg-geom/bezout.tex#example-1 |
| DYDW6G15JA | DYDW6G15JA | 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.27843#5DN1 |
| DYDYZGRHAB | DYDYZGRHAB | example | open | open_logic content/normal-modal-logic/tableaux/more-rules.tex#ex-1 |
| Dyer | THJZWMGTSV | 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.27253#FN3X |
| DYEXAPA4K6 | DYEXAPA4K6 | 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 0902.4012#M3PV |
| DYF2GPAGDK | DYF2GPAGDK | 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.22247#9H2S |
| DYG81R58MA | DYG81R58MA | proof | open | lebl_ra ch-approximate.tex#proof-2 |
| DYGWD6J6Z1 | DYGWD6J6Z1 | 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.26600#UYBT |
| DYH4YEDG0C | DYH4YEDG0C | 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.08865#0TII |
| DYHEWR8K5S | DYHEWR8K5S | 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.06683#BXVC |
| DYHFWZDK3B | DYHFWZDK3B | 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 2603.28861#PFGY |
| DYJ52FXNPE | DYJ52FXNPE | 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.25896#5ADU |
| DYJHSJHA9E | DYJHSJHA9E | 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.14841#FAP4 |
| DYJSZCZ39B | DYJSZCZ39B | 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.16332#O4GL |
| DYJY6JD4G8 | DYJY6JD4G8 | 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.30015#RPT7 |
| DYJYPY2B19 | DYJYPY2B19 | 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.19088#4M67 |
| DYJZ6R2VBB | DYJZ6R2VBB | 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 2610.09133#VB4G |
| DYK8YXM2P7 | DYK8YXM2P7 | 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 2301.02848#S7UA |
| DYKBD0TJP8 | DYKBD0TJP8 | 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 2610.02935#13BJ |
| DYKBEH7Y7F | DYKBEH7Y7F | 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.35466#00ZY |
| Dym equation | RNVMHE3SNM | unknown | open | Wikidata Q5318827, EoM Harry_Dym_equation, MathWorld HarryDymEquation |
| DYM19AWGQA | DYM19AWGQA | 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 0908.3266#L774 |
| DYM3W9SJZP | DYM3W9SJZP | 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.33360#IPL7 |
| Dynamic additive approximation | Y4XZNH91YS | 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.31641#3801 |
| dynamic programming | CHBVR5ZYN8 | topic | open | Wikidata Q380679 |
| Dynamic Programming Principle | 2TJSQGBDRH | 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 2501.01612#ZX5U |
| Dynamic Programming Principle | YX0HG9D635 | 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.35466#V5ZA |
| Dynamic projected gradient descent | HJAQJ0PAF6 | 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.20187#25LB |
| dynamical billiards | XN3S2C2BM9 | unknown | open | Wikidata Q2903467, MathWorld Billiards |
| Dynamical comparison principle | X84K6S9FKN | 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.31187#IYXJ |
| Dynamical Manin-Mumford | DQA35X4C5K | 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.15169#CVUU |
| dynamical system | ZTHEG21164 | unknown | open | Wikidata Q638328, EoM Dynamical_system, MathWorld DynamicalSystem |
| dynamics | HCR5RZP7JJ | unknown | open | Wikidata Q128030, EoM Dynamics |
| Dynamics on the cone | Z1WTDQ7A12 | 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.12434#EKPC |
| DYNBEJ6E42 | DYNBEJ6E42 | 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.29925#R9A1 |
| dyne | GYVQ93JWA9 | definition | open | Wikidata Q201933, ProofWiki Definition:CGS/Force/Dyne |
| Dynkin diagram | QZ9355JCJR | concept | open | Wikidata Q5319218, EoM Dynkin_diagram, MathWorld DynkinDiagram, nLab Dynkin diagram |
| Dynkin formula on a fixed window | NAWDZ14T11 | 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.18739#9YZ2 |
| Dynkin frieze | 2HSBV1J7NY | 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.31537#F0VI |
| Dynkin's Formula for Continuous-time Glauber dynamics | JEW28FVQ21 | 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#H3S0 |
| Dynnikov | WC3KXZAVFV | 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.01596#XGTQ |
| DYNXAZW7CN | DYNXAZW7CN | proof | open | hott_book reals.tex#proof-11 |
| DYPC4BZQNV | DYPC4BZQNV | 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/0301148#4DEX |
| DYPE8SVR77 | DYPE8SVR77 | 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.29205#D20K |
| DYQ2MCR49V | DYQ2MCR49V | 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.18219#807H |
| DYRF2Z6TE3 | DYRF2Z6TE3 | 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.25289#57ZH |
| DYRTNBZMN9 | DYRTNBZMN9 | 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.12181#WCYD |
| DYRX4WXVD6 | DYRX4WXVD6 | 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.26340#JREC |
| DYS1565NPR | DYS1565NPR | 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.10930#9OZS |
| DYS2HMGHQV | DYS2HMGHQV | 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.07673#YVG5 |
| DYS7A1SWTN | DYS7A1SWTN | 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.31689#PTW0 |