Math 2.0

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.

Rows 2401–2500 of 4710.

NameIdKindOutcomeSources
DHY89FXCZ9DHY89FXCZ9statementrecord (an 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.08776#I7UJ
DHYVBG8QHDDHYVBG8QHDstatementrecord (an 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#VKVH
DHZ01GJYY4DHZ01GJYY4statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2305.06030#S084
DHZCGK706WDHZCGK706Wstatementrecord (an 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.18562#AFYW
DHZPNHMVBADHZPNHMVBAstatementopenopen_logic content/incompleteness/arithmetization-syntax/proofs-in-lk.tex#prop-1
DHZRFPA8J9DHZRFPA8J9statementrecord (an 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#T9AJ
DHZSD2EHMBDHZSD2EHMBstatementopenhott_book categories.tex#ct:esofull-precomp-ff
di Bruno's FormulaSBTDE9GH8Sstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2109.12716#MX5B
DI capacity for continuous channelsKFRY6B8MKSstatementrecord (an 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.12413#V8UE
DI capacity for DMCs5J0BXF7G9Zstatementrecord (an 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.12413#FFUZ
diabolical cubeJ4NY2A94G9unknownopenWikidata Q5270197, MathWorld DiabolicalCube
Diaconescu77YDP67A5Cstatementopenhott_book setmath.tex#thm:1surj_to_surj_to_pem
Diaconescu's theoremFBRY3ARBQDconceptopenhott_book index/C.1.5/diaconescu-s-theorem
Diaconescu's theoremSP50Y4PBXSstatementopenWikidata Q3527059, nLab Diaconescu's theorem
Diaconis and GrahamPEMJ968HJCstatementrecord (an 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.17479#72IG
Diagnostic transportB9CGS55GZ8statementrecord (an 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.10793#TKUC
diagonalX8V6XMGG4RunknownopenWikidata Q77966258, MathWorld Diagonal
Diagonal $N$-invarianceF3199SBEMWstatementrecord (an 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.29877#Z6VL
Diagonal action of the Binet operator6AR0Q1T3VTstatementrecord (an 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.20593#X2BE
Diagonal AH equalityD1FWY84PMZstatementrecord (an 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.11143#4NHV
Diagonal calibrationEYFY77GPV7statementrecord (an 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.38041#DMKH
Diagonal coefficients, adjacent layers, and breakpoints1FH7ZZTWHKstatementrecord (an 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.33365#6RZS
Diagonal compensation at fixed cutoffYQ1BQZAE9Xstatementrecord (an 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.32710#NMRT
Diagonal contraction of the exceptional intervalHA7DD0RGC5statementrecord (an 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.27799#FF4T
Diagonal coverageGD2MDJSS10statementrecord (an 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.31336#NXQC
Diagonal evaluationBNYAX9YYBSstatementrecord (an 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.04099#QV97
diagonal functor9REK4FBW1WunknownopenWikidata Q1208187, nLab diagonal functor
Diagonal graded product5F7JJEPNDRdefinitionrecord (an 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#RF62
diagonal matrix5C3P7NKXPTconceptopenlebl_diffyqs index/10.6.1/diagonal-matrix
diagonal matrixEZGPZWYDK2definitionnode (a node has the same name as the row)Wikidata Q332791, EoM Diagonal_matrix, MathWorld DiagonalMatrix, ProofWiki Definition:Diagonal_Matrix
diagonal matrix, matrix exponential ofMV50S0SZASconceptopenlebl_diffyqs index/10.8.2/diagonal-matrix-matrix-exponential-of
diagonal morphism2A7PH7H2B9unknownopenWikidata Q25098585, nLab diagonal morphism
Diagonal normalization associated with a positive eigenvector3MM2ZSRHRGdefinitionrecord (an 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.26066#TNLT
Diagonal of the squared resolvent on the safe setPR24QVRPQKstatementrecord (an 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.30590#6SO3
Diagonal optimal input covarianceEY2E48ZBW1statementrecord (an 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.19715#3J0B
Diagonal Poisson structureMFECQ3GJ0Vdefinitionrecord (an 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.08091#G19A
Diagonal proxyKGQ8PBV3V9statementrecord (an 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.04671#9K57
Diagonal quantum penaltiesXKKNDMANGYstatementrecord (an 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.14081#LB1Z
Diagonal reduction by Dirichlet averagingTFQWAJGK3Hstatementrecord (an 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.18277#ZNCQ
Diagonal reference from any linear codeCWMMB89PK2statementrecord (an 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#U74D
Diagonal separationCWAHBAC7RQstatementrecord (an 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.06081#9JZO
Diagonal stopped-observation measurabilityFEFMREYP0Gstatementrecord (an 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.09278#HR5E
Diagonal stratum5HZ4PGTNEZstatementrecord (an 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.04099#B23S
Diagonal termsT1QM6FK69Dstatementrecord (an 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.17717#8MLI
Diagonal-overgroup orbit number of $\PGU(3,q)$6AWJVH9310statementrecord (an 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.15340#PFH6
Diagonal-sum gateWWWN44FX6Adefinitionrecord (an 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.24235#YZJN
diagonalizableP2C4BWRZWTconceptopenaustin_ula index/4.3.2/diagonalizable
Diagonalizable derivationZNHHF3C3MKdefinitionrecord (an 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.08091#OOO2
diagonalizable matrix686MJYQQ8Kconceptnode (a node has the same Wikidata item as the row)Wikidata Q1767080, MathWorld DiagonalizableMatrix
diagonalizationBEW9T2FG0Nconceptopenlebl_ra index/7.5/diagonalization
diagonalizationQBZHXRG9V2unknownopenmathlib_undergrad Linear algebra > Structure theory of endomorphisms > diagonalization
Diagonalization by class functionsQYGYWER94Bstatementrecord (an 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.13429#G8RL
diagonalization of normal endomorphismsD78Q1QTG0Tunknownopenmathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > diagonalization of normal endomorphisms
diagonalization of self-adjoint endomorphisms3AG5VXTFZKunknownopenmathlib_overview Linear algebra > Finite-dimensional inner product spaces (see also Hilbert spaces, below) > diagonalization of self-adjoint endomorphisms, Mathlib LinearMap.IsSymmetric.eigenvectorBasis_apply_self_apply, mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > diagonalization of a self-adjoint endomorphism
Diagonals in shrinking windows7WF13812E9statementrecord (an 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.06490#YLTE
diagram6M7J045R3Mconceptopenhott_book index/1.15/diagram
diagramDT7QMPRCZCunknownopenWikidata Q843237, MathWorld DiagramChasing, nLab diagram
diagramRY00C00BYHconceptopenhott_book index/6.7/diagram
diagramZJ2XYMAEA7conceptopenhott_book index/1.4/diagram
Diagrammatic bound on the NoBLE coefficients56Y7T78Z9Fstatementrecord (an 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#UEYG
Diagrammatic pairing on $\delta \mathcal T_n$9152CK8GGNdefinitionrecord (an 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.37524#CYN3
Dialectica interpretation24CECD35HZunknownopenWikidata Q5270518, nLab Dialectica interpretation
dialgebraDFRR5G819HunknownopenWikidata Q19596859, nLab dialgebra
diameterMGVAWW5PFKunknownopenWikidata Q37221, EoM Diameter, MathWorld Diameter
Diameter backboneE7WS2RK4KXstatementrecord (an 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.34025#O5YY
Diameter boundE3691ET23Zstatementrecord (an 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#5VU6
Diameter graph characterizationNT4353FAW2statementrecord (an 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.06340#XED2
Diameter sharpness for contractionWG3AKYN095statementrecord (an 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.00501#KBJC
Diameter-end structureBJMVPHT5S9statementrecord (an 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.02276#DCZF
Diameters of tiles1CT12HDRDVstatementrecord (an 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.17227#EFUM
diamond graphX62CVPWD2RunknownopenWikidata Q3115555, House of Graphs 28, MathWorld DiamondGraph
Diamond hierarchical gluing dataVEJFHTTMG0examplerecord (an 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.35102#6UTT
Diamond norm with a cutoff, $K$YDD448S548definitionrecord (an 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.39747#D0LZ
Diamond-over 2-category \(\mathcal{A}_{◆\mathcal{B}}\JKADKR9QB9definitionrecord (an 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#HPSA
Diane MaclaganC0S03ZP7HSunknownout_of_scope (a person, not an item of mathematics)Wikidata Q56223008, nLab Diane Maclagan
DiasYE5T1ES6FAstatementrecord (an 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.28780#AIJW
dice5H29426WEAdefinitionopenWikidata Q45089, MathWorld Dice, ProofWiki Definition:Die
dichotomy2EK22T4K8Wstatementrecord (an 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.01029#63D7
DichotomyYTFCW2C3XEstatementrecord (an 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.18600#8AI3
Dichotomy for general anchor densitiesAK5X5MQSARstatementrecord (an 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#O6A0
Dichotomy for quadrature-generated costs91G3YTZMKRstatementrecord (an 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#1ZFC
Dichotomy theoremDTCS4WYNE9statementrecord (an 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.12931#E0VD
Dichotomy theorem; , Theorem 3.176DDFRN1AFEstatementrecord (an 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.18078#U4IB
Dichotomy: affine rows concentrate, nonlinear rows do notB5MTAEV6H0statementrecord (an 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.04357#KZP9
Dickman functionE9DHWT00JRunknownopenWikidata Q5273760, MathWorld DickmanFunction
Dickson's theorem for $\mathrm{PSL}(2,8)$D03HG4VZ84statementrecord (an 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.18154#Z28P
Dickson, two linear forms27BVQ445NSconjecturerecord (an 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.39347#E343
DictionaryA42SDC2YF5statementrecord (an 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.40290#C3AT
dictionaryDAFM81JT98statementrecord (an 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.06909#319Y
DictionaryFGNRX8Y0WPstatementrecord (an 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.14189#71OH
Dictionary and convex familyM6E3K1VG2Zdefinitionrecord (an 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.00039#IHY6
Dictionary between the two parametrizationsP4ZWKR9B96statementrecord (an 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.18350#9B64
Dictionary on a smooth resolutionV1HETHG832statementrecord (an 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.27799#XMMD
Die Lineale Ausdehnungslehre, ein neuer Zweig der MathematikK694GBJW80unknownout_of_scope (a book, not an item of mathematics)Wikidata Q42192348, ProofWiki Book:Hermann_Günter_Grassmann/Die_Lineale_Ausdehnungslehre,_ein_neuer_Zweig_der_Mathematik
Diederich--Forn\ae ss6ATVB83RB8statementopenlebl_scv scv.tex#cor-8
Diederich--Forn\ae ssQ4QP53XN8Vstatementopenlebl_scv scv.tex#thm-26
Diederik RoestHH3G3PFSE7unknownout_of_scope (a person, not an item of mathematics)Wikidata Q60036057, nLab Diederik Roest
Diem--Frey, 2003GSXFMEYYYDproblemrecord (an 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.06461#DUH0
Dieter LüstGHY1HMVF91unknownout_of_scope (a person, not an item of mathematics)Wikidata Q91412, nLab Dieter Lüst
Dieter PuppeE31B547TW5unknownout_of_scope (a person, not an item of mathematics)Wikidata Q1222649, nLab Dieter Puppe