Inventory rows CV
The cards of the rows of the inventory whose ids start with CV. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Netto's theorem CV078E845A
| URI | m2://inv/CV078E845A |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 54-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q112740521, Netto's theorem (statement). Also Wikidata Q112740521
- thousand_plus: thousand_plus Q112740521, Netto's theorem (statement). Also Wikidata Q112740521, Wikipedia Netto's theorem
History
- 2026-10-26: add by m2/dev
surface CV0DTXMV50
| URI | m2://inv/CV0DTXMV50 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3505239, surface (unknown). Also MathWorld Surface
History
- 2026-10-26: add by m2/dev
Avogadro constant CV2M4X8HN4
| URI | m2://inv/CV2M4X8HN4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6203, Avogadro constant (unknown). Also nLab Avogadro constant
History
- 2026-10-26: add by m2/dev
positive measure CVD9QYMJ5R
| URI | m2://inv/CVD9QYMJ5R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > positive measure, positive measure (unknown). Also Mathlib MeasureTheory.Measure
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Measure theory > positive measure, positive measure (unknown). Also Mathlib MeasureTheory.Measure
History
- 2026-10-26: add by m2/dev
self-adjoint matrix CVDDNHM0HY
| URI | m2://inv/CVDDNHM0HY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15847164, self-adjoint matrix (unknown). Also MathWorld Self-AdjointMatrix
History
- 2026-10-26: add by m2/dev
cosmology CVG5DVZ2SY
| URI | m2://inv/CVG5DVZ2SY |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 85A40 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q338, cosmology (topic)
History
- 2026-10-26: add by m2/dev
bicomplete category CVK1QH86RY
| URI | m2://inv/CVK1QH86RY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q47007890, bicomplete category (unknown). Also nLab bicomplete category
History
- 2026-10-26: add by m2/dev
Conway polynomial CVMSWRJA8V
| URI | m2://inv/CVMSWRJA8V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5166747, Conway polynomial (unknown). Also nLab Conway polynomial
History
- 2026-10-26: add by m2/dev
Lie ring CVMVYXNXYA
| URI | m2://inv/CVMVYXNXYA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6543829, Lie ring (unknown). Also EoM Lie_ring
History
- 2026-10-26: add by m2/dev
Fuhrmann circle CVPHCR5NRF
| URI | m2://inv/CVPHCR5NRF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5507320, Fuhrmann circle (concept). Also MathWorld FuhrmannCircle
History
- 2026-10-26: add by m2/dev
Theorem of three moments CVS5094B1Q
| URI | m2://inv/CVS5094B1Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7782348, Theorem of three moments (statement). Also Wikidata Q7782348
- thousand_plus: thousand_plus Q7782348, Theorem of three moments (statement). Also Wikidata Q7782348, Wikipedia Theorem of three moments
History
- 2026-10-26: add by m2/dev
subobject CVTHJF3B6P
| URI | m2://inv/CVTHJF3B6P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2547089, subobject (unknown). Also EoM Subobject, nLab subobject
History
- 2026-10-26: add by m2/dev
travelling salesperson problem CVTZCG5DJN
| URI | m2://inv/CVTZCG5DJN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q322212, travelling salesperson problem (unknown). Also EoM Travelling_salesman_problem, MathWorld TravelingSalesmanProblem
History
- 2026-10-26: add by m2/dev