Inventory rows KV
The cards of the rows of the inventory whose ids start with KV. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Least common multiple (LCM) of denominators of the rows of the triangle of rationals A119935 / A119932 . KV1J9EC2JB
| URI | m2://inv/KV1J9EC2JB |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100193524, Least common multiple (LCM) of denominators of the rows of the triangle of rationals A119935 / A119932 . (object). Also OEIS A119936
History
- 2026-10-26: add by m2/dev
clopen set KV1Z4DW0YJ
| URI | m2://inv/KV1Z4DW0YJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q320369, clopen set (definition). Also MathWorld Clopen, nLab clopen set, ProofWiki Definition:Clopen_Set
History
- 2026-10-26: add by m2/dev
explicit Euler method KV66JJ5QXS
| URI | m2://inv/KV66JJ5QXS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Ordinary differential equations > explicit Euler method, explicit Euler method (unknown)
History
- 2026-10-26: add by m2/dev
full and faithful functor KV8AAGVNKD
| URI | m2://inv/KV8AAGVNKD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1064276, full and faithful functor (unknown). Also MathWorld FaithfulFunctor, nLab full and faithful functor
History
- 2026-10-26: add by m2/dev
cybernetics KV8N2CB067
| URI | m2://inv/KV8N2CB067 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q123637, cybernetics (definition). Also ProofWiki Definition:Cybernetics
History
- 2026-10-26: add by m2/dev
deci KVAQAJ6YZ4
| URI | m2://inv/KVAQAJ6YZ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110827, deci (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/deci-
History
- 2026-10-26: add by m2/dev
natural domain KVB7KKP1C1
| URI | m2://inv/KVB7KKP1C1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110924026, natural domain (concept). Also MathWorld NaturalDomain
History
- 2026-10-26: add by m2/dev
Cauchy-Riemann conditions KVBGFDZZFH
| URI | m2://inv/KVBGFDZZFH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > Cauchy-Riemann conditions, Cauchy-Riemann conditions (unknown)
History
- 2026-10-26: add by m2/dev
Ryan Thorngren KVDFE0K561
| URI | m2://inv/KVDFE0K561 |
|---|---|
| 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 Q59675435, Ryan Thorngren (unknown). Also nLab Ryan Thorngren
History
- 2026-10-26: add by m2/dev
Small dodecacronic hexecontahedron KVEA5309F4
| URI | m2://inv/KVEA5309F4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28001489, Small dodecacronic hexecontahedron (unknown). Also MathWorld SmallDodecacronicHexecontahedron
History
- 2026-10-26: add by m2/dev
Arithmetic Mean/Geometric Mean KVEWES0APT
| URI | m2://inv/KVEWES0APT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 38, Arithmetic Mean/Geometric Mean (statement). Also Mathlib Real.geom_mean_le_arith_mean_weighted
History
- 2026-10-26: add by m2/dev
Pompeiu's theorem KVF926BT0X
| URI | m2://inv/KVF926BT0X |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3534036, Pompeiu's theorem (statement). Also Wikidata Q3534036
- thousand_plus: thousand_plus Q3534036, Pompeiu's theorem (statement). Also Wikidata Q3534036, Wikipedia Pompeiu's theorem
- wikidata: Wikidata Q3534036, Pompeiu's theorem (statement). Also MathWorld PompeiusTheorem
History
- 2026-10-26: add by m2/dev
dodecahedron KVG5JCTQ2Q
| URI | m2://inv/KVG5JCTQ2Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q178296, dodecahedron (unknown). Also EoM Dodecahedron, MathWorld Dodecahedron, nLab dodecahedron
History
- 2026-10-26: add by m2/dev
Monodromy theorem KVKB36KTV8
| URI | m2://inv/KVKB36KTV8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4455046, Monodromy theorem (statement). Also Wikidata Q4455046
- thousand_plus: thousand_plus Q4455046, Monodromy theorem (statement). Also Wikidata Q4455046, Wikipedia Monodromy theorem
History
- 2026-10-26: add by m2/dev
charged current KVM57R592K
| URI | m2://inv/KVM57R592K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4115391, charged current (unknown). Also nLab charged current
History
- 2026-10-26: add by m2/dev
Saharon Shelah KVN7T5QRRT
| URI | m2://inv/KVN7T5QRRT |
|---|---|
| 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 Q448592, Saharon Shelah (unknown). Also nLab Saharon Shelah, ProofWiki Mathematician:Saharon_Shelah
History
- 2026-10-26: add by m2/dev
van Kirkman point KVNRR1MYG1
| URI | m2://inv/KVNRR1MYG1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2251843, van Kirkman point (unknown). Also MathWorld KirkmanPoints
History
- 2026-10-26: add by m2/dev
Herbrand base KVVXTMXJBY
| URI | m2://inv/KVVXTMXJBY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9167528, Herbrand base (concept). Also MathWorld HerbrandBase
History
- 2026-10-26: add by m2/dev