Inventory rows Q8
The cards of the rows of the inventory whose ids start with Q8. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
The Law of Cosines Q859EAK4SJ
| URI | m2://inv/Q859EAK4SJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 94, The Law of Cosines (statement). Also Mathlib EuclideanGeometry.dist_sq_eq_dist_sq_add_dist_sq_sub_two_mul_dist_mul_dist_mul_cos_angle
History
- 2026-10-26: add by m2/dev
Randić's molecular connectivity index Q8DAK516Q2
| URI | m2://inv/Q8DAK516Q2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4200698, Randić's molecular connectivity index (unknown). Also MathWorld RandicIndex
History
- 2026-10-26: add by m2/dev
Zamfirescu graph 36 Q8DHTY9XW3
| URI | m2://inv/Q8DHTY9XW3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2816329, Zamfirescu graph 36 (unknown). Also House of Graphs 1435
History
- 2026-10-26: add by m2/dev
position four-vector Q8DRM6S62B
| URI | m2://inv/Q8DRM6S62B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11877149, position four-vector (unknown). Also MathWorld PositionFour-Vector
History
- 2026-10-26: add by m2/dev
constant-recursive sequence Q8E0RFB5Q3
| URI | m2://inv/Q8E0RFB5Q3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q23835453, constant-recursive sequence (unknown). Also EoM Recursive_sequence
History
- 2026-10-26: add by m2/dev
chain complex Q8FCXMEZCX
| URI | m2://inv/Q8FCXMEZCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1143328, chain complex (definition). Also MathWorld ChainComplex, nLab chain complex, ProofWiki Definition:Chain_Complex
History
- 2026-10-26: add by m2/dev
Ψ Q8HHZ1H1CS
| URI | m2://inv/Q8HHZ1H1CS |
|---|---|
| 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 Q14432, Ψ (unknown). Also ProofWiki Symbols:Greek/Psi
History
- 2026-10-26: add by m2/dev
covariance and contravariance of vectors Q8J89J3M8E
| URI | m2://inv/Q8J89J3M8E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3555165, covariance and contravariance of vectors (unknown). Also EoM Covariant_tensor
History
- 2026-10-26: add by m2/dev
Taniguchi's constant Q8N8PVKKP7
| URI | m2://inv/Q8N8PVKKP7 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55735325, Taniguchi's constant (object). Also MathWorld TaniguchisConstant, OEIS A175639
History
- 2026-10-26: add by m2/dev
isometry Q8VDQWZH0A
| URI | m2://inv/Q8VDQWZH0A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Isometry 02HPP5VCZH |
Mentions
- wikidata: Wikidata Q740207, isometry (unknown). Also MathWorld Isometry, nLab isometry
History
- 2026-10-26: add by m2/dev
uniform integrability Q8YR2DH2C6
| URI | m2://inv/Q8YR2DH2C6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1530275, Dunford–Pettis theorem (statement). Also Wikidata Q1530275
- thousand_plus: thousand_plus Q1530275, Dunford–Pettis theorem (statement). Also Wikidata Q1530275, Wikipedia Dunford–Pettis theorem
- wikidata: Wikidata Q1530275, uniform integrability (concept). Also EoM De_la_Vallée-Poussin_theorem
History
- 2026-10-26: add by m2/dev
Vladimir Turaev Q8ZNZ2AMN1
| URI | m2://inv/Q8ZNZ2AMN1 |
|---|---|
| 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 Q2587230, Vladimir Turaev (unknown). Also nLab Vladimir Turaev
History
- 2026-10-26: add by m2/dev
Ellingham–Horton 54-graph Q8ZZFYSX8F
| URI | m2://inv/Q8ZZFYSX8F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q50810289, Ellingham–Horton 54-graph (unknown). Also House of Graphs 1059
History
- 2026-10-26: add by m2/dev