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 1501–1600 of 4710.

NameIdKindOutcomeSources
Decorated cube complex4SKX75RGDDdefinitionrecord (an 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.00525#J6NV
Decorated simplicial complex8QN901052Vdefinitionrecord (an 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.00525#3VSG
decorationWKGGPNCSM7definitionrecord (an 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.32733#4UJZ
Decorrelating bulk/boundary quotients: an upper bound49H9SKK7SWstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2502.09121#O79L
Decorrelation across disjoint affine sections358BZW3VC6definitionrecord (an 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#RIHJ
decoupled systemG773Q6JJMJconceptopenaustin_ula index/1.2.1/decoupled-system
Decoupled two-agent caseBDCS0VJQ1Kstatementrecord (an 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.00033#ETH6
Decoupling of data collection and samplingJEXB28AZXDstatementrecord (an 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.10640#652T
Decoupling of moment degree from family dimension19NSM6MYJPstatementrecord (an 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#RLGW
Decrease controls the projected gradient302M6GC78Qstatementrecord (an 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.06557#SMGX
decreasingR56VZSFZFGconceptopenactive_calculus index/1.6.1/decreasing
Decreasing bounded processesAKA8D7S0NYstatementrecord (an 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.12713#55ZG
decreasing functionCBD94QJ2A0unknownopenWikidata Q3075231, MathWorld NonincreasingFunction
Decreasing rearrangementBMKVMFA7BBdefinitionrecord (an 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.05056#M94U
decreasing sequenceN2VN4A5YVPunknownopenWikidata Q138568936, EoM Decreasing_sequence
DECYWRMVZEDECYWRMVZEstatementrecord (an 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.16554#XT3R
DED4W4B93RDED4W4B93Rdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2303.09207#R6GN
DED9EV4AGBDED9EV4AGBexamplerecord (an 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.25111#KUZY
DedekindTSQQNZ3579statementrecord (an 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.25967#CE1E
Dedekind cutQP0ANAYYQJconceptnode (a node has the same name as the row)Wikidata Q851333, MathWorld DedekindCut
Dedekind domainRBNAP6C301conceptopenWikidata Q254347, EoM Dedekind_ring, LMFDB knowl ring.dedekind_domain, MathWorld DedekindDomain, MathWorld DedekindRing, nLab Dedekind domain, ProofWiki Definition:Dedekind_Domain
Dedekind eta function8CBH82KZSJconceptopenWikidata Q1182161, LMFDB knowl mf.half_integral_weight.dedekind_eta, MathWorld DedekindEtaFunction, nLab Dedekind eta function
Dedekind numberJYNZ41BSEZobjectopenWikidata Q5249753, MathWorld DedekindNumber, OEIS A000372
Dedekind psi function4WHAT12BFCconceptopenWikidata Q1182153, MathWorld DedekindFunction
Dedekind sumN8GX99XBGDconceptopenWikidata Q2463775, MathWorld DedekindSum
Dedekind zeta function3E4JVXXHDRconceptopenWikidata Q1182160, nLab Dedekind zeta function
Dedekind–MacNeille completion4444K7GYV4unknownopenWikidata Q5249756, nLab MacNeille completion
DEDQ294Q8BDEDQ294Q8Bstatementrecord (an 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.26074#JKYO
deduction ruleNVGPF9WN2Aconceptopenlevin_dmoi index/4.1.3/deduction-rule
Deduction TheoremGEWZ5HNMPJstatementopenopen_logic content/first-order-logic/axiomatic-deduction/deduction-theorem-quantifiers.tex#thm:deduction-thm-q
Deduction TheoremK9XMBKJZBYstatementopenopen_logic content/first-order-logic/axiomatic-deduction/deduction-theorem.tex#thm:deduction-thm
deduction theoremVEW9AYW2SSstatementopenmathlib_1000 Q1182249, Wikidata Q1182249, thousand_plus Q1182249, Wikipedia Deduction theorem, MathWorld DeductionTheorem, nLab deduction theorem
Deduction theorem for LTP41Y2C31PZ6statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2303.14022#241H
deductive reasoningCCZ08Z51MTunknownopenWikidata Q484284, MathWorld Deduction
deductive system4YJKWT4A9Bconceptopenhott_book index/A.1/deductive-system
DEE0YAYFXEDEE0YAYFXEstatementrecord (an 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.10819#SNF4
Deep link expansion6P1WEE0Q0Zstatementrecord (an 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.09506#QKYA
Deep link expansionQV6Q0H1BCXstatementrecord (an 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.09506#6L35
deep pointBAXAAEFPVEstatementrecord (an 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.14050#YBRG
Deep points and their componentsD3C236ZR14definitionrecord (an 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.25457#83BU
Deep-message necessityM17PXCKKENstatementrecord (an 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.39633#L8J6
DEEW751C1XDEEW751C1Xdefinitionrecord (an 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.01912#Z5Z7
DEF698DKM4DEF698DKM4proofopenlebl_scv scv.tex#proof-39
defect7GW7CD8QDWstatementopenmathlib_1000 Q2533936, Wikidata Q2533936, thousand_plus Q2533936, MathWorld AngularDefect
Defect bounds9S56PGV164statementrecord (an 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#2BME
Defect coloring of the forcersW11YFX1M3Fstatementrecord (an 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.30315#67XM
Defect congruencesMC1SB6WMRPstatementrecord (an 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.38993#BMKF
Defect formula for a smooth exceptional curve9A9H63VKRQstatementrecord (an 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#0QX2
Defect formula for the constructed neighborhoodsSM52KVK2E6statementrecord (an 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#K5BQ
Defect recursionT83N9BB4BVstatementrecord (an 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.12326#GTMJ
Defect-free quotient ruleJPS9MCJ9Y9statementrecord (an 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#PNFF
Defect-seventeen rigidityYDCYAD7BBGstatementrecord (an 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.02216#LDGM
defective eigenvalueVA7AVJSJ7Bconceptopenlebl_diffyqs index/10.7.2/defective-eigenvalue
defective matrixYF7FFYB3KVunknownopenWikidata Q5251123, MathWorld DefectiveMatrix
Defects of idealsNEWG10N1DPstatementrecord (an 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#YCY9
DEFEHVX2HEDEFEHVX2HEstatementrecord (an 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.25004#EORH
Deficiency LemmaM0HK5YW0GZstatementrecord (an 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.16258#YAMZ
deficient matrix66SNP3PDZXconceptopenlebl_diffyqs index/10.7.2/deficient-matrix
deficient number11EPCM4WQCdefinitionnode (a node has the same name as the row)Wikidata Q467511, MathWorld DeficientNumber, OEIS A005100, ProofWiki Definition:Deficient_Number
Definability and the KL propertyKH6SRDP9RYstatementrecord (an 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.28306#3QIQ
Definability of the ReconstructionDABM2W707Pstatementrecord (an 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.12239#5355
Definable approximationsPQC3W2MK50definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2506.08233#IVWU
Definable functionA9PV5DM5NBdefinitionrecord (an 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.03126#B90T
definable setQESKKWGKJ1unknownopenmathlib_overview Logic and computation > Model theory > definable set, Mathlib Set.Definable
defining equationD07M4N93FMconceptopenhott_book index/4.1/defining-equation
Defining functionPN1SKBJRJFstatementrecord (an 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#GXU9
Defining function formulationE5ATY3DA7Zstatementrecord (an 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.17519#4975
Definite conjugate forms without integralityFWK97X8BWQexamplerecord (an 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.25805#XIN2
definite description4K0FTAWQXCunknownopenWikidata Q265469, nLab definite description
definite integral6CJS0FK69Wunknownnode (a node has the same name as the row)Wikidata Q1991596, MathWorld DefiniteIntegral
definite integral, constant multiple ruleJDP2T1KER3conceptopenactive_calculus index/4.3.3/definite-integral-constant-multiple-rule
definite integral, definitionX2X8XCFAN6conceptopenactive_calculus index/4.3.2/definite-integral-definition
definite integral, sum rule6F3N9WHEFDconceptopenactive_calculus index/4.3.3/definite-integral-sum-rule
definitionSKFZP1Y909conceptopenhott_book index/4.2.11/definition
Definition (1): Number of n-bead binary necklaces with beads of 2 colors where the colors may be swapped but turning over is notFWG16M3KVMobjectopenWikidata Q100192992, OEIS A000013
Definition 2.1.JKVQAKRE2Gdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2503.16884#RTZH
Definition 2.1.XJ93N5PTVGdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2503.16884#6DY3
Definition 2.4.2 in , \coqident{Foundations}{PartA}{hfiberSRBP4HTTADdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1904.09810#AWBN
Definition of wedge product using the cross productK8BTR58AJCdefinitionopennapkin tex/homology/cup-product.tex#definition-5
definition, by pattern matching4MDXNRCKGYconceptopenhott_book index/A.10/definition-by-pattern-matching
definition, by pattern matching8ASXGK1KK6conceptopenhott_book index/4.4/definition-by-pattern-matching
definition, by pattern matchingVTTPGB9RCPconceptopenhott_book index/8.6/definition-by-pattern-matching
definition, by structural recursion7WX4VSJEJFconceptopenhott_book index/4.1/definition-by-structural-recursion
definition, inductive96PEKBZAGHconceptopenhott_book index/8/definition-inductive
definition, of adverbsQ81VW9DM6Gconceptopenhott_book index/9.10/definition-of-adverbs
Definitions for the Continuous EquationsVZKKJZVAEFdefinitionrecord (an 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.13355#55IA
Defn. 2.5 and , Defn. 5.8ZH785GMY7Bdefinitionrecord (an 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.15831#FXWJ
Deformation mapsAPWSQETMNKdefinitionrecord (an 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#9X88
deformation quantizationF3PBMTGE3FunknownopenWikidata Q131143202, nLab deformation quantization
deformation retractTSQJS2ZBCTunknownopenWikidata Q124729584, EoM Deformation_retract, MathWorld DeformationRetract, nLab deformation retract
deformation theoryVA9SDP84HDtopicopenWikidata Q5251702, nLab deformation theory
Deformed Jacobsthal polynomials5JXRJVWGG7definitionrecord (an 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.04172#4DXQ
defunctionalization8BHWPD40JZunknownopenWikidata Q5251733, nLab defunctionalization
DEGBRR0E3FDEGBRR0E3Fexerciseopennapkin tex/alg-NT/classgrp.tex#prob:OK_linalg
Degen's eight-square identityA2XC8C0DR9statementopenWikidata Q1187196, MathWorld DegensEight-SquareIdentity
degeneracy8EG0Q11RCZunknownopenWikidata Q917661, MathWorld Degeneracy, MathWorld Degenerate
degeneracyBEC29N3RPGunknownopenWikidata Q5251771, MathWorld GraphDegeneracy
Degeneracy of the exact Moreau-gap constraintFAY1SESRVQstatementrecord (an 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.39736#NZON
Degeneracy thresholdQV1METJJZMstatementrecord (an 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.11917#33RV
Degenerate case9YV2VQD3FEstatementrecord (an 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.27961#GJAD