Inventory rows Z6
The cards of the rows of the inventory whose ids start with Z6. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Cameron–Martin theorem Z60SZY8EG6
| URI | m2://inv/Z60SZY8EG6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 28-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5026435, Cameron–Martin theorem (statement). Also Wikidata Q5026435
- thousand_plus: thousand_plus Q5026435, Cameron–Martin theorem (statement). Also Wikidata Q5026435, Wikipedia Cameron–Martin theorem
History
- 2026-10-26: add by m2/dev
Philip Wadler Z61YBMZY1J
| URI | m2://inv/Z61YBMZY1J |
|---|---|
| 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 Q3379094, Philip Wadler (unknown). Also nLab Philip Wadler
History
- 2026-10-26: add by m2/dev
mean of product of independent random variables Z66THCJ9ZS
| URI | m2://inv/Z66THCJ9ZS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Random variables and their laws > mean of product of independent random variables, mean of product of independent random variables (unknown). Also Mathlib ProbabilityTheory.IndepFun.integral_mul_eq_mul_integral
History
- 2026-10-26: add by m2/dev
regular pentagon Z67E5KMJ15
| URI | m2://inv/Z67E5KMJ15 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4375921, regular pentagon (unknown). Also MathWorld RegularPentagon
History
- 2026-10-26: add by m2/dev
Regge calculus Z683FQQE2J
| URI | m2://inv/Z683FQQE2J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1055042, Regge calculus (concept). Also MathWorld ReggeCalculus
History
- 2026-10-26: add by m2/dev
jet Z6G67NKWN3
| URI | m2://inv/Z6G67NKWN3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q923480, jet (concept). Also EoM Jet, ProofWiki Definition:Jet
History
- 2026-10-26: add by m2/dev
Aristaeus the Elder Z6GDMZWN95
| URI | m2://inv/Z6GDMZWN95 |
|---|---|
| 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 Q2705291, Aristaeus the Elder (unknown). Also ProofWiki Mathematician:Aristaeus_the_Elder
History
- 2026-10-26: add by m2/dev
concrete category Z6J8X437PN
| URI | m2://inv/Z6J8X437PN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1575634, concrete category (unknown). Also nLab concrete category
History
- 2026-10-26: add by m2/dev
angle trisection Z6JA7CK84V
| URI | m2://inv/Z6JA7CK84V |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | Trisecting the angle 00J3DCCEK5 |
Mentions
- mathlib_1000: mathlib_1000 Q733081, Impossibility of angle trisection (statement). Also Wikidata Q733081
- thousand_plus: thousand_plus Q733081, Impossibility of angle trisection (statement). Also Wikidata Q733081
- wikidata: Wikidata Q733081, angle trisection (problem). Also EoM Trisection_of_an_angle, MathWorld AngleTrisection, ProofWiki Trisecting_the_Angle
History
- 2026-10-26: add by m2/dev
Great stellapentakis dodecahedron Z6KTB30EAZ
| URI | m2://inv/Z6KTB30EAZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5600392, Great stellapentakis dodecahedron (unknown). Also MathWorld GreatStellapentakisDodecahedron
History
- 2026-10-26: add by m2/dev
Alphonse de Polignac Z6M315GWQW
| URI | m2://inv/Z6M315GWQW |
|---|---|
| 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 Q2270375, Alphonse de Polignac (unknown). Also ProofWiki Mathematician:Alphonse_Armand_Charles_Georges_Marie_de_Polignac
History
- 2026-10-26: add by m2/dev
coversed cosine Z6TM3ZB2BZ
| URI | m2://inv/Z6TM3ZB2BZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q41449335, coversed cosine (unknown). Also MathWorld Covercosine
History
- 2026-10-26: add by m2/dev
Equichordal point Z6WGFNRYN5
| URI | m2://inv/Z6WGFNRYN5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5384439, Equichordal point (concept). Also MathWorld EquichordalPoin
History
- 2026-10-26: add by m2/dev
Ore extension Z6WWVJDXNV
| URI | m2://inv/Z6WWVJDXNV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7100975, Ore extension (concept). Also nLab Ore extension
History
- 2026-10-26: add by m2/dev
Charles-Michel Marle Z6X4AVZ2YF
| URI | m2://inv/Z6X4AVZ2YF |
|---|---|
| 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 Q62795869, Charles-Michel Marle (unknown). Also nLab Charles-Michel Marle
History
- 2026-10-26: add by m2/dev
separable polynomial Z6XNC8S6VV
| URI | m2://inv/Z6XNC8S6VV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Polynomials and power series > separable polynomial, separable polynomial (unknown). Also Mathlib Polynomial.Separable
History
- 2026-10-26: add by m2/dev