Inventory rows W8
The cards of the rows of the inventory whose ids start with W8. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
pentakis dodecahedral graph W80BK4ZVTT
| URI | m2://inv/W80BK4ZVTT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115599, pentakis dodecahedral graph (unknown). Also House of Graphs 1261, MathWorld PentakisDodecahedralGraph
History
- 2026-10-26: add by m2/dev
list W80Q2JJCC9
| URI | m2://inv/W80Q2JJCC9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Data structures > List-like structures > list, list (unknown). Also Mathlib List
History
- 2026-10-26: add by m2/dev
regular polygon W80T5PZHKE
| URI | m2://inv/W80T5PZHKE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Regular polygon 01KJJ9A400 |
Mentions
- wikidata: Wikidata Q714886, regular polygon (definition). Also MathWorld RegularPolygon, ProofWiki Definition:Polygon/Regular
History
- 2026-10-26: add by m2/dev
geometric algebra W823DY4WQD
| URI | m2://inv/W823DY4WQD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1186649, geometric algebra (unknown). Also nLab geometric algebra
History
- 2026-10-26: add by m2/dev
Pythagorean mean W865Z6034Y
| URI | m2://inv/W865Z6034Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3281360, Pythagorean mean (unknown). Also MathWorld PythagoreanMeans
History
- 2026-10-26: add by m2/dev
direct and opposite similarities of the plane W885TK48CT
| URI | m2://inv/W885TK48CT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > Euclidean affine spaces > direct and opposite similarities of the plane, direct and opposite similarities of the plane (unknown)
History
- 2026-10-26: add by m2/dev
Laplace expansion W893GWV2CW
| URI | m2://inv/W893GWV2CW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2044612, Laplace expansion (statement). Also MathWorld DeterminantExpansionbyMinors
History
- 2026-10-26: add by m2/dev
Anthemius of Tralles W89NFXPQGR
| URI | m2://inv/W89NFXPQGR |
|---|---|
| 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 Q298226, Anthemius of Tralles (unknown). Also ProofWiki Mathematician:Anthemius_of_Tralles
History
- 2026-10-26: add by m2/dev
regular ring W8CK4DX62T
| URI | m2://inv/W8CK4DX62T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q956273, regular ring (unknown). Also MathWorld RegularRing
History
- 2026-10-26: add by m2/dev
linear map W8CTE4H7PP
| URI | m2://inv/W8CTE4H7PP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Linear map 0NRYHJPQG2 |
Mentions
- wikidata: Wikidata Q207643, linear map (unknown). Also EoM Linear_function, MathWorld LinearTransformation
History
- 2026-10-26: add by m2/dev
Lucas–Lehmer primality test W8EFHRPC6M
| URI | m2://inv/W8EFHRPC6M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Lucas–Lehmer test 061BTYA0RN |
Mentions
- mathlib_overview: mathlib_overview General algebra > Divisibility in integral domains > Lucas-Lehmer primality test, Lucas-Lehmer primality test (unknown). Also Mathlib lucas_lehmer_sufficiency
- wikidata: Wikidata Q1138992, Lucas–Lehmer primality test (unknown). Also Mathlib lucas_lehmer_sufficiency, MathWorld Lucas-LehmerTest
History
- 2026-10-26: add by m2/dev
ADHM construction W8XM3SJ7XA
| URI | m2://inv/W8XM3SJ7XA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4651121, ADHM construction (unknown). Also nLab ADHM construction
History
- 2026-10-26: add by m2/dev
double sum W8YAKNK4VT
| URI | m2://inv/W8YAKNK4VT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3511273, double sum (unknown). Also MathWorld DoubleSeries
History
- 2026-10-26: add by m2/dev
semiconductor W8YHJKP1WJ
| URI | m2://inv/W8YHJKP1WJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 82D37 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11456, semiconductor (topic)
History
- 2026-10-26: add by m2/dev