Inventory rows 4T
The cards of the rows of the inventory whose ids start with 4T. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Zohar Komargodski 4T12WZW08S
| URI | m2://inv/4T12WZW08S |
|---|---|
| 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 Q1483432, Zohar Komargodski (unknown). Also nLab Zohar Komargodski
History
- 2026-10-26: add by m2/dev
Bloch sphere 4T16ZE3C3H
| URI | m2://inv/4T16ZE3C3H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q884593, Bloch sphere (unknown). Also MathWorld BlochSphere
History
- 2026-10-26: add by m2/dev
Évariste Galois 4T2GGJS88C
| URI | m2://inv/4T2GGJS88C |
|---|---|
| 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 Q7091, Évariste Galois (unknown). Also nLab Évariste Galois, ProofWiki Mathematician:Évariste_Galois
History
- 2026-10-26: add by m2/dev
long multiplication 4T2JFCV78G
| URI | m2://inv/4T2JFCV78G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q29973476, long multiplication (unknown). Also MathWorld LongMultiplication
History
- 2026-10-26: add by m2/dev
truncated icosidodecahedron 4T413FKJDD
| URI | m2://inv/4T413FKJDD |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q592806, truncated icosidodecahedron (object). Also MathWorld GreatRhombicosidodecahedron
History
- 2026-10-26: add by m2/dev
Smith normal form 4T5KCKHA7V
| URI | m2://inv/4T5KCKHA7V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7545384, Smith normal form (concept). Also MathWorld SmithNormalForm, nLab Smith normal form
History
- 2026-10-26: add by m2/dev
Topkis's theorem 4TA9KFRJ16
| URI | m2://inv/4TA9KFRJ16 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7824894, Topkis's theorem (statement). Also Wikidata Q7824894
- thousand_plus: thousand_plus Q7824894, Topkis's theorem (statement). Also Wikidata Q7824894, Wikipedia Topkis's theorem
History
- 2026-10-26: add by m2/dev
Eternity puzzle 4THAZM829T
| URI | m2://inv/4THAZM829T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1371069, Eternity puzzle (unknown). Also MathWorld Eternity
History
- 2026-10-26: add by m2/dev
Heron's method 4THBMJ5J6D
| URI | m2://inv/4THBMJ5J6D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20725439, Heron's method (concept). Also ProofWiki Hero's_Method
History
- 2026-10-26: add by m2/dev
mean value theorem 4TKPWAMTD1
| URI | m2://inv/4TKPWAMTD1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 6 |
| Outcome | open |
| Node | Mean value theorem 0BARQY52N5 |
Mentions
- mathlib_100: mathlib_100 75, The Mean Value Theorem (statement). Also Mathlib exists_deriv_eq_slope
- mathlib_1000: mathlib_1000 Q189136, Mean value theorem (statement). Also Mathlib exists_deriv_eq_slope, Mathlib exists_ratio_deriv_eq_ratio_slope, Wikidata Q189136
- mathlib_overview: mathlib_overview Analysis > Differentiability > mean value theorem, mean value theorem (unknown). Also Mathlib exists_ratio_deriv_eq_ratio_slope
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > mean value theorem, mean value theorem (unknown). Also Mathlib exists_ratio_deriv_eq_ratio_slope
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Differentiability > mean value theorem, mean value theorem (unknown). Also Mathlib exists_ratio_deriv_eq_ratio_slope
- thousand_plus: thousand_plus Q189136, Mean value theorem (statement). Also Mathlib exists_deriv_eq_slope, Mathlib exists_ratio_deriv_eq_ratio_slope, Wikidata Q189136, Wikipedia Mean value theorem
- wikidata: Wikidata Q189136, mean value theorem (statement). Also MathWorld Mean-ValueTheorem, nLab mean value theorem, ProofWiki Mean_Value_Theorem
History
- 2026-10-26: add by m2/dev
Truchet tiles 4TMB536JZ0
| URI | m2://inv/4TMB536JZ0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7847153, Truchet tiles (unknown). Also MathWorld TruchetTiling
History
- 2026-10-26: add by m2/dev
extended supersymmetry 4TMBGF22BY
| URI | m2://inv/4TMBGF22BY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55643022, extended supersymmetry (unknown). Also nLab extended supersymmetry
History
- 2026-10-26: add by m2/dev
elliptic curve theory 4TQ0Y9VF03
| URI | m2://inv/4TQ0Y9VF03 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 14H52 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114702279, elliptic curve theory (topic)
History
- 2026-10-26: add by m2/dev
Kempf–Ness theorem 4TTDB6KA9X
| URI | m2://inv/4TTDB6KA9X |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6387087, Kempf–Ness theorem (statement). Also Wikidata Q6387087
- thousand_plus: thousand_plus Q6387087, Kempf–Ness theorem (statement). Also Wikidata Q6387087, Wikipedia Kempf–Ness theorem
History
- 2026-10-26: add by m2/dev
coimage 4TV8G6DRY9
| URI | m2://inv/4TV8G6DRY9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9388290, coimage (unknown). Also nLab coimage
History
- 2026-10-26: add by m2/dev
spherical coordinate system 4TW55T8PS3
| URI | m2://inv/4TW55T8PS3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Spherical coordinates 01QFQAQ2PA |
Mentions
- wikidata: Wikidata Q203218, spherical coordinate system (unknown). Also MathWorld SphericalCoordinates
History
- 2026-10-26: add by m2/dev
random graph 4TXRDRMB4X
| URI | m2://inv/4TXRDRMB4X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q910404, random graph (unknown). Also MathWorld RandomGraph
History
- 2026-10-26: add by m2/dev
ham sandwich theorem 4TYQB67TH3
| URI | m2://inv/4TYQB67TH3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 54-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q730222, Ham sandwich theorem (statement). Also Wikidata Q730222
- thousand_plus: thousand_plus Q730222, Ham sandwich theorem (statement). Also Wikidata Q730222, Wikipedia Ham sandwich theorem, Wikipedia Stone–Tukey theorem
- wikidata: Wikidata Q730222, ham sandwich theorem (statement). Also MathWorld HamSandwichTheorem
History
- 2026-10-26: add by m2/dev