Inventory rows HY
The cards of the rows of the inventory whose ids start with HY. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
semiperimeter theorem HY0KT9NQM3
| URI | m2://inv/HY0KT9NQM3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q140082966, semiperimeter theorem (statement). Also ProofWiki Area of Triangle in Terms of Inradius
History
- 2026-10-26: add by m2/dev
Morihiko Saitō HY19DFJ27P
| URI | m2://inv/HY19DFJ27P |
|---|---|
| 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 Q11500633, Morihiko Saitō (unknown). Also nLab Morihiko Saito
History
- 2026-10-26: add by m2/dev
The Art of Computer Programming, Volume 2: Seminumerical Algorithms HY44QJ3Y54
| URI | m2://inv/HY44QJ3Y54 |
|---|---|
| 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 Q47752388, The Art of Computer Programming, Volume 2: Seminumerical Algorithms (unknown). Also ProofWiki Book:Donald_E._Knuth/The_Art_of_Computer_Programming:_Volume_2:_Seminumerical_Algorithms
History
- 2026-10-26: add by m2/dev
derivative at a point HY6FE4BH8D
| URI | m2://inv/HY6FE4BH8D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Differentiability > derivative at a point, derivative at a point (unknown). Also Mathlib HasDerivAt
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Differentiability > differentiable functions, differentiable functions (unknown). Also Mathlib HasDerivAt
History
- 2026-10-26: add by m2/dev
Branch HY6KXJBQG5
| URI | m2://inv/HY6KXJBQG5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5876926, Branch (unknown). Also nLab branching
History
- 2026-10-26: add by m2/dev
fractional chromatic number HY97VWX6BW
| URI | m2://inv/HY97VWX6BW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121143525, fractional chromatic number (unknown). Also MathWorld FractionalChromaticNumber
History
- 2026-10-26: add by m2/dev
rhombic dodecahedral graph HY9C4SP8ZC
| URI | m2://inv/HY9C4SP8ZC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2376018, rhombic dodecahedral graph (unknown). Also House of Graphs 1282, MathWorld RhombicDodecahedralGraph
History
- 2026-10-26: add by m2/dev
Jupiter HY9GF3R1DG
| URI | m2://inv/HY9GF3R1DG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q319, Jupiter (definition). Also ProofWiki Definition:Jupiter
History
- 2026-10-26: add by m2/dev
Plünnecke-Petridis inequality HYASA541DP
| URI | m2://inv/HYASA541DP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Additive combinatorics > Plünnecke-Petridis inequality, Plünnecke-Petridis inequality (unknown). Also Mathlib Finset.pluennecke_petridis_inequality_add
History
- 2026-10-26: add by m2/dev
Charles Hermite HYD7H91Q89
| URI | m2://inv/HYD7H91Q89 |
|---|---|
| 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 Q168401, Charles Hermite (unknown). Also nLab Charles Hermite, ProofWiki Mathematician:Charles_Hermite
History
- 2026-10-26: add by m2/dev
complex conjugate matrix HYES5DT5YW
| URI | m2://inv/HYES5DT5YW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10754052, complex conjugate matrix (definition). Also MathWorld ConjugateMatrix, ProofWiki Definition:Complex_Conjugate_of_Matrix
History
- 2026-10-26: add by m2/dev
stable model category HYG060DG08
| URI | m2://inv/HYG060DG08 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16928125, stable model category (unknown). Also nLab stable model category
History
- 2026-10-26: add by m2/dev
dark radiation HYNR5AH8E1
| URI | m2://inv/HYNR5AH8E1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5223546, dark radiation (unknown). Also nLab dark radiation
History
- 2026-10-26: add by m2/dev
polynomial discriminant HYSABKW96B
| URI | m2://inv/HYSABKW96B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141499398, polynomial discriminant (unknown). Also MathWorld PolynomialDiscriminant
History
- 2026-10-26: add by m2/dev