Inventory rows P9
The cards of the rows of the inventory whose ids start with P9. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Beno Eckmann P92FAQB7TT
| URI | m2://inv/P92FAQB7TT |
|---|---|
| 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 Q124582, Beno Eckmann (unknown). Also nLab Beno Eckmann
History
- 2026-10-26: add by m2/dev
parallelogram P97V5EEQKF
| URI | m2://inv/P97V5EEQKF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q45867, parallelogram (unknown). Also EoM Parallelogram, MathWorld Parallelogram
History
- 2026-10-26: add by m2/dev
Parseval's theorem P9AGCNT6B8
| URI | m2://inv/P9AGCNT6B8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 42-XX |
| Sources | 5 |
| Outcome | open |
| Node | Parseval's identity 047RFCNVSK |
Mentions
- mathlib_1000: mathlib_1000 Q1443036, Parseval's theorem (statement). Also Mathlib tsum_sq_fourierCoeff, Wikidata Q1443036
- mathlib_overview: mathlib_overview Analysis > Fourier analysis > Parseval formula for Fourier series, Parseval formula for Fourier series (unknown). Also Mathlib tsum_sq_fourierCoeff
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Fourier analysis > Parseval theorem, Parseval theorem (unknown). Also Mathlib tsum_sq_fourierCoeff
- thousand_plus: thousand_plus Q1443036, Parseval's theorem (statement). Also Mathlib tsum_sq_fourierCoeff, Wikidata Q1443036, Wikipedia Parseval's theorem
- wikidata: Wikidata Q1443036, Parseval's theorem (statement). Also MathWorld ParsevalsTheorem, nLab Parseval's theorem
- wikidata: Wikidata Q944238, Parseval's identity (statement). Also EoM Parseval_equality, MathWorld ParsevalsTheorem
History
- 2026-10-26: add by m2/dev
1-norm P9AZWCVDQZ
| URI | m2://inv/P9AZWCVDQZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2365298, 1-norm (unknown). Also MathWorld L1-Norm
History
- 2026-10-26: add by m2/dev
right-hand rule P9DVVR4HWM
| URI | m2://inv/P9DVVR4HWM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1366301, right-hand rule (unknown). Also MathWorld Right-HandRule
History
- 2026-10-26: add by m2/dev
spigot algorithm P9EMRWAPE7
| URI | m2://inv/P9EMRWAPE7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11254140, spigot algorithm (unknown). Also MathWorld SpigotAlgorithm
History
- 2026-10-26: add by m2/dev
cocyclicity P9F32GWB3B
| URI | m2://inv/P9F32GWB3B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > Euclidean affine spaces > cocyclicity, cocyclicity (unknown). Also Mathlib EuclideanGeometry.Concyclic
History
- 2026-10-26: add by m2/dev
Hammersley–Clifford theorem P9FSV8RQFE
| URI | m2://inv/P9FSV8RQFE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5645731, Hammersley–Clifford theorem (statement). Also Wikidata Q5645731
- thousand_plus: thousand_plus Q5645731, Hammersley–Clifford theorem (statement). Also Wikidata Q5645731, Wikipedia Hammersley–Clifford theorem
History
- 2026-10-26: add by m2/dev
Shannon's expansion theorem P9GJA57TGN
| URI | m2://inv/P9GJA57TGN |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 06-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2277040, Shannon's expansion theorem (statement). Also Wikidata Q2277040
- thousand_plus: thousand_plus Q2277040, Shannon's expansion theorem (statement). Also Wikidata Q2277040, Wikipedia Shannon's expansion theorem
History
- 2026-10-26: add by m2/dev
Dirichlet function P9JCG9KCHS
| URI | m2://inv/P9JCG9KCHS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Dirichlet function 0T4EJ8ZJM9 |
Mentions
- wikidata: Wikidata Q948386, Dirichlet function (unknown). Also MathWorld DirichletFunction
History
- 2026-10-26: add by m2/dev
celestial sphere P9JWJ091DQ
| URI | m2://inv/P9JWJ091DQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12134, celestial sphere (unknown). Also nLab celestial sphere
History
- 2026-10-26: add by m2/dev
Catalan's identity P9M5FBDXHS
| URI | m2://inv/P9M5FBDXHS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q118220479, Catalan's identity (statement). Also MathWorld CatalansIdentity
History
- 2026-10-26: add by m2/dev
foot–pound–second system P9NDM61TBH
| URI | m2://inv/P9NDM61TBH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5466615, foot–pound–second system (definition). Also ProofWiki Definition:FPS
History
- 2026-10-26: add by m2/dev
Arnold Magowan Arthurs P9PPGE865R
| URI | m2://inv/P9PPGE865R |
|---|---|
| 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 Q102175305, Arnold Magowan Arthurs (unknown). Also ProofWiki Mathematician:Arnold_M._Arthurs
History
- 2026-10-26: add by m2/dev
constant coefficient case P9Q9E4SMEF
| URI | m2://inv/P9Q9E4SMEF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential equations > constant coefficient case, constant coefficient case (unknown)
History
- 2026-10-26: add by m2/dev
claw graph P9VK29WJ32
| URI | m2://inv/P9VK29WJ32 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115564, claw graph (unknown). Also House of Graphs 500, MathWorld ClawGraph
History
- 2026-10-26: add by m2/dev