Inventory rows H6
The cards of the rows of the inventory whose ids start with H6. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Paul Langacker H603EHCT3F
| URI | m2://inv/H603EHCT3F |
|---|---|
| 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 Q63356872, Paul Langacker (unknown). Also nLab Paul Langacker
History
- 2026-10-26: add by m2/dev
tridiminished icosahedron H60R2RHXY6
| URI | m2://inv/H60R2RHXY6 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2997642, tridiminished icosahedron (object). Also MathWorld TridiminishedIcosahedron
History
- 2026-10-26: add by m2/dev
ordinary differential equation H60XHBJQEM
| URI | m2://inv/H60XHBJQEM |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 34-XX |
| Sources | 1 |
| Outcome | open |
| Node | Ordinary differential equation 0NT64JV96A |
Mentions
- wikidata: Wikidata Q465274, ordinary differential equation (topic). Also EoM Differential_equation,_ordinary, MathWorld OrdinaryDifferentialEquation, ProofWiki Definition:Differential_Equation/Ordinary
History
- 2026-10-26: add by m2/dev
profinite group H63R4AQA62
| URI | m2://inv/H63R4AQA62 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1428923, profinite group (unknown). Also EoM Profinite_group, LMFDB knowl gl2.profinite, nLab profinite group
History
- 2026-10-26: add by m2/dev
mathematical puzzle H654GZTTXZ
| URI | m2://inv/H654GZTTXZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1151643, mathematical puzzle (unknown). Also MathWorld Puzzle
History
- 2026-10-26: add by m2/dev
tangent bundle H68R0K8BHY
| URI | m2://inv/H68R0K8BHY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > tangent bundle, tangent bundle (unknown). Also Mathlib TangentBundle
- wikidata: Wikidata Q746550, tangent bundle (definition). Also EoM Tangent_bundle, Mathlib TangentBundle, MathWorld TangentBundle, nLab tangent bundle, ProofWiki Definition:Tangent_Bundle
History
- 2026-10-26: add by m2/dev
leap year H6C8138P1A
| URI | m2://inv/H6C8138P1A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19828, leap year (definition). Also ProofWiki Definition:Leap_Year
History
- 2026-10-26: add by m2/dev
Alhazen's problem H6DKSBSNY7
| URI | m2://inv/H6DKSBSNY7 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4724471, Alhazen's problem (problem). Also MathWorld AlhazensBilliardProblem
History
- 2026-10-26: add by m2/dev
dual of a normed space H6RYPGDJJT
| URI | m2://inv/H6RYPGDJJT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Normed vector spaces/Banach spaces > dual of a normed space, dual of a normed space (unknown). Also Mathlib StrongDual
- mathlib_undergrad: mathlib_undergrad Topology > Hilbert spaces > dual space, dual space (unknown). Also Mathlib StrongDual
History
- 2026-10-26: add by m2/dev
axiom of extensionality H6XPSHRMJR
| URI | m2://inv/H6XPSHRMJR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Axiom of extensionality 0TB16T2C97 |
Mentions
- wikidata: Wikidata Q740424, axiom of extensionality (statement). Also MathWorld AxiomofExtensionality, nLab axiom of extensionality, ProofWiki Axiom:Axiom_of_Extension
History
- 2026-10-26: add by m2/dev
Arakelov theory H6XS44WVJY
| URI | m2://inv/H6XS44WVJY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4783822, Arithmetic Riemann–Roch theorem (statement). Also Wikidata Q4783822
- thousand_plus: thousand_plus Q4783822, Arithmetic Riemann–Roch theorem (statement). Also Wikidata Q4783822, Wikipedia Arithmetic Riemann–Roch theorem
- wikidata: Wikidata Q4783822, Arakelov theory (topic). Also MathWorld ArakelovTheory
History
- 2026-10-26: add by m2/dev