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 8201–8300 of 13617.

NameIdKindOutcomeSources
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
Depth-limited searchNCD38MFQWTdefinitionopenWikipedia List of graph theory topics#910T
Der Wahrheitsbegriff in den formalisierten Sprachen9PERF051YYunknownopenWikipedia Tarski's undefinability theorem#EFOZ
Derandomisation17EFW6E2XMunknownopenWikipedia Randomized algorithm#4AK2
Derangement7BT1CGTQD3definitionopenWikipedia List of permutation topics#MJJT
derangementAT1HVABQDQdefinitionnode (a node has the same Wikidata item as the row)Wikidata Q1207920, EoM Derangement, MathWorld Derangement, Wikipedia 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 CorneilGJ7596CREPunknownopenWikipedia List of people by Erdős number#MSRF
Derek Frank LawdenJYS7XWKMHEtopicout_of_scope (a person, not an item of mathematics)Wikidata Q17479324, ProofWiki Mathematician:Derek_Frank_Lawden, Wikipedia Derek Lawden
Derek J. S. RobinsonHTBBVXV9YHtopicopenWikipedia Derek J. S. Robinson, Wikidata Q15453544
Derek TauntGH2T12W13CtopicopenWikipedia Derek Taunt, Wikidata Q5262394
Derek W. Moore8P56CD6YD1topicopenWikipedia Derek W. Moore, Wikidata Q1559691
Derek W. RobinsonE4NYEYP7XEtopicopenWikipedia Derek W. Robinson, Wikidata Q15453547
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
DerivabilityX0JT6J85JEunknownopenWikipedia Logical consequence#2DIM
derivable ruleYBJCMDSKN0definitionopenWikipedia Glossary of logic#4UDI
derivation8GEN8H8MVKdefinitionopenWikidata Q451323, MathWorld Derivation, Wikipedia Derivation (differential algebra)
derivationB0Z2QJZZ0AdefinitionopenWikipedia Glossary of ring theory#G5U1
derivationJC1K066CE0definitionopenWikipedia Glossary of commutative algebra#GAMZ
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 by inclusion–exclusion principleTP31GVQMEKstatementopenWikipedia Derangement#KQR1
Derivation directly from the equivalence principleMJ2GC6534YstatementopenWikipedia Geodesics in general relativity#I7CJ
Derivation from Clauser and Horne's 1974 inequalityP9DH42Z61EstatementopenWikipedia CHSH inequality#G6XB
Derivation from Fermat's principleN92K8V2Q71statementopenWikipedia Snell's law#ZM2G
Derivation from Huygens's principleH1P3B1RQN2statementopenWikipedia Snell's law#8YHQ
Derivation from Maxwell's LawsYVFZ0K4T1MstatementopenWikipedia Charge conservation#QPN0
Derivation from more basic principlesMXQS3C9GAAstatementopenWikipedia Born rule#45WB
Derivation from Newton's laws of motion74NW21CYFEstatementopenWikipedia Hamilton's principle#S2Z4
Derivation from physical principlesDXGDBSVH20statementopenWikipedia Tsirelson's bound#E8BB
Derivation from Planck's law3BDXCJ7ESZstatementopenWikipedia Stefan–Boltzmann law#EZH1
Derivation from Planck's lawJG9ZXQEBSEstatementopenWikipedia Wien's displacement law#9N55
Derivation from statistical mechanical principles54YQYXWRP6statementopenWikipedia Fundamental thermodynamic relation#3355
Derivation from the fluctuation theorem and the central limit theoremP86WZC23VTstatementopenWikipedia Green–Kubo relations#GHP6
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 Lie algebraWHYGZQ5JV0unknownopenWikipedia Lie algebra#41DB
Derivation of a Baker–Campbell–Hausdorff formulaXP17WZWAQWstatementopenWikipedia Derivative of the exponential map#QXQJ
Derivation of discrete formula and work expressionGZECGHT5EGstatementopenWikipedia Adiabatic process#PZFV
Derivation of Dynkin's series formula598SEYWRS6statementopenWikipedia Derivative of the exponential map#G9ZC
Derivation of exradii formulaZMYVJQ4J1XstatementopenWikipedia Incircle and excircles#JCDU
Derivation of formula4Z6CD6KCZFstatementopenWikipedia Stieltjes transformation#UMO0
Derivation of implicit formula2NZ4JT7079statementopenWikipedia Roman surface#DC7F
Derivation of Kirchhoff's diffraction formula2WJ0X59J79statementopenWikipedia Kirchhoff's diffraction formula#XIP5
Derivation of law of quadratic reciprocityH3Y5J79PWBstatementopenWikipedia Oscillator representation#ST40
Derivation of partition function31EX5AMKN5unknownopenWikipedia Partition function (statistical mechanics)#E3QY
Derivation of Roy's identityZ7XDY7WEQRstatementopenWikipedia Roy's identity#OBOA
Derivation of self inductance6DY25E2FGWunknownopenWikipedia Inductance#JMSA
Derivation of statistical mechanical principles from the fundamental thermodynamic relationFEX7CZYX01statementopenWikipedia Fundamental thermodynamic relation#JEOS
derivation of tempered distributionsZYF3F857VMunknownopenmathlib_undergrad Distribution calculus > Tempered distributions > derivation of tempered distributions, Mathlib TemperedDistribution.instLineDeriv
Derivation of the area formula4RWKYW786SstatementopenWikipedia Pentagon#R5M6
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
Derivation of the conjugate gradient methodY42CBK7QPMdefinitionopenWikipedia Derivation of the conjugate gradient method, Wikidata Q5262612
Derivation of the CPT theoremVVJW2Y6QVHstatementopenWikipedia CPT symmetry#A4Q0
Derivation of the direct nome cube theoremTBAKC26F8MstatementopenWikipedia Nome (mathematics)#LU7P
Derivation of the explicit formula for continuous semimartingales9TA56Y4BD4statementopenWikipedia Doléans-Dade exponential#EB0M
Derivation of the flow equations resulting from Luke's variational principle24GKKSGD2JstatementopenWikipedia Luke's variational principle#OB5J
Derivation of the formula65WYX1TTCNstatementopenWikipedia Bhāskara I's sine approximation formula#S5CR
Derivation of the formulaMAATZKV41GstatementopenWikipedia Cramer's theorem (algebraic curves)#T0ZW
Derivation of the formulaR0BNGW93R1statementopenWikipedia Shell integration#FX72
Derivation of the formula stated aboveV819QNBGVNstatementopenWikipedia Incircle and excircles#A3F9
Derivation of the formulasQCVC23TSFFstatementopenWikipedia Implicit curve#FD1F
Derivation of the nome square theoremH3NAGFMK89statementopenWikipedia Nome (mathematics)#KS80
Derivation of the parametrized nome cube theoremR7054SJ4MGstatementopenWikipedia Nome (mathematics)#WHS1
Derivation of the Routh arrayYE451ASZTNdefinitionopenWikipedia Derivation of the Routh array, Wikidata Q5262609
Derivation of the scattering formulaDCS1CDYG1JstatementopenWikipedia Compton scattering#YKXN
Derivation of the Schrödinger equation from the Ehrenfest theorems7BS1P0CWGHstatementopenWikipedia Ehrenfest theorem#PD7I
Derivation of the Schwarzschild solution1RDXM2732FdefinitionopenWikipedia Derivation of the Schwarzschild solution, Wikidata Q461255
Derivation of three moment theoremS5XY2S74JVstatementopenWikipedia Theorem of three moments#LQ4N
Derivation starting from operator axioms5V2WVK446SstatementopenWikipedia Koopman–von Neumann classical mechanics#4F5M
Derivation using Gauss's lawB5MVC2WPQ9statementopenWikipedia Shell theorem#VK4L
Derivation using Snell's law9EG99K1GX4statementopenWikipedia Thin lens#UKWH
Derivations and formulaDZ1N2MMVN9statementopenWikipedia Snell's law#WC84
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
DerivativeB7J6REY2XZdefinitionopenWikipedia List of calculus topics#6BK1
DerivativeJHZ2RYQJFVdefinitionopenWikipedia List of limits#S4C5
derivativeK4HW8AJMCBdefinitionopenWikipedia Glossary of Principia Mathematica#3NA3
derivativeQJ3FV6M1AFdefinitionopenWikipedia Glossary of real and complex analysis#L5BT
derivativeRB1M94KCDBdefinitionopenWikipedia Glossary of calculus#7HRS
derivativeVG6KKWSTDGdefinitionnode (a node has the same Wikidata item as the row)Wikidata Q29175, EoM Derivative, MathWorld Derivative, Wikipedia Derivative
Derivative algebraEYWQXYHRKVdefinitionopenWikipedia Derivative algebra (abstract algebra), Wikidata Q5262620
Derivative algebra (abstract algebra)QHKCGJV5KQdefinitionopenWikipedia List of Boolean algebra topics#U72E
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