Inventory rows KX
The cards of the rows of the inventory whose ids start with KX. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Y/y KX25SZC9BA
| URI | m2://inv/KX25SZC9BA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9973, Y/y (unknown). Also ProofWiki Symbols:Y
History
- 2026-10-26: add by m2/dev
Ridders' method KX7RKXB7JG
| URI | m2://inv/KX7RKXB7JG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1864934, Ridders' method (unknown). Also MathWorld RiddersMethod
History
- 2026-10-26: add by m2/dev
Euler line KX8G06S23V
| URI | m2://inv/KX8G06S23V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q379380, Euler line (unknown). Also MathWorld EulerLine
History
- 2026-10-26: add by m2/dev
Taylor Dupuy KX8YP5EV4X
| URI | m2://inv/KX8YP5EV4X |
|---|---|
| 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 Q87701643, Taylor Dupuy (unknown). Also nLab Taylor Dupuy
History
- 2026-10-26: add by m2/dev
Weierstrass trigonometric approximation theorem KXMDT4WCAM
| URI | m2://inv/KXMDT4WCAM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Sequences and series of functions > Weierstrass trigonometric approximation theorem, Weierstrass trigonometric approximation theorem (unknown). Also Mathlib span_fourier_closure_eq_top
History
- 2026-10-26: add by m2/dev
Great deltoidal hexecontahedron KXV3NN01W8
| URI | m2://inv/KXV3NN01W8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5600337, Great deltoidal hexecontahedron (unknown). Also MathWorld GreatDeltoidalHexecontahedron
History
- 2026-10-26: add by m2/dev
rules of chess KXWAV1G1MP
| URI | m2://inv/KXWAV1G1MP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3392263, rules of chess (definition). Also ProofWiki Definition:Chess/Rules
History
- 2026-10-26: add by m2/dev
real line KXWNE3H1N0
| URI | m2://inv/KXWNE3H1N0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q29654355, real line (unknown). Also MathWorld RealLine
- wikidata: Wikidata Q35689, number line (unknown). Also MathWorld RealLine
History
- 2026-10-26: add by m2/dev
viscosity KXWQ1BC64S
| URI | m2://inv/KXWQ1BC64S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q128709, viscosity (definition). Also nLab viscosity, ProofWiki Definition:Viscosity
History
- 2026-10-26: add by m2/dev
Weierstrass substitution KXXG1ECBJS
| URI | m2://inv/KXXG1ECBJS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Tangent half-angle substitution 0W8ETY2AZ6 |
Mentions
- wikidata: Wikidata Q663628, Weierstrass substitution (unknown). Also MathWorld WeierstrassSubstitution
History
- 2026-10-26: add by m2/dev
Gershgorin circle theorem KXZA7A8SVV
| URI | m2://inv/KXZA7A8SVV |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 15-XX |
| Sources | 3 |
| Outcome | open |
| Node | Gershgorin circle theorem 0ETGP0XVCJ |
Mentions
- mathlib_1000: mathlib_1000 Q978688, Gershgorin circle theorem (statement). Also Mathlib eigenvalue_mem_ball, Wikidata Q978688
- thousand_plus: thousand_plus Q978688, Gershgorin circle theorem (statement). Also Mathlib eigenvalue_mem_ball, Wikidata Q978688, Wikipedia Gershgorin circle theorem
- wikidata: Wikidata Q978688, Gershgorin circle theorem (statement). Also MathWorld GershgorinCircleTheorem
History
- 2026-10-26: add by m2/dev