Inventory rows 3D
The cards of the rows of the inventory whose ids start with 3D. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Weierstrass preparation theorem 3D1DD6M069
| URI | m2://inv/3D1DD6M069 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 32-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527219, Weierstrass preparation theorem (statement). Also Mathlib PowerSeries.exists_isWeierstrassFactorization, Wikidata Q3527219
- thousand_plus: thousand_plus Q3527219, Weierstrass preparation theorem (statement). Also Mathlib PowerSeries.exists_isWeierstrassFactorization, Wikidata Q3527219, Wikipedia Weierstrass preparation theorem
- wikidata: Wikidata Q3527219, Weierstrass preparation theorem (statement). Also nLab Weierstrass preparation theorem
History
- 2026-10-26: add by m2/dev
cluster point 3D1PVFE9SQ
| URI | m2://inv/3D1PVFE9SQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > cluster point, cluster point (unknown). Also Mathlib ClusterPt
- mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > cluster points, cluster points (unknown). Also Mathlib ClusterPt
History
- 2026-10-26: add by m2/dev
Kempner function 3D1RJNG34D
| URI | m2://inv/3D1RJNG34D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1414564, Kempner function (unknown). Also MathWorld SmarandacheFunction, OEIS A002034
History
- 2026-10-26: add by m2/dev
Lebesgue measure 3D72DCBVZ7
| URI | m2://inv/3D72DCBVZ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Measure theory > Lebesgue measure, Lebesgue measure (unknown). Also Mathlib MeasureTheory.MeasureSpace
History
- 2026-10-26: add by m2/dev
flexagon 3D8RDEBEKJ
| URI | m2://inv/3D8RDEBEKJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1960545, flexagon (unknown). Also MathWorld Flexagon
History
- 2026-10-26: add by m2/dev
binary relation 3DA0ME90Q1
| URI | m2://inv/3DA0ME90Q1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 03E20 |
| Sources | 1 |
| Outcome | open |
| Node | Binary relation 05AVARPXA2 |
Mentions
- wikidata: Wikidata Q130901, binary relation (topic)
History
- 2026-10-26: add by m2/dev
Euler method 3DE9B0QMP2
| URI | m2://inv/3DE9B0QMP2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Euler method 0JARTXX4XP |
Mentions
- wikidata: Wikidata Q868454, Euler method (statement). Also ProofWiki Euler_Method
History
- 2026-10-26: add by m2/dev
complement graph 3DNK9SS2M6
| URI | m2://inv/3DNK9SS2M6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Complement graph 0MCYJ72VGA |
Mentions
- wikidata: Wikidata Q902252, complement graph (unknown). Also MathWorld GraphComplement
History
- 2026-10-26: add by m2/dev
Mertens' second theorem 3DNQ01T9VN
| URI | m2://inv/3DNQ01T9VN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q118176598, Mertens' second theorem (statement). Also MathWorld MertensSecondTheorem
History
- 2026-10-26: add by m2/dev
Vandermonde polynomial 3DPXSPQA8H
| URI | m2://inv/3DPXSPQA8H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7914492, Vandermonde polynomial (concept). Also MathWorld VandermondeDeterminant
History
- 2026-10-26: add by m2/dev
Chern class 3DQK227G9N
| URI | m2://inv/3DQK227G9N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1069818, Chern class (concept). Also MathWorld ChernClass, nLab Chern class
History
- 2026-10-26: add by m2/dev
set of negative integers 3DRCBSQ2SX
| URI | m2://inv/3DRCBSQ2SX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q47379005, set of negative integers (unknown). Also MathWorld Z-
History
- 2026-10-26: add by m2/dev
string theory landscape 3DW3GY9VWC
| URI | m2://inv/3DW3GY9VWC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4253887, string theory landscape (unknown). Also nLab landscape of string theory vacua
History
- 2026-10-26: add by m2/dev