Inventory rows J1
The cards of the rows of the inventory whose ids start with J1. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
discrete probability distribution J16N901J4B
| URI | m2://inv/J16N901J4B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q26898117, discrete probability distribution (unknown). Also MathWorld DiscreteDistribution
History
- 2026-10-26: add by m2/dev
existence of algebraic closure of a field J16Q3WVH53
| URI | m2://inv/J16Q3WVH53 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Field theory > existence of algebraic closure of a field, existence of algebraic closure of a field (unknown). Also Mathlib AlgebraicClosure
History
- 2026-10-26: add by m2/dev
Michal Malinský J184HH1RGQ
| URI | m2://inv/J184HH1RGQ |
|---|---|
| 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 Q59484927, Michal Malinský (unknown). Also nLab Michal Malinský
History
- 2026-10-26: add by m2/dev
probability axioms J1FQ0JNN4B
| URI | m2://inv/J1FQ0JNN4B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Probability axioms 0DAX8PMAJ4 |
Mentions
- wikidata: Wikidata Q974605, probability axioms (unknown). Also MathWorld ProbabilityAxioms
History
- 2026-10-26: add by m2/dev
Lucas's theorem J1GYWJE7N2
| URI | m2://inv/J1GYWJE7N2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1186808, Lucas's theorem (statement). Also Mathlib Choose.lucas_theorem, Wikidata Q1186808
- thousand_plus: thousand_plus Q1186808, Lucas's theorem (statement). Also Mathlib Choose.lucas_theorem, Wikidata Q1186808, Wikipedia Lucas's theorem
History
- 2026-10-26: add by m2/dev
multivariate analysis J1N0QC0X5D
| URI | m2://inv/J1N0QC0X5D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3331475, multivariate analysis (unknown). Also MathWorld MultivariateAnalysis
History
- 2026-10-26: add by m2/dev
Optical equivalence theorem J1N4EKAHPA
| URI | m2://inv/J1N4EKAHPA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 81-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7098850, Optical equivalence theorem (statement). Also Wikidata Q7098850
- thousand_plus: thousand_plus Q7098850, Optical equivalence theorem (statement). Also Wikidata Q7098850, Wikipedia Optical equivalence theorem
History
- 2026-10-26: add by m2/dev
tensor density J1NCJMQ0V4
| URI | m2://inv/J1NCJMQ0V4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q904927, tensor density (unknown). Also MathWorld TensorDensity
History
- 2026-10-26: add by m2/dev
Brahmagupta theorem J1R26N7CEG
| URI | m2://inv/J1R26N7CEG |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1425308, Brahmagupta theorem (statement). Also Wikidata Q1425308
- thousand_plus: thousand_plus Q1425308, Brahmagupta theorem (statement). Also Wikidata Q1425308, Wikipedia Brahmagupta theorem
- wikidata: Wikidata Q1425308, Brahmagupta theorem (statement). Also MathWorld BrahmaguptasTheorem
History
- 2026-10-26: add by m2/dev
CW complex J1S7WDAX7V
| URI | m2://inv/J1S7WDAX7V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q189061, CW complex (unknown). Also EoM CW-complex, MathWorld CW-Complex, nLab CW complex
History
- 2026-10-26: add by m2/dev