Inventory rows 1Y
The cards of the rows of the inventory whose ids start with 1Y. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
axiom of constructibility 1Y14Y1S86N
| URI | m2://inv/1Y14Y1S86N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1151112, axiom of constructibility (unknown). Also nLab axiom of constructibility
History
- 2026-10-26: add by m2/dev
Frobenius algebra 1Y1VCB7BWE
| URI | m2://inv/1Y1VCB7BWE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5505100, Frobenius algebra (concept). Also nLab Frobenius algebra
History
- 2026-10-26: add by m2/dev
Paris–Harrington theorem 1Y32DKQH8V
| URI | m2://inv/1Y32DKQH8V |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7137494, Paris–Harrington theorem (statement). Also Wikidata Q7137494
- thousand_plus: thousand_plus Q7137494, Paris–Harrington theorem (statement). Also Wikidata Q7137494, Wikipedia Paris–Harrington theorem
- wikidata: Wikidata Q7137494, Paris–Harrington theorem (statement). Also MathWorld Paris-HarringtonTheorem
History
- 2026-10-26: add by m2/dev
Cayley–Hamilton theorem 1Y621BVW58
| URI | m2://inv/1Y621BVW58 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 15-XX |
| Sources | 6 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Cayley–Hamilton theorem 0F765KFC2J |
Mentions
- mathlib_100: mathlib_100 49, The Cayley-Hamilton Theorem (statement). Also Mathlib Matrix.aeval_self_charpoly
- mathlib_1000: mathlib_1000 Q656772, Cayley–Hamilton theorem (statement). Also Mathlib Matrix.aeval_self_charpoly, Wikidata Q656772
- mathlib_overview: mathlib_overview Linear algebra > Endomorphism polynomials > Cayley-Hamilton theorem, Cayley-Hamilton theorem (unknown). Also Mathlib Matrix.aeval_self_charpoly
- mathlib_undergrad: mathlib_undergrad Linear algebra > Endomorphism polynomials > Cayley-Hamilton theorem, Cayley-Hamilton theorem (unknown). Also Mathlib Matrix.aeval_self_charpoly
- thousand_plus: thousand_plus Q656772, Cayley–Hamilton theorem (statement). Also Mathlib Matrix.aeval_self_charpoly, Wikidata Q656772, Wikipedia Cayley–Hamilton theorem
- wikidata: Wikidata Q656772, Cayley–Hamilton theorem (statement). Also EoM Cayley-Hamilton_theorem, MathWorld Cayley-HamiltonTheorem, ProofWiki Cayley-Hamilton_Theorem
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Parabolic cylinder function 1Y6QKQJCHB
| URI | m2://inv/1Y6QKQJCHB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3754582, Parabolic cylinder function (concept). Also EoM Weber_equation, MathWorld ParabolicCylinderFunction
History
- 2026-10-26: add by m2/dev
natural norm 1Y7F05WEPA
| URI | m2://inv/1Y7F05WEPA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1971708, natural norm (unknown). Also MathWorld NaturalNorm
History
- 2026-10-26: add by m2/dev
Martin Beale 1YF34RFH2C
| URI | m2://inv/1YF34RFH2C |
|---|---|
| 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 Q6774968, Martin Beale (unknown). Also ProofWiki Mathematician:Evelyn_Martin_Lansdowne_Beale
History
- 2026-10-26: add by m2/dev
random cluster model 1YJSJN7D53
| URI | m2://inv/1YJSJN7D53 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q65067094, random cluster model (unknown). Also MathWorld Random-ClusterModel
History
- 2026-10-26: add by m2/dev
classical physics 1YK0V7FS8M
| URI | m2://inv/1YK0V7FS8M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q81745, classical physics (unknown). Also nLab classical physics
History
- 2026-10-26: add by m2/dev
coversine 1YQ1WM7AN0
| URI | m2://inv/1YQ1WM7AN0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1897347, coversine (unknown). Also MathWorld Coversine
History
- 2026-10-26: add by m2/dev
conformal map projection 1YQ7VP8NT3
| URI | m2://inv/1YQ7VP8NT3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1522071, conformal map projection (unknown). Also MathWorld ConformalProjection
History
- 2026-10-26: add by m2/dev
Young–Fibonacci lattice 1YQDDA799Q
| URI | m2://inv/1YQDDA799Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8058685, Young–Fibonacci lattice (unknown). Also nLab Young–Fibonacci lattice
History
- 2026-10-26: add by m2/dev
Patrick Suppes 1YT8Y367XN
| URI | m2://inv/1YT8Y367XN |
|---|---|
| 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 Q323107, Patrick Suppes (unknown). Also ProofWiki Mathematician:Patrick_Colonel_Suppes
History
- 2026-10-26: add by m2/dev
Erik Alfsen 1YTQ8K2T2F
| URI | m2://inv/1YTQ8K2T2F |
|---|---|
| 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 Q3428807, Erik Alfsen (unknown). Also nLab Erik Alfsen
History
- 2026-10-26: add by m2/dev
George Grätzer 1YVK6XQ3W2
| URI | m2://inv/1YVK6XQ3W2 |
|---|---|
| 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 Q1028366, George Grätzer (unknown). Also ProofWiki Mathematician:George_A._Grätzer
History
- 2026-10-26: add by m2/dev
Mark Pollicott 1YYAHM5CXH
| URI | m2://inv/1YYAHM5CXH |
|---|---|
| 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 Q6769288, Mark Pollicott (unknown). Also nLab Mark Pollicott
History
- 2026-10-26: add by m2/dev
normed vector space over a normed field 1YYTVJKRKT
| URI | m2://inv/1YYTVJKRKT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Normed vector spaces/Banach spaces > normed vector space over a normed field, normed vector space over a normed field (unknown). Also Mathlib NormedSpace
History
- 2026-10-26: add by m2/dev
Harries graph 1YZ68FHF9R
| URI | m2://inv/1YZ68FHF9R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115500, Harries graph (unknown). Also House of Graphs 1146, MathWorld HarriesGraph
History
- 2026-10-26: add by m2/dev