Inventory rows K4
The cards of the rows of the inventory whose ids start with K4. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
length scale K42SBM47D5
| URI | m2://inv/K42SBM47D5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2477027, length scale (unknown). Also nLab length scale
History
- 2026-10-26: add by m2/dev
Douglas Stanford K43Y4C9ZVN
| URI | m2://inv/K43Y4C9ZVN |
|---|---|
| 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 Q44717823, Douglas Stanford (unknown). Also nLab Douglas Stanford
History
- 2026-10-26: add by m2/dev
Perron–Frobenius theorem K449TA2RK2
| URI | m2://inv/K449TA2RK2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 15-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1564541, Perron–Frobenius theorem (statement). Also Wikidata Q1564541
- thousand_plus: thousand_plus Q1564541, Perron–Frobenius theorem (statement). Also Wikidata Q1564541, Wikipedia Perron–Frobenius theorem
- wikidata: Wikidata Q1564541, Perron–Frobenius theorem (statement). Also MathWorld FrobeniusTheorem
History
- 2026-10-26: add by m2/dev
chord K46FMZ65Y4
| URI | m2://inv/K46FMZ65Y4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q188191, chord (unknown). Also MathWorld Chord
History
- 2026-10-26: add by m2/dev
AFL operations K49P75VBA4
| URI | m2://inv/K49P75VBA4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q106136387, AFL operations (concept). Also EoM AFL_operations
History
- 2026-10-26: add by m2/dev
complex Lie algebra K49YRCAVYW
| URI | m2://inv/K49YRCAVYW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q85753695, complex Lie algebra (unknown). Also nLab complex Lie algebra
History
- 2026-10-26: add by m2/dev
Focal subgroup theorem K4M219FTVG
| URI | m2://inv/K4M219FTVG |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 16-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5463860, Focal subgroup theorem (statement). Also Mathlib Subgroup.commutator_inf_eq_focalSubgroup, Wikidata Q5463860
- thousand_plus: thousand_plus Q5463860, Focal subgroup theorem (statement). Also Mathlib Subgroup.commutator_inf_eq_focalSubgroup, Wikidata Q5463860, Wikipedia Focal subgroup theorem
History
- 2026-10-26: add by m2/dev
rate of convergence K4NN2XT3W3
| URI | m2://inv/K4NN2XT3W3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Numerical integration > rate of convergence, rate of convergence (unknown)
History
- 2026-10-26: add by m2/dev
Ackermann number K4ZY0RPNGX
| URI | m2://inv/K4ZY0RPNGX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20479482, Ackermann number (unknown). Also MathWorld AckermannNumber, OEIS A004231
History
- 2026-10-26: add by m2/dev