Inventory rows SJ
The cards of the rows of the inventory whose ids start with SJ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
derivative of a composition of functions SJ0YYDG1JC
| URI | m2://inv/SJ0YYDG1JC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Differentiability > derivative of a composition of functions, derivative of a composition of functions (unknown). Also Mathlib deriv_comp
History
- 2026-10-26: add by m2/dev
K-topology SJ4SHBAR7J
| URI | m2://inv/SJ4SHBAR7J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6322883, K-topology (unknown). Also nLab K-topology
History
- 2026-10-26: add by m2/dev
anticommutator SJ6BS99DVJ
| URI | m2://inv/SJ6BS99DVJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5697095, anticommutator (unknown). Also MathWorld Anticommutator, nLab anti-commutator
History
- 2026-10-26: add by m2/dev
(smooth) pullback vector bundle SJ76G221X4
| URI | m2://inv/SJ76G221X4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Smooth vector and fiber bundles > (smooth) pullback vector bundle, (smooth) pullback vector bundle (unknown). Also Mathlib ContMDiffVectorBundle.pullback
History
- 2026-10-26: add by m2/dev
Hajós graph SJ8G44QKVP
| URI | m2://inv/SJ8G44QKVP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30747987, Hajós graph (unknown). Also House of Graphs 36261, MathWorld HajosGraph
History
- 2026-10-26: add by m2/dev
law of large numbers SJ8VCRYXCE
| URI | m2://inv/SJ8VCRYXCE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Law of large numbers 0ZVEAYVRC3 |
Mentions
- wikidata: Wikidata Q207952, law of large numbers (statement). Also MathWorld LawofLargeNumbers, ProofWiki Law_of_Large_Numbers
History
- 2026-10-26: add by m2/dev
complementary subspaces SJBCXTEXCK
| URI | m2://inv/SJBCXTEXCK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Fundamentals > complementary subspaces, complementary subspaces (unknown). Also Mathlib Submodule.exists_isCompl
History
- 2026-10-26: add by m2/dev
3 SJDCF896R6
| URI | m2://inv/SJDCF896R6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q201, 3 (statement). Also MathWorld 3, ProofWiki 3
History
- 2026-10-26: add by m2/dev
The Signal and the Noise SJH514WRC4
| URI | m2://inv/SJH514WRC4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17154021, The Signal and the Noise (unknown). Also ProofWiki Book:Nate_Silver/The_Signal_and_the_Noise
History
- 2026-10-26: add by m2/dev
Newton’s method SJHCN34ZS4
| URI | m2://inv/SJHCN34ZS4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Iterative methods of solving systems of real and vector-valued equations > Newton’s method, Newton’s method (unknown)
History
- 2026-10-26: add by m2/dev
binomial law SJJ2KZJMYR
| URI | m2://inv/SJJ2KZJMYR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Random variables and their laws > binomial law, binomial law (unknown). Also Mathlib ProbabilityTheory.binomial
- mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > binomial law, binomial law (unknown). Also Mathlib ProbabilityTheory.binomial
History
- 2026-10-26: add by m2/dev
closed sentence SJJRJ1BY3Y
| URI | m2://inv/SJJRJ1BY3Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141498864, closed sentence (unknown). Also MathWorld ClosedSententialFormula
History
- 2026-10-26: add by m2/dev
analyticity of holomorphic functions SJK9CZ5N93
| URI | m2://inv/SJK9CZ5N93 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Complex analysis > analyticity of holomorphic functions, analyticity of holomorphic functions (unknown). Also Mathlib DifferentiableOn.analyticAt
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > analyticity of a holomorphic function, analyticity of a holomorphic function (unknown). Also Mathlib DifferentiableOn.analyticAt
History
- 2026-10-26: add by m2/dev
incenter SJMBZVPSDD
| URI | m2://inv/SJMBZVPSDD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Incentre 0M9MX8YW0A |
Mentions
- wikidata: Wikidata Q10614739, incenter (definition). Also MathWorld Incenter, ProofWiki Definition:Incircle_of_Triangle/Incenter
History
- 2026-10-26: add by m2/dev
moving average SJMCA7CTR8
| URI | m2://inv/SJMCA7CTR8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1130194, moving average (unknown). Also MathWorld MovingAverage
History
- 2026-10-26: add by m2/dev
Dirichlet's energy SJNA6AJ811
| URI | m2://inv/SJNA6AJ811 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5280760, Dirichlet's energy (unknown). Also MathWorld DirichletEnergy
History
- 2026-10-26: add by m2/dev
Ramanujan's sum SJPT87GVF3
| URI | m2://inv/SJPT87GVF3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1441456, Ramanujan's sum (concept). Also MathWorld RamanujansSum
History
- 2026-10-26: add by m2/dev
Divergence of the Prime Reciprocal Series SJVCM7N1W3
| URI | m2://inv/SJVCM7N1W3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 81, Divergence of the Prime Reciprocal Series (statement). Also Mathlib Theorems100.Real.tendsto_sum_one_div_prime_atTop, Mathlib not_summable_one_div_on_primes
History
- 2026-10-26: add by m2/dev
Mellin inversion theorem SJXPP3Q39P
| URI | m2://inv/SJXPP3Q39P |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6813106, Mellin inversion theorem (statement). Also Mathlib mellinInv_mellin_eq, Wikidata Q6813106
- thousand_plus: thousand_plus Q6813106, Mellin inversion theorem (statement). Also Mathlib mellin_inversion, Wikidata Q6813106, Wikipedia Mellin inversion theorem
History
- 2026-10-26: add by m2/dev
halting problem SJXSP8RY03
| URI | m2://inv/SJXSP8RY03 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Computability > halting problem, halting problem (unknown). Also Mathlib ComputablePred.halting_problem
History
- 2026-10-26: add by m2/dev