Inventory rows 9D
The cards of the rows of the inventory whose ids start with 9D. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
radix character 9D0E8GJF2V
| URI | m2://inv/9D0E8GJF2V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6575377, radix character (definition). Also ProofWiki Definition:Number_Base/Radix_Point
History
- 2026-10-26: add by m2/dev
regular sequence 9D0R4ETF39
| URI | m2://inv/9D0R4ETF39 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7309617, regular sequence (unknown). Also MathWorld RingRegularSequence, nLab regular sequence
History
- 2026-10-26: add by m2/dev
regulator 9D23J6ECAK
| URI | m2://inv/9D23J6ECAK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17591375, regulator (unknown). Also EoM Regulator_of_an_algebraic_number_field, MathWorld Regulator, nLab regulator of a number field
History
- 2026-10-26: add by m2/dev
F. and M. Riesz theorem 9D2JDG9ASJ
| URI | m2://inv/9D2JDG9ASJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 28-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527067, F. and M. Riesz theorem (statement). Also Wikidata Q3527067
- thousand_plus: thousand_plus Q3527067, F. and M. Riesz theorem (statement). Also Wikidata Q3527067, Wikipedia F. and M. Riesz theorem
History
- 2026-10-26: add by m2/dev
puzzle 9D42RF1W97
| URI | m2://inv/9D42RF1W97 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13698, puzzle (definition). Also ProofWiki Definition:Puzzle
History
- 2026-10-26: add by m2/dev
Holditch's theorem 9D4MF8R1YG
| URI | m2://inv/9D4MF8R1YG |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1888583, Holditch's theorem (statement). Also Wikidata Q1888583
- thousand_plus: thousand_plus Q1888583, Holditch's theorem (statement). Also Wikidata Q1888583, Wikipedia Holditch's theorem
- wikidata: Wikidata Q1888583, Holditch's theorem (statement). Also MathWorld HolditchsTheorem
History
- 2026-10-26: add by m2/dev
binormal 9D66WYHVNF
| URI | m2://inv/9D66WYHVNF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9171817, binormal (unknown). Also MathWorld BinormalVector
History
- 2026-10-26: add by m2/dev
symmetric polynomials 9D6C55PDJV
| URI | m2://inv/9D6C55PDJV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Ring Theory > Polynomial rings > symmetric polynomials, symmetric polynomials (unknown). Also Mathlib MvPolynomial.IsSymmetric
History
- 2026-10-26: add by m2/dev
Theorem of the cube 9D88EACZXH
| URI | m2://inv/9D88EACZXH |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7782346, Theorem of the cube (statement). Also Wikidata Q7782346
- thousand_plus: thousand_plus Q7782346, Theorem of the cube (statement). Also Wikidata Q7782346, Wikipedia Theorem of the cube
History
- 2026-10-26: add by m2/dev
Alexander Schmidt 9DBJGGVKF0
| URI | m2://inv/9DBJGGVKF0 |
|---|---|
| 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 Q2642976, Alexander Schmidt (unknown). Also nLab Alexander Schmidt
History
- 2026-10-26: add by m2/dev
Johnson Midpoint 9DC4QKSPMH
| URI | m2://inv/9DC4QKSPMH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1903336, Johnson Midpoint (unknown). Also MathWorld JohnsonMidpoint
History
- 2026-10-26: add by m2/dev
Émile Borel 9DPWY4G862
| URI | m2://inv/9DPWY4G862 |
|---|---|
| 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 Q154356, Émile Borel (unknown). Also EoM Borel,_Émile, nLab Émile Borel, ProofWiki Mathematician:Félix_Édouard_Justin_Émile_Borel
History
- 2026-10-26: add by m2/dev
charm quark 9DSFMMHCEQ
| URI | m2://inv/9DSFMMHCEQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6754, charm quark (unknown). Also nLab charm quark
History
- 2026-10-26: add by m2/dev
tensor product 9DXJWA5N58
| URI | m2://inv/9DXJWA5N58 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Fundamentals > tensor product, tensor product (unknown). Also Mathlib TensorProduct
History
- 2026-10-26: add by m2/dev
barycenter 9DZB4JHHDF
| URI | m2://inv/9DZB4JHHDF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q809690, barycenter (unknown). Also nLab barycenter
History
- 2026-10-26: add by m2/dev