Inventory rows 62
The cards of the rows of the inventory whose ids start with 62. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
zero polynomial 6282Z94G00
| URI | m2://inv/6282Z94G00 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56351550, zero polynomial (unknown). Also MathWorld ZeroPolynomial
History
- 2026-10-26: add by m2/dev
virgule 62B9R3JD29
| URI | m2://inv/62B9R3JD29 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141150577, virgule (unknown). Also MathWorld Virgule
History
- 2026-10-26: add by m2/dev
Barwise compactness theorem 62BFD5MQK7
| URI | m2://inv/62BFD5MQK7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4865980, Barwise compactness theorem (statement). Also Wikidata Q4865980
- thousand_plus: thousand_plus Q4865980, Barwise compactness theorem (statement). Also Wikidata Q4865980, Wikipedia Barwise compactness theorem
History
- 2026-10-26: add by m2/dev
Gérard Huet 62FS3QGSRK
| URI | m2://inv/62FS3QGSRK |
|---|---|
| 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 Q974366, Gérard Huet (unknown). Also nLab Gérard Huet
History
- 2026-10-26: add by m2/dev
local existence of integral curves 62N6G35744
| URI | m2://inv/62N6G35744 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > local existence of integral curves, local existence of integral curves (unknown). Also Mathlib exists_isMIntegralCurveAt_of_contMDiffAt_boundaryless
History
- 2026-10-26: add by m2/dev
Bring radical 62NT6THPVQ
| URI | m2://inv/62NT6THPVQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2386216, Bring radical (concept). Also MathWorld Ultraradical
History
- 2026-10-26: add by m2/dev
Casey’s theorem 62VSSWJRDW
| URI | m2://inv/62VSSWJRDW |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1370316, Casey's theorem (statement). Also Wikidata Q1370316
- thousand_plus: thousand_plus Q1370316, Casey's theorem (statement). Also Wikidata Q1370316, Wikipedia Casey's theorem
- wikidata: Wikidata Q1370316, Casey’s theorem (statement). Also MathWorld CaseysTheorem
History
- 2026-10-26: add by m2/dev
Wagner's theorem 62ZJ2SK9BY
| URI | m2://inv/62ZJ2SK9BY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7959587, Wagner's theorem (statement). Also Wikidata Q7959587
- thousand_plus: thousand_plus Q7959587, Wagner's theorem (statement). Also Wikidata Q7959587, Wikipedia Wagner's theorem
History
- 2026-10-26: add by m2/dev