Inventory rows 8E
The cards of the rows of the inventory whose ids start with 8E. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
spherical segment 8E0PRCS8MB
| URI | m2://inv/8E0PRCS8MB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1268902, spherical segment (unknown). Also MathWorld SphericalSegment
History
- 2026-10-26: add by m2/dev
central limit theorem 8E1AQR8RYA
| URI | m2://inv/8E1AQR8RYA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 6 |
| Outcome | open |
| Node | Central limit theorem 0EPZC4Z1FC |
Mentions
- mathlib_100: mathlib_100 47, The Central Limit Theorem (statement). Also Mathlib ProbabilityTheory.tendstoInDistribution_inv_sqrt_mul_sum_sub
- mathlib_1000: mathlib_1000 Q190391, Central limit theorem (statement). Also Mathlib ProbabilityTheory.tendstoInDistribution_inv_sqrt_mul_sum_sub, Wikidata Q190391
- mathlib_1000: mathlib_1000 Q190391X, Lyapunov's central limit theorem (statement). Also Wikidata Q190391
- mathlib_overview: mathlib_overview Probability Theory > Convergence of a sequence of random variables > central limit theorem, central limit theorem (unknown). Also Mathlib ProbabilityTheory.tendstoInDistribution_inv_sqrt_mul_sum_sub
- mathlib_undergrad: mathlib_undergrad Probability Theory > Convergence of a sequence of random variables > central limit theorem, central limit theorem (unknown). Also Mathlib ProbabilityTheory.tendstoInDistribution_inv_sqrt_mul_sum_sub
- thousand_plus: thousand_plus Q190391, Central limit theorem (statement). Also Mathlib ProbabilityTheory.tendstoInDistribution_inv_sqrt_mul_sum_sub, Wikidata Q190391, Wikipedia Central limit theorem
- thousand_plus: thousand_plus Q190391X, Lyapunov's central limit theorem (statement). Also Wikidata Q190391, Wikipedia Lyapunov's central limit theorem
- wikidata: Wikidata Q190391, central limit theorem (statement). Also Mathlib ProbabilityTheory.tendstoInDistribution_inv_sqrt_mul_sum_sub, MathWorld CentralLimitTheorem, nLab central limit theorem, ProofWiki Central_Limit_Theorem
History
- 2026-10-26: add by m2/dev
Jordan's theorem (multiply transitive groups) 8E5EZDRKEY
| URI | m2://inv/8E5EZDRKEY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6276298, Jordan's theorem (multiply transitive groups) (statement). Also Wikidata Q6276298
- thousand_plus: thousand_plus Q6276298, Jordan's theorem (multiply transitive groups) (statement). Also Wikidata Q6276298, Wikipedia Jordan's theorem (multiply transitive groups)
History
- 2026-10-26: add by m2/dev
quadratic irrational 8E8MDTJJFN
| URI | m2://inv/8E8MDTJJFN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2006396, quadratic irrational (unknown). Also EoM Quadratic_irrationality, MathWorld QuadraticSurd
History
- 2026-10-26: add by m2/dev
Richard P. Brent 8EA6F16J43
| URI | m2://inv/8EA6F16J43 |
|---|---|
| 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 Q93042, Richard P. Brent (unknown). Also ProofWiki Mathematician:Richard_Peirce_Brent
History
- 2026-10-26: add by m2/dev
star domain 8EBMEYZ5FW
| URI | m2://inv/8EBMEYZ5FW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q769917, star domain (unknown). Also MathWorld StarConvex, nLab star domain
History
- 2026-10-26: add by m2/dev
rhombicosacron 8EBYM6R723
| URI | m2://inv/8EBYM6R723 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7321279, rhombicosacron (unknown). Also MathWorld Rhombicosacron
History
- 2026-10-26: add by m2/dev
axiom of union 8EFMNRXQ4K
| URI | m2://inv/8EFMNRXQ4K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1987722, axiom of union (statement). Also MathWorld AxiomoftheSumSet, nLab axiom of union, ProofWiki Axiom:Axiom_of_Unions
History
- 2026-10-26: add by m2/dev
degeneracy 8EG0Q11RCZ
| URI | m2://inv/8EG0Q11RCZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q917661, degeneracy (unknown). Also MathWorld Degeneracy, MathWorld Degenerate
History
- 2026-10-26: add by m2/dev
Jean-Benoît Bost 8EGWZJRGP6
| URI | m2://inv/8EGWZJRGP6 |
|---|---|
| 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 Q1684701, Jean-Benoît Bost (unknown). Also nLab Jean-Benoît Bost
History
- 2026-10-26: add by m2/dev
Gordon L. Kane 8EJ7G44JB1
| URI | m2://inv/8EJ7G44JB1 |
|---|---|
| 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 Q1404435, Gordon L. Kane (unknown). Also nLab Gordon Kane
History
- 2026-10-26: add by m2/dev
10,000,000 8EQ6W13326
| URI | m2://inv/8EQ6W13326 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q115362, 10,000,000 (statement). Also ProofWiki 10,000,000
History
- 2026-10-26: add by m2/dev
Euler–Maclaurin formula 8EX6H1MH03
| URI | m2://inv/8EX6H1MH03 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q282023, Euler–Maclaurin formula (statement). Also MathWorld Euler-MaclaurinIntegrationFormulas
History
- 2026-10-26: add by m2/dev
epsilon numbers 8EYB5NNQ2N
| URI | m2://inv/8EYB5NNQ2N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Set theory > Ordinals > epsilon numbers, epsilon numbers (unknown). Also Mathlib Ordinal.epsilon
History
- 2026-10-26: add by m2/dev
strong law of large numbers 8EZS5JDP9C
| URI | m2://inv/8EZS5JDP9C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25377495, strong law of large numbers (statement). Also MathWorld StrongLawofLargeNumbers, ProofWiki Kolmogorov's_Law
History
- 2026-10-26: add by m2/dev
maxima and minima 8EZZ8GENN8
| URI | m2://inv/8EZZ8GENN8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q845060, maxima and minima (unknown). Also Mathlib IsExtrOn, MathWorld Extremum
History
- 2026-10-26: add by m2/dev