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 4201–4300 of 4710.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Duality with barycentric energy constraints | 43NK55HWQT | 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.01855#L35Q |
| Dualizable abelian fibration | 6308PSCWYJ | 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 2509.05577#GG6C |
| dualizing module | M1HB6T6K11 | concept | open | Wikidata Q5310268, MathWorld GorensteinRing, nLab dualizing module, Wikidata Q5586177, EoM Gorenstein_ring, nLab Gorenstein ring |
| Dually truncated partition Lie algebroids | 2DJ2WAPZ97 | 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.20801#B3E8 |
| Dubins | PMCQ2NNG5J | 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 2606.21391#7YYI |
| Dudeney number | VENGPQQ235 | object | open | Wikidata Q2534385, OEIS A061209 |
| Dudley's Theorem | 9BXH75GRTP | statement | open | arXiv 2610.15111#U82M, mathlib_1000 Q5311783, Wikidata Q5311783, thousand_plus Q5311783, Wikipedia Dudley's theorem |
| Duffing equation | 6CD4XCKK5Z | unknown | open | Wikidata Q675387, MathWorld DuffingDifferentialEquation |
| Duffin–Schaeffer theorem | AZ227XVZH3 | conjecture | open | Wikidata Q5312375, EoM Duffin-Schaeffer_conjecture |
| Duflo | CWSA80JWJS | 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.13884#76PC |
| Duflo isomorphism | NA4SSABTNJ | unknown | open | Wikidata Q5312412, nLab Duflo isomorphism |
| Duggan–Schwartz theorem | 23MEDNB1X1 | statement | open | mathlib_1000 Q3984011, Wikidata Q3984011, thousand_plus Q3984011, Wikipedia Duggan–Schwartz theorem |
| Duhamel integrals are continuous | 728KJ6JY7H | 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.32585#NB7G |
| Duhamel’s Principle for General Linear Parabolic PDE | E9ETX2QJXC | 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.15111#02R3 |
| Dujella, Peth\H o | 68138E0PMA | 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.15770#V5IR |
| Dumas--Wolf | 1RM6S3KCYH | 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.32300#L1QW |
| Duncan Sommerville | NDNS9CDFMM | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q5314611, ProofWiki Mathematician:Duncan_MacLaren_Young_Sommerville |
| Dunford--Pettis | NA6VSZ9K8X | 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#VQX7 |
| Dunford–Schwartz theorem | 261XKZR7XY | statement | open | mathlib_1000 Q5315060, Wikidata Q5315060, thousand_plus Q5315060, Wikipedia Dunford–Schwartz theorem |
| Dunkl operator | PTBPXPEDEQ | unknown | open | Wikidata Q5315392, nLab Dunkl operator |
| Dunkl-polynomial duality | PXHJABQ9AP | 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.34260#CE4N |
| duodecimal | D790J5H43P | definition | open | Wikidata Q212177, MathWorld Duodecimal, ProofWiki Definition:Duodecimal_Notation |
| Dupin cyclide | F2HTT5PDTT | concept | open | Wikidata Q4907706, MathWorld Cyclide |
| Dupin's theorem | 1E5BNPHPKT | statement | open | Wikidata Q84845514, MathWorld DupinsTheorem |
| duration | VQG4AF20BG | definition | open | Wikidata Q2199864, ProofWiki Definition:Time/Length |
| Durrmeyer spectral decomposition | S3J1Z3SMC3 | 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.21363#VADA |
| Dusa McDuff | VJTYN8V07C | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q450373, nLab Dusa McDuff |
| Dusko Pavlovic | 8WHVBRZR49 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q62057887, nLab Dusko Pavlovic, nLab Duško Pavlović |
| DV0ECMABYN | DV0ECMABYN | 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.02961#URJI |
| DV1AYBJJ6M | DV1AYBJJ6M | 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.20801#DTI4 |
| DV1ERRZEKY | DV1ERRZEKY | 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.33590#Y4JT |
| DV1Y38XT5Y | DV1Y38XT5Y | 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.24614#RZES |
| DV212XVGZZ | DV212XVGZZ | 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 2102.09374#1K60 |
| DV22D7H8XY | DV22D7H8XY | 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.25301#D61O |
| DV35EW97WP | DV35EW97WP | 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 2409.20170#RM8F |
| DV3HGF5VRE | DV3HGF5VRE | 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 2209.01576#Q3RW |
| DV3HWPW89J | DV3HWPW89J | 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.20050#DX0H |
| DV3JXKTXWT | DV3JXKTXWT | 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.24449#ESI3 |
| DV3RJW9STC | DV3RJW9STC | 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.29943#QZP0 |
| DV3V0MQBS9 | DV3V0MQBS9 | 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.07530#L6OB |
| DV4XNV0C0M | DV4XNV0C0M | 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.12357#UI3X |
| DV55SBPSZS | DV55SBPSZS | 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.07280#L35L |
| DV5HTY2PE7 | DV5HTY2PE7 | 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.12108#HZBI |
| DV5T0RZM4M | DV5T0RZM4M | statement | open | ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#thm:unique additive inverse |
| DV67S7GSG3 | DV67S7GSG3 | 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.05032#FGU5 |
| DV75KNABX2 | DV75KNABX2 | statement | open | open_logic content/first-order-logic/tableaux/provability-quantifiers.tex#thm:strong-generalization |
| DV7SXH94X7 | DV7SXH94X7 | statement | open | ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#thm:canonical projection |
| DV7ZZJRZ1V | DV7ZZJRZ1V | exercise | open | lebl_ra ch-riemann.tex#exercise-55 |
| DV8EH5SCCE | DV8EH5SCCE | 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.32916#RDSF |
| DV8PPJJVPS | DV8PPJJVPS | 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.39700#4EAF |
| DVC4GYMFXX | DVC4GYMFXX | 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.25703#A5KQ |
| DVCBK0Z4E2 | DVCBK0Z4E2 | 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.02061#05SO |
| DVD0HRFMMV | DVD0HRFMMV | 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 2403.15255#EH7I |
| DVF4MRV3XK | DVF4MRV3XK | 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 2509.21444#J2LN |
| DVF60M6DD0 | DVF60M6DD0 | 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.39353#LJZS |
| DVG595S9FM | DVG595S9FM | 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.11276#EBIZ |
| DVG6NKPHTK | DVG6NKPHTK | 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.19658#048N |
| DVGBC16Y3P | DVGBC16Y3P | 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.28597#6NKF |
| DVGN3667R5 | DVGN3667R5 | 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.07434#VCLA |
| DVGTM4HM60 | DVGTM4HM60 | 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.13888#8EL8 |
| DVHHZZP7NT | DVHHZZP7NT | 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.04434#L3FC |
| DVHJMS3GT9 | DVHJMS3GT9 | 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.33651#79PS |
| DVJC2HBA8N | DVJC2HBA8N | 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.17565#VNAX |
| DVJJDV09ET | DVJJDV09ET | 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.13847#1K7T |
| DVJSRR9BF9 | DVJSRR9BF9 | 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 2012.05048#AN6N |
| DVKX9NJ3XX | DVKX9NJ3XX | 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.16123#W3C3 |
| DVM4XKGZAW | DVM4XKGZAW | 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.08081#EIFQ |
| DVM7RNFXFW | DVM7RNFXFW | statement | open | lebl_scv scv.tex#prop-16 |
| DVN0EWN0C5 | DVN0EWN0C5 | 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.03851#S7LM |
| DVN5NC6WGV | DVN5NC6WGV | 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.24212#B3WT |
| Dvo\v{r}\'{a}k, Ossona de Mendez, Wu | YVN367T5ST | 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.16465#ZL01 |
| DVPEGVQ8ZY | DVPEGVQ8ZY | 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.37739#FGMT |
| DVQ5WC6SCN | DVQ5WC6SCN | 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.27771#TIM9 |
| DVQ77WH9Z0 | DVQ77WH9Z0 | 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 1711.00219#OV4D |
| DVQJQMVC3Y | DVQJQMVC3Y | 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 1006.3331#6WR1 |
| DVR34SS69B | DVR34SS69B | 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 2211.16099#1LPK |
| DVR84P1TXX | DVR84P1TXX | 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.14446#R8IY |
| DVRD8X6Y86 | DVRD8X6Y86 | 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.13833#I4KZ |
| DVRZR25HJ8 | DVRZR25HJ8 | 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.24185#QSRJ |
| DVSHPKH25R | DVSHPKH25R | 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.02061#JDK8 |
| DVSJ8NBP2H | DVSJ8NBP2H | 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.20376#BH9I |
| DVT9D786JH | DVT9D786JH | 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#UTAU |
| DVTEH8Z4XZ | DVTEH8Z4XZ | 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 2512.11346#BK0G |
| DVTJ4BB63F | DVTJ4BB63F | 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.00856#ER9L |
| DVTVCEEW1V | DVTVCEEW1V | 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.15744#45ND |
| DVVJ6FQTB8 | DVVJ6FQTB8 | 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.01109#9DXE |
| DVVQ01F0MN | DVVQ01F0MN | example | open | lebl_ra ch-approximate.tex#example-13 |
| DVVVR3B625 | DVVVR3B625 | 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.25823#SH63 |
| DVWK3YSBE1 | DVWK3YSBE1 | 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#D19H |
| DVWNXHT2PD | DVWNXHT2PD | 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.17181#VRFO |
| DVWSTAF8JF | DVWSTAF8JF | 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.27800#UHV7 |
| DVWTA3AC4S | DVWTA3AC4S | 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.09990#D8EZ |
| DVYSMA9KQE | DVYSMA9KQE | 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.16883#FO3O |
| DVYY8H1N6C | DVYY8H1N6C | 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.39593#TCN8 |
| DW09Z4M2S0 | DW09Z4M2S0 | 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.12736#HZZJ |
| DW0EVPDH8M | DW0EVPDH8M | 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.01959#UCY1 |
| DW0G79BPR6 | DW0G79BPR6 | 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.05056#7BRM |
| DW0GJYC887 | DW0GJYC887 | exercise | open | lebl_scv scv.tex#exercise-33 |
| DW1PHD8H4S | DW1PHD8H4S | 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.33584#SVPQ |
| DW2HG6MKWS | DW2HG6MKWS | 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.32997#GSJB |