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
| 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
| 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
| 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
Branch 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
| 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
| 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
| 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
Charles Hermite 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
| 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
| 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
| 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
| 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