Inventory rows R5
The cards of the rows of the inventory whose ids start with R5. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Buckingham π theorem R52AG382KZ
| URI | m2://inv/R52AG382KZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q999783, Buckingham π theorem (statement). Also Wikidata Q999783
- thousand_plus: thousand_plus Q999783, Buckingham π theorem (statement). Also Wikidata Q999783, Wikipedia Buckingham π theorem
History
- 2026-10-26: add by m2/dev
Dirac operator R55G0NQZK6
| URI | m2://inv/R55G0NQZK6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 35J25 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q907439, Dirac operator (topic). Also MathWorld DiracOperator, nLab Dirac operator
History
- 2026-10-26: add by m2/dev
Alexander horned sphere R575R11K0G
| URI | m2://inv/R575R11K0G |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1361755, Alexander horned sphere (concept). Also MathWorld AlexandersHornedSphere
History
- 2026-10-26: add by m2/dev
Umberto Bottazzini R59HPPCWSX
| URI | m2://inv/R59HPPCWSX |
|---|---|
| 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 Q2478100, Umberto Bottazzini (unknown). Also nLab Umberto Bottazzini
History
- 2026-10-26: add by m2/dev
Brauer's theorem on induced characters R5BA4RGWYG
| URI | m2://inv/R5BA4RGWYG |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4958218, Brauer's theorem on induced characters (statement). Also Wikidata Q4958218
- thousand_plus: thousand_plus Q4958218, Brauer's theorem on induced characters (statement). Also Wikidata Q4958218, Wikipedia Brauer's theorem on induced characters
History
- 2026-10-26: add by m2/dev
index of a subgroup R5CVYVXY06
| URI | m2://inv/R5CVYVXY06 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Index of a subgroup 0DTXBQPA2S |
Mentions
- wikidata: Wikidata Q1464168, index of a subgroup (definition). Also MathWorld SubgroupIndex, nLab index of a subgroup, ProofWiki Definition:Index_of_Subgroup
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Hausdorff dimension R5FKH9Z5K2
| URI | m2://inv/R5FKH9Z5K2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > Hausdorff dimension, Hausdorff dimension (unknown). Also Mathlib dimH
History
- 2026-10-26: add by m2/dev
arcus secant R5G3QGBHE4
| URI | m2://inv/R5G3QGBHE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2284464, arcus secant (definition). Also MathWorld InverseSecant, ProofWiki Definition:Inverse_Secant
History
- 2026-10-26: add by m2/dev
Freidlin–Wentzell theorem R5P8S5YBS2
| URI | m2://inv/R5P8S5YBS2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5501344, Freidlin–Wentzell theorem (statement). Also Wikidata Q5501344
- thousand_plus: thousand_plus Q5501344, Freidlin–Wentzell theorem (statement). Also Wikidata Q5501344, Wikipedia Freidlin–Wentzell theorem
History
- 2026-10-26: add by m2/dev
spline R5PYY83P1W
| URI | m2://inv/R5PYY83P1W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q735256, spline (concept). Also MathWorld Spline
History
- 2026-10-26: add by m2/dev
Backus–Naur form R5SGVD13D4
| URI | m2://inv/R5SGVD13D4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q211577, Backus–Naur form (definition). Also ProofWiki Definition:Backus-Naur_Form
History
- 2026-10-26: add by m2/dev
integer polynomial R5VCMKXD2Z
| URI | m2://inv/R5VCMKXD2Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130417258, integer polynomial (unknown). Also MathWorld IntegerPolynomial
History
- 2026-10-26: add by m2/dev
standard map R5WVFT3FDF
| URI | m2://inv/R5WVFT3FDF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2257676, standard map (unknown). Also MathWorld StandardMap
History
- 2026-10-26: add by m2/dev
heptanacci number R5XBZS9B2B
| URI | m2://inv/R5XBZS9B2B |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18450843, heptanacci number (object). Also OEIS A122189
History
- 2026-10-26: add by m2/dev