Inventory rows YD
The cards of the rows of the inventory whose ids start with YD. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Rees matrix semigroup YD2CH5Y4QE
| URI | m2://inv/YD2CH5Y4QE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17099723, Rees matrix semigroup (concept). Also nLab Rees matrix semigroup
History
- 2026-10-26: add by m2/dev
Wiener filter YD3Z5TP34N
| URI | m2://inv/YD3Z5TP34N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25523, Wiener filter (unknown). Also MathWorld WienerFilter
History
- 2026-10-26: add by m2/dev
continuum mechanics YD4WAFRKDH
| URI | m2://inv/YD4WAFRKDH |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 74-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q193463, continuum mechanics (topic). Also nLab continuum mechanics, ProofWiki Definition:Continuum_Mechanics
History
- 2026-10-26: add by m2/dev
femto YD6Y50Z73P
| URI | m2://inv/YD6Y50Z73P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110791, femto (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/femto-
History
- 2026-10-26: add by m2/dev
Cohen–Macaulay ring YD7M8J0RKK
| URI | m2://inv/YD7M8J0RKK |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2893695, Unmixedness theorem (statement). Also Wikidata Q2893695
- thousand_plus: thousand_plus Q2893695, Unmixedness theorem (statement). Also Wikidata Q2893695, Wikipedia Unmixedness theorem
- wikidata: Wikidata Q2893695, Cohen–Macaulay ring (concept). Also EoM Cohen-Macaulay_ring, MathWorld Cohen-MacaulayRing
History
- 2026-10-26: add by m2/dev
solving systems of differential equations of order $> 1$ YD84832DSB
| URI | m2://inv/YD84832DSB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential equations > solving systems of differential equations of order $> 1$, solving systems of differential equations of order $> 1$ (unknown)
History
- 2026-10-26: add by m2/dev
circulant matrix YD9HM39ZNB
| URI | m2://inv/YD9HM39ZNB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Circulant matrix 07HFRH2AWY |
Mentions
- wikidata: Wikidata Q245457, circulant matrix (unknown). Also MathWorld CirculantMatrix
History
- 2026-10-26: add by m2/dev
(smooth) vector bundle YDG12C9QD1
| URI | m2://inv/YDG12C9QD1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Smooth vector and fiber bundles > (smooth) vector bundle, (smooth) vector bundle (unknown). Also Mathlib ContMDiffVectorBundle
History
- 2026-10-26: add by m2/dev
model of ZFC YDJRNE130V
| URI | m2://inv/YDJRNE130V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Set theory > model of ZFC, model of ZFC (unknown). Also Mathlib ZFSet
History
- 2026-10-26: add by m2/dev
Thompson transitivity theorem YDKRK5N3SA
| URI | m2://inv/YDKRK5N3SA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7795825, Thompson transitivity theorem (statement). Also Wikidata Q7795825
- thousand_plus: thousand_plus Q7795825, Thompson transitivity theorem (statement). Also Wikidata Q7795825, Wikipedia Thompson transitivity theorem
History
- 2026-10-26: add by m2/dev
symmetric bilinear form YDW448JN0F
| URI | m2://inv/YDW448JN0F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Symmetric bilinear form 0AXZNE5XNH |
Mentions
- wikidata: Wikidata Q2100018, symmetric bilinear form (unknown). Also MathWorld SymmetricBilinearForm
History
- 2026-10-26: add by m2/dev
angle of incidence YDYV7ZJ0AR
| URI | m2://inv/YDYV7ZJ0AR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1196575, angle of incidence (unknown). Also MathWorld AngleofIncidence
History
- 2026-10-26: add by m2/dev