Inventory rows S1
The cards of the rows of the inventory whose ids start with S1. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
truncated octahedron S1251K10J7
| URI | m2://inv/S1251K10J7 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q864998, truncated octahedron (object). Also MathWorld TruncatedOctahedron
History
- 2026-10-26: add by m2/dev
collocation method S16XG636VS
| URI | m2://inv/S16XG636VS |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 65M70 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1779479, collocation method (topic). Also MathWorld CollocationMethod
History
- 2026-10-26: add by m2/dev
sixth power S1APS3CXXW
| URI | m2://inv/S1APS3CXXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q37947496, sixth power (definition). Also ProofWiki Definition:Sixth_Power
History
- 2026-10-26: add by m2/dev
Falk Hassler S1C0MRCJBK
| URI | m2://inv/S1C0MRCJBK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q64038679, Falk Hassler (unknown). Also nLab Falk Hassler
History
- 2026-10-26: add by m2/dev
sphere S1FJ9PBVE7
| URI | m2://inv/S1FJ9PBVE7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > sphere, sphere (unknown). Also Mathlib EuclideanSpace.instIsManifoldSphere
History
- 2026-10-26: add by m2/dev
simplicial group S1GC2JXHQE
| URI | m2://inv/S1GC2JXHQE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16976808, simplicial group (unknown). Also nLab simplicial group
History
- 2026-10-26: add by m2/dev
Bernstein polynomial S1JJSDS9GR
| URI | m2://inv/S1JJSDS9GR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Bernstein polynomial 0JT92VK307 |
Mentions
- wikidata: Wikidata Q826841, Bernstein polynomial (concept). Also MathWorld BernsteinPolynomial
History
- 2026-10-26: add by m2/dev
Shift theorem S1NA4MHGPV
| URI | m2://inv/S1NA4MHGPV |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 16-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7496252, Shift theorem (statement). Also Wikidata Q7496252
- thousand_plus: thousand_plus Q7496252, Shift theorem (statement). Also Wikidata Q7496252, Wikipedia Shift theorem
History
- 2026-10-26: add by m2/dev
affine tensor S1V057GBEW
| URI | m2://inv/S1V057GBEW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20874026, affine tensor (unknown). Also EoM Affine_tensor, MathWorld AffineTensor
History
- 2026-10-26: add by m2/dev
Poincaré lemma S1V89R8WR6
| URI | m2://inv/S1V89R8WR6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18215105, Poincaré lemma (statement). Also nLab Poincaré lemma
History
- 2026-10-26: add by m2/dev
The Hermite-Lindemann Transcendence Theorem S1XJPA7RSF
| URI | m2://inv/S1XJPA7RSF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 56, The Hermite-Lindemann Transcendence Theorem (statement)
History
- 2026-10-26: add by m2/dev
descending chain condition S1YZFGG0AD
| URI | m2://inv/S1YZFGG0AD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78657438, descending chain condition (unknown). Also MathWorld DescendingChainCondition, nLab descending chain condition
History
- 2026-10-26: add by m2/dev