Inventory rows HV
The cards of the rows of the inventory whose ids start with HV. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Peixoto's theorem HV12V7NHKX
| URI | m2://inv/HV12V7NHKX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 37-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7160983, Peixoto's theorem (statement). Also Wikidata Q7160983
- thousand_plus: thousand_plus Q7160983, Peixoto's theorem (statement). Also Wikidata Q7160983, Wikipedia Peixoto's theorem
History
- 2026-10-26: add by m2/dev
algebraic extension HV1GQ77341
| URI | m2://inv/HV1GQ77341 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Field theory > algebraic extension, algebraic extension (unknown). Also Mathlib Algebra.IsAlgebraic
- mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > algebraic extensions, algebraic extensions (unknown). Also Mathlib Algebra.IsAlgebraic
History
- 2026-10-26: add by m2/dev
Gotthold Eisenstein HV1RTAWPYX
| URI | m2://inv/HV1RTAWPYX |
|---|---|
| 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 Q61047, Gotthold Eisenstein (unknown). Also ProofWiki Mathematician:Ferdinand_Gotthold_Max_Eisenstein
History
- 2026-10-26: add by m2/dev
Riemann mapping theorem HV2J29E43S
| URI | m2://inv/HV2J29E43S |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | Riemann mapping theorem 02WHMEG5ZR |
Mentions
- mathlib_1000: mathlib_1000 Q927051, Riemann mapping theorem (statement). Also Wikidata Q927051
- thousand_plus: thousand_plus Q927051, Riemann mapping theorem (statement). Also Wikidata Q927051, Wikipedia Riemann mapping theorem
- wikidata: Wikidata Q927051, Riemann mapping theorem (statement). Also MathWorld RiemannMappingTheorem
History
- 2026-10-26: add by m2/dev
sine integral HV3ZAB3GAM
| URI | m2://inv/HV3ZAB3GAM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2732008, sine integral (unknown). Also EoM Integral_sine, MathWorld SineIntegral
History
- 2026-10-26: add by m2/dev
hertz HV4290H0KW
| URI | m2://inv/HV4290H0KW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q39369, hertz (definition). Also ProofWiki Definition:Hertz
History
- 2026-10-26: add by m2/dev
Stefan Hollands HV4RB2HKYQ
| URI | m2://inv/HV4RB2HKYQ |
|---|---|
| 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 Q19933982, Stefan Hollands (unknown). Also nLab Stefan Hollands
History
- 2026-10-26: add by m2/dev
semiperfect magic cube HV6SSMBJVQ
| URI | m2://inv/HV6SSMBJVQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3006692, semiperfect magic cube (concept). Also MathWorld SemiperfectMagicCube
History
- 2026-10-26: add by m2/dev
Cayley graph HV8SJM8Z2D
| URI | m2://inv/HV8SJM8Z2D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Cayley graph 0GYQK9NDJF |
Mentions
- wikidata: Wikidata Q859174, Cayley graph (concept). Also MathWorld CayleyGraph, nLab Cayley graph
History
- 2026-10-26: add by m2/dev
reflexive closure HVBMT5HKZ9
| URI | m2://inv/HVBMT5HKZ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1637549, reflexive closure (unknown). Also MathWorld ReflexiveClosure
History
- 2026-10-26: add by m2/dev
de Rham cohomology HVK10KNP5W
| URI | m2://inv/HVK10KNP5W |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 57-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1179446, De Rham's theorem (statement). Also Wikidata Q1179446
- thousand_plus: thousand_plus Q1179446, De Rham's theorem (statement). Also Wikidata Q1179446, Wikipedia De Rham's theorem
- wikidata: Wikidata Q1179446, de Rham cohomology (concept). Also MathWorld deRhamCohomology, nLab de Rham complex
History
- 2026-10-26: add by m2/dev
Behrend's theorem HVKZZE1H8C
| URI | m2://inv/HVKZZE1H8C |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q62051012, Behrend's theorem (statement). Also Wikidata Q62051012
- thousand_plus: thousand_plus Q62051012, Behrend's theorem (statement). Also Wikidata Q62051012, Wikipedia Behrend's theorem
History
- 2026-10-26: add by m2/dev
hash function HVM7B8W5FR
| URI | m2://inv/HVM7B8W5FR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q183427, hash function (unknown). Also MathWorld HashFunction
History
- 2026-10-26: add by m2/dev
electron optics HVMTMGHTVJ
| URI | m2://inv/HVMTMGHTVJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 78A15 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q905233, electron optics (topic)
History
- 2026-10-26: add by m2/dev
local trivialization HVN35KCQZ9
| URI | m2://inv/HVN35KCQZ9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q123472470, local trivialization (concept). Also MathWorld Trivialization, nLab local trivialization, ProofWiki Definition:Local_Trivialization
History
- 2026-10-26: add by m2/dev
coboundary HVN3R0GD0N
| URI | m2://inv/HVN3R0GD0N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78321178, coboundary (unknown). Also MathWorld Coboundary, nLab coboundary
History
- 2026-10-26: add by m2/dev
Moreau's theorem HVPPSAGD2G
| URI | m2://inv/HVPPSAGD2G |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6911202, Moreau's theorem (statement). Also Wikidata Q6911202
- thousand_plus: thousand_plus Q6911202, Moreau's theorem (statement). Also Wikidata Q6911202, Wikipedia Moreau's theorem
History
- 2026-10-26: add by m2/dev
Nicomedes HVPYWK2JNA
| URI | m2://inv/HVPYWK2JNA |
|---|---|
| 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 Q948708, Nicomedes (unknown). Also ProofWiki Mathematician:Nicomedes
History
- 2026-10-26: add by m2/dev