Inventory rows DP
The cards of the rows of the inventory whose ids start with DP. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Descartes Rule of Signs DP18G6ZPTN
| URI | m2://inv/DP18G6ZPTN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 100, Descartes Rule of Signs (statement). Also Mathlib Polynomial.roots_countP_pos_le_signVariations
History
- 2026-10-26: add by m2/dev
Gompertz constant DP5QMD8F4J
| URI | m2://inv/DP5QMD8F4J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17018254, Gompertz constant (concept). Also MathWorld GompertzConstant
History
- 2026-10-26: add by m2/dev
cube DP6DK5DT4F
| URI | m2://inv/DP6DK5DT4F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q812880, cube (definition). Also EoM Cube, MathWorld Cube, ProofWiki Definition:Cube/Geometry
History
- 2026-10-26: add by m2/dev
1-planar graph DP6Z7FMW5S
| URI | m2://inv/DP6Z7FMW5S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4545823, 1-planar graph (unknown). Also MathWorld 1-PlanarGraph
History
- 2026-10-26: add by m2/dev
Daniel Sternheimer DPD06VWMX7
| URI | m2://inv/DPD06VWMX7 |
|---|---|
| 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 Q46023413, Daniel Sternheimer (unknown). Also nLab Daniel Sternheimer
History
- 2026-10-26: add by m2/dev
topological vector bundle DPEXT3GZV8
| URI | m2://inv/DPEXT3GZV8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > topological vector bundle, topological vector bundle (unknown). Also Mathlib VectorBundle
History
- 2026-10-26: add by m2/dev
area of a triangle DPFQN5PVMT
| URI | m2://inv/DPFQN5PVMT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Area of a triangle 065JWMZW86 |
Mentions
- wikidata: Wikidata Q20183185, area of a triangle (statement). Also MathWorld TriangleArea, ProofWiki Area_of_Triangle
History
- 2026-10-26: add by m2/dev
continuity of the limit of a sequence of functions DPHGP4V2Q4
| URI | m2://inv/DPHGP4V2Q4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Sequences and series of functions > continuity of the limit of a sequence of functions, continuity of the limit of a sequence of functions (unknown). Also Mathlib continuous_of_uniform_approx_of_continuous
History
- 2026-10-26: add by m2/dev
improper integral DPKBRR863S
| URI | m2://inv/DPKBRR863S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Improper integral 05KQ3F99BQ |
Mentions
- wikidata: Wikidata Q464118, improper integral (unknown). Also EoM Improper_integral, MathWorld ImproperIntegral
History
- 2026-10-26: add by m2/dev
radius DPPZDZX519
| URI | m2://inv/DPPZDZX519 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q173817, radius (unknown). Also EoM Radius, MathWorld Radius
History
- 2026-10-26: add by m2/dev
Point groups in four dimensions DPX9SQRWZP
| URI | m2://inv/DPX9SQRWZP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17099598, Point groups in four dimensions (unknown). Also MathWorld UniformPolychoron
- wikidata: Wikidata Q2816686, uniform polychoron (unknown). Also MathWorld UniformPolychoron
History
- 2026-10-26: add by m2/dev
Étienne Bézout DPXBSZKATJ
| URI | m2://inv/DPXBSZKATJ |
|---|---|
| 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 Q289471, Étienne Bézout (unknown). Also ProofWiki Mathematician:Étienne_Bézout
History
- 2026-10-26: add by m2/dev
improper rotation DPXFSW4AWC
| URI | m2://inv/DPXFSW4AWC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1256684, improper rotation (unknown). Also MathWorld ImproperRotation
History
- 2026-10-26: add by m2/dev