Inventory rows X4
The cards of the rows of the inventory whose ids start with X4. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Bulletin of the International Statistical Institute X404JHGXG8
| URI | m2://inv/X404JHGXG8 |
|---|---|
| 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 Q25304787, Bulletin of the International Statistical Institute (unknown). Also ProofWiki Book:Journal/Bulletin_of_the_International_Statistical_Institute
History
- 2026-10-26: add by m2/dev
Pell's equation X41ST3TQ6P
| URI | m2://inv/X41ST3TQ6P |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | Pell's equation 0Z0NE3J6JX |
Mentions
- mathlib_100: mathlib_100 39, Solutions to Pell’s Equation (statement). Also Mathlib Pell.eq_pell, Mathlib Pell.exists_of_not_isSquare
- mathlib_1000: mathlib_1000 Q853067, Solutions to Pell's equation (statement). Also Mathlib Pell.eq_pell, Mathlib Pell.exists_of_not_isSquare, Wikidata Q853067
- thousand_plus: thousand_plus Q853067, Solutions to Pell's equation (statement). Also Mathlib Pell.eq_pell, Mathlib Pell.exists_of_not_isSquare, Wikidata Q853067, Wikipedia Pell's equation
- wikidata: Wikidata Q853067, Pell's equation (statement). Also MathWorld PellEquation, ProofWiki Pell's_Equation
History
- 2026-10-26: add by m2/dev
actuarial science X457BEW23B
| URI | m2://inv/X457BEW23B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1128453, actuarial science (topic). Also MathWorld ActuarialScience
History
- 2026-10-26: add by m2/dev
finitely generated group X45XA5XYK1
| URI | m2://inv/X45XA5XYK1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Finitely generated group 082DWWXMRJ |
Mentions
- wikidata: Wikidata Q21083858, finitely generated group (unknown). Also MathWorld FinitelyGenerated
History
- 2026-10-26: add by m2/dev
constructing approximations of probability density functions in spaces of common functions (trig, exp, rational, log, etc) X47NPQAPJB
| URI | m2://inv/X47NPQAPJB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Spaces $\mathcal{D}(\R^d)$ > constructing approximations of probability density functions in spaces of common functions (trig, exp, rational, log, etc), constructing approximations of probability density functions in spaces of common functions (trig, exp, rational, log, etc) (unknown)
History
- 2026-10-26: add by m2/dev
A Mathematician's Apology X496MQX054
| URI | m2://inv/X496MQX054 |
|---|---|
| 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 Q619599, A Mathematician's Apology (unknown). Also ProofWiki Book:G.H._Hardy/A_Mathematician's_Apology
History
- 2026-10-26: add by m2/dev
Harnack's principle X4AFEGCJ08
| URI | m2://inv/X4AFEGCJ08 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1135706, Harnack's theorem (statement). Also Wikidata Q1135706
- thousand_plus: thousand_plus Q1135706, Harnack's theorem (statement). Also Wikidata Q1135706, Wikipedia Harnack's theorem
- wikidata: Wikidata Q1135706, Harnack's principle (statement). Also MathWorld HarnacksPrinciple
History
- 2026-10-26: add by m2/dev
confluence X4C9D9EPRT
| URI | m2://inv/X4C9D9EPRT |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 68Q42 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1140902, confluence (topic). Also MathWorld Church-RosserProperty, MathWorld Confluent
History
- 2026-10-26: add by m2/dev
Thiele's interpolation formula X4CQ1KEWTG
| URI | m2://inv/X4CQ1KEWTG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7783991, Thiele's interpolation formula (concept). Also MathWorld ThielesInterpolationFormula
History
- 2026-10-26: add by m2/dev
pullback X4CQ48QSC2
| URI | m2://inv/X4CQ48QSC2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25345330, pullback (unknown). Also nLab pullback in cohomology
History
- 2026-10-26: add by m2/dev
source vertex X4M2147WQQ
| URI | m2://inv/X4M2147WQQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93723782, source vertex (unknown). Also MathWorld Source
History
- 2026-10-26: add by m2/dev
quantum electrodynamics X4N887TFEQ
| URI | m2://inv/X4N887TFEQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 81V10 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q234881, quantum electrodynamics (topic). Also nLab quantum electrodynamics
History
- 2026-10-26: add by m2/dev
quecto X4QGCSYCK1
| URI | m2://inv/X4QGCSYCK1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q107915314, quecto (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/Quecto-
History
- 2026-10-26: add by m2/dev
Munching square X4VRE2MVSX
| URI | m2://inv/X4VRE2MVSX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6935671, Munching square (unknown). Also MathWorld MunchingSquares
History
- 2026-10-26: add by m2/dev
measurement X4ZZ2HYJF1
| URI | m2://inv/X4ZZ2HYJF1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12453, measurement (unknown). Also nLab measurement
History
- 2026-10-26: add by m2/dev