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 2701–2800 of 4710.

NameIdKindOutcomeSources
Dini comparisonQ0NWMFJEREstatementrecord (an 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.29147#EKK9
Dini comparisonY86WPXCN8Cstatementrecord (an 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.06653#T88B
Dini's theoremC8ZPEFJGBNstatementnode (a node has the same Wikidata item as the row)mathlib_1000 Q595466, Mathlib Monotone.tendstoLocallyUniformly_of_forall_tendsto, Wikidata Q595466, thousand_plus Q595466, Wikipedia Dini's theorem, EoM Dini_theorem, MathWorld DinisTheorem
Dining cryptographersSET7ZHQ9PEexamplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1803.10042#3PH1
Dinitz conjecturePMCEQNTSEBstatementopenmathlib_1000 Q5278348, Wikidata Q5278348, thousand_plus Q5278348, Wikipedia Dinitz conjecture, MathWorld DinitzProblem
DinostratusWHPHW653J7unknownout_of_scope (a person, not an item of mathematics)Wikidata Q976854, ProofWiki Mathematician:Dinostratus
Dinostratus' theoremJCWHN9ZANXstatementopenmathlib_1000 Q1125462, Wikidata Q1125462, thousand_plus Q1125462, Wikipedia Dinostratus' theorem
Diocles of CarystusB4WVASFCA7unknownout_of_scope (a person, not an item of mathematics)Wikidata Q1226886, ProofWiki Mathematician:Diocles_of_Carystus
Diodorus CronusCTNE1NMQD4unknownout_of_scope (a person, not an item of mathematics)Wikidata Q715478, ProofWiki Mathematician:Diodorus_Cronus
Dionysius LardnerDSWJMKCVZMunknownout_of_scope (a person, not an item of mathematics)Wikidata Q905875, ProofWiki Mathematician:Dionysius_Lardner
Diophantine boundZ169MYR8YEstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2608.08190#6J3D
Diophantine conditionPVXHDCKG0Fdefinitionrecord (an 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#FLIP
Diophantine equation6R8R59TF6Htopicnode (a node has the same Wikidata item as the row)Wikidata Q905896, EoM Diophantine_equations, MathWorld DiophantineEquation, ProofWiki Definition:Diophantine_Equation
Diophantine equation7Y1JX761DQconceptopenlevin_dmoi index/6.2.5/diophantine-equation
Diophantine geometryZYEQK0BBBJtopicopenWikidata Q16526038, EoM Diophantine_geometry
Diophantine setF3DE1VVSM1statementopenmathlib_1000 Q16251580, Mathlib Pell.matiyasevic, Wikidata Q16251580, mathlib_overview General algebra > Number theory > Matiyasevič's theorem, thousand_plus Q16251580, Wikipedia Matiyasevich's theorem, MathWorld DiophantineSet
Diophantine synchronizationVA6VSSDP6Gstatementrecord (an 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.30207#5XPK
Diophantus of Alexandria2R7GNNHSVKunknownout_of_scope (a person, not an item of mathematics)Wikidata Q178217, ProofWiki Mathematician:Diophantus_of_Alexandria
dipole graphKD16AKHEFEunknownopenWikidata Q5280042, MathWorld DipoleGraph
diquark4D8N97X1Q2unknownopenWikidata Q265326, nLab diquark
Dirac combERF8K72MBAconceptopenWikidata Q385599, MathWorld ShahFunction
Dirac combKYW35YT76Funknownopenmathlib_undergrad Distribution calculus > Tempered distributions > Dirac comb
Dirac delta functionJKGKYYXY00unknownnode (a node has the same Wikidata item as the row)Wikidata Q209675, Mathlib Distribution.delta, MathWorld DeltaFunction
Dirac equation69DFTRC74EunknownopenWikidata Q272621, MathWorld DiracEquation, nLab Dirac equation
Dirac measure9MDD4KNC1Zconceptnode (a node has the same name as the row)Wikidata Q1227387, nLab Dirac measure
Dirac measureKVCZK14673examplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2505.10801#YWJK
Dirac measuresBEJ0Y2DHTRunknownopenmathlib_undergrad Distribution calculus > Distributions on $\R^d$ > Dirac measures
Dirac operatorR55G0NQZK6topicopenWikidata Q907439, MathWorld DiracOperator, nLab Dirac operator
Dirac spinorQKHK4EFZMCunknownopenWikidata Q688945, EoM Dirac_spinor, nLab Dirac spinor
Dirac spinor field2P9AP2S3VEunknownopenWikidata Q18456248, nLab Dirac field
Dirac structureVP6PK7JJ52unknownopenWikidata Q117751500, nLab Dirac manifold
Dirac's theoremH3D52EWX2FstatementopenWikidata Q125132955, MathWorld DiracsTheorem
direct and opposite similarities of the planeW885TK48CTunknownopenmathlib_undergrad Affine and Euclidean Geometry > Euclidean affine spaces > direct and opposite similarities of the plane
Direct buffered regularised heat-bath inequality467FEZHZA4statementrecord (an 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.03683#ZMOR
Direct constructionPRVG3XW1NCstatementrecord (an 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#A9ON
Direct estimate for the Robin boundary traceTM85AVK1VMstatementrecord (an 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.14323#DTUH
Direct every-window LFSR boundR88Q79DXZKstatementrecord (an 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#A17Q
Direct Finiteness ConjectureQXSJCD6X2Xconjecturerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2402.08625#8VH7
Direct gradient estimation8ZDDXKP01Dstatementrecord (an 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.06810#79X3
direct image functor8HDDNCPG6RunknownopenWikidata Q5280340, nLab direct image
direct image with compact supportH231ME09WVunknownopenWikidata Q5280341, nLab direct image with compact support
Direct incidence boundEX6CWK9HF2statementrecord (an 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#I4K7
direct limitC5RJTWY2TVunknownopenWikidata Q906015, MathWorld DirectLimit, nLab direct limit
Direct mapping theoremBC454MRB1Qstatementrecord (an 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.24408#89LQ
direct numerical simulationPW7RP7WJR1topicopenWikidata Q1227572
Direct one step crossing comparison1WCF62088Nstatementrecord (an 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.09522#CI6P
Direct overlapping size--depth tradeoff5GGBN4PQQRstatementrecord (an 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#HB07
Direct placement in \(\mathscr H_{(a)}\D390R6W3JSstatementrecord (an 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#0MO2
Direct placement of the prescribed factor coefficientsJPMKA2HSPAstatementrecord (an 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#VW4Z
direct productK7J25CK5DFunknownopenWikidata Q1778193, EoM Direct_product, MathWorld DirectProduct
direct product of groups353S1MEC5Eunknownopenmathlib_undergrad Group Theory > Basic definitions > direct product of groups, Mathlib Prod.instGroup
direct product of groupsWNS7JJAYEKdefinitionnode (a node has the same Wikidata item as the row)Wikidata Q2725924, MathWorld GroupDirectProduct, ProofWiki Definition:Group_Direct_Product
Direct productsFHJ7SHZV9Nexamplerecord (an 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.00021#XH89
direct proof33MF2VWC2Qunknownnode (a node has the same name as the row)Wikidata Q141488444, MathWorld DirectProof
direct proofTG2T54K36Sconceptopenlevin_dmoi index/4.2.1/direct-proof
Direct Proof of $(\exists x)P(x)$8SNDDMRXNRproofopenernst_ibl MAAPressVersion/MoreQuantification.tex#skeleton:exists
Direct Proof of $(\exists! x)P(x)$GTT7DWH0XNproofopenernst_ibl MAAPressVersion/MoreQuantification.tex#skeleton:uniqueness
Direct Proof of $(\forall x)P(x)$QSXGTC5QVMproofopenernst_ibl MAAPressVersion/MoreQuantification.tex#skeleton:for all
direct proportionalityKNBVD1K5M3unknownopenWikidata Q21043994, MathWorld DirectlyProportional
Direct reciprocal packingH8X2PNHYFQstatementrecord (an 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.13365#5UK7
Direct regularised heat-bath estimatesDBG75SGDW9statementrecord (an 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.03683#MFM3
Direct regularized optimality of the learned readoutNABWKWV6B3statementrecord (an 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.04638#MRMR
Direct regularized windowed value transferKFB4B7BAXRstatementrecord (an 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.04638#QXRO
Direct rootsN4ZA4MMQARstatementrecord (an 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.20817#MFDX
Direct similitudes78NH9RRP9Bexamplerecord (an 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.36237#6CCE
Direct Sobolev replacement for Lemma 96ZJJ94Z1K1statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1007.0842#XFK9
direct sumE0B2KJH37Zunknownopenmathlib_undergrad Linear algebra > Fundamentals > direct sum, Mathlib DirectSum.IsInternal
direct sumKMKHQPJET0unknownopenWikidata Q13582243, MathWorld DirectSum
direct sum of groups6VFJBH30E0unknownopenWikidata Q4166523, MathWorld GroupDirectSum
direct sum of modulesSR8WQZHY4JunknownopenWikidata Q1142861, EoM Direct_sum, MathWorld ModuleDirectSum
Direct sum of Noetherian modules is NoetherianXTJM12FJ2Tstatementopennapkin tex/H113/structure.tex#lemma-1
Direct sums3VFXNPE9E2statementrecord (an 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.20649#J4U3
Direct-closing criterionQKCE36FG3Rstatementrecord (an 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#UEBK
Direct-prefix modelEAAHPDJBXGdefinitionrecord (an 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#CXO9
Direct-sum additivity2Q49T1ECJHstatementrecord (an 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.20649#L647
Direct-sum criterion76QF5K28RMstatementrecord (an 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.06739#HMBR
Direct-sum decomposition of the measurement spaceRK184A1Q4Zstatementrecord (an 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.14920#2ZIK
directed \treewidth9CGAYM67HGdefinitionrecord (an 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.20391#FOBA
directed acyclic graphRG131GKZQKunknownopenWikidata Q1195339, MathWorld AcyclicDigraph
Directed Algebraic TopologyTWD8B6KY7YunknownopenWikidata Q5280404, nLab Directed Algebraic Topology
Directed and restricted-target radiiAG2H0JCMSPstatementrecord (an 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.13580#A9HD
directed angleT5K6X3HNWAdefinitionopenWikidata Q11751963, MathWorld DirectedAngle, ProofWiki Definition:Directed_Angle
Directed BranchwidthWJ76B4GTRVdefinitionrecord (an 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.20391#2LF7
Directed coordinate models4XQXGPA63Rdefinitionrecord (an 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.27752#K2TI
Directed Gaussian pyramid88ZKZFJ75Jdefinitionrecord (an 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.27752#EHEB
directed graph9B5F4MJKB0definitionnode (a node has the same name as the row)Wikidata Q1137726, EoM Graph,_oriented, MathWorld DirectedGraph, ProofWiki Definition:Directed_Graph
Directed graphX7JBDFVYTVdefinitionopenopen_logic content/sets-functions-relations/relations/graphs.tex#defn-1
Directed Grid TheoremZPCFWGTTQXstatementrecord (an 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.20391#JOQN
Directed grouped corner78HFDE5N65statementrecord (an 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.37164#KU61
Directed InformationA7A94DTTCCdefinitionrecord (an 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.16328#9EH5
Directed lower barrier after $\tau_0$BM4QMVG2HDstatementrecord (an 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.37164#I4RQ
Directed profile radius8S5A1EXK6Sdefinitionrecord (an 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.13580#MOSG
Directed Robinson Crusoe theoremSMA7DDEGZCstatementrecord (an 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.26479#HQYA
Directed separation on a large subfamilyKBSHGJKKV6statementrecord (an 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.31782#VXBC
Directed subspace Robinson Crusoe theorem167YJ4ZDWYstatementrecord (an 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.26479#PYRT
directed witnesses to signed minorationJR4BY99VC5statementrecord (an 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.30525#JHGI
Directed-pair exponent controls multiclass errorJ3CZFZ8KADstatementrecord (an 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.11309#G8WG
direction7F7KBNM4H7unknownopenWikidata Q3055344, MathWorld Direction
Direction accuracy for local refinementJWF2MQ8MYYstatementrecord (an 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.36594#051I
direction cosine41SWDWBG52conceptopenWikidata Q2518906, MathWorld DirectionCosine