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 2101–2200 of 4710.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| DEX4EF20CJ | DEX4EF20CJ | 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.36181#BOQ7 |
| Dey's almost-smooth discretization | E942P5B96M | 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.37769#3SU3 |
| DEYH8JBTFT | DEYH8JBTFT | unknown | open | arXiv 2610.13680#HH5W |
| DEYV37JE4R | DEYV37JE4R | 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.24701#CF4Y |
| DEZ7ME1PWA | DEZ7ME1PWA | 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#PZ2I |
| DEZBKRMNR0 | DEZBKRMNR0 | 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.27360#4VIP |
| DEZMHSSP1Y | DEZMHSSP1Y | 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.35153#OTBT |
| DF--CF time-sharing inner bound | YBPATGNB30 | 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.12034#4CFS |
| DF01WXC4Y7 | DF01WXC4Y7 | 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.15869#K9Q0 |
| DF02D8836M | DF02D8836M | exercise | open | active_calculus source/activities/act-1-7-3.xml#act-1-7-3 |
| DF06YXNV49 | DF06YXNV49 | 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.14838#CIPG |
| DF0E190YZ1 | DF0E190YZ1 | 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.11377#8PS3 |
| DF0WHK1B88 | DF0WHK1B88 | 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.14214#4E34 |
| DF0WYH8TY6 | DF0WYH8TY6 | 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 0809.4587#AX7M |
| DF18653ME6 | DF18653ME6 | 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.12351#5HFL |
| DF1APBQ5QG | DF1APBQ5QG | 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.10086#VC4D |
| DF1DRBT6P4 | DF1DRBT6P4 | 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.07963#12OU |
| DF1V7ZFDF4 | DF1V7ZFDF4 | 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.26477#WIAS |
| DF27CCXTS0 | DF27CCXTS0 | 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.20932#YI5U |
| DF2HYYK8S5 | DF2HYYK8S5 | 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 2401.14143#TE1L |
| DF3275REX2 | DF3275REX2 | 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#IJ1F |
| DF3NXKTG33 | DF3NXKTG33 | 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.15169#OX7L |
| DF40NGPN74 | DF40NGPN74 | 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.12834#P9BA |
| DF4FZYW7G2 | DF4FZYW7G2 | 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.27301#ZIPQ |
| DF504T2VH9 | DF504T2VH9 | 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.19464#QQ3T |
| DF510VR4B6 | DF510VR4B6 | exercise | open | lebl_ra ch-multivar-int.tex#exercise-45 |
| DF6343C43V | DF6343C43V | 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.35325#Q9F5 |
| DF6HSYCXN9 | DF6HSYCXN9 | 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 2405.01860#UR5Y |
| DF6P07PQQV | DF6P07PQQV | 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.22040#QII8 |
| DF7213XK2G | DF7213XK2G | 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.30444#DQVF |
| DF752WG56J | DF752WG56J | 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.32300#SIB2 |
| DF7GETT533 | DF7GETT533 | 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.37026#M2F9 |
| DF89G9KXN5 | DF89G9KXN5 | 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.07451#U5R2 |
| DF8EW6YDN5 | DF8EW6YDN5 | 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#717V |
| DF8F5EJ8HG | DF8F5EJ8HG | 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 2506.07061#VKXT |
| DF8KYNZB6C | DF8KYNZB6C | 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.22074#WME2 |
| DF9AYW4ZC3 | DF9AYW4ZC3 | 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.01924#PVCM |
| DF9HZT02ZT | DF9HZT02ZT | 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.39455#8MWQ |
| DF9T0EW0AG | DF9T0EW0AG | 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.31269#HFNR |
| DFA | G63EHPFMW1 | unknown | open | mathlib_overview Logic and computation > Formal languages > DFA, Mathlib DFA |
| DFA0JRDV81 | DFA0JRDV81 | exercise | open | ernst_ibl MAAPressVersion/IntroQuantification.tex#problem-1 |
| DFAA2QPE9H | DFAA2QPE9H | 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.30579#YI0I |
| DFAGR9EH36 | DFAGR9EH36 | 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.04675#RN4S |
| DFAK4YG2WE | DFAK4YG2WE | 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.12633#1HM5 |
| DFBRP9TBQ4 | DFBRP9TBQ4 | 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.16554#A82P |
| DFC73DY2TH | DFC73DY2TH | 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.17817#U8MM |
| DFD7K8XYN3 | DFD7K8XYN3 | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-1 |
| DFDFT4PMCW | DFDFT4PMCW | exercise | open | lebl_diffyqs ch-laplace.tex#exercise-59 |
| DFDXPAJQN2 | DFDXPAJQN2 | definition | open | lebl_ra ch-metric.tex#defn-7 |
| DFE4G3ZQSA | DFE4G3ZQSA | 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.38436#87F2 |
| DFEGYR429T | DFEGYR429T | 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.13792#5XAV |
| DFEJ9PGHGE | DFEJ9PGHGE | 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.35683#FD2I |
| DFEVVCFWPP | DFEVVCFWPP | 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.17045#96UK |
| DFF562ZFMF | DFF562ZFMF | 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.14162#613K |
| DFF5ZYTDZP | DFF5ZYTDZP | 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.11757#YEYX |
| DFFDH3JWTG | DFFDH3JWTG | 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 2406.19866#GIE6 |
| DFFPBVK3MZ | DFFPBVK3MZ | 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.13213#TUMW |
| DFGJ7PF13V | DFGJ7PF13V | 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.28295#DQ68 |
| DFGVM1HF7H | DFGVM1HF7H | statement | open | ernst_ibl MAAPressVersion/EquivalenceRelations.tex#thm:equiv yields partition |
| DFH33MGP5P | DFH33MGP5P | 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.22190#LH5Z |
| DFJ5YMAY42 | DFJ5YMAY42 | 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#7VFK |
| DFJFPMGEGJ | DFJFPMGEGJ | 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.18618#6ACZ |
| DFKRBG4P2G | DFKRBG4P2G | 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.31615#N56J |
| DFKS1K9SME | DFKS1K9SME | 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.09810#A5EN |
| DFKW63Q4ZK | DFKW63Q4ZK | exercise | open | napkin tex/alg-NT/artin.tex#ques-3 |
| DFMCG59PWV | DFMCG59PWV | example | open | lebl_diffyqs ch-systems.tex#sintro:closedbrine-example |
| DFMPDH69HN | DFMPDH69HN | 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.11478#Y68H |
| DFMVM7Z39F | DFMVM7Z39F | 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 2605.24355#P6HC |
| DFN7GC9AYZ | DFN7GC9AYZ | 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.31858#XETQ |
| DFNXGSVE0G | DFNXGSVE0G | 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.26262#VD1M |
| DFP79X930Z | DFP79X930Z | 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.13122#Z3C4 |
| DFQ4H1GRG6 | DFQ4H1GRG6 | 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.35442#NTA1 |
| DFQAXHW92C | DFQAXHW92C | 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.07114#SPIN |
| DFQJGD6JG9 | DFQJGD6JG9 | 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.08145#GSHZ |
| DFQRGNTJBX | DFQRGNTJBX | 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.19273#J4GC |
| DFR44870JZ | DFR44870JZ | 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.13898#YSQA |
| DFR94ND5E5 | DFR94ND5E5 | 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.10930#R753 |
| DFRDGCDK2V | DFRDGCDK2V | 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.30823#19UR |
| DFRMJQNMCZ | DFRMJQNMCZ | 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#A26Z |
| DFRRD507QS | DFRRD507QS | 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.36181#4SWL |
| DFRRZJD55M | DFRRZJD55M | 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.29537#02NS |
| DFS8R3TRS8 | DFS8R3TRS8 | 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.01796#NB7Q |
| DFSP0CT0GC | DFSP0CT0GC | 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.22074#X2WP |
| DFT matrix | VBYJG51FMF | unknown | open | Wikidata Q5204933, MathWorld FourierMatrix |
| DFT5PX8A97 | DFT5PX8A97 | 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 2008.10035#HLUL |
| DFT771PJ45 | DFT771PJ45 | 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.16554#Q882 |
| DFTQDBTW2H | DFTQDBTW2H | 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.16454#FLT8 |
| DFTT0CK03F | DFTT0CK03F | 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#G9G3 |
| DFTYGMT14H | DFTYGMT14H | 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.16779#INZ8 |
| DFV2KKB5PW | DFV2KKB5PW | 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.25321#TM8M |
| DFVGZRTDWY | DFVGZRTDWY | 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 2104.00162#SKGA |
| DFVPJBX2QE | DFVPJBX2QE | 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.05299#U0NR |
| DFW1310Y4G | DFW1310Y4G | 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#B7UC |
| DFW4BKNZJ2 | DFW4BKNZJ2 | 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.11038#FAET |
| DFWBQZZZG6 | DFWBQZZZG6 | 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.31604#HDG0 |
| DFY962XSAV | DFY962XSAV | 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.00789#SPM5 |
| DFYJGGCKN1 | DFYJGGCKN1 | 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.28141#81BI |
| DFYYNJ46TW | DFYYNJ46TW | 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.40345#PHWR |
| DFYZ7Y1RT0 | DFYZ7Y1RT0 | 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.37450#VRPT |
| DFZSA5122Y | DFZSA5122Y | 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.35287#YSI9 |