Inventory rows N4
The cards of the rows of the inventory whose ids start with N4. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
finite map N41DJG1Y37
| URI | m2://inv/N41DJG1Y37 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Data structures > Maps > finite map, finite map (unknown). Also Mathlib Finmap
History
- 2026-10-26: add by m2/dev
Samuel Clarke N4440DRR39
| URI | m2://inv/N4440DRR39 |
|---|---|
| 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 Q381073, Samuel Clarke (unknown). Also nLab Samuel Clarke
History
- 2026-10-26: add by m2/dev
De Bruijn graph N47SH1FQGG
| URI | m2://inv/N47SH1FQGG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3066095, De Bruijn graph (concept). Also MathWorld deBruijnGraph
History
- 2026-10-26: add by m2/dev
Kevin Buzzard N4A4D9BWVD
| URI | m2://inv/N4A4D9BWVD |
|---|---|
| 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 Q1740098, Kevin Buzzard (unknown). Also nLab Kevin Buzzard
History
- 2026-10-26: add by m2/dev
paper folding limit N4CV7HE9V3
| URI | m2://inv/N4CV7HE9V3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4331241, paper folding limit (unknown). Also MathWorld Folding
History
- 2026-10-26: add by m2/dev
product of five distinct primes N4E0327P7V
| URI | m2://inv/N4E0327P7V |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q115113253, product of five distinct primes (object). Also OEIS A046387
History
- 2026-10-26: add by m2/dev
tetracategory N4EE9WP9E7
| URI | m2://inv/N4EE9WP9E7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7706224, tetracategory (unknown). Also nLab tetracategory
History
- 2026-10-26: add by m2/dev
the category of algebras over a ring N4EVNEZE2G
| URI | m2://inv/N4EVNEZE2G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Algebras over a ring > the category of algebras over a ring, the category of algebras over a ring (unknown). Also Mathlib AlgCat
History
- 2026-10-26: add by m2/dev
Abel's identity N4G7KSQYMK
| URI | m2://inv/N4G7KSQYMK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Abel's identity 0VGWKX2JHB |
Mentions
- wikidata: Wikidata Q318714, Abel's identity (statement). Also MathWorld AbelsDifferentialEquationIdentity
History
- 2026-10-26: add by m2/dev
Euclidean plane N4GQ8MKPWZ
| URI | m2://inv/N4GQ8MKPWZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3391320, Euclidean plane (unknown). Also MathWorld EuclideanPlane
History
- 2026-10-26: add by m2/dev
eta invariant N4JCV5B4CJ
| URI | m2://inv/N4JCV5B4CJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5402374, eta invariant (unknown). Also nLab eta invariant
History
- 2026-10-26: add by m2/dev
Gauss circle problem N4PFHBBNYZ
| URI | m2://inv/N4PFHBBNYZ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2096220, Gauss circle problem (problem). Also MathWorld GausssCircleProblem
History
- 2026-10-26: add by m2/dev
Lie algebra representation N4PXXYYPJP
| URI | m2://inv/N4PXXYYPJP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1136782, Lie algebra representation (unknown). Also nLab Lie algebra representation
History
- 2026-10-26: add by m2/dev
myriagonal number N4S4KPD95G
| URI | m2://inv/N4S4KPD95G |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18452177, myriagonal number (object). Also OEIS A167149
History
- 2026-10-26: add by m2/dev
regular local ring N4VZC76E6P
| URI | m2://inv/N4VZC76E6P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2138875, regular local ring (unknown). Also EoM Regular_ring, MathWorld RegularLocalRing, nLab regular local ring
History
- 2026-10-26: add by m2/dev