Inventory rows Y0
The cards of the rows of the inventory whose ids start with Y0. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
finite strain theory Y00MTYT3SH
| URI | m2://inv/Y00MTYT3SH |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 74B20 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15300737, finite strain theory (topic)
History
- 2026-10-26: add by m2/dev
Behnke–Stein theorem Y016DBR4G0
| URI | m2://inv/Y016DBR4G0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 32-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4880958, Behnke–Stein theorem (statement). Also Wikidata Q4880958
- thousand_plus: thousand_plus Q4880958, Behnke–Stein theorem (statement). Also Wikidata Q4880958, Wikipedia Behnke–Stein theorem
History
- 2026-10-26: add by m2/dev
mathematical operation Y06JD5BM0W
| URI | m2://inv/Y06JD5BM0W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3884033, mathematical operation (unknown). Also MathWorld Operation
History
- 2026-10-26: add by m2/dev
The Principle of Mathematical Induction Y06V3AEBBF
| URI | m2://inv/Y06V3AEBBF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 74, The Principle of Mathematical Induction (statement). Also Mathlib Nat
- mathlib_overview: mathlib_overview General algebra > Numbers > natural number, natural number (unknown). Also Mathlib Nat
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Sequences of real numbers > recurrent sequences, recurrent sequences (unknown). Also Mathlib Nat
History
- 2026-10-26: add by m2/dev
Lucas sequence Y07VN7VJQG
| URI | m2://inv/Y07VN7VJQG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1759646, Lucas sequence (concept). Also MathWorld LucasSequence
History
- 2026-10-26: add by m2/dev
block diagonal matrix Y0BGT8MB60
| URI | m2://inv/Y0BGT8MB60 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2933833, block diagonal matrix (unknown). Also MathWorld BlockDiagonalMatrix
History
- 2026-10-26: add by m2/dev
global section Y0E0K39E1V
| URI | m2://inv/Y0E0K39E1V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91783823, global section (unknown). Also nLab global section
History
- 2026-10-26: add by m2/dev
differential algebra Y0E7A1R1QA
| URI | m2://inv/Y0E7A1R1QA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91915305, differential algebra (topic). Also EoM Differential_algebra, MathWorld DifferentialAlgebra
History
- 2026-10-26: add by m2/dev
asymmetric graph Y0H570F4J6
| URI | m2://inv/Y0H570F4J6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3034855, asymmetric graph (unknown). Also MathWorld IdentityGraph, OEIS A003400
History
- 2026-10-26: add by m2/dev
derived scheme Y0PJPZVTQR
| URI | m2://inv/Y0PJPZVTQR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16959947, derived scheme (unknown). Also nLab derived scheme
History
- 2026-10-26: add by m2/dev
Poinsot's spirals Y0PSDY22QG
| URI | m2://inv/Y0PSDY22QG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q527907, Poinsot's spirals (concept). Also MathWorld PoinsotsSpirals
History
- 2026-10-26: add by m2/dev
projective geometry Y0Z4ATB7S2
| URI | m2://inv/Y0Z4ATB7S2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q177409, projective geometry (definition). Also MathWorld ProjectiveGeometry, nLab projective geometry, ProofWiki Definition:Projective_Geometry
History
- 2026-10-26: add by m2/dev
Eberhard Freitag Y0ZKHRRJ83
| URI | m2://inv/Y0ZKHRRJ83 |
|---|---|
| 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 Q1278986, Eberhard Freitag (unknown). Also nLab Eberhard Freitag
History
- 2026-10-26: add by m2/dev