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 3101–3200 of 4710.

NameIdKindOutcomeSources
Distinct components of a two-parameter family50HETP76NVstatementrecord (an 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.33327#JHAC
Distinct exponentsQW8196AYW1statementrecord (an 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.04164#K50V
Distinct one-symbol insertionsBN91G0MKDBstatementrecord (an 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.14615#VRZP
Distinct partitions9PB6H7VB1Estatementrecord (an 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.20087#GUHJ
Distinct progression inputsE43VZHSXE3statementrecord (an 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.27044#58DE
Distinct sunflower inputsWHDDQHXGX9statementrecord (an 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.27044#OZ2N
Distinction forces a good orbitYHHE2SDKJJstatementrecord (an 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.05364#W3FF
Distinctness modulo stabilizersTW63RQFJVHstatementrecord (an 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#Z4KW
Distinguished cuspidal support94H9PAWYDPstatementrecord (an 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.05364#L08V
Distinguished morphisms4Q12J207CQdefinitionrecord (an 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#S3IG
Distinguished-edge configuration principleNEZ57JS48Wstatementrecord (an 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#WCR4
distinguishing number38XT0HAEVKunknownopenWikidata Q130418252, MathWorld DistinguishingNumber
Distortion floorXRCPNGANMJstatementrecord (an 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#5WN5
Distortion-policy relaxation and roundingHRRSGWB82Wstatementrecord (an 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.09472#2HK5
distribution4MDRJ3S2YRunknownopenWikidata Q564835, EoM Distribution_of_tangent_subspaces, nLab distribution of subspaces
Distribution formulasYKJEYG9AERstatementrecord (an 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.26984#RATK
distribution functionEHDJQ54C5Nconceptnode (a node has the same Wikidata item as the row)Wikidata Q2472662, MathWorld DistributionFunction, Wikidata Q386228, Mathlib ProbabilityTheory.cdf
Distribution limits of shifted cycle countsZ823BZWPM5statementrecord (an 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.14085#K7C7
Distribution of the Eigenvalues of Toeplitz QuantizationP12K3B7FXJstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1709.04968#428G
Distribution of Union and IntersectionAQS5FNZBY3statementopenernst_ibl MAAPressVersion/Sets.tex#theorem-6
Distribution RelationsKKY069BYHXstatementrecord (an 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.10365#J44V
Distributional convergence of the Huber mean estimatorZ1AQCDDHQPstatementrecord (an 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.20798#S4K3
Distributional equation66AGQQPHZ7statementrecord (an 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.28278#DOWY
Distributional null energy conditionXGASRW6BMVdefinitionrecord (an 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.11911#HJ0Z
Distributional orderings of random variablesHRP7610DV0definitionrecord (an 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.26951#V5MC
Distributional Solution - compare to Luckhaus-SturzenheckerE9NFZMSW7Hdefinitionrecord (an 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.21545#POM2
Distributional strong energy conditionXC2P2WGAFPdefinitionrecord (an 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.11911#6UO3
Distributional version of $\Xi$EKGX5XM91Rdefinitionrecord (an 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.14616#UWKR
DistributionsJBR1APXZB4unknownopenmathlib_overview Analysis > Distribution theory > Distributions, Mathlib Distribution, mathlib_undergrad Distribution calculus > Distributions on $\R^d$ > definition of distributions
Distributions on the line as responses40Z3Y7RZ6Pexamplerecord (an 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.00501#Z7AZ
distributive categoryHM39DZKZ8BunknownopenWikidata Q5283210, nLab distributive category
distributive lattice1D6X6Z7F00unknownnode (a node has the same name as the row)Wikidata Q2363730, nLab distributive lattice
distributive law between monadsG2TC5GTCBBunknownopenWikidata Q5283215, nLab distributive law
Distributive Normal Forms in FOL4KTRJVED47statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2604.19614#GKBS
distributive propertyWD34RMZ0CMunknownopenWikidata Q187959, MathWorld Distributive
Distributivity of $\vchoice{p}$ over $\hchoice{q}$WQP4AR9MK6statementrecord (an 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#4HJS
Disturbance-budget CBF-QP filterXBS88G91BPstatementrecord (an 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.28364#Q0HK
Disturbance-Budget SafetyXXZTZM93CFdefinitionrecord (an 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.28364#PG10
disturbance-budget safety certificateJABM2CVFVTstatementrecord (an 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.28364#M51T
Disturbance-budget safety of a switching filter70HW4KGCCKstatementrecord (an 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.28364#7UHJ
Disturbance-conditioned variance and kurtosis comparisonsVKBJBR0Q6Xstatementrecord (an 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.25545#FGHN
ditrigonal dodecadodecahedronB5YB8B6BXGunknownopenWikidata Q3033698, MathWorld DitrigonalDodecadodecahedron
DittertZGXNR88FVJconjecturerecord (an 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.10545#86YL
DivergenceFWR29NXYMAstatementrecord (an 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#P2HK
divergenceJ8RJYWB6MJunknownnode (a node has the same Wikidata item as the row)Wikidata Q189000, EoM Divergence, MathWorld Divergence
Divergence along the kernel line2WWRCHXRZMstatementrecord (an 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#D0PQ
Divergence for non-admissible $b$KH471S1GWKstatementrecord (an 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#0OBO
divergence of a kinked fieldDC3JVGPNNEstatementrecord (an 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.08016#JVOW
Divergence of the Harmonic Series8WFG40DDWYstatementopenmathlib_100 34, Mathlib Real.tendsto_sum_range_one_div_nat_succ_atTop
Divergence of the Prime Reciprocal SeriesSJVCM7N1W3statementopenmathlib_100 81, Mathlib Theorems100.Real.tendsto_sum_one_div_prime_atTop, Mathlib not_summable_one_div_on_primes
Divergence relative to countably $\mathcal{H}^k$-rectifiable set, cf.\KE5TNEYXN9definitionrecord (an 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.24451#XA0Y
divergence theoremJWZSVNTSRWstatementnode (a node has the same Wikidata item as the row)mathlib_1000 Q338886, Mathlib MeasureTheory.integral_divergence_of_hasFDerivAt_off_countable, Wikidata Q338886, mathlib_overview Analysis > Measures and integral calculus > divergence theorem, thousand_plus Q338886, Wikipedia Divergence theorem, Wikipedia Gauss theorem, MathWorld DivergenceTheorem, nLab divergence theorem
Divergence Theorem on $\partial \Omega$Q8WJC1A01Fstatementrecord (an 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.29393#DBEG
Divergence-free logarithmic core8G0XRG7WWZstatementrecord (an 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.24962#9FV1
Divergence-regularized GW stability2NW1FY1SCYstatementrecord (an 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.14562#QT34
divergent power seriesT27ZGKFNESconceptopenlebl_diffyqs index/9.1.1/divergent-power-series
divergent sequenceJMX0KG6VWNunknownnode (a node has the same name as the row)Wikidata Q91132119, EoM Divergent_sequence, MathWorld DivergentSequence
divergent seriesZ29VW8P46Munknownnode (a node has the same name as the row)Wikidata Q906520, MathWorld DivergentSeries
divergent, improper integralCF36EC88FFconceptopenlebl_ra index/8.5/divergent-improper-integral
divergent, power seriesMS3VFX3TTDconceptopenlebl_ra index/10.6.5/divergent-power-series
divergent, sequenceJ4FWRXH2ZBconceptopenlebl_ra index/10.1/divergent-sequence
divergent, sequence in a metric spaceTY3JHRJKQKconceptopenlebl_ra index/4.3.1/divergent-sequence-in-a-metric-space
divergent, series2DTPK77KXTconceptopenlebl_ra index/10.5.1/divergent-series
diverges, function in a metric spaceQC42BKP35Rconceptopenlebl_ra index/4.5.5/diverges-function-in-a-metric-space
Diversity benefit under per-labeler normalizationWRSA78EG56statementrecord (an 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.18935#733C
divides7VWHPAEHZAconceptopenapplied_combinatorics index/3.5.1/divides
dividesFAEKZ91QWFunknownopenWikidata Q109497082, MathWorld Divides
dividesQKW1XN7G4Econceptopenlevin_dmoi index/6.2.1/divides
dividing a circle into areasH9WTV5BC9HobjectopenWikidata Q5284051, MathWorld CircleDivisionbyChords, OEIS A000127
dividing a square into similar rectangles1K4MRKGCNKproblemopenWikidata Q117034634, OEIS A359146
Divisibility by 3 Rule78FY36YSRVstatementopenmathlib_100 85, Mathlib Nat.three_dvd_iff
divisibility chains at the endpointRA2MJ6804Astatementrecord (an 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.27458#6NII
Divisibility gapHA2CAQH3AYstatementrecord (an 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.14086#7YAD
Divisibility propertiesQVRDKFYRCNstatementrecord (an 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.18281#06AL
divisibility relation4KSMKV5RQBconceptopenlevin_dmoi index/6.2.1/divisibility-relation
divisible groupD12A5VP6W6unknownopenWikidata Q1782332, nLab divisible group
division1655ZRTPJ2unknownopenWikidata Q1226939, EoM Division, MathWorld Division
division algebraE61TEA7HHTtopicopenWikidata Q1231309, MathWorld DivisionAlgebra
Division algorithmPF329PPHMDconceptopenlevin_dmoi index/6.2.1/division-algorithm
Division AlgorithmVZA6BW9J4Jstatementopenernst_ibl MAAPressVersion/FundamentalTheoremArithmetic.tex#thm:DivisonAlgorthm
division by zeroNFWQD8Q7HVunknownopenWikidata Q848539, MathWorld DivisionbyZero
division ring1CZG8QRJS6unknownnode (a node has the same name as the row)Wikidata Q650741, EoM Skew-field, MathWorld DivisionRing
division signV6X1XT3151unknownopenWikidata Q3961002, MathWorld Obelus
division theoremPSYDRFCXB5conceptopenapplied_combinatorics index/3.5.1/division-theorem
Division TheoremRPM8BQEN18statementopenapplied_combinatorics source/s_induction_recursion.ptx#thm_division
divisor1XXQ6YAA8Qunknownnode (a node has the same Wikidata item as the row)Wikidata Q50708, EoM Divisor_(of_an_integer_or_of_a_polynomial), MathWorld Divisor
divisor5SH82G5SA7unknownopenWikidata Q909669, nLab divisor (algebraic geometry)
divisorYQVCHCGAFHconceptopenapplied_combinatorics index/3.5.1/divisor
divisor class group2SN6XE611TunknownopenWikidata Q72096383, EoM Divisor_class_group
Divisor comparison35WPRCA2HGstatementrecord (an 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.25925#RRX6
divisor function2MA9DG1DHFstatementnode (a node has the same name as the row)mathlib_1000 Q915474, Wikidata Q915474, thousand_plus Q915474, Wikipedia Robin's theorem, MathWorld DivisorFunction, ProofWiki Definition:Divisor_Function
Divisor of a meromorphic functionRZ6YGE08GEdefinitionopennapkin tex/riemann-surface/riemann-roch.tex#definition-4
divisor sum functionMXN249DV7SdefinitionopenWikidata Q4047453, OEIS A000203, ProofWiki Definition:Divisor_Sum_Function
divisor, commonHJ3EMS4TZMconceptopenapplied_combinatorics index/3.5.1/divisor-common
divisor, greatest commonVEXR19GDSWconceptopenapplied_combinatorics index/3.5.1/divisor-greatest-common
Divisor-layer zeta lawQF3KK0Z29Fstatementrecord (an 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.03811#GSW6
Divisors1QGCJEXM1Pdefinitionopennapkin tex/riemann-surface/riemann-roch.tex#definition-2
Divisors and morphismsWVF78VV8E1definitionrecord (an 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.33679#OSQ3
Dixon's factorization methodKNMFAEB0ERunknownopenWikidata Q1231787, MathWorld DixonsFactorizationMethod
DJ0200PHP7DJ0200PHP7definitionrecord (an 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.18847#3FMK