Inventory rows GS
The cards of the rows of the inventory whose ids start with GS. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Bernoulli differential equation GS5PVES0XK
| URI | m2://inv/GS5PVES0XK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Bernoulli equation 0T92VGGVWP |
Mentions
- wikidata: Wikidata Q793674, Bernoulli differential equation (concept). Also EoM Bernoulli_equation, MathWorld BernoulliDifferentialEquation
History
- 2026-10-26: add by m2/dev
10^33 GS5XJ9TS8K
| URI | m2://inv/GS5XJ9TS8K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3414649, 10^33 (unknown). Also MathWorld Decillion
History
- 2026-10-26: add by m2/dev
Lewis Elton GS71KPJRMM
| URI | m2://inv/GS71KPJRMM |
|---|---|
| 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 Q284098, Lewis Elton (unknown). Also ProofWiki Mathematician:Lewis_Richard_Benjamin_Elton
History
- 2026-10-26: add by m2/dev
derivative of the inverse of a function GSBGE0YFB2
| URI | m2://inv/GSBGE0YFB2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Differentiability > derivative of the inverse of a function, derivative of the inverse of a function (unknown). Also Mathlib HasFDerivAt.of_local_left_inverse
History
- 2026-10-26: add by m2/dev
row vector GSCE0BE43F
| URI | m2://inv/GSCE0BE43F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2916003, row vector (unknown). Also MathWorld RowVector
History
- 2026-10-26: add by m2/dev
indexed family GSCSRVQSG0
| URI | m2://inv/GSCSRVQSG0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q856215, indexed family (concept). Also nLab family
History
- 2026-10-26: add by m2/dev
Azriel Lévy GSDRNSC6YN
| URI | m2://inv/GSDRNSC6YN |
|---|---|
| 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 Q450427, Azriel Lévy (unknown). Also ProofWiki Mathematician:Azriel_Lévy
History
- 2026-10-26: add by m2/dev
Melvin Hochster GSEM1ZR3NP
| URI | m2://inv/GSEM1ZR3NP |
|---|---|
| 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 Q263909, Melvin Hochster (unknown). Also nLab Melvin Hochster
History
- 2026-10-26: add by m2/dev
antiderivatives of a holomorphic function GSFF1QENGE
| URI | m2://inv/GSFF1QENGE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > antiderivatives of a holomorphic function, antiderivatives of a holomorphic function (unknown)
History
- 2026-10-26: add by m2/dev
Meringer graph GSHWJV66MC
| URI | m2://inv/GSHWJV66MC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115514, Meringer graph (unknown). Also House of Graphs 1227, MathWorld MeringerGraph
History
- 2026-10-26: add by m2/dev
pizza theorem GSN2SYZT1D
| URI | m2://inv/GSN2SYZT1D |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1809539, Pizza theorem (statement). Also Wikidata Q1809539
- thousand_plus: thousand_plus Q1809539, Pizza theorem (statement). Also Wikidata Q1809539, Wikipedia Pizza theorem
- wikidata: Wikidata Q1809539, pizza theorem (statement). Also MathWorld PizzaTheorem
History
- 2026-10-26: add by m2/dev
normed ring GSPVYQNHEJ
| URI | m2://inv/GSPVYQNHEJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110571247, normed ring (concept). Also MathWorld NormedRing, nLab normed ring, ProofWiki Definition:Normed_Ring
History
- 2026-10-26: add by m2/dev
Japanese theorem GSQHQ4XTY1
| URI | m2://inv/GSQHQ4XTY1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1683353, Japanese theorem (unknown). Also MathWorld Japanesetheorem
History
- 2026-10-26: add by m2/dev
Martin Arthur Arkowitz GSRMDA9FJQ
| URI | m2://inv/GSRMDA9FJQ |
|---|---|
| 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 Q102192453, Martin Arthur Arkowitz (unknown). Also nLab Martin Arkowitz
History
- 2026-10-26: add by m2/dev
generalized permutation matrix GST79Q0W4X
| URI | m2://inv/GST79Q0W4X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5532500, generalized permutation matrix (unknown). Also EoM Monomial_matrix
History
- 2026-10-26: add by m2/dev
functional equation (L-function) GSV7YKECTV
| URI | m2://inv/GSV7YKECTV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3589429, functional equation (L-function) (unknown). Also LMFDB knowl lfunction.functional_equation
History
- 2026-10-26: add by m2/dev
quaternionic projective space GSXZ1VNQM4
| URI | m2://inv/GSXZ1VNQM4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2724480, quaternionic projective space (unknown). Also nLab quaternionic projective space
History
- 2026-10-26: add by m2/dev
Gödel's completeness theorem GSZ1PXZ9DT
| URI | m2://inv/GSZ1PXZ9DT |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q902052, Gödel's completeness theorem (statement). Also Wikidata Q902052
- thousand_plus: thousand_plus Q902052, Gödel's completeness theorem (statement). Also Wikidata Q902052, Wikipedia Gödel's completeness theorem
- wikidata: Wikidata Q902052, Gödel's completeness theorem (statement). Also MathWorld GoedelsCompletenessTheorem
History
- 2026-10-26: add by m2/dev