Inventory rows JE
The cards of the rows of the inventory whose ids start with JE. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Ahmed Almheiri JE1JCAHBED
| URI | m2://inv/JE1JCAHBED |
|---|---|
| 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 Q75776525, Ahmed Almheiri (unknown). Also nLab Ahmed Almheiri
History
- 2026-10-26: add by m2/dev
quasiregular polyhedron JE29A9QXDX
| URI | m2://inv/JE29A9QXDX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q869652, quasiregular polyhedron (unknown). Also MathWorld QuasiregularPolyhedron
History
- 2026-10-26: add by m2/dev
Boolean-valued function JE29CWWQ4M
| URI | m2://inv/JE29CWWQ4M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17020770, Boolean-valued function (unknown). Also nLab boolean-valued function
History
- 2026-10-26: add by m2/dev
Gaussian elimination JE62CXDZ65
| URI | m2://inv/JE62CXDZ65 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Gaussian elimination 0JVJ2WCXZH |
Mentions
- wikidata: Wikidata Q2658, Gaussian elimination (unknown). Also MathWorld GaussianElimination, nLab Gaussian elimination
History
- 2026-10-26: add by m2/dev
torsion tensor JE7BW6RJ0J
| URI | m2://inv/JE7BW6RJ0J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13229797, torsion tensor (unknown). Also MathWorld TorsionTensor, nLab torsion of a metric connection
History
- 2026-10-26: add by m2/dev
Szemerédi–Trotter theorem JE7VKGS1FV
| URI | m2://inv/JE7VKGS1FV |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q721695, Szemerédi–Trotter theorem (statement). Also Wikidata Q721695
- thousand_plus: thousand_plus Q721695, Szemerédi–Trotter theorem (statement). Also Wikidata Q721695, Wikipedia Szemerédi–Trotter theorem
History
- 2026-10-26: add by m2/dev
Alchian–Allen theorem JE8Y4YPQCX
| URI | m2://inv/JE8Y4YPQCX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4713046, Alchian–Allen theorem (statement). Also Wikidata Q4713046
- thousand_plus: thousand_plus Q4713046, Alchian–Allen theorem (statement). Also Wikidata Q4713046, Wikipedia Alchian–Allen theorem
History
- 2026-10-26: add by m2/dev
primitive element theorem JE94J990CZ
| URI | m2://inv/JE94J990CZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 12-XX |
| Sources | 3 |
| Outcome | open |
| Node | Primitive element theorem 0SVX98HYV1 |
Mentions
- mathlib_1000: mathlib_1000 Q2093886, Primitive element theorem (statement). Also Mathlib Field.exists_primitive_element, Wikidata Q2093886
- thousand_plus: thousand_plus Q2093886, Primitive element theorem (statement). Also Mathlib Field.exists_primitive_element, Wikidata Q2093886, Wikipedia Primitive element theorem
- wikidata: Wikidata Q2093886, primitive element theorem (statement). Also ProofWiki Primitive_Element_Theorem
History
- 2026-10-26: add by m2/dev
theta divisor JEB3YPH0T9
| URI | m2://inv/JEB3YPH0T9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q17104025, Riemann singularity theorem (statement). Also Wikidata Q17104025
- thousand_plus: thousand_plus Q17104025, Riemann singularity theorem (statement). Also Wikidata Q17104025, Wikipedia Riemann singularity theorem
- wikidata: Wikidata Q17104025, theta divisor (unknown). Also nLab theta divisor
History
- 2026-10-26: add by m2/dev
probability generating functions JEBSJ5W4XW
| URI | m2://inv/JEBSJ5W4XW |
|---|---|
| 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 > probability generating functions, probability generating functions (unknown)
History
- 2026-10-26: add by m2/dev
Michèle Vergne JEDX2V0AQY
| URI | m2://inv/JEDX2V0AQY |
|---|---|
| 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 Q16445, Michèle Vergne (unknown). Also nLab Michèle Vergne
History
- 2026-10-26: add by m2/dev
Gian Carlo Wick JEGF7JD4W6
| URI | m2://inv/JEGF7JD4W6 |
|---|---|
| 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 Q1522269, Gian Carlo Wick (unknown). Also nLab Gian-Carlo Wick
History
- 2026-10-26: add by m2/dev
abstract simplicial complex JEHA6A0JJK
| URI | m2://inv/JEHA6A0JJK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4669959, abstract simplicial complex (concept). Also MathWorld AbstractSimplicialComplex
History
- 2026-10-26: add by m2/dev
induced subgraph JEHAWTZXZJ
| URI | m2://inv/JEHAWTZXZJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Induced subgraph 0EREPBVG2G |
Mentions
- wikidata: Wikidata Q24743362, induced subgraph (unknown). Also MathWorld Vertex-InducedSubgraph
History
- 2026-10-26: add by m2/dev
Stefan Forcey JEJED3Y5EZ
| URI | m2://inv/JEJED3Y5EZ |
|---|---|
| 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 Q87642539, Stefan Forcey (unknown). Also nLab Stefan Forcey
History
- 2026-10-26: add by m2/dev
Carlyle circle JEJR8REMA4
| URI | m2://inv/JEJR8REMA4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17004522, Carlyle circle (unknown). Also MathWorld CarlyleCircle
History
- 2026-10-26: add by m2/dev
chess puzzle JEMK1HYJP2
| URI | m2://inv/JEMK1HYJP2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2891654, chess puzzle (definition). Also ProofWiki Definition:Chessboard_Puzzle
History
- 2026-10-26: add by m2/dev
maximum JEQEFPM4HC
| URI | m2://inv/JEQEFPM4HC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q111305333, maximum (unknown). Also MathWorld Maximum
History
- 2026-10-26: add by m2/dev
Théophile de Donder JETS4E3SG9
| URI | m2://inv/JETS4E3SG9 |
|---|---|
| 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 Q558384, Théophile de Donder (unknown). Also nLab Théophile de Donder
History
- 2026-10-26: add by m2/dev
Skolem normal form JEWXVDF11J
| URI | m2://inv/JEWXVDF11J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1090524, Skolem normal form (concept). Also MathWorld SkolemizedForm
History
- 2026-10-26: add by m2/dev
alternating bilinear form JEX1WKZNKA
| URI | m2://inv/JEX1WKZNKA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Bilinear and quadratic forms > alternating bilinear form, alternating bilinear form (unknown). Also Mathlib LinearMap.BilinForm.IsAlt
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Bilinear forms > alternating bilinear forms, alternating bilinear forms (unknown). Also Mathlib LinearMap.BilinForm.IsAlt
History
- 2026-10-26: add by m2/dev
moment JEX3CSBMJF
| URI | m2://inv/JEX3CSBMJF |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 60E05 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13222844, moment (topic)
History
- 2026-10-26: add by m2/dev