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.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 3001–3100 of 4710.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| 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 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 |
| disdyakis dodecahedral graph | 2NNHGHVPTQ | unknown | open | Wikidata Q3115568, House of Graphs 1039, MathWorld DisdyakisDodecahedralGraph |
| disdyakis dodecahedron | MYKFV3DBCC | object | open | Wikidata Q1586734, MathWorld DisdyakisDodecahedron |
| disdyakis triacontahedral graph | WG436WZAPE | unknown | open | Wikidata Q3115565, House of Graphs 1041, MathWorld DisdyakisTriacontahedralGraph |
| disdyakis triacontahedron | QSFTNB511X | object | open | Wikidata Q1512266, MathWorld DisdyakisTriacontahedron |
| 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 | MWEEGA21Z2 | statement | open | mathlib_1000 Q5282247, Wikidata Q5282247, thousand_plus Q5282247, Wikipedia Disintegration theorem |
| 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 | WV4JXEA5CR | concept | open | levin_dmoi index/2.1/disjoint |
| 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 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 | unknown | node (a node has the same name as the row) | Wikidata Q215382, MathWorld DisjointSets |
| disjoint union | M24H9HFD38 | unknown | open | Wikidata Q842620, MathWorld DisjointUnion, nLab disjoint union |
| disjoint union of graphs | V8EES042C2 | unknown | open | Wikidata Q48995627, MathWorld GraphUnion |
| disjoint union of manifolds | ZNMWDG99G1 | unknown | open | mathlib_overview Geometry > Differentiable manifolds > disjoint union of manifolds, Mathlib IsManifold.disjointUnion |
| 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 |
| disjuction, equivalent implication | J8W2J83YTJ | concept | open | levin_dmoi index/4.1.2/disjuction-equivalent-implication |
| disjunction | KW4M6RY599 | concept | open | levin_dmoi index/1.2.1/disjunction |
| disjunction | VKHT97KB8Y | concept | open | hott_book index/A.11/disjunction |
| disjunctive normal form | CN2SAXWJ5G | unknown | node (a node has the same name as the row) | Wikidata Q903789, MathWorld DisjunctiveNormalForm |
| disk | ESAQT4YEV5 | unknown | open | Wikidata Q16557296, MathWorld Disk, Wikidata Q238231 |
| Disk counting statistics with a centered-disk wall | BN650MAZQE | 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.25307#S2SU |
| Disk counting statistics with a disk-complement wall | 47CQTY4XSQ | 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.25307#UZ8R |
| Disk counting statistics with an annular wall | 2KWE1VV49R | 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.25307#SQPR |
| Disk covering problem | P4F2AY4KHZ | problem | open | Wikidata Q5282308, MathWorld DiskCoveringProblem |
| disk integration | 8WQNQZV2AN | unknown | open | Wikidata Q3825524, MathWorld MethodofDisks |
| disk method | Y093XPK5R0 | concept | open | active_calculus index/6.2.2/disk-method |
| Disk-complement hard-wall ratio | Z0FWM6AHDS | 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.25307#CTO8 |
| Disk-complement hole probability | YFMQZMF7E0 | 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.25307#GXTA |
| Disorder Chaos | F7VZACAD12 | 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.40345#0HT1 |
| Dispatch-node graph | X97GNVJSPD | 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.39269#JQSP |
| Dispersed family, canonical sharing, tuned modulus | HD7DBC1065 | 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.37368#M52F |
| dispersion relation | WNJSS6FZZZ | unknown | open | Wikidata Q590051, MathWorld DispersionRelation, nLab dispersion relation |
| disphenocingulum | GFDA91P87P | object | open | Wikidata Q1758058, MathWorld Disphenocingulum |
| disphenoid | 3Q7VSR8A5B | unknown | open | Wikidata Q909847, MathWorld Disphenoid |
| Displacement and photon number in Bargmann coordinates | B1PAZ5JVYH | 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.06810#A47M |
| Displacement estimates | NC0369Q4HV | 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.06308#AVNA |
| Displacement localization | SA333FB0N4 | 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.12203#5599 |
| Displacement potential | MSJW12NYTV | 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.37704#QZ9U |
| displacements are commutators | V28NMRD39J | 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.06909#7MT2 |
| displayed with both gradings | KDC7FEEFHK | 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.39293#JYCD |
| Disproof of the Narkiewicz--\'{S}liwa conjecture | 35YGSQ4AZD | 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.29878#5ITG |
| Disquisitiones Arithmeticae | E1SNTXG214 | unknown | out_of_scope (a book or a journal, not an item of mathematics) | Wikidata Q510675, nLab Disquisitiones Arithmeticae |
| Dissection of Cubes (J.E. Littlewood’s ‘elegant’ proof) | SB1BV6CZ6N | statement | open | mathlib_100 82, Mathlib Theorems100.«82».cannot_cube_a_cube |
| dissection puzzle | WYBBD0D9YE | unknown | open | Wikidata Q5282744, MathWorld Dissection |
| Dissipation bound | Z8NWRNE0WQ | 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.15511#TLNZ |
| Dissipation-only construction | RQNN3WGV2P | 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.36016#3UBO, arXiv 2609.36016#YHUA |
| Dissipation-only rapid mixing is not additive | MXJFPMCWWR | 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.36016#F3AO |
| Dissipative Bose--Hubbard | NG0GHFY27P | 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.01669#1EG5 |
| Dissipative Fermi--Hubbard models | BQPCGRTEV7 | 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 2610.00448#PXZL |
| Dissipative Hamiltonian decomposition | 3D8JQHNTKZ | 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.01295#CVY0 |
| Dissipative preparation | SHDQ4ZVDSD | 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.01669#CYZI |
| dissipative system | CWSCYWY0ZR | unknown | open | Wikidata Q596577, nLab dissipative system |
| distance | 7FEHPE0S5R | concept | open | hott_book index/B.3.1/distance |
| distance | DEBHGNS26T | concept | open | hott_book index/B.3.3/distance |
| Distance | GAGSQGBVYE | 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.25301#YC1P |
| distance | NF3SM5DFK9 | concept | open | applied_combinatorics index/12.3/distance |
| distance | ZHA1AM1JJT | concept | open | hott_book index/B.6/distance |
| Distance additivity | R2ESBJBDBQ | 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.13429#M89S |
| Distance and Graph Powers | RJKE9JQP4Q | 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.09300#WFCG |
| Distance between the planning solution and the target | 1KBVJE86R0 | 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.14988#4821 |
| Distance bounds | VXFFTVMZNW | 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.31535#LYKO |
| Distance ceiling at $q$ odd, $d$ odd, $d\ge 3$; original | HECFZR8P6Z | 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.02392#IA29 |
| Distance comparison | 5J8S895SJT | 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.12434#62EK |
| Distance comparison | RWMV0HDD3H | 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.05204#C5Z9 |
| distance from a point to a plane | CWJN4C7MV5 | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q3030668, MathWorld Point-PlaneDistance |
| Distance lower bound | GD471ZB507 | 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.12641#I17E |
| Distance margin | XYHZHNK0KZ | 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.08152#5KYR |
| Distance margin representation | 54PKAP6VY4 | 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.08152#DO7I |
| Distance margin stability under projector perturbation | YJCWA3RKHZ | 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.08152#5Y9K |
| distance matrix | YGTW12AQYP | unknown | open | Wikidata Q901698, MathWorld GraphDistanceMatrix |
| Distance of qubitized CSS codes | JW1TMV9Q2J | 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.04834#YQ1H |
| Distance of qubitized stabilizer codes | 2523E2AJ52 | 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.04834#88UJ |
| Distance Scale from Doubling | Y5D84XP3Z8 | 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.12239#BN4N |
| Distance to Decay Lemma | 877F3EXWPM | 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.26769#U93V |
| Distance to the barycenter via tangent directions | TDFZ132KRM | 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.17909#9IND |
| Distance to the minimizer | 966KKFTZTA | 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.21461#U15R |
| Distance to the root | VTS5KEWAMP | 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.12641#4467 |
| distance traveled | RTZW0M34PF | concept | open | active_calculus index/4.1.3/distance-traveled |
| Distance-contraction subroutine | A32ZVXNGT2 | 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.21139#D4NI |
| Distance-dependent sample complexity | 1V7Y8CQ8X9 | 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.40271#TY4G |
| Distance-domination sandwich | RJY1MND7RF | 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.31535#TZAW |
| distance-hereditary graph | T2QQ7G18EZ | unknown | open | Wikidata Q5282847, MathWorld Distance-HereditaryGraph |
| distance-transitive graph | CTCQ3GDJQE | unknown | open | Wikidata Q4391306, MathWorld Distance-TransitiveGraph |
| Distance-two characterization and orbit factorization | BNX3866382 | 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.39121#XCYQ |
| Distance-two rotation structure; Makhynko | T1WC8HHRQT | 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.17006#99SJ |
| Distances and expansion | 4VWKKZXT5C | 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#KPQP |
| Distances between Hamiltonian cut spectra | 71YQ83R9AW | 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.03763#7KHU |
| Distances through the backbone | MWS50J337T | 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.34025#83DD |