Inventory rows E6
The cards of the rows of the inventory whose ids start with E6. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Pick’s Theorem E61NND89ZQ
| URI | m2://inv/E61NND89ZQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 92, Pick’s Theorem (statement)
History
- 2026-10-26: add by m2/dev
division algebra E61TEA7HHT
| URI | m2://inv/E61TEA7HHT |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 17A35 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1231309, division algebra (topic). Also MathWorld DivisionAlgebra
History
- 2026-10-26: add by m2/dev
Sum of a Geometric Series E65ZVCVQF6
| URI | m2://inv/E65ZVCVQF6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 66, Sum of a Geometric Series (statement). Also Mathlib geom_sum_Ico, Mathlib NNReal.hasSum_geometric
History
- 2026-10-26: add by m2/dev
rounded rectangle E68KQT9JYH
| URI | m2://inv/E68KQT9JYH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q120446160, rounded rectangle (unknown). Also MathWorld RoundedRectangle
History
- 2026-10-26: add by m2/dev
logical operator E6D5JNDT0H
| URI | m2://inv/E6D5JNDT0H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q211790, logical operator (definition). Also EoM Propositional_connective, nLab logical connective, ProofWiki Definition:Logical_Connective
History
- 2026-10-26: add by m2/dev
noose E6E5SMN0PY
| URI | m2://inv/E6E5SMN0PY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1583329, noose (unknown). Also MathWorld RunningKnot
History
- 2026-10-26: add by m2/dev
Archimedes' hat-box theorem E6E98MGNPJ
| URI | m2://inv/E6E98MGNPJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2226575, Archimedes' hat-box theorem (statement). Also MathWorld ArchimedesHat-BoxTheorem
History
- 2026-10-26: add by m2/dev
symmetric group E6FTXK2B33
| URI | m2://inv/E6FTXK2B33 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Symmetric group 0515A6D2Y1 |
Mentions
- wikidata: Wikidata Q849512, symmetric group (definition). Also EoM Symmetric_group, LMFDB knowl group.symmetric, MathWorld SymmetricGroup, nLab symmetric group, ProofWiki Definition:Symmetric_Group
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
William Fulton E6GK8XD8MJ
| URI | m2://inv/E6GK8XD8MJ |
|---|---|
| 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 Q2061291, William Fulton (unknown). Also nLab William Fulton
History
- 2026-10-26: add by m2/dev
Lafforgue's theorem E6N6HYEKB7
| URI | m2://inv/E6N6HYEKB7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6471668, Lafforgue's theorem (statement). Also Wikidata Q6471668
- thousand_plus: thousand_plus Q6471668, Lafforgue's theorem (statement). Also Wikidata Q6471668, Wikipedia Lafforgue's theorem
History
- 2026-10-26: add by m2/dev
algebraic geometry E6W787J4AA
| URI | m2://inv/E6W787J4AA |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q180969, algebraic geometry (topic). Also EoM Algebraic_geometry, MathWorld AlgebraicGeometry, nLab algebraic geometry, ProofWiki Definition:Algebraic_Geometry
History
- 2026-10-26: add by m2/dev
projective unitary group E6WNVE6MK4
| URI | m2://inv/E6WNVE6MK4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7249475, projective unitary group (unknown). Also MathWorld ProjectiveGeneralUnitaryGroup, nLab projective unitary group
History
- 2026-10-26: add by m2/dev
Bolza problem E6XR6G771R
| URI | m2://inv/E6XR6G771R |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4183824, Bolza problem (problem). Also MathWorld BolzaProblem
History
- 2026-10-26: add by m2/dev