Inventory rows 9Y
The cards of the rows of the inventory whose ids start with 9Y. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
monad 9Y0H8MFHYF
| URI | m2://inv/9Y0H8MFHYF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1630568, monad (unknown). Also nLab monad
History
- 2026-10-26: add by m2/dev
linear systems case 9Y2QN3DMB3
| URI | m2://inv/9Y2QN3DMB3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Iterative methods of solving systems of real and vector-valued equations > linear systems case, linear systems case (unknown)
History
- 2026-10-26: add by m2/dev
Severi–Brauer variety 9Y65MPMEXE
| URI | m2://inv/9Y65MPMEXE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17103234, Severi–Brauer variety (unknown). Also MathWorld Brauer-SeveriVariety
History
- 2026-10-26: add by m2/dev
Michelson–Morley experiment 9Y7MREHK3K
| URI | m2://inv/9Y7MREHK3K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q154844, Michelson–Morley experiment (unknown). Also nLab Michelson-Morley experiment
History
- 2026-10-26: add by m2/dev
monoid object 9Y87KMZEN6
| URI | m2://inv/9Y87KMZEN6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2785361, monoid object (unknown). Also nLab monoid in a monoidal category
History
- 2026-10-26: add by m2/dev
multi-index notation 9YGFCT6WSK
| URI | m2://inv/9YGFCT6WSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Multi-index notation 0PJXBR6QA3 |
Mentions
- wikidata: Wikidata Q780239, multi-index notation (definition). Also MathWorld Multi-IndexNotation, ProofWiki Definition:Multiindex
History
- 2026-10-26: add by m2/dev
complex exponential 9YH28XMRA9
| URI | m2://inv/9YH28XMRA9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Complex-valued series > complex exponential, complex exponential (unknown). Also Mathlib Complex.exp
History
- 2026-10-26: add by m2/dev
kilometre 9YH67X4S7D
| URI | m2://inv/9YH67X4S7D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q828224, kilometre (definition). Also ProofWiki Definition:Metric_System/Length/Kilometre
History
- 2026-10-26: add by m2/dev
knot theory 9YP24HXQKF
| URI | m2://inv/9YP24HXQKF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q849798, knot theory (topic). Also MathWorld KnotTheory, ProofWiki Definition:Knot_Theory
History
- 2026-10-26: add by m2/dev
context-free language 9YPBPF2YHQ
| URI | m2://inv/9YPBPF2YHQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Formal languages > context-free language, context-free language (unknown). Also Mathlib Language.IsContextFree
History
- 2026-10-26: add by m2/dev
Μ/μ 9YPJGVDJBK
| URI | m2://inv/9YPJGVDJBK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9902, Μ/μ (unknown). Also ProofWiki Symbols:Greek/Mu
History
- 2026-10-26: add by m2/dev
semi-abelian category 9YPP845HMN
| URI | m2://inv/9YPP845HMN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30715304, semi-abelian category (unknown). Also nLab semi-abelian category
History
- 2026-10-26: add by m2/dev
small hexagonal hexecontahedron 9YPT994MN7
| URI | m2://inv/9YPT994MN7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7543072, small hexagonal hexecontahedron (unknown). Also MathWorld SmallHexagonalHexecontahedron
History
- 2026-10-26: add by m2/dev
Albanese variety 9YRDAK0FB6
| URI | m2://inv/9YRDAK0FB6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4709029, Albanese variety (concept). Also EoM Albanese_variety, MathWorld AlbaneseVariety, nLab Albanese variety
History
- 2026-10-26: add by m2/dev
Whitney umbrella 9YRGMDYHH8
| URI | m2://inv/9YRGMDYHH8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2640354, Whitney umbrella (concept). Also MathWorld WhitneyUmbrella
History
- 2026-10-26: add by m2/dev
non-uniform rational B-spline 9YRS736R0H
| URI | m2://inv/9YRS736R0H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q734737, non-uniform rational B-spline (unknown). Also MathWorld NURBSCurve
History
- 2026-10-26: add by m2/dev
Minkowski metric 9YZYPBBVBM
| URI | m2://inv/9YZYPBBVBM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3333766, Minkowski metric (unknown). Also MathWorld MinkowskiMetric, nLab Minkowski metric
History
- 2026-10-26: add by m2/dev