Inventory rows X8
The cards of the rows of the inventory whose ids start with X8. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Ingemar Bengtsson X847RCYX4F
| URI | m2://inv/X847RCYX4F |
|---|---|
| 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 Q59622848, Ingemar Bengtsson (unknown). Also nLab Ingemar Bengtsson
History
- 2026-10-26: add by m2/dev
Green's theorem X8496MFBVC
| URI | m2://inv/X8496MFBVC |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 3 |
| Outcome | open |
| Node | Green's theorem 0HR3N02317 |
Mentions
- mathlib_1000: mathlib_1000 Q321237, Green's theorem (statement). Also Wikidata Q321237
- thousand_plus: thousand_plus Q321237, Green's theorem (statement). Also Wikidata Q321237, Wikipedia Green's theorem
- wikidata: Wikidata Q321237, Green's theorem (statement). Also MathWorld GreensTheorem
History
- 2026-10-26: add by m2/dev
statistic replication X85WMG4Q6K
| URI | m2://inv/X85WMG4Q6K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3933199, statistic replication (unknown). Also MathWorld Replicate
History
- 2026-10-26: add by m2/dev
computational topology X88AYQAYT8
| URI | m2://inv/X88AYQAYT8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4129926, computational topology (unknown). Also nLab computational topology
History
- 2026-10-26: add by m2/dev
Gaussian prime X88FVWVQFZ
| URI | m2://inv/X88FVWVQFZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3343089, Gaussian prime (definition). Also MathWorld GaussianPrime, ProofWiki Definition:Gaussian_Prime
History
- 2026-10-26: add by m2/dev
rectangular function X8BTQGTCM4
| URI | m2://inv/X8BTQGTCM4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q946860, rectangular function (unknown). Also MathWorld RectangleFunction
History
- 2026-10-26: add by m2/dev
6-sphere X8CQ2236NH
| URI | m2://inv/X8CQ2236NH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q63197244, 6-sphere (unknown). Also nLab 6-sphere
History
- 2026-10-26: add by m2/dev
Chebyshev inequality X8CZTPQWGF
| URI | m2://inv/X8CZTPQWGF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Convergence of a sequence of random variables > Chebyshev inequality, Chebyshev inequality (unknown). Also Mathlib ProbabilityTheory.meas_ge_le_variance_div_sq
- mathlib_undergrad: mathlib_undergrad Probability Theory > Convergence of a sequence of random variables > Chebyshev inequality, Chebyshev inequality (unknown). Also Mathlib ProbabilityTheory.meas_ge_le_variance_div_sq
History
- 2026-10-26: add by m2/dev
Pincherle derivative X8FYVC1ZC5
| URI | m2://inv/X8FYVC1ZC5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7194927, Pincherle derivative (concept). Also MathWorld PincherleDerivative
History
- 2026-10-26: add by m2/dev
atomic nucleus X8G04VXYRF
| URI | m2://inv/X8G04VXYRF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q37147, atomic nucleus (definition). Also ProofWiki Definition:Atom_(Physics)/Nucleus
History
- 2026-10-26: add by m2/dev
isogonal conjugate X8K2PQYSFW
| URI | m2://inv/X8K2PQYSFW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1156867, isogonal conjugate (unknown). Also MathWorld IsogonalConjugate
History
- 2026-10-26: add by m2/dev
Lie bracket of vector field X8M6TS17A3
| URI | m2://inv/X8M6TS17A3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > Lie bracket of vector field, Lie bracket of vector field (unknown). Also Mathlib VectorField.mlieBracket
History
- 2026-10-26: add by m2/dev
Abel's test X8SH9HZGPT
| URI | m2://inv/X8SH9HZGPT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Abel's test 0CN97GADE5 |
Mentions
- wikidata: Wikidata Q479834, Abel's test (statement). Also MathWorld AbelsUniformConvergenceTest, ProofWiki Abel's_Test
History
- 2026-10-26: add by m2/dev
swastika X8V47Z4VN7
| URI | m2://inv/X8V47Z4VN7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q45513, swastika (unknown). Also MathWorld Swastika
History
- 2026-10-26: add by m2/dev
diagonal X8V6XMGG4R
| URI | m2://inv/X8V6XMGG4R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77966258, diagonal (unknown). Also MathWorld Diagonal
History
- 2026-10-26: add by m2/dev