Inventory rows 9V
The cards of the rows of the inventory whose ids start with 9V. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
player strategy 9V1HJN8276
| URI | m2://inv/9V1HJN8276 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1546627, player strategy (unknown). Also MathWorld Strategy
History
- 2026-10-26: add by m2/dev
Wightman axioms 9V4Y4AR1FB
| URI | m2://inv/9V4Y4AR1FB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2874804, Wightman axioms (unknown). Also nLab Wightman axioms
History
- 2026-10-26: add by m2/dev
bisimulation 9V98THRA0R
| URI | m2://inv/9V98THRA0R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q866364, bisimulation (unknown). Also nLab bisimulation
History
- 2026-10-26: add by m2/dev
principal part 9VAR272T2T
| URI | m2://inv/9VAR272T2T |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Principal part 0TZ2DPT0JV |
Mentions
- wikidata: Wikidata Q7245087, principal part (concept). Also MathWorld PrincipalPart
History
- 2026-10-26: add by m2/dev
factor theorem 9VBFS7SEGJ
| URI | m2://inv/9VBFS7SEGJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Factor theorem 0K3MWA7DMC |
Mentions
- wikidata: Wikidata Q1108687, factor theorem (statement). Also MathWorld PolynomialFactorTheorem, ProofWiki Polynomial_Factor_Theorem
History
- 2026-10-26: add by m2/dev
deck transformation group 9VBVG6JEMZ
| URI | m2://inv/9VBVG6JEMZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78507138, deck transformation group (unknown). Also EoM Group_of_covering_transformations
History
- 2026-10-26: add by m2/dev
Huzihiro Araki 9VCN9GBCTD
| URI | m2://inv/9VCN9GBCTD |
|---|---|
| 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 Q1639493, Huzihiro Araki (unknown). Also nLab Huzihiro Araki
History
- 2026-10-26: add by m2/dev
Kapteyn series 9VECWVAPWM
| URI | m2://inv/9VECWVAPWM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q105555735, Kapteyn series (concept). Also MathWorld KapteynSeries
History
- 2026-10-26: add by m2/dev
probable prime 9VFKM39D79
| URI | m2://inv/9VFKM39D79 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2654835, probable prime (unknown). Also MathWorld ProbablePrime
History
- 2026-10-26: add by m2/dev
Tom Bridgeland 9VG0VP158E
| URI | m2://inv/9VG0VP158E |
|---|---|
| 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 Q176482, Tom Bridgeland (unknown). Also nLab Tom Bridgeland
History
- 2026-10-26: add by m2/dev
holomorphic vector bundle 9VHPBGXF42
| URI | m2://inv/9VHPBGXF42 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9289328, holomorphic vector bundle (unknown). Also EoM Vector_bundle,_analytic, MathWorld HolomorphicVectorBundle, nLab holomorphic vector bundle
History
- 2026-10-26: add by m2/dev
triple product 9VNH41ZN8A
| URI | m2://inv/9VNH41ZN8A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Low dimensions > triple product, triple product (unknown). Also Mathlib triple_product_eq_det
History
- 2026-10-26: add by m2/dev
Sum of an arithmetic series 9VQZ81NEYY
| URI | m2://inv/9VQZ81NEYY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 68, Sum of an arithmetic series (statement). Also Mathlib Finset.sum_range_id
History
- 2026-10-26: add by m2/dev