Inventory rows J8
The cards of the rows of the inventory whose ids start with J8. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
alternating harmonic series J8295WDSXJ
| URI | m2://inv/J8295WDSXJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91251728, alternating harmonic series (unknown). Also MathWorld AlternatingHarmonicSeries
History
- 2026-10-26: add by m2/dev
Small stellapentakis dodecahedron J886WH8R0B
| URI | m2://inv/J886WH8R0B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7543581, Small stellapentakis dodecahedron (unknown). Also MathWorld SmallStellapentakisDodecahedron
History
- 2026-10-26: add by m2/dev
rank of a linear map J89PWVW5GR
| URI | m2://inv/J89PWVW5GR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Finite-dimensional vector spaces > rank of a linear map, rank of a linear map (unknown). Also Mathlib LinearMap.rank
History
- 2026-10-26: add by m2/dev
q-gamma function J8DAQANR0K
| URI | m2://inv/J8DAQANR0K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7265303, q-gamma function (unknown). Also MathWorld q-GammaFunction
History
- 2026-10-26: add by m2/dev
Pólya conjecture J8E0Z002R5
| URI | m2://inv/J8E0Z002R5 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1441904, Pólya conjecture (conjecture). Also MathWorld PolyaConjecture
History
- 2026-10-26: add by m2/dev
school of thought J8F81KJQB6
| URI | m2://inv/J8F81KJQB6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1387659, school of thought (definition). Also ProofWiki Definition:School
History
- 2026-10-26: add by m2/dev
argument J8G6N889E4
| URI | m2://inv/J8G6N889E4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Argument of a complex number 070PFSYJJR |
Mentions
- wikidata: Wikidata Q1780131, argument (unknown). Also MathWorld ComplexArgument
History
- 2026-10-26: add by m2/dev
J8H40H31WV J8H40H31WV
| URI | m2://inv/J8H40H31WV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5460020 (unknown). Also EoM Existential_quantifier, MathWorld Exists
History
- 2026-10-26: add by m2/dev
Japanese theorem for concyclic quadrilaterals J8J8T2Q2SB
| URI | m2://inv/J8J8T2Q2SB |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1683356, Japanese theorem for concyclic quadrilaterals (statement). Also Wikidata Q1683356
- thousand_plus: thousand_plus Q1683356, Japanese theorem for concyclic quadrilaterals (statement). Also Wikidata Q1683356, Wikipedia Japanese theorem for concyclic quadrilaterals
History
- 2026-10-26: add by m2/dev
Steinhaus theorem J8JA89XD4V
| URI | m2://inv/J8JA89XD4V |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 28-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527166, Steinhaus theorem (statement). Also Mathlib MeasureTheory.Measure.div_mem_nhds_one_of_haar_pos, Wikidata Q3527166
- thousand_plus: thousand_plus Q3527166, Steinhaus theorem (statement). Also Wikidata Q3527166, Wikipedia Steinhaus theorem
History
- 2026-10-26: add by m2/dev
James Eells J8P3AMTPBT
| URI | m2://inv/J8P3AMTPBT |
|---|---|
| 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 Q1680331, James Eells (unknown). Also nLab James Eells
History
- 2026-10-26: add by m2/dev
divergence J8RJYWB6MJ
| URI | m2://inv/J8RJYWB6MJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Divergence 0MWV6ZTK6S |
Mentions
- wikidata: Wikidata Q189000, divergence (unknown). Also EoM Divergence, MathWorld Divergence
History
- 2026-10-26: add by m2/dev
Moore machine J8SFG4JPP4
| URI | m2://inv/J8SFG4JPP4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q640119, Moore machine (unknown). Also nLab Moore machine
History
- 2026-10-26: add by m2/dev
integral closure J8YJKZX5HV
| URI | m2://inv/J8YJKZX5HV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78650261, integral closure (unknown). Also MathWorld IntegralClosure, nLab integral closure
History
- 2026-10-26: add by m2/dev