Inventory rows VA
The cards of the rows of the inventory whose ids start with VA. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
kappa VA0GEBZ34Y
| URI | m2://inv/VA0GEBZ34Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14401, kappa (unknown). Also ProofWiki Symbols:Greek/Kappa
History
- 2026-10-26: add by m2/dev
epispiral VA0YEPXD15
| URI | m2://inv/VA0YEPXD15 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2296901, epispiral (unknown). Also MathWorld Epispiral
History
- 2026-10-26: add by m2/dev
Stanley Brodsky VA6F1WWK2P
| URI | m2://inv/VA6F1WWK2P |
|---|---|
| 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 Q2331630, Stanley Brodsky (unknown). Also nLab Stanley Brodsky
History
- 2026-10-26: add by m2/dev
critical path method VA83K7D3X6
| URI | m2://inv/VA83K7D3X6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q825377, critical path method (definition). Also ProofWiki Definition:Critical_Path_Analysis
History
- 2026-10-26: add by m2/dev
Van Vleck's theorem VA92MYSRFV
| URI | m2://inv/VA92MYSRFV |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5166389, Van Vleck's theorem (statement). Also Wikidata Q5166389
- thousand_plus: thousand_plus Q5166389, Van Vleck's theorem (statement). Also Wikidata Q5166389
History
- 2026-10-26: add by m2/dev
Cauchy's integral theorem VA9ANRP752
| URI | m2://inv/VA9ANRP752 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | Cauchy's integral theorem 01MPZXYVYF |
Mentions
- mathlib_1000: mathlib_1000 Q834025, Cauchy integral theorem (statement). Also Wikidata Q834025
- thousand_plus: thousand_plus Q834025, Cauchy integral theorem (statement). Also Mathlib Complex.circleIntegral_div_sub_of_differentiable_on_off_countable, Wikidata Q834025, Wikipedia Cauchy integral theorem
- wikidata: Wikidata Q834025, Cauchy's integral theorem (statement). Also EoM Cauchy_integral_theorem, MathWorld CauchyIntegralTheorem, nLab Cauchy integral theorem, ProofWiki Cauchy-Goursat_Theorem
History
- 2026-10-26: add by m2/dev
deformation theory VA9SDP84HD
| URI | m2://inv/VA9SDP84HD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5251702, deformation theory (topic). Also nLab deformation theory
History
- 2026-10-26: add by m2/dev
16 VAEYN6MRXR
| URI | m2://inv/VAEYN6MRXR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q40254, 16 (statement). Also ProofWiki 16
History
- 2026-10-26: add by m2/dev
Vitali covering theorem VAHBGEXSQZ
| URI | m2://inv/VAHBGEXSQZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 28-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3229352, Vitali covering theorem (statement). Also Mathlib Vitali.exists_disjoint_covering_ae, Wikidata Q3229352
- thousand_plus: thousand_plus Q3229352, Vitali covering theorem (statement). Also Mathlib Vitali.exists_disjoint_covering_ae, Wikidata Q3229352, Wikipedia Vitali covering theorem
History
- 2026-10-26: add by m2/dev
law of joint probability VAJ9D8E96Y
| URI | m2://inv/VAJ9D8E96Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > law of joint probability, law of joint probability (unknown)
History
- 2026-10-26: add by m2/dev
Newton–Pepys problem VAJJJ5P1TV
| URI | m2://inv/VAJJJ5P1TV |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14754879, Newton–Pepys problem (problem). Also MathWorld Newton-PepysProblem
History
- 2026-10-26: add by m2/dev
reflection formula VAQXTN98ZG
| URI | m2://inv/VAQXTN98ZG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4922429, reflection formula (unknown). Also MathWorld ReflectionRelation
History
- 2026-10-26: add by m2/dev
Georg Wilhelm Friedrich Hegel VAQZD5KT1F
| URI | m2://inv/VAQZD5KT1F |
|---|---|
| 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 Q9235, Georg Wilhelm Friedrich Hegel (unknown). Also nLab Georg Hegel
History
- 2026-10-26: add by m2/dev
Birch and Swinnerton-Dyer conjecture VATCQC929X
| URI | m2://inv/VATCQC929X |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q527863, Birch and Swinnerton-Dyer conjecture (conjecture). Also LMFDB knowl ec.bsdconjecture, LMFDB knowl ec.q.bsdconjecture, MathWorld Swinnerton-DyerConjecture, nLab Birch and Swinnerton-Dyer conjecture, ProofWiki Birch_and_Swinnerton-Dyer_Conjecture
History
- 2026-10-26: add by m2/dev
reflection VAVT6Q2SZF
| URI | m2://inv/VAVT6Q2SZF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Hilbert spaces > reflection, reflection (unknown). Also Mathlib Submodule.reflection
History
- 2026-10-26: add by m2/dev