Inventory rows YD
The cards of the rows of the inventory whose ids start with YD. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
YD012ZGR0S YD012ZGR0S
| URI | m2://inv/YD012ZGR0S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25477#UTS4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
YD01CRS3N4 YD01CRS3N4
| URI | m2://inv/YD01CRS3N4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15489#25JI (statement). In 5BCTP0B6Q1/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
YD07X7KAC4 YD07X7KAC4
| URI | m2://inv/YD07X7KAC4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11974#EMDM (statement). In AW6S4XZ9ZZ/e1, corollary 1.3
History
- 2026-10-28: add by m2/v0.4.3
YD08DBXC2Y YD08DBXC2Y
| URI | m2://inv/YD08DBXC2Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06310#JDE1 (statement). In WR5S1V9V8J/e1, theorem 6.5
History
- 2026-10-29: add by m2/v0.4.10
Properties YD0F8ZETF4
| URI | m2://inv/YD0F8ZETF4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equally spaced polynomial#VCFU, Properties (statement)
History
- 2026-11-02: add by m2/dev
Simple polytope YD0GAQDXF6
| URI | m2://inv/YD0GAQDXF6 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple polytope, Simple polytope (object). Also Wikidata Q4381515
History
- 2026-11-02: add by m2/dev
Pell's equation YD0PA99SZS
| URI | m2://inv/YD0PA99SZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of misnamed theorems#HK1L, Pell's equation (definition)
History
- 2026-11-02: add by m2/dev
Kung-Yee Liang YD0Q0HCFEB
| URI | m2://inv/YD0Q0HCFEB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kung-Yee Liang, Kung-Yee Liang (topic). Also Wikidata Q18226629
History
- 2026-11-02: add by m2/dev
Pluriharmonic function YD0ZPC7V2H
| URI | m2://inv/YD0ZPC7V2H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pluriharmonic function, Pluriharmonic function (definition). Also Wikidata Q4365897
History
- 2026-11-02: add by m2/dev
YD17P1D3X7 YD17P1D3X7
| URI | m2://inv/YD17P1D3X7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19882#UH4M (statement)
History
- 2026-11-02: add by m2/v0.6.18
Economic justice YD1A7N8KQN
| URI | m2://inv/YD1A7N8KQN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Economic justice, Economic justice (definition). Also Wikidata Q3190382
History
- 2026-11-02: add by m2/dev
Tate YD1EVYPDPA
| URI | m2://inv/YD1EVYPDPA |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01731#3WVV, Tate (conjecture). In 3TJ2FWXQ0D/e1, conjecture 2.1
History
- 2026-10-29: add by m2/v0.4.12
YD1GZSZEX4 YD1GZSZEX4
| URI | m2://inv/YD1GZSZEX4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34289#0WHG (statement). In 9RBATD2Z1F/e1, lemma 2.6
History
- 2026-10-30: add by m2/v0.4.12
YD1S0DMM1F YD1S0DMM1F
| URI | m2://inv/YD1S0DMM1F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19464#EVGL (statement). In G8JCZ109A9/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Erdős–Hajnal conjecture YD1SERF3KZ
| URI | m2://inv/YD1SERF3KZ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Hajnal conjecture, Erdős–Hajnal conjecture (conjecture). Also Wikidata Q16974940
History
- 2026-11-02: add by m2/dev
Example YD22AT49FK
| URI | m2://inv/YD22AT49FK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Best linear unbiased prediction#IP7L, Example (example)
History
- 2026-11-02: add by m2/dev
YD288W48CP YD288W48CP
| URI | m2://inv/YD288W48CP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17875#BYQS (statement). In AQX7DGD360/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.2
Rees matrix semigroup YD2CH5Y4QE
| URI | m2://inv/YD2CH5Y4QE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Rees matrix semigroup X54RV6SENQ |
Mentions
- wikidata: Wikidata Q17099723, Rees matrix semigroup (concept). Also nLab Rees matrix semigroup
- wikipedia: Wikipedia Rees matrix semigroup, Rees matrix semigroup (definition). Also Wikidata Q17099723
History
- 2026-10-26: add by m2/dev
YD2FNMX7SF YD2FNMX7SF
| URI | m2://inv/YD2FNMX7SF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/semantics/propositions.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 32.4
History
- 2026-11-01: add by m2/v0.6.13
Robert Phelps YD2H7DYBW5
| URI | m2://inv/YD2H7DYBW5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Phelps, Robert Phelps (topic). Also Wikidata Q6487139
History
- 2026-11-02: add by m2/dev
remainder term in Taylor's formula YD2JTCS9RJ
| URI | m2://inv/YD2JTCS9RJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/3.3.2/remainder-term-in-taylor-s-formula, remainder term in Taylor's formula (concept). In E59CDZA4DP, index, section 3.3.2
History
- 2026-11-01: add by m2/v0.6.13
Hilbert-valued stability of the fitted smoother YD2SP39Z2M
| URI | m2://inv/YD2SP39Z2M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05388#8433, Hilbert-valued stability of the fitted smoother (statement). In 4HJK1986EJ/e1, lemma C.18
History
- 2026-10-29: add by m2/v0.4.10
Commandino's theorem YD2VJR1DRT
| URI | m2://inv/YD2VJR1DRT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#E6I3, Commandino's theorem (statement)
History
- 2026-11-02: add by m2/dev
YD2VR82M5W YD2VR82M5W
| URI | m2://inv/YD2VR82M5W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#8IJN (statement). In E7W2HDNEKJ/e1, corollary 9.37
History
- 2026-10-30: add by m2/v0.4.12
Applications YD2XDAGY3C
| URI | m2://inv/YD2XDAGY3C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Busy beaver#2GX8, Applications (example)
History
- 2026-11-02: add by m2/dev
Beth number YD35E7GQEM
| URI | m2://inv/YD35E7GQEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beth number, Beth number (definition). Also Wikidata Q831092
History
- 2026-11-02: add by m2/dev
YD36XVX782 YD36XVX782
| URI | m2://inv/YD36XVX782 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#JCMA (statement). In 9S7HGSEX6Q/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
Factorial tracially complete $C^*$-algebras have weak CPoU YD377P4TG2
| URI | m2://inv/YD377P4TG2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#UDE0, Factorial tracially complete $C^*$-algebras have weak CPoU (statement). In 7SSKW778T8/e1, theorem 25
History
- 2026-10-29: add by m2/v0.4.10
YD3K1Z7B11 YD3K1Z7B11
| URI | m2://inv/YD3K1Z7B11 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27641#E0YI (statement)
History
- 2026-11-01: add by m2/v0.6.15
YD3P8KBTYA YD3P8KBTYA
| URI | m2://inv/YD3P8KBTYA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28650#X4IJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
YD3SQJP5AG YD3SQJP5AG
| URI | m2://inv/YD3SQJP5AG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20028#T6UJ (example)
History
- 2026-11-02: add by m2/v0.6.18
Properties YD3YR9RF1P
| URI | m2://inv/YD3YR9RF1P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering space#RQIX, Properties (statement)
History
- 2026-11-02: add by m2/dev
Wiener filter YD3Z5TP34N
| URI | m2://inv/YD3Z5TP34N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25523, Wiener filter (unknown). Also MathWorld WienerFilter
- wikipedia: Wikipedia Wiener filter, Wiener filter (definition). Also Wikidata Q25523
History
- 2026-10-26: add by m2/dev
Square antiprism YD458CZT4C
| URI | m2://inv/YD458CZT4C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#FRFP, Square antiprism (definition)
History
- 2026-11-02: add by m2/dev
Pencil concentration bound YD470QHAJY
| URI | m2://inv/YD470QHAJY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#WB1X, Pencil concentration bound (statement). In XDTM624YPE/e1, lemma 15.1
History
- 2026-10-27: add by m2/v0.4.2
Joseph Marie Kampe de Feriet YD4CGZXTEH
| URI | m2://inv/YD4CGZXTEH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#5K78, Joseph Marie Kampe de Feriet (topic)
History
- 2026-11-02: add by m2/dev
I. Kolmogorov's Invariance Theorem YD4Q0WEE65
| URI | m2://inv/YD4Q0WEE65 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithmic probability#9BQR, I. Kolmogorov's Invariance Theorem (statement)
History
- 2026-11-02: add by m2/dev
stable YD4SMZ6XCC
| URI | m2://inv/YD4SMZ6XCC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/7.2.3/stable, stable (concept). In 907G4C4EJ1, index, section 7.2.3
History
- 2026-11-01: add by m2/v0.6.13
Raabe-type formulas YD4VTAMA2X
| URI | m2://inv/YD4VTAMA2X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-gamma function#DLPD, Raabe-type formulas (statement)
History
- 2026-11-02: add by m2/dev
continuum mechanics YD4WAFRKDH
| URI | m2://inv/YD4WAFRKDH |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 74-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q193463, continuum mechanics (topic). Also nLab continuum mechanics, ProofWiki Definition:Continuum_Mechanics
- wikipedia: Wikipedia Continuum mechanics, Continuum mechanics (topic). Also Wikidata Q193463
History
- 2026-10-26: add by m2/dev
YD53QKDA8K YD53QKDA8K
| URI | m2://inv/YD53QKDA8K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33656#DZXM (statement). In 8PXDPT3X9P/e1, corollary 4
History
- 2026-10-30: add by m2/v0.4.12
YD56P48EPA YD56P48EPA
| URI | m2://inv/YD56P48EPA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09078#53ZL (definition). In B4GK8NEZM9/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.10
Definition YD5EG4EA2F
| URI | m2://inv/YD5EG4EA2F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H-vector#MZNX, Definition (definition)
History
- 2026-11-02: add by m2/dev
YD5FGRWH98 YD5FGRWH98
| URI | m2://inv/YD5FGRWH98 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28898#625Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
YD5WA6T27H YD5WA6T27H
| URI | m2://inv/YD5WA6T27H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16358#P28A (statement). In RJA3YJ9NYK/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
YD5YM907S2 YD5YM907S2
| URI | m2://inv/YD5YM907S2 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of choice#GS38 (problem)
History
- 2026-11-02: add by m2/dev
Lang conjecture YD60X5DK4N
| URI | m2://inv/YD60X5DK4N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#SJCZ, Lang conjecture (definition)
History
- 2026-11-02: add by m2/dev
Boardman YD6B6CH0G3
| URI | m2://inv/YD6B6CH0G3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#M7RN, Boardman (unknown)
History
- 2026-11-02: add by m2/dev
Definition YD6DEZ6J6R
| URI | m2://inv/YD6DEZ6J6R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of set identities and relations#NCNC, Definition (definition)
History
- 2026-11-02: add by m2/dev
Linear predictive analysis YD6FSVN6HS
| URI | m2://inv/YD6FSVN6HS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear predictive analysis, Linear predictive analysis (definition). Also Wikidata Q6553483
History
- 2026-11-02: add by m2/dev
YD6GJ7DYET YD6GJ7DYET
| URI | m2://inv/YD6GJ7DYET |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28211#NY3G (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition YD6SKPQS1A
| URI | m2://inv/YD6SKPQS1A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultrabarrelled space#H7FV, Definition (definition)
History
- 2026-11-02: add by m2/dev
femto YD6Y50Z73P
| URI | m2://inv/YD6Y50Z73P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110791, femto (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/femto-
History
- 2026-10-26: add by m2/dev
YD6Y8JMRDF YD6Y8JMRDF
| URI | m2://inv/YD6Y8JMRDF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.08723#5U66 (statement). In HGE2NCQW29/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
YD71HST4XQ YD71HST4XQ
| URI | m2://inv/YD71HST4XQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-21 (exercise). In E9HS8K3A52, exercise, section 9.2.1
History
- 2026-11-01: add by m2/v0.6.13
YD738F5BR0 YD738F5BR0
| URI | m2://inv/YD738F5BR0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20577#Q1NG (statement). In 3P13XJQSVK/e1, fact 2
History
- 2026-10-27: add by m2/v0.4.2
conjugacy-closed subgroup YD74TF3H7V
| URI | m2://inv/YD74TF3H7V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 4978117) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#X4S4, conjugacy-closed subgroup (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
YD776CJ1F5 YD776CJ1F5
| URI | m2://inv/YD776CJ1F5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07673#GWII (example). In 37B1MPV8GX/e1, example 8.7
History
- 2026-10-29: add by m2/v0.4.10
Cohen–Macaulay ring YD7M8J0RKK
| URI | m2://inv/YD7M8J0RKK |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 4 |
| Outcome | open |
| Node | Cohen–Macaulay ring N1QJQEGBFC |
Mentions
- mathlib_1000: mathlib_1000 Q2893695, Unmixedness theorem (statement). Also Wikidata Q2893695
- thousand_plus: thousand_plus Q2893695, Unmixedness theorem (statement). Also Wikidata Q2893695, Wikipedia Unmixedness theorem
- wikidata: Wikidata Q2893695, Cohen–Macaulay ring (concept). Also EoM Cohen-Macaulay_ring, MathWorld Cohen-MacaulayRing
- wikipedia: Wikipedia Cohen–Macaulay ring, Cohen–Macaulay ring (definition). Also Wikidata Q2893695
History
- 2026-10-26: add by m2/dev
YD7PHYT25G YD7PHYT25G
| URI | m2://inv/YD7PHYT25G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-39 (exercise). In E9HS8K3A52, exercise, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
Torsten Hoefler YD7VRFT5VW
| URI | m2://inv/YD7VRFT5VW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#IYV9, Torsten Hoefler (unknown)
History
- 2026-11-02: add by m2/dev
YD7VZ1GS4B YD7VZ1GS4B
| URI | m2://inv/YD7VZ1GS4B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.10921#BQBF (definition). In PD5PJ0EYG6/e1, definition 5.4
History
- 2026-10-27: add by m2/v0.3.5
solving systems of differential equations of order $> 1$ YD84832DSB
| URI | m2://inv/YD84832DSB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential equations > solving systems of differential equations of order $> 1$, solving systems of differential equations of order $> 1$ (unknown)
History
- 2026-10-26: add by m2/dev
Institute of Mathematics of the Polish Academy of Sciences YD86NWPQCX
| URI | m2://inv/YD86NWPQCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institute of Mathematics of the Polish Academy of Sciences, Institute of Mathematics of the Polish Academy of Sciences (definition). Also Wikidata Q11713106
History
- 2026-11-02: add by m2/dev
Lower bound on reward YD89DNEJBA
| URI | m2://inv/YD89DNEJBA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38025#0KKK, Lower bound on reward (statement). In B7CAM06Q77/e1, proposition 4
History
- 2026-10-30: add by m2/v0.4.12
YD8AN4VA8W YD8AN4VA8W
| URI | m2://inv/YD8AN4VA8W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.04068#6G8X (statement). In Y7TVAQE9PF/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
YD8BBMRN51 YD8BBMRN51
| URI | m2://inv/YD8BBMRN51 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11596#I0IU (definition). In 76850E2X7T/e1, definition 2.9
History
- 2026-10-28: add by m2/v0.4.3
Max Koecher YD8E5XAMXE
| URI | m2://inv/YD8E5XAMXE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#97T0, Max Koecher (topic)
History
- 2026-11-02: add by m2/dev
YD8KX6AHZE YD8KX6AHZE
| URI | m2://inv/YD8KX6AHZE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33476#JROG (definition). In DAQW640R25/e1, definition 4.3
History
- 2026-10-30: add by m2/v0.4.12
Chirality YD8Q2H449W
| URI | m2://inv/YD8Q2H449W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chirality (mathematics), Chirality (definition). Also Wikidata Q2467946
History
- 2026-11-02: add by m2/dev
YD8S105EDS YD8S105EDS
| URI | m2://inv/YD8S105EDS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03231#J56B (statement). In 3Y76AQQGF0/e1, lemma 6.4
History
- 2026-10-29: add by m2/v0.4.12
Notation YD8VJS6VXB
| URI | m2://inv/YD8VJS6VXB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Row and column vectors#QZ6L, Notation (definition)
History
- 2026-11-02: add by m2/dev
Green function, reversal, normalized columns YD8XY8GKM7
| URI | m2://inv/YD8XY8GKM7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13063#ELL6, Green function, reversal, normalized columns (statement). In R5AFFWBMAF/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
YD9A2BGM4E YD9A2BGM4E
| URI | m2://inv/YD9A2BGM4E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.16706#U2M5 (statement). In JSRVKPT87E/e1, lemma
History
- 2026-10-27: add by m2/v0.4.0
Computable prediction-error bound under a spectral-norm limit YD9BF0JHG4
| URI | m2://inv/YD9BF0JHG4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32652#QPGN, Computable prediction-error bound under a spectral-norm limit (statement). In 6KAZWJ8RFX/e1, proposition 2.2
History
- 2026-10-31: add by m2/v0.5.6
YD9D8SB07A YD9D8SB07A
| URI | m2://inv/YD9D8SB07A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#FZ1D (statement). In HX63A1PH1W/e1, corollary 5.28
History
- 2026-10-28: add by m2/v0.4.3
circulant matrix YD9HM39ZNB
| URI | m2://inv/YD9HM39ZNB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Circulant matrix 07HFRH2AWY |
Mentions
- wikidata: Wikidata Q245457, circulant matrix (unknown). Also MathWorld CirculantMatrix
- wikipedia: Wikipedia Circulant matrix, Circulant matrix (definition). Also Wikidata Q245457
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
YD9R9A1DJW YD9R9A1DJW
| URI | m2://inv/YD9R9A1DJW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.02207#4V1K (statement). In 1T3ZYPQZF0/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.6
YDA0ANCJ1D YDA0ANCJ1D
| URI | m2://inv/YDA0ANCJ1D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#7EM0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Almost periodic modulo symmetries (APMS YDA0CGSP81
| URI | m2://inv/YDA0CGSP81 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15460#2XFJ, Almost periodic modulo symmetries (APMS (definition). In T2Z3D2VQ9B/e1, definition 2.5
History
- 2026-10-28: add by m2/v0.4.2
YDA11HAA3A YDA11HAA3A
| URI | m2://inv/YDA11HAA3A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02106#M3FT (definition). In NGKK8ZB29J/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Pierre Boutroux YDA2HDK09Q
| URI | m2://inv/YDA2HDK09Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pierre Boutroux, Pierre Boutroux (topic). Also Wikidata Q1399119
History
- 2026-11-02: add by m2/dev
YDA548712T YDA548712T
| URI | m2://inv/YDA548712T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.14022#1L5T (definition). In NSYR6W27FP/e1, definition 4.3
History
- 2026-10-27: add by m2/v0.3.5
YDAB13T37C YDAB13T37C
| URI | m2://inv/YDAB13T37C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#theorem-7 (statement). In RZP28ERRZV, theorem, section 52.8
History
- 2026-11-01: add by m2/v0.6.13
YDAENY8WB9 YDAENY8WB9
| URI | m2://inv/YDAENY8WB9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#HPPV (statement). In 67GE5M1GGD/e1, theorem 7.9
History
- 2026-10-30: add by m2/v0.4.12
YDAKEA4ZCA YDAKEA4ZCA
| URI | m2://inv/YDAKEA4ZCA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04325#D0W6 (statement). In 42XHT97E64/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.12
Examples YDAP9ARM0B
| URI | m2://inv/YDAP9ARM0B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balanced Boolean function#LUQ5, Examples (example)
History
- 2026-11-02: add by m2/dev
YDAZV26A2G YDAZV26A2G
| URI | m2://inv/YDAZV26A2G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25367#P945 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Yury Prokhorov YDB09H5356
| URI | m2://inv/YDB09H5356 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#7BLI, Yury Prokhorov (topic)
History
- 2026-11-02: add by m2/dev
YDB6N9ZP81 YDB6N9ZP81
| URI | m2://inv/YDB6N9ZP81 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27078#VRKS (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definition YDBAFWGT4S
| URI | m2://inv/YDBAFWGT4S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matching polynomial#BJCF, Definition (definition)
History
- 2026-11-02: add by m2/dev
Pamela Liebeck YDBF5BXE83
| URI | m2://inv/YDBF5BXE83 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pamela Liebeck, Pamela Liebeck (topic). Also Wikidata Q90256206
History
- 2026-11-02: add by m2/dev
Examples YDBFFPFANA
| URI | m2://inv/YDBFFPFANA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Legendre transformation#JNQG, Examples (example)
History
- 2026-11-02: add by m2/dev
Giuga number YDBKD604FB
| URI | m2://inv/YDBKD604FB |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#91HL, Giuga number (conjecture)
History
- 2026-11-02: add by m2/dev
YDBPB87PVH YDBPB87PVH
| URI | m2://inv/YDBPB87PVH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18219#MVB7 (statement). In X1AGBB90EH/e1, lemma 7.16
History
- 2026-10-28: add by m2/v0.4.2
YDBSGFC2B7 YDBSGFC2B7
| URI | m2://inv/YDBSGFC2B7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#ATS9 (definition). In 9DQKY7KGE8/e1, definition 7.1
History
- 2026-10-31: add by m2/v0.5.6
Violin plot YDC01CSE1D
| URI | m2://inv/YDC01CSE1D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Violin plot, Violin plot (definition). Also Wikidata Q7933383
History
- 2026-11-02: add by m2/dev
Leibniz operator YDCAKCTS59
| URI | m2://inv/YDCAKCTS59 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leibniz operator, Leibniz operator (definition). Also Wikidata Q6519090
History
- 2026-11-02: add by m2/dev
Jacob Wolfowitz YDCBHP5K7F
| URI | m2://inv/YDCBHP5K7F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#9LDR, Jacob Wolfowitz (unknown)
History
- 2026-11-02: add by m2/dev
Lisa Sauermann YDCDV77KN7
| URI | m2://inv/YDCDV77KN7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lisa Sauermann, Lisa Sauermann (topic). Also Wikidata Q92362
History
- 2026-11-02: add by m2/dev
Application YDCNFPXSE5
| URI | m2://inv/YDCNFPXSE5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternion algebra#8359, Application (example)
History
- 2026-11-02: add by m2/dev
YDCPNZ9RQ5 YDCPNZ9RQ5
| URI | m2://inv/YDCPNZ9RQ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09129#9M7U (statement). In Z1RZSF68XZ/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
YDCTQZR6V8 YDCTQZR6V8
| URI | m2://inv/YDCTQZR6V8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09739#23KR (statement). In ZYNZ95FSFD/e1, proposition 1.8
History
- 2026-10-29: add by m2/v0.4.10
Defect-seventeen rigidity YDCYAD7BBG
| URI | m2://inv/YDCYAD7BBG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02216#LDGM, Defect-seventeen rigidity (statement). In 34JGRZ2M5F/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Diamond norm with a cutoff, $K$ YDD448S548
| URI | m2://inv/YDD448S548 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39747#D0LZ, Diamond norm with a cutoff, $K$ (definition). In 9H2KJ3W3JX/e1, definition 15
History
- 2026-10-30: add by m2/v0.4.12
Ágnes Szendrei YDD67GMXP5
| URI | m2://inv/YDD67GMXP5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ágnes Szendrei, Ágnes Szendrei (topic). Also Wikidata Q70554617
History
- 2026-11-02: add by m2/dev
Small-step global convergence of factor descent YDDA7WAGX9
| URI | m2://inv/YDDA7WAGX9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09356#MB3A, Small-step global convergence of factor descent (statement). In 3VVGPXWH6R/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.10
Georges Painvin YDDDQD1CNT
| URI | m2://inv/YDDDQD1CNT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georges Painvin, Georges Painvin (topic). Also Wikidata Q332250
History
- 2026-11-02: add by m2/dev
Wigner semicircle distribution YDDKQNJR7T
| URI | m2://inv/YDDKQNJR7T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#17NB, Wigner semicircle distribution (definition)
History
- 2026-11-02: add by m2/dev
Examples YDDKY83KXG
| URI | m2://inv/YDDKY83KXG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear time-invariant system#EG29, Examples (example)
History
- 2026-11-02: add by m2/dev
Flow graph YDDNZ6S9RN
| URI | m2://inv/YDDNZ6S9RN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flow graph (mathematics), Flow graph (definition). Also Wikidata Q18816135
History
- 2026-11-02: add by m2/dev
Hadamard gate YDDP8TX80S
| URI | m2://inv/YDDP8TX80S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard transform#N3S9, Hadamard gate (unknown)
History
- 2026-11-02: add by m2/dev
Finite differences of the eigenfunctions YDDVPD5SMV
| URI | m2://inv/YDDVPD5SMV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13753#7NUJ, Finite differences of the eigenfunctions (statement). In AHM0PBKZZN/e1, lemma 4.8
History
- 2026-10-28: add by m2/v0.4.2
Jacques Frédéric Français YDE2A9ZGM3
| URI | m2://inv/YDE2A9ZGM3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacques Frédéric Français, Jacques Frédéric Français (topic). Also Wikidata Q3158939
History
- 2026-11-02: add by m2/dev
Heavy-mass propagation YDE4102WXS
| URI | m2://inv/YDE4102WXS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00525#IITZ, Heavy-mass propagation (statement). In JN34PDDXH8/e1, lemma 4.8
History
- 2026-10-30: add by m2/v0.4.12
YDE8E99H9R YDE8E99H9R
| URI | m2://inv/YDE8E99H9R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#IUWL (statement). In 5BZQS1KY9A/e1, proposition 8.1
History
- 2026-10-29: add by m2/v0.4.10
YDE9G1HRER YDE9G1HRER
| URI | m2://inv/YDE9G1HRER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37897#98S8 (statement). In RBQ5FNCVNZ/e1, corollary 6.7
History
- 2026-10-30: add by m2/v0.4.12
Code on strings YDE9Z8KYF7
| URI | m2://inv/YDE9Z8KYF7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#H4TQ, Code on strings (definition). In WD2NCBV9F0/e1, definition 4.5
History
- 2026-10-27: add by m2/v0.3.5
Joel Smoller YDED3AJVKP
| URI | m2://inv/YDED3AJVKP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joel Smoller, Joel Smoller (topic). Also Wikidata Q1691748
History
- 2026-11-02: add by m2/dev
YDEGG5S4RW YDEGG5S4RW
| URI | m2://inv/YDEGG5S4RW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34946#YDOV (statement). In Y27BAB2BB4/e1, lemma A.1
History
- 2026-10-30: add by m2/v0.4.12
YDEH5H8NJ4 YDEH5H8NJ4
| URI | m2://inv/YDEH5H8NJ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31249#V4LA (statement). In RAVR2W9S0B/e1, corollary 4.2
History
- 2026-10-31: add by m2/v0.5.6
YDEK7Q2ZJT YDEK7Q2ZJT
| URI | m2://inv/YDEK7Q2ZJT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28677#O4QH (statement)
History
- 2026-11-01: add by m2/v0.6.15
YDEKECXD5D YDEKECXD5D
| URI | m2://inv/YDEKECXD5D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.07961#K5AM (statement). In 4DK4VRKZVM/e1, theorem 1.6
History
- 2026-10-27: add by m2/v0.3.5
Hermann Rothe YDER9PP6AK
| URI | m2://inv/YDER9PP6AK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#C3JH, Hermann Rothe (topic)
History
- 2026-11-02: add by m2/dev
Enforcing the standard initialization YDESXYWYZJ
| URI | m2://inv/YDESXYWYZJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15125#0VHN, Enforcing the standard initialization (statement). In V5GT8NJKCM/e1, lemma C.3
History
- 2026-10-28: add by m2/v0.4.2
Distributive homomorphism YDEWBG74SK
| URI | m2://inv/YDEWBG74SK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributive homomorphism, Distributive homomorphism (definition). Also Wikidata Q5283212
History
- 2026-11-02: add by m2/dev
YDEZMVZG5Y YDEZMVZG5Y
| URI | m2://inv/YDEZMVZG5Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07828#RG6H (definition). In TWGMVT1N1G/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Masatoshi Fukushima YDF3RFK1WM
| URI | m2://inv/YDF3RFK1WM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SZN4, Masatoshi Fukushima (unknown)
History
- 2026-11-02: add by m2/dev
Likelihood ratios YDF4V795RE
| URI | m2://inv/YDF4V795RE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#0OL6, Likelihood ratios (definition)
History
- 2026-11-01: add by m2/v0.6.15
Application YDF6VZVZRN
| URI | m2://inv/YDF6VZVZRN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moulton plane#4C2Y, Application (example)
History
- 2026-11-02: add by m2/dev
Construction YDFA2FVGKD
| URI | m2://inv/YDFA2FVGKD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magic hypercube#UR0S, Construction (definition)
History
- 2026-11-02: add by m2/dev
Example YDFC0P9QQY
| URI | m2://inv/YDFC0P9QQY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Layered permutation#J7VQ, Example (example)
History
- 2026-11-02: add by m2/dev
Special cases YDFGAJH6C1
| URI | m2://inv/YDFGAJH6C1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brocard circle#ILSX, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Behm, Ernst YDFHMBK1TP
| URI | m2://inv/YDFHMBK1TP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#TKDH, Behm, Ernst (unknown)
History
- 2026-11-02: add by m2/dev
YDFWDHZXKE YDFWDHZXKE
| URI | m2://inv/YDFWDHZXKE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31615#Y8KT (statement). In TNV6XTEWEG/e1, lemma 6.1
History
- 2026-10-31: add by m2/v0.5.6
G{\aa}rding elliptic operator YDFZ4W8DWZ
| URI | m2://inv/YDFZ4W8DWZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24078#Z6Z6, G{\aa}rding elliptic operator (definition)
History
- 2026-11-02: add by m2/v0.6.17
(smooth) vector bundle YDG12C9QD1
| URI | m2://inv/YDG12C9QD1 |
|---|---|
| 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) vector bundle, (smooth) vector bundle (unknown). Also Mathlib ContMDiffVectorBundle
History
- 2026-10-26: add by m2/dev
MaryAnn Hill YDG1D1XATZ
| URI | m2://inv/YDG1D1XATZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#QVUH, MaryAnn Hill (unknown)
History
- 2026-11-02: add by m2/dev
Bourbaki dangerous bend symbol YDG2Y79V5R
| URI | m2://inv/YDG2Y79V5R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bourbaki dangerous bend symbol, Bourbaki dangerous bend symbol (definition). Also Wikidata Q746697
History
- 2026-11-02: add by m2/dev
YDG9VM7TV2 YDG9VM7TV2
| URI | m2://inv/YDG9VM7TV2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36181#Z0RB (statement). In 1KSE33PVS6/e1, proposition 73
History
- 2026-10-30: add by m2/v0.4.12
Olympia Nicodemi YDGD9N5NX7
| URI | m2://inv/YDGD9N5NX7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olympia Nicodemi, Olympia Nicodemi (topic). Also Wikidata Q48970163
History
- 2026-11-02: add by m2/dev
Pseudotriangle YDGDFHTYY9
| URI | m2://inv/YDGDFHTYY9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudotriangle, Pseudotriangle (definition). Also Wikidata Q7255664
History
- 2026-11-02: add by m2/dev
Jeanne LaDuke YDGJHRYGZW
| URI | m2://inv/YDGJHRYGZW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeanne LaDuke, Jeanne LaDuke (topic). Also Wikidata Q42892712
History
- 2026-11-02: add by m2/dev
YDGRE5WA4H YDGRE5WA4H
| URI | m2://inv/YDGRE5WA4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1804.05688#SJVU (statement). In M8F4PDHH3S/e1, proposition A.2
History
- 2026-10-27: add by m2/v0.3.5
YDGTVMZBRN YDGTVMZBRN
| URI | m2://inv/YDGTVMZBRN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16779#CAOA (statement). In 1R7H0ZAHWA/e1, corollary 2.11
History
- 2026-10-28: add by m2/v0.4.2
Eugenio Giuseppe Togliatti YDH8257V97
| URI | m2://inv/YDH8257V97 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#YFV1, Eugenio Giuseppe Togliatti (topic)
History
- 2026-11-02: add by m2/dev
YDHQP12QCV YDHQP12QCV
| URI | m2://inv/YDHQP12QCV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.16102#SCYE (statement). In 55QFMZQ5HM/e1, proposition 2.9
History
- 2026-10-27: add by m2/v0.3.6
Palash Sarkar YDHQPQX6EV
| URI | m2://inv/YDHQPQX6EV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5L5D, Palash Sarkar (topic)
History
- 2026-11-02: add by m2/dev
YDHSY6VA1M YDHSY6VA1M
| URI | m2://inv/YDHSY6VA1M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.14455#1ME7 (statement). In VDE5R8HBS1/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Jacob Tsimerman YDHT8984PZ
| URI | m2://inv/YDHT8984PZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MFPV, Jacob Tsimerman (topic)
History
- 2026-11-02: add by m2/dev
Definition YDHVRMFG3Z
| URI | m2://inv/YDHVRMFG3Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shelling (topology)#EAF7, Definition (definition)
History
- 2026-11-02: add by m2/dev
Tommaso Boggio YDHY6JGGKZ
| URI | m2://inv/YDHY6JGGKZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#T9P6, Tommaso Boggio (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#L2X4, Tommaso Boggio (topic)
History
- 2026-11-02: add by m2/dev
Definitions YDHZ2X3EJT
| URI | m2://inv/YDHZ2X3EJT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maharam algebra#9FW1, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Logarithmic regret for finite-dimensional classes YDJ04VQ8KG
| URI | m2://inv/YDJ04VQ8KG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29688#XR6T, Logarithmic regret for finite-dimensional classes (statement)
History
- 2026-11-01: add by m2/v0.6.15
YDJ2T62DE7 YDJ2T62DE7
| URI | m2://inv/YDJ2T62DE7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31276#DC8R (statement). In WYDHWYFRFK/e1, theorem 3.14
History
- 2026-10-31: add by m2/v0.5.6
YDJ87KCW76 YDJ87KCW76
| URI | m2://inv/YDJ87KCW76 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1701.00517#M2XE (statement). In JHPBT88FDW/e1, corollary 4.5
History
- 2026-10-27: add by m2/v0.3.5
Applications YDJFF36ST7
| URI | m2://inv/YDJFF36ST7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conway triangle notation#AIQG, Applications (example)
History
- 2026-11-02: add by m2/dev
YDJNTA8VQ3 YDJNTA8VQ3
| URI | m2://inv/YDJNTA8VQ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21680#VJDF (statement)
History
- 2026-11-02: add by m2/v0.6.18
Right circular conoid YDJP0AQEWV
| URI | m2://inv/YDJP0AQEWV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#VP72, Right circular conoid (definition)
History
- 2026-11-02: add by m2/dev
model of ZFC YDJRNE130V
| URI | m2://inv/YDJRNE130V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Set theory > model of ZFC, model of ZFC (unknown). Also Mathlib ZFSet
History
- 2026-10-26: add by m2/dev
Cecil C. Craig YDJTEM6QCC
| URI | m2://inv/YDJTEM6QCC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#GABL, Cecil C. Craig (unknown)
History
- 2026-11-02: add by m2/dev
Vertical and horizontal YDK06HDRD6
| URI | m2://inv/YDK06HDRD6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertical and horizontal, Vertical and horizontal (definition). Also Wikidata Q17027571
History
- 2026-11-02: add by m2/dev
Cauchy–Davenport theorem YDK9RFXAAD
| URI | m2://inv/YDK9RFXAAD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive combinatorics#R4JQ, Cauchy–Davenport theorem (statement)
History
- 2026-11-02: add by m2/dev
Characterization of maximal operators YDKBV884M8
| URI | m2://inv/YDKBV884M8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20542#NK48, Characterization of maximal operators (statement). In 8PZXZ8Y9FK/e1, theorem 4.9
History
- 2026-10-27: add by m2/v0.4.2
Thompson transitivity theorem YDKRK5N3SA
| URI | m2://inv/YDKRK5N3SA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7795825, Thompson transitivity theorem (statement). Also Wikidata Q7795825
- thousand_plus: thousand_plus Q7795825, Thompson transitivity theorem (statement). Also Wikidata Q7795825, Wikipedia Thompson transitivity theorem
- wikipedia: Wikipedia Thompson transitivity theorem, Thompson transitivity theorem (statement). Also Wikidata Q7795825
History
- 2026-10-26: add by m2/dev
YDKTY197C6 YDKTY197C6
| URI | m2://inv/YDKTY197C6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23617#5J6L (statement)
History
- 2026-11-02: add by m2/v0.6.17
YDM6P6TECS YDM6P6TECS
| URI | m2://inv/YDM6P6TECS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12047#JFOZ (statement). In ZF1Y3HZMZ9/e1, fact 2.1
History
- 2026-10-28: add by m2/v0.4.3
Minimal model YDMA52M5K2
| URI | m2://inv/YDMA52M5K2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimal model (set theory), Minimal model (definition). Also Wikidata Q6865324
History
- 2026-11-02: add by m2/dev
Reed–Solomon code YDMBD0ZN76
| URI | m2://inv/YDMBD0ZN76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#U56C, Reed–Solomon code (definition)
History
- 2026-11-02: add by m2/dev
Fisher's z-distribution YDMC8JWAMK
| URI | m2://inv/YDMC8JWAMK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GG8V, Fisher's z-distribution (definition)
- wikipedia: Wikipedia List of probability distributions#QY2I, Fisher's z-distribution (definition)
History
- 2026-11-02: add by m2/dev
YDMC9X9QYC YDMC9X9QYC
| URI | m2://inv/YDMC9X9QYC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37698#1FMO (statement). In HA2GG72C23/e1, fact 1.2
History
- 2026-10-30: add by m2/v0.4.12
YDMD6SKC5Y YDMD6SKC5Y
| URI | m2://inv/YDMD6SKC5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.07470#VFR1 (statement). In XPF72KTPMZ/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
Topological vector lattice YDMGCKP0SJ
| URI | m2://inv/YDMGCKP0SJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological vector lattice, Topological vector lattice (definition). Also Wikidata Q96410326
History
- 2026-11-02: add by m2/dev
Oscillating critical sums YDMJQGZGQY
| URI | m2://inv/YDMJQGZGQY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05457#O39U, Oscillating critical sums (example). In SV36P5P5Z3/e1, example 5.5
History
- 2026-10-29: add by m2/v0.4.10
Lifetime prevalence YDMMTK7B96
| URI | m2://inv/YDMMTK7B96 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prevalence#1E7B, Lifetime prevalence (unknown)
History
- 2026-11-02: add by m2/dev
Economic statistics of Singapore YDNGAX1GDY
| URI | m2://inv/YDNGAX1GDY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Economic statistics of Singapore, Economic statistics of Singapore (definition). Also Wikidata Q24931695
History
- 2026-11-02: add by m2/dev
Automorphism group YDNM2K5THS
| URI | m2://inv/YDNM2K5THS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#QEDL, Automorphism group (definition)
History
- 2026-11-02: add by m2/dev
German Mathematical Society YDNRSDDVT9
| URI | m2://inv/YDNRSDDVT9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#D3VS, German Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
YDP621PVKF YDP621PVKF
| URI | m2://inv/YDP621PVKF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#ARU8 (statement). In 13GSWBXPCM/e1, lemma B.7
History
- 2026-10-27: add by m2/v0.3.5
A six-element cubic obstruction YDPDC5NRPF
| URI | m2://inv/YDPDC5NRPF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#1ARA, A six-element cubic obstruction (example). In XDTM624YPE/e1, example 18.2
History
- 2026-10-27: add by m2/v0.4.2
Computation YDPFW6VDA3
| URI | m2://inv/YDPFW6VDA3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete sine transform#VI49, Computation (definition)
History
- 2026-11-02: add by m2/dev
A heavy-tailed initialization law destroys the deterministic limit YDPGD4PJNH
| URI | m2://inv/YDPGD4PJNH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#X9ZE, A heavy-tailed initialization law destroys the deterministic limit (example). In 6FY8BVP1F3/e1, example E.6
History
- 2026-10-29: add by m2/v0.4.12
George Minchin YDPKCRYN3E
| URI | m2://inv/YDPKCRYN3E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Minchin, George Minchin (topic). Also Wikidata Q21166591
History
- 2026-11-02: add by m2/dev
YDPR3462C1 YDPR3462C1
| URI | m2://inv/YDPR3462C1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20386#VK9U (definition). In 4WC4V49KAC/e1, definition 0.1
History
- 2026-10-27: add by m2/v0.4.2
source YDPW1KZCCN
| URI | m2://inv/YDPW1KZCCN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/13.1/source, source (concept). In QKM9DD2H56, index, section 13.1
History
- 2026-11-01: add by m2/v0.6.13
Hal\'asz--Montgomery--Tenenbaum, \HMTTheoremCitation YDPY9AX7CN
| URI | m2://inv/YDPY9AX7CN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11965#8LBT, Hal\'asz--Montgomery--Tenenbaum, \HMTTheoremCitation (statement). In 48QX0QD0XR/e1, theorem 6.10
History
- 2026-10-28: add by m2/v0.4.3
homomorphism YDQ0KSBTGP
| URI | m2://inv/YDQ0KSBTGP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/D/homomorphism, homomorphism (concept). In VNMV985MXX, index, section D
History
- 2026-11-01: add by m2/v0.6.13
Achronal set YDQ5FG71SJ
| URI | m2://inv/YDQ5FG71SJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#AOJK, Achronal set (definition). In KM3Q791JY0/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.4.2
Paradox YDQ8GJGYTR
| URI | m2://inv/YDQ8GJGYTR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grim Reaper paradox#NHTW, Paradox (statement)
History
- 2026-11-02: add by m2/dev
YDQD5XCFSS YDQD5XCFSS
| URI | m2://inv/YDQD5XCFSS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09810#HLH6 (statement). In B6PCH930FV/e1, theorem 9
History
- 2026-10-29: add by m2/v0.4.10
YDQG7CCJBX YDQG7CCJBX
| URI | m2://inv/YDQG7CCJBX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#FP1J (definition). In 5KR3MHYVV6/e1, definition 4.0
History
- 2026-10-28: add by m2/v0.4.2
Borel Conjecture YDQHDP2MHB
| URI | m2://inv/YDQHDP2MHB |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20131#O2J9, Borel Conjecture (conjecture). In 29D4TTE3J2/e1, conjecture 8.2
History
- 2026-10-27: add by m2/v0.4.2
YDQK37BZ1G YDQK37BZ1G
| URI | m2://inv/YDQK37BZ1G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36444#RM3Q (statement). In 4DJE72VPJP/e1, theorem II
History
- 2026-10-30: add by m2/v0.4.12
Embree–Trefethen constant YDQY6QX0PY
| URI | m2://inv/YDQY6QX0PY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#S0HZ, Embree–Trefethen constant (definition)
History
- 2026-11-02: add by m2/dev
YDR38YBAGK YDR38YBAGK
| URI | m2://inv/YDR38YBAGK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#JSFV (statement). In RTE2C0PH4S/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
E. T. Whittaker YDR5S7RFKZ
| URI | m2://inv/YDR5S7RFKZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#5JPI, E. T. Whittaker (topic)
History
- 2026-11-02: add by m2/dev
YDR8M187NH YDR8M187NH
| URI | m2://inv/YDR8M187NH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-28 (exercise). In E59CDZA4DP, exercise, section 11.2.4
History
- 2026-11-01: add by m2/v0.6.13
Jeannette Janssen YDREJNZ1JR
| URI | m2://inv/YDREJNZ1JR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeannette Janssen, Jeannette Janssen (topic). Also Wikidata Q102135780
History
- 2026-11-02: add by m2/dev
Seventh Mountain, Oregon YDRMGJTX9T
| URI | m2://inv/YDRMGJTX9T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#ZQ4F, Seventh Mountain, Oregon (unknown)
History
- 2026-11-02: add by m2/dev
YDRNS99W4Y YDRNS99W4Y
| URI | m2://inv/YDRNS99W4Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-15 (exercise). In E9HS8K3A52, exercise, section 10.2.6
History
- 2026-11-01: add by m2/v0.6.13
YDRS5YYQ9Y YDRS5YYQ9Y
| URI | m2://inv/YDRS5YYQ9Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#00EU (statement). In 9TR5E527P5/e1, lemma 6.8
History
- 2026-10-29: add by m2/v0.4.10
YDRSG6C3PX YDRSG6C3PX
| URI | m2://inv/YDRSG6C3PX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.13401#LA36 (statement). In B8MJT0GGW8/e1, lemma 4.22
History
- 2026-10-27: add by m2/v0.4.0
$\phi$-weighted $\tau$-variation, cf.\ YDRW56TWZ9
| URI | m2://inv/YDRW56TWZ9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24451#7UDI, $\phi$-weighted $\tau$-variation, cf.\ (definition)
History
- 2026-11-01: add by m2/v0.6.15
YDRY25R3AP YDRY25R3AP
| URI | m2://inv/YDRY25R3AP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.16491#W7FQ (statement). In P9J6P06Y40/e1, lemma 5.10
History
- 2026-10-27: add by m2/v0.3.5
YDRYW6W0ZG YDRYW6W0ZG
| URI | m2://inv/YDRYW6W0ZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07122#OUPV (statement). In W0ZHX9DHPV/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.10
Horizon-optimal flattening YDRZ78C8XN
| URI | m2://inv/YDRZ78C8XN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#JE42, Horizon-optimal flattening (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statement of theorem YDS130NCQP
| URI | m2://inv/YDS130NCQP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cederbaum's maximum flow theorem#44OT, Statement of theorem (statement)
History
- 2026-11-02: add by m2/dev
Guess value YDS1C7TZ1D
| URI | m2://inv/YDS1C7TZ1D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TNJU, Guess value (definition)
History
- 2026-11-02: add by m2/dev
Euler–Boole summation YDS8M7Y0VQ
| URI | m2://inv/YDS8M7Y0VQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler–Boole summation, Euler–Boole summation (definition). Also Wikidata Q30676419
History
- 2026-11-02: add by m2/dev
Catanese surface YDSBYGGMB0
| URI | m2://inv/YDSBYGGMB0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#CLJN, Catanese surface (definition)
History
- 2026-11-02: add by m2/dev
Random restriction lemma YDSCZRGGTT
| URI | m2://inv/YDSCZRGGTT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08151#29M9, Random restriction lemma (statement). In A0HQ7ZGK3B/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
Bounded poset YDSFFEMHGD
| URI | m2://inv/YDSFFEMHGD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded set#163L, Bounded poset (unknown)
History
- 2026-11-02: add by m2/dev
YDSSWBT2EK YDSSWBT2EK
| URI | m2://inv/YDSSWBT2EK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#3T49 (statement)
History
- 2026-11-01: add by m2/v0.6.15
YDSZMM720Q YDSZMM720Q
| URI | m2://inv/YDSZMM720Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31757#1FDG (statement). In KBJHAD5TTY/e1, proposition 2.5
History
- 2026-10-31: add by m2/v0.5.6
Yael Dowker YDT27A7MCD
| URI | m2://inv/YDT27A7MCD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yael Dowker, Yael Dowker (topic). Also Wikidata Q6462994
History
- 2026-11-02: add by m2/dev
List of set identities and relations YDTEPNZNPG
| URI | m2://inv/YDTEPNZNPG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of set identities and relations, List of set identities and relations (topic). Also Wikidata Q104867734
History
- 2026-11-02: add by m2/dev
YDTGNMT23N YDTGNMT23N
| URI | m2://inv/YDTGNMT23N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01267#LW0W (statement). In GWWHP6R0BZ/e1, lemma 4.11
History
- 2026-10-29: add by m2/v0.4.12
YDTN5S448D YDTN5S448D
| URI | m2://inv/YDTN5S448D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35360#V49B (statement). In 770AQ8T366/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
YDTTSN5HF6 YDTTSN5HF6
| URI | m2://inv/YDTTSN5HF6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.22681#435Q (definition). In 68VEQQX68G/e1, definition 1.7
History
- 2026-10-27: add by m2/v0.4.0
Arakelov theory YDV1SH7226
| URI | m2://inv/YDV1SH7226 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#4F6T, Arakelov theory (definition)
History
- 2026-11-02: add by m2/dev
352 (number) YDV4KEF024
| URI | m2://inv/YDV4KEF024 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#246Q, 352 (number) (unknown)
History
- 2026-11-02: add by m2/dev
YDV61GDYQ0 YDV61GDYQ0
| URI | m2://inv/YDV61GDYQ0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#GREA (definition). In XGPZ0G9E1Q/e1, definition 6.1
History
- 2026-10-29: add by m2/v0.4.12
Physical packet-order reversal YDV6T8CPEJ
| URI | m2://inv/YDV6T8CPEJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00137#8GCX, Physical packet-order reversal (statement). In NKW6YQ04QW/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Examples of group actions YDVCQNKG1P
| URI | m2://inv/YDVCQNKG1P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/action.tex#example-1, Examples of group actions (example). In RZP28ERRZV, example, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
Example YDVKXN9X29
| URI | m2://inv/YDVKXN9X29 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia QR decomposition#40F4, Example (example)
History
- 2026-11-02: add by m2/dev
Sub-Riemannian manifold YDVNBQDSPX
| URI | m2://inv/YDVNBQDSPX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sub-Riemannian manifold, Sub-Riemannian manifold (definition). Also Wikidata Q7630587
History
- 2026-11-02: add by m2/dev
YDVWPK6TSA YDVWPK6TSA
| URI | m2://inv/YDVWPK6TSA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11157#B16L (definition). In G30YTST9ZK/e1, definition 3.3
History
- 2026-10-28: add by m2/v0.4.3
YDVXGZSK1T YDVXGZSK1T
| URI | m2://inv/YDVXGZSK1T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21403#2KHG (statement)
History
- 2026-11-02: add by m2/v0.6.18
Index set YDVXKTHX2X
| URI | m2://inv/YDVXKTHX2X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index set (computability), Index set (definition). Also Wikidata Q4386723
History
- 2026-11-02: add by m2/dev
YDW1G9VM6V YDW1G9VM6V
| URI | m2://inv/YDW1G9VM6V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36613#B4ZL (statement). In GX0K0ZM700/e1, lemma 3.10
History
- 2026-10-30: add by m2/v0.4.12
symmetric bilinear form YDW448JN0F
| URI | m2://inv/YDW448JN0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Symmetric bilinear form 0AXZNE5XNH |
Mentions
- wikidata: Wikidata Q2100018, symmetric bilinear form (unknown). Also MathWorld SymmetricBilinearForm
- wikipedia: Wikipedia Symmetric bilinear form, Symmetric bilinear form (definition). Also Wikidata Q2100018
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Megolm YDW7B34CDF
| URI | m2://inv/YDW7B34CDF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix (protocol)#43M4, Megolm (unknown)
History
- 2026-11-02: add by m2/dev
Fréchet inception distance YDWCACKC5M
| URI | m2://inv/YDWCACKC5M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet inception distance, Fréchet inception distance (definition). Also Wikidata Q97279062
History
- 2026-11-02: add by m2/dev
recursion, structural YDWCJ0SJZ8
| URI | m2://inv/YDWCJ0SJZ8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.1/recursion-structural, recursion, structural (concept). In N54F33XE07, index, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Consistency of ZFC YDWGN7P5YC
| URI | m2://inv/YDWGN7P5YC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zermelo–Fraenkel set theory#6IEV, Consistency of ZFC (unknown)
History
- 2026-11-02: add by m2/dev
YDWT0DXRZ4 YDWT0DXRZ4
| URI | m2://inv/YDWT0DXRZ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13532#Y6NQ (statement). In 9B0X8YPF3P/e1, proposition 10.5
History
- 2026-10-28: add by m2/v0.4.2
⊕ YDWX34G960
| URI | m2://inv/YDWX34G960 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#RK3B, ⊕ (definition)
History
- 2026-11-02: add by m2/dev
YDWY05GGK2 YDWY05GGK2
| URI | m2://inv/YDWY05GGK2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.24424#X0V7 (statement). In RQHGZ4AA5T/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.6
Alexander Razborov YDX1ATCCMZ
| URI | m2://inv/YDX1ATCCMZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#S61V, Alexander Razborov (topic)
History
- 2026-11-02: add by m2/dev
YDX34F8DTF YDX34F8DTF
| URI | m2://inv/YDX34F8DTF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30323#NONP (statement). In HDJ6N25XVT/e1, theorem 6.5
History
- 2026-10-31: add by m2/v0.5.6
YDX3AATJKC YDX3AATJKC
| URI | m2://inv/YDX3AATJKC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05184#1HAN (statement). In JK425E1F77/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Erich Rothe YDX803RJ0D
| URI | m2://inv/YDX803RJ0D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erich Rothe, Erich Rothe (topic). Also Wikidata Q1353093
History
- 2026-11-02: add by m2/dev
YDXCC8ME3J YDXCC8ME3J
| URI | m2://inv/YDXCC8ME3J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01268#CC6R (statement). In 80Q4X3WT8W/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
YDXKK6TRYH YDXKK6TRYH
| URI | m2://inv/YDXKK6TRYH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10243#LOOG (statement). In 6N7EAD1PYD/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
local verification YDYBM5HXHX
| URI | m2://inv/YDYBM5HXHX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01753#L4SE, local verification (statement). In JY50YXMH5N/e1, lemma 27
History
- 2026-10-29: add by m2/v0.4.12
YDYDF59ME7 YDYDF59ME7
| URI | m2://inv/YDYDF59ME7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#7228 (statement)
History
- 2026-11-01: add by m2/v0.6.15
YDYJYTNNAW YDYJYTNNAW
| URI | m2://inv/YDYJYTNNAW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22964#F8M6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Jackie Joyner-Kersee YDYMF56SGW
| URI | m2://inv/YDYMF56SGW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#2ESL, Jackie Joyner-Kersee (unknown)
History
- 2026-11-02: add by m2/dev
Weak/Strong Completeness YDYMRKFAS6
| URI | m2://inv/YDYMRKFAS6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06321#PCQ4, Weak/Strong Completeness (definition). In PGV1116XX4/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.10
YDYTGQ2SSQ YDYTGQ2SSQ
| URI | m2://inv/YDYTGQ2SSQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32446#AZEU (definition). In W1KVJEGJ1W/e1, definition
History
- 2026-10-31: add by m2/v0.5.6
angle of incidence YDYV7ZJ0AR
| URI | m2://inv/YDYV7ZJ0AR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1196575, angle of incidence (unknown). Also MathWorld AngleofIncidence
History
- 2026-10-26: add by m2/dev
Trend-stationary process YDYXGG5BA2
| URI | m2://inv/YDYXGG5BA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trend-stationary process, Trend-stationary process (definition). Also Wikidata Q7838282
History
- 2026-11-02: add by m2/dev
Alan Frank Beardon YDYYE90Y3J
| URI | m2://inv/YDYYE90Y3J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alan Frank Beardon, Alan Frank Beardon (topic). Also Wikidata Q1355296
History
- 2026-11-02: add by m2/dev
Universal hypothesis testing YDZ20SKGG4
| URI | m2://inv/YDZ20SKGG4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal hypothesis testing, Universal hypothesis testing (statement). Also Wikidata Q138937415
History
- 2026-11-02: add by m2/dev
YDZAFVKNJK YDZAFVKNJK
| URI | m2://inv/YDZAFVKNJK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26896#35S3 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Conflicts of interest in clinical trials YDZAQRA8NZ
| URI | m2://inv/YDZAQRA8NZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clinical trial#WM5O, Conflicts of interest in clinical trials (unknown)
History
- 2026-11-02: add by m2/dev
YDZD4N9RMT YDZD4N9RMT
| URI | m2://inv/YDZD4N9RMT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2412.20001#V5CQ (statement). In Y6YJSB93C3/e1, theorem 17
History
- 2026-10-27: add by m2/v0.3.5
Strict conditional YDZNAVM3SM
| URI | m2://inv/YDZNAVM3SM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strict conditional, Strict conditional (definition). Also Wikidata Q375520
History
- 2026-11-02: add by m2/dev
Properties of the Wigner D-matrix YDZNKTMX5H
| URI | m2://inv/YDZNKTMX5H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wigner D-matrix#O4F1, Properties of the Wigner D-matrix (statement)
History
- 2026-11-02: add by m2/dev
YDZZG6H5TM YDZZG6H5TM
| URI | m2://inv/YDZZG6H5TM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.05005#U89K (statement). In SMJMAQ2S3J/e1, proposition 5
History
- 2026-10-27: add by m2/v0.4.0