Inventory rows 1R
The cards of the rows of the inventory whose ids start with 1R. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Masayoshi Nagata 1R0M16B00M
| URI | m2://inv/1R0M16B00M |
|---|---|
| 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 Q1381102, Masayoshi Nagata (unknown). Also ProofWiki Mathematician:Masayoshi_Nagata
History
- 2026-10-26: add by m2/dev
convergence 1R89T1PE7E
| URI | m2://inv/1R89T1PE7E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Ordinary differential equations > convergence, convergence (unknown)
History
- 2026-10-26: add by m2/dev
Scott Tremaine 1RAZVVXP80
| URI | m2://inv/1RAZVVXP80 |
|---|---|
| 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 Q363194, Scott Tremaine (unknown). Also nLab Scott Tremaine
History
- 2026-10-26: add by m2/dev
kernel 1RGXAB8ZJN
| URI | m2://inv/1RGXAB8ZJN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Kernel of a linear map 0S23E6YE83 |
Mentions
- wikidata: Wikidata Q2914509, kernel (unknown). Also MathWorld Kernel
- wikidata: Wikidata Q574844, kernel (unknown). Also EoM Kernel_of_a_matrix, MathWorld Kernel
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Vitali–Hahn–Saks theorem 1RH55V90SM
| URI | m2://inv/1RH55V90SM |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 28-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7936914, Vitali–Hahn–Saks theorem (statement). Also Wikidata Q7936914
- thousand_plus: thousand_plus Q7936914, Vitali–Hahn–Saks theorem (statement). Also Wikidata Q7936914, Wikipedia Vitali–Hahn–Saks theorem
History
- 2026-10-26: add by m2/dev
prime factor 1RN34Y6G86
| URI | m2://inv/1RN34Y6G86 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1137759, prime factor (unknown). Also MathWorld PrimeFactor, nLab prime factor
History
- 2026-10-26: add by m2/dev
axiom 1RNAFBJAHP
| URI | m2://inv/1RNAFBJAHP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17736, axiom (concept). Also MathWorld Axiom, nLab axiom
History
- 2026-10-26: add by m2/dev
Rodrigues' rotation formula 1RPV5F8GBF
| URI | m2://inv/1RPV5F8GBF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1473494, Rodrigues' rotation formula (unknown). Also MathWorld RodriguesRotationFormula
History
- 2026-10-26: add by m2/dev
harmonic function 1RRM250VSA
| URI | m2://inv/1RRM250VSA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Harmonic function 0DEB0JMN0W |
Mentions
- wikidata: Wikidata Q599027, harmonic function (unknown). Also MathWorld HarmonicFunction
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
metabiaugmented hexagonal prism 1RVJ6VBMAR
| URI | m2://inv/1RVJ6VBMAR |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2672414, metabiaugmented hexagonal prism (object). Also MathWorld MetabiaugmentedHexagonalPrism
History
- 2026-10-26: add by m2/dev
Mills ratio 1RVV4CZJP2
| URI | m2://inv/1RVV4CZJP2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6860008, Mills ratio (unknown). Also MathWorld MillsRatio
History
- 2026-10-26: add by m2/dev
zero to the power of zero 1RY5J73BVG
| URI | m2://inv/1RY5J73BVG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6139783, zero to the power of zero (statement). Also ProofWiki Zero_to_the_Power_of_Zero
History
- 2026-10-26: add by m2/dev
cuboctahedral graph 1RYJ1RYHJA
| URI | m2://inv/1RYJ1RYHJA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115462, cuboctahedral graph (unknown). Also House of Graphs 1024, MathWorld CuboctahedralGraph
History
- 2026-10-26: add by m2/dev
Liouville's theorem 1RZM458SPG
| URI | m2://inv/1RZM458SPG |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 4 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Liouville's theorem 0EHKVRF4J6 |
Mentions
- mathlib_1000: mathlib_1000 Q576478, Liouville's theorem (complex analysis) (statement). Also Mathlib Differentiable.apply_eq_apply_of_bounded, Wikidata Q576478
- mathlib_overview: mathlib_overview Analysis > Complex analysis > Liouville theorem, Liouville theorem (unknown). Also Mathlib Differentiable.apply_eq_apply_of_bounded
- thousand_plus: thousand_plus Q576478, Liouville's theorem (complex analysis) (statement). Also Mathlib Differentiable.apply_eq_apply_of_bounded, Wikidata Q576478, Wikipedia Liouville's theorem (complex analysis)
- wikidata: Wikidata Q576478, Liouville's theorem (statement). Also EoM Liouville_theorems, MathWorld LiouvillesBoundednessTheorem
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent