Inventory rows V8
The cards of the rows of the inventory whose ids start with V8. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Birch's theorem V86P7CGT26
| URI | m2://inv/V86P7CGT26 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527019, Birch's theorem (statement). Also Wikidata Q3527019
- thousand_plus: thousand_plus Q3527019, Birch's theorem (statement). Also Wikidata Q3527019, Wikipedia Birch's theorem
History
- 2026-10-26: add by m2/dev
characteristic variety V8A8JQBFDA
| URI | m2://inv/V8A8JQBFDA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16858979, characteristic variety (unknown). Also nLab characteristic variety
History
- 2026-10-26: add by m2/dev
Frobenius determinant theorem V8BWDPTR82
| URI | m2://inv/V8BWDPTR82 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5505098, Frobenius determinant theorem (statement). Also Wikidata Q5505098
- thousand_plus: thousand_plus Q5505098, Frobenius determinant theorem (statement). Also Wikidata Q5505098, Wikipedia Frobenius determinant theorem
History
- 2026-10-26: add by m2/dev
fundamental discriminant V8DWQM3DFQ
| URI | m2://inv/V8DWQM3DFQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5508954, fundamental discriminant (unknown). Also MathWorld FundamentalDiscriminant
History
- 2026-10-26: add by m2/dev
disjoint union of graphs V8EES042C2
| URI | m2://inv/V8EES042C2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q48995627, disjoint union of graphs (unknown). Also MathWorld GraphUnion
History
- 2026-10-26: add by m2/dev
Minkowski–Hlawka theorem V8EJ7MZF8K
| URI | m2://inv/V8EJ7MZF8K |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6867867, Minkowski–Hlawka theorem (statement). Also Wikidata Q6867867
- thousand_plus: thousand_plus Q6867867, Minkowski–Hlawka theorem (statement). Also Wikidata Q6867867, Wikipedia Minkowski–Hlawka theorem
- wikidata: Wikidata Q6867867, Minkowski–Hlawka theorem (statement). Also MathWorld Minkowski-HlawkaTheorem
History
- 2026-10-26: add by m2/dev
Tom Leinster V8GRFNR43T
| URI | m2://inv/V8GRFNR43T |
|---|---|
| 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 Q60053764, Tom Leinster (unknown). Also nLab Tom Leinster
History
- 2026-10-26: add by m2/dev
Perseus V8M0YAVP20
| URI | m2://inv/V8M0YAVP20 |
|---|---|
| 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 Q3900144, Perseus (unknown). Also ProofWiki Mathematician:Perseus
History
- 2026-10-26: add by m2/dev
dual cone V8N3F3YDSN
| URI | m2://inv/V8N3F3YDSN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Convex geometry > dual cone, dual cone (unknown). Also Mathlib PointedCone.dual
History
- 2026-10-26: add by m2/dev
hectogon V8P192ME32
| URI | m2://inv/V8P192ME32 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3129199, hectogon (unknown). Also MathWorld Hectogon
History
- 2026-10-26: add by m2/dev
cyclic graph V8WDG82Q1N
| URI | m2://inv/V8WDG82Q1N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130323481, cyclic graph (unknown). Also MathWorld CyclicGraph
History
- 2026-10-26: add by m2/dev
binomial V8YPTGY3M0
| URI | m2://inv/V8YPTGY3M0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q193623, binomial (unknown). Also EoM Binomial, MathWorld Binomial
History
- 2026-10-26: add by m2/dev