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 1801–1900 of 4710.

NameIdKindOutcomeSources
Density for a viscous-eikonal activation variableBAG1AK4MRAstatementrecord (an 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.02106#RFCR
density functional theoryVFNNJ18Q1Bstatementopenmathlib_1000 Q1048589, Wikidata Q1048589, thousand_plus Q1048589, Wikipedia Hohenberg–Kohn theorems, nLab density functional theory
Density in a disjoint coproductCAZB0R1P5Tstatementrecord (an 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#9ZFX
Density incrementCZ8GSMV5THstatementrecord (an 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.12831#ME76
Density increment lemma4EF51QTWQEstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1806.05002#DVWU
Density is covariantly preserved by regular epimorphismsQFGHKDRVEMstatementrecord (an 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#UHCX
density matrixZFWZTG8K66unknownopenWikidata Q831774, EoM Density_matrix, nLab density matrix
Density near the endpoints3Y812YM7PCstatementrecord (an 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.08568#EK9B
Density of attainable critical defects on one shellAJ7E8V1239statementrecord (an 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.24930#WCI4
Density of Diophantine vectors with exponent \(3\R2F7YRVHGAstatementrecord (an 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.38013#MQ78
Density of finite-rank separable sumsMTFZYQ7NWGstatementrecord (an 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.03303#C56C
Density of generic feasible packingsYF6FYZ2QNQstatementrecord (an 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.13962#A3AC
Density of high-vacancy verticesS8DTNRHDY1statementrecord (an 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.26133#R1XP
Density of prime cofactorsVWTH4RAP6Hstatementrecord (an 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.15262#HQ73
Density of Random Periodic Invariant MeasuresE808GCR078statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1612.08394#5LOA
Density of Random Periodic Points4EBD8CTTNHstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1612.08394#2FXW
density of rational numbers4FS0EK632Mconceptopenlebl_ra index/7.2.2/density-of-rational-numbers
Density of the differenceR5096MZ6RBstatementrecord (an 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.16351#LPPJ
Density on $\Gamma_\A\cup\Gamma_\B$Y9N81KHTR4statementrecord (an 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.21781#S4NQ
Density restriction18T4FMY1N2statementrecord (an 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.04948#8M0I
Density transfer4R7F0EHNHTstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1806.05002#I68M
Density transfer5PFAQ3QHCEstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1806.05002#EBLB
Density upper-bound86YMW5SYQVstatementrecord (an 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.39409#L6LJ
Density-martingale stabilityPREGTH80YWstatementrecord (an 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#X4W1
Density-primitive identityF1YE2BVRPBstatementrecord (an 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.24960#9KVL
denying the antecedentW7WKXE049NstatementopenWikidata Q2296529, ProofWiki Denying_the_Antecedent
DEP69414WGDEP69414WGstatementrecord (an 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.18312#KGV3
Dependence of the two vector contractions3RKE1WPR6Ystatementrecord (an 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.25762#6EQ4
Dependence on the classJ85EE0NH3Xstatementrecord (an 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.21093#SKI3
Dependence on the path195YM3JN07statementrecord (an 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#3JRA
Dependence transfer for fixed absolute nonconformity scoresRV8CB5SHFVstatementrecord (an 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.33868#LCK7
Dependence trees and tree distributions83ZHFCM4KZdefinitionrecord (an 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#TPEO
Dependent mapJVSFAM1P8Estatementopenhott_book basics.tex#lem:mapdep
Dependent product of kernels7FGYZMKERBstatementrecord (an 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.26270#EKRH
Dependent random choice variantERCTB8DVAKstatementrecord (an 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.21971#HZO8
dependent typeQYF75TY2AQunknownopenWikidata Q997433, nLab dependent type
dependent typingBPJMP9D8BDunknownopenWikidata Q56232424, nLab dependent type theory
dependent variableEZ92XQK0ZSdefinitionopenWikidata Q9391534, MathWorld DependentVariable, ProofWiki Definition:Dependent_Variable
Dependent weighted tails5DW85Q521Sstatementrecord (an 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.09206#WJDM
Dependent-pair bound5R385HWB65statementrecord (an 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.40252#UGXF
Depletion as a locally interacting quasi-free observableYYVF3R14A7statementrecord (an 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.10840#7YQJ
DEPP7VG0TPDEPP7VG0TPstatementrecord (an 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.01411#U89L
depression2A49F0XYBMconceptopenhott_book index/B.5/depression
depressionZ9FMMP3A87conceptopenhott_book index/B.4/depression
DEPT77G8S0DEPT77G8S0definitionrecord (an 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.07695#JL8Y
DepthFVTPWETM8Wdefinitionrecord (an 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#FLZM
depthTAA6JJYQ4MdefinitionopenWikidata Q930412, MathWorld Depth, ProofWiki Definition:Linear_Measure/Depth
depthXPA57HF0KJunknownopenWikidata Q3406905, EoM Depth_of_a_module
Depth and differential-order dependence of the constantsAJNM4V8RM7conjecturerecord (an 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#S888
Depth and phase of the quadratic norm--trace termM2Y6BD6HSZstatementrecord (an 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.10583#XKH8
depth first search3FR1C71Z2Nconceptopenlevin_dmoi index/5.2.2/depth-first-search
Depth From Affine DispersionAK5EF00SDGstatementrecord (an 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.02407#92DS
Depth of the correction unitsXPZBM587PKstatementrecord (an 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.10583#QROE
Depth of the quadratic correction units9EA0EJSRS0statementrecord (an 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.10583#M0MC
Depth tail, radius-free5CAK0KSTQMstatementrecord (an 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.25015#BL5S
Depth truncationPWMPTQVNE4statementrecord (an 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.39233#6A16
Depth-$H$ network2SWH4XM5VFdefinitionrecord (an 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#NDST
Depth-$H$ row regularity, condition $(\mathsf G^H_\tau)$DV5472HTBTdefinitionrecord (an 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#UP8I
Depth-$H$ substitution into the two-layer argumentBPKT3ED5BAstatementrecord (an 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#XN2Q
Depth--width energy bounds7RMSWT34MJstatementrecord (an 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.02166#EIDQ
Depth--width tradeoffMJBBZ855P1statementrecord (an 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.02166#HN1M
depth-first searchWADFYFC6YDunknownopenWikidata Q816319, EoM Depth-first_search, MathWorld Depth-FirstTraversal
Depth-Independent \(L\)-SmoothnessGFMQYMXP54statementrecord (an 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.14344#ARMU
Depth-Independent Lipschitz ContinuityGPEG9SVJDFstatementrecord (an 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.14344#H0B4
Depth-indexed average-path representation3WX4H8N8HYstatementrecord (an 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.14988#FMDG
derangementAT1HVABQDQunknownnode (a node has the same Wikidata item as the row)Wikidata Q1207920, EoM Derangement, MathWorld Derangement
derangementJ0KPTK0QZ0conceptopenlevin_dmoi index/2.6.1/derangement
derangementP01RAHEPCAconceptopenapplied_combinatorics index/7.4/derangement
Derangement orbit space7QD434VGBPdefinitionrecord (an 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.10745#GR0U
DerangementsYVYG3D9VZWdefinitionrecord (an 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.10745#GHZ6
Derangements FormulaTKN9X6CSAYstatementopenmathlib_100 88, Mathlib card_derangements_eq_numDerangements, Mathlib numDerangements_sum
Derangements-to-invariants mapB8Z2J6FETNdefinitionrecord (an 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.10745#HBV5
Derek Frank LawdenJYS7XWKMHEunknownout_of_scope (a person, not an item of mathematics)Wikidata Q17479324, ProofWiki Mathematician:Derek_Frank_Lawden
DERG6AF8QCDERG6AF8QCstatementrecord (an 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.02790#YSMN
derivation8GEN8H8MVKunknownopenWikidata Q451323, MathWorld Derivation
DerivationV17SWFBJN6definitionrecord (an 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#DQPE
derivationYYQNGRFK79conceptopenhott_book index/4.2/derivation
Derivation HomomorphismCGPP0N3965definitionrecord (an 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.26337#VVT8
derivation of tempered distributionsZYF3F857VMunknownopenmathlib_undergrad Distribution calculus > Tempered distributions > derivation of tempered distributions, Mathlib TemperedDistribution.instLineDeriv
Derivation of the Aronsson-type $k$-th order PDE from the semi-differential8BWRHPMFVCstatementrecord (an 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.27918#HPUD
Derivations of the Chevalley moduleQB2FVS1JEKstatementrecord (an 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.20994#P9MC
derivativeVG6KKWSTDGtopicnode (a node has the same Wikidata item as the row)Wikidata Q29175, EoM Derivative, MathWorld Derivative
derivative at a pointHY6FE4BH8Dunknownopenmathlib_undergrad Single Variable Real Analysis > Differentiability > derivative at a point, Mathlib HasDerivAt, mathlib_undergrad Single Variable Real Analysis > Differentiability > differentiable functions
Derivative at the interpolation thresholdQSDRQN1R9Pstatementrecord (an 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.38453#GWTN
Derivative bound and normality62V9VX79G6statementrecord (an 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.25762#6527
Derivative boundsJW45TKDNFXstatementrecord (an 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.17276#LPCQ
Derivative bounds for Gaussian convolutionHFAM6F7YSCstatementrecord (an 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.39144#TW89
Derivative bounds for the cubed positive partAYXDZCSZPWstatementrecord (an 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#L80S
Derivative Bounds Implied by Assumption 21PDPWK84FTstatementrecord (an 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.14344#T8TX
Derivative Crandall representation for the regularized anisotropic Epstein zeta function7PJT7TTXSGstatementrecord (an 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.28282#0ZL0
Derivative Crandall representation of the anisotropic Epstein zeta function99MCY20D8Mstatementrecord (an 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.28282#A18B
Derivative estimates for the enhanced second fundamental form4DGATZ0XSWstatementrecord (an 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#FSTX
Derivative identities3WGWA3ZBE4statementrecord (an 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#DD5M
Derivative identity for $J_m$R94WBRSSWFstatementrecord (an 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.26537#F4M4
Derivative matchingS8M7E0X5T4statementrecord (an 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#A3RG
Derivative of $\Sigma_n$6JFTD06BEXstatementrecord (an 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#K30H
Derivative of $B_k$2JWNRF2KZ6statementrecord (an 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.10860#QJ3Q
derivative of a composition of functionsSJ0YYDG1JCunknownopenmathlib_undergrad Single Variable Real Analysis > Differentiability > derivative of a composition of functions, Mathlib deriv_comp
derivative of a composition of functionsVZ22MKW0FHunknownopenmathlib_overview Analysis > Differentiability > derivative of a composition of functions, Mathlib HasFDerivAt.comp
derivative of a distributionRBEBQTEFQTunknownopenmathlib_undergrad Distribution calculus > Distributions on $\R^d$ > derivative of a distribution