Inventory rows 4B
The cards of the rows of the inventory whose ids start with 4B. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
exact sequence 4B291TEXYE
| URI | m2://inv/4B291TEXYE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1326955, exact sequence (definition). Also EoM Exact_sequence, MathWorld ExactSequence, nLab exact sequence, ProofWiki Definition:Exact_Chain_Complex, ProofWiki Definition:Exact_Sequence_of_Modules
History
- 2026-10-26: add by m2/dev
log-log plot 4B3AF3GHAP
| URI | m2://inv/4B3AF3GHAP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2091879, log-log plot (unknown). Also MathWorld Log-LogPlot
History
- 2026-10-26: add by m2/dev
Treatise on Natural Philosophy 4B62FW8KRH
| URI | m2://inv/4B62FW8KRH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3538287, Treatise on Natural Philosophy (unknown). Also ProofWiki Book:Sir_William_Thomson/Treatise_on_Natural_Philosophy
History
- 2026-10-26: add by m2/dev
topological group 4B7600JQMM
| URI | m2://inv/4B7600JQMM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > Topological algebra > topological group, topological group (unknown). Also Mathlib IsTopologicalGroup
History
- 2026-10-26: add by m2/dev
polar decompositions in $\mathrm{GL}(n, \R)$ 4B8G7H3QAX
| URI | m2://inv/4B8G7H3QAX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > polar decompositions in $\mathrm{GL}(n, \R)$, polar decompositions in $\mathrm{GL}(n, \R)$ (unknown)
History
- 2026-10-26: add by m2/dev
Wilson's theorem 4BCB15VWQ1
| URI | m2://inv/4BCB15VWQ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | Wilson's theorem 03KGGKTB2E |
Mentions
- mathlib_100: mathlib_100 51, Wilson’s Lemma (statement). Also Mathlib ZMod.wilsons_lemma
- mathlib_1000: mathlib_1000 Q276082, Wilson's theorem (statement). Also Mathlib ZMod.wilsons_lemma, Wikidata Q276082
- thousand_plus: thousand_plus Q276082, Wilson's theorem (statement). Also Mathlib ZMod.wilsons_lemma, Wikidata Q276082, Wikipedia Wilson's theorem
- wikidata: Wikidata Q276082, Wilson's theorem (statement). Also EoM Wilson_theorem, MathWorld WilsonsTheorem
History
- 2026-10-26: add by m2/dev
greater than 4BDP39AN6S
| URI | m2://inv/4BDP39AN6S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q47035128, greater than (unknown). Also MathWorld Greater
History
- 2026-10-26: add by m2/dev
Fredholm determinant 4BDZ4K2RNJ
| URI | m2://inv/4BDZ4K2RNJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3045336, Fredholm determinant (unknown). Also nLab Fredholm determinant
History
- 2026-10-26: add by m2/dev
Koszul complex 4BFH93V9NY
| URI | m2://inv/4BFH93V9NY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6433699, Koszul complex (concept). Also EoM Koszul_complex, nLab Koszul complex
History
- 2026-10-26: add by m2/dev
magic square 4BKC0W5T4J
| URI | m2://inv/4BKC0W5T4J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q192089, magic square (unknown). Also MathWorld MagicSquare
History
- 2026-10-26: add by m2/dev
simple Lie group 4BQBA7P8H0
| URI | m2://inv/4BQBA7P8H0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1003162, simple Lie group (unknown). Also nLab simple Lie group
History
- 2026-10-26: add by m2/dev
1087 4BQD7G76TA
| URI | m2://inv/4BQD7G76TA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5157328, 1087 (statement). Also ProofWiki 1087
History
- 2026-10-26: add by m2/dev
Additive energy 4BQNT71142
| URI | m2://inv/4BQNT71142 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Additive combinatorics > Additive energy, Additive energy (unknown). Also Mathlib Finset.addEnergy
History
- 2026-10-26: add by m2/dev
square-integrable function 4BWHNT8W2E
| URI | m2://inv/4BWHNT8W2E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1530791, square-integrable function (unknown). Also MathWorld L2-Function, nLab square integrable function
History
- 2026-10-26: add by m2/dev