Inventory rows YJ
The cards of the rows of the inventory whose ids start with YJ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Arf invariant YJ3R88QHEZ
| URI | m2://inv/YJ3R88QHEZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4789139, Arf invariant (concept). Also MathWorld ArfInvariant, nLab Arf invariant
History
- 2026-10-26: add by m2/dev
smooth immersion YJ450ZD423
| URI | m2://inv/YJ450ZD423 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > smooth immersion, smooth immersion (unknown). Also Mathlib Manifold.IsImmersion
History
- 2026-10-26: add by m2/dev
spherical spiral YJ5PSCC0YX
| URI | m2://inv/YJ5PSCC0YX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20522897, spherical spiral (unknown). Also MathWorld SphericalSpiral
History
- 2026-10-26: add by m2/dev
Semi-Thue system YJ6X4M1PN9
| URI | m2://inv/YJ6X4M1PN9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1378504, Semi-Thue system (concept). Also MathWorld StringRewritingSystem
History
- 2026-10-26: add by m2/dev
log-normal distribution YJ8231A2W9
| URI | m2://inv/YJ8231A2W9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q826116, log-normal distribution (unknown). Also MathWorld LogNormalDistribution
History
- 2026-10-26: add by m2/dev
Zinbiel algebra YJ9J76PVFK
| URI | m2://inv/YJ9J76PVFK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2835946, Zinbiel algebra (unknown). Also nLab Zinbiel algebra
History
- 2026-10-26: add by m2/dev
BRST quantization YJ9QYV2JR9
| URI | m2://inv/YJ9QYV2JR9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2752849, BRST quantization (unknown). Also nLab BRST
History
- 2026-10-26: add by m2/dev
white noise YJCSV9VR65
| URI | m2://inv/YJCSV9VR65 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q381287, white noise (unknown). Also nLab white noise
History
- 2026-10-26: add by m2/dev
Z-transform YJCYM3EMZ0
| URI | m2://inv/YJCYM3EMZ0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q135810, Z-transform (unknown). Also MathWorld Z-Transform
History
- 2026-10-26: add by m2/dev
planar embedding YJD9NMS0JQ
| URI | m2://inv/YJD9NMS0JQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q66232788, planar embedding (unknown). Also MathWorld PlanarEmbedding
History
- 2026-10-26: add by m2/dev
second derivative test YJHTDW54AW
| URI | m2://inv/YJHTDW54AW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3520081, second derivative test (concept). Also MathWorld SecondDerivativeTest
History
- 2026-10-26: add by m2/dev
isosceles trapezoid YJJ1C55MAW
| URI | m2://inv/YJJ1C55MAW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1194115, isosceles trapezoid (unknown). Also MathWorld IsoscelesTrapezoid
History
- 2026-10-26: add by m2/dev
supergroup YJJ6NATT10
| URI | m2://inv/YJJ6NATT10 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7643409, supergroup (unknown). Also nLab supergroup
History
- 2026-10-26: add by m2/dev
inhabited set YJKD64G7BF
| URI | m2://inv/YJKD64G7BF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6033616, inhabited set (unknown). Also nLab inhabited set
History
- 2026-10-26: add by m2/dev
B/b YJMT3X63KN
| URI | m2://inv/YJMT3X63KN |
|---|---|
| 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 Q9705, B/b (unknown). Also ProofWiki Symbols:B
History
- 2026-10-26: add by m2/dev
torus YJNKNR9YV9
| URI | m2://inv/YJNKNR9YV9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Torus 03NM7DZXXC |
Mentions
- wikidata: Wikidata Q12510, torus (unknown). Also MathWorld Torus
History
- 2026-10-26: add by m2/dev
characteristic of a ring YJNVC0BGTR
| URI | m2://inv/YJNVC0BGTR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Field theory > characteristic of a ring, characteristic of a ring (unknown). Also Mathlib ringChar
- mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > characteristic of a ring, characteristic of a ring (unknown). Also Mathlib ringChar
History
- 2026-10-26: add by m2/dev
elongated pentagonal orthobicupola YJPA08DTF0
| URI | m2://inv/YJPA08DTF0 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2548687, elongated pentagonal orthobicupola (object). Also MathWorld ElongatedPentagonalOrthobicupola
History
- 2026-10-26: add by m2/dev
Niklas Beisert YJSW6B8D0E
| URI | m2://inv/YJSW6B8D0E |
|---|---|
| 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 Q1488560, Niklas Beisert (unknown). Also nLab Niklas Beisert
History
- 2026-10-26: add by m2/dev
torsion subgroup YJVK0QTM6V
| URI | m2://inv/YJVK0QTM6V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Torsion subgroup 0DBWXQRXQJ |
Mentions
- wikidata: Wikidata Q2293759, torsion subgroup (unknown). Also LMFDB knowl g2c.torsion, nLab torsion subgroup
History
- 2026-10-26: add by m2/dev
Griewank function YJXYN2NX4V
| URI | m2://inv/YJXYN2NX4V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19587277, Griewank function (unknown). Also MathWorld GriewankFunction
History
- 2026-10-26: add by m2/dev
minor arc YJZGMPDWFF
| URI | m2://inv/YJZGMPDWFF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q117009099, minor arc (unknown). Also MathWorld MinorArc
History
- 2026-10-26: add by m2/dev