Inventory rows HZ
The cards of the rows of the inventory whose ids start with HZ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
sphere packing HZ0BE4KNPA
| URI | m2://inv/HZ0BE4KNPA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q900117, sphere packing (unknown). Also MathWorld SpherePacking, nLab sphere packing
History
- 2026-10-26: add by m2/dev
Hadamard transform HZ6EVNDTWB
| URI | m2://inv/HZ6EVNDTWB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1014065, Hadamard transform (unknown). Also MathWorld HadamardTransform
History
- 2026-10-26: add by m2/dev
complex manifold HZ6KCXS6FK
| URI | m2://inv/HZ6KCXS6FK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q578874, complex manifold (unknown). Also EoM Complex_manifold, MathWorld ComplexManifold, nLab complex manifold
History
- 2026-10-26: add by m2/dev
elongated square bipyramid HZ7Q6XPQVN
| URI | m2://inv/HZ7Q6XPQVN |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q193591, elongated square bipyramid (object). Also MathWorld ElongatedSquareDipyramid
History
- 2026-10-26: add by m2/dev
Desargues’s Theorem HZ995Y074C
| URI | m2://inv/HZ995Y074C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 87, Desargues’s Theorem (statement)
History
- 2026-10-26: add by m2/dev
nim sum HZ99XTNBV1
| URI | m2://inv/HZ99XTNBV1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109368729, nim sum (unknown). Also MathWorld Nim-Sum
History
- 2026-10-26: add by m2/dev
increasing function HZCKAWM6XS
| URI | m2://inv/HZCKAWM6XS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3075182, increasing function (unknown). Also MathWorld NondecreasingFunction
History
- 2026-10-26: add by m2/dev
Theorem of the gnomon HZCRBTXY5V
| URI | m2://inv/HZCRBTXY5V |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q61163749, Theorem of the gnomon (statement). Also Wikidata Q61163749
- thousand_plus: thousand_plus Q61163749, Theorem of the gnomon (statement). Also Wikidata Q61163749, Wikipedia Theorem of the gnomon
History
- 2026-10-26: add by m2/dev
Cohn's irreducibility criterion HZJ5A1DXXD
| URI | m2://inv/HZJ5A1DXXD |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 12-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2269888, Cohn's irreducibility criterion (statement). Also Wikidata Q2269888
- thousand_plus: thousand_plus Q2269888, Cohn's irreducibility criterion (statement). Also Wikidata Q2269888, Wikipedia Cohn's irreducibility criterion
History
- 2026-10-26: add by m2/dev
Beck's monadicity theorem HZM3C3ATDF
| URI | m2://inv/HZM3C3ATDF |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 18-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4878586, Beck's monadicity theorem (statement). Also Mathlib CategoryTheory.Monad.monadicOfCreatesGSplitCoequalizers, Wikidata Q4878586
- thousand_plus: thousand_plus Q4878586, Beck's monadicity theorem (statement). Also Mathlib CategoryTheory.Monad.monadicOfCreatesGSplitCoequalizers, Wikidata Q4878586, Wikipedia Beck's monadicity theorem
- wikidata: Wikidata Q4878586, Beck's monadicity theorem (statement). Also nLab monadicity theorem
History
- 2026-10-26: add by m2/dev
symplectic vector field HZM8EJA4SM
| URI | m2://inv/HZM8EJA4SM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7661853, symplectic vector field (unknown). Also nLab symplectic vector field
History
- 2026-10-26: add by m2/dev
maximal subgroup HZP6RYE1Y2
| URI | m2://inv/HZP6RYE1Y2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16908484, maximal subgroup (unknown). Also nLab maximal subgroup
History
- 2026-10-26: add by m2/dev
generalized quadrangle HZPA5MYWAW
| URI | m2://inv/HZPA5MYWAW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2754558, generalized quadrangle (unknown). Also MathWorld GeneralizedQuadrangle
History
- 2026-10-26: add by m2/dev
quantum dot HZQKJSQM1S
| URI | m2://inv/HZQKJSQM1S |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 81V65 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1133068, quantum dot (topic)
History
- 2026-10-26: add by m2/dev
submatrix HZQQ2WPXDM
| URI | m2://inv/HZQQ2WPXDM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2676163, submatrix (unknown). Also MathWorld Submatrix
History
- 2026-10-26: add by m2/dev
Cairo pentagonal tiling HZS61ESJ2C
| URI | m2://inv/HZS61ESJ2C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3063105, Cairo pentagonal tiling (unknown). Also MathWorld CairoTessellation
History
- 2026-10-26: add by m2/dev
infinite HZSFGA2K2P
| URI | m2://inv/HZSFGA2K2P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Pigeonhole principles > infinite, infinite (unknown). Also Mathlib Finite.exists_infinite_fiber
History
- 2026-10-26: add by m2/dev
Birkhoff's theorem HZSJVZS87T
| URI | m2://inv/HZSJVZS87T |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 83-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q865665, Birkhoff's theorem (relativity) (statement). Also Wikidata Q865665
- thousand_plus: thousand_plus Q865665, Birkhoff's theorem (statement). Also Wikidata Q865665, Wikipedia Birkhoff's theorem (relativity)
- wikidata: Wikidata Q865665, Birkhoff's theorem (statement). Also nLab Birkhoff's theorem
History
- 2026-10-26: add by m2/dev
complete graph K8 HZTKERZMAV
| URI | m2://inv/HZTKERZMAV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131179458, complete graph K8 (unknown). Also House of Graphs 180
History
- 2026-10-26: add by m2/dev
Ugly duckling theorem HZVHQT5EES
| URI | m2://inv/HZVHQT5EES |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2473965, Ugly duckling theorem (statement). Also Wikidata Q2473965
- thousand_plus: thousand_plus Q2473965, Ugly duckling theorem (statement). Also Wikidata Q2473965, Wikipedia Ugly duckling theorem
History
- 2026-10-26: add by m2/dev