Inventory rows KE
The cards of the rows of the inventory whose ids start with KE. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
bijection KE02VNHXRC
| URI | m2://inv/KE02VNHXRC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Bijective function 0GG9TVW90M |
Mentions
- wikidata: Wikidata Q180907, bijection (unknown). Also EoM Bijection, MathWorld Bijection, nLab bijection
History
- 2026-10-26: add by m2/dev
Higman–Sims graph KE2YYE4ZQ8
| URI | m2://inv/KE2YYE4ZQ8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115511, Higman–Sims graph (concept). Also House of Graphs 1165, MathWorld Higman-SimsGraph
History
- 2026-10-26: add by m2/dev
Lagrange bracket KE48RX4H4C
| URI | m2://inv/KE48RX4H4C |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q389328, Lagrange bracket (concept). Also MathWorld LagrangeBracket
History
- 2026-10-26: add by m2/dev
Riesz–Markov–Kakutani representation theorem KE6QTEDDB8
| URI | m2://inv/KE6QTEDDB8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17098001, Riesz–Markov–Kakutani representation theorem (statement). Also MathWorld RieszRepresentationTheorem
History
- 2026-10-26: add by m2/dev
Ringel–Youngs theorem KE76DDYBDE
| URI | m2://inv/KE76DDYBDE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2799491, Ringel–Youngs theorem (statement). Also Wikidata Q2799491
- thousand_plus: thousand_plus Q2799491, Ringel–Youngs theorem (statement). Also Wikidata Q2799491, Wikipedia Ringel–Youngs theorem
- wikidata: Wikidata Q2799491, Ringel–Youngs theorem (conjecture). Also MathWorld HeawoodConjecture
History
- 2026-10-26: add by m2/dev
connected category KEAXY5E4FT
| URI | m2://inv/KEAXY5E4FT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5161408, connected category (unknown). Also nLab connected category
History
- 2026-10-26: add by m2/dev
homogeneous space KEB16FS5W8
| URI | m2://inv/KEB16FS5W8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1324364, homogeneous space (unknown). Also nLab homogeneous space
History
- 2026-10-26: add by m2/dev
modular lattice KECXXTAPS4
| URI | m2://inv/KECXXTAPS4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1538614, modular lattice (unknown). Also EoM Modular_lattice, MathWorld ModularLattice, nLab modular lattice
History
- 2026-10-26: add by m2/dev
solutions to Pell's equation KEHQA6QJR5
| URI | m2://inv/KEHQA6QJR5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Number theory > solutions to Pell's equation, solutions to Pell's equation (unknown). Also Mathlib Pell.pell
History
- 2026-10-26: add by m2/dev
Wu Wenjun KEK20TX0DK
| URI | m2://inv/KEK20TX0DK |
|---|---|
| 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 Q926125, Wu Wenjun (unknown). Also nLab Wen-Tsun Wu
History
- 2026-10-26: add by m2/dev
simplicial Lie algebra KEPY60YAFF
| URI | m2://inv/KEPY60YAFF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16896378, simplicial Lie algebra (unknown). Also nLab simplicial Lie algebra
History
- 2026-10-26: add by m2/dev
curvature form KESCBJ8WT3
| URI | m2://inv/KESCBJ8WT3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q839832, curvature form (unknown). Also EoM Curvature_form, MathWorld CurvatureForm
History
- 2026-10-26: add by m2/dev
unary function KEV4XN4GK1
| URI | m2://inv/KEV4XN4GK1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7882311, unary function (unknown). Also MathWorld UnivariateFunction
History
- 2026-10-26: add by m2/dev
Erdős–Pósa theorem KEV4YVM7H5
| URI | m2://inv/KEV4YVM7H5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5385325, Erdős–Pósa theorem (statement). Also Wikidata Q5385325
- thousand_plus: thousand_plus Q5385325, Erdős–Pósa theorem (statement). Also Wikidata Q5385325, Wikipedia Erdős–Pósa theorem
History
- 2026-10-26: add by m2/dev
differentiability of the limit of a sequence of functions KEV8WYFS4P
| URI | m2://inv/KEV8WYFS4P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Sequences and series of functions > differentiability of the limit of a sequence of functions, differentiability of the limit of a sequence of functions (unknown). Also Mathlib hasFDerivAt_of_tendstoUniformly
History
- 2026-10-26: add by m2/dev
Fubini–Study metric KEWVX8A41T
| URI | m2://inv/KEWVX8A41T |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3333764, Fubini–Study metric (concept). Also EoM Fubini-Study_metric, nLab Fubini-Study metric
History
- 2026-10-26: add by m2/dev