Inventory rows Z4
The cards of the rows of the inventory whose ids start with Z4. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
hedgehog Z4061X8BQE
| URI | m2://inv/Z4061X8BQE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q104868325, hedgehog (unknown). Also MathWorld Hedgehog
History
- 2026-10-26: add by m2/dev
LU decomposition Z43DVG0BPB
| URI | m2://inv/Z43DVG0BPB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | LU decomposition 0RKG5YW66Y |
Mentions
- wikidata: Wikidata Q833089, LU decomposition (unknown). Also MathWorld LUDecomposition
History
- 2026-10-26: add by m2/dev
angle brackets Z440QKZ3HE
| URI | m2://inv/Z440QKZ3HE |
|---|---|
| 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 Q110502275, angle brackets (unknown). Also MathWorld AngleBracket, ProofWiki Symbols:Brackets/Angle_Brackets
History
- 2026-10-26: add by m2/dev
quiver diagram Z45CRNTRYQ
| URI | m2://inv/Z45CRNTRYQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7272681, quiver diagram (unknown). Also nLab quiver gauge theory
History
- 2026-10-26: add by m2/dev
universal sentence Z45D7RGSRN
| URI | m2://inv/Z45D7RGSRN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141488365, universal sentence (unknown). Also MathWorld UniversalSentence
History
- 2026-10-26: add by m2/dev
limit of a map with respect to filters Z48BP63YFD
| URI | m2://inv/Z48BP63YFD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > limit of a map with respect to filters, limit of a map with respect to filters (unknown). Also Mathlib Filter.Tendsto
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Real-valued functions defined on a subset of $\R$ > limits, limits (unknown). Also Mathlib Filter.Tendsto
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Sequences of real numbers > convergence, convergence (unknown). Also Mathlib Filter.Tendsto
History
- 2026-10-26: add by m2/dev
Blakers–Massey theorem Z48RT85SP8
| URI | m2://inv/Z48RT85SP8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4924632, Blakers–Massey theorem (statement). Also nLab Blakers-Massey theorem
History
- 2026-10-26: add by m2/dev
Tsit Yuen Lam Z4AG5Q8XWJ
| URI | m2://inv/Z4AG5Q8XWJ |
|---|---|
| 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 Q1644671, Tsit Yuen Lam (unknown). Also ProofWiki Mathematician:Tsit_Yuen_Lam
History
- 2026-10-26: add by m2/dev
Andrei Moroianu Z4DKJD1769
| URI | m2://inv/Z4DKJD1769 |
|---|---|
| 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 Q59911151, Andrei Moroianu (unknown). Also nLab Andrei Moroianu
History
- 2026-10-26: add by m2/dev
Buchstab function Z4GV905P1D
| URI | m2://inv/Z4GV905P1D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q21072754, Buchstab function (concept). Also MathWorld BuchstabFunction
History
- 2026-10-26: add by m2/dev
Erdal İnönü Z4J0ZMWQR4
| URI | m2://inv/Z4J0ZMWQR4 |
|---|---|
| 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 Q1348747, Erdal İnönü (unknown). Also nLab Erdal İnönü
History
- 2026-10-26: add by m2/dev
metric geometry Z4MG1VENYS
| URI | m2://inv/Z4MG1VENYS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122488935, metric geometry (topic). Also ProofWiki Definition:Metrical_Geometry
History
- 2026-10-26: add by m2/dev
envelope Z4Q4D8QKWD
| URI | m2://inv/Z4Q4D8QKWD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1060372, envelope (unknown). Also MathWorld Envelope
History
- 2026-10-26: add by m2/dev
applications of probability generating functions to sums of independent random variables Z4T27REJDR
| URI | m2://inv/Z4T27REJDR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > applications of probability generating functions to sums of independent random variables, applications of probability generating functions to sums of independent random variables (unknown)
History
- 2026-10-26: add by m2/dev
Lie groupoid Z4XYPBH57P
| URI | m2://inv/Z4XYPBH57P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6543824, Lie groupoid (unknown). Also MathWorld LieGroupoid, nLab Lie groupoid
History
- 2026-10-26: add by m2/dev
small icosacronic hexecontahedron Z4ZN94CX1W
| URI | m2://inv/Z4ZN94CX1W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7543084, small icosacronic hexecontahedron (unknown). Also MathWorld SmallIcosacronicHexecontahedron
History
- 2026-10-26: add by m2/dev