Inventory rows QX
The cards of the rows of the inventory whose ids start with QX. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
exponential distribution QX09VBFN5C
| URI | m2://inv/QX09VBFN5C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | Exponential distribution 0E99F51GVB |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Random variables and their laws > exponential law, exponential law (unknown). Also Mathlib ProbabilityTheory.expMeasure
- mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > exponential law, exponential law (unknown). Also Mathlib ProbabilityTheory.expMeasure
- wikidata: Wikidata Q237193, exponential distribution (unknown). Also Mathlib ProbabilityTheory.expMeasure, MathWorld ExponentialDistribution
History
- 2026-10-26: add by m2/dev
Conway–Alexander polynomial QX26AVQVCS
| URI | m2://inv/QX26AVQVCS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q54848324, Conway–Alexander polynomial (concept). Also MathWorld ConwayPolynomial, ProofWiki Definition:Alexander-Conway_Polynomial
History
- 2026-10-26: add by m2/dev
Euclid's theorem QX5DRPWW1Z
| URI | m2://inv/QX5DRPWW1Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | Euclid's theorem 0292EPPPT0 |
Mentions
- mathlib_100: mathlib_100 11, The Infinitude of Primes (statement). Also Mathlib Nat.exists_infinite_primes
- mathlib_1000: mathlib_1000 Q1506253, Euclid's theorem (statement). Also Mathlib Nat.exists_infinite_primes, Wikidata Q1506253
- thousand_plus: thousand_plus Q1506253, Euclid's theorem (statement). Also Mathlib Nat.exists_infinite_primes, Wikidata Q1506253, Wikipedia Euclid's theorem
- wikidata: Wikidata Q1506253, Euclid's theorem (statement). Also MathWorld EuclidsTheorems, ProofWiki Euclid's_Theorem
History
- 2026-10-26: add by m2/dev
ampersand curve QX7398VYVX
| URI | m2://inv/QX7398VYVX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3234988, ampersand curve (unknown). Also MathWorld AmpersandCurve
History
- 2026-10-26: add by m2/dev
Rice's theorem QX783ABM12
| URI | m2://inv/QX783ABM12 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1893717, Rice's theorem (statement). Also Mathlib ComputablePred.rice, Wikidata Q1893717
- mathlib_overview: mathlib_overview Logic and computation > Computability > Rice theorem, Rice theorem (unknown). Also Mathlib ComputablePred.rice
- thousand_plus: thousand_plus Q1893717, Rice's theorem (statement). Also Mathlib ComputablePred.rice, Wikidata Q1893717, Wikipedia Rice's theorem
- wikidata: Wikidata Q1893717, Rice's theorem (statement). Also MathWorld RicesTheorem
History
- 2026-10-26: add by m2/dev
Itzhak Bars QX8CQVGMNE
| URI | m2://inv/QX8CQVGMNE |
|---|---|
| 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 Q6095252, Itzhak Bars (unknown). Also nLab Itzhak Bars
History
- 2026-10-26: add by m2/dev
presentation of a group QXPFB0RMGW
| URI | m2://inv/QXPFB0RMGW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Presentation of a group 0JGEQXQ4AC |
Mentions
- wikidata: Wikidata Q915906, presentation of a group (concept). Also EoM Presentation, MathWorld GroupPresentation, ProofWiki Definition:Group_Presentation
History
- 2026-10-26: add by m2/dev
Immanant of a matrix QXR5XFPQ1E
| URI | m2://inv/QXR5XFPQ1E |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15297666, Immanant of a matrix (concept). Also MathWorld Immanant
History
- 2026-10-26: add by m2/dev
Lagrangian mechanics QXVW644QTX
| URI | m2://inv/QXVW644QTX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q324669, Lagrangian mechanics (definition). Also ProofWiki Definition:Lagrangian_Mechanics
History
- 2026-10-26: add by m2/dev
Sylvester's law of inertia (uniqueness) QXVYMHT452
| URI | m2://inv/QXVYMHT452 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Orthogonality > Sylvester's law of inertia (uniqueness), Sylvester's law of inertia (uniqueness) (unknown). Also Mathlib QuadraticForm.sigPos_of_equiv_weightedSumSquares
History
- 2026-10-26: add by m2/dev
shape operator QXVYXEEQSG
| URI | m2://inv/QXVYXEEQSG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121144431, shape operator (concept). Also MathWorld ShapeOperator
History
- 2026-10-26: add by m2/dev
Lander, Parkin, and Selfridge conjecture QXXY75H64Q
| URI | m2://inv/QXXY75H64Q |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15427141, Lander, Parkin, and Selfridge conjecture (conjecture). Also MathWorld DiophantineEquation5thPowers
History
- 2026-10-26: add by m2/dev
600-cell QXY4KSY5EN
| URI | m2://inv/QXY4KSY5EN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2610844, 600-cell (unknown). Also MathWorld 600-Cell, nLab 600-cell
History
- 2026-10-26: add by m2/dev
Paul Dirac QXYE078JX5
| URI | m2://inv/QXYE078JX5 |
|---|---|
| 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 Q47480, Paul Dirac (unknown). Also nLab Paul Dirac
History
- 2026-10-26: add by m2/dev