Inventory rows VK
The cards of the rows of the inventory whose ids start with VK. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Nicolaus I Bernoulli VK14D1FBVN
| URI | m2://inv/VK14D1FBVN |
|---|---|
| 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 Q123992, Nicolaus I Bernoulli (unknown). Also EoM Bernoulli,_Nicolaus
History
- 2026-10-26: add by m2/dev
Meixner–Pollaczek polynomials VK4JCY2WCE
| URI | m2://inv/VK4JCY2WCE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17098839, Meixner–Pollaczek polynomials (concept). Also MathWorld PollaczekPolynomial
History
- 2026-10-26: add by m2/dev
Caustic VK4N0SVSRZ
| URI | m2://inv/VK4N0SVSRZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3492725, Caustic (concept). Also MathWorld Caustic
History
- 2026-10-26: add by m2/dev
Arrow-Lind theorem VK5GXBNTSY
| URI | m2://inv/VK5GXBNTSY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q17002391, Arrow-Lind theorem (statement). Also Wikidata Q17002391
- thousand_plus: thousand_plus Q17002391, Arrow-Lind theorem (statement). Also Wikidata Q17002391, Wikipedia Arrow-Lind principle
History
- 2026-10-26: add by m2/dev
Picard–Lindelöf theorem VK6HN5Q6Q5
| URI | m2://inv/VK6HN5Q6Q5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 34-XX |
| Sources | 4 |
| Outcome | open |
| Node | Picard–Lindelöf theorem 0P6KRD5B7A |
Mentions
- mathlib_1000: mathlib_1000 Q530152, Picard–Lindelöf theorem (statement). Also Mathlib IsPicardLindelof.exists_eq_forall_mem_Icc_hasDerivWithinAt, Wikidata Q530152
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential equations > Cauchy-Lipschitz Theorem, Cauchy-Lipschitz Theorem (unknown). Also Mathlib IsPicardLindelof.exists_eq_forall_mem_Icc_hasDerivWithinAt
- thousand_plus: thousand_plus Q530152, Picard–Lindelöf theorem (statement). Also Mathlib IsPicardLindelof.exists_eq_forall_mem_Icc_hasDerivWithinAt, Wikidata Q530152, Wikipedia Picard–Lindelöf theorem
- wikidata: Wikidata Q530152, Picard–Lindelöf theorem (statement). Also EoM Cauchy-Lipschitz_theorem, ProofWiki Picard's_Existence_Theorem
History
- 2026-10-26: add by m2/dev
inequality VKC82WJNJQ
| URI | m2://inv/VKC82WJNJQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28113351, inequality (concept). Also EoM Inequality, MathWorld Inequality, ProofWiki Definition:Inequality
History
- 2026-10-26: add by m2/dev
limit comparison test VKJ081ATBW
| URI | m2://inv/VKJ081ATBW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Limit comparison test 0HW7BNHHGF |
Mentions
- wikidata: Wikidata Q6549441, limit comparison test (statement). Also MathWorld LimitComparisonTest
History
- 2026-10-26: add by m2/dev
quinary VKMPNDA1WH
| URI | m2://inv/VKMPNDA1WH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q263994, quinary (definition). Also ProofWiki Definition:Quintal_Notation
History
- 2026-10-26: add by m2/dev
Ext functor VKQEE1D9NE
| URI | m2://inv/VKQEE1D9NE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1384902, Ext functor (unknown). Also nLab Ext
History
- 2026-10-26: add by m2/dev
Alberto Zaffaroni VKQXZ5P7Q3
| URI | m2://inv/VKQXZ5P7Q3 |
|---|---|
| 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 Q57077408, Alberto Zaffaroni (unknown). Also nLab Alberto Zaffaroni
History
- 2026-10-26: add by m2/dev
Augustus De Morgan VKSV8F5T05
| URI | m2://inv/VKSV8F5T05 |
|---|---|
| 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 Q208448, Augustus De Morgan (unknown). Also ProofWiki Mathematician:Augustus_De_Morgan
History
- 2026-10-26: add by m2/dev
Peano arithmetic VKY2E5GQMN
| URI | m2://inv/VKY2E5GQMN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q49938, Peano arithmetic (unknown). Also MathWorld PeanoArithmetic, nLab Peano arithmetic
History
- 2026-10-26: add by m2/dev
Price's theorem VKY2MZBZC2
| URI | m2://inv/VKY2MZBZC2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 83-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2733672, Price's theorem (statement). Also Wikidata Q2733672
- thousand_plus: thousand_plus Q2733672, Price's theorem (statement). Also Wikidata Q2733672, Wikipedia Richard H. Price
History
- 2026-10-26: add by m2/dev