| Discrete universality along Gram powers | E7CWGCY8GP | 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.22107#SCSY |
| discrete valuation | 9CME500VCE | unknown | open | Wikidata Q5282068, nLab discrete valuation |
| Discrete valuation ring | 2Z3Z2HJMTN | definition | open | Wikipedia List of abstract algebra topics#92X1 |
| discrete valuation ring | A50KRKVD1A | definition | open | Wikipedia Glossary of commutative algebra#OW1A |
| discrete valuation ring | JK81D2D36J | definition | open | Wikidata Q986694, EoM Discretely-normed_ring, Wikipedia Discrete valuation ring |
| discrete variable | 1TYNRGVCDM | definition | open | Wikipedia Glossary of probability and statistics#1W5P |
| Discrete wavelet transform | 7MJYWTFSFK | definition | open | Wikipedia List of wavelet-related transforms#LMP8 |
| Discrete wavelet transform | 7Q1K0TWR0V | definition | open | Wikipedia Discrete wavelet transform, Wikidata Q2414958 |
| Discrete wavelet transform | T60J93FSXC | definition | open | Wikipedia List of transforms#ZBQL |
| Discrete Weibull distribution | 3KXFJE4Y12 | definition | open | Wikipedia Discrete Weibull distribution, Wikidata Q25104867 |
| Discrete weighted transform | ACXF2C1NFH | unknown | open | Wikipedia Discrete Fourier transform over a ring#V7N6 |
| Discrete well-posedness and a priori error | X4VT01Y0DR | 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.31555#HUD3 |
| Discrete Wronskian identity | M8GDMB2YZC | 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.00396#WMIC |
| discrete, space | 725W0QEX6E | concept | open | hott_book index/u1.u5/discrete-space |
| discrete, space | KB85GDC3EM | concept | open | hott_book index/u1.u8/discrete-space |
| discrete, space | NVSAWY9084 | concept | open | hott_book index/9.1/discrete-space |
| discrete, space | SSAQ5VPMSG | concept | open | hott_book index/u1.u7/discrete-space |
| Discrete-series distinction | WMSNR30QNN | 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.05364#EQSZ |
| Discrete-space Fourier transform | A0D6ED1SYB | unknown | open | Wikipedia List of Fourier-related transforms#JRMJ |
| Discrete-stable distribution | NS22B13CVP | definition | open | Wikipedia Discrete-stable distribution, Wikidata Q25303662 |
| Discrete-time Fourier transform | FQXD96TB0B | definition | open | Wikipedia Discrete-time Fourier transform, Wikidata Q1440048 |
| Discrete-time Fourier transform | QMPM2VYB77 | definition | open | Wikipedia List of transforms#GF3W |
| Discrete-time Fourier transform | VYVK2NB7CK | definition | open | Wikipedia List of Fourier-related transforms#TAP8 |
| Discrete-time intensity | TF451Y9AS0 | 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 2411.02694#46ZB |
| Discrete-time likelihood on network | 5BQFW0JFY3 | 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 2411.02694#ZUN8 |
| Discrete-time Markov chain | AB8TTXMPPS | definition | open | Wikipedia Discrete-time Markov chain, Wikidata Q16109430 |
| Discrete-time proportional hazards | 53JFYV37W1 | definition | open | Wikipedia Discrete-time proportional hazards, Wikidata Q48996128 |
| Discrete-time stochastic process | GMZ32QY2AV | unknown | open | Wikipedia Stochastic process#DPDS |
| Discretization | Q2EN89KGM5 | definition | open | Wikipedia Discretization, Wikidata Q17007827 |
| Discretization | SPBC82B2ZC | definition | open | Wikipedia List of numerical analysis topics#TY9P |
| Discretization | VBXK6D66DB | 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.06028#9PL0 |
| Discretization and polynomial approximation of mixtures | 5CZZ6DX1ME | 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.21033#GW4C |
| Discretization error | 8S8E8XKKSZ | definition | open | Wikipedia Discretization error, Wikidata Q3890355 |
| Discretization error | EWGSMZK01X | definition | open | Wikipedia List of numerical analysis topics#50DH |
| Discretization error | EY0B75B082 | 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.21033#8OD4 |
| Discretization Error | W3RDE4S8DH | 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.32446#RWMC |
| Discretization invariance | XZ3JHXBJCE | 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.35531#2Q4L |
| Discretization of Bounded-Parameter Gaussians | G5BDBW36ZT | 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.21033#KIGW |
| Discretization of Bounded-Parameter Log-concave Distributions | 7598HBZ9V6 | 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.21033#RCOU |
| Discretization of continuous features | MJGA4PD4E2 | definition | open | Wikipedia List of statistics articles#6TI5 |
| Discretization of continuous features | WBSN0H5DVN | definition | open | Wikipedia Discretization of continuous features, Wikidata Q665193 |
| Discretization of the Equilibrium Measure | FFT5A26Q5P | 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.13222#TTG4 |
| discriminant | 2720M7CNGK | definition | open | Wikipedia Glossary of invariant theory#Q0O8 |
| discriminant | K0QWMFMVVV | definition | open | Wikipedia Glossary of classical algebraic geometry#SQSX |
| discriminant | MQP1DPD1AK | definition | node (a node has the same Wikidata item as the row) | Wikidata Q192487, EoM Discriminant, MathWorld Discriminant, nLab discriminant, ProofWiki Definition:Discriminant_of_Polynomial, Wikipedia Discriminant |
| Discriminant function analysis | CQ1V5XEW5B | definition | open | Wikipedia List of statistics articles#CBEP |
| Discriminant of $\QQ(i)$ | B60PH6MQWC | example | open | napkin tex/alg-NT/classgrp.tex#example-3 |
| Discriminant of $K = \QQ(\sqrt2)$ | 9YYR7DS68Q | example | open | napkin tex/alg-NT/classgrp.tex#example-2 |
| Discriminant of a point | C4NVJQM5A0 | definition | open | Wikipedia Glossary of arithmetic and diophantine geometry#FAD6 |
| Discriminant of a polynomial | Z3EDKRMCQJ | definition | open | Wikipedia List of polynomial topics#1EI9 |
| Discriminant of a quadratic form | 29211YGSHH | unknown | open | Wikipedia Discriminant#J7BG |
| Discriminant of a real-valued function | 8HRCKSBJFW | unknown | open | Wikipedia Hessian matrix#J03S |
| Discriminant of an algebraic number field | 1GN03A8H2E | definition | open | Wikipedia Discriminant of an algebraic number field, Wikidata Q1228885 |
| Discriminant of an algebraic number field | CANRXEN1MX | definition | open | Wikipedia List of algebraic number theory topics#F4OJ |
| Discriminant of an elliptic curve | NTAE33GYM8 | unknown | open | Wikipedia Elliptic curve#I0IS |
| Discriminant of cyclotomic field | CYHRQ42CSS | exercise | open | napkin tex/alg-NT/discriminant.tex#prob:discrim_cyclotomic_field |
| Discriminant parity | TZJC65FHHR | 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.08753#OBJI |
| Discriminant support | GCWH8F705J | 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.03520#MRXW |
| Discriminant validity | RXRCM720W8 | definition | open | Wikipedia Discriminant validity, Wikidata Q168554 |
| Discrimination ratio | SGYZPSM0ZK | definition | open | Wikipedia Discrimination ratio, Wikidata Q133521424 |
| Discrimination testing | 91783X2YEP | definition | open | Wikipedia Discrimination testing, Wikidata Q136192974 |
| Discriminative model | VNXCEGPQD3 | definition | open | Wikipedia Discriminative model, Wikidata Q5282087 |
| Discriminative model | ZC6XJ7W5Y5 | definition | open | Wikipedia List of statistics articles#VJBT |
| Discriminative probabilistic latent variable model | 14PCJX79BJ | unknown | open | Wikipedia Conditional random field#Q5JT |
| Discriminator | H6TQB8K98D | definition | open | Wikipedia Discriminator, Wikidata Q5282088 |
| disdyakis dodecahedral graph | 2NNHGHVPTQ | unknown | open | Wikidata Q3115568, House of Graphs 1039, MathWorld DisdyakisDodecahedralGraph |
| disdyakis dodecahedron | MYKFV3DBCC | definition | open | Wikidata Q1586734, MathWorld DisdyakisDodecahedron, Wikipedia Disdyakis dodecahedron |
| disdyakis triacontahedral graph | WG436WZAPE | unknown | open | Wikidata Q3115565, House of Graphs 1041, MathWorld DisdyakisTriacontahedralGraph |
| disdyakis triacontahedron | QSFTNB511X | definition | open | Wikidata Q1512266, MathWorld DisdyakisTriacontahedron, Wikipedia Disdyakis triacontahedron |
| Dishant Mayurbhai Pancholi | BFCWFZGDPF | topic | open | Wikipedia Dishant Mayurbhai Pancholi, Wikidata Q109511767 |
| DiShIn | RJ52M76W2N | definition | open | Wikipedia DiShIn, Wikidata Q5590534 |
| Disintegration | XSYWVBGMZX | 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.17129#DQUE |
| Disintegration of regular BSDEs | Q0WYASR6NB | 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.18180#ON0C |
| Disintegration of the surface measure | DP6X3JB7BW | 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.32710#PLHZ |
| Disintegration theorem | BMK5TWWBWW | statement | open | Wikipedia List of theorems#971G |
| Disintegration theorem | MWEEGA21Z2 | statement | open | mathlib_1000 Q5282247, Wikidata Q5282247, thousand_plus Q5282247, Wikipedia Disintegration theorem |
| Disintegration theorem | S570F6C3D1 | statement | open | Wikipedia List of probability topics#8XCD |
| Disjoint | 22H8FSYW9D | 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.13347#3DOW |
| disjoint | D4VTR264BR | definition | open | Wikipedia Glossary of set theory#BBF9 |
| disjoint | JAKASV8HQ2 | definition | open | Wikipedia Glossary of graph theory#UTN8 |
| disjoint | WV4JXEA5CR | concept | open | levin_dmoi index/2.1/disjoint |
| Disjoint amalgamation property | 1013K59K7T | unknown | open | Wikipedia Amalgamation property#DUAO |
| Disjoint blocks suffice | KD35A3N61Q | 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.20492#DEGF |
| Disjoint coproduct, monic coprojections | 77GEFJN9ZS | 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.10930#CIL7 |
| disjoint disk property | K5Z3X3V4FV | definition | open | Wikipedia Glossary of algebraic topology#UO6Z |
| disjoint faces can be crushed without changing the ball pair | BZVDMVV56V | 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.32733#XNTP |
| Disjoint majority restrictions | ATH6QH6TQM | 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.02407#YMCQ |
| disjoint sets | 6A1JM8J0TB | definition | node (a node has the same name as the row) | Wikidata Q215382, MathWorld DisjointSets, Wikipedia Disjoint sets |
| Disjoint union | 1KTHVKCFWV | statement | open | Wikipedia Disjoint union#9ETX |
| disjoint union | M24H9HFD38 | definition | open | Wikidata Q842620, MathWorld DisjointUnion, nLab disjoint union, Wikipedia Disjoint union |
| Disjoint union | SGVBWDTEHF | definition | open | Wikipedia Disjoint union (topology), Wikidata Q5282259 |
| Disjoint union (topology) | F4ZJZQGPAC | definition | open | Wikipedia List of topologies#N955 |
| disjoint union of graphs | V8EES042C2 | definition | open | Wikidata Q48995627, MathWorld GraphUnion, Wikipedia Disjoint union of graphs |
| disjoint union of manifolds | ZNMWDG99G1 | unknown | open | mathlib_overview Geometry > Differentiable manifolds > disjoint union of manifolds, Mathlib IsManifold.disjointUnion |
| Disjoint union topology | RKH2CN47T6 | definition | open | Wikipedia Glossary of general topology#9N4D |
| Disjoint unions | N8YVTGFZCV | problem | 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.14681#IF9F |
| disjoint unions | V0WNHXDACZ | 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.20775#U3VW |
| disjoint, basepoint | KQN7NWHMBW | concept | open | hott_book index/5.5/disjoint-basepoint |
| Disjointness | JRDTBCRQY8 | 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.14154#PUCR |
| Disjointness graph | D42K8H3ZSJ | unknown | open | Wikipedia Line graph#X5H2 |