Inventory rows 3P
The cards of the rows of the inventory whose ids start with 3P. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Abel's binomial theorem 3P0JQXS32C
| URI | m2://inv/3P0JQXS32C |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q268031, Abel's binomial theorem (statement). Also Wikidata Q268031
- thousand_plus: thousand_plus Q268031, Abel's binomial theorem (statement). Also Wikidata Q268031, Wikipedia Abel's binomial theorem
- wikidata: Wikidata Q268031, Abel's binomial theorem (statement). Also MathWorld AbelsBinomialTheorem, MathWorld AbelsTheorem
History
- 2026-10-26: add by m2/dev
Out shuffle 3P498KCZYW
| URI | m2://inv/3P498KCZYW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7111825, Out shuffle (concept). Also MathWorld Out-Shuffle
History
- 2026-10-26: add by m2/dev
genus 3P55FDK0D9
| URI | m2://inv/3P55FDK0D9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130419912, genus (unknown). Also MathWorld GraphGenus
History
- 2026-10-26: add by m2/dev
Khinchin's theorem on the factorization of distributions 3P572VJ534
| URI | m2://inv/3P572VJ534 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28403771, Khinchin's theorem on the factorization of distributions (statement). Also EoM Khinchin_theorem
History
- 2026-10-26: add by m2/dev
epimorphism 3P5G9F0H96
| URI | m2://inv/3P5G9F0H96 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1347208, epimorphism (unknown). Also nLab epimorphism
History
- 2026-10-26: add by m2/dev
closed interval 3P6RZTGANH
| URI | m2://inv/3P6RZTGANH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > closed interval, closed interval (unknown). Also Mathlib instIsManifoldIcc
History
- 2026-10-26: add by m2/dev
Weber's theorem 3P75P3EAJP
| URI | m2://inv/3P75P3EAJP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7978735, Weber's theorem (Algebraic curves) (statement). Also Wikidata Q7978735
- thousand_plus: thousand_plus Q7978735, Weber's theorem (statement). Also Wikidata Q7978735, Wikipedia Weber's theorem (Algebraic curves)
- wikidata: Wikidata Q7978735, Weber's theorem (statement). Also MathWorld WebersTheorem
History
- 2026-10-26: add by m2/dev
commutative diagram 3P8Y8CGM13
| URI | m2://inv/3P8Y8CGM13 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q621542, commutative diagram (definition). Also MathWorld CommutativeDiagram, nLab commutative diagram, ProofWiki Definition:Commutative_Diagram
History
- 2026-10-26: add by m2/dev
Smarandache–Wellin number 3PACZPQ8MF
| URI | m2://inv/3PACZPQ8MF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1091176, Smarandache–Wellin number (unknown). Also MathWorld Smarandache-WellinNumber, OEIS A019518
History
- 2026-10-26: add by m2/dev
Z function 3PB4VRH567
| URI | m2://inv/3PB4VRH567 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8063364, Z function (unknown). Also LMFDB knowl lfunction.zfunction
History
- 2026-10-26: add by m2/dev
partial derivatives commute 3PCVDMGQ8V
| URI | m2://inv/3PCVDMGQ8V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > partial derivatives commute, partial derivatives commute (unknown). Also Mathlib second_derivative_symmetric
History
- 2026-10-26: add by m2/dev
$k$-th order partial derivatives 3PH1RPQ58N
| URI | m2://inv/3PH1RPQ58N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > $k$-th order partial derivatives, $k$-th order partial derivatives (unknown)
History
- 2026-10-26: add by m2/dev
Balian–Low theorem 3PH1W0QRY3
| URI | m2://inv/3PH1W0QRY3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 42-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527008, Balian–Low theorem (statement). Also Wikidata Q3527008
- thousand_plus: thousand_plus Q3527008, Balian–Low theorem (statement). Also Wikidata Q3527008, Wikipedia Balian–Low theorem
History
- 2026-10-26: add by m2/dev
rooted graph 3PHER367AR
| URI | m2://inv/3PHER367AR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7366593, rooted graph (unknown). Also MathWorld RootedGraph
History
- 2026-10-26: add by m2/dev
elementary symmetric polynomial 3PHT76YZR6
| URI | m2://inv/3PHT76YZR6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Elementary symmetric polynomial 0X5QVCF06N |
Mentions
- wikidata: Wikidata Q2235316, elementary symmetric polynomial (unknown). Also EoM Elementary_symmetric_polynomial, MathWorld ElementarySymmetricPolynomial, nLab elementary symmetric polynomial
History
- 2026-10-26: add by m2/dev
path 3PKV3T0A2M
| URI | m2://inv/3PKV3T0A2M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Path 03NAMV1DHJ |
Mentions
- wikidata: Wikidata Q1415372, path (unknown). Also MathWorld GraphPath
History
- 2026-10-26: add by m2/dev
Lemon 3PNDD8534N
| URI | m2://inv/3PNDD8534N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q85776234, Lemon (unknown). Also MathWorld LemonSurface
History
- 2026-10-26: add by m2/dev
satisfiability 3PPWZZX8HQ
| URI | m2://inv/3PPWZZX8HQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1350299, satisfiability (unknown). Also MathWorld Satisfiable
History
- 2026-10-26: add by m2/dev
commutative monoid 3PRG2E1FTB
| URI | m2://inv/3PRG2E1FTB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19934355, commutative monoid (unknown). Also MathWorld CommutativeMonoid, nLab commutative monoid
History
- 2026-10-26: add by m2/dev