Inventory rows HG
The cards of the rows of the inventory whose ids start with HG. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Leibniz formula HG2XYKTDEY
| URI | m2://inv/HG2XYKTDEY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Differentiability > Leibniz formula, Leibniz formula (unknown). Also Mathlib deriv_mul
History
- 2026-10-26: add by m2/dev
The Mathematical Classic of Sun Zi HG7VK3E66C
| URI | m2://inv/HG7VK3E66C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13891793, The Mathematical Classic of Sun Zi (unknown). Also ProofWiki Book:Sun_Tzu/Sun_Tzu_Suan_Ching
History
- 2026-10-26: add by m2/dev
vector meson dominance HG97X4EABS
| URI | m2://inv/HG97X4EABS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4299340, vector meson dominance (unknown). Also nLab vector meson dominance
History
- 2026-10-26: add by m2/dev
nilpotent Lie algebra HGBJFK8VBK
| URI | m2://inv/HGBJFK8VBK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15148889, nilpotent Lie algebra (unknown). Also MathWorld NilpotentLieAlgebra, nLab nilpotent Lie algebra
History
- 2026-10-26: add by m2/dev
closed set HGDRSJB7DZ
| URI | m2://inv/HGDRSJB7DZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Closed set 0ZCK8DQYN1 |
Mentions
- wikidata: Wikidata Q320357, closed set (definition). Also EoM Closed_set, MathWorld ClosedSet, ProofWiki Definition:Closed_Set
History
- 2026-10-26: add by m2/dev
graph of pseudorhombicuboctahedron HGHKQ3BSKF
| URI | m2://inv/HGHKQ3BSKF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16640053, graph of pseudorhombicuboctahedron (unknown). Also House of Graphs 52608
History
- 2026-10-26: add by m2/dev
Gershgorin-Hadamard theorem HGJ0GVDWP9
| URI | m2://inv/HGJ0GVDWP9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Solving systems of linear inequalities > Gershgorin-Hadamard theorem, Gershgorin-Hadamard theorem (unknown)
History
- 2026-10-26: add by m2/dev
order statistic HGJT429W6A
| URI | m2://inv/HGJT429W6A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1767128, order statistic (unknown). Also MathWorld OrderStatistic
History
- 2026-10-26: add by m2/dev
Noah P. Snyder HGM7C76NQE
| URI | m2://inv/HGM7C76NQE |
|---|---|
| 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 Q58098878, Noah P. Snyder (unknown). Also nLab Noah Snyder
History
- 2026-10-26: add by m2/dev
Gino Isidori HGMFVYFEDT
| URI | m2://inv/HGMFVYFEDT |
|---|---|
| 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 Q58377029, Gino Isidori (unknown). Also nLab Gino Isidori
History
- 2026-10-26: add by m2/dev
Tits alternative HGQ449N03R
| URI | m2://inv/HGQ449N03R |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3613173, Tits alternative (statement). Also Wikidata Q3613173
- thousand_plus: thousand_plus Q3613173, Tits alternative (statement). Also Wikidata Q3613173, Wikipedia Tits alternative
History
- 2026-10-26: add by m2/dev
Mark Naimark HGQP5G76C2
| URI | m2://inv/HGQP5G76C2 |
|---|---|
| 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 Q195922, Mark Naimark (unknown). Also nLab Mark Naimark
History
- 2026-10-26: add by m2/dev