Inventory rows Y5
The cards of the rows of the inventory whose ids start with Y5. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
reparameterization Y50CMVCJDA
| URI | m2://inv/Y50CMVCJDA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q105332763, reparameterization (concept). Also MathWorld Reparameterization
History
- 2026-10-26: add by m2/dev
Pietro Fré Y50WTKCGYN
| URI | m2://inv/Y50WTKCGYN |
|---|---|
| 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 Q57077418, Pietro Fré (unknown). Also nLab Pietro Fré
History
- 2026-10-26: add by m2/dev
geodetic number Y50X6DSHPQ
| URI | m2://inv/Y50X6DSHPQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130426302, geodetic number (unknown). Also MathWorld GeodeticNumber
History
- 2026-10-26: add by m2/dev
Poincaré–Hopf theorem Y53DFZZ0VR
| URI | m2://inv/Y53DFZZ0VR |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 57-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1305766, Poincaré–Hopf theorem (statement). Also Wikidata Q1305766
- thousand_plus: thousand_plus Q1305766, Poincaré–Hopf theorem (statement). Also Wikidata Q1305766, Wikipedia Poincaré–Hopf theorem
- wikidata: Wikidata Q1305766, Poincaré–Hopf theorem (statement). Also EoM Poincaré-Hopf_theorem, nLab Poincaré–Hopf theorem
History
- 2026-10-26: add by m2/dev
Nasir al-Din al-Tusi Y53DNTW730
| URI | m2://inv/Y53DNTW730 |
|---|---|
| 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 Q302835, Nasir al-Din al-Tusi (unknown). Also ProofWiki Mathematician:Nasir_al-Din_al-Tusi
History
- 2026-10-26: add by m2/dev
Walter theorem Y573XHRGZ1
| URI | m2://inv/Y573XHRGZ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7966545, Walter theorem (statement). Also Wikidata Q7966545
- thousand_plus: thousand_plus Q7966545, Walter theorem (statement). Also Wikidata Q7966545, Wikipedia Walter theorem
History
- 2026-10-26: add by m2/dev
lowest common denominator Y59ZNC8PK9
| URI | m2://inv/Y59ZNC8PK9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2144533, lowest common denominator (unknown). Also MathWorld LeastCommonDenominator
History
- 2026-10-26: add by m2/dev
present Y5BPC79YTE
| URI | m2://inv/Y5BPC79YTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q193168, present (definition). Also ProofWiki Definition:Present
History
- 2026-10-26: add by m2/dev
Moon Y5D12128XQ
| URI | m2://inv/Y5D12128XQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q405, Moon (definition). Also ProofWiki Definition:Moon
History
- 2026-10-26: add by m2/dev
model complete theory Y5D27NWBGT
| URI | m2://inv/Y5D27NWBGT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6888319, model complete theory (unknown). Also nLab model complete theory
History
- 2026-10-26: add by m2/dev
complete Boolean algebra Y5HY00WM48
| URI | m2://inv/Y5HY00WM48 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5156447, complete Boolean algebra (unknown). Also nLab complete Boolean algebra
History
- 2026-10-26: add by m2/dev
singular point of a curve Y5J2DJBZ1M
| URI | m2://inv/Y5J2DJBZ1M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3847057, singular point of a curve (unknown). Also MathWorld SingularPoint, nLab singular point of a curve
History
- 2026-10-26: add by m2/dev
quadric surface Y5N2W339WD
| URI | m2://inv/Y5N2W339WD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q21651861, quadric surface (unknown). Also MathWorld QuadraticSurface
History
- 2026-10-26: add by m2/dev
basis Y5Q1TGEXZH
| URI | m2://inv/Y5Q1TGEXZH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Fundamentals > basis, basis (unknown). Also Mathlib Module.Basis
- mathlib_undergrad: mathlib_undergrad Linear algebra > Fundamentals > bases, bases (unknown). Also Mathlib Module.Basis
History
- 2026-10-26: add by m2/dev
Reciprocity theorem Y5X1CQQZ7Q
| URI | m2://inv/Y5X1CQQZ7Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9085978, Reciprocity theorem (concept). Also MathWorld ReciprocityTheorem
History
- 2026-10-26: add by m2/dev
locally compact space Y5YV9YEXA9
| URI | m2://inv/Y5YV9YEXA9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Locally compact space 0FE2SB8WVJ |
Mentions
- wikidata: Wikidata Q583034, locally compact space (unknown). Also MathWorld LocallyCompact
History
- 2026-10-26: add by m2/dev