Inventory rows EH
The cards of the rows of the inventory whose ids start with EH. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
polyform EH0VG4MPYQ
| URI | m2://inv/EH0VG4MPYQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3088276, polyform (unknown). Also MathWorld Polyform
History
- 2026-10-26: add by m2/dev
initial value problem EH2VWD1E2T
| URI | m2://inv/EH2VWD1E2T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Initial value problem 0FXDW992DS |
Mentions
- wikidata: Wikidata Q10167591, initial value problem (unknown). Also MathWorld InitialValueProblem, nLab initial value problem
History
- 2026-10-26: add by m2/dev
Conway circle EH3Q7352W0
| URI | m2://inv/EH3Q7352W0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q96375449, Conway circle theorem (statement). Also Wikidata Q96375449
- thousand_plus: thousand_plus Q96375449, Conway circle theorem (statement). Also Wikidata Q96375449, Wikipedia Conway circle theorem
- wikidata: Wikidata Q96375449, Conway circle (statement). Also MathWorld ConwayCircle
History
- 2026-10-26: add by m2/dev
Star of Lakshmi EH8CET54R2
| URI | m2://inv/EH8CET54R2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4524287, Star of Lakshmi (unknown). Also MathWorld StarofLakshmi
History
- 2026-10-26: add by m2/dev
Zariski topology EHDC476ZQ4
| URI | m2://inv/EHDC476ZQ4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q147978, Zariski topology (topic). Also EoM Zariski_topology, MathWorld ZariskiTopology, nLab Zariski topology
History
- 2026-10-26: add by m2/dev
logical equivalence EHDGX0E9G8
| URI | m2://inv/EHDGX0E9G8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Logical equivalence 0JMR2HM2N2 |
Mentions
- wikidata: Wikidata Q220433, logical equivalence (unknown). Also MathWorld Equivalence, MathWorld Equivalent, nLab logical equivalence
History
- 2026-10-26: add by m2/dev
distribution function EHDJQ54C5N
| URI | m2://inv/EHDJQ54C5N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Cumulative distribution function 0H8H7ZTHW2 |
Mentions
- wikidata: Wikidata Q2472662, distribution function (concept). Also MathWorld DistributionFunction
- wikidata: Wikidata Q386228, distribution function (unknown). Also Mathlib ProbabilityTheory.cdf, MathWorld DistributionFunction
History
- 2026-10-26: add by m2/dev
underlying set EHE3HKK8SW
| URI | m2://inv/EHE3HKK8SW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2456981, underlying set (unknown). Also nLab underlying set
History
- 2026-10-26: add by m2/dev
Principia Mathematica EHE7F62QTW
| URI | m2://inv/EHE7F62QTW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q163335, Principia Mathematica (unknown). Also nLab Principia Mathematica, ProofWiki Book:Alfred_North_Whitehead/Principia_Mathematica
History
- 2026-10-26: add by m2/dev
EHE7GCRZCV EHE7GCRZCV
| URI | m2://inv/EHE7GCRZCV |
|---|---|
| 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 Q6834183 (unknown). Also nLab Michael Schlessinger
History
- 2026-10-26: add by m2/dev
critical line EHEGNFBAXJ
| URI | m2://inv/EHEGNFBAXJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124684455, critical line (unknown). Also MathWorld CriticalLine
History
- 2026-10-26: add by m2/dev
prime number theorem EHF9EEGE67
| URI | m2://inv/EHF9EEGE67 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | Prime number theorem 0EHBY5Y84N |
Mentions
- mathlib_1000: mathlib_1000 Q386292, Prime number theorem (statement). Also Wikidata Q386292
- thousand_plus: thousand_plus Q386292, Prime number theorem (statement). Also Wikidata Q386292, Wikipedia Prime number theorem
- wikidata: Wikidata Q386292, prime number theorem (statement). Also MathWorld PrimeNumberTheorem, nLab prime number theorem, ProofWiki Prime_Number_Theorem
History
- 2026-10-26: add by m2/dev
continuity of inverse functions EHQJ20HX70
| URI | m2://inv/EHQJ20HX70 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Real-valued functions defined on a subset of $\R$ > continuity of inverse functions, continuity of inverse functions (unknown). Also Mathlib OrderIso.toHomeomorph
History
- 2026-10-26: add by m2/dev
E8 EHSGFE9909
| URI | m2://inv/EHSGFE9909 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1200244, E8 (unknown). Also nLab E8
History
- 2026-10-26: add by m2/dev
Cahn–Hilliard equation EHVKFCFMK6
| URI | m2://inv/EHVKFCFMK6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5017440, Cahn–Hilliard equation (unknown). Also MathWorld Cahn-HilliardEquation
History
- 2026-10-26: add by m2/dev
François Loeser EHYHXX1C2V
| URI | m2://inv/EHYHXX1C2V |
|---|---|
| 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 Q470460, François Loeser (unknown). Also nLab François Loeser
History
- 2026-10-26: add by m2/dev
Great inverted pentagonal hexecontahedron EHZA40S6WG
| URI | m2://inv/EHZA40S6WG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5600368, Great inverted pentagonal hexecontahedron (unknown). Also MathWorld GreatInvertedPentagonalHexecontahedron
History
- 2026-10-26: add by m2/dev
Riordan array (1/(1+2x), x/(1+x)). EHZNPE53EV
| URI | m2://inv/EHZNPE53EV |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100194128, Riordan array (1/(1+2x), x/(1+x)). (object). Also OEIS A103316
History
- 2026-10-26: add by m2/dev