Inventory rows W7
The cards of the rows of the inventory whose ids start with W7. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
eigenvector W73N4DY4DN
| URI | m2://inv/W73N4DY4DN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Structure theory of endomorphisms > eigenvector, eigenvector (unknown). Also Mathlib Module.End.HasEigenvector
- mathlib_undergrad: mathlib_undergrad Linear algebra > Structure theory of endomorphisms > eigenvector, eigenvector (unknown). Also Mathlib Module.End.HasEigenvector
History
- 2026-10-26: add by m2/dev
W77EJQCXQ4 W77EJQCXQ4
| URI | m2://inv/W77EJQCXQ4 |
|---|---|
| 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 Q15454155 (unknown). Also nLab Bruce Blackadar
History
- 2026-10-26: add by m2/dev
symmetric relation W7AYYEJG1C
| URI | m2://inv/W7AYYEJG1C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Symmetric relation 061J5VGSPT |
Mentions
- wikidata: Wikidata Q621461, symmetric relation (definition). Also MathWorld SymmetricRelation, nLab symmetric relation, ProofWiki Definition:Symmetric_Relation
History
- 2026-10-26: add by m2/dev
The Independence of the Continuum Hypothesis W7B0WKKAFF
| URI | m2://inv/W7B0WKKAFF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 24, The Independence of the Continuum Hypothesis (statement)
History
- 2026-10-26: add by m2/dev
Fermat's principle W7B84XQAVD
| URI | m2://inv/W7B84XQAVD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q331041, Fermat's principle (statement). Also ProofWiki Fermat's_Principle_of_Least_Time
History
- 2026-10-26: add by m2/dev
Gaussian moat W7FK1S2S5D
| URI | m2://inv/W7FK1S2S5D |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5527841, Gaussian moat (problem). Also MathWorld Moat-CrossingProblem
History
- 2026-10-26: add by m2/dev
centered octahedral number W7JYA29B7W
| URI | m2://inv/W7JYA29B7W |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14390354, centered octahedral number (object). Also OEIS A001845
History
- 2026-10-26: add by m2/dev
quadratic algebra W7T5053RCB
| URI | m2://inv/W7T5053RCB |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 17A45 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7268354, quadratic algebra (topic). Also nLab quadratic algebra
History
- 2026-10-26: add by m2/dev
Nevanlinna theory W7W26S7D21
| URI | m2://inv/W7W26S7D21 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1281926, Nevanlinna theory (topic). Also MathWorld NevanlinnaTheory
History
- 2026-10-26: add by m2/dev
denying the antecedent W7WKXE049N
| URI | m2://inv/W7WKXE049N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2296529, denying the antecedent (statement). Also ProofWiki Denying_the_Antecedent
History
- 2026-10-26: add by m2/dev
Hurwitz's theorem (normed division algebras) W7X5188KBX
| URI | m2://inv/W7X5188KBX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 17-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1139430, Hurwitz's theorem (normed division algebras) (statement). Also Wikidata Q1139430
- thousand_plus: thousand_plus Q1139430, Hurwitz's theorem (statement). Also Wikidata Q1139430, Wikipedia Hurwitz's theorem (normed division algebras)
History
- 2026-10-26: add by m2/dev