Inventory rows JK
The cards of the rows of the inventory whose ids start with JK. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
discrete category JK55TQAN20
| URI | m2://inv/JK55TQAN20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1228851, discrete category (definition). Also nLab discrete category, ProofWiki Definition:Discrete_Category
History
- 2026-10-26: add by m2/dev
statohm JK5TG34X0V
| URI | m2://inv/JK5TG34X0V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25303759, statohm (definition). Also ProofWiki Definition:Statohm
History
- 2026-10-26: add by m2/dev
Riesel number JK6DQHFR5F
| URI | m2://inv/JK6DQHFR5F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q301128, Riesel number (definition). Also MathWorld RieselNumber, OEIS A101036, ProofWiki Definition:Riesel_Number
History
- 2026-10-26: add by m2/dev
Polar angle JK7YNDRSYX
| URI | m2://inv/JK7YNDRSYX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16863210, Polar angle (unknown). Also MathWorld PolarAngle
History
- 2026-10-26: add by m2/dev
discrete valuation ring JK81D2D36J
| URI | m2://inv/JK81D2D36J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q986694, discrete valuation ring (unknown). Also EoM Discretely-normed_ring
History
- 2026-10-26: add by m2/dev
Ore algebra JK90KKS6F5
| URI | m2://inv/JK90KKS6F5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19598249, Ore algebra (unknown). Also MathWorld OreAlgebra
History
- 2026-10-26: add by m2/dev
M9-brane JKA5HNB22V
| URI | m2://inv/JKA5HNB22V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q135484876, M9-brane (unknown). Also nLab M9-brane
History
- 2026-10-26: add by m2/dev
Boy's surface JKB4ZMQA3W
| URI | m2://inv/JKB4ZMQA3W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q896057, Boy's surface (unknown). Also MathWorld BoySurface
History
- 2026-10-26: add by m2/dev
descriptive statistics JKD0TF1107
| URI | m2://inv/JKD0TF1107 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q380344, descriptive statistics (definition). Also ProofWiki Definition:Descriptive_Statistics
History
- 2026-10-26: add by m2/dev
ordered set JKG4YQ57KQ
| URI | m2://inv/JKG4YQ57KQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7994926, ordered set (unknown). Also MathWorld OrderedSet
History
- 2026-10-26: add by m2/dev
comparison of a series and an integral JKGC09137Z
| URI | m2://inv/JKGC09137Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Numerical series > comparison of a series and an integral, comparison of a series and an integral (unknown). Also Mathlib AntitoneOn.tsum_le_integral
History
- 2026-10-26: add by m2/dev
Dirac delta function JKGKYYXY00
| URI | m2://inv/JKGKYYXY00 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Dirac delta function 0KPHENZ5S7 |
Mentions
- wikidata: Wikidata Q209675, Dirac delta function (unknown). Also Mathlib Distribution.delta, MathWorld DeltaFunction
History
- 2026-10-26: add by m2/dev
perfect closure JKNDW12TQ9
| URI | m2://inv/JKNDW12TQ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Field theory > perfect closure, perfect closure (unknown). Also Mathlib PerfectClosure
History
- 2026-10-26: add by m2/dev
orthogonal Lie algebra JKP3Q5CQT0
| URI | m2://inv/JKP3Q5CQT0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q52088805, orthogonal Lie algebra (unknown). Also nLab orthogonal Lie algebra
History
- 2026-10-26: add by m2/dev
apartness relation JKPNA9VTND
| URI | m2://inv/JKPNA9VTND |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4779193, apartness relation (unknown). Also nLab apartness relation
History
- 2026-10-26: add by m2/dev
point reflection JKVBYEF4XY
| URI | m2://inv/JKVBYEF4XY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1203075, point reflection (unknown). Also MathWorld InversionOperation
History
- 2026-10-26: add by m2/dev