Inventory rows JT
The cards of the rows of the inventory whose ids start with JT. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Uses JT00HRPXPF
| URI | m2://inv/JT00HRPXPF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Visual analogue scale#HY7G, Uses (example)
History
- 2026-11-02: add by m2/dev
JT06SG35P0 JT06SG35P0
| URI | m2://inv/JT06SG35P0 |
|---|---|
| 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 0807.1652#J0M3 (statement). In 6RC18PTSTT/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
JT0E5SZ85Z JT0E5SZ85Z
| URI | m2://inv/JT0E5SZ85Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 1010.3284#8LZM (statement). In 7D3VBRZGMY/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
JT0EM75ZD0 JT0EM75ZD0
| URI | m2://inv/JT0EM75ZD0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#prop-1 (statement). In E59CDZA4DP, prop, section 2.1.1
History
- 2026-11-01: add by m2/v0.6.13
Stanley Wasserman JT0EQ8HTGY
| URI | m2://inv/JT0EQ8HTGY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#I7I5, Stanley Wasserman (unknown)
History
- 2026-11-02: add by m2/dev
Freiheitssatz JT0KSJXRWX
| URI | m2://inv/JT0KSJXRWX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freiheitssatz, Freiheitssatz (definition). Also Wikidata Q5501402
History
- 2026-11-02: add by m2/dev
JT0MPSQ4VX JT0MPSQ4VX
| URI | m2://inv/JT0MPSQ4VX |
|---|---|
| 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.25564#DKO1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
quantic JT0QG0XSP8
| URI | m2://inv/JT0QG0XSP8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#GY4S, quantic (definition)
History
- 2026-11-02: add by m2/dev
Gram-centimeter JT129AV026
| URI | m2://inv/JT129AV026 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torque#Q8U3, Gram-centimeter (unknown)
History
- 2026-11-02: add by m2/dev
JT13DMPYNR JT13DMPYNR
| URI | m2://inv/JT13DMPYNR |
|---|---|
| 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.23238#L5S7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
JT1AK1DEAH JT1AK1DEAH
| URI | m2://inv/JT1AK1DEAH |
|---|---|
| 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.11679#MZWJ (statement). In 30PZ8ZVR3A/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.3
JT1FEP88F8 JT1FEP88F8
| URI | m2://inv/JT1FEP88F8 |
|---|---|
| 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.36313#SOTD (statement). In Z5SP3NW41S/e1, lemma 3.10
History
- 2026-10-30: add by m2/v0.4.12
Mathematical Models JT1FKMT9XW
| URI | m2://inv/JT1FKMT9XW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical Models (Fischer), Mathematical Models (definition). Also Wikidata Q97453157
History
- 2026-11-02: add by m2/dev
Six exponentials theorem JT1JRTJVPN
| URI | m2://inv/JT1JRTJVPN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#U1RN, Six exponentials theorem (statement)
History
- 2026-11-02: add by m2/dev
Properties JT1QENT0SF
| URI | m2://inv/JT1QENT0SF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective tensor product#YG9L, Properties (statement)
History
- 2026-11-02: add by m2/dev
JT1QPE328N JT1QPE328N
| URI | m2://inv/JT1QPE328N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/quantum/shor.tex#example-3 (example). In RZP28ERRZV, example, section 76.3
History
- 2026-11-01: add by m2/v0.6.13
Fiber Trichotomy JT1RDPN1WJ
| URI | m2://inv/JT1RDPN1WJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.26201#FQSV, Fiber Trichotomy (statement)
History
- 2026-11-01: add by m2/v0.6.15
JT1T750BJ2 JT1T750BJ2
| URI | m2://inv/JT1T750BJ2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 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 2610.03612#EYB2 (definition). In REDG6QVHM3/e1, definition 2.7
History
- 2026-10-29: add by m2/v0.4.12
Green's theorem JT1Z63TKNY
| URI | m2://inv/JT1Z63TKNY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Stokes theorem#K2KV, Green's theorem (statement)
History
- 2026-11-02: add by m2/dev
JT259BSK0N JT259BSK0N
| URI | m2://inv/JT259BSK0N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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 math/0512416#MUAZ (statement). In WJD9YPGGYH/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Theorem JT27F01H5V
| URI | m2://inv/JT27F01H5V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Green's function#URXU, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition JT27Y6ZHTE
| URI | m2://inv/JT27Y6ZHTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Publication bias#EAT3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bessarion Makris JT29735YHR
| URI | m2://inv/JT29735YHR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bessarion Makris, Bessarion Makris (topic). Also Wikidata Q4896393
History
- 2026-11-02: add by m2/dev
JT2E1NJ4SW JT2E1NJ4SW
| URI | m2://inv/JT2E1NJ4SW |
|---|---|
| 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 2407.02022#9HJ8 (statement). In RZDNWV9E29/e1, proposition A.1
History
- 2026-10-27: add by m2/v0.3.6
Gonohe JT2G959A7C
| URI | m2://inv/JT2G959A7C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#MYCX, Gonohe (unknown)
History
- 2026-11-02: add by m2/dev
Hirzebruch–Riemann–Roch theorem JT2JFNMPEX
| URI | m2://inv/JT2JFNMPEX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hirzebruch–Riemann–Roch theorem#K86C, Hirzebruch–Riemann–Roch theorem (statement)
History
- 2026-11-02: add by m2/dev
Path-length limit for deterministic weights JT2RRTQ423
| URI | m2://inv/JT2RRTQ423 |
|---|---|
| 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.00614#9Q4I, Path-length limit for deterministic weights (statement). In NC5Z77F6H4/e1, theorem 6.2
History
- 2026-10-30: add by m2/v0.4.12
JT2SW968N3 JT2SW968N3
| URI | m2://inv/JT2SW968N3 |
|---|---|
| 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 1008.4946#RONV (statement). In R4ZM6Q4SHH/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
Symmetrizable compact operator JT2ZC0CJQD
| URI | m2://inv/JT2ZC0CJQD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetrizable compact operator, Symmetrizable compact operator (definition). Also Wikidata Q7661324
History
- 2026-11-02: add by m2/dev
Intersection number JT2ZFH27WB
| URI | m2://inv/JT2ZFH27WB |
|---|---|
| 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.11383#6H3X, Intersection number (definition). In DJBZ3V8SQ6/e1, definition 4.2
History
- 2026-10-28: add by m2/v0.4.3
JT32ZKVSR6 JT32ZKVSR6
| URI | m2://inv/JT32ZKVSR6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.05002#PH9U (statement). In JBAQ7DTW7B/e1, lemma D.10
History
- 2026-10-27: add by m2/v0.3.5
Applications JT3307SEN5
| URI | m2://inv/JT3307SEN5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Many-valued logic#0GEM, Applications (example)
History
- 2026-11-02: add by m2/dev
Local dynamics under a small interaction JT3497WM81
| URI | m2://inv/JT3497WM81 |
|---|---|
| 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.27181#R9C5, Local dynamics under a small interaction (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lawvere JT37XC63V7
| URI | m2://inv/JT37XC63V7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.12.3/lawvere, Lawvere (concept). In N54F33XE07, index, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
Robust Feasible Solution JT3BJ9PWMG
| URI | m2://inv/JT3BJ9PWMG |
|---|---|
| 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 2311.04609#OK8P, Robust Feasible Solution (definition). In 66W1NPE62D/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
JT3F19GR08 JT3F19GR08
| URI | m2://inv/JT3F19GR08 |
|---|---|
| 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 2404.06445#K61U (statement). In 12JKZ8EN52/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
JT3VBNMM4G JT3VBNMM4G
| URI | m2://inv/JT3VBNMM4G |
|---|---|
| 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.27646#Z8JI (statement)
History
- 2026-11-01: add by m2/v0.6.15
P-point JT3Z13GFPT
| URI | m2://inv/JT3Z13GFPT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#EEJG, P-point (definition)
History
- 2026-11-02: add by m2/dev
Arnold Oberschelp JT41X9Z8WM
| URI | m2://inv/JT41X9Z8WM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arnold Oberschelp, Arnold Oberschelp (topic). Also Wikidata Q115312
History
- 2026-11-02: add by m2/dev
JT433ZTQ3Z JT433ZTQ3Z
| URI | m2://inv/JT433ZTQ3Z |
|---|---|
| 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 2601.01000#E0OD (statement). In RYFV9HGWWZ/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
Borel–Cantelli lemma JT477BJE14
| URI | m2://inv/JT477BJE14 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel–Cantelli lemma#F9QH, Borel–Cantelli lemma (statement)
History
- 2026-11-02: add by m2/dev
JT4895WCES JT4895WCES
| URI | m2://inv/JT4895WCES |
|---|---|
| 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.39505#AL7U (statement). In WAXS6FS388/e1, lemma 4.10
History
- 2026-10-30: add by m2/v0.4.12
JT49STSTMD JT49STSTMD
| URI | m2://inv/JT49STSTMD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dual-trace.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 57.3
History
- 2026-11-01: add by m2/v0.6.13
Cristoforo Alasia de Quesada JT4B1JF1YY
| URI | m2://inv/JT4B1JF1YY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cristoforo Alasia de Quesada, Cristoforo Alasia de Quesada (topic). Also Wikidata Q3697680
History
- 2026-11-02: add by m2/dev
Matthews correlation coefficient JT4H1S2DRB
| URI | m2://inv/JT4H1S2DRB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#AAXP, Matthews correlation coefficient (definition)
- wikipedia: Wikipedia List of statistics articles#EN5H, Matthews correlation coefficient (definition)
History
- 2026-11-02: add by m2/dev
JT4KW6DX72 JT4KW6DX72
| URI | m2://inv/JT4KW6DX72 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/artin.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
Michael Guy JT4P5QT0GC
| URI | m2://inv/JT4P5QT0GC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Guy, Michael Guy (topic). Also Wikidata Q11107729
History
- 2026-11-02: add by m2/dev
Michelle Effros JT55X9X2R0
| URI | m2://inv/JT55X9X2R0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Q1NW, Michelle Effros (unknown)
- wikipedia: Wikipedia List of people by Erdős number#QUHX, Michelle Effros (unknown)
History
- 2026-11-02: add by m2/dev
JT5AZY2VJC JT5AZY2VJC
| URI | m2://inv/JT5AZY2VJC |
|---|---|
| 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.21036#NTTH (statement). In G0M4N3E0CG/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
JT5TX33C8X JT5TX33C8X
| URI | m2://inv/JT5TX33C8X |
|---|---|
| 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 2609.28011#LJNB (definition)
History
- 2026-11-01: add by m2/v0.6.15
JT5V1QKP14 JT5V1QKP14
| URI | m2://inv/JT5V1QKP14 |
|---|---|
| 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#K13O (statement). In X47RYAZF8P/e1, lemma 7.2
History
- 2026-10-28: add by m2/v0.4.2
JT5YPWBXNJ JT5YPWBXNJ
| URI | m2://inv/JT5YPWBXNJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.13260#QV8I (statement). In ZBQX9341RV/e1, corollary 7.3
History
- 2026-10-28: add by m2/v0.4.2
JT6F3AYK6T JT6F3AYK6T
| URI | m2://inv/JT6F3AYK6T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#HLDX (statement)
History
- 2026-11-01: add by m2/v0.6.15
JT6RRE73BQ JT6RRE73BQ
| URI | m2://inv/JT6RRE73BQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise:changeendpointsintegral (exercise). In E59CDZA4DP, exercise, section 8.2.5
History
- 2026-11-01: add by m2/v0.6.13
Weighted Weinberger center JT6ZAETYMR
| URI | m2://inv/JT6ZAETYMR |
|---|---|
| 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.19837#IS8X, Weighted Weinberger center (statement). In 837NSWQM1P/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Projective special unitary group JT6ZQZWBSH
| URI | m2://inv/JT6ZQZWBSH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective unitary group#LFVD, Projective special unitary group (unknown)
History
- 2026-11-02: add by m2/dev
Atomix JT78WP1XB7
| URI | m2://inv/JT78WP1XB7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#9ZLU, Atomix (unknown)
History
- 2026-11-02: add by m2/dev
Capped trace JT7AQ79YTE
| URI | m2://inv/JT7AQ79YTE |
|---|---|
| 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.34471#HIY6, Capped trace (statement). In BQ6MCMHCJK/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
List of oceanic ridges JT7BPBXRT8
| URI | m2://inv/JT7BPBXRT8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mid-ocean ridge#JFQK, List of oceanic ridges (unknown)
History
- 2026-11-02: add by m2/dev
Formation sequences for formulas JT7GEGH5GE
| URI | m2://inv/JT7GEGH5GE |
|---|---|
| Kind | definition |
| 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#defn:fseq-frm, Formation sequences for formulas (definition). In PKGMM3P5QY, defn, section 19.8
History
- 2026-11-01: add by m2/v0.6.13
Strong gauge distribution JT7XE7S11X
| URI | m2://inv/JT7XE7S11X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.27966#UA0C, Strong gauge distribution (statement)
History
- 2026-11-01: add by m2/v0.6.15
JT81SE5X40 JT81SE5X40
| URI | m2://inv/JT81SE5X40 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#HUTY (definition). In B9EX6K51RD/e1, definition 2.8
History
- 2026-10-28: add by m2/v0.4.2
JT82XBZGJN JT82XBZGJN
| URI | m2://inv/JT82XBZGJN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.08426#SUO1 (statement). In YG2DPMNZ1N/e1, theorem 3.11
History
- 2026-10-29: add by m2/v0.4.10
JT877FA4CX JT877FA4CX
| URI | m2://inv/JT877FA4CX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-4.xml#activity-1 (exercise). In 649HGZKE96, activity, section 6.4.2
History
- 2026-11-01: add by m2/v0.6.13
Properties JT8A7A8R9N
| URI | m2://inv/JT8A7A8R9N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sainte-Laguë method#U6K1, Properties (statement)
History
- 2026-11-02: add by m2/dev
Example JT8C9RGAVS
| URI | m2://inv/JT8C9RGAVS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monodromy#2SC5, Example (example)
History
- 2026-11-02: add by m2/dev
Hidden Markov model JT8E7EYX7Z
| URI | m2://inv/JT8E7EYX7Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#22FK, Hidden Markov model (definition)
- wikipedia: Wikipedia List of statistics articles#DPOP, Hidden Markov model (definition)
History
- 2026-11-02: add by m2/dev
JT8F5D5TBH JT8F5D5TBH
| URI | m2://inv/JT8F5D5TBH |
|---|---|
| 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 2605.00407#1W2I (statement). In TVFD0G3F2W/e1, lemma A.3
History
- 2026-10-27: add by m2/v0.3.5
JT8FJ9080C JT8FJ9080C
| URI | m2://inv/JT8FJ9080C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#KMI3 (statement). In E7W2HDNEKJ/e1, lemma 9.1
History
- 2026-10-30: add by m2/v0.4.12
Walter Burton Ford JT8G091BXG
| URI | m2://inv/JT8G091BXG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walter Burton Ford, Walter Burton Ford (topic). Also Wikidata Q7964434
History
- 2026-11-02: add by m2/dev
JT8MSTJ8JY JT8MSTJ8JY
| URI | m2://inv/JT8MSTJ8JY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.15424#FJZ0 (statement). In C4081PN64B/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
Evaluation with residue theorem JT8WGF2X20
| URI | m2://inv/JT8WGF2X20 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contour integration#EYQ0, Evaluation with residue theorem (statement)
History
- 2026-11-02: add by m2/dev
Properties JT8Y9K2KS4
| URI | m2://inv/JT8Y9K2KS4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Domain of holomorphy#IBSO, Properties (statement)
History
- 2026-11-02: add by m2/dev
Liouville's theorem on existence of transcendental numbers JT9CT6TGCB
| URI | m2://inv/JT9CT6TGCB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Transcendental numbers > Liouville's theorem on existence of transcendental numbers, Liouville's theorem on existence of transcendental numbers (unknown). Also Mathlib transcendental_liouvilleNumber
History
- 2026-10-26: add by m2/dev
Soliton distribution JT9CVCCZSP
| URI | m2://inv/JT9CVCCZSP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CCG1, Soliton distribution (definition)
History
- 2026-11-02: add by m2/dev
JT9FM08B1T JT9FM08B1T
| URI | m2://inv/JT9FM08B1T |
|---|---|
| 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.11210#CQHG (statement). In CRFDGFZHBF/e1, proposition 7.4
History
- 2026-10-28: add by m2/v0.4.3
Estimates on the azimuthal velocity JT9J2CFN1R
| URI | m2://inv/JT9J2CFN1R |
|---|---|
| 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.22513#UT52, Estimates on the azimuthal velocity (statement)
History
- 2026-11-02: add by m2/v0.6.17
JT9M0KRZS5 JT9M0KRZS5
| URI | m2://inv/JT9M0KRZS5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-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.21090#67Q3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
JT9N9RFMNK JT9N9RFMNK
| URI | m2://inv/JT9N9RFMNK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#uatowfe (statement). In N54F33XE07, thm, section 3.9
History
- 2026-11-01: add by m2/v0.6.13
JT9PD4CKYK JT9PD4CKYK
| URI | m2://inv/JT9PD4CKYK |
|---|---|
| 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 2012.05048#KX2J (statement). In NY9HW1E6DY/e1, lemma 2.10
History
- 2026-10-27: add by m2/v0.3.5
JT9T8T2XDG JT9T8T2XDG
| URI | m2://inv/JT9T8T2XDG |
|---|---|
| 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 2609.37124#3S7R (definition). In 2QF1YG9DD0/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
As a Hodge Conjecture testbed JTA0A36Z19
| URI | m2://inv/JTA0A36Z19 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quintic threefold#J3C5, As a Hodge Conjecture testbed (statement)
History
- 2026-11-02: add by m2/dev
JTA20Y3RFH JTA20Y3RFH
| URI | m2://inv/JTA20Y3RFH |
|---|---|
| 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.10660#CAD7 (statement). In 1T12A2H411/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.3
Methods JTA6DMZA0G
| URI | m2://inv/JTA6DMZA0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithmic bias#XG0H, Methods (definition)
History
- 2026-11-02: add by m2/dev
Definition and examples JTACAFZ6B3
| URI | m2://inv/JTACAFZ6B3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mapping class group of a surface#J12G, Definition and examples (definition)
History
- 2026-11-02: add by m2/dev
Examples JTAD5J057H
| URI | m2://inv/JTAD5J057H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler pseudoprime#F8LQ, Examples (example)
History
- 2026-11-02: add by m2/dev
The Shapley Axioms (S1–S4) JTARF8385Q
| URI | m2://inv/JTARF8385Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feature Importance#J3T0, The Shapley Axioms (S1–S4) (statement)
History
- 2026-11-02: add by m2/dev
convex piecewise linear function JTATCZ6AH3
| URI | m2://inv/JTATCZ6AH3 |
|---|---|
| Kind | definition |
| 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 2409.03461#SHLZ, convex piecewise linear function (definition). In XJVZSGCX5V/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Oscillation estimate for cylindrical holes JTATXAJ4KY
| URI | m2://inv/JTATXAJ4KY |
|---|---|
| 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.30274#MKG3, Oscillation estimate for cylindrical holes (statement). In 6ASPPVJP5M/e1, lemma 9
History
- 2026-10-31: add by m2/v0.5.6
JTAVN2G5AB JTAVN2G5AB
| URI | m2://inv/JTAVN2G5AB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-2.xml#definition-2 (definition). In 649HGZKE96, definition, section 7.2.3
History
- 2026-11-01: add by m2/v0.6.13
Binade JTAXEE1400
| URI | m2://inv/JTAXEE1400 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binade, Binade (definition). Also Wikidata Q16888292
History
- 2026-11-02: add by m2/dev
JTB0S32EMT JTB0S32EMT
| URI | m2://inv/JTB0S32EMT |
|---|---|
| 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.27241#TGRP (statement)
History
- 2026-11-01: add by m2/v0.6.15
JTB2DP6G1V JTB2DP6G1V
| URI | m2://inv/JTB2DP6G1V |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_formal-num-sys.ptx#proof-4 (proof). In QKM9DD2H56, proof, section B.7.1
History
- 2026-11-01: add by m2/v0.6.13
JTB9BBM81E JTB9BBM81E
| URI | m2://inv/JTB9BBM81E |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-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 2609.39593#KQJ1 (problem). In BF0RYHPMS1/e1, problem 6.6
History
- 2026-10-30: add by m2/v0.4.12
Example 2 JTB9PFG84N
| URI | m2://inv/JTB9PFG84N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary recursive function#5S7D, Example 2 (example)
History
- 2026-11-02: add by m2/dev
JTBBNSWDDW JTBBNSWDDW
| URI | m2://inv/JTBBNSWDDW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-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 2311.00585#6HQ6 (statement). In 332PQD90SW/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.3.5
JTBCBXHVFG JTBCBXHVFG
| URI | m2://inv/JTBCBXHVFG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01731#UEHX (definition). In 3TJ2FWXQ0D/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.12
Applications JTBGH8W32G
| URI | m2://inv/JTBGH8W32G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangle group#MMVF, Applications (example)
History
- 2026-11-02: add by m2/dev
JTBHFXSEHV JTBHFXSEHV
| URI | m2://inv/JTBHFXSEHV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#defn-37 (definition). In VNMV985MXX, defn, section D
History
- 2026-11-01: add by m2/v0.6.13
The certification scale under a supplied moment cap JTBKS7FFQ2
| URI | m2://inv/JTBKS7FFQ2 |
|---|---|
| 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.15202#PS1H, The certification scale under a supplied moment cap (statement). In X1FPG0KYBM/e1, theorem U.3
History
- 2026-10-28: add by m2/v0.4.2
Schaefer's dichotomy theorem JTBNYEPJEG
| URI | m2://inv/JTBNYEPJEG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#TAMI, Schaefer's dichotomy theorem (statement)
History
- 2026-11-02: add by m2/dev
Simple matching coefficient JTBSB6WYC7
| URI | m2://inv/JTBSB6WYC7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple matching coefficient, Simple matching coefficient (definition). Also Wikidata Q25051431
History
- 2026-11-02: add by m2/dev
Atiyah–Floer conjecture JTBTCFKY8N
| URI | m2://inv/JTBTCFKY8N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Floer homology#379Q, Atiyah–Floer conjecture (statement)
History
- 2026-11-02: add by m2/dev
JTBYEE5TAB JTBYEE5TAB
| URI | m2://inv/JTBYEE5TAB |
|---|---|
| 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 0809.3835#5B90 (statement). In V4J1J8YC7V/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
Algorithm JTCBGWBSGH
| URI | m2://inv/JTCBGWBSGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ford–Fulkerson algorithm#DM34, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
William Casselman JTCNSN79P8
| URI | m2://inv/JTCNSN79P8 |
|---|---|
| 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#RTAR, William Casselman (topic)
History
- 2026-11-02: add by m2/dev
Black–Scholes JTCPFAK6JS
| URI | m2://inv/JTCPFAK6JS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QFYO, Black–Scholes (definition)
History
- 2026-11-02: add by m2/dev
Implications between the hypotheses JTD28P498Y
| URI | m2://inv/JTD28P498Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27766#MCXA, Implications between the hypotheses (statement)
History
- 2026-11-01: add by m2/v0.6.15
JTDEBE1R4K JTDEBE1R4K
| URI | m2://inv/JTDEBE1R4K |
|---|---|
| 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.22847#PX4X (statement)
History
- 2026-11-02: add by m2/v0.6.17
Roland Dobrushin JTDEJAR2B1
| URI | m2://inv/JTDEJAR2B1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#X8K5, Roland Dobrushin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4G95, Roland Dobrushin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BYYP, Roland Dobrushin (topic)
History
- 2026-11-02: add by m2/dev
Ganea conjecture JTDK4PRMVT
| URI | m2://inv/JTDK4PRMVT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures#L5G1, Ganea conjecture (statement)
History
- 2026-11-02: add by m2/dev
self-avoiding walk JTDMN4M0NG
| URI | m2://inv/JTDMN4M0NG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Self-avoiding walk E2BVEB570S |
Mentions
- wikidata: Wikidata Q7448025, self-avoiding walk (unknown). Also MathWorld Self-AvoidingWalk
- wikipedia: Wikipedia Self-avoiding walk, Self-avoiding walk (definition). Also Wikidata Q7448025
History
- 2026-10-26: add by m2/dev
Renata Kallosh JTDQ7HSJK5
| URI | m2://inv/JTDQ7HSJK5 |
|---|---|
| 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 Q529277, Renata Kallosh (unknown). Also nLab Renata Kallosh
History
- 2026-10-26: add by m2/dev
JTE0RGTVCW JTE0RGTVCW
| URI | m2://inv/JTE0RGTVCW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-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 2610.22288#IQQ7 (definition). In X38P26DK6S/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.4.0
JTEERXWKKP JTEERXWKKP
| URI | m2://inv/JTEERXWKKP |
|---|---|
| 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 2601.10370#90JZ (statement). In S5ZSEFYBD3/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Remark JTEH48GBFT
| URI | m2://inv/JTEH48GBFT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirac comb#4IOL, Remark (unknown)
History
- 2026-11-02: add by m2/dev
Applications JTEMDQ33GP
| URI | m2://inv/JTEMDQ33GP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#1DPO, Applications (example)
History
- 2026-11-02: add by m2/dev
JTEMJ5X76S JTEMJ5X76S
| URI | m2://inv/JTEMJ5X76S |
|---|---|
| Kind | problem |
| 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 2504.14383#SQJR (problem). In QD0X3XJS6T/e1, problem 1.13
History
- 2026-10-27: add by m2/v0.3.5
Anharmonic group JTERR7PSP2
| URI | m2://inv/JTERR7PSP2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-ratio#KTA1, Anharmonic group (unknown)
History
- 2026-11-02: add by m2/dev
Exact all-linear frontier JTEYKSAEE9
| URI | m2://inv/JTEYKSAEE9 |
|---|---|
| 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.08069#UU0A, Exact all-linear frontier (statement). In TVW9BTWJ3D/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
Ramanujan JTFCKFCDNH
| URI | m2://inv/JTFCKFCDNH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#SYB1, Ramanujan (definition)
History
- 2026-11-02: add by m2/dev
Ordinary slopes below one at arbitrary weights JTFE0PCH94
| URI | m2://inv/JTFE0PCH94 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#NVM9, Ordinary slopes below one at arbitrary weights (statement). In 8BNPFYQDQX/e1, corollary 5.7
History
- 2026-10-29: add by m2/v0.4.10
JTFFVB0JNN JTFFVB0JNN
| URI | m2://inv/JTFFVB0JNN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01268#79FR (statement). In 80Q4X3WT8W/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
JTFP1YEJW6 JTFP1YEJW6
| URI | m2://inv/JTFP1YEJW6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#mv:thm:contintrect (statement). In E59CDZA4DP, thm, section 5.1.4
History
- 2026-11-01: add by m2/v0.6.13
Probabilistic relational model JTFX22217D
| URI | m2://inv/JTFX22217D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical relational learning#RT6Z, Probabilistic relational model (unknown)
History
- 2026-11-02: add by m2/dev
magic series JTG084DFNR
| URI | m2://inv/JTG084DFNR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6730970, magic series (unknown). Also MathWorld MagicSeries
- wikipedia: Wikipedia Magic series, Magic series (definition). Also Wikidata Q6730970
History
- 2026-10-26: add by m2/dev
JTG1C614EZ JTG1C614EZ
| URI | m2://inv/JTG1C614EZ |
|---|---|
| Kind | conjecture |
| 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 2002.01498#0PL7 (conjecture). In 2H7TQ695XW/e1, conjecture 1.1
History
- 2026-10-27: add by m2/v0.3.5
739 (number) JTG7XKC0P6
| URI | m2://inv/JTG7XKC0P6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#IO1Y, 739 (number) (unknown)
History
- 2026-11-02: add by m2/dev
JTGCN1CK7F JTGCN1CK7F
| URI | m2://inv/JTGCN1CK7F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38742#29DR (statement). In TSXBJB0EXK/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
JTGMKF8EWZ JTGMKF8EWZ
| URI | m2://inv/JTGMKF8EWZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13241#Z7JW (statement). In DWQWQ5KTEE/e1, lemma 21
History
- 2026-10-28: add by m2/v0.4.2
List of things named after Jean d'Alembert JTGRJ3M7WQ
| URI | m2://inv/JTGRJ3M7WQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#4SKF, List of things named after Jean d'Alembert (unknown)
History
- 2026-11-02: add by m2/dev
JTGV6W4C5Z JTGV6W4C5Z
| URI | m2://inv/JTGV6W4C5Z |
|---|---|
| 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#D8Z3 (statement). In DPJ15KW23C/e1, proposition 8.7
History
- 2026-10-30: add by m2/v0.4.12
JTH62M75ST JTH62M75ST
| URI | m2://inv/JTH62M75ST |
|---|---|
| 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.13792#WPTX (statement). In ZH0PFTZ12Y/e1, lemma 4.9
History
- 2026-10-28: add by m2/v0.4.2
Cantor's theorem JTHE1SZSQE
| URI | m2://inv/JTHE1SZSQE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/11.9.5/cantor-s-theorem, Cantor's theorem (concept). In E59CDZA4DP, index, section 11.9.5
History
- 2026-11-01: add by m2/v0.6.13
homotopy group JTHEB5E8TW
| URI | m2://inv/JTHEB5E8TW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Homotopy group P976WYEFMB |
Mentions
- wikidata: Wikidata Q1626416, homotopy group (definition). Also EoM Homotopy_group, MathWorld HomotopyGroup, nLab homotopy group, ProofWiki Definition:Homotopy_Group
- wikipedia: Wikipedia Homotopy group, Homotopy group (definition). Also Wikidata Q1626416
History
- 2026-10-26: add by m2/dev
One Town (Visakhapatnam) JTHJA5C3R7
| URI | m2://inv/JTHJA5C3R7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#YDGV, One Town (Visakhapatnam) (unknown)
History
- 2026-11-02: add by m2/dev
Angie Hodge-Zickerman JTHS476HA5
| URI | m2://inv/JTHS476HA5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angie Hodge-Zickerman, Angie Hodge-Zickerman (topic). Also Wikidata Q102340328
History
- 2026-11-02: add by m2/dev
Irénée-Jules Bienaymé JTHSYJYCN2
| URI | m2://inv/JTHSYJYCN2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irénée-Jules Bienaymé, Irénée-Jules Bienaymé (topic). Also Wikidata Q738295
History
- 2026-11-02: add by m2/dev
JTHXRJQY3B JTHXRJQY3B
| URI | m2://inv/JTHXRJQY3B |
|---|---|
| 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.18536#MDI3 (statement). In JM5KKNKK1J/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Examples JTHZW5ACD7
| URI | m2://inv/JTHZW5ACD7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shilov boundary#0ZFZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Height (ring theory) JTJ26NSCQB
| URI | m2://inv/JTJ26NSCQB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#CMSH, Height (ring theory) (definition)
History
- 2026-11-02: add by m2/dev
Localization centers JTJ6GPGSRM
| URI | m2://inv/JTJ6GPGSRM |
|---|---|
| Kind | definition |
| 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 2503.08018#21TX, Localization centers (definition). In TN93YFN45W/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.4.0
Unconstrained free-energy expansion JTJAJEMG9M
| URI | m2://inv/JTJAJEMG9M |
|---|---|
| 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.25307#FWL5, Unconstrained free-energy expansion (statement)
History
- 2026-11-01: add by m2/v0.6.15
JTJMH7PZAY JTJMH7PZAY
| URI | m2://inv/JTJMH7PZAY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00525#P5C9 (statement). In JN34PDDXH8/e1, proposition 5.6
History
- 2026-10-30: add by m2/v0.4.12
JTJWW4MYZX JTJWW4MYZX
| URI | m2://inv/JTJWW4MYZX |
|---|---|
| Kind | example |
| 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 2405.02275#JITM (example). In 1QXCNGRWV1/e1, example 4.11
History
- 2026-10-27: add by m2/v0.3.5
Norwegian Mathematical Society JTJX9JTW9R
| URI | m2://inv/JTJX9JTW9R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#F79P, Norwegian Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
median JTK0VGQBNE
| URI | m2://inv/JTK0VGQBNE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#70CF, median (definition)
History
- 2026-11-02: add by m2/dev
Mendelian inheritance JTK9GDXAY1
| URI | m2://inv/JTK9GDXAY1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mendelian inheritance, Mendelian inheritance (definition). Also Wikidata Q185055
History
- 2026-11-02: add by m2/dev
Clark–Ocone theorem JTKC36DGDY
| URI | m2://inv/JTKC36DGDY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5127710, Clark–Ocone theorem (statement). Also Wikidata Q5127710
- thousand_plus: thousand_plus Q5127710, Clark–Ocone theorem (statement). Also Wikidata Q5127710, Wikipedia Clark–Ocone theorem
- wikipedia: Wikipedia Clark–Ocone theorem, Clark–Ocone theorem (statement). Also Wikidata Q5127710
History
- 2026-10-26: add by m2/dev
JTKK49YW0X JTKK49YW0X
| URI | m2://inv/JTKK49YW0X |
|---|---|
| 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 2609.23972#9G7L (statement)
History
- 2026-11-02: add by m2/v0.6.17
Plato Tiburtinus JTKKQTSXSV
| URI | m2://inv/JTKKQTSXSV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#SWI3, Plato Tiburtinus (unknown)
History
- 2026-11-02: add by m2/dev
Kentaro Yano JTKVKFVY84
| URI | m2://inv/JTKVKFVY84 |
|---|---|
| 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#QTMO, Kentaro Yano (topic)
History
- 2026-11-02: add by m2/dev
JTKXWY0EHN JTKXWY0EHN
| URI | m2://inv/JTKXWY0EHN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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.03619#BR1I (definition). In 7SRERSS1PF/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.12
JTKYE68703 JTKYE68703
| URI | m2://inv/JTKYE68703 |
|---|---|
| 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.25524#ZLRN (statement)
History
- 2026-11-01: add by m2/v0.6.15
JTM3CAYPPK JTM3CAYPPK
| URI | m2://inv/JTM3CAYPPK |
|---|---|
| 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.00113#A9AL (statement). In R9PP1Y2EP4/e1, corollary 3.3
History
- 2026-10-30: add by m2/v0.4.12
JTM7Z2DFF9 JTM7Z2DFF9
| URI | m2://inv/JTM7Z2DFF9 |
|---|---|
| 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.07790#MAT6 (statement). In A5YJDDM0NX/e1, lemma A.15
History
- 2026-10-29: add by m2/v0.4.10
b,...,b JTM9Z39JK2
| URI | m2://inv/JTM9Z39JK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#WCX9, b,...,b (definition)
History
- 2026-11-02: add by m2/dev
JTMFBMNKX6 JTMFBMNKX6
| URI | m2://inv/JTMFBMNKX6 |
|---|---|
| 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.11886#LLID (statement). In T0APQY74CA/e1, theorem 7
History
- 2026-10-28: add by m2/v0.4.3
JTMWTXK5AA JTMWTXK5AA
| URI | m2://inv/JTMWTXK5AA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#example-4 (example). In E59CDZA4DP, example, section 2.2.1
History
- 2026-11-01: add by m2/v0.6.13
JTMY8VCRSC JTMY8VCRSC
| URI | m2://inv/JTMY8VCRSC |
|---|---|
| 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.17006#0HXZ (statement). In YY81ZEJ82P/e1, corollary 8.3
History
- 2026-10-28: add by m2/v0.4.2
A7 polytope JTN0YB8EK9
| URI | m2://inv/JTN0YB8EK9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A7 polytope, A7 polytope (definition). Also Wikidata Q6560232
History
- 2026-11-02: add by m2/dev
JTN8MCADC0 JTN8MCADC0
| URI | m2://inv/JTN8MCADC0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#33BS (statement). In HX63A1PH1W/e1, proposition 4.23
History
- 2026-10-28: add by m2/v0.4.3
Konrad Voss JTNEQDH7SF
| URI | m2://inv/JTNEQDH7SF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Konrad Voss, Konrad Voss (topic). Also Wikidata Q102169385
History
- 2026-11-02: add by m2/dev
One-class classification JTNM1MP2X2
| URI | m2://inv/JTNM1MP2X2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JCNS, One-class classification (definition)
History
- 2026-11-02: add by m2/dev
Heisenberg group JTNN1GWVJP
| URI | m2://inv/JTNN1GWVJP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Heisenberg group ZZYCV5EX9J |
Mentions
- wikidata: Wikidata Q1601337, Heisenberg group (unknown). Also MathWorld HeisenbergGroup, nLab Heisenberg group
- wikipedia: Wikipedia Heisenberg group, Heisenberg group (definition). Also Wikidata Q1601337
History
- 2026-10-26: add by m2/dev
Properties JTP1D9HMYW
| URI | m2://inv/JTP1D9HMYW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bisymmetric matrix#B9RE, Properties (statement)
History
- 2026-11-02: add by m2/dev
Pedoe's inequality JTP4BN4B4A
| URI | m2://inv/JTP4BN4B4A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#R27H, Pedoe's inequality (statement)
History
- 2026-11-02: add by m2/dev
Silverman's rule of thumb JTP50XQNHB
| URI | m2://inv/JTP50XQNHB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kernel density estimation#W2Y3, Silverman's rule of thumb (unknown)
History
- 2026-11-02: add by m2/dev
JTP5RWMZA6 JTP5RWMZA6
| URI | m2://inv/JTP5RWMZA6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.09162#3BII (statement). In TAPS8P2VYS/e1, lemma 1.5
History
- 2026-10-29: add by m2/v0.4.10
no-go theorem JTPKTPTNDJ
| URI | m2://inv/JTPKTPTNDJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2914432, no-go theorem (unknown). Also nLab no-go theorem
History
- 2026-10-26: add by m2/dev
Safe intersection replacement JTPNCZ247J
| URI | m2://inv/JTPNCZ247J |
|---|---|
| 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.37208#GKAZ, Safe intersection replacement (statement). In 7MCBCP4T0B/e1, lemma 4.8
History
- 2026-10-30: add by m2/v0.4.12
H-infinity loop-shaping JTPRQ55G46
| URI | m2://inv/JTPRQ55G46 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H-infinity loop-shaping, H-infinity loop-shaping (definition). Also Wikidata Q5627863
History
- 2026-11-02: add by m2/dev
Barbara Csima JTPS01VP9V
| URI | m2://inv/JTPS01VP9V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#GZV2, Barbara Csima (unknown)
History
- 2026-11-02: add by m2/dev
Applications JTPYZNVRWT
| URI | m2://inv/JTPYZNVRWT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signed distance function#XENK, Applications (example)
History
- 2026-11-02: add by m2/dev
James D. Murray JTQ4J3SKMQ
| URI | m2://inv/JTQ4J3SKMQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James D. Murray, James D. Murray (topic). Also Wikidata Q1680238
History
- 2026-11-02: add by m2/dev
JTQDT7NNVJ JTQDT7NNVJ
| URI | m2://inv/JTQDT7NNVJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27823#S009 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Equating JTQE2KF6NY
| URI | m2://inv/JTQE2KF6NY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#EK1H, Equating (definition)
History
- 2026-11-02: add by m2/dev
Normal-tail estimates JTQGFN2JT4
| URI | m2://inv/JTQGFN2JT4 |
|---|---|
| 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.10393#8W1G, Normal-tail estimates (statement). In ZGS97E3PB7/e1, lemma C.1
History
- 2026-10-29: add by m2/v0.4.10
Taylor expansions on the kernel JTQKNC24AC
| URI | m2://inv/JTQKNC24AC |
|---|---|
| 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 2609.30220#25BE, Taylor expansions on the kernel (statement)
History
- 2026-11-01: add by m2/v0.6.15
JTQNMANV5T JTQNMANV5T
| URI | m2://inv/JTQNMANV5T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14509#DCHI (statement). In N6GD8392QB/e1, theorem 14.1
History
- 2026-10-28: add by m2/v0.4.2
ILAS Taussky-Todd Prize JTQQ2NFYSK
| URI | m2://inv/JTQQ2NFYSK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Linear Algebra Society#8T72, ILAS Taussky-Todd Prize (unknown)
History
- 2026-11-02: add by m2/dev
$\psi_{R, j}$ properties JTQSNJ89Y6
| URI | m2://inv/JTQSNJ89Y6 |
|---|---|
| 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.28454#CWZW, $\psi_{R, j}$ properties (statement)
History
- 2026-11-01: add by m2/v0.6.15
JTQTYY97TF JTQTYY97TF
| URI | m2://inv/JTQTYY97TF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/artin.tex#example-2 (example). In RZP28ERRZV, example, section 8.3
History
- 2026-11-01: add by m2/v0.6.13
Ronald Cramer JTR6MA1DXD
| URI | m2://inv/JTR6MA1DXD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ronald Cramer, Ronald Cramer (topic). Also Wikidata Q7364760
History
- 2026-11-02: add by m2/dev
Universal approximation theorem JTR77PGPXK
| URI | m2://inv/JTR77PGPXK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#C5B4, Universal approximation theorem (statement)
History
- 2026-11-02: add by m2/dev
ceteris paribus JTRKCP7BXV
| URI | m2://inv/JTRKCP7BXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q572079, ceteris paribus (definition). Also ProofWiki Definition:Ceteris_Paribus
History
- 2026-10-26: add by m2/dev
Weyl transform JTRRKYMFEZ
| URI | m2://inv/JTRRKYMFEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#8PIS, Weyl transform (definition)
History
- 2026-11-02: add by m2/dev
JTRZHP9AT7 JTRZHP9AT7
| URI | m2://inv/JTRZHP9AT7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-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.10262#C4LB (example). In MVSGDTN2PB/e1, example 4.17
History
- 2026-10-29: add by m2/v0.4.10
JTRZXTZPJ2 JTRZXTZPJ2
| URI | m2://inv/JTRZXTZPJ2 |
|---|---|
| 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.20153#A2M9 (statement). In EYB107TM4Q/e1, lemma 5.9
History
- 2026-10-27: add by m2/v0.4.2
Generalizations JTS04FR1KY
| URI | m2://inv/JTS04FR1KY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collaboration graph#YYHA, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
JTS1DXSFR3 JTS1DXSFR3
| URI | m2://inv/JTS1DXSFR3 |
|---|---|
| Kind | statement |
| 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 2302.13533#X7W6 (statement). In DK9GQ8G0T4/e1, theorem 1.14
History
- 2026-10-27: add by m2/v0.3.5
Graeco-Latin square JTS2TH8Q2V
| URI | m2://inv/JTS2TH8Q2V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Mutually orthogonal Latin squares H6TN6BADVY |
Mentions
- wikidata: Wikidata Q615342, Graeco-Latin square (unknown). Also MathWorld EulerSquare
- wikipedia: Wikipedia Mutually orthogonal Latin squares, Mutually orthogonal Latin squares (definition). Also Wikidata Q615342
History
- 2026-10-26: add by m2/dev
JTS3KEMX72 JTS3KEMX72
| URI | m2://inv/JTS3KEMX72 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.22514#QJGS (statement)
History
- 2026-11-02: add by m2/v0.6.17
Radial self-averaging JTS8DM3PJQ
| URI | m2://inv/JTS8DM3PJQ |
|---|---|
| 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.32710#1SHV, Radial self-averaging (statement). In KVYG6R7CGJ/e1, lemma 3.14
History
- 2026-10-31: add by m2/v0.5.6
JTSAGSVG8K JTSAGSVG8K
| URI | m2://inv/JTSAGSVG8K |
|---|---|
| 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.39307#85SY (statement). In QFBGPGRP1P/e1, corollary 3.7
History
- 2026-10-30: add by m2/v0.4.12
Slice theorem JTSDD3Q59Y
| URI | m2://inv/JTSDD3Q59Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally nilpotent derivation#XRAD, Slice theorem (statement)
History
- 2026-11-02: add by m2/dev
Rich flats JTSDDAGATX
| URI | m2://inv/JTSDDAGATX |
|---|---|
| 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.33365#511M, Rich flats (statement). In MCXCMR7V0T/e1, corollary 8
History
- 2026-10-30: add by m2/v0.4.12
JTSFG4BDPA JTSFG4BDPA
| URI | m2://inv/JTSFG4BDPA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cellular.tex#dproblem-2 (exercise). In RZP28ERRZV, dproblem, section 50.5
History
- 2026-11-01: add by m2/v0.6.13
MAGENTA JTSN66FA4Q
| URI | m2://inv/JTSN66FA4Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MAGENTA, MAGENTA (definition). Also Wikidata Q548973
History
- 2026-11-02: add by m2/dev
Laws in the United States JTSN6PPYJ7
| URI | m2://inv/JTSN6PPYJ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Market for Lemons#Y6BU, Laws in the United States (statement)
History
- 2026-11-02: add by m2/dev
JTSTHZH56Y JTSTHZH56Y
| URI | m2://inv/JTSTHZH56Y |
|---|---|
| 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 2601.18223#L5SD (statement). In ZRXE7EJA93/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
Gosset, William Sealy JTSV5TWYMF
| URI | m2://inv/JTSV5TWYMF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#3TY3, Gosset, William Sealy (topic)
History
- 2026-11-02: add by m2/dev
The multiplication is sample-smooth JTT0T4CP13
| URI | m2://inv/JTT0T4CP13 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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 2609.26270#LOLZ, The multiplication is sample-smooth (statement)
History
- 2026-11-01: add by m2/v0.6.15
Finite perturbative stability JTT2CRX07H
| URI | m2://inv/JTT2CRX07H |
|---|---|
| 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.14081#BW1H, Finite perturbative stability (statement). In DCCKKQ7Y21/e1, theorem IV.6
History
- 2026-10-28: add by m2/v0.4.2
JTT2YPPGNF JTT2YPPGNF
| URI | m2://inv/JTT2YPPGNF |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-2 (proof). In N54F33XE07, proof, section 7.1.4
History
- 2026-11-01: add by m2/v0.6.13
JTT58EP777 JTT58EP777
| URI | m2://inv/JTT58EP777 |
|---|---|
| Kind | statement |
| 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 2610.18302#5NYT (statement). In VJTRH1S4JA/e1, proposition 5.22
History
- 2026-10-28: add by m2/v0.4.2
Peter Gustav Dirichlet JTT5M62DEB
| URI | m2://inv/JTT5M62DEB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#91E6, Peter Gustav Dirichlet (topic)
History
- 2026-11-02: add by m2/dev
Nicolo Tartaglia JTT63F1TP8
| URI | m2://inv/JTT63F1TP8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicolo Tartaglia, Nicolo Tartaglia (topic). Also Wikidata Q201543
History
- 2026-11-02: add by m2/dev
juggling JTTF2F80NF
| URI | m2://inv/JTTF2F80NF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q194326, juggling (unknown). Also MathWorld Juggling
History
- 2026-10-26: add by m2/dev
Craig's interpolation theorem JTTP2XWC56
| URI | m2://inv/JTTP2XWC56 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5SUC, Craig's interpolation theorem (definition)
History
- 2026-11-02: add by m2/dev
Definitions JTTREXJZV0
| URI | m2://inv/JTTREXJZV0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modulus and characteristic of convexity#XKZ8, Definitions (definition)
History
- 2026-11-02: add by m2/dev
JTTV1ZFE7P JTTV1ZFE7P
| URI | m2://inv/JTTV1ZFE7P |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36088#L1EM (example). In QJD3MZMJHW/e1, example 6.1
History
- 2026-10-30: add by m2/v0.4.12
Luhn algorithm JTTYVH509A
| URI | m2://inv/JTTYVH509A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luhn algorithm, Luhn algorithm (definition). Also Wikidata Q915402
History
- 2026-11-02: add by m2/dev
JTV091FWRC JTV091FWRC
| URI | m2://inv/JTV091FWRC |
|---|---|
| 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.14450#IF76 (statement). In ZHTGQT07PE/e1, proposition 4.10
History
- 2026-10-28: add by m2/v0.4.2
Borsuk's conjecture JTV1YWZD5T
| URI | m2://inv/JTV1YWZD5T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures#O0R5, Borsuk's conjecture (statement)
History
- 2026-11-02: add by m2/dev
JTV29CSRB9 JTV29CSRB9
| URI | m2://inv/JTV29CSRB9 |
|---|---|
| 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.06381#PKOP (statement). In X9JKBDHACW/e1, corollary 8.6
History
- 2026-10-29: add by m2/v0.4.10
Applications JTV2Z0ED7J
| URI | m2://inv/JTV2Z0ED7J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gene co-expression network#OMTX, Applications (example)
History
- 2026-11-02: add by m2/dev
JTV3SJXM67 JTV3SJXM67
| URI | m2://inv/JTV3SJXM67 |
|---|---|
| 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#8ENK (statement). In MJXSE9QR4X/e1, lemma A.7
History
- 2026-10-28: add by m2/v0.4.2
JTV9JSZMM7 JTV9JSZMM7
| URI | m2://inv/JTV9JSZMM7 |
|---|---|
| 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.24323#B8DI (statement)
History
- 2026-11-01: add by m2/v0.6.15
JTVFNSEGH8 JTVFNSEGH8
| URI | m2://inv/JTVFNSEGH8 |
|---|---|
| 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 2207.07461#BDFU (statement). In GAG532VMPF/e1, theorem 4.1.2
History
- 2026-10-27: add by m2/v0.3.5
One-bit near--far test lemma JTVPY6MQ3B
| URI | m2://inv/JTVPY6MQ3B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11834#710K, One-bit near--far test lemma (statement). In SMC03CWP4R/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.3
JTVRDB01EG JTVRDB01EG
| URI | m2://inv/JTVRDB01EG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21892#1BPI (statement)
History
- 2026-11-02: add by m2/v0.6.17
\nameref{thm:new_S_bar JTVSMBEH2C
| URI | m2://inv/JTVSMBEH2C |
|---|---|
| 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 2402.05875#NANT, \nameref{thm:new_S_bar (statement). In 35FDBKEDC0/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Funk horocone construction and continuity JTVTWH1EWX
| URI | m2://inv/JTVTWH1EWX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.27752#XAZ9, Funk horocone construction and continuity (statement)
History
- 2026-11-01: add by m2/v0.6.15
JTVVPCXXF0 JTVVPCXXF0
| URI | m2://inv/JTVVPCXXF0 |
|---|---|
| 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.01251#ACLR (statement). In CZ2247RGQ4/e1, theorem 3.1.5
History
- 2026-10-29: add by m2/v0.4.12
exoscopic JTW0HJ9NH9
| URI | m2://inv/JTW0HJ9NH9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#QYXB, exoscopic (definition)
History
- 2026-11-02: add by m2/dev
JTW53DFSXY JTW53DFSXY
| URI | m2://inv/JTW53DFSXY |
|---|---|
| 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.13792#E52Z (statement). In ZH0PFTZ12Y/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Applications JTWFDF1TJF
| URI | m2://inv/JTWFDF1TJF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized mean#9Y2M, Applications (example)
History
- 2026-11-02: add by m2/dev
JTWJV2QE6M JTWJV2QE6M
| URI | m2://inv/JTWJV2QE6M |
|---|---|
| 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#320I (statement). In XX1J2REXY2/e1, proposition 2.9
History
- 2026-10-28: add by m2/v0.4.2
JTWR8AZEZA JTWR8AZEZA
| URI | m2://inv/JTWR8AZEZA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22011#2XKQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Agnes Meyer Driscoll JTX0NWT2QS
| URI | m2://inv/JTX0NWT2QS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Agnes Meyer Driscoll, Agnes Meyer Driscoll (topic). Also Wikidata Q258206
History
- 2026-11-02: add by m2/dev
Serre's C-theory JTX15TKKMY
| URI | m2://inv/JTX15TKKMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jean-Pierre Serre#UK23, Serre's C-theory (definition)
History
- 2026-11-02: add by m2/dev
Poloidal–toroidal decomposition JTX435YPY7
| URI | m2://inv/JTX435YPY7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poloidal–toroidal decomposition, Poloidal–toroidal decomposition (definition). Also Wikidata Q203914
History
- 2026-11-02: add by m2/dev
JTXFSRVQX3 JTXFSRVQX3
| URI | m2://inv/JTXFSRVQX3 |
|---|---|
| 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.30203#JZJL (statement)
History
- 2026-11-01: add by m2/v0.6.15
JTXH8JBA1H JTXH8JBA1H
| URI | m2://inv/JTXH8JBA1H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2004.12552#CWAX (statement). In TWPE10CZ1S/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
JTYGMR2V84 JTYGMR2V84
| URI | m2://inv/JTYGMR2V84 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15472#Y69J (statement). In 5Z3FH46YSY/e1, lemma 3.16
History
- 2026-10-28: add by m2/v0.4.2
Applications JTYHB16QV2
| URI | m2://inv/JTYHB16QV2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase retrieval#PO9N, Applications (example)
History
- 2026-11-02: add by m2/dev
Process Window Index JTYJ2JAJET
| URI | m2://inv/JTYJ2JAJET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5L2F, Process Window Index (definition)
History
- 2026-11-02: add by m2/dev
JTYKJ8HA3H JTYKJ8HA3H
| URI | m2://inv/JTYKJ8HA3H |
|---|---|
| Kind | statement |
| 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.16606#FAIP (statement). In A798V7TX99/e1, corollary 5.20
History
- 2026-10-28: add by m2/v0.4.2
cylindrical shell JTYMN7KDQV
| URI | m2://inv/JTYMN7KDQV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cylinder#QI3B, cylindrical shell (definition)
History
- 2026-11-02: add by m2/dev
Definition JTYXKR5S5V
| URI | m2://inv/JTYXKR5S5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia (g,K)-module#BA2J, Definition (definition)
History
- 2026-11-02: add by m2/dev
Rule 184 JTYY2JAX6K
| URI | m2://inv/JTYY2JAX6K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rule 184, Rule 184 (definition). Also Wikidata Q2183161
History
- 2026-11-02: add by m2/dev
Applications JTYZ5SP5FJ
| URI | m2://inv/JTYZ5SP5FJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delay differential equation#W0LE, Applications (example)
History
- 2026-11-02: add by m2/dev
JTZ1Y7RPNB JTZ1Y7RPNB
| URI | m2://inv/JTZ1Y7RPNB |
|---|---|
| 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.20916#QB2M (statement). In HV598NZW9X/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.4.2
Macdonald polynomials JTZ247H2SS
| URI | m2://inv/JTZ247H2SS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Macdonald polynomials, Macdonald polynomials (definition). Also Wikidata Q17098676
History
- 2026-11-02: add by m2/dev
JTZ2RBZCR8 JTZ2RBZCR8
| URI | m2://inv/JTZ2RBZCR8 |
|---|---|
| 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 2308.05066#ZW8M (statement). In 1QSCT53ZED/e1, lemma 2.23
History
- 2026-10-27: add by m2/v0.4.0
Semimartingale JTZ3F1V8D7
| URI | m2://inv/JTZ3F1V8D7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#AAU3, Semimartingale (definition)
History
- 2026-11-02: add by m2/dev
Piecewise linear cobordism JTZ3XYDE2T
| URI | m2://inv/JTZ3XYDE2T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cohomology theories#OTEZ, Piecewise linear cobordism (unknown)
History
- 2026-11-02: add by m2/dev
JTZ794SRNF JTZ794SRNF
| URI | m2://inv/JTZ794SRNF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.16706#BGLS (statement). In JSRVKPT87E/e1, theorem
History
- 2026-10-27: add by m2/v0.4.0
LaserTank JTZ8NAV3GA
| URI | m2://inv/JTZ8NAV3GA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#2M4R, LaserTank (unknown)
History
- 2026-11-02: add by m2/dev
JTZ8RHFD45 JTZ8RHFD45
| URI | m2://inv/JTZ8RHFD45 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13241#QOU8 (example). In DWQWQ5KTEE/e1, example 1
History
- 2026-10-28: add by m2/v0.4.2
JTZ907Y093 JTZ907Y093
| URI | m2://inv/JTZ907Y093 |
|---|---|
| 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#CVCA (statement). In BDN507RN7J/e1, proposition 3.3.5
History
- 2026-10-30: add by m2/v0.4.12
Hyperbolic tangent JTZAHQ25BZ
| URI | m2://inv/JTZAHQ25BZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#FET3, Hyperbolic tangent (definition)
History
- 2026-11-02: add by m2/dev
JTZEJBQ8DK JTZEJBQ8DK
| URI | m2://inv/JTZEJBQ8DK |
|---|---|
| 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 2506.16491#QTRE (definition). In P9J6P06Y40/e1, definition 5.13
History
- 2026-10-27: add by m2/v0.3.5
JTZJ6NPSXE JTZJ6NPSXE
| URI | m2://inv/JTZJ6NPSXE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13241#BMAO (statement). In DWQWQ5KTEE/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
Post's theorem and corollaries JTZPED4XE2
| URI | m2://inv/JTZPED4XE2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Post's theorem#WT6A, Post's theorem and corollaries (statement)
History
- 2026-11-02: add by m2/dev
longest progression in the spatial trace JTZQ900ZJN
| URI | m2://inv/JTZQ900ZJN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.04000#7O3Q, longest progression in the spatial trace (statement). In CBCCH5VTMQ/e1, corollary 4.3
History
- 2026-10-29: add by m2/v0.4.12
JTZZVFY9CZ JTZZVFY9CZ
| URI | m2://inv/JTZZVFY9CZ |
|---|---|
| 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.36811#5IU6 (statement). In ZQDX8E43SQ/e1, lemma 4.7
History
- 2026-10-30: add by m2/v0.4.12