Inventory rows FQ
The cards of the rows of the inventory whose ids start with FQ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Kneser's addition theorem (combinatorics) FQ0ZNDB7JJ
| URI | m2://inv/FQ0ZNDB7JJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q948664, Kneser's addition theorem (combinatorics) (statement). Also Wikidata Q948664
- thousand_plus: thousand_plus Q948664, Kneser's theorem (combinatorics) (statement). Also Wikidata Q948664, Wikipedia Kneser's theorem (combinatorics)
History
- 2026-10-26: add by m2/dev
Conway knot FQ18A6ZAQF
| URI | m2://inv/FQ18A6ZAQF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q94806552, Conway knot (unknown). Also MathWorld ConwaysKnot
History
- 2026-10-26: add by m2/dev
topology on a normed vector space FQ1CS64Z2S
| URI | m2://inv/FQ1CS64Z2S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Normed vector spaces/Banach spaces > topology on a normed vector space, topology on a normed vector space (unknown). Also Mathlib NormSMulClass.toIsBoundedSMul
- mathlib_undergrad: mathlib_undergrad Topology > Normed vector spaces on $\R$ and $\C$ > topology on a normed vector space, topology on a normed vector space (unknown). Also Mathlib NormSMulClass.toIsBoundedSMul
History
- 2026-10-26: add by m2/dev
cos FQ1J1N2WY3
| URI | m2://inv/FQ1J1N2WY3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Complex-valued series > extension of trigonometric functions to the complex plane > cos, cos (unknown). Also Mathlib Complex.cos
History
- 2026-10-26: add by m2/dev
Ali Chamseddine FQ3H5G49ED
| URI | m2://inv/FQ3H5G49ED |
|---|---|
| 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 Q17521164, Ali Chamseddine (unknown). Also nLab Ali Chamseddine
History
- 2026-10-26: add by m2/dev
expanded notation FQ7D97RWZB
| URI | m2://inv/FQ7D97RWZB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q137718467, expanded notation (unknown). Also MathWorld ExpandedNotation
History
- 2026-10-26: add by m2/dev
Lyapunov–Malkin theorem FQ93NZ7KPY
| URI | m2://inv/FQ93NZ7KPY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 35-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6707093, Lyapunov–Malkin theorem (statement). Also Wikidata Q6707093
- thousand_plus: thousand_plus Q6707093, Lyapunov–Malkin theorem (statement). Also Wikidata Q6707093, Wikipedia Lyapunov–Malkin theorem
History
- 2026-10-26: add by m2/dev
L2 space FQG8QST58G
| URI | m2://inv/FQG8QST58G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91314814, L2 space (unknown). Also MathWorld L2-Space
History
- 2026-10-26: add by m2/dev
Reuleaux triangle FQG902PZDS
| URI | m2://inv/FQG902PZDS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q959203, Reuleaux triangle (unknown). Also MathWorld ReuleauxTriangle
History
- 2026-10-26: add by m2/dev
Monopole moduli space FQH9Y338XP
| URI | m2://inv/FQH9Y338XP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6901868, Monopole moduli space (unknown). Also nLab moduli space of monopoles in nLab
History
- 2026-10-26: add by m2/dev
pentadecagonal number FQHS2WV5JE
| URI | m2://inv/FQHS2WV5JE |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18454915, pentadecagonal number (object). Also OEIS A051867
History
- 2026-10-26: add by m2/dev
transseries FQKDBY4AVT
| URI | m2://inv/FQKDBY4AVT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56292378, transseries (unknown). Also nLab transseries
History
- 2026-10-26: add by m2/dev
Hadwiger–Nelson problem FQMPDR79PP
| URI | m2://inv/FQMPDR79PP |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1383936, Hadwiger–Nelson problem (problem). Also MathWorld Hadwiger-NelsonProblem
History
- 2026-10-26: add by m2/dev
tautological bundle FQP31RJQ6S
| URI | m2://inv/FQP31RJQ6S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2397465, tautological bundle (unknown). Also nLab tautological line bundle
History
- 2026-10-26: add by m2/dev