Inventory rows VP
The cards of the rows of the inventory whose ids start with VP. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Nicholas Jarvis Proudfoot VP5H2ST3D9
| URI | m2://inv/VP5H2ST3D9 |
|---|---|
| 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 Q21166845, Nicholas Jarvis Proudfoot (unknown). Also nLab Nicholas Proudfoot
History
- 2026-10-26: add by m2/dev
Dirac structure VP6PK7JJ52
| URI | m2://inv/VP6PK7JJ52 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q117751500, Dirac structure (unknown). Also nLab Dirac manifold
History
- 2026-10-26: add by m2/dev
pure spinor VP992D8ZFT
| URI | m2://inv/VP992D8ZFT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7261160, pure spinor (unknown). Also nLab pure spinor
History
- 2026-10-26: add by m2/dev
semi-continuous function VP9WX8KV6M
| URI | m2://inv/VP9WX8KV6M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q43304466, semi-continuous function (unknown). Also EoM Semicontinuous_function
History
- 2026-10-26: add by m2/dev
central binomial coefficient VPAYPKDQ0G
| URI | m2://inv/VPAYPKDQ0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Central binomial coefficient 0JPH2Y4DFV |
Mentions
- wikidata: Wikidata Q1045966, central binomial coefficient (definition). Also MathWorld CentralBinomialCoefficient, ProofWiki Definition:Central_Binomial_Coefficient
History
- 2026-10-26: add by m2/dev
Cauchy–Hadamard theorem VPC9EQF9HN
| URI | m2://inv/VPC9EQF9HN |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | Cauchy–Hadamard theorem 07E5MB1CA2 |
Mentions
- mathlib_1000: mathlib_1000 Q859122, Cauchy–Hadamard theorem (statement). Also Mathlib FormalMultilinearSeries.radius_inv_eq_limsup, Wikidata Q859122
- thousand_plus: thousand_plus Q859122, Cauchy–Hadamard theorem (statement). Also Mathlib FormalMultilinearSeries.radius_inv_eq_limsup, Wikidata Q859122, Wikipedia Cauchy–Hadamard theorem
- wikidata: Wikidata Q859122, Cauchy–Hadamard theorem (statement). Also EoM Cauchy-Hadamard_theorem, MathWorld Cauchy-HadamardTheorem
History
- 2026-10-26: add by m2/dev
Brauer–Nesbitt theorem VPG01DGYWB
| URI | m2://inv/VPG01DGYWB |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4958227, Brauer–Nesbitt theorem (statement). Also Wikidata Q4958227
- thousand_plus: thousand_plus Q4958227, Brauer–Nesbitt theorem (statement). Also Wikidata Q4958227, Wikipedia Brauer–Nesbitt theorem
History
- 2026-10-26: add by m2/dev
Buffon Needle Problem VPMB5R5EDB
| URI | m2://inv/VPMB5R5EDB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 99, Buffon Needle Problem (statement). Also Mathlib BuffonsNeedle.buffon_short, Mathlib BuffonsNeedle.buffon_long
History
- 2026-10-26: add by m2/dev
upper set VPPP3A9W66
| URI | m2://inv/VPPP3A9W66 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2528262, upper set (unknown). Also nLab upper set
History
- 2026-10-26: add by m2/dev
Eulerian graph VPPPX7B3HJ
| URI | m2://inv/VPPPX7B3HJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9275357, Eulerian graph (definition). Also MathWorld EulerianGraph, ProofWiki Definition:Eulerian_Graph
History
- 2026-10-26: add by m2/dev
Edge-of-the-wedge theorem VPS414NY29
| URI | m2://inv/VPS414NY29 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4454925, Edge-of-the-wedge theorem (statement). Also Wikidata Q4454925
- thousand_plus: thousand_plus Q4454925, Edge-of-the-wedge theorem (statement). Also Wikidata Q4454925, Wikipedia Edge-of-the-wedge theorem
History
- 2026-10-26: add by m2/dev
Weyl character formula VPV554CTFS
| URI | m2://inv/VPV554CTFS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7990328, Weyl character formula (statement). Also nLab Weyl character formula
History
- 2026-10-26: add by m2/dev
Glenn Alexander Magee VPV5NV9GEK
| URI | m2://inv/VPV5NV9GEK |
|---|---|
| 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 Q95329289, Glenn Alexander Magee (unknown). Also nLab Glenn Alexander Magee
History
- 2026-10-26: add by m2/dev
singular value VPY36AXZE7
| URI | m2://inv/VPY36AXZE7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Singular value 09VMDSRXWJ |
Mentions
- wikidata: Wikidata Q4166054, singular value (unknown). Also MathWorld SingularValue
History
- 2026-10-26: add by m2/dev
apsis VPYRH14QFX
| URI | m2://inv/VPYRH14QFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q83481, apsis (definition). Also ProofWiki Definition:Apsis
History
- 2026-10-26: add by m2/dev