Inventory rows HF
The cards of the rows of the inventory whose ids start with HF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
open map HF25B4ZJMH
| Kind | unknown |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56653513, open map (unknown). Also MathWorld OpenMap, nLab open map
History
- 2026-10-26: add by m2/dev
Ω/ω HF27RW7GWZ
| Kind | unknown |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9890, Ω/ω (unknown). Also ProofWiki Symbols:Greek/Omega
History
- 2026-10-26: add by m2/dev
H. Blaine Lawson HF5DSW1R9W
| 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 Q1562550, H. Blaine Lawson (unknown). Also nLab H. Blaine Lawson
History
- 2026-10-26: add by m2/dev
matrix HF7QXAQQPH
| Kind | topic |
|---|---|
| Layer | textbook |
| MSC | 11C20 |
| Sources | 1 |
| Outcome | open |
| Node | Matrix 0VD9ZSWWJG |
Mentions
- wikidata: Wikidata Q44337, matrix (topic). Also EoM Matrix, Mathlib Matrix, MathWorld Matrix, ProofWiki Definition:Matrix
History
- 2026-10-26: add by m2/dev
partial function HF88V68AJT
| Kind | unknown |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1756942, partial function (unknown). Also MathWorld PartialFunction, nLab partial function
History
- 2026-10-26: add by m2/dev
positivism HF8JTB8AJD
| Kind | unknown |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131015, positivism (unknown). Also nLab positivism
History
- 2026-10-26: add by m2/dev
elongated pentagonal pyramid HF9KQAY273
| Kind | object |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q143112, elongated pentagonal pyramid (object). Also MathWorld ElongatedPentagonalPyramid
History
- 2026-10-26: add by m2/dev
autocovariance HFA5B7SP1D
| Kind | topic |
|---|---|
| Layer | textbook |
| MSC | 62M10 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q786973, autocovariance (topic)
History
- 2026-10-26: add by m2/dev
cusp HFBCYBTEC9
| Kind | unknown |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q655275, cusp (unknown). Also MathWorld Cusp
History
- 2026-10-26: add by m2/dev
Babuška–Lax–Milgram theorem HFDYP2143V
| Kind | statement |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4838119, Babuška–Lax–Milgram theorem (statement). Also EoM Babuska-Lax-Milgram_theorem
History
- 2026-10-26: add by m2/dev
Riemann surface HFMFPGERY8
| Kind | concept |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q753035, Riemann surface (concept). Also EoM Riemann_surface, MathWorld RiemannSurface, nLab Riemann surface, ProofWiki Definition:Riemann_Surface
History
- 2026-10-26: add by m2/dev
quintic equation HFTBAX0687
| Kind | definition |
|---|---|
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q768390, quintic equation (definition). Also MathWorld QuinticEquation, ProofWiki Definition:Quintic_Equation
History
- 2026-10-26: add by m2/dev