Inventory rows DR
The cards of the rows of the inventory whose ids start with DR. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Murata's constant DR0DSRF7TW
| URI | m2://inv/DR0DSRF7TW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55729753, Murata's constant (object). Also MathWorld MuratasConstant, OEIS A065485
History
- 2026-10-26: add by m2/dev
Kolmogorov space DR1JW8MVXT
| URI | m2://inv/DR1JW8MVXT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | T0 space 07SG12TQH3 |
Mentions
- wikidata: Wikidata Q1148924, Kolmogorov space (definition). Also ProofWiki Definition:Kolmogorov_Space
History
- 2026-10-26: add by m2/dev
h-cobordism DR2XDN6CMX
| URI | m2://inv/DR2XDN6CMX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 57-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1946642, H-cobordism theorem (statement). Also Wikidata Q1946642
- mathlib_1000: mathlib_1000 Q1946642X, S–cobordism theorem (statement). Also Wikidata Q1946642
- thousand_plus: thousand_plus Q1946642, H-cobordism theorem (statement). Also Wikidata Q1946642, Wikipedia H-cobordism theorem
- thousand_plus: thousand_plus Q1946642X, S–cobordism theorem (statement). Also Wikidata Q1946642
- wikidata: Wikidata Q1946642, h-cobordism (concept). Also MathWorld h-Cobordism, nLab h-cobordism
History
- 2026-10-26: add by m2/dev
multivariable calculus DR5C1RK277
| URI | m2://inv/DR5C1RK277 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2035437, multivariable calculus (topic). Also MathWorld MultivariableCalculus
History
- 2026-10-26: add by m2/dev
metaplectic structure DR71X0ENKC
| URI | m2://inv/DR71X0ENKC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6823154, metaplectic structure (unknown). Also nLab metaplectic structure
History
- 2026-10-26: add by m2/dev
nonabelian cohomology DR88A0HAVY
| URI | m2://inv/DR88A0HAVY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16937600, nonabelian cohomology (unknown). Also nLab nonabelian cohomology
History
- 2026-10-26: add by m2/dev
scalar DR8AF0FV4N
| URI | m2://inv/DR8AF0FV4N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1289248, scalar (unknown). Also EoM Scalar, MathWorld Scalar
History
- 2026-10-26: add by m2/dev
truncated triangular trapezohedron DR8GN20BKF
| URI | m2://inv/DR8GN20BKF |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1495163, truncated triangular trapezohedron (object). Also MathWorld DuerersSolid
History
- 2026-10-26: add by m2/dev
productive set DRBZA0G1E7
| URI | m2://inv/DRBZA0G1E7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q118347482, productive set (unknown). Also EoM Productive_set, MathWorld ProductiveSet
History
- 2026-10-26: add by m2/dev
compactly generated space DRDZ96KCVK
| URI | m2://inv/DRDZ96KCVK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1738274, compactly generated space (unknown). Also nLab compactly generated topological space
History
- 2026-10-26: add by m2/dev
cancellation property DRE0JHTV8W
| URI | m2://inv/DRE0JHTV8W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2298524, cancellation property (unknown). Also EoM Cancellation_law
History
- 2026-10-26: add by m2/dev
bifolium DRE91G3K7G
| URI | m2://inv/DRE91G3K7G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2780405, bifolium (unknown). Also MathWorld Bifolium
History
- 2026-10-26: add by m2/dev
cylindrical algebraic decomposition DRKJ223DMK
| URI | m2://inv/DRKJ223DMK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5199280, cylindrical algebraic decomposition (concept). Also MathWorld CylindricalAlgebraicDecomposition
History
- 2026-10-26: add by m2/dev
Gribov ambiguity DRKPQC7ES7
| URI | m2://inv/DRKPQC7ES7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5608550, Gribov ambiguity (unknown). Also nLab Gribov ambiguity
History
- 2026-10-26: add by m2/dev
Graph structure theorem DRPETTZF6A
| URI | m2://inv/DRPETTZF6A |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5597098, Graph structure theorem (statement). Also Wikidata Q5597098
- thousand_plus: thousand_plus Q5597098, Graph structure theorem (statement). Also Wikidata Q5597098, Wikipedia Graph structure theorem
History
- 2026-10-26: add by m2/dev
primitive Pythagorean triple DRWHV4CNW3
| URI | m2://inv/DRWHV4CNW3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131470698, primitive Pythagorean triple (unknown). Also MathWorld PrimitivePythagoreanTriple
History
- 2026-10-26: add by m2/dev
Szpilrajn extension theorem DRZQG34P78
| URI | m2://inv/DRZQG34P78 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q869647, Szpilrajn extension theorem (statement). Also Mathlib extend_partialOrder, Wikidata Q869647
- thousand_plus: thousand_plus Q869647, Szpilrajn extension theorem (statement). Also Mathlib extend_partialOrder, Wikidata Q869647, Wikipedia Szpilrajn extension theorem
History
- 2026-10-26: add by m2/dev