Inventory rows 60
The cards of the rows of the inventory whose ids start with 60. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Mathematical proof 6005C9ET1P
| URI | m2://inv/6005C9ET1P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#AA1M, Mathematical proof (definition)
History
- 2026-11-02: add by m2/dev
600DJJFXZP 600DJJFXZP
| URI | m2://inv/600DJJFXZP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#SI0K (statement). In PA6JQDSKQT/e1, proposition 7.9
History
- 2026-10-28: add by m2/v0.4.2
Definition 600K5M6XB4
| URI | m2://inv/600K5M6XB4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lawvere–Tierney topology#JEMO, Definition (definition)
History
- 2026-11-02: add by m2/dev
600N44JS4D 600N44JS4D
| URI | m2://inv/600N44JS4D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#problem-8 (exercise). In P1C114YBXG, problem, section K
History
- 2026-11-01: add by m2/v0.6.13
600V0GPHDH 600V0GPHDH
| URI | m2://inv/600V0GPHDH |
|---|---|
| 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.00512#D1Z2 (statement). In RB5QBG3MJY/e1, theorem 4.6
History
- 2026-10-30: add by m2/v0.4.12
Computational complexity of empirical risk minimization 600VBBHD5Y
| URI | m2://inv/600VBBHD5Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Empirical risk minimization#B76O, Computational complexity of empirical risk minimization (unknown)
History
- 2026-11-02: add by m2/dev
600XDCERZY 600XDCERZY
| URI | m2://inv/600XDCERZY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 37-XX, 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.31883#CNE3 (statement). In XBHQRTBH62/e1, theorem 5.2
History
- 2026-10-31: add by m2/v0.5.6
60111Y45QN 60111Y45QN
| URI | m2://inv/60111Y45QN |
|---|---|
| Kind | statement |
| 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.22073#2242 (statement). In MVWSXXCXB7/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.4.2
List of letters used in mathematics, science, and engineering 60156ZRC13
| URI | m2://inv/60156ZRC13 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of letters used in mathematics, science, and engineering, List of letters used in mathematics, science, and engineering (topic). Also Wikidata Q6625335
History
- 2026-11-02: add by m2/dev
601BGWWWVY 601BGWWWVY
| URI | m2://inv/601BGWWWVY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-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 2609.37520#ISP0 (statement). In BDN507RN7J/e1, proposition 4.1.16
History
- 2026-10-30: add by m2/v0.4.12
601HDXTTRA 601HDXTTRA
| URI | m2://inv/601HDXTTRA |
|---|---|
| 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 0905.2248#YFFI (definition). In 7EWB9ZRD9Z/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
volume 601P5KFRZA
| URI | m2://inv/601P5KFRZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#JMUC, volume (definition)
History
- 2026-11-02: add by m2/dev
Trivial representation 601QJCPMAN
| URI | m2://inv/601QJCPMAN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#0X7A, Trivial representation (definition)
History
- 2026-11-02: add by m2/dev
global extremum 601R0XANMB
| URI | m2://inv/601R0XANMB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q40550083, global extremum (unknown). Also MathWorld GlobalExtremum
History
- 2026-10-26: add by m2/dev
Lüroth's theorem 601R6GCWSQ
| URI | m2://inv/601R6GCWSQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Lüroth's theorem AVCZ6HVBA7 |
Mentions
- wikidata: Wikidata Q3527115, Lüroth's theorem (statement). Also MathWorld LuerothsTheorem
- wikipedia: Wikipedia Lüroth's theorem, Lüroth's theorem (statement). Also Wikidata Q3527115
History
- 2026-10-26: add by m2/dev
2D rotation 60206YEXHA
| URI | m2://inv/60206YEXHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2D rotation, 2D rotation (definition). Also Wikidata Q140133521
History
- 2026-11-02: add by m2/dev
Collectionwise Hausdorff space 6026J1X8E5
| URI | m2://inv/6026J1X8E5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collectionwise Hausdorff space, Collectionwise Hausdorff space (definition). Also Wikidata Q5146121
History
- 2026-11-02: add by m2/dev
Group of Lie type 6028Z2TD8N
| URI | m2://inv/6028Z2TD8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#CYTJ, Group of Lie type (definition)
History
- 2026-11-02: add by m2/dev
Poincaré–Birkhoff–Witt theorem 602D568GVW
| URI | m2://inv/602D568GVW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Henri Poincaré#VUQG, Poincaré–Birkhoff–Witt theorem (statement)
- wikipedia: Wikipedia List of things named after Ernst Witt#21TU, Poincaré–Birkhoff–Witt theorem (statement)
History
- 2026-11-02: add by m2/dev
Emma Zhang 602KENKS28
| URI | m2://inv/602KENKS28 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#UQ7X, Emma Zhang (topic)
History
- 2026-11-02: add by m2/dev
normal distribution 602RNEZA2J
| URI | m2://inv/602RNEZA2J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#FK6F, normal distribution (definition)
History
- 2026-11-02: add by m2/dev
Bayesianism 602X7DG98Y
| URI | m2://inv/602X7DG98Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#XKP0, Bayesianism (definition)
History
- 2026-11-02: add by m2/dev
Definition 602XGXKPXX
| URI | m2://inv/602XGXKPXX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unilateral shift operator#88QB, Definition (definition)
History
- 2026-11-02: add by m2/dev
Any rational number is a sum of unit fractions 6032CY3CBE
| URI | m2://inv/6032CY3CBE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit fraction#F42P, Any rational number is a sum of unit fractions (unknown)
History
- 2026-11-02: add by m2/dev
Hans Witsenhausen 603DA95PE8
| URI | m2://inv/603DA95PE8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#11LP, Hans Witsenhausen (unknown)
History
- 2026-11-02: add by m2/dev
603S1H8173 603S1H8173
| URI | m2://inv/603S1H8173 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2609.24542#XM0E (statement)
History
- 2026-11-01: add by m2/v0.6.15
Borel algebra 60411N1KE3
| URI | m2://inv/60411N1KE3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integration and measure theory topics#BD8S, Borel algebra (definition)
History
- 2026-11-02: add by m2/dev
604CPZGEY8 604CPZGEY8
| URI | m2://inv/604CPZGEY8 |
|---|---|
| Kind | statement |
| 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 2610.18544#LRY8 (statement). In HT5MC1SPD9/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
604F8XVCZE 604F8XVCZE
| URI | m2://inv/604F8XVCZE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 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.32916#776E (statement). In G1RP4JY5PE/e1, theorem 5.1.7
History
- 2026-10-31: add by m2/v0.5.6
Gradshteyn and Ryzhik 604FGEH5QQ
| URI | m2://inv/604FGEH5QQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gradshteyn and Ryzhik, Gradshteyn and Ryzhik (definition). Also Wikidata Q1513729
History
- 2026-11-02: add by m2/dev
Factorial upper bound 604HGH7ZPF
| URI | m2://inv/604HGH7ZPF |
|---|---|
| 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 2610.00396#YEEM, Factorial upper bound (statement). In V13TE1RWT9/e1, proposition 4.3
History
- 2026-10-30: add by m2/v0.4.12
Tractrix 604J1DBWMG
| URI | m2://inv/604J1DBWMG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tractrix, Tractrix (definition). Also Wikidata Q1365281
History
- 2026-11-02: add by m2/dev
604XT3693W 604XT3693W
| URI | m2://inv/604XT3693W |
|---|---|
| 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 2610.05953#VP9J (statement). In P3XHJ1VB8C/e1, lemma 10
History
- 2026-10-29: add by m2/v0.4.10
Maxwell trace 604YBXK6AT
| URI | m2://inv/604YBXK6AT |
|---|---|
| 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.24481#RIC7, Maxwell trace (statement)
History
- 2026-11-01: add by m2/v0.6.15
Modular conjecture 604YGGBNKB
| URI | m2://inv/604YGGBNKB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lindemann–Weierstrass theorem#OQBA, Modular conjecture (statement)
History
- 2026-11-02: add by m2/dev
Interval order 605136Q8CE
| URI | m2://inv/605136Q8CE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Interval order VSNQV29KFJ |
Mentions
- wikidata: Wikidata Q6057290, Interval order (unknown). Also MathWorld IntervalOrder
- wikipedia: Wikipedia Interval order, Interval order (definition). Also Wikidata Q6057290
History
- 2026-10-26: add by m2/dev
Example 6056WWFJNM
| URI | m2://inv/6056WWFJNM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birkhoff factorization#6AQN, Example (example)
History
- 2026-11-02: add by m2/dev
Finite model theory 605CVV2BB7
| URI | m2://inv/605CVV2BB7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#BOVQ, Finite model theory (definition)
History
- 2026-11-02: add by m2/dev
605D14GA36 605D14GA36
| URI | m2://inv/605D14GA36 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.20801#L8EQ (definition). In A1GWWGRXPA/e1, definition 2.15
History
- 2026-10-27: add by m2/v0.4.2
Cramér's theorem 605JR0HWPV
| URI | m2://inv/605JR0HWPV |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 62-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2226640, Cramér’s decomposition theorem (statement). Also Wikidata Q2226640
- thousand_plus: thousand_plus Q2226640, Cramér’s decomposition theorem (statement). Also Wikidata Q2226640, Wikipedia Cramér’s decomposition theorem
- wikidata: Wikidata Q2226640, Cramér's theorem (statement). Also EoM Lévy-Cramér theorem, MathWorld CramersTheorem
- wikipedia: Wikipedia Cramér's decomposition theorem, Cramér's decomposition theorem (statement). Also Wikidata Q2226640
History
- 2026-10-26: add by m2/dev
Continuous restriction 605MGK9AVF
| URI | m2://inv/605MGK9AVF |
|---|---|
| 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 2610.14548#XMMX, Continuous restriction (statement). In TTNKABAYVB/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Three Forks, Montana 605VK1RX6D
| URI | m2://inv/605VK1RX6D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#4K9C, Three Forks, Montana (unknown)
History
- 2026-11-02: add by m2/dev
Michael Starbird 605WDBRRPK
| URI | m2://inv/605WDBRRPK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WZP5, Michael Starbird (topic)
History
- 2026-11-02: add by m2/dev
6061EQR0VC 6061EQR0VC
| URI | m2://inv/6061EQR0VC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#81ZJ (statement). In PA6JQDSKQT/e1, proposition 5.13
History
- 2026-10-28: add by m2/v0.4.2
Definition 6063CW4CGW
| URI | m2://inv/6063CW4CGW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variety (universal algebra)#1HFW, Definition (definition)
History
- 2026-11-02: add by m2/dev
Two replicas at level $r$ as conditioned cascade replicas 606712XWMX
| URI | m2://inv/606712XWMX |
|---|---|
| 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.18350#KYSJ, Two replicas at level $r$ as conditioned cascade replicas (statement). In A20E8FZS21/e1, proposition A.6
History
- 2026-10-28: add by m2/v0.4.2
Locally finite space 606HM6W071
| URI | m2://inv/606HM6W071 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16920337, Locally finite space (concept). Also MathWorld LocallyFiniteSpace
- wikipedia: Wikipedia Locally finite space, Locally finite space (definition). Also Wikidata Q16920337
History
- 2026-10-26: add by m2/dev
Properties 606HNW1W66
| URI | m2://inv/606HNW1W66 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nowhere-zero flow#65A5, Properties (statement)
History
- 2026-11-02: add by m2/dev
606JEETXNF 606JEETXNF
| URI | m2://inv/606JEETXNF |
|---|---|
| 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.19535#X17Z (statement). In MJXSE9QR4X/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
606PBXTYXH 606PBXTYXH
| URI | m2://inv/606PBXTYXH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-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.13100#9MWC (statement). In CC6S1HVK0T/e1, proposition G.2
History
- 2026-10-28: add by m2/v0.4.2
6076KKSNSB 6076KKSNSB
| URI | m2://inv/6076KKSNSB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-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.34845#JZ2F (statement). In SBZNH932ZV/e1, lemma 10.2
History
- 2026-10-30: add by m2/v0.4.12
607N71CCQF 607N71CCQF
| URI | m2://inv/607N71CCQF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2604.07243#FULU (statement). In 9RH8C8RYW3/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
607V83E1JP 607V83E1JP
| URI | m2://inv/607V83E1JP |
|---|---|
| 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.26162#1E54 (statement)
History
- 2026-11-01: add by m2/v0.6.15
philosophy of logic 6086QZ09AK
| URI | m2://inv/6086QZ09AK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#JM6Z, philosophy of logic (definition)
History
- 2026-11-02: add by m2/dev
Examples 6088M8ZDSC
| URI | m2://inv/6088M8ZDSC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modulus of convergence#5ZSW, Examples (example)
History
- 2026-11-02: add by m2/dev
Games graph 608E9AGKVF
| URI | m2://inv/608E9AGKVF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q63040278, Games graph (unknown). Also MathWorld GamesGraph
- wikipedia: Wikipedia Games graph, Games graph (definition). Also Wikidata Q63040278
History
- 2026-10-26: add by m2/dev
608EQ29K8G 608EQ29K8G
| URI | m2://inv/608EQ29K8G |
|---|---|
| Kind | definition |
| 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 1806.00752#6H1F (definition). In GGW2N4JHXM/e1, definition 11
History
- 2026-10-27: add by m2/v0.3.5
60940R17E1 60940R17E1
| URI | m2://inv/60940R17E1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.15385#RDGR (statement). In HBZXCMYPME/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Flooding algorithm 609A0X7SJF
| URI | m2://inv/609A0X7SJF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flooding algorithm, Flooding algorithm (definition). Also Wikidata Q179613
History
- 2026-11-02: add by m2/dev
609A2F13RF 609A2F13RF
| URI | m2://inv/609A2F13RF |
|---|---|
| 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.18017#PTZI (statement). In EBSQEQYECS/e1, theorem 0.4
History
- 2026-10-28: add by m2/v0.4.2
609HZ6CCDE 609HZ6CCDE
| URI | m2://inv/609HZ6CCDE |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 32Qxx |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114705250 (topic)
History
- 2026-10-26: add by m2/dev
Lokenath Debnath 609QTPQA15
| URI | m2://inv/609QTPQA15 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lokenath Debnath, Lokenath Debnath (topic). Also Wikidata Q29467329
History
- 2026-11-02: add by m2/dev
A priori information 609XRGWDNK
| URI | m2://inv/609XRGWDNK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical model#W5D7, A priori information (unknown)
History
- 2026-11-02: add by m2/dev
Hidden-surface determination 609YHD0Q3Q
| URI | m2://inv/609YHD0Q3Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#IIBI, Hidden-surface determination (unknown)
History
- 2026-11-02: add by m2/dev
60A2ZDA993 60A2ZDA993
| URI | m2://inv/60A2ZDA993 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 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.38596#NNDW (statement). In ZYGQAV8FD3/e1, corollary 3.3
History
- 2026-10-30: add by m2/v0.4.12
60A9T5DAFV 60A9T5DAFV
| URI | m2://inv/60A9T5DAFV |
|---|---|
| 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.27715#5KXJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
60AJHGXP8T 60AJHGXP8T
| URI | m2://inv/60AJHGXP8T |
|---|---|
| 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.00625#V26A (statement). In BGA625B7W1/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
history of mathematics 60ATYJ3Q4J
| URI | m2://inv/60ATYJ3Q4J |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 01A99, 01Axx |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q185264, history of mathematics (topic)
- wikipedia: Wikipedia History of mathematics, History of mathematics (definition). Also Wikidata Q185264
History
- 2026-10-26: add by m2/dev
Definition 60B6DNR476
| URI | m2://inv/60B6DNR476 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Confounding#LX5J, Definition (definition)
History
- 2026-11-02: add by m2/dev
Greg Miskiw 60BB37RB50
| URI | m2://inv/60BB37RB50 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#8JF1, Greg Miskiw (unknown)
History
- 2026-11-02: add by m2/dev
60BS2YZX8Q 60BS2YZX8Q
| URI | m2://inv/60BS2YZX8Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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.23822#C9ON (statement)
History
- 2026-11-02: add by m2/v0.6.17
Shrawan Kumar 60CAW0RKS2
| URI | m2://inv/60CAW0RKS2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shrawan Kumar (mathematician), Shrawan Kumar (topic). Also Wikidata Q7503434
History
- 2026-11-02: add by m2/dev
Barbara Boyes 60CBGSFWJR
| URI | m2://inv/60CBGSFWJR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#2WA5, Barbara Boyes (topic)
History
- 2026-11-02: add by m2/dev
Uniform low-information region 60CGPRZGT3
| URI | m2://inv/60CGPRZGT3 |
|---|---|
| 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#HZ0U, Uniform low-information region (statement)
History
- 2026-11-01: add by m2/v0.6.15
hypercube graph 60CKR6TEK8
| URI | m2://inv/60CKR6TEK8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q958394, hypercube graph (unknown). Also MathWorld HypercubeGraph
- wikipedia: Wikipedia Hypercube graph, Hypercube graph (definition). Also Wikidata Q958394
History
- 2026-10-26: add by m2/dev
60CMRGN3FV 60CMRGN3FV
| URI | m2://inv/60CMRGN3FV |
|---|---|
| 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.39491#C87Y (statement). In 9R00V9TGVT/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
cycle graph 60CMWP4E8K
| URI | m2://inv/60CMWP4E8K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Cycle graph 0QQ0F12962 |
Mentions
- wikidata: Wikidata Q622506, cycle graph (unknown). Also MathWorld CycleGraph
- wikipedia: Wikipedia Cycle graph, Cycle graph (definition). Also Wikidata Q622506
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Logit 60D3HFAD4W
| URI | m2://inv/60D3HFAD4W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#08EI, Logit (definition)
History
- 2026-11-02: add by m2/dev
Pure Nash Equilibrium 60D7G9DHV7
| URI | m2://inv/60D7G9DHV7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of game theory#BVPQ, Pure Nash Equilibrium (definition)
History
- 2026-11-02: add by m2/dev
Example 60D8ZE93YK
| URI | m2://inv/60D8ZE93YK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional probability distribution#3DII, Example (example)
History
- 2026-11-02: add by m2/dev
Definitions 60DC7WXWDK
| URI | m2://inv/60DC7WXWDK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formulas in Riemannian geometry#X18F, Definitions (definition)
History
- 2026-11-02: add by m2/dev
60DT3GQ8CV 60DT3GQ8CV
| URI | m2://inv/60DT3GQ8CV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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.11906#4TAP (statement). In 8S9TEAPCDJ/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.3
60DWSH13DV 60DWSH13DV
| URI | m2://inv/60DWSH13DV |
|---|---|
| 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.32174#3YXD (statement). In GHKR740SG3/e1, theorem
History
- 2026-10-31: add by m2/v0.5.6
60DWZFAQTG 60DWZFAQTG
| URI | m2://inv/60DWZFAQTG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 57-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.09333#W1WQ (definition). In Z9HC1EDTQP/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Brahmagupta 60E2QHSCT2
| URI | m2://inv/60E2QHSCT2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#6LN6, Brahmagupta (topic)
History
- 2026-11-02: add by m2/dev
60E7PA58EC 60E7PA58EC
| URI | m2://inv/60E7PA58EC |
|---|---|
| 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 2610.20991#RN6T (statement). In H98ZC5YBSD/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.4.2
Grosshans subgroup 60EA6KAPNT
| URI | m2://inv/60EA6KAPNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grosshans subgroup, Grosshans subgroup (definition). Also Wikidata Q16917706
History
- 2026-11-02: add by m2/dev
60EABG20Z5 60EABG20Z5
| URI | m2://inv/60EABG20Z5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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 2610.16541#V561 (statement). In D0XH7W96T3/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
Nilanjana Datta 60EAEES4BQ
| URI | m2://inv/60EAEES4BQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nilanjana Datta, Nilanjana Datta (topic). Also Wikidata Q61987165
History
- 2026-11-02: add by m2/dev
60EFTEH32W 60EFTEH32W
| URI | m2://inv/60EFTEH32W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-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.03499#GYF6 (statement). In NAE99N03W3/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
Hadamard Unitary 60EHBPD95E
| URI | m2://inv/60EHBPD95E |
|---|---|
| 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 2609.38206#PN61, Hadamard Unitary (definition). In F71MS1F637/e1, definition 3.9
History
- 2026-10-30: add by m2/v0.4.12
60EKKZJD1B 60EKKZJD1B
| URI | m2://inv/60EKKZJD1B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-polyfit.ptx#exercise-8 (exercise). In Y91XFCEVHQ, exercise, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
60EPXV26BC 60EPXV26BC
| URI | m2://inv/60EPXV26BC |
|---|---|
| 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.18847#SBJF (statement). In DZ12XTTJSM/e1, lemma 2.14
History
- 2026-10-28: add by m2/v0.4.2
Law of population growth 60EWG0X6S7
| URI | m2://inv/60EWG0X6S7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logistic function#X8JF, Law of population growth (unknown)
History
- 2026-11-02: add by m2/dev
Jimbo–Miwa–Ueno isomonodromy equations 60EXVB0R7K
| URI | m2://inv/60EXVB0R7K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#MCW3, Jimbo–Miwa–Ueno isomonodromy equations (definition)
History
- 2026-11-02: add by m2/dev
Erdős–Ko–Rado theorem 60F5YZ7X6Y
| URI | m2://inv/60F5YZ7X6Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q718875, Erdős–Ko–Rado theorem (statement). Also Mathlib Finset.erdos_ko_rado, Wikidata Q718875
- thousand_plus: thousand_plus Q718875, Erdős–Ko–Rado theorem (statement). Also Mathlib Finset.erdos_ko_rado, Wikidata Q718875, Wikipedia Erdős–Ko–Rado theorem
- wikipedia: Wikipedia Erdős–Ko–Rado theorem, Erdős–Ko–Rado theorem (statement). Also Wikidata Q718875
History
- 2026-10-26: add by m2/dev
60F8H2SN01 60F8H2SN01
| URI | m2://inv/60F8H2SN01 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/computable-models.tex#ex:comp-model-q (example). In PKGMM3P5QY, ex, section 48.2
History
- 2026-11-01: add by m2/v0.6.13
60FDRF6C73 60FDRF6C73
| URI | m2://inv/60FDRF6C73 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/sylow.tex#definition-1 (definition). In RZP28ERRZV, definition, section 7.2.1
History
- 2026-11-01: add by m2/v0.6.13
Maximilian Herzberger 60FF484PKJ
| URI | m2://inv/60FF484PKJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#WMFT, Maximilian Herzberger (topic)
History
- 2026-11-02: add by m2/dev
60FJG2RTQ7 60FJG2RTQ7
| URI | m2://inv/60FJG2RTQ7 |
|---|---|
| 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.33753#9QZP (definition). In CGNMRJYD7Y/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
Example 60FR93FSKB
| URI | m2://inv/60FR93FSKB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beurling algebra#QYVO, Example (example)
History
- 2026-11-02: add by m2/dev
60FS4TRHEX 60FS4TRHEX
| URI | m2://inv/60FS4TRHEX |
|---|---|
| Kind | problem |
| 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 2609.39169#CLVU (problem). In ANHWXYPQFX/e1, problem 4.14
History
- 2026-10-30: add by m2/v0.4.12
60G1JPBSYB 60G1JPBSYB
| URI | m2://inv/60G1JPBSYB |
|---|---|
| Kind | problem |
| 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#Q2SA (problem). In PD5PJ0EYG6/e1, problem 6.5
History
- 2026-10-27: add by m2/v0.3.5
Woodall primes 60G1PE12DS
| URI | m2://inv/60G1PE12DS |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#EHUH, Woodall primes (conjecture)
History
- 2026-11-02: add by m2/dev
60G2ZYM78M 60G2ZYM78M
| URI | m2://inv/60G2ZYM78M |
|---|---|
| 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.16060#M7NI (statement). In X0BTF9HPGM/e1, fact B.1
History
- 2026-10-28: add by m2/v0.4.2
Braid word 60G8C0MEB6
| URI | m2://inv/60G8C0MEB6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Braid group#Q07I, Braid word (unknown)
History
- 2026-11-02: add by m2/dev
sequence 60GGD1B60C
| URI | m2://inv/60GGD1B60C |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.5/sequence, sequence (concept). In N54F33XE07, index, section B.5
History
- 2026-11-01: add by m2/v0.6.13
Serenus of Antinouplis 60GGZYEXTR
| URI | m2://inv/60GGZYEXTR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#YJA3, Serenus of Antinouplis (unknown)
History
- 2026-11-02: add by m2/dev
Paul Epstein 60GKE9M6M3
| URI | m2://inv/60GKE9M6M3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#YA5N, Paul Epstein (topic)
History
- 2026-11-02: add by m2/dev
force 60GNSTZ11F
| URI | m2://inv/60GNSTZ11F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11402, force (definition). Also ProofWiki Definition:Force
History
- 2026-10-26: add by m2/dev
60GP8TAEN6 60GP8TAEN6
| URI | m2://inv/60GP8TAEN6 |
|---|---|
| Kind | definition |
| 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 2609.23605#SQWT (definition)
History
- 2026-11-02: add by m2/v0.6.17
60GVW73NGW 60GVW73NGW
| URI | m2://inv/60GVW73NGW |
|---|---|
| Kind | definition |
| 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 2609.31783#5QOB (definition). In CGNVT4C47F/e1, definition 4.2
History
- 2026-10-31: add by m2/v0.5.6
60H1SZ9DHW 60H1SZ9DHW
| URI | m2://inv/60H1SZ9DHW |
|---|---|
| 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.29326#U2V7 (statement). In 3F83V6VKKA/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.6
A probability density 60HAVG312N
| URI | m2://inv/60HAVG312N |
|---|---|
| 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.07404#7V8P, A probability density (statement). In VAJ9MBT3SJ/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.10
Salinon 60HJH2VMXM
| URI | m2://inv/60HJH2VMXM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#6Y92, Salinon (definition)
- wikipedia: Wikipedia List of mathematical shapes#YX08, Salinon (definition)
History
- 2026-11-02: add by m2/dev
Domain splitting 60HNJB82PD
| URI | m2://inv/60HNJB82PD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 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 2610.03865#VKFO, Domain splitting (statement). In G3D1YR20BJ/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
Weyl-squared theories 60HR3GDYAQ
| URI | m2://inv/60HR3GDYAQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#DOEQ, Weyl-squared theories (definition)
History
- 2026-11-02: add by m2/dev
variable 60HX1368S8
| URI | m2://inv/60HX1368S8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.3/variable, variable (concept). In N54F33XE07, index, section 8.3
History
- 2026-11-01: add by m2/v0.6.13
Compact notation 60JAGRNCWW
| URI | m2://inv/60JAGRNCWW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square root algorithms#QWMZ, Compact notation (statement)
History
- 2026-11-02: add by m2/dev
Solar System 60JEP1X4JF
| URI | m2://inv/60JEP1X4JF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q544, Solar System (definition). Also ProofWiki Definition:Solar_System
History
- 2026-10-26: add by m2/dev
residue theorem 60JGNHVG4M
| URI | m2://inv/60JGNHVG4M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/residue-theorem, residue theorem (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
60JWNJMHT7 60JWNJMHT7
| URI | m2://inv/60JWNJMHT7 |
|---|---|
| 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.00625#QMVN (statement). In BGA625B7W1/e1, corollary 3.3
History
- 2026-10-30: add by m2/v0.4.12
Weighted median 60JWPP51MW
| URI | m2://inv/60JWPP51MW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HQRC, Weighted median (definition)
History
- 2026-11-02: add by m2/dev
60JZ5JVAYP 60JZ5JVAYP
| URI | m2://inv/60JZ5JVAYP |
|---|---|
| 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 math/9802134#OCVS (statement). In 235B1J1ETB/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
One-step criterion 60KBZQ7XBB
| URI | m2://inv/60KBZQ7XBB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2610.09544#WGIC, One-step criterion (statement). In DYBM6Q2K6R/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Inexact reduced cubic solves 60KC6MZM70
| URI | m2://inv/60KC6MZM70 |
|---|---|
| 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.06557#LYTW, Inexact reduced cubic solves (statement). In VV5CH6Y31D/e1, proposition 4.8
History
- 2026-10-29: add by m2/v0.4.10
smoothing 60KDX0CZTS
| URI | m2://inv/60KDX0CZTS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q775963, smoothing (unknown). Also MathWorld Smoothing
- wikipedia: Wikipedia Smoothing, Smoothing (definition). Also Wikidata Q775963
History
- 2026-10-26: add by m2/dev
60KH5FWQN8 60KH5FWQN8
| URI | m2://inv/60KH5FWQN8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.01346#I3PK (statement). In 44DQ7W1NW9/e1, theorem 4.8
History
- 2026-10-29: add by m2/v0.4.12
60KM961ZX5 60KM961ZX5
| URI | m2://inv/60KM961ZX5 |
|---|---|
| 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.00339#MPJ4 (statement). In ZRG6NY1ECH/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
60KMJBFA3V 60KMJBFA3V
| URI | m2://inv/60KMJBFA3V |
|---|---|
| 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.28336#RV3A (statement)
History
- 2026-11-01: add by m2/v0.6.15
Primary cyclic group 60KPXFJ67M
| URI | m2://inv/60KPXFJ67M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primary cyclic group, Primary cyclic group (definition). Also Wikidata Q16969335
History
- 2026-11-02: add by m2/dev
degree diameter problem 60KS8P8BWT
| URI | m2://inv/60KS8P8BWT |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5251835, degree diameter problem (unknown). Also MathWorld Degree-DiameterProblem
- wikipedia: Wikipedia Degree diameter problem, Degree diameter problem (problem). Also Wikidata Q5251835
History
- 2026-10-26: add by m2/dev
Xkcd 60KTX63R1J
| URI | m2://inv/60KTX63R1J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Xkcd, Xkcd (definition). Also Wikidata Q13915
History
- 2026-11-02: add by m2/dev
General formula 60KXJM0XD0
| URI | m2://inv/60KXJM0XD0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Potential energy#YWSQ, General formula (statement)
History
- 2026-11-02: add by m2/dev
Universal point set 60KZ57EBZQ
| URI | m2://inv/60KZ57EBZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#0EDY, Universal point set (definition)
History
- 2026-11-02: add by m2/dev
60M1JKQKGF 60M1JKQKGF
| URI | m2://inv/60M1JKQKGF |
|---|---|
| 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#90HZ (statement). In M8F4PDHH3S/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.3.5
Applications 60M6NTB28R
| URI | m2://inv/60M6NTB28R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Five lemma#UFJW, Applications (example)
History
- 2026-11-02: add by m2/dev
60M8RXBM0B 60M8RXBM0B
| URI | m2://inv/60M8RXBM0B |
|---|---|
| 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.24206#M594 (statement)
History
- 2026-11-01: add by m2/v0.6.15
60MD7102P0 60MD7102P0
| URI | m2://inv/60MD7102P0 |
|---|---|
| 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.33552#5Y7Y (statement). In SRAS2DJJQH/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
categorical probability 60MK600P4E
| URI | m2://inv/60MK600P4E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#M841, categorical probability (definition)
History
- 2026-11-02: add by m2/dev
60MQ0CPTY4 60MQ0CPTY4
| URI | m2://inv/60MQ0CPTY4 |
|---|---|
| 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.17571#0QD2 (statement). In SWFN2HCEE7/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Circular sector 60MYJ7W7BB
| URI | m2://inv/60MYJ7W7BB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#C7NC, Circular sector (definition)
- wikipedia: Wikipedia List of mathematical shapes#D4LQ, Circular sector (definition)
History
- 2026-11-02: add by m2/dev
Martin measure 60MZQF3K3F
| URI | m2://inv/60MZQF3K3F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martin measure, Martin measure (definition). Also Wikidata Q6776970
History
- 2026-11-02: add by m2/dev
Special cases 60N4A3VV0W
| URI | m2://inv/60N4A3VV0W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic quadrilateral#A7OK, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Example 60N8A15VNW
| URI | m2://inv/60N8A15VNW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pollard's p − 1 algorithm#2YGX, Example (example)
History
- 2026-11-02: add by m2/dev
Generalization 60NDWDHHZ3
| URI | m2://inv/60NDWDHHZ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Assignment problem#MN51, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Hopf–Whitney theorem 60NGK5DAYC
| URI | m2://inv/60NGK5DAYC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf–Whitney theorem, Hopf–Whitney theorem (statement). Also Wikidata Q97166118
History
- 2026-11-02: add by m2/dev
Justina Blakeney 60NGKRJ51E
| URI | m2://inv/60NGKRJ51E |
|---|---|
| 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#QE0C, Justina Blakeney (unknown)
History
- 2026-11-02: add by m2/dev
Gaussian process emulator 60NH4SCM0B
| URI | m2://inv/60NH4SCM0B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian process emulator, Gaussian process emulator (definition). Also Wikidata Q5527845
History
- 2026-11-02: add by m2/dev
Erdős–Rado theorem 60NTD22VZN
| URI | m2://inv/60NTD22VZN |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1366581, Erdős–Rado theorem (statement). Also Wikidata Q1366581
- thousand_plus: thousand_plus Q1366581, Erdős–Rado theorem (statement). Also Wikidata Q1366581, Wikipedia Erdős–Rado theorem
- wikipedia: Wikipedia Erdős–Rado theorem, Erdős–Rado theorem (statement). Also Wikidata Q1366581
History
- 2026-10-26: add by m2/dev
60NW3RBTAB 60NW3RBTAB
| URI | m2://inv/60NW3RBTAB |
|---|---|
| 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#D5M0 (statement). In 4DJE72VPJP/e1, theorem 2.3
History
- 2026-10-30: add by m2/v0.4.12
60NXTVJTMM 60NXTVJTMM
| URI | m2://inv/60NXTVJTMM |
|---|---|
| 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 2609.21305#ZFEQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
60NYVTGM6S 60NYVTGM6S
| URI | m2://inv/60NYVTGM6S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-68 (exercise). In E9HS8K3A52, exercise, section 2.6.1
History
- 2026-11-01: add by m2/v0.6.13
⧉ 60NZD09QNW
| URI | m2://inv/60NZD09QNW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical operators and symbols in Unicode#2NAJ, ⧉ (unknown)
History
- 2026-11-02: add by m2/dev
Forward and backward slopes and local steepness 60NZTKG53P
| URI | m2://inv/60NZTKG53P |
|---|---|
| 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#J146, Forward and backward slopes and local steepness (definition). In KM3Q791JY0/e1, definition 2.18
History
- 2026-10-27: add by m2/v0.4.2
Erdős–Fuchs theorem 60P2QFCBJZ
| URI | m2://inv/60P2QFCBJZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Paul Erdős#CBLS, Erdős–Fuchs theorem (statement)
History
- 2026-11-02: add by m2/dev
Sound strategies prove the target 60PA2TTQN8
| URI | m2://inv/60PA2TTQN8 |
|---|---|
| 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 2609.32078#TELM, Sound strategies prove the target (statement). In 5PN85N6EJF/e1, proposition 9.6
History
- 2026-10-31: add by m2/v0.5.6
Core-compact space 60PERJS5C6
| URI | m2://inv/60PERJS5C6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#QUUO, Core-compact space (definition)
History
- 2026-11-02: add by m2/dev
60PESCRPDS 60PESCRPDS
| URI | m2://inv/60PESCRPDS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#exercise-18 (exercise). In E59CDZA4DP, exercise, section 11.9.6
History
- 2026-11-01: add by m2/v0.6.13
Examples 60PMSFFADF
| URI | m2://inv/60PMSFFADF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Focal point (game theory)#FD6H, Examples (example)
History
- 2026-11-02: add by m2/dev
Augmented split-open refinement 60PXASF8ME
| URI | m2://inv/60PXASF8ME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-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 2609.28220#SA3T, Augmented split-open refinement (statement)
History
- 2026-11-01: add by m2/v0.6.15
Michael Struwe 60PZ4HKDRA
| URI | m2://inv/60PZ4HKDRA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Struwe, Michael Struwe (topic). Also Wikidata Q1929509
History
- 2026-11-02: add by m2/dev
60QEFEE0CQ 60QEFEE0CQ
| URI | m2://inv/60QEFEE0CQ |
|---|---|
| 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.14085#Q0AX (statement). In T8F19ZGHF3/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
60QEJ8Y5FA 60QEJ8Y5FA
| URI | m2://inv/60QEJ8Y5FA |
|---|---|
| Kind | definition |
| 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 2610.11545#8D7J (definition). In VN084GGZGK/e1, definition 2.24
History
- 2026-10-28: add by m2/v0.4.3
60QQZTKTFP 60QQZTKTFP
| URI | m2://inv/60QQZTKTFP |
|---|---|
| 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.36423#FL97 (statement). In Q5Z178SAHP/e1, theorem 5.5
History
- 2026-10-30: add by m2/v0.4.12
Computation 60QTEC8819
| URI | m2://inv/60QTEC8819 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical weather prediction#LDT9, Computation (definition)
History
- 2026-11-02: add by m2/dev
Examples 60QW0MD5ZQ
| URI | m2://inv/60QW0MD5ZQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bousfield localization#NL2P, Examples (example)
History
- 2026-11-02: add by m2/dev
Matched centred-tail transfer 60RAHMKH9R
| URI | m2://inv/60RAHMKH9R |
|---|---|
| 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.18214#VJ38, Matched centred-tail transfer (statement). In S4NXHVGB0Q/e1, proposition 6.2
History
- 2026-10-28: add by m2/v0.4.2
60RE7G4D9G 60RE7G4D9G
| URI | m2://inv/60RE7G4D9G |
|---|---|
| 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.09809#78B8 (definition). In 7NKQ6PR78N/e1, definition 2.10
History
- 2026-10-29: add by m2/v0.4.10
Definition 60REYE4989
| URI | m2://inv/60REYE4989 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spinc structure#LNDJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Igor Krichever 60RJYPWPHC
| URI | m2://inv/60RJYPWPHC |
|---|---|
| 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#SYBI, Igor Krichever (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UFW1, Igor Krichever (topic)
History
- 2026-11-02: add by m2/dev
The statement 60RRC3SE47
| URI | m2://inv/60RRC3SE47 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harnack's inequality#JPX9, The statement (statement)
History
- 2026-11-02: add by m2/dev
60RVMV93VR 60RVMV93VR
| URI | m2://inv/60RVMV93VR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.36509#TWAZ (statement). In DPJ15KW23C/e1, lemma 7.1
History
- 2026-10-30: add by m2/v0.4.12
60S1PE26D1 60S1PE26D1
| URI | m2://inv/60S1PE26D1 |
|---|---|
| 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 2301.07434#II81 (statement). In 7XZHQ2H5ZD/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.3.5
Glossary of experimental design 60S2TG6B4V
| URI | m2://inv/60S2TG6B4V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of experimental design, Glossary of experimental design (topic). Also Wikidata Q5571809
History
- 2026-11-02: add by m2/dev
Patch test 60S8T3TEAA
| URI | m2://inv/60S8T3TEAA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Patch test (finite elements), Patch test (definition). Also Wikidata Q2056643
History
- 2026-11-02: add by m2/dev
Difference (math) 60SB6D5S6E
| URI | m2://inv/60SB6D5S6E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subtraction#M768, Difference (math) (unknown)
History
- 2026-11-02: add by m2/dev
60SD7TXHSD 60SD7TXHSD
| URI | m2://inv/60SD7TXHSD |
|---|---|
| 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#WV8T (statement). In B8MJT0GGW8/e1, lemma 4.30
History
- 2026-10-27: add by m2/v0.4.0
Behnke--Stein theorem 60SNM6NGY5
| URI | m2://inv/60SNM6NGY5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/2.6/behnke-stein-theorem, Behnke--Stein theorem (concept). In VNMV985MXX, index, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
Baillie–PSW primality test 60STR3NMHH
| URI | m2://inv/60STR3NMHH |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#DR3Q, Baillie–PSW primality test (conjecture)
History
- 2026-11-02: add by m2/dev
60T2WMEJG1 60T2WMEJG1
| URI | m2://inv/60T2WMEJG1 |
|---|---|
| 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.08658#HIQX (statement). In 7PK5WS7246/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
60T5VX18V5 60T5VX18V5
| URI | m2://inv/60T5VX18V5 |
|---|---|
| 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.02436#EJ21 (statement). In J9WZBK6KAY/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.12
60TBNW144Z 60TBNW144Z
| URI | m2://inv/60TBNW144Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 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.19791#TP73 (statement). In AVDB4KJ6XB/e1, theorem 3.12
History
- 2026-10-28: add by m2/v0.4.2
60TFV6G5ST 60TFV6G5ST
| URI | m2://inv/60TFV6G5ST |
|---|---|
| Kind | definition |
| 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.28794#AE5V (definition)
History
- 2026-11-01: add by m2/v0.6.15
Examples 60THF8YHC2
| URI | m2://inv/60THF8YHC2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear time-invariant system#DJS1, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition 60TJ0XRJBQ
| URI | m2://inv/60TJ0XRJBQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structure constants#AYBA, Definition (definition)
History
- 2026-11-02: add by m2/dev
Tukey window 60TMT6MJXT
| URI | m2://inv/60TMT6MJXT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Window function#1J73, Tukey window (unknown)
History
- 2026-11-02: add by m2/dev
Mercury 60V6A54N8H
| URI | m2://inv/60V6A54N8H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q308, Mercury (definition). Also ProofWiki Definition:Mercury_(Planet)
History
- 2026-10-26: add by m2/dev
60V6E6NQFN 60V6E6NQFN
| URI | m2://inv/60V6E6NQFN |
|---|---|
| Kind | example |
| 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.15831#ETUE (example). In CVESAPNMCQ/e1, example 4.5
History
- 2026-10-28: add by m2/v0.4.2
60VGNFPW50 60VGNFPW50
| URI | m2://inv/60VGNFPW50 |
|---|---|
| Kind | definition |
| 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.18281#6E3A (definition). In QYD0EJM85G/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
60VGW0Y285 60VGW0Y285
| URI | m2://inv/60VGW0Y285 |
|---|---|
| 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 2204.01073#3XOX (statement). In W4TYN4PGE8/e1, lemma 5.9
History
- 2026-10-27: add by m2/v0.3.5
Theorem 1 60VKRHKPJ6
| URI | m2://inv/60VKRHKPJ6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean value theorem#2O2T, Theorem 1 (statement)
History
- 2026-11-02: add by m2/dev
Tom Fears 60VMF0F0XJ
| URI | m2://inv/60VMF0F0XJ |
|---|---|
| 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#E0DV, Tom Fears (unknown)
History
- 2026-11-02: add by m2/dev
60VPS6FZ57 60VPS6FZ57
| URI | m2://inv/60VPS6FZ57 |
|---|---|
| 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.09084#SZHL (statement). In F5VT2K2QYX/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10
Perl Data Language 60VRJZ4GK2
| URI | m2://inv/60VRJZ4GK2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#EKDG, Perl Data Language (unknown)
History
- 2026-11-02: add by m2/dev
Examples 60W0N322F9
| URI | m2://inv/60W0N322F9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loosely associated statements#Q435, Examples (example)
History
- 2026-11-02: add by m2/dev
R\'enyi divergence 60W1NQGWD1
| URI | m2://inv/60W1NQGWD1 |
|---|---|
| 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#QMYM, R\'enyi divergence (definition)
History
- 2026-11-01: add by m2/v0.6.15
Ribs and rib-walks for LTs 60W9X338VF
| URI | m2://inv/60W9X338VF |
|---|---|
| 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 1905.02785#23D4, Ribs and rib-walks for LTs (definition). In PF9KV74Q02/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
60WE4GVFGE 60WE4GVFGE
| URI | m2://inv/60WE4GVFGE |
|---|---|
| Kind | statement |
| 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#OS1T (statement). In 5KR3MHYVV6/e1, corollary 5.7
History
- 2026-10-28: add by m2/v0.4.2
term, convertibility of 60WE9DCFQR
| URI | m2://inv/60WE9DCFQR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.1/term-convertibility-of, term, convertibility of (concept). In N54F33XE07, index, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Precise statement 60WM6E1KA4
| URI | m2://inv/60WM6E1KA4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holevo's theorem#GXJ2, Precise statement (statement)
History
- 2026-11-02: add by m2/dev
Elderton, William Palin 60WV40R320
| URI | m2://inv/60WV40R320 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#838M, Elderton, William Palin (unknown)
History
- 2026-11-02: add by m2/dev
P'ei-Yuan Chou 60X1FCK67K
| URI | m2://inv/60X1FCK67K |
|---|---|
| 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#ZCU0, P'ei-Yuan Chou (unknown)
History
- 2026-11-02: add by m2/dev
Deterministic cellular automata 60XHCJ3492
| URI | m2://inv/60XHCJ3492 |
|---|---|
| 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#PJV7, Deterministic cellular automata (definition). In WD2NCBV9F0/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
Stylianos Pichorides 60XHVPVNGE
| URI | m2://inv/60XHVPVNGE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stylianos Pichorides, Stylianos Pichorides (topic). Also Wikidata Q23061985
History
- 2026-11-02: add by m2/dev
Hamilton path 60XQX78K0X
| URI | m2://inv/60XQX78K0X |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.5.1/hamilton-path, Hamilton path (concept). In Y91XFCEVHQ, index, section 5.5.1
History
- 2026-11-01: add by m2/v0.6.13
Grey relational analysis 60XXGGFSR3
| URI | m2://inv/60XXGGFSR3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grey relational analysis, Grey relational analysis (definition). Also Wikidata Q5608296
History
- 2026-11-02: add by m2/dev
60YMP1PE6E 60YMP1PE6E
| URI | m2://inv/60YMP1PE6E |
|---|---|
| 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.27635#IIEG (statement)
History
- 2026-11-01: add by m2/v0.6.15
60Z4HTVZ9C 60Z4HTVZ9C
| URI | m2://inv/60Z4HTVZ9C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-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 2401.07983#G6TE (statement). In 4WJ9HYVSZY/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.3.6
60Z5TBXXWZ 60Z5TBXXWZ
| URI | m2://inv/60Z5TBXXWZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-zariski.tex#example-1 (example). In RZP28ERRZV, example, section 28.2
History
- 2026-11-01: add by m2/v0.6.13
Weighted fidelity bound 60Z8M0JTCD
| URI | m2://inv/60Z8M0JTCD |
|---|---|
| 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.35986#NAAK, Weighted fidelity bound (statement). In PBX6AMPVT2/e1, lemma C.1
History
- 2026-10-30: add by m2/v0.4.12
60Z9Y545D3 60Z9Y545D3
| URI | m2://inv/60Z9Y545D3 |
|---|---|
| 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.16225#LJQC (statement). In H3DJV9YQW1/e1, lemma 4.15
History
- 2026-10-28: add by m2/v0.4.2
60ZFXSFYT1 60ZFXSFYT1
| URI | m2://inv/60ZFXSFYT1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2204.04317#MIBV (statement). In 49V3ANDZTY/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
60ZRVQ81PH 60ZRVQ81PH
| URI | m2://inv/60ZRVQ81PH |
|---|---|
| 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.21399#N95R (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mass identities and a positive signal mass 60ZTXDEF32
| URI | m2://inv/60ZTXDEF32 |
|---|---|
| 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.13613#M50L, Mass identities and a positive signal mass (statement). In 3HCT4TQ5PM/e1, lemma 8.1
History
- 2026-10-28: add by m2/v0.4.2
60ZXJZ3HA9 60ZXJZ3HA9
| URI | m2://inv/60ZXJZ3HA9 |
|---|---|
| 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.30961#RSWX (statement). In FFG2DDWEVB/e1, corollary 3.28
History
- 2026-10-31: add by m2/v0.5.6
60ZYFB225Y 60ZYFB225Y
| URI | m2://inv/60ZYFB225Y |
|---|---|
| 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.30664#I7LX (statement). In ZZGDNKDVJW/e1, lemma 3.3
History
- 2026-10-31: add by m2/v0.5.6