Inventory rows GH
The cards of the rows of the inventory whose ids start with GH. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Shimura variety GH06116GQT
| URI | m2://inv/GH06116GQT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7497063, Shimura variety (concept). Also LMFDB knowl ag.shimura_variety, nLab Shimura variety
History
- 2026-10-26: add by m2/dev
residue field GH1PM8A9SN
| URI | m2://inv/GH1PM8A9SN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7315530, residue field (unknown). Also Mathlib IsLocalRing.ResidueField, MathWorld ResidueField, nLab residue field
History
- 2026-10-26: add by m2/dev
Sasakian manifold GH30BKTW54
| URI | m2://inv/GH30BKTW54 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7424986, Sasakian manifold (concept). Also nLab Sasakian manifold
History
- 2026-10-26: add by m2/dev
independent variable GHAXQ2Z7CE
| URI | m2://inv/GHAXQ2Z7CE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2487752, independent variable (definition). Also ProofWiki Definition:Independent_Variable
History
- 2026-10-26: add by m2/dev
scatter plot GHC8DB7FJ7
| URI | m2://inv/GHC8DB7FJ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1045782, scatter plot (unknown). Also MathWorld ScatterDiagram
History
- 2026-10-26: add by m2/dev
Peter Heinig GHD4E4AF8X
| URI | m2://inv/GHD4E4AF8X |
|---|---|
| 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 Q1772676, Peter Heinig (unknown). Also nLab Peter Heinig
History
- 2026-10-26: add by m2/dev
cardinal number GHER5PHWQC
| URI | m2://inv/GHER5PHWQC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Cardinal number 0EBACQFAZW |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Set theory > Cardinals > cardinal, cardinal (unknown). Also Mathlib Cardinal
- wikidata: Wikidata Q163875, cardinal number (definition). Also Mathlib Cardinal, MathWorld CardinalNumber, nLab cardinal number, ProofWiki Definition:Cardinal, ProofWiki Definition:Cardinal_Number
History
- 2026-10-26: add by m2/dev
great rhombicosidodecahedral graph GHF550KBRY
| URI | m2://inv/GHF550KBRY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115578, great rhombicosidodecahedral graph (unknown). Also House of Graphs 1122, MathWorld GreatRhombicosidodecahedralGraph
History
- 2026-10-26: add by m2/dev
impossible object GHHHQBZBT1
| URI | m2://inv/GHHHQBZBT1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q601362, impossible object (unknown). Also MathWorld ImpossibleFigure
History
- 2026-10-26: add by m2/dev
Gaussian integral GHHRSFD0WY
| URI | m2://inv/GHHRSFD0WY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Gaussian integral 0DFT1GP1JP |
Mentions
- wikidata: Wikidata Q1060321, Gaussian integral (statement). Also MathWorld GaussianIntegral, nLab Gaussian integral
History
- 2026-10-26: add by m2/dev
power rule GHJ65MK13Q
| URI | m2://inv/GHJ65MK13Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Power rule 0JZGW75C5Z |
Mentions
- wikidata: Wikidata Q1190543, power rule (statement). Also MathWorld PowerRule, ProofWiki Power_Rule_for_Derivatives
History
- 2026-10-26: add by m2/dev
Jakob Stix GHNF0BZ5KY
| URI | m2://inv/GHNF0BZ5KY |
|---|---|
| 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 Q54554871, Jakob Stix (unknown). Also nLab Jakob Stix
History
- 2026-10-26: add by m2/dev
maximal spectrum of a ring GHP2BJG375
| URI | m2://inv/GHP2BJG375 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91442652, maximal spectrum of a ring (definition). Also nLab maximal spectrum, ProofWiki Definition:Maximal_Spectrum_of_Ring
History
- 2026-10-26: add by m2/dev
Schauder fixed point theorem GHRYMK3F54
| URI | m2://inv/GHRYMK3F54 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q656176, Schauder fixed-point theorem (statement). Also Wikidata Q656176
- thousand_plus: thousand_plus Q656176, Schauder fixed-point theorem (statement). Also Wikidata Q656176, Wikipedia Schauder fixed-point theorem
- wikidata: Wikidata Q656176, Schauder fixed point theorem (unknown). Also EoM Schauder_theorem
History
- 2026-10-26: add by m2/dev
logical NOR GHV3HSQMJG
| URI | m2://inv/GHV3HSQMJG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q574946, logical NOR (unknown). Also MathWorld NOR
History
- 2026-10-26: add by m2/dev
Peter Aczel GHV6WH4BTZ
| URI | m2://inv/GHV6WH4BTZ |
|---|---|
| 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 Q2073584, Peter Aczel (unknown). Also nLab Peter Aczel
History
- 2026-10-26: add by m2/dev
stability by multiplication by a slowly growing smooth function GHVXR4VQYT
| URI | m2://inv/GHVXR4VQYT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Spaces $\mathcal{S}(\R^d)$ > stability by multiplication by a slowly growing smooth function, stability by multiplication by a slowly growing smooth function (unknown). Also Mathlib SchwartzMap.bilinLeftCLM
History
- 2026-10-26: add by m2/dev
isotomic conjugate GHW6SQ50PE
| URI | m2://inv/GHW6SQ50PE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1511235, isotomic conjugate (unknown). Also MathWorld IsotomicConjugate
History
- 2026-10-26: add by m2/dev
Dieter Lüst GHY1HMVF91
| URI | m2://inv/GHY1HMVF91 |
|---|---|
| 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 Q91412, Dieter Lüst (unknown). Also nLab Dieter Lüst
History
- 2026-10-26: add by m2/dev
quantum fluctuation GHYCJYZQWK
| URI | m2://inv/GHYCJYZQWK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1193821, quantum fluctuation (unknown). Also nLab quantum fluctuation
History
- 2026-10-26: add by m2/dev
Bloch's theorem GHZ3SXVF3G
| URI | m2://inv/GHZ3SXVF3G |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q266291, Bloch's theorem (complex variables) (statement). Also Wikidata Q266291
- thousand_plus: thousand_plus Q266291, Bloch's theorem (statement). Also Wikidata Q266291, Wikipedia Bloch's theorem (complex variables)
- wikidata: Wikidata Q266291, Bloch's theorem (statement). Also MathWorld BlochConstant
History
- 2026-10-26: add by m2/dev