Inventory rows YH
The cards of the rows of the inventory whose ids start with YH. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
constructive dilemma YH1MWABD86
| URI | m2://inv/YH1MWABD86 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5164489, constructive dilemma (statement). Also MathWorld ConstructiveDilemma
History
- 2026-10-26: add by m2/dev
Stephen S. Kudla YH20STB2J4
| URI | m2://inv/YH20STB2J4 |
|---|---|
| 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 Q2345048, Stephen S. Kudla (unknown). Also nLab Stephen Kudla
History
- 2026-10-26: add by m2/dev
Andrej Bauer YH4REH7Y2N
| URI | m2://inv/YH4REH7Y2N |
|---|---|
| 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 Q12784531, Andrej Bauer (unknown). Also nLab Andrej Bauer
History
- 2026-10-26: add by m2/dev
locally compact Hausdorff group YH8M4HNYSS
| URI | m2://inv/YH8M4HNYSS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2147620, locally compact Hausdorff group (unknown). Also MathWorld LocallyCompactGroup
History
- 2026-10-26: add by m2/dev
Furry's theorem YH9MYTHME2
| URI | m2://inv/YH9MYTHME2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 81-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q26877569, Furry's theorem (statement). Also Wikidata Q26877569
- thousand_plus: thousand_plus Q26877569, Furry's theorem (statement). Also Wikidata Q26877569, Wikipedia Furry's theorem
History
- 2026-10-26: add by m2/dev
theory of graded commutative rings YHDPF086BR
| URI | m2://inv/YHDPF086BR |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 13A02 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114704266, theory of graded commutative rings (topic)
History
- 2026-10-26: add by m2/dev
triangular hebesphenorotunda YHG50PN2M0
| URI | m2://inv/YHG50PN2M0 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2560593, triangular hebesphenorotunda (object). Also MathWorld TriangularHebesphenorotunda
History
- 2026-10-26: add by m2/dev
pandiagonal magic square YHGHJ689MK
| URI | m2://inv/YHGHJ689MK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2940397, pandiagonal magic square (unknown). Also MathWorld PanmagicSquare
History
- 2026-10-26: add by m2/dev
Bernoulli law YHH1ECX1PX
| URI | m2://inv/YHH1ECX1PX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Random variables and their laws > Bernoulli law, Bernoulli law (unknown). Also Mathlib ProbabilityTheory.bernoulliMeasure
- mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > Bernoulli law, Bernoulli law (unknown). Also Mathlib ProbabilityTheory.bernoulliMeasure
History
- 2026-10-26: add by m2/dev
Gray code YHKAB5DZGC
| URI | m2://inv/YHKAB5DZGC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q332772, Gray code (unknown). Also MathWorld GrayCode, OEIS A003188
History
- 2026-10-26: add by m2/dev
Monge point YHKG2T1HJ5
| URI | m2://inv/YHKG2T1HJ5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1944434, Monge point (concept). Also MathWorld MongePoint
History
- 2026-10-26: add by m2/dev
multi-armed bandit YHNYKJGZEM
| URI | m2://inv/YHNYKJGZEM |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 91A20 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2882343, multi-armed bandit (topic)
History
- 2026-10-26: add by m2/dev
Jürgen Fuchs YHP0YR8XCB
| URI | m2://inv/YHP0YR8XCB |
|---|---|
| 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 Q1717177, Jürgen Fuchs (unknown). Also nLab Jürgen Fuchs
History
- 2026-10-26: add by m2/dev
Waring's problem YHPQN8DGFK
| URI | m2://inv/YHPQN8DGFK |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q657903, Hilbert–Waring theorem (statement). Also Wikidata Q657903
- thousand_plus: thousand_plus Q657903, Hilbert–Waring theorem (statement). Also Wikidata Q657903, Wikipedia Hilbert–Waring theorem
- wikidata: Wikidata Q657903, Waring's problem (problem). Also MathWorld WaringsProblem
History
- 2026-10-26: add by m2/dev
maximum clique YHT9Q397CH
| URI | m2://inv/YHT9Q397CH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93598415, maximum clique (unknown). Also MathWorld MaximumClique
History
- 2026-10-26: add by m2/dev
Earth's magnetic field YHVM4ZSVTX
| URI | m2://inv/YHVM4ZSVTX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6500960, Earth's magnetic field (statement). Also ProofWiki Planet_Earth_is_Permanent_Magnet
History
- 2026-10-26: add by m2/dev
Schwarz lemma YHW0NB6NRH
| URI | m2://inv/YHW0NB6NRH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Schwarz lemma 0MB48XDBY3 |
Mentions
- wikidata: Wikidata Q1341771, Schwarz lemma (statement). Also EoM Schwarz_lemma, MathWorld SchwarzsLemma, ProofWiki Schwarz's_Lemma
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
per mille YHWNH48KJN
| URI | m2://inv/YHWNH48KJN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q181011, per mille (unknown). Also MathWorld Permil
History
- 2026-10-26: add by m2/dev
tangent space YHXP9FR261
| URI | m2://inv/YHXP9FR261 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Submanifolds of $\R^n$ > tangent space, tangent space (unknown)
History
- 2026-10-26: add by m2/dev
Mathematics for the million YHXYEMZ9VA
| URI | m2://inv/YHXYEMZ9VA |
|---|---|
| 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 Q109394441, Mathematics for the million (unknown). Also ProofWiki Book:Lancelot_Hogben/Mathematics_for_the_Million
History
- 2026-10-26: add by m2/dev
change of basis YHY98WRQQ9
| URI | m2://inv/YHY98WRQQ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q810255, change of basis (unknown). Also MathWorld ChangeofBasis
History
- 2026-10-26: add by m2/dev
material derivative YHZZD76X6Y
| URI | m2://inv/YHZZD76X6Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1801562, material derivative (unknown). Also MathWorld ConvectiveDerivative
History
- 2026-10-26: add by m2/dev