Inventory rows 59
The cards of the rows of the inventory whose ids start with 59. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Logistic regression with Gaussian prior 59041AJWE0
| URI | m2://inv/59041AJWE0 |
|---|---|
| Kind | example |
| 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.19573#HFL7, Logistic regression with Gaussian prior (example). In NM6Z2R61CN/e1, example 10
History
- 2026-10-28: add by m2/v0.4.2
59059NPT3M 59059NPT3M
| URI | m2://inv/59059NPT3M |
|---|---|
| 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.35927#5IBM (definition). In 7S0DWBCNS8/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Envelope encryption 5905JR89Q3
| URI | m2://inv/5905JR89Q3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hybrid cryptosystem#U1RD, Envelope encryption (unknown)
History
- 2026-11-02: add by m2/dev
Errors of the cosine 5908PMDEE0
| URI | m2://inv/5908PMDEE0 |
|---|---|
| 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.04140#C3LP, Errors of the cosine (statement). In BTT0FX7XMC/e1, lemma G.3
History
- 2026-10-29: add by m2/v0.4.12
Empirical characteristic function 590F8C17JM
| URI | m2://inv/590F8C17JM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Empirical characteristic function, Empirical characteristic function (definition). Also Wikidata Q25345037
History
- 2026-11-02: add by m2/dev
590J7NYXW5 590J7NYXW5
| URI | m2://inv/590J7NYXW5 |
|---|---|
| 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 2609.35339#H5ZU (definition). In JT998WJYJJ/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
Variance-to-mean ratio 590M8A5465
| URI | m2://inv/590M8A5465 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TB6W, Variance-to-mean ratio (topic)
History
- 2026-11-02: add by m2/dev
590MBTGAPH 590MBTGAPH
| URI | m2://inv/590MBTGAPH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.17135#4Y1X (statement). In XX1J2REXY2/e1, proposition 4.16
History
- 2026-10-28: add by m2/v0.4.2
Quotition and partition 590NPESYH9
| URI | m2://inv/590NPESYH9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partition topics#LM5V, Quotition and partition (definition)
- wikipedia: Wikipedia List of partition topics#OXF6, Quotition and partition (definition)
History
- 2026-11-02: add by m2/dev
Bitconnect 590P4QB87C
| URI | m2://inv/590P4QB87C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bitconnect, Bitconnect (definition). Also Wikidata Q47457131
History
- 2026-11-02: add by m2/dev
Definition 590W0KVEZT
| URI | m2://inv/590W0KVEZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gomory–Hu tree#C9US, Definition (definition)
History
- 2026-11-02: add by m2/dev
590W2FEZ11 590W2FEZ11
| URI | m2://inv/590W2FEZ11 |
|---|---|
| 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.08288#3H8K (statement). In CHVWYJM7RM/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
5916AY032C 5916AY032C
| URI | m2://inv/5916AY032C |
|---|---|
| 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 2609.20783#RDDE (statement)
History
- 2026-11-02: add by m2/v0.6.18
Using Riemann–Hurwitz formula 5916FYZGA6
| URI | m2://inv/5916FYZGA6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperelliptic curve#4CBZ, Using Riemann–Hurwitz formula (statement)
History
- 2026-11-02: add by m2/dev
5919XVDHBB 5919XVDHBB
| URI | m2://inv/5919XVDHBB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.32138#ZET0 (statement). In ZG0GNHTCWB/e1, proposition 5.1
History
- 2026-10-31: add by m2/v0.5.6
Edge statistics of the Ginibre ensemble 591PEP1TZ8
| URI | m2://inv/591PEP1TZ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular law#DRRN, Edge statistics of the Ginibre ensemble (statement)
History
- 2026-11-02: add by m2/dev
26950 Legendre 59215JJ56P
| URI | m2://inv/59215JJ56P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#XOS0, 26950 Legendre (unknown)
History
- 2026-11-02: add by m2/dev
Dicaearchus 5928Q536QJ
| URI | m2://inv/5928Q536QJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dicaearchus, Dicaearchus (topic). Also Wikidata Q352621
History
- 2026-11-02: add by m2/dev
592AC5PWGR 592AC5PWGR
| URI | m2://inv/592AC5PWGR |
|---|---|
| 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 2503.01567#HV21 (statement). In GB0V23Q6C5/e1, lemma 6.5
History
- 2026-10-27: add by m2/v0.3.5
Definition 592EDFRX7P
| URI | m2://inv/592EDFRX7P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weil cohomology theory#YHPZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
dense 592QVX0D9Z
| URI | m2://inv/592QVX0D9Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#RIB3, dense (definition)
History
- 2026-11-02: add by m2/dev
592Z5FA12R 592Z5FA12R
| URI | m2://inv/592Z5FA12R |
|---|---|
| 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.19590#3UTR (statement). In AZFARX0CXG/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
593A494FJG 593A494FJG
| URI | m2://inv/593A494FJG |
|---|---|
| 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.39531#SKFS (statement). In SN9RSTHQ07/e1, proposition B.2
History
- 2026-10-30: add by m2/v0.4.12
593AY8EFRW 593AY8EFRW
| URI | m2://inv/593AY8EFRW |
|---|---|
| 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.16768#XGKB (statement). In 8FWK676AQX/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
Compact complement topology 593R0TNYRV
| URI | m2://inv/593R0TNYRV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact complement topology, Compact complement topology (definition). Also Wikidata Q5155303
History
- 2026-11-02: add by m2/dev
Carl Gottlieb Ehler 593SGP82SJ
| URI | m2://inv/593SGP82SJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl Gottlieb Ehler, Carl Gottlieb Ehler (topic). Also Wikidata Q5040227
History
- 2026-11-02: add by m2/dev
Rank function of an \(M\)-convex set 593TK3RSC1
| URI | m2://inv/593TK3RSC1 |
|---|---|
| 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.24078#GCTH, Rank function of an \(M\)-convex set (statement)
History
- 2026-11-02: add by m2/v0.6.17
Frances Yao 593XGNPYH6
| URI | m2://inv/593XGNPYH6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#V7NX, Frances Yao (topic)
History
- 2026-11-02: add by m2/dev
Replica-symmetric lower bound on the Nishimori line 593Y1T86KG
| URI | m2://inv/593Y1T86KG |
|---|---|
| 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 2609.37479#T4DV, Replica-symmetric lower bound on the Nishimori line (statement). In P3RTT99C41/e1, lemma 6.4
History
- 2026-10-30: add by m2/v0.4.12
5940RNBHR7 5940RNBHR7
| URI | m2://inv/5940RNBHR7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/satisfaction.tex#prop:sat-all (statement). In PKGMM3P5QY, prop, section 19.14
History
- 2026-11-01: add by m2/v0.6.13
Abu Ma'shar al-Balkhi 594YQ8CWPF
| URI | m2://inv/594YQ8CWPF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#GB2J, Abu Ma'shar al-Balkhi (unknown)
History
- 2026-11-02: add by m2/dev
All-pairs testing 59589RM78H
| URI | m2://inv/59589RM78H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JL1H, All-pairs testing (definition)
History
- 2026-11-02: add by m2/dev
Jacques-Louis Lions 595A6P21Q3
| URI | m2://inv/595A6P21Q3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LPN4, Jacques-Louis Lions (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#63OL, Jacques-Louis Lions (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#P5U6, Jacques-Louis Lions (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZO3F, Jacques-Louis Lions (topic)
History
- 2026-11-02: add by m2/dev
ohm 595Q57WEBY
| URI | m2://inv/595Q57WEBY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q47083, ohm (definition). Also ProofWiki Definition:Ohm_(Unit)
History
- 2026-10-26: add by m2/dev
595Q9NFHZQ 595Q9NFHZQ
| URI | m2://inv/595Q9NFHZQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 19.8
History
- 2026-11-01: add by m2/v0.6.13
595WT5WQ7F 595WT5WQ7F
| URI | m2://inv/595WT5WQ7F |
|---|---|
| Kind | definition |
| 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 2401.14162#2URD (definition). In JC1XF1JE6J/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Definition and properties 5964DH4MVZ
| URI | m2://inv/5964DH4MVZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Néron–Tate height#5YKU, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
Gradient and one-sided Hessians of the TAP function 596AYNCQ5C
| URI | m2://inv/596AYNCQ5C |
|---|---|
| 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.06490#M7J7, Gradient and one-sided Hessians of the TAP function (statement). In NKXTXH59P1/e1, lemma D.7
History
- 2026-10-29: add by m2/v0.4.10
Fundamental lemma 596BC7P49M
| URI | m2://inv/596BC7P49M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental lemma (Langlands program), Fundamental lemma (statement). Also Wikidata Q57510
History
- 2026-11-02: add by m2/dev
Bolzano–Weierstrass theorem 596BWBKXXK
| URI | m2://inv/596BWBKXXK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Least-upper-bound property#DHR0, Bolzano–Weierstrass theorem (statement)
History
- 2026-11-02: add by m2/dev
596H8KEXER 596H8KEXER
| URI | m2://inv/596H8KEXER |
|---|---|
| Kind | statement |
| 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#ETRN (statement). In 9DQKY7KGE8/e1, lemma 3.15
History
- 2026-10-27: add by m2/v0.3.5
Algorithm 596P3GPAD4
| URI | m2://inv/596P3GPAD4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parareal#X6P5, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
C. J. F. Williams 596PF1Z9NS
| URI | m2://inv/596PF1Z9NS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia C. J. F. Williams, C. J. F. Williams (topic). Also Wikidata Q5006543
History
- 2026-11-02: add by m2/dev
5978C4RK2K 5978C4RK2K
| URI | m2://inv/5978C4RK2K |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroQuantification.tex#problem-3 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
597A74PGKZ 597A74PGKZ
| URI | m2://inv/597A74PGKZ |
|---|---|
| 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 2111.07760#3MIZ (statement). In 3TED83HAME/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
ETC-$m$ under an edit cap, full form 597E7X46S5
| URI | m2://inv/597E7X46S5 |
|---|---|
| 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.11007#45UB, ETC-$m$ under an edit cap, full form (statement). In MF0H78XZXC/e1, theorem C.12
History
- 2026-10-28: add by m2/v0.4.3
Gaussian projection decreases the $2$-QW cost 597J5374QZ
| URI | m2://inv/597J5374QZ |
|---|---|
| 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.01855#CLDX, Gaussian projection decreases the $2$-QW cost (statement). In MM8P5CJR18/e1, proposition 5.9
History
- 2026-10-29: add by m2/v0.4.12
Outline of trigonometry 597NRPT2M3
| URI | m2://inv/597NRPT2M3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#J8C2, Outline of trigonometry (topic)
History
- 2026-11-02: add by m2/dev
Maxwell's equations 597ZQYTXQJ
| URI | m2://inv/597ZQYTXQJ |
|---|---|
| Kind | statement |
| 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 2609.29847#F3V6, Maxwell's equations (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mikel Harry 59827WDK04
| URI | m2://inv/59827WDK04 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mikel Harry, Mikel Harry (topic). Also Wikidata Q60616717
History
- 2026-11-02: add by m2/dev
5987QHVAQ6 5987QHVAQ6
| URI | m2://inv/5987QHVAQ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2609.24610#8OBM (statement)
History
- 2026-11-01: add by m2/v0.6.15
598NHPJSVT 598NHPJSVT
| URI | m2://inv/598NHPJSVT |
|---|---|
| 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 2609.25973#I96S (statement)
History
- 2026-11-01: add by m2/v0.6.15
Derivation of Dynkin's series formula 598SEYWRS6
| URI | m2://inv/598SEYWRS6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derivative of the exponential map#G9ZC, Derivation of Dynkin's series formula (statement)
History
- 2026-11-02: add by m2/dev
5992RWF8VF 5992RWF8VF
| URI | m2://inv/5992RWF8VF |
|---|---|
| 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.12330#THEM (statement). In XHSKEPT3VD/e1, corollary 5.4
History
- 2026-10-28: add by m2/v0.4.2
599JJV5EAX 599JJV5EAX
| URI | m2://inv/599JJV5EAX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-XX, 46-XX, 47-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.20725#1TWF (statement)
History
- 2026-11-02: add by m2/v0.6.18
Subfactorial 59A9MPVB71
| URI | m2://inv/59A9MPVB71 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#H8M1, Subfactorial (definition)
History
- 2026-11-02: add by m2/dev
59AE36ACX4 59AE36ACX4
| URI | m2://inv/59AE36ACX4 |
|---|---|
| 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.32557#0TXX (statement). In 7MSKC957WD/e1, theorem 3.4
History
- 2026-10-31: add by m2/v0.5.6
59AKNW2RWA 59AKNW2RWA
| URI | m2://inv/59AKNW2RWA |
|---|---|
| Kind | example |
| 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.29158#8RKW (example)
History
- 2026-11-01: add by m2/v0.6.15
Pólya–Vinogradov inequality 59AR2EAEVP
| URI | m2://inv/59AR2EAEVP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#8HYT, Pólya–Vinogradov inequality (definition)
History
- 2026-11-02: add by m2/dev
Kerry Keating 59AT80P1G0
| URI | m2://inv/59AT80P1G0 |
|---|---|
| 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#2ISJ, Kerry Keating (unknown)
History
- 2026-11-02: add by m2/dev
Properties 59AZ1NPWHQ
| URI | m2://inv/59AZ1NPWHQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit group#J5PT, Properties (statement)
History
- 2026-11-02: add by m2/dev
Tait's conjecture 59BF54KZA0
| URI | m2://inv/59BF54KZA0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7676457, Tait's conjecture (conjecture). Also MathWorld TaitsHamiltonianGraphConjecture
- wikipedia: Wikipedia Tait's conjecture, Tait's conjecture (statement). Also Wikidata Q7676457
History
- 2026-10-26: add by m2/dev
Identifiability 59BJN4CTPQ
| URI | m2://inv/59BJN4CTPQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VAUF, Identifiability (definition)
History
- 2026-11-02: add by m2/dev
Plato 59BRE7X0C9
| URI | m2://inv/59BRE7X0C9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#PP9F, Plato (topic)
History
- 2026-11-02: add by m2/dev
Solomon Golomb 59BVM2NSVP
| URI | m2://inv/59BVM2NSVP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#Z1QE, Solomon Golomb (topic)
History
- 2026-11-02: add by m2/dev
Legendre--Hahn series estimator 59C2D2YBWP
| URI | m2://inv/59C2D2YBWP |
|---|---|
| Kind | definition |
| 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.04135#ND0D, Legendre--Hahn series estimator (definition). In 587PWJ6W5D/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.12
Examples 59C5N87BPQ
| URI | m2://inv/59C5N87BPQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice model (physics)#9XO3, Examples (example)
History
- 2026-11-02: add by m2/dev
Ebadollah S. Mahmoodian 59C6DNZW7Q
| URI | m2://inv/59C6DNZW7Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#T4ZL, Ebadollah S. Mahmoodian (unknown)
History
- 2026-11-02: add by m2/dev
Correction for multiple testing 59CDM4V9T6
| URI | m2://inv/59CDM4V9T6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple comparisons problem#M2RP, Correction for multiple testing (unknown)
History
- 2026-11-02: add by m2/dev
Exponential convergence, informal 59CFTM4Q3R
| URI | m2://inv/59CFTM4Q3R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.02158#VEPN, Exponential convergence, informal (statement). In PCV12VAD47/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
Bounds from strict feasibility 59CM0F9FXP
| URI | m2://inv/59CM0F9FXP |
|---|---|
| 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.32558#YPJR, Bounds from strict feasibility (statement). In SGQS629QNK/e1, proposition J.1
History
- 2026-10-31: add by m2/v0.5.6
59CRFC4ED3 59CRFC4ED3
| URI | m2://inv/59CRFC4ED3 |
|---|---|
| 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.26701#Q0BO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jinyoung Park 59CWM3CZ6A
| URI | m2://inv/59CWM3CZ6A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jinyoung Park (mathematician), Jinyoung Park (topic). Also Wikidata Q111738319
History
- 2026-11-02: add by m2/dev
59CXV77EX3 59CXV77EX3
| URI | m2://inv/59CXV77EX3 |
|---|---|
| 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.17479#4AON (statement). In 4FWAY748N7/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Fundamental theorem of line integrals 59CZXJDRQ8
| URI | m2://inv/59CZXJDRQ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Three-dimensional space#89C0, Fundamental theorem of line integrals (statement)
History
- 2026-11-02: add by m2/dev
RPD and RSD 59D3X8MY5W
| URI | m2://inv/59D3X8MY5W |
|---|---|
| Kind | definition |
| 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 2609.28160#JNCI, RPD and RSD (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definition and notation 59DAQFHQTW
| URI | m2://inv/59DAQFHQTW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partition of a set#A4G9, Definition and notation (definition)
History
- 2026-11-02: add by m2/dev
59DDXKT41X 59DDXKT41X
| URI | m2://inv/59DDXKT41X |
|---|---|
| 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.21016#7H4Z (statement)
History
- 2026-11-02: add by m2/v0.6.18
59DJP5677E 59DJP5677E
| URI | m2://inv/59DJP5677E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX, 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 math/0008020#FT7D (statement). In 8K466RA3HH/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
59DJTWCBEH 59DJTWCBEH
| URI | m2://inv/59DJTWCBEH |
|---|---|
| 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.08233#HSHQ (statement). In 2TXXQ2575Y/e1, lemma 5.11
History
- 2026-10-27: add by m2/v0.3.5
Constantine Michael Dafermos 59DPGVCXN1
| URI | m2://inv/59DPGVCXN1 |
|---|---|
| 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#7ARE, Constantine Michael Dafermos (topic)
History
- 2026-11-02: add by m2/dev
Lincoln index 59DQNTSBFV
| URI | m2://inv/59DQNTSBFV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#9VFT, Lincoln index (definition)
History
- 2026-11-02: add by m2/dev
Definitions 59DSH2RKHE
| URI | m2://inv/59DSH2RKHE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolutely and completely monotonic functions and sequences#FQJ8, Definitions (definition)
History
- 2026-11-02: add by m2/dev
William Kruskal 59E1FK98TG
| URI | m2://inv/59E1FK98TG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#Y7WS, William Kruskal (topic)
History
- 2026-11-02: add by m2/dev
59E3R4TEKF 59E3R4TEKF
| URI | m2://inv/59E3R4TEKF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-15 (exercise). In E9HS8K3A52, exercise, section 5.2.4
History
- 2026-11-01: add by m2/v0.6.13
Multichoose 59E5PCDZKK
| URI | m2://inv/59E5PCDZKK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiset#2SH1, Multichoose (unknown)
History
- 2026-11-02: add by m2/dev
59ENPKF4D0 59ENPKF4D0
| URI | m2://inv/59ENPKF4D0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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 1904.08413#W534 (statement). In X88HPQ0W8C/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.3.5
59ESZVSSR1 59ESZVSSR1
| URI | m2://inv/59ESZVSSR1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#defn-1 (definition). In E59CDZA4DP, defn, section 9.1.1
History
- 2026-11-01: add by m2/v0.6.13
Formal statement 59F5M6776T
| URI | m2://inv/59F5M6776T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brianchon's theorem#D93O, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
59F8HPH605 59F8HPH605
| URI | m2://inv/59F8HPH605 |
|---|---|
| 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 2405.05684#CPSU (statement). In 1PR73ECTZB/e1, theorem 8
History
- 2026-10-27: add by m2/v0.3.5
Al-Salam–Chihara polynomials 59FBWMB1AC
| URI | m2://inv/59FBWMB1AC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Al-Salam–Chihara polynomials, Al-Salam–Chihara polynomials (definition). Also Wikidata Q4703169
History
- 2026-11-02: add by m2/dev
Charles Howard Hinton 59FCH74V86
| URI | m2://inv/59FCH74V86 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Howard Hinton, Charles Howard Hinton (topic). Also Wikidata Q1064912
History
- 2026-11-02: add by m2/dev
natural, transformation 59FKYV25T6
| URI | m2://inv/59FKYV25T6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.8/natural-transformation, natural, transformation (concept). In N54F33XE07, index, section 2.8
History
- 2026-11-01: add by m2/v0.6.13
Terminology 59FWC21079
| URI | m2://inv/59FWC21079 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutative ring spectrum#Z7IM, Terminology (definition)
History
- 2026-11-02: add by m2/dev
59FZTC3Z26 59FZTC3Z26
| URI | m2://inv/59FZTC3Z26 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-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.40290#U2R5 (problem). In 4K1CNBYJHF/e1, problem 10.1
History
- 2026-10-30: add by m2/v0.4.12
59G8ZQTHXD 59G8ZQTHXD
| URI | m2://inv/59G8ZQTHXD |
|---|---|
| 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.20097#L1O7 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Consistency 59G9EKKXZH
| URI | m2://inv/59G9EKKXZH |
|---|---|
| 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.20041#LGC1, Consistency (statement)
History
- 2026-11-02: add by m2/v0.6.18
59GBS8HPM4 59GBS8HPM4
| URI | m2://inv/59GBS8HPM4 |
|---|---|
| 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.03856#RU7O (statement). In HTBRYNPHSJ/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Pieri's formula 59GHETKCP5
| URI | m2://inv/59GHETKCP5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Littlewood–Richardson rule#MOK1, Pieri's formula (statement)
History
- 2026-11-02: add by m2/dev
Soft Potts as a random hard-colouring model 59GHXTG6Z0
| URI | m2://inv/59GHXTG6Z0 |
|---|---|
| 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.12456#JXCZ, Soft Potts as a random hard-colouring model (statement). In 5XPM4E03W6/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
59GTQT9KDA 59GTQT9KDA
| URI | m2://inv/59GTQT9KDA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.26479#P5U4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
59H0XTAT6V 59H0XTAT6V
| URI | m2://inv/59H0XTAT6V |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 46-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.05391#ICAV (example). In 9B5TNEBJHV/e1, example 2.7
History
- 2026-10-29: add by m2/v0.4.10
GCD test 59H3F1XJZW
| URI | m2://inv/59H3F1XJZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GCD test, GCD test (definition). Also Wikidata Q5512978
History
- 2026-11-02: add by m2/dev
59H3HR8BVT 59H3HR8BVT
| URI | m2://inv/59H3HR8BVT |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.00590#LNOK (proof). In D3WTQN2F7B/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
59HE24SY4V 59HE24SY4V
| URI | m2://inv/59HE24SY4V |
|---|---|
| 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 1903.07030#LH0S (definition). In 9H45HQE7AZ/e1, definition 3.36
History
- 2026-10-27: add by m2/v0.3.5
Terminology 59HJJ97RE8
| URI | m2://inv/59HJJ97RE8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Counterfactual conditional#A8KM, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Eclectic medicine 59HK5WDRE3
| URI | m2://inv/59HK5WDRE3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#J8HZ, Eclectic medicine (unknown)
History
- 2026-11-02: add by m2/dev
59HNFGF4NT 59HNFGF4NT
| URI | m2://inv/59HNFGF4NT |
|---|---|
| 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.18358#XW7S (statement). In SPZ446XNDW/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
59HWWV1HXC 59HWWV1HXC
| URI | m2://inv/59HWWV1HXC |
|---|---|
| Kind | problem |
| 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.35252#XTCU (problem). In RPFP34GH09/e1, problem 6.1
History
- 2026-10-30: add by m2/v0.4.12
representation ring 59HXMJV9P5
| URI | m2://inv/59HXMJV9P5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7314220, representation ring (unknown). Also MathWorld RepresentationRing, nLab representation ring
- wikipedia: Wikipedia Representation ring, Representation ring (definition). Also Wikidata Q7314220
History
- 2026-10-26: add by m2/dev
820 (number) 59HZ3C4SC0
| URI | m2://inv/59HZ3C4SC0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 800 (number)#UKB2, 820 (number) (unknown)
History
- 2026-11-02: add by m2/dev
59J1PDD5M5 59J1PDD5M5
| URI | m2://inv/59J1PDD5M5 |
|---|---|
| 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 2510.12502#T14T (statement). In 3A4K47Y9F2/e1, theorem 2.15
History
- 2026-10-27: add by m2/v0.4.0
mathematical proof 59J3G8WGQ4
| URI | m2://inv/59J3G8WGQ4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Mathematical proof 0B94TKFQJX |
Mentions
- wikidata: Wikidata Q11538, mathematical proof (concept). Also MathWorld Proof
- wikipedia: Wikipedia Mathematical proof, Mathematical proof (definition). Also Wikidata Q11538
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
59J3JA51GA 59J3JA51GA
| URI | m2://inv/59J3JA51GA |
|---|---|
| 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.39905#0FA5 (statement). In D4B23ER9QD/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
compact space 59JDJ8C7DN
| URI | m2://inv/59JDJ8C7DN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Compact space 0QPHW703PV |
Mentions
- wikidata: Wikidata Q381892, compact space (concept). Also Mathlib CompactSpace, MathWorld CompactSpace, nLab compact space, ProofWiki Definition:Compact_Space
- wikipedia: Wikipedia Compact space, Compact space (definition). Also Wikidata Q381892
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Erdős–Turán inequality 59JDV42TRH
| URI | m2://inv/59JDV42TRH |
|---|---|
| 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#OR90, Erdős–Turán inequality (statement)
History
- 2026-11-02: add by m2/dev
59JFZANC4H 59JFZANC4H
| URI | m2://inv/59JFZANC4H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/proj-var.tex#example-2 (example). In RZP28ERRZV, example, section 23.1
History
- 2026-11-01: add by m2/v0.6.13
Discrete barrier bound 59JK20QQ6Z
| URI | m2://inv/59JK20QQ6Z |
|---|---|
| Kind | statement |
| 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.05313#QP7Z, Discrete barrier bound (statement). In 8XPN1A2GR0/e1, lemma 5.11
History
- 2026-10-29: add by m2/v0.4.10
L'Hospital's rule 59JM3TGNJS
| URI | m2://inv/59JM3TGNJS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/3.2.6/l-hospital-s-rule, L'Hospital's rule (concept). In E59CDZA4DP, index, section 3.2.6
History
- 2026-11-01: add by m2/v0.6.13
Varignon's theorem 59K2HG26J2
| URI | m2://inv/59K2HG26J2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Varignon's theorem (mechanics), Varignon's theorem (statement). Also Wikidata Q4454932
History
- 2026-11-02: add by m2/dev
59K5PF9A8S 59K5PF9A8S
| URI | m2://inv/59K5PF9A8S |
|---|---|
| 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.10790#Q8KN (statement). In HHQ6P3RRB8/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.3
Vadim Knizhnik 59KCEWKRWA
| URI | m2://inv/59KCEWKRWA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1542220, Vadim Knizhnik (unknown). Also nLab Vadim Knizhnik
History
- 2026-10-26: add by m2/dev
59KDWG01VR 59KDWG01VR
| URI | m2://inv/59KDWG01VR |
|---|---|
| Kind | definition |
| 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.00021#L6P4 (definition). In EX42AVA7CV/e1, definition 4.2
History
- 2026-10-30: add by m2/v0.4.12
59KGC8CVWA 59KGC8CVWA
| URI | m2://inv/59KGC8CVWA |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 16-XX, 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 0902.4012#7RDF (problem). In 6FH16YESRH/e1, problem 2
History
- 2026-10-27: add by m2/v0.3.5
59KKMTDPGZ 59KKMTDPGZ
| URI | m2://inv/59KKMTDPGZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 19-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.01473#SEXO (example). In ABS9M47F4K/e1, example 3.4
History
- 2026-10-27: add by m2/v0.3.6
Orbison illusion 59KTG2PN4Z
| URI | m2://inv/59KTG2PN4Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2661088, Orbison illusion (unknown). Also MathWorld OrbisonsIllusion
History
- 2026-10-26: add by m2/dev
59M3E2H44M 59M3E2H44M
| URI | m2://inv/59M3E2H44M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.24465#VWSS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lemma 1 59M6QNBE6A
| URI | m2://inv/59M6QNBE6A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derivation of the conjugate gradient method#06BJ, Lemma 1 (statement)
History
- 2026-11-02: add by m2/dev
Yajnavalkya 59M9H68BWY
| URI | m2://inv/59M9H68BWY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#GM8M, Yajnavalkya (unknown)
History
- 2026-11-02: add by m2/dev
Star height 59MA06BDBV
| URI | m2://inv/59MA06BDBV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#5LUE, Star height (definition)
History
- 2026-11-02: add by m2/dev
Weighted Folded Surface 59MFYE5CGK
| URI | m2://inv/59MFYE5CGK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-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.09422#ZBMH, Weighted Folded Surface (definition). In MS7M2BJS9X/e1, definition 4.4
History
- 2026-10-29: add by m2/v0.4.10
59MK7JWTJS 59MK7JWTJS
| URI | m2://inv/59MK7JWTJS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#cor-1 (statement). In E59CDZA4DP, cor, section 3.4.1
History
- 2026-11-01: add by m2/v0.6.13
Jantzen filtration 59MPVY0AVR
| URI | m2://inv/59MPVY0AVR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jantzen filtration, Jantzen filtration (definition). Also Wikidata Q6155622
History
- 2026-11-02: add by m2/dev
59MQRGQ8KE 59MQRGQ8KE
| URI | m2://inv/59MQRGQ8KE |
|---|---|
| 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.26745#Q5VO (statement)
History
- 2026-11-01: add by m2/v0.6.15
59MY009844 59MY009844
| URI | m2://inv/59MY009844 |
|---|---|
| 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.22685#7IWU (definition)
History
- 2026-11-02: add by m2/v0.6.17
Brewster 59N1BGHWMK
| URI | m2://inv/59N1BGHWMK |
|---|---|
| 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#S5LH, Brewster (unknown)
History
- 2026-11-02: add by m2/dev
Two-dimensional singular-value decomposition 59N3B7RXS1
| URI | m2://inv/59N3B7RXS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-dimensional singular-value decomposition, Two-dimensional singular-value decomposition (definition). Also Wikidata Q17104381
History
- 2026-11-02: add by m2/dev
Examples 59ND5Z0CW7
| URI | m2://inv/59ND5Z0CW7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McKay graph#115O, Examples (example)
History
- 2026-11-02: add by m2/dev
59NGSNRNF6 59NGSNRNF6
| URI | m2://inv/59NGSNRNF6 |
|---|---|
| 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 2105.03715#070P (statement). In H3FWT3Z0J4/e1, theorem 10
History
- 2026-10-27: add by m2/v0.3.5
59NK18FBV5 59NK18FBV5
| URI | m2://inv/59NK18FBV5 |
|---|---|
| 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 2407.12231#V149 (statement). In W44N3VEC6H/e1, proposition 7
History
- 2026-10-27: add by m2/v0.3.6
59NM4B4WT2 59NM4B4WT2
| URI | m2://inv/59NM4B4WT2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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 2609.25289#3GKP (statement)
History
- 2026-11-01: add by m2/v0.6.15
59NNDKFG90 59NNDKFG90
| URI | m2://inv/59NNDKFG90 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-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.14060#9747 (statement). In X47RYAZF8P/e1, lemma 3.23
History
- 2026-10-28: add by m2/v0.4.2
Gap exclusion 59NT6B6203
| URI | m2://inv/59NT6B6203 |
|---|---|
| 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.06490#U2JS, Gap exclusion (statement). In NKXTXH59P1/e1, lemma F.7
History
- 2026-10-29: add by m2/v0.4.10
handshake lemma 59NWXQ64PQ
| URI | m2://inv/59NWXQ64PQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.1/handshake-lemma, handshake lemma (concept). In Y91XFCEVHQ, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
59NXMCZHF2 59NXMCZHF2
| URI | m2://inv/59NXMCZHF2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.03719#QKLK (statement). In 8MDK189ZMB/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.12
Formal statement 59NYHJQW4W
| URI | m2://inv/59NYHJQW4W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Splitting lemma (functions)#Z1G2, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Mobility mode decomposition 59P2QQ9W7W
| URI | m2://inv/59P2QQ9W7W |
|---|---|
| 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.10436#3F3F, Mobility mode decomposition (statement). In 88798T0A0X/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
Frauke Kreuter 59PCH83VYB
| URI | m2://inv/59PCH83VYB |
|---|---|
| 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#QR32, Frauke Kreuter (topic)
History
- 2026-11-02: add by m2/dev
Formulation 59PGERD1E5
| URI | m2://inv/59PGERD1E5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bretschneider's formula#1X1G, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Automated theorem proving and formal methods 59PH5XAHMT
| URI | m2://inv/59PH5XAHMT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First-order logic#5570, Automated theorem proving and formal methods (statement)
History
- 2026-11-02: add by m2/dev
Louis Saalschütz 59PRVBBDAF
| URI | m2://inv/59PRVBBDAF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louis Saalschütz, Louis Saalschütz (topic). Also Wikidata Q98051
History
- 2026-11-02: add by m2/dev
59PWBF8FBA 59PWBF8FBA
| URI | m2://inv/59PWBF8FBA |
|---|---|
| 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.17411#0H4A (statement). In 73QW05MWQB/e1, lemma 5.7
History
- 2026-10-28: add by m2/v0.4.2
Proof of the Euler product formula for the Riemann zeta function 59QHDA9F9P
| URI | m2://inv/59QHDA9F9P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof of the Euler product formula for the Riemann zeta function, Proof of the Euler product formula for the Riemann zeta function (statement). Also Wikidata Q4117082
History
- 2026-11-02: add by m2/dev
59QZ8D81BV 59QZ8D81BV
| URI | m2://inv/59QZ8D81BV |
|---|---|
| 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 2610.16657#7ARQ (statement). In SRQ37RX6MK/e1, theorem 6.2
History
- 2026-10-28: add by m2/v0.4.2
Uniform amenability radius 59QZTSH5G8
| URI | m2://inv/59QZTSH5G8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.18530#AZXE, Uniform amenability radius (statement). In HSXWVKPCQV/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2
59R3TY7SKR 59R3TY7SKR
| URI | m2://inv/59R3TY7SKR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#defn-6 (definition). In E59CDZA4DP, defn, section 6.2.3
History
- 2026-11-01: add by m2/v0.6.13
Examples 59R4YBAHK4
| URI | m2://inv/59R4YBAHK4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beck's monadicity theorem#7NFX, Examples (example)
History
- 2026-11-02: add by m2/dev
A. B. Kurzanskii 59RA1F1YX6
| URI | m2://inv/59RA1F1YX6 |
|---|---|
| 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#OYR5, A. B. Kurzanskii (unknown)
History
- 2026-11-02: add by m2/dev
partial order 59RA5B1TW8
| URI | m2://inv/59RA5B1TW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#AK9C, partial order (definition)
History
- 2026-11-02: add by m2/dev
Irrational cable on a torus 59REXGVQ3F
| URI | m2://inv/59REXGVQ3F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of examples in general topology#QPO2, Irrational cable on a torus (definition)
History
- 2026-11-02: add by m2/dev
Round number 59RJDJZCVW
| URI | m2://inv/59RJDJZCVW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Round number, Round number (definition). Also Wikidata Q2379266
History
- 2026-11-02: add by m2/dev
Dedekind's theorem 59RKM7P044
| URI | m2://inv/59RKM7P044 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Richard Dedekind#S118, Dedekind's theorem (unknown)
History
- 2026-11-02: add by m2/dev
Petra Bonfert-Taylor 59RWFJST8K
| URI | m2://inv/59RWFJST8K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petra Bonfert-Taylor, Petra Bonfert-Taylor (topic). Also Wikidata Q102181305
History
- 2026-11-02: add by m2/dev
Pumping lemma 59S0CCF0XX
| URI | m2://inv/59S0CCF0XX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#OOI7, Pumping lemma (statement)
History
- 2026-11-02: add by m2/dev
59S2V64HAE 59S2V64HAE
| URI | m2://inv/59S2V64HAE |
|---|---|
| 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.10968#OSFF (statement). In KJRV9ZW833/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.3
Opacity 59S8TJK4AC
| URI | m2://inv/59S8TJK4AC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opacity, Opacity (definition). Also Wikidata Q691914
History
- 2026-11-02: add by m2/dev
59SBV00WJQ 59SBV00WJQ
| URI | m2://inv/59SBV00WJQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#definition-2 (definition). In RZP28ERRZV, definition, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
59SFY6T819 59SFY6T819
| URI | m2://inv/59SFY6T819 |
|---|---|
| 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 2610.07380#WI6S (definition). In XM2CDRKSGE/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
59SPAH82ZE 59SPAH82ZE
| URI | m2://inv/59SPAH82ZE |
|---|---|
| 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.24878#BU5J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Normable space 59SRRNX46H
| URI | m2://inv/59SRRNX46H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normed vector space#FTDO, Normable space (unknown)
History
- 2026-11-02: add by m2/dev
59SSQ3MZ7S 59SSQ3MZ7S
| URI | m2://inv/59SSQ3MZ7S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-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.04099#97SX (definition). In QPJ6FWG5HD/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
59T8CD0JFV 59T8CD0JFV
| URI | m2://inv/59T8CD0JFV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.05990#GUR5 (statement). In G2R1ARDYK0/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
Special cases 59TA706MJV
| URI | m2://inv/59TA706MJV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangular prism#NCHY, Special cases (statement)
History
- 2026-11-02: add by m2/dev
David Heath 59TB87D4XX
| URI | m2://inv/59TB87D4XX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#NS6R, David Heath (topic)
History
- 2026-11-02: add by m2/dev
Hyperstability 59THER8PJ8
| URI | m2://inv/59THER8PJ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperstability, Hyperstability (definition). Also Wikidata Q5958629
History
- 2026-11-02: add by m2/dev
zeta function regularization 59THQP4CQZ
| URI | m2://inv/59THQP4CQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Zeta function regularization VJCJYXGTDY |
Mentions
- wikidata: Wikidata Q1048264, zeta function regularization (unknown). Also nLab zeta function regularization
- wikipedia: Wikipedia Zeta function regularization, Zeta function regularization (definition). Also Wikidata Q1048264
History
- 2026-10-26: add by m2/dev
59THZ8YN62 59THZ8YN62
| URI | m2://inv/59THZ8YN62 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 60-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 2501.01612#SXQT (statement). In A5KESSK05N/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.3.5
59TW27DK04 59TW27DK04
| URI | m2://inv/59TW27DK04 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 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 2609.28774#V85Y (definition)
History
- 2026-11-01: add by m2/v0.6.15
Lipschitz estimates for $F$ 59TWF2PYP4
| URI | m2://inv/59TWF2PYP4 |
|---|---|
| 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.24789#JXRZ, Lipschitz estimates for $F$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Structure theorem for commutative Noetherian rings 59TZV3D8SA
| URI | m2://inv/59TZV3D8SA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Injective module#ZD2J, Structure theorem for commutative Noetherian rings (statement)
History
- 2026-11-02: add by m2/dev
59V6VM9TA5 59V6VM9TA5
| URI | m2://inv/59V6VM9TA5 |
|---|---|
| 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.10790#NJST (statement). In HHQ6P3RRB8/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.3
Tarskian hierarchy 59V8G2NC68
| URI | m2://inv/59V8G2NC68 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#GAEI, Tarskian hierarchy (definition)
History
- 2026-11-02: add by m2/dev
Applications 59VFZK4C7K
| URI | m2://inv/59VFZK4C7K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contact (mathematics)#SPOC, Applications (example)
History
- 2026-11-02: add by m2/dev
59VH57NAD5 59VH57NAD5
| URI | m2://inv/59VH57NAD5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise:boundedvariationintegrable (exercise). In E59CDZA4DP, exercise, section 8.2.5
History
- 2026-11-01: add by m2/v0.6.13
Edmond Keller 59VK3XVZDG
| URI | m2://inv/59VK3XVZDG |
|---|---|
| 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#PM3Q, Edmond Keller (unknown)
History
- 2026-11-02: add by m2/dev
Positive current 59VTXCMJ2P
| URI | m2://inv/59VTXCMJ2P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive current, Positive current (definition). Also Wikidata Q7233260
History
- 2026-11-02: add by m2/dev
59WHKYVZJ3 59WHKYVZJ3
| URI | m2://inv/59WHKYVZJ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#theorem-3 (statement). In RZP28ERRZV, theorem, section 14.4
History
- 2026-11-01: add by m2/v0.6.13
Biostatistics 59WP2VR7EB
| URI | m2://inv/59WP2VR7EB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biostatistics, Biostatistics (definition). Also Wikidata Q214746
History
- 2026-11-02: add by m2/dev
Emil J. Straube 59WRMQPKKN
| URI | m2://inv/59WRMQPKKN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emil J. Straube, Emil J. Straube (topic). Also Wikidata Q56678370
History
- 2026-11-02: add by m2/dev
59WWHYAN54 59WWHYAN54
| URI | m2://inv/59WWHYAN54 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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.20106#NX6W (statement). In 6HMZ36ZBXA/e1, theorem A
History
- 2026-10-27: add by m2/v0.4.2
59X6PMZX55 59X6PMZX55
| URI | m2://inv/59X6PMZX55 |
|---|---|
| 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 2610.13424#TDF3 (definition). In RBCXCDNPAN/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
Bjorn Engquist 59XCVJWQTR
| URI | m2://inv/59XCVJWQTR |
|---|---|
| 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#XPYD, Bjorn Engquist (topic)
History
- 2026-11-02: add by m2/dev
Formulation 59XENXAJR5
| URI | m2://inv/59XENXAJR5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SYZ conjecture#DNV5, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Leibniz Society of North America 59XQBQFCG3
| URI | m2://inv/59XQBQFCG3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Gottfried Leibniz#SKFL, Leibniz Society of North America (unknown)
History
- 2026-11-02: add by m2/dev
1 + 2 + 3 + \cdots = -\frac{1}{12} 59Y3BMSQDZ
| URI | m2://inv/59Y3BMSQDZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#54UD, 1 + 2 + 3 + \cdots = -\frac{1}{12} (definition)
History
- 2026-11-02: add by m2/dev
59YAEMYZMH 59YAEMYZMH
| URI | m2://inv/59YAEMYZMH |
|---|---|
| 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 2609.24399#KB3D (example)
History
- 2026-11-01: add by m2/v0.6.15
59YAHCW1JR 59YAHCW1JR
| URI | m2://inv/59YAHCW1JR |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-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 2309.17091#IZQX (conjecture). In N0JJM098W2/e1, conjecture 17
History
- 2026-10-27: add by m2/v0.4.0
Robert Thomas Seeley 59YK1XKGVG
| URI | m2://inv/59YK1XKGVG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Thomas Seeley, Robert Thomas Seeley (topic). Also Wikidata Q1318732
History
- 2026-11-02: add by m2/dev
Definitions 59YQMQ4MNJ
| URI | m2://inv/59YQMQ4MNJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prüfer domain#KMLN, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Definition 59YRXX4GTK
| URI | m2://inv/59YRXX4GTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electromagnetic tensor#XVYB, Definition (definition)
History
- 2026-11-02: add by m2/dev
59YX3K5DJY 59YX3K5DJY
| URI | m2://inv/59YX3K5DJY |
|---|---|
| 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.07442#UJCQ (statement). In 6SDC2Z8Y8M/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.10
Rectangular real and complex matrices 59YYMCF0Y2
| URI | m2://inv/59YYMCF0Y2 |
|---|---|
| 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 2609.38228#XDVI, Rectangular real and complex matrices (statement). In 9YAE8FNQST/e1, corollary 8.14
History
- 2026-10-30: add by m2/v0.4.12
59Z3JD8SFJ 59Z3JD8SFJ
| URI | m2://inv/59Z3JD8SFJ |
|---|---|
| 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.08052#SC0J (statement). In 672XAVEQ34/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.10
Ruth Britto 59Z7XAN7DP
| URI | m2://inv/59Z7XAN7DP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruth Britto, Ruth Britto (topic). Also Wikidata Q103285334
History
- 2026-11-02: add by m2/dev
Peter Ladefoged 59ZF8P848N
| URI | m2://inv/59ZF8P848N |
|---|---|
| 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#02ZZ, Peter Ladefoged (unknown)
History
- 2026-11-02: add by m2/dev
59ZHA83N5W 59ZHA83N5W
| URI | m2://inv/59ZHA83N5W |
|---|---|
| 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.04165#X4EM (statement). In PKN283MHF8/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Granger, Clive 59ZY2W10AT
| URI | m2://inv/59ZY2W10AT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#RBJ3, Granger, Clive (unknown)
History
- 2026-11-02: add by m2/dev