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 1401–1500 of 4710.

NameIdKindOutcomeSources
DE0C9G8PPQDE0C9G8PPQstatementrecord (an 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.12047#DLAY
DE0CGMV70SDE0CGMV70Sstatementrecord (an 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.33050#PMFH
DE0G946F95DE0G946F95statementrecord (an 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.04876#O2UT
DE0K6QMPPPDE0K6QMPPPstatementrecord (an 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.32439#80BT
DE169AF2DTDE169AF2DTstatementrecord (an 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.16844#BB6S
DE2S9MGNQGDE2S9MGNQGstatementrecord (an 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.35574#N0LJ
DE358QG8NJDE358QG8NJstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 0808.1331#H7U2
DE39AM8180DE39AM8180proofopenopen_logic content/first-order-logic/beyond/intuitionistic-logic.tex#proof-1
DE3VZ9TM9MDE3VZ9TM9Mdefinitionrecord (an 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.15631#87QS
DE4V2DP1P9DE4V2DP1P9statementrecord (an 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.18673#O8MA
DE52GVTTTCDE52GVTTTCstatementrecord (an 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.34856#5FRS
DE5VS5GXSADE5VS5GXSAstatementrecord (an 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#0DOP
DE5ZQ75534DE5ZQ75534definitionrecord (an 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.01837#QRNY
DE615NTBEGDE615NTBEGstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2204.01073#MQLG
DE6DT3HG5ADE6DT3HG5Astatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 0807.1652#XLC5
DE7PKF89RMDE7PKF89RMstatementrecord (an 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.19449#A2YK
DE9M1177T5DE9M1177T5exerciseopenaustin_ula src/section4-4.xml#activity-1
DE9SWW1X5FDE9SWW1X5Fstatementrecord (an 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.17276#P5PN
DE9W56CETZDE9W56CETZstatementrecord (an 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.33578#V0E3
Deadbeat control under additive disturbances8TSX1ZXRFMexamplerecord (an 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.00660#VEBA
DEAF06GJX1DEAF06GJX1statementrecord (an 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.31104#R8K2
Deal chance nodeQVE9RB8K74definitionrecord (an 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#JL40
DEBE7GGV8ADEBE7GGV8Astatementrecord (an 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.35307#J94R
Debiased machine learningJSJ4JP99CBdefinitionrecord (an 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.11076#N9A8
Debye lengthN334RBH4Z6unknownopenWikidata Q898268, EoM Debye_length
DEC59M71J1DEC59M71J1statementrecord (an 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.38206#18FF
decaPQNNAD65APdefinitionopenWikidata Q152516, ProofWiki Definition:Metric_System/Scaling_Prefixes/deka-
decadeP5PK3YT267definitionopenWikidata Q39911, ProofWiki Definition:Time/Unit/Decade
decagonCP717D34E2unknownopenWikidata Q184625, MathWorld Decagon
decagonal numberQD04S3DGKSunknownopenWikidata Q663029, MathWorld DecagonalNumber, OEIS A001107
decagram3Z0SJ9RM8ZunknownopenWikidata Q3753278, MathWorld Decagram
decahedronHRR0N1A70DunknownopenWikidata Q1183559, MathWorld Decahedron
decametreHDEF4DXK02definitionopenWikidata Q848856, ProofWiki Definition:Dekametre
Decay above the logarithmic comparison scaleHXH7AMX835statementrecord (an 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.32829#3STK
Decay beyond the matching stripYACWW3BWJJstatementrecord (an 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.33805#ZHGJ
Decay for linear and power relaxationSS5YGR8Y05statementrecord (an 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.15528#OIKI
Decay functionK01TQ3607Hdefinitionrecord (an 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.12731#I56K
Decay of correlations from LI for the tracial state4E0E86KHEJstatementrecord (an 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#V6LO
Decay of the Choi matrixJ2CGWQJDYJstatementrecord (an 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.27908#LMM0
Decay of the velocity7F94J39H7Mstatementrecord (an 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.13613#N54T
Decay regime; Theorem 42GMWJRAQW6statementrecord (an 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.27200#PAC3
Decay with an upper Sobolev bound on dampingXJFQ829K15statementrecord (an 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.15528#0H2M
Decay without an upper Sobolev bound on dampingWC6EHB56SGstatementrecord (an 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.15528#D0QG
December1W8CKTC2EFunknownout_of_scope (a person, not an item of mathematics)Wikidata Q126, ProofWiki Mathematician:Mathematicians/Sorted_By_Birthday/December
DECGT5R4JWDECGT5R4JWstatementrecord (an 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.11545#Q5I0
deciKVAQAJ6YZ4definitionopenWikidata Q110827, ProofWiki Definition:Metric_System/Scaling_Prefixes/deci-
decidabilityCZXWNG6217topicopenWikidata Q430001, MathWorld Decidable, nLab decidability
DecidabilityWWEZ3132NPstatementrecord (an 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.08323#IO0Q
Decidability for linear vector fields3W1CXSRWBSstatementrecord (an 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#15Q4
Decidability of Judgmental EqualityG88DE02AM7statementrecord (an 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#E6VD
decidable, definitional equality7P52C7BWREconceptopenhott_book index/A.1/decidable-definitional-equality
decidable, equality62GF76KKHHconceptopenhott_book index/B.1/decidable-equality
decidable, equalityET7KQDVJDAconceptopenhott_book index/6.2/decidable-equality
decidable, equalityP2DCVPQDRHconceptopenhott_book index/A.11/decidable-equality
decidable, equalityQJ1GSMWSERconceptopenhott_book index/7.10/decidable-equality
decidable, equalityYGP99RF3EPconceptopenhott_book index/5.11/decidable-equality
decidable, subsetYTBH83M8Y1conceptopenhott_book index/A.8/decidable-subset
Decided stems41B7ZCYDSJdefinitionrecord (an 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.09086#BZFZ
decimalK1QQH28WTCdefinitionopenWikidata Q81365, MathWorld Decimal, ProofWiki Definition:Decimal_Notation
decimal digitF6FJJPF5GDconceptopenlebl_ra index/7.5/decimal-digit
decimal representationC1EWGBEMS0conceptopenlebl_ra index/7.5/decimal-representation
decimal representationNX35T1B2Y2unknownnode (a node has the same Wikidata item as the row)Wikidata Q1376876, MathWorld DecimalExpansion
decimal separatorXTDREV9444unknownopenWikidata Q427968, MathWorld DecimalComma, MathWorld DecimalPoint
DecimationP92MF3NZEBstatementrecord (an 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.37479#MAY2
decimetreXVPMTE9G4WdefinitionopenWikidata Q200323, ProofWiki Definition:Metric_System/Length/Decimetre
Decision adequacyGM5ZVP12WRdefinitionrecord (an 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.11038#3RLF
Decision marginKDZREY9YXGdefinitionrecord (an 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.01937#WSNR
Decision marginPSQ2811E6Wdefinitionrecord (an 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.01937#27BE
decision problemGAPQ706W3NunknownopenWikidata Q3262192, MathWorld DecisionProblem
Decision stageHYQYX9SB56definitionrecord (an 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#XY03
decision theoryYB3PXRB4YJtopicopenWikidata Q177571, MathWorld DecisionTheory, ProofWiki Definition:Decision_Theory
Decision-rule minimax optimality for product Haar-POVM data3CDZ72E8MRstatementrecord (an 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.00117#H6IX
Decision-theoretic primitivesBEZ9W937MWdefinitionrecord (an 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.25026#U5HS
Decisional Module-LWEKF7NJA8XWJdefinitionrecord (an 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.38668#SR76
deck transformation8A4NT2W2EVunknownopenWikidata Q78506954, MathWorld DeckTransformation, nLab deck transformation
deck transformation group9VBVG6JEMZunknownopenWikidata Q78507138, EoM Group_of_covering_transformations
DecodingTASXBR5AN4definitionrecord (an 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/0003117#MLMM
Decomposable Cost Function1AA7525WAKdefinitionrecord (an 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.20126#ODZJ
Decomposable Impulsive CTMDPA0K01P8FJ9definitionrecord (an 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.20126#QZET
decomposition6SVX74XM6TunknownopenWikidata Q139677780, MathWorld Decomposition
Decomposition for repetitive reasoningAS5EDTWQ95statementrecord (an 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.00571#FN64
Decomposition group and Galois groupB5E4VQHPNKstatementopennapkin tex/alg-NT/ramification.tex#thm:decomposition
decomposition into cycles with disjoint supportCCSBNHKD54unknownopenmathlib_undergrad Group Theory > Permutation group > decomposition into cycles with disjoint support, Mathlib Equiv.Perm.truncCycleFactors
decomposition into sums of homogeneous polynomialsXZMDHYK4PQunknownopenmathlib_undergrad Ring Theory > Polynomial rings > decomposition into sums of homogeneous polynomials, Mathlib MvPolynomial.sum_homogeneousComponent
decomposition into transpositions1NRPVDQ4YEunknownopenmathlib_undergrad Group Theory > Permutation group > decomposition into transpositions, Mathlib Equiv.Perm.truncSwapFactors
Decomposition of $\Dz R_3(\theta)$AKWVYRY4FHstatementrecord (an 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.15010#PJIA
Decomposition of $\Ql^{\mathcal G}$ATPH8CRRK8statementrecord (an 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.01731#DNPU
Decomposition of $S$ in $H^{1-s}$1ZEEWTY0BFstatementrecord (an 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.18797#J1MQ
Decomposition of $S$ in $L^1$KRBNASN9Q6statementrecord (an 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.18797#9ZF7
Decomposition of a Gaussian densityMP0G9GPT7Tstatementrecord (an 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.15549#ZU48
decomposition of an orthogonal transformation as a product of reflections11Y6B46WEWunknownopenmathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > decomposition of an orthogonal transformation as a product of reflections, Mathlib LinearIsometryEquiv.reflections_generate
Decomposition of the $k$-Spin HamiltonianS3DRTF3XENstatementrecord (an 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#JXQO
Decomposition of the approximation errorF77JHQM13Hstatementrecord (an 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.12544#5ABO
Decomposition of the full shadowQQB833WVJTstatementrecord (an 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.09602#7G5V
Decomposition of the KL divergence by estimation stageQQF111NNC0statementrecord (an 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.14498#04YU
Decomposition theorem of Beilinson, Bernstein and DeligneWN0KAC2KRQstatementopenmathlib_1000 Q25345219, Wikidata Q25345219, thousand_plus Q25345219, Wikipedia Decomposition theorem of Beilinson, Bernstein and Deligne
Decomposition with balanced enclosing boxesSX8H1HNKT9statementrecord (an 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.14160#IQQ9
DecompositionsNNGA9MG8MXstatementrecord (an 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.38220#5A89
deconvolution3ZBD4NEG0FunknownopenWikidata Q1183700, MathWorld Deconvolution
Decorated Cayley cubical complexAQDC0N9N59definitionrecord (an 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.28028#NMSN