Inventory rows GX
The cards of the rows of the inventory whose ids start with GX. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Hamilton's equations GX0GT54XKC
| URI | m2://inv/GX0GT54XKC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1115699, Hamilton's equations (unknown). Also MathWorld HamiltonsEquations, nLab Hamilton's equations
History
- 2026-10-26: add by m2/dev
Springer correspondence GX0MZEGNQW
| URI | m2://inv/GX0MZEGNQW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7580874, Springer correspondence (unknown). Also nLab Springer correspondence
History
- 2026-10-26: add by m2/dev
endpoint GX1FQZP7JA
| URI | m2://inv/GX1FQZP7JA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q132444435, endpoint (unknown). Also MathWorld Endpoint
History
- 2026-10-26: add by m2/dev
Weingarten equations GX3RQ1MKMF
| URI | m2://inv/GX3RQ1MKMF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q867522, Weingarten equations (concept). Also MathWorld WeingartenEquations
History
- 2026-10-26: add by m2/dev
fundamental theorem of calculus GX4VRV4NA2
| URI | m2://inv/GX4VRV4NA2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 5 |
| Outcome | open |
| Node | Fundamental theorem of calculus 0NHGY0N0JB |
Mentions
- mathlib_100: mathlib_100 15, Fundamental Theorem of Integral Calculus (statement). Also Mathlib intervalIntegral.integral_hasStrictDerivAt_of_tendsto_ae_right, Mathlib intervalIntegral.integral_eq_sub_of_hasDeriv_right_of_le
- mathlib_1000: mathlib_1000 Q1217677, Fundamental theorem of calculus (statement). Also Mathlib intervalIntegral.integral_hasStrictDerivAt_of_tendsto_ae_right, Mathlib intervalIntegral.integral_eq_sub_of_hasDeriv_right_of_le, Wikidata Q1217677
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > fundamental theorem of calculus, part 2, fundamental theorem of calculus, part 2 (unknown). Also Mathlib intervalIntegral.integral_eq_sub_of_hasDeriv_right_of_le
- thousand_plus: thousand_plus Q1217677, Fundamental theorem of calculus (statement). Also Mathlib intervalIntegral.integral_hasStrictDerivAt_of_tendsto_ae_right, Mathlib intervalIntegral.integral_eq_sub_of_hasDeriv_right_of_le, Wikidata Q1217677, Wikipedia Fundamental theorem of calculus
- wikidata: Wikidata Q1217677, fundamental theorem of calculus (statement). Also EoM Newton-Leibniz_formula, MathWorld FundamentalTheoremsofCalculus, nLab fundamental theorem of calculus, ProofWiki Fundamental_Theorem_of_Calculus
History
- 2026-10-26: add by m2/dev
Bitangent GXA3AZNYWP
| URI | m2://inv/GXA3AZNYWP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4918749, Bitangent (unknown). Also MathWorld Bitangent
History
- 2026-10-26: add by m2/dev
uniform tiling GXAVPRRFFG
| URI | m2://inv/GXAVPRRFFG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7885119, uniform tiling (unknown). Also MathWorld UniformTessellation
History
- 2026-10-26: add by m2/dev
Andrea Prinsloo GXD1XP3H2V
| URI | m2://inv/GXD1XP3H2V |
|---|---|
| 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 Q57899254, Andrea Prinsloo (unknown). Also nLab Andrea Prinsloo
History
- 2026-10-26: add by m2/dev
quantum logic GXDA32RC5F
| URI | m2://inv/GXDA32RC5F |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 03G12 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1206311, quantum logic (topic). Also nLab quantum logic
History
- 2026-10-26: add by m2/dev
Napier's bones GXGG090GC0
| URI | m2://inv/GXGG090GC0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1358538, Napier's bones (definition). Also MathWorld NapiersBones, ProofWiki Definition:Napier's_Bones
History
- 2026-10-26: add by m2/dev
essentially surjective functor GXHHZ2VESN
| URI | m2://inv/GXHHZ2VESN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q140283, essentially surjective functor (unknown). Also nLab essentially surjective functor
History
- 2026-10-26: add by m2/dev
imperial system of units GXJNNTN90F
| URI | m2://inv/GXJNNTN90F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q641227, imperial system of units (definition). Also ProofWiki Definition:Imperial
History
- 2026-10-26: add by m2/dev
Omar Khayyám GXP58G7WKZ
| URI | m2://inv/GXP58G7WKZ |
|---|---|
| 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 Q35900, Omar Khayyám (unknown). Also ProofWiki Mathematician:Omar_Khayyam
History
- 2026-10-26: add by m2/dev
i^i GXSAX7C4SM
| URI | m2://inv/GXSAX7C4SM |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11224959, i^i (object). Also OEIS A049006
History
- 2026-10-26: add by m2/dev
function value GXSHF7AXG7
| URI | m2://inv/GXSHF7AXG7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q59715267, function value (unknown). Also MathWorld Value
History
- 2026-10-26: add by m2/dev