| Decomposition of a module | RE5MV94KNX | definition | open | Wikipedia Decomposition of a module, Wikidata Q85756139 |
| decomposition of an orthogonal transformation as a product of reflections | 11Y6B46WEW | unknown | open | mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > decomposition of an orthogonal transformation as a product of reflections, Mathlib LinearIsometryEquiv.reflections_generate |
| Decomposition of spectrum | CW6XRDWH0V | definition | open | Wikipedia Decomposition of spectrum (functional analysis), Wikidata Q130603417 |
| Decomposition of the $k$-Spin Hamiltonian | S3DRTF3XEN | statement | record (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.16705#JXQO |
| Decomposition of the approximation error | F77JHQM13H | statement | record (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#5ABO |
| Decomposition of the full shadow | QQB833WVJT | statement | record (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.09602#7G5V |
| Decomposition of the KL divergence by estimation stage | QQF111NNC0 | statement | record (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.14498#04YU |
| Decomposition of time series | 70AB2FBDB7 | definition | open | Wikipedia List of statistics articles#N80M |
| Decomposition of time series | H3T6F9TRXG | definition | open | Wikipedia Decomposition of time series, Wikidata Q5249571 |
| Decomposition theorem | 45QV29RKR7 | statement | open | Wikipedia Divergence#2YSJ |
| Decomposition theorem of Beilinson, Bernstein and Deligne | WN0KAC2KRQ | statement | open | mathlib_1000 Q25345219, Wikidata Q25345219, thousand_plus Q25345219, Wikipedia Decomposition theorem of Beilinson, Bernstein and Deligne |
| Decomposition with balanced enclosing boxes | SX8H1HNKT9 | statement | record (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.14160#IQQ9 |
| Decompositions | NNGA9MG8MX | statement | record (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.38220#5A89 |
| deconvolution | 3ZBD4NEG0F | definition | open | Wikidata Q1183700, MathWorld Deconvolution, Wikipedia Deconvolution |
| Decorated Cayley cubical complex | AQDC0N9N59 | definition | record (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.28028#NMSN |
| Decorated cospan | GTAMZJKYRP | definition | record (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.20478#1LN8 |
| Decorated cube complex | 4SKX75RGDD | definition | record (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 complex | 8QN901052V | definition | record (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 |
| decoration | WKGGPNCSM7 | definition | record (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 bound | 49H9SKK7SW | statement | record (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 | YMCXFV71AY | definition | open | Wikipedia Decorrelation, Wikidata Q788608 |
| Decorrelation across disjoint affine sections | 358BZW3VC6 | definition | record (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 |
| Decorrelation theory | 8BKPR3HXGK | definition | open | Wikipedia Decorrelation theory, Wikidata Q3984122 |
| decoupled system | G773Q6JJMJ | concept | open | austin_ula index/1.2.1/decoupled-system |
| Decoupled two-agent case | BDCS0VJQ1K | statement | record (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 | 3G7BG6Y7Z7 | definition | open | Wikipedia Decoupling (probability), Wikidata Q5249645 |
| Decoupling of data collection and sampling | JEXB28AZXD | statement | record (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 dimension | 19NSM6MYJP | statement | record (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 |
| Decoy effect | MVJH194EG4 | unknown | open | Wikipedia List of cognitive biases#BXZ9 |
| DECQTCZMZP | DECQTCZMZP | statement | record (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.21403#G8QG |
| Decrease and conquer | 820WHMR5VE | unknown | open | Wikipedia Divide-and-conquer algorithm#TPQB |
| Decrease controls the projected gradient | 302M6GC78Q | statement | record (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 |
| decreasing | R56VZSFZFG | concept | open | active_calculus index/1.6.1/decreasing |
| Decreasing bounded processes | AKA8D7S0NY | statement | record (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 function | CBD94QJ2A0 | unknown | open | Wikidata Q3075231, MathWorld NonincreasingFunction |
| Decreasing rearrangement | 9HS3GYJQRV | unknown | open | Wikipedia Symmetric decreasing rearrangement#6UAW |
| Decreasing rearrangement | BMKVMFA7BB | definition | record (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 relative risk aversion | 2QHQW2S3KK | unknown | open | Wikipedia Risk aversion#S16T |
| decreasing sequence | N2VN4A5YVP | unknown | open | Wikidata Q138568936, EoM Decreasing_sequence |
| Decreasing sequence | TZ99WYVC4F | unknown | open | Wikipedia Sequence#4MM1 |
| Decrypt | 4Y2EC1HPVZ | definition | open | Wikipedia List of telecommunications encryption terms#1PTU |
| DeCSS | YY6VE0R338 | definition | open | Wikipedia DeCSS, Wikidata Q1179498 |
| DECT Standard Cipher | Q0YNG7G9DK | unknown | open | Wikipedia List of telecommunications encryption terms#YHTT |
| DECYWRMVZE | DECYWRMVZE | statement | record (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 |
| DED4W4B93R | DED4W4B93R | definition | record (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 |
| DED9EV4AGB | DED9EV4AGB | example | record (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 |
| Dedekind | 5S617SV6FE | definition | open | Wikipedia Glossary of real and complex analysis#ABUE |
| Dedekind | 76H3DRKPFS | definition | open | Wikipedia Glossary of set theory#IUJF |
| Dedekind | RP0Q4T8X67 | definition | open | Wikipedia Glossary of representation theory#X1QC |
| Dedekind | TSQQNZ3579 | statement | record (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 | YKTGW4KH1M | definition | open | Wikipedia Glossary of number theory#ZZWL |
| Dedekind completeness | KA7XVWAS5T | definition | open | Wikipedia List of things named after Richard Dedekind#UXAV |
| Dedekind completion | Q9CZ7A7JS6 | definition | open | Wikipedia List of order theory topics#ZUXV |
| Dedekind conjecture | YMDQ0KTJ5T | statement | open | Wikipedia Dedekind zeta function#1ZKL |
| Dedekind cut | 1KCEAWAZ8J | definition | open | Wikipedia List of things named after Richard Dedekind#4DNC |
| Dedekind cut | QP0ANAYYQJ | concept | node (a node has the same name as the row) | Wikidata Q851333, MathWorld DedekindCut, Wikipedia Dedekind cut |
| Dedekind discriminant theorem | CAJV342BCD | definition | open | Wikipedia List of things named after Richard Dedekind#4EAI |
| Dedekind discriminant theorem | K8PP9X36R2 | statement | open | Wikipedia Algebraic number field#E1BG |
| Dedekind domain | P948Q961Q6 | definition | open | Wikipedia List of algebraic number theory topics#GDIN, Wikipedia List of things named after Richard Dedekind#C2AR, Wikipedia List of commutative algebra topics#WZHP |
| Dedekind domain | RBNAP6C301 | concept | open | Wikidata Q254347, EoM Dedekind_ring, LMFDB knowl ring.dedekind_domain, MathWorld DedekindDomain, MathWorld DedekindRing, nLab Dedekind domain, ProofWiki Definition:Dedekind_Domain, Wikipedia Dedekind domain |
| Dedekind domain | V5FYZ3M4YW | definition | open | Wikipedia Glossary of commutative algebra#HSM7 |
| Dedekind ellipsoid | 4YWH1PRDB4 | unknown | open | Wikipedia Jacobi ellipsoid#VSF5 |
| Dedekind eta function | 8CBH82KZSJ | concept | open | Wikidata Q1182161, LMFDB knowl mf.half_integral_weight.dedekind_eta, MathWorld DedekindEtaFunction, nLab Dedekind eta function, Wikipedia Dedekind eta function |
| Dedekind eta function | S703HE6HS2 | definition | open | Wikipedia List of things named after Richard Dedekind#QV3U |
| Dedekind function | 6TKE718QHC | unknown | open | Wikipedia List of things named after Richard Dedekind#MM4J |
| Dedekind group | 4H0HH7F8TH | definition | open | Wikipedia List of abstract algebra topics#L4C6 |
| Dedekind group | VMZPYBBY20 | definition | open | Wikipedia List of things named after Richard Dedekind#W92D |
| Dedekind group | WKW5A74Y3F | definition | open | Wikipedia Dedekind group, Wikidata Q21189838 |
| Dedekind lattice | XF1H5V8HJR | definition | open | Wikipedia List of things named after Richard Dedekind#AZQ6 |
| Dedekind number | 3S466GSX07 | definition | open | Wikipedia List of things named after Richard Dedekind#VHJJ |
| Dedekind number | JYNZ41BSEZ | definition | open | Wikidata Q5249753, MathWorld DedekindNumber, OEIS A000372, Wikipedia Dedekind number |
| Dedekind number | NA0ZCPDF5B | definition | open | Wikipedia List of unsolved problems in mathematics#X23G |
| Dedekind psi function | 4WHAT12BFC | concept | open | Wikidata Q1182153, MathWorld DedekindFunction, Wikipedia Dedekind psi function |
| Dedekind psi function | FHQ5JNKKAN | definition | open | Wikipedia List of things named after Richard Dedekind#S3BM |
| Dedekind ring | DV5WJC0B7V | definition | open | Wikipedia List of things named after Richard Dedekind#02U1 |
| Dedekind sum | N8GX99XBGD | concept | open | Wikidata Q2463775, MathWorld DedekindSum, Wikipedia Dedekind sum |
| Dedekind sum | WT7R6Y5843 | definition | open | Wikipedia List of number theory topics#XYD8, Wikipedia List of things named after Richard Dedekind#TQ10 |
| Dedekind valuation | CZ92SMJ67N | definition | open | Wikipedia List of things named after Richard Dedekind#8YJ9 |
| Dedekind valuation | J1SQF9GK69 | unknown | open | Wikipedia Valuation (algebra)#XU39 |
| Dedekind zeta function | 3E4JVXXHDR | concept | open | Wikidata Q1182160, nLab Dedekind zeta function, Wikipedia Dedekind zeta function |
| Dedekind zeta function | 5QYWD2HMKC | definition | open | Wikipedia List of zeta functions#4K7Y |
| Dedekind zeta function | R3T5MVQJ53 | definition | open | Wikipedia List of things named after Richard Dedekind#SVB6 |
| Dedekind's axiom | P3KN0MEX8Q | definition | open | Wikipedia List of things named after Richard Dedekind#9FQF |
| Dedekind's complementary module | Q7EE5CSM5S | definition | open | Wikipedia List of things named after Richard Dedekind#DA2T |
| Dedekind's theorem | 59RKM7P044 | unknown | open | Wikipedia List of things named after Richard Dedekind#S118 |
| Dedekind's theorem | PT15HSTCP8 | statement | open | Wikipedia Chinese remainder theorem#CYGR |
| Dedekind-finite ring | DFH0T0NN1X | definition | open | Wikipedia Dedekind-finite ring, Wikidata Q112160790 |
| Dedekind-infinite set | 2J1Y2BVMK9 | definition | open | Wikipedia List of things named after Richard Dedekind#AQ6E |
| Dedekind-infinite set | V2VGCB5YHJ | definition | open | Wikipedia Dedekind-infinite set, Wikidata Q5249754 |
| Dedekindian | Q47Q3D5GQC | definition | open | Wikipedia Glossary of Principia Mathematica#O2PX |
| Dedekind–Hasse norm | CRGGHF7ZZ1 | definition | open | Wikipedia List of things named after Richard Dedekind#LICK |
| Dedekind–Hasse norm | H0WNTBEGKW | definition | open | Wikipedia Dedekind–Hasse norm, Wikidata Q5249755 |
| Dedekind–Kummer theorem | V05G5PRQ7S | statement | open | Wikipedia Dedekind–Kummer theorem, Wikidata Q110313202 |
| Dedekind–MacNeille completion | 4444K7GYV4 | definition | open | Wikidata Q5249756, nLab MacNeille completion, Wikipedia Dedekind–MacNeille completion |
| Dedekind–MacNeille completion | NM5HHXKM51 | definition | open | Wikipedia List of things named after Richard Dedekind#0V8I |
| Dedekind–Peano axioms | XR6XWRN9C7 | statement | open | Wikipedia List of things named after Richard Dedekind#MVJK |
| DEDQ294Q8B | DEDQ294Q8B | statement | record (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 |
| Deducing other known formulas | 2XC7ND0XXG | statement | open | Wikipedia Line moiré#017Y |
| Deducing Stirling's formula | C2569YTANW | statement | open | Wikipedia Wallis' integrals#CZYB |
| deduction | HD3QCKKNBP | definition | open | Wikipedia Glossary of logic#C15E |