Inventory rows K5
The cards of the rows of the inventory whose ids start with K5. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
0,1-simple lattice K50ZWQNAXN
| URI | m2://inv/K50ZWQNAXN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4545495, 0,1-simple lattice (concept). Also MathWorld 01-SimpleLattice
History
- 2026-10-26: add by m2/dev
long line K55EJQ1H37
| URI | m2://inv/K55EJQ1H37 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1804923, long line (unknown). Also nLab long line
History
- 2026-10-26: add by m2/dev
additive subgroups of $\R$ K57B2RY07M
| URI | m2://inv/K57B2RY07M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Topology of R > additive subgroups of $\R$, additive subgroups of $\R$ (unknown). Also Mathlib AddSubgroup.dense_or_isCyclic
History
- 2026-10-26: add by m2/dev
Bohr radius K57NTW7ZZM
| URI | m2://inv/K57NTW7ZZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q652571, Bohr radius (definition). Also ProofWiki Definition:Bohr_Radius
History
- 2026-10-26: add by m2/dev
truncated pyramid K5AQTKEQHB
| URI | m2://inv/K5AQTKEQHB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3754967, truncated pyramid (unknown). Also MathWorld PyramidalFrustum
History
- 2026-10-26: add by m2/dev
Evans conic K5B18KVCHM
| URI | m2://inv/K5B18KVCHM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q129254508, Evans conic (unknown). Also MathWorld EvansConic
History
- 2026-10-26: add by m2/dev
residue theorem K5CS2KT8DN
| URI | m2://inv/K5CS2KT8DN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > residue theorem, residue theorem (unknown)
History
- 2026-10-26: add by m2/dev
Tetradyakis hexahedron K5J2CN1DCS
| URI | m2://inv/K5J2CN1DCS |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28001371, Tetradyakis hexahedron (object). Also MathWorld TetradyakisHexahedron
History
- 2026-10-26: add by m2/dev
linear arboricity K5JGG7Q1J2
| URI | m2://inv/K5JGG7Q1J2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25303647, linear arboricity (unknown). Also MathWorld LinearArboricity
History
- 2026-10-26: add by m2/dev
reverse mathematics K5KX14K5Y1
| URI | m2://inv/K5KX14K5Y1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2005236, reverse mathematics (topic). Also nLab reverse mathematics
History
- 2026-10-26: add by m2/dev
hearing the shape of a drum K5M2ZDH5R4
| URI | m2://inv/K5M2ZDH5R4 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5691670, hearing the shape of a drum (problem). Also MathWorld IsospectralManifolds, nLab hearing the shape of a drum
History
- 2026-10-26: add by m2/dev
permutation category K5M4HC4R0R
| URI | m2://inv/K5M4HC4R0R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q60792574, permutation category (unknown). Also nLab permutation category
History
- 2026-10-26: add by m2/dev
probability theory K5NACBYN7W
| URI | m2://inv/K5NACBYN7W |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | open |
| Node | Probability theory 0RWE7CPJ32 |
Mentions
- wikidata: Wikidata Q5862903, probability theory (topic). Also nLab probability theory, ProofWiki Definition:Probability_Theory
History
- 2026-10-26: add by m2/dev
mathematical game K5NJGC7BN6
| URI | m2://inv/K5NJGC7BN6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1507104, mathematical game (unknown). Also MathWorld Game
History
- 2026-10-26: add by m2/dev
graph K5NKAYCRFP
| URI | m2://inv/K5NKAYCRFP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Graph 00C0BR7D7H |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Graph theory > simple graph, simple graph (unknown). Also Mathlib SimpleGraph
- wikidata: Wikidata Q141488, graph (unknown). Also EoM Graph, Mathlib SimpleGraph, MathWorld Graph
History
- 2026-10-26: add by m2/dev
parabola K5QFJ1ZD5T
| URI | m2://inv/K5QFJ1ZD5T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Parabola 04S2GMHX82 |
Mentions
- wikidata: Wikidata Q48297, parabola (unknown). Also MathWorld Parabola
History
- 2026-10-26: add by m2/dev
orthogonal group K5SCJBHTYB
| URI | m2://inv/K5SCJBHTYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Orthogonal group 0TKYAEJ8N7 |
Mentions
- wikidata: Wikidata Q1783179, orthogonal group (definition). Also EoM Orthogonal_group, MathWorld OrthogonalGroup, nLab orthogonal group, ProofWiki Definition:Orthogonal_Group
History
- 2026-10-26: add by m2/dev
Milü K5T8KCZX40
| URI | m2://inv/K5T8KCZX40 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3858176, Milü (definition). Also ProofWiki Definition:Zu_Chongzhi_Fraction
History
- 2026-10-26: add by m2/dev
Goldbach's conjecture K5TXPFSTNE
| URI | m2://inv/K5TXPFSTNE |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Goldbach's conjecture 063JNBSMJ0 |
Mentions
- wikidata: Wikidata Q485520, Goldbach's conjecture (problem). Also MathWorld GoldbachConjecture, ProofWiki Goldbach_Conjecture
History
- 2026-10-26: add by m2/dev
rank of a system of linear equations K5VJ9ZNWZM
| URI | m2://inv/K5VJ9ZNWZM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Finite-dimensional vector spaces > rank of a system of linear equations, rank of a system of linear equations (unknown)
History
- 2026-10-26: add by m2/dev
sfermion K5WKR0YDM4
| URI | m2://inv/K5WKR0YDM4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2347008, sfermion (unknown). Also nLab sfermion
History
- 2026-10-26: add by m2/dev
cylindrical projection K5XVEBM6NX
| URI | m2://inv/K5XVEBM6NX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2077983, cylindrical projection (unknown). Also MathWorld CylindricalProjection
History
- 2026-10-26: add by m2/dev