Inventory rows A0
The cards of the rows of the inventory whose ids start with A0. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
A005MQVEZ3 A005MQVEZ3
| URI | m2://inv/A005MQVEZ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2609.23464#2L7Q (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples A005Z0682G
| URI | m2://inv/A005Z0682G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blocking (statistics)#FUZB, Examples (example)
History
- 2026-11-02: add by m2/dev
Finsler manifold A007JD7HP7
| URI | m2://inv/A007JD7HP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#4KTK, Finsler manifold (definition)
History
- 2026-11-02: add by m2/dev
A00A82850V A00A82850V
| URI | m2://inv/A00A82850V |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09171#IU2E (conjecture). In 5ZPSZFE08Q/e1, conjecture 1.1
History
- 2026-10-29: add by m2/v0.4.10
A00GABVRCP A00GABVRCP
| URI | m2://inv/A00GABVRCP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08335#P5OP (definition). In HK3YR0QKCV/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
A00HSA93M0 A00HSA93M0
| URI | m2://inv/A00HSA93M0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29185#IHTU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties A00KAZK3T7
| URI | m2://inv/A00KAZK3T7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variance#TJ8B, Properties (statement)
History
- 2026-11-02: add by m2/dev
Twin study A00NG0C2V5
| URI | m2://inv/A00NG0C2V5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of psychological research methods#0M5A, Twin study (unknown)
History
- 2026-11-02: add by m2/dev
Tutte matrix A00S7EMMMH
| URI | m2://inv/A00S7EMMMH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7857001, Tutte matrix (concept). Also MathWorld TutteMatrix
- wikipedia: Wikipedia Tutte matrix, Tutte matrix (definition). Also Wikidata Q7857001
History
- 2026-10-26: add by m2/dev
Nested set collection A00TZ4QE82
| URI | m2://inv/A00TZ4QE82 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nested set collection, Nested set collection (definition). Also Wikidata Q85788280
History
- 2026-11-02: add by m2/dev
A00X08754C A00X08754C
| URI | m2://inv/A00X08754C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-39 (exercise). In E9HS8K3A52, exercise, section 5.3.5
History
- 2026-11-01: add by m2/v0.6.13
Examples A012SJJPTK
| URI | m2://inv/A012SJJPTK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plane quartic curve#URV2, Examples (example)
History
- 2026-11-02: add by m2/dev
Sphere Packings, Lattices and Groups A0151WM7FS
| URI | m2://inv/A0151WM7FS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sphere Packings, Lattices and Groups, Sphere Packings, Lattices and Groups (definition). Also Wikidata Q55881502
History
- 2026-11-02: add by m2/dev
A016H9HVS7 A016H9HVS7
| URI | m2://inv/A016H9HVS7 |
|---|---|
| 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#ORWU (statement). In DPJ15KW23C/e1, proposition 9.5
History
- 2026-10-30: add by m2/v0.4.12
A017VD6Q8C A017VD6Q8C
| URI | m2://inv/A017VD6Q8C |
|---|---|
| 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.37593#SACZ (statement). In YTF96VHKAH/e1, lemma 5.5
History
- 2026-10-30: add by m2/v0.4.12
Gilbert–Johnson–Keerthi distance algorithm A018YEXW6M
| URI | m2://inv/A018YEXW6M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gilbert–Johnson–Keerthi distance algorithm, Gilbert–Johnson–Keerthi distance algorithm (definition). Also Wikidata Q4060668
History
- 2026-11-02: add by m2/dev
infinitely near point A01AGR84ZM
| URI | m2://inv/A01AGR84ZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#BHTZ, infinitely near point (definition)
History
- 2026-11-02: add by m2/dev
Kendall's tau distribution A01EQPX8TZ
| URI | m2://inv/A01EQPX8TZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kendall rank correlation coefficient#JXU0, Kendall's tau distribution (unknown)
History
- 2026-11-02: add by m2/dev
Examples A01GJJRYHH
| URI | m2://inv/A01GJJRYHH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stopping time#DP52, Examples (example)
History
- 2026-11-02: add by m2/dev
Render output unit A01GV2KZ99
| URI | m2://inv/A01GV2KZ99 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#Z168, Render output unit (unknown)
History
- 2026-11-02: add by m2/dev
Zero sets of \(\nabla_x v\ A01M7F6FT9
| URI | m2://inv/A01M7F6FT9 |
|---|---|
| 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.02106#TP24, Zero sets of \(\nabla_x v\ (statement). In NGKK8ZB29J/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.12
A01MJNQ2PY A01MJNQ2PY
| URI | m2://inv/A01MJNQ2PY |
|---|---|
| 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 2610.00934#07SN (definition). In SHCQDPCF2J/e1, definition 5.3
History
- 2026-10-29: add by m2/v0.4.12
Harald Cramér A01XS4E387
| URI | m2://inv/A01XS4E387 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#G3CD, Harald Cramér (topic)
History
- 2026-11-02: add by m2/dev
Kehe Zhu A01YRTPA18
| URI | m2://inv/A01YRTPA18 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kehe Zhu, Kehe Zhu (topic). Also Wikidata Q93433295
History
- 2026-11-02: add by m2/dev
A026HTRRGV A026HTRRGV
| URI | m2://inv/A026HTRRGV |
|---|---|
| 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 2110.14727#OXKB (statement). In EZTB8NZGVT/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.4.0
Clipping A027SJX43Q
| URI | m2://inv/A027SJX43Q |
|---|---|
| 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.31782#4E85, Clipping (statement). In YAYP5VZ94H/e1, lemma 5.1
History
- 2026-10-31: add by m2/v0.5.6
A02MH0J47T A02MH0J47T
| URI | m2://inv/A02MH0J47T |
|---|---|
| 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.15511#VMP8 (statement). In TZM08VJAQT/e1, corollary 2.11
History
- 2026-10-28: add by m2/v0.4.2
A02NRJQ6MJ A02NRJQ6MJ
| URI | m2://inv/A02NRJQ6MJ |
|---|---|
| Kind | example |
| 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.13741#5P4E (example). In Q43F8N7XDE/e1, example 4.4
History
- 2026-10-28: add by m2/v0.4.2
Biomedical cybernetics A02YGA5QY1
| URI | m2://inv/A02YGA5QY1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biomedical cybernetics, Biomedical cybernetics (definition). Also Wikidata Q4116625
History
- 2026-11-02: add by m2/dev
ASH for odd cycles A02Z0QXRV8
| URI | m2://inv/A02Z0QXRV8 |
|---|---|
| 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.09650#3UTY, ASH for odd cycles (statement). In 628KM8869P/e1, theorem 4.13
History
- 2026-10-29: add by m2/v0.4.10
De Donder–Weyl theory A02ZMJ17BF
| URI | m2://inv/A02ZMJ17BF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Donder–Weyl theory, De Donder–Weyl theory (definition). Also Wikidata Q5244342
History
- 2026-11-02: add by m2/dev
Cochrane–Orcutt estimation A03M71FYEB
| URI | m2://inv/A03M71FYEB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YXBY, Cochrane–Orcutt estimation (definition)
History
- 2026-11-02: add by m2/dev
Dicaearchus A03NAQA8BM
| URI | m2://inv/A03NAQA8BM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#TY48, Dicaearchus (topic)
History
- 2026-11-02: add by m2/dev
A03V4BQFYX A03V4BQFYX
| URI | m2://inv/A03V4BQFYX |
|---|---|
| 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.21475#DVUT (statement). In TTRSZVT4VX/e1, corollary 2.10
History
- 2026-10-27: add by m2/v0.4.2
MATLAB A03VNR1C4J
| URI | m2://inv/A03VNR1C4J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MATLAB, MATLAB (definition). Also Wikidata Q169478
History
- 2026-11-02: add by m2/dev
Non-robust sentence A03YP2RKNA
| URI | m2://inv/A03YP2RKNA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.08233#SSVB, Non-robust sentence (example). In 2TXXQ2575Y/e1, example 5.8
History
- 2026-10-27: add by m2/v0.3.5
321 (number) A04063R8D2
| URI | m2://inv/A04063R8D2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#4ZNC, 321 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Steve Shenker A040D9DRSW
| URI | m2://inv/A040D9DRSW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#CRK9, Steve Shenker (unknown)
History
- 2026-11-02: add by m2/dev
Light field A040KXASHG
| URI | m2://inv/A040KXASHG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#J3N5, Light field (unknown)
History
- 2026-11-02: add by m2/dev
Labeled tree A0465FZ09M
| URI | m2://inv/A0465FZ09M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tree (graph theory)#BLGN, Labeled tree (unknown)
History
- 2026-11-02: add by m2/dev
Definition A049WTCGQH
| URI | m2://inv/A049WTCGQH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal indecomposable module#7OD4, Definition (definition)
History
- 2026-11-02: add by m2/dev
A04D4XHMS8 A04D4XHMS8
| URI | m2://inv/A04D4XHMS8 |
|---|---|
| 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.17871#335O (statement). In H17E7PBG1M/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
A04DERN92B A04DERN92B
| URI | m2://inv/A04DERN92B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#TPYB (statement). In RTE2C0PH4S/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
A04Q7EV0QB A04Q7EV0QB
| URI | m2://inv/A04Q7EV0QB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17571#24QB (statement). In SWFN2HCEE7/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.2
Pragmatism A04R19KMBG
| URI | m2://inv/A04R19KMBG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pragmatism, Pragmatism (definition). Also Wikidata Q126692
History
- 2026-11-02: add by m2/dev
special values of L-functions A04WSW6PGP
| URI | m2://inv/A04WSW6PGP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7574878, special values of L-functions (unknown). Also nLab special values of L-functions
- wikipedia: Wikipedia Special values of L-functions, Special values of L-functions (topic). Also Wikidata Q7574878
History
- 2026-10-26: add by m2/dev
Jon Barwise A04XDBENGG
| URI | m2://inv/A04XDBENGG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jon Barwise, Jon Barwise (topic). Also Wikidata Q723578
History
- 2026-11-02: add by m2/dev
Enumeration A04XZA839S
| URI | m2://inv/A04XZA839S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apollonian network#Y0E6, Enumeration (definition)
History
- 2026-11-02: add by m2/dev
A0569ZKJR1 A0569ZKJR1
| URI | m2://inv/A0569ZKJR1 |
|---|---|
| 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.05506#0C2I (statement). In FT53PMB1TE/e1, lemma 4.2.2
History
- 2026-10-29: add by m2/v0.4.10
Definition A05F0TKMKQ
| URI | m2://inv/A05F0TKMKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Global analytic function#L7A6, Definition (definition)
History
- 2026-11-02: add by m2/dev
A05M6PX1BT A05M6PX1BT
| URI | m2://inv/A05M6PX1BT |
|---|---|
| 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.14135#9NH8 (statement). In C304J64Q79/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
Genevieve Grotjan Feinstein A05MG10HYY
| URI | m2://inv/A05MG10HYY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Genevieve Grotjan Feinstein, Genevieve Grotjan Feinstein (topic). Also Wikidata Q19626675
History
- 2026-11-02: add by m2/dev
A05MM43QRK A05MM43QRK
| URI | m2://inv/A05MM43QRK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.08723#1FGJ (statement). In HGE2NCQW29/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.3.5
A05NHQGDJ0 A05NHQGDJ0
| URI | m2://inv/A05NHQGDJ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.02207#E5PC (statement). In 1T3ZYPQZF0/e1, proposition 4.15
History
- 2026-10-27: add by m2/v0.3.6
A05RZVCY8A A05RZVCY8A
| URI | m2://inv/A05RZVCY8A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.07573#M3LK (statement). In 78X5SKJX8J/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.3.5
A05VM1S3VG A05VM1S3VG
| URI | m2://inv/A05VM1S3VG |
|---|---|
| Kind | definition |
| 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#S56P (definition). In 1QXCNGRWV1/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Further examples A05YKTG5FZ
| URI | m2://inv/A05YKTG5FZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact group#J0LS, Further examples (example)
History
- 2026-11-02: add by m2/dev
Initial environment is in context PER A060SH7XVT
| URI | m2://inv/A060SH7XVT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#KQTZ, Initial environment is in context PER (statement). In CPYWHRTPKC/e1, lemma 6.25
History
- 2026-10-27: add by m2/v0.4.2
Joseph Silverman A0636V68HZ
| URI | m2://inv/A0636V68HZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3ZXX, Joseph Silverman (unknown)
History
- 2026-11-02: add by m2/dev
Group action A06JC8EBXC
| URI | m2://inv/A06JC8EBXC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#K7BH, Group action (definition)
- wikipedia: Wikipedia List of abstract algebra topics#8SNB, Group action (definition)
History
- 2026-11-02: add by m2/dev
A06K2MK9CD A06K2MK9CD
| URI | m2://inv/A06K2MK9CD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30544#MGZW (statement). In CB35ZBBBPT/e1, lemma 2.5
History
- 2026-10-31: add by m2/v0.5.6
Fundamental theorem of linear programming A06N177QZY
| URI | m2://inv/A06N177QZY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#VYNV, Fundamental theorem of linear programming (statement)
History
- 2026-11-02: add by m2/dev
George Robin Henderson A06WHFWPF5
| URI | m2://inv/A06WHFWPF5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Robin Henderson, George Robin Henderson (topic). Also Wikidata Q27680446
History
- 2026-11-02: add by m2/dev
locally integrable functions as distributions A075WQNAFP
| URI | m2://inv/A075WQNAFP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Distributions on $\R^d$ > locally integrable functions as distributions, locally integrable functions as distributions (unknown)
History
- 2026-10-26: add by m2/dev
Genus–degree formula A076HT70ST
| URI | m2://inv/A076HT70ST |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Genus–degree formula, Genus–degree formula (statement). Also Wikidata Q5533839
History
- 2026-11-02: add by m2/dev
HF A07755M9A2
| URI | m2://inv/A07755M9A2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#O1AD, HF (definition)
History
- 2026-11-02: add by m2/dev
*{Lemma 3.2 A07AEX5GNP
| URI | m2://inv/A07AEX5GNP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.21945#QKZ7, *{Lemma 3.2 (statement). In 371P9QASSJ/e1, lemma 2.10
History
- 2026-10-27: add by m2/v0.4.2
A07DK0YM4H A07DK0YM4H
| URI | m2://inv/A07DK0YM4H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-31 (exercise). In E59CDZA4DP, exercise, section 4.3.4
History
- 2026-11-01: add by m2/v0.6.13
North 24 Parganas district A07DQ5ENGB
| URI | m2://inv/A07DQ5ENGB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#RH44, North 24 Parganas district (unknown)
History
- 2026-11-02: add by m2/dev
Top-bracket limit A07HKN4NDT
| URI | m2://inv/A07HKN4NDT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25060#B8XU, Top-bracket limit (statement)
History
- 2026-11-01: add by m2/v0.6.15
Contraction mapping A07WVKXJM2
| URI | m2://inv/A07WVKXJM2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#LAJS, Contraction mapping (definition)
History
- 2026-11-02: add by m2/dev
Cayley algebra A08110E3C2
| URI | m2://inv/A08110E3C2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Arthur Cayley#JN80, Cayley algebra (definition)
History
- 2026-11-02: add by m2/dev
cyclotomic equation A081THWWZ1
| URI | m2://inv/A081THWWZ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141573489, cyclotomic equation (unknown). Also MathWorld CyclotomicEquation
History
- 2026-10-26: add by m2/dev
A084NFQNXZ A084NFQNXZ
| URI | m2://inv/A084NFQNXZ |
|---|---|
| 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.07445#TXR4 (statement). In F1BM3Q8125/e1, proposition 2.17
History
- 2026-10-29: add by m2/v0.4.10
A08FSB2GPE A08FSB2GPE
| URI | m2://inv/A08FSB2GPE |
|---|---|
| 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.25880#9Q6S (statement)
History
- 2026-11-01: add by m2/v0.6.15
Handle decomposition A08N751GPN
| URI | m2://inv/A08N751GPN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Handle decomposition, Handle decomposition (definition). Also Wikidata Q2852446
History
- 2026-11-02: add by m2/dev
A08RE7ETN0 A08RE7ETN0
| URI | m2://inv/A08RE7ETN0 |
|---|---|
| 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.18600#HFH9 (statement). In 31D6TQVCNZ/e1, lemma 1.5
History
- 2026-10-28: add by m2/v0.4.2
Differentiation index A08YTZKM71
| URI | m2://inv/A08YTZKM71 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09634#THC2, Differentiation index (definition). In FH42QK814C/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.10
Chernoff's distribution A090AGMH7E
| URI | m2://inv/A090AGMH7E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VHG3, Chernoff's distribution (definition)
- wikipedia: Wikipedia List of probability distributions#38LB, Chernoff's distribution (definition)
History
- 2026-11-02: add by m2/dev
A09BF1VTQG A09BF1VTQG
| URI | m2://inv/A09BF1VTQG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 17-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.21860#9FPS (definition)
History
- 2026-11-02: add by m2/v0.6.18
A09HEV6GYS A09HEV6GYS
| URI | m2://inv/A09HEV6GYS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-advPIE.ptx#exercise-4 (exercise). In Y91XFCEVHQ, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
Hexagonal coordinates A09JAHX6F4
| URI | m2://inv/A09JAHX6F4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31278#9BI4, Hexagonal coordinates (statement). In KEP21CZFV9/e1, proposition #1
History
- 2026-10-31: add by m2/v0.5.6
A09QZYEQ0K A09QZYEQ0K
| URI | m2://inv/A09QZYEQ0K |
|---|---|
| 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.31604#6FTI (statement). In GSN5YTQS2K/e1, lemma 3.13
History
- 2026-10-31: add by m2/v0.5.6
A09SAMZ3WY A09SAMZ3WY
| URI | m2://inv/A09SAMZ3WY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#example-2 (example). In E59CDZA4DP, example, section 5.1.5
History
- 2026-11-01: add by m2/v0.6.13
Universal splitting identity A09WQS2D4X
| URI | m2://inv/A09WQS2D4X |
|---|---|
| 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#AX7G, Universal splitting identity (statement). In 8BNPFYQDQX/e1, lemma 3.15
History
- 2026-10-29: add by m2/v0.4.10
Theorems concerning special cases A0A1M6JANE
| URI | m2://inv/A0A1M6JANE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mordell–Weil group#VE8O, Theorems concerning special cases (statement)
History
- 2026-11-02: add by m2/dev
Statement A0A5RW05AD
| URI | m2://inv/A0A5RW05AD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neyman–Pearson lemma#2GLZ, Statement (statement)
History
- 2026-11-02: add by m2/dev
A0A69XA7TK A0A69XA7TK
| URI | m2://inv/A0A69XA7TK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-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.38243#QUE9 (statement). In R03K2N7FRF/e1, proposition 4.4
History
- 2026-10-30: add by m2/v0.4.12
identity covariant A0A6HW428S
| URI | m2://inv/A0A6HW428S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#G0Z6, identity covariant (definition)
History
- 2026-11-02: add by m2/dev
A0A71V18ZB A0A71V18ZB
| URI | m2://inv/A0A71V18ZB |
|---|---|
| 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.26357#FBMX (statement)
History
- 2026-11-01: add by m2/v0.6.15
A0ACP3JF08 A0ACP3JF08
| URI | m2://inv/A0ACP3JF08 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.01837#ZJ0K (statement). In 2XBYZ1QP22/e1, theorem A
History
- 2026-10-27: add by m2/v0.3.5
A0AR1SDZAR A0AR1SDZAR
| URI | m2://inv/A0AR1SDZAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2405.14678#BTPC (statement). In 9ZSNSJRJ5N/e1, lemma 5
History
- 2026-10-27: add by m2/v0.4.2
Definition A0B0GM7W87
| URI | m2://inv/A0B0GM7W87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional area#ID5H, Definition (definition)
History
- 2026-11-02: add by m2/dev
Uniform incompressibility A0B26EJ99T
| URI | m2://inv/A0B26EJ99T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26984#N8IS, Uniform incompressibility (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lily Khadjavi A0B2BQRD9Q
| URI | m2://inv/A0B2BQRD9Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lily Khadjavi, Lily Khadjavi (topic). Also Wikidata Q102193728
History
- 2026-11-02: add by m2/dev
A0B6KDZ5XX A0B6KDZ5XX
| URI | m2://inv/A0B6KDZ5XX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07001#72TU (statement). In 5DFTVG7FFF/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
parallelepiped A0B8G5TN4P
| URI | m2://inv/A0B8G5TN4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Parallelepiped 0SQV2VJTGY |
Mentions
- wikidata: Wikidata Q181658, parallelepiped (unknown). Also MathWorld Parallelepiped
- wikipedia: Wikipedia Parallelepiped, Parallelepiped (definition). Also Wikidata Q181658
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
List of people by Erdős number A0B8M614DZ
| URI | m2://inv/A0B8M614DZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number, List of people by Erdős number (topic). Also Wikidata Q2391356
History
- 2026-11-02: add by m2/dev
Gromov–Ruh theorem A0BETJBYGC
| URI | m2://inv/A0BETJBYGC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ODPK, Gromov–Ruh theorem (definition)
History
- 2026-11-02: add by m2/dev
Unimodular zeros A0BF885GT0
| URI | m2://inv/A0BF885GT0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22132#DNUS, Unimodular zeros (statement). In FDVAR4G2C4/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.0
William Neile A0BW65E5WF
| URI | m2://inv/A0BW65E5WF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Neile, William Neile (topic). Also Wikidata Q4321312
History
- 2026-11-02: add by m2/dev
A0BWXDEBCK A0BWXDEBCK
| URI | m2://inv/A0BWXDEBCK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27125#VF2O (statement)
History
- 2026-11-01: add by m2/v0.6.15
A0BX8F2RF0 A0BX8F2RF0
| URI | m2://inv/A0BX8F2RF0 |
|---|---|
| Kind | example |
| 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 2108.09548#2HO5 (example). In 6D6C14KFGJ/e1, example 4.3
History
- 2026-10-27: add by m2/v0.4.0
Keita Yokoyama A0BXXWWTTT
| URI | m2://inv/A0BXXWWTTT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#AEZ8, Keita Yokoyama (unknown)
History
- 2026-11-02: add by m2/dev
A0C1AYBJ2N A0C1AYBJ2N
| URI | m2://inv/A0C1AYBJ2N |
|---|---|
| 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.26948#E84K (statement)
History
- 2026-11-01: add by m2/v0.6.15
A0C3HFY4W5 A0C3HFY4W5
| URI | m2://inv/A0C3HFY4W5 |
|---|---|
| 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.00271#3OU4 (statement). In T1NSCAZS28/e1, lemma 7.3
History
- 2026-10-30: add by m2/v0.4.12
Applications A0C605CE5S
| URI | m2://inv/A0C605CE5S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Global dominating set#X6PC, Applications (example)
History
- 2026-11-02: add by m2/dev
Catenoid A0CA0SA41Q
| URI | m2://inv/A0CA0SA41Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#W33J, Catenoid (definition)
- wikipedia: Wikipedia List of variational topics#L9LB, Catenoid (definition)
- wikipedia: Wikipedia List of surfaces#524H, Catenoid (definition)
History
- 2026-11-02: add by m2/dev
Strict avalanche criterion A0CA56J13E
| URI | m2://inv/A0CA56J13E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Avalanche effect#Z61K, Strict avalanche criterion (statement)
History
- 2026-11-02: add by m2/dev
A0CB47PFMN A0CB47PFMN
| URI | m2://inv/A0CB47PFMN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#problem-5 (exercise). In RZP28ERRZV, problem, section 5.10
History
- 2026-11-01: add by m2/v0.6.13
Edgar Odell Lovett A0CBSQSN2K
| URI | m2://inv/A0CBSQSN2K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TEGQ, Edgar Odell Lovett (unknown)
History
- 2026-11-02: add by m2/dev
A0CM7D9PFZ A0CM7D9PFZ
| URI | m2://inv/A0CM7D9PFZ |
|---|---|
| Kind | example |
| 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.38131#U60Y (example). In GM3S19KFDH/e1, example 4.6
History
- 2026-10-30: add by m2/v0.4.12
Examples A0CPCJGTEX
| URI | m2://inv/A0CPCJGTEX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real representation#5O4P, Examples (example)
History
- 2026-11-02: add by m2/dev
Alexander Yule Fraser A0CV9PQ7D1
| URI | m2://inv/A0CV9PQ7D1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Yule Fraser, Alexander Yule Fraser (topic). Also Wikidata Q37732641
History
- 2026-11-02: add by m2/dev
Ihor Kolomoyskyi A0CY4Q2W95
| URI | m2://inv/A0CY4Q2W95 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#QBHQ, Ihor Kolomoyskyi (unknown)
History
- 2026-11-02: add by m2/dev
A0CY6BCTEH A0CY6BCTEH
| URI | m2://inv/A0CY6BCTEH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#XZAY (statement). In 13GSWBXPCM/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.3.5
First variations and the shortest-vector moment A0CYET4D0B
| URI | m2://inv/A0CYET4D0B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37615#WJ17, First variations and the shortest-vector moment (statement). In T2B54J7121/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
sample size A0D4ZAHP44
| URI | m2://inv/A0D4ZAHP44 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q70443487, sample size (unknown). Also MathWorld SampleSize
History
- 2026-10-26: add by m2/dev
Marist Institute for Public Opinion A0D60G5MSB
| URI | m2://inv/A0D60G5MSB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#DACV, Marist Institute for Public Opinion (definition)
History
- 2026-11-02: add by m2/dev
Failure of local exactness on the equatorial $S^5$ A0D69NK2FY
| URI | m2://inv/A0D69NK2FY |
|---|---|
| Kind | example |
| 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.00078#IYJW, Failure of local exactness on the equatorial $S^5$ (example). In KXYGWSGP9M/e1, example 3.6
History
- 2026-10-30: add by m2/v0.4.12
Discrete-space Fourier transform A0D6ED1SYB
| URI | m2://inv/A0D6ED1SYB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier-related transforms#JRMJ, Discrete-space Fourier transform (unknown)
History
- 2026-11-02: add by m2/dev
A0D8ZV9M0A A0D8ZV9M0A
| URI | m2://inv/A0D8ZV9M0A |
|---|---|
| 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#WHHS (statement). In WJD9YPGGYH/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
A0DDXS3VGF A0DDXS3VGF
| URI | m2://inv/A0DDXS3VGF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 2609.31523#M6PL (statement). In 2BET1RE1F6/e1, lemma 4.4
History
- 2026-10-31: add by m2/v0.5.6
Bowditch curve A0DEKH4M1E
| URI | m2://inv/A0DEKH4M1E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#AL4I, Bowditch curve (definition)
- wikipedia: Wikipedia List of curves#7ERL, Bowditch curve (definition)
History
- 2026-11-02: add by m2/dev
Three Creeks, Missouri A0DF4DS3B2
| URI | m2://inv/A0DF4DS3B2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#ZJC5, Three Creeks, Missouri (unknown)
History
- 2026-11-02: add by m2/dev
Conforming LE $n$-section algorithm A0DSH14T75
| URI | m2://inv/A0DSH14T75 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29153#JZ1V, Conforming LE $n$-section algorithm (definition)
History
- 2026-11-01: add by m2/v0.6.15
A0DTDGEYZN A0DTDGEYZN
| URI | m2://inv/A0DTDGEYZN |
|---|---|
| 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.38772#P5N0 (statement). In 1C3R5NAQAP/e1, proposition 3.5
History
- 2026-10-30: add by m2/v0.4.12
Counting of transpositions and $3$-cycles A0DY9NPR5Y
| URI | m2://inv/A0DY9NPR5Y |
|---|---|
| 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.15340#N75P, Counting of transpositions and $3$-cycles (statement). In 9NVKKW8HDH/e1, lemma 2.70
History
- 2026-10-28: add by m2/v0.4.2
homology sphere A0DZZ235WE
| URI | m2://inv/A0DZZ235WE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#64U8, homology sphere (definition)
History
- 2026-11-02: add by m2/dev
Examples A0E31W8YRG
| URI | m2://inv/A0E31W8YRG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nilpotent group#MDK6, Examples (example)
History
- 2026-11-02: add by m2/dev
A0E3E3ZT85 A0E3E3ZT85
| URI | m2://inv/A0E3E3ZT85 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#8T5E (statement). In 11JNM66Z09/e1, corollary 13.2
History
- 2026-10-28: add by m2/v0.4.2
A0E7GV2DJQ A0E7GV2DJQ
| URI | m2://inv/A0E7GV2DJQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/addtops-genfun.ptx#exercise-6 (exercise). In Y91XFCEVHQ, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Examples A0E8SK9Q3K
| URI | m2://inv/A0E8SK9Q3K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fσ set#BZ08, Examples (example)
History
- 2026-11-02: add by m2/dev
Finite-angle positivity, $m=6$ hexagon swap A0EAR4NVXG
| URI | m2://inv/A0EAR4NVXG |
|---|---|
| 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.25120#JH95, Finite-angle positivity, $m=6$ hexagon swap (statement)
History
- 2026-11-01: add by m2/v0.6.15
A0EBFZNZGX A0EBFZNZGX
| URI | m2://inv/A0EBFZNZGX |
|---|---|
| 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.01199#MG38 (statement). In XZ4MRWR77Q/e1, proposition 5
History
- 2026-10-29: add by m2/v0.4.12
Mirsky A0EDAMB0RM
| URI | m2://inv/A0EDAMB0RM |
|---|---|
| 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.07214#RPHN, Mirsky (statement). In 669PBFJX0Z/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Arrival theorem A0EJFHHNME
| URI | m2://inv/A0EJFHHNME |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#K090, Arrival theorem (statement)
History
- 2026-11-02: add by m2/dev
Skewes's number A0EJNMY76F
| URI | m2://inv/A0EJNMY76F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#N8A6, Skewes's number (definition)
History
- 2026-11-02: add by m2/dev
A0EK7R0TV6 A0EK7R0TV6
| URI | m2://inv/A0EK7R0TV6 |
|---|---|
| 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.15176#EM0X (statement). In RKV0144CGA/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Extended transition function A0EMZJWTZS
| URI | m2://inv/A0EMZJWTZS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nondeterministic finite automaton#838V, Extended transition function (unknown)
History
- 2026-11-02: add by m2/dev
Euler's product formula A0EY2YZSDY
| URI | m2://inv/A0EY2YZSDY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's totient function#ZHVG, Euler's product formula (statement)
History
- 2026-11-02: add by m2/dev
A0F36V65TY A0F36V65TY
| URI | m2://inv/A0F36V65TY |
|---|---|
| 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 math/9201244#YMWE (definition). In 7D3HCN21MK/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.3.5
series-parallel graph A0F4QRXTJ9
| URI | m2://inv/A0F4QRXTJ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7454787, series-parallel graph (unknown). Also MathWorld Series-ParallelGraph
- wikipedia: Wikipedia Series–parallel graph, Series–parallel graph (definition). Also Wikidata Q7454787
History
- 2026-10-26: add by m2/dev
Exact pair identity A0F536YR16
| URI | m2://inv/A0F536YR16 |
|---|---|
| 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.27200#BSYH, Exact pair identity (statement)
History
- 2026-11-01: add by m2/v0.6.15
Strictness A0F70PEJ9H
| URI | m2://inv/A0F70PEJ9H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20478#3PE7, Strictness (statement)
History
- 2026-11-02: add by m2/v0.6.18
James J. Cline A0FD8J6ZFP
| URI | m2://inv/A0FD8J6ZFP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#OGYY, James J. Cline (unknown)
History
- 2026-11-02: add by m2/dev
A0FDW9QCPQ A0FDW9QCPQ
| URI | m2://inv/A0FDW9QCPQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-15 (exercise). In E59CDZA4DP, exercise, section 9.2.5
History
- 2026-11-01: add by m2/v0.6.13
A0FSE1SSDJ A0FSE1SSDJ
| URI | m2://inv/A0FSE1SSDJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17276#COCP (statement). In GG14QF0JKJ/e1, corollary 3.7
History
- 2026-10-28: add by m2/v0.4.2
List of scientific publications by John von Neumann A0FTX6C6WW
| URI | m2://inv/A0FTX6C6WW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific publications by John von Neumann, List of scientific publications by John von Neumann (topic). Also Wikidata Q123200514
History
- 2026-11-02: add by m2/dev
Conditional flattened design A0FV1XSEKC
| URI | m2://inv/A0FV1XSEKC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#YALZ, Conditional flattened design (definition)
History
- 2026-11-01: add by m2/v0.6.15
equianharmonic A0FW5MTY7K
| URI | m2://inv/A0FW5MTY7K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#7FCR, equianharmonic (definition)
History
- 2026-11-02: add by m2/dev
Hahn–Banach theorem: A0FZTK5GAS
| URI | m2://inv/A0FZTK5GAS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional analysis#5LEF, Hahn–Banach theorem: (statement)
History
- 2026-11-02: add by m2/dev
Nowhere continuous A0G6M81CWD
| URI | m2://inv/A0G6M81CWD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#39MM, Nowhere continuous (definition)
History
- 2026-11-02: add by m2/dev
A0G8869S02 A0G8869S02
| URI | m2://inv/A0G8869S02 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19854#8NUC (statement). In D50WST4CG3/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
Symmetric groups A0G8MA1327
| URI | m2://inv/A0G8MA1327 |
|---|---|
| Kind | example |
| 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.18154#9XQG, Symmetric groups (example). In 4W7ARR1DAR/e1, example 3.6
History
- 2026-10-28: add by m2/v0.4.2
A0G95J480P A0G95J480P
| URI | m2://inv/A0G95J480P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-97 (exercise). In E9HS8K3A52, exercise, section 10.8.6
History
- 2026-11-01: add by m2/v0.6.13
Unlikely intersection A0GBZ17NPG
| URI | m2://inv/A0GBZ17NPG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#0B9L, Unlikely intersection (definition)
History
- 2026-11-02: add by m2/dev
Theorem (C. Ursescu) A0GPDTW2H3
| URI | m2://inv/A0GPDTW2H3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interior (topology)#7DCQ, Theorem (C. Ursescu) (statement)
History
- 2026-11-02: add by m2/dev
A0GQ5ZA11M A0GQ5ZA11M
| URI | m2://inv/A0GQ5ZA11M |
|---|---|
| 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.02244#258G (statement). In 3REM2EXQK7/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.12
A0GRBKV21F A0GRBKV21F
| URI | m2://inv/A0GRBKV21F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28323#0ME8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Conway's thrackle conjecture A0GRZT8XVP
| URI | m2://inv/A0GRZT8XVP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after John Horton Conway#ZZQM, Conway's thrackle conjecture (definition)
History
- 2026-11-02: add by m2/dev
Submodule A0GYZ1K5JW
| URI | m2://inv/A0GYZ1K5JW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Module (mathematics)#KUSZ, Submodule (unknown)
History
- 2026-11-02: add by m2/dev
A0H0X2PZJV A0H0X2PZJV
| URI | m2://inv/A0H0X2PZJV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14681#JJJ6 (definition). In 459W0NBS5Q/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.2
A0H4GNWQQG A0H4GNWQQG
| URI | m2://inv/A0H4GNWQQG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#0P37 (statement). In M0SQY5EZN5/e1, theorem 4.9.2
History
- 2026-10-27: add by m2/v0.3.5
A0HRMGCRAM A0HRMGCRAM
| URI | m2://inv/A0HRMGCRAM |
|---|---|
| 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 1709.08958#0GPQ (statement). In H46J8XRDFJ/e1, corollary 2.2.2
History
- 2026-10-27: add by m2/v0.3.5
George Szekeres A0HS7A131H
| URI | m2://inv/A0HS7A131H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#0LB5, George Szekeres (topic)
History
- 2026-11-02: add by m2/dev
Palindromic prime A0HS9B4NKF
| URI | m2://inv/A0HS9B4NKF |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#2GRE, Palindromic prime (conjecture)
- wikipedia: Wikipedia List of recreational number theory topics#D3TE, Palindromic prime (conjecture)
History
- 2026-11-02: add by m2/dev
Classical mechanics A0HVJHH59Y
| URI | m2://inv/A0HVJHH59Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#2R03, Classical mechanics (definition)
History
- 2026-11-02: add by m2/dev
A0HY3TWR7C A0HY3TWR7C
| URI | m2://inv/A0HY3TWR7C |
|---|---|
| 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.05486#BVP5 (statement). In 5Z46AK2XTC/e1, lemma C.8
History
- 2026-10-29: add by m2/v0.4.10
Properties A0J225VP2B
| URI | m2://inv/A0J225VP2B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's constant#ET1T, Properties (statement)
History
- 2026-11-02: add by m2/dev
Equivariant elementary-abelian covers A0J7J5W1KN
| URI | m2://inv/A0J7J5W1KN |
|---|---|
| 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.33185#OKZ2, Equivariant elementary-abelian covers (statement). In QX30H2WNA7/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
List of things named after Anatoliy Skorokhod A0J9NEPS7H
| URI | m2://inv/A0J9NEPS7H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#67KS, List of things named after Anatoliy Skorokhod (unknown)
History
- 2026-11-02: add by m2/dev
A0J9Z3579S A0J9Z3579S
| URI | m2://inv/A0J9Z3579S |
|---|---|
| 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.31102#WZGE (statement). In 7CADATJMAA/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
Properties A0JMBFT584
| URI | m2://inv/A0JMBFT584 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex conjugate#HCIQ, Properties (statement)
History
- 2026-11-02: add by m2/dev
A0JMHQH078 A0JMHQH078
| URI | m2://inv/A0JMHQH078 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25472#GK65 (statement)
History
- 2026-11-01: add by m2/v0.6.15
A0JXKN0Y1E A0JXKN0Y1E
| URI | m2://inv/A0JXKN0Y1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.12009#UGT2 (statement). In DNAN4SV8AM/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Decomposable Impulsive CTMDP A0K01P8FJ9
| URI | m2://inv/A0K01P8FJ9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20126#QZET, Decomposable Impulsive CTMDP (definition). In KVXDWX9B11/e1, definition 2.11
History
- 2026-10-27: add by m2/v0.4.2
Similarity matrix A0K1TWPH4D
| URI | m2://inv/A0K1TWPH4D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0RV8, Similarity matrix (definition)
History
- 2026-11-02: add by m2/dev
baker's dozen A0KBSSJ8G0
| URI | m2://inv/A0KBSSJ8G0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2915374, baker's dozen (unknown). Also MathWorld BakersDozen
History
- 2026-10-26: add by m2/dev
Simplified A0KC0CCZ5C
| URI | m2://inv/A0KC0CCZ5C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39449#V0ML, Simplified (statement). In GWC70X14RG/e1, theorem 6
History
- 2026-10-30: add by m2/v0.4.12
Pseudo-range multilateration A0KDF47TK7
| URI | m2://inv/A0KDF47TK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-range multilateration, Pseudo-range multilateration (definition). Also Wikidata Q1640884
History
- 2026-11-02: add by m2/dev
A0KGWE8QRP A0KGWE8QRP
| URI | m2://inv/A0KGWE8QRP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21680#NYJA (statement)
History
- 2026-11-02: add by m2/v0.6.18
A0KQ2BM0ET A0KQ2BM0ET
| URI | m2://inv/A0KQ2BM0ET |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25435#BAQP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Thermal tide A0KV1RDT4M
| URI | m2://inv/A0KV1RDT4M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atmospheric tide#7YGQ, Thermal tide (unknown)
History
- 2026-11-02: add by m2/dev
A0KV3GPET4 A0KV3GPET4
| URI | m2://inv/A0KV3GPET4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27125#IBBQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
A0KX6P0J3E A0KX6P0J3E
| URI | m2://inv/A0KX6P0J3E |
|---|---|
| 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.13358#RMQA (statement). In QHT28GABDG/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Kobbi Nissim A0M0DM6MXT
| URI | m2://inv/A0M0DM6MXT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CCAZ, Kobbi Nissim (unknown)
History
- 2026-11-02: add by m2/dev
Karl Mollweide A0M3M44BRF
| URI | m2://inv/A0M3M44BRF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#U673, Karl Mollweide (topic)
History
- 2026-11-02: add by m2/dev
Results A0M8SB5ACH
| URI | m2://inv/A0M8SB5ACH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternions and spatial rotation#8YF8, Results (statement)
History
- 2026-11-02: add by m2/dev
quasi-separated morphism A0M93AJMM8
| URI | m2://inv/A0M93AJMM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122946284, quasi-separated morphism (definition). Also nLab quasi-separated morphism, ProofWiki Definition:Quasi-Separated_Morphism_of_Schemes
- wikipedia: Wikipedia Quasi-separated morphism, Quasi-separated morphism (definition). Also Wikidata Q122946284
History
- 2026-10-26: add by m2/dev
A0MFN9D7NM A0MFN9D7NM
| URI | m2://inv/A0MFN9D7NM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/trees.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 82.2
History
- 2026-11-01: add by m2/v0.6.13
Examples A0MM76T204
| URI | m2://inv/A0MM76T204 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse limit#OC4A, Examples (example)
History
- 2026-11-02: add by m2/dev
1 42 polytope A0MSQGDRV2
| URI | m2://inv/A0MSQGDRV2 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1 42 polytope, 1 42 polytope (object). Also Wikidata Q4595919
History
- 2026-11-02: add by m2/dev
Principle of Mathematical Induction A0MSSZQR1F
| URI | m2://inv/A0MSSZQR1F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroInduction.tex#thm:PMI, Principle of Mathematical Induction (statement). In P1C114YBXG, theorem, section D
History
- 2026-11-01: add by m2/v0.6.13
A0MVXYVZS6 A0MVXYVZS6
| URI | m2://inv/A0MVXYVZS6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-35 (exercise). In E59CDZA4DP, exercise, section 7.4.1
History
- 2026-11-01: add by m2/v0.6.13
perfect A0MY31PJZ0
| URI | m2://inv/A0MY31PJZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#UJ36, perfect (definition)
History
- 2026-11-02: add by m2/dev
A0NB087K1B A0NB087K1B
| URI | m2://inv/A0NB087K1B |
|---|---|
| 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#P58W (statement)
History
- 2026-11-01: add by m2/v0.6.15
by way of contradiction (BWOC), or "for, if not, ..." A0NC1YQYXD
| URI | m2://inv/A0NC1YQYXD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#20WY, by way of contradiction (BWOC), or "for, if not, ..." (definition)
History
- 2026-11-02: add by m2/dev
A0NHHBME0B A0NHHBME0B
| URI | m2://inv/A0NHHBME0B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18239#EOA7 (statement). In C60WZ6WQSY/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Global localization A0NKWCEJEZ
| URI | m2://inv/A0NKWCEJEZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#FZ3X, Global localization (definition). In TB1294GY5X/e1, definition 1.15
History
- 2026-10-27: add by m2/v0.4.2
Dirichlet distribution A0NN4CZD44
| URI | m2://inv/A0NN4CZD44 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#RC12, Dirichlet distribution (definition)
History
- 2026-11-02: add by m2/dev
Nyquist rate A0NP3KK69K
| URI | m2://inv/A0NP3KK69K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nyquist rate, Nyquist rate (definition). Also Wikidata Q6273772
History
- 2026-11-02: add by m2/dev
A0NW25WCXW A0NW25WCXW
| URI | m2://inv/A0NW25WCXW |
|---|---|
| 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.09567#4N7D (statement). In 7RV6BDZAFK/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
List of things named after Carl Gustav Jacob Jacobi A0NXRM9HD2
| URI | m2://inv/A0NXRM9HD2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Gustav Jacob Jacobi, List of things named after Carl Gustav Jacob Jacobi (topic). Also Wikidata Q16934676
History
- 2026-11-02: add by m2/dev
A0P4WXW94V A0P4WXW94V
| URI | m2://inv/A0P4WXW94V |
|---|---|
| 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.00292#WOM0 (statement). In NX3EFW0D0X/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
A0P5SS53QJ A0P5SS53QJ
| URI | m2://inv/A0P5SS53QJ |
|---|---|
| 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.28403#AXLL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sausages and sausage-walks for LAs A0Q13EHMEN
| URI | m2://inv/A0Q13EHMEN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1905.02785#DT8Y, Sausages and sausage-walks for LAs (definition). In PF9KV74Q02/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
A0Q7R36QC7 A0Q7R36QC7
| URI | m2://inv/A0Q7R36QC7 |
|---|---|
| Kind | conjecture |
| 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.33442#LRJA (conjecture). In EWY5YPMKA3/e1, conjecture
History
- 2026-10-30: add by m2/v0.4.12
Anthony Morse A0QC5KABVY
| URI | m2://inv/A0QC5KABVY |
|---|---|
| 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 Q4773149, Anthony Morse (unknown). Also nLab Anthony Morse
History
- 2026-10-26: add by m2/dev
Complete graph A0QCMFXS13
| URI | m2://inv/A0QCMFXS13 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20881#P6TH, Complete graph (definition)
History
- 2026-11-02: add by m2/v0.6.18
Potential-level RVU inequality A0QG0MKDKY
| URI | m2://inv/A0QG0MKDKY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21976#TJCC, Potential-level RVU inequality (statement)
History
- 2026-11-02: add by m2/v0.6.17
A0QKX3PYKT A0QKX3PYKT
| URI | m2://inv/A0QKX3PYKT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03499#UFZE (statement). In NAE99N03W3/e1, theorem 6.6
History
- 2026-10-29: add by m2/v0.4.12
A0QMQXP9BH A0QMQXP9BH
| URI | m2://inv/A0QMQXP9BH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36613#F0AJ (statement). In GX0K0ZM700/e1, corollary 2.3
History
- 2026-10-30: add by m2/v0.4.12
A0QQFBGX2V A0QQFBGX2V
| URI | m2://inv/A0QQFBGX2V |
|---|---|
| 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.08912#3W8D (statement). In DK5QY64NGH/e1, lemma 7.3
History
- 2026-10-29: add by m2/v0.4.10
Block LU decomposition A0QRKMNP9Q
| URI | m2://inv/A0QRKMNP9Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#SPPC, Block LU decomposition (definition)
History
- 2026-11-02: add by m2/dev
Ornstein–Uhlenbeck process A0QTYPEW96
| URI | m2://inv/A0QTYPEW96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#53BI, Ornstein–Uhlenbeck process (definition)
History
- 2026-11-02: add by m2/dev
Theorem A0QW8KSPVY
| URI | m2://inv/A0QW8KSPVY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kadison transitivity theorem#3TMW, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition A0QYG5QSSY
| URI | m2://inv/A0QYG5QSSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric signature#BORV, Definition (definition)
History
- 2026-11-02: add by m2/dev
F\"{u}redi A0R3EH9MQP
| URI | m2://inv/A0R3EH9MQP |
|---|---|
| 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.22393#2D33, F\"{u}redi (statement)
History
- 2026-11-02: add by m2/v0.6.17
Enumeration A0R7V1FJM3
| URI | m2://inv/A0R7V1FJM3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tree (graph theory)#KFQU, Enumeration (definition)
History
- 2026-11-02: add by m2/dev
Loss for kernel ridge balancing weights A0RAFEXDNJ
| URI | m2://inv/A0RAFEXDNJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.11076#G0J6, Loss for kernel ridge balancing weights (definition). In T9HZXHTQBJ/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.6
quotient space A0RE52V9AD
| URI | m2://inv/A0RE52V9AD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Quotient space 0BR3FY5Q8M |
Mentions
- wikidata: Wikidata Q1393796, quotient space (unknown). Also MathWorld QuotientVectorSpace
- wikipedia: Wikipedia Quotient space (linear algebra), Quotient space (definition). Also Wikidata Q1393796
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Kneser's theorem A0RK4PKDNB
| URI | m2://inv/A0RK4PKDNB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#9RJJ, Kneser's theorem (statement)
History
- 2026-11-02: add by m2/dev
A0RSBSD6TY A0RSBSD6TY
| URI | m2://inv/A0RSBSD6TY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04842#R3PE (statement). In YJF7QC03N3/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
International Society for Analysis, its Applications and Computation A0RVRFWSDM
| URI | m2://inv/A0RVRFWSDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Society for Analysis, its Applications and Computation, International Society for Analysis, its Applications and Computation (definition). Also Wikidata Q55316069
History
- 2026-11-02: add by m2/dev
A0RWAGFR5V A0RWAGFR5V
| URI | m2://inv/A0RWAGFR5V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.39951#6YBL (statement). In H343T48ZWE/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Abraham S. Luchins A0S16HRJS5
| URI | m2://inv/A0S16HRJS5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#P87U, Abraham S. Luchins (unknown)
History
- 2026-11-02: add by m2/dev
Peloponnesus Secundus A0S7170G5F
| URI | m2://inv/A0S7170G5F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#L0YQ, Peloponnesus Secundus (unknown)
History
- 2026-11-02: add by m2/dev
A0SDQZE0RH A0SDQZE0RH
| URI | m2://inv/A0SDQZE0RH |
|---|---|
| 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 0904.0817#DL3D (definition). In 569FZDANV3/e1, definition 1.8
History
- 2026-10-27: add by m2/v0.3.5
A0SFYEGMNZ A0SFYEGMNZ
| URI | m2://inv/A0SFYEGMNZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-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 2112.10058#1BZX (definition). In YQKKA47GS9/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
North Pole A0SHR1ZZR7
| URI | m2://inv/A0SHR1ZZR7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q934, North Pole (definition). Also ProofWiki Definition:Earth's_Poles/North
History
- 2026-10-26: add by m2/dev
A0SJECJ3HM A0SJECJ3HM
| URI | m2://inv/A0SJECJ3HM |
|---|---|
| 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.30527#B6LN (statement). In E3WQDZY388/e1, lemma 4.4
History
- 2026-10-31: add by m2/v0.5.6
framed A0SYNV4FX3
| URI | m2://inv/A0SYNV4FX3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#YXPH, framed (definition)
History
- 2026-11-02: add by m2/dev
Definition A0SZMKDER5
| URI | m2://inv/A0SZMKDER5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real analytic Eisenstein series#2GCW, Definition (definition)
History
- 2026-11-02: add by m2/dev
Example A0T6ZAN8DV
| URI | m2://inv/A0T6ZAN8DV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum bottleneck spanning tree#D33H, Example (example)
History
- 2026-11-02: add by m2/dev
First-order approximation of $\Delta_n(\overline{a})$ A0T7C3VH61
| URI | m2://inv/A0T7C3VH61 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.06548#LO6Y, First-order approximation of $\Delta_n(\overline{a})$ (statement). In SCC2N3WNYE/e1, theorem B
History
- 2026-10-27: add by m2/v0.3.5
Computational group theory A0T8D1K0K6
| URI | m2://inv/A0T8D1K0K6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational group theory, Computational group theory (topic). Also Wikidata Q1971729
History
- 2026-11-02: add by m2/dev
Michael Röckner A0T9D81M5C
| URI | m2://inv/A0T9D81M5C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Röckner, Michael Röckner (topic). Also Wikidata Q27072
History
- 2026-11-02: add by m2/dev
Power laws with : uniform flow A0TEF9G14R
| URI | m2://inv/A0TEF9G14R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Potential flow#J651, Power laws with : uniform flow (statement)
History
- 2026-11-02: add by m2/dev
Arrow, Kenneth A0TGZ9K1Q8
| URI | m2://inv/A0TGZ9K1Q8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#SC6D, Arrow, Kenneth (topic)
History
- 2026-11-02: add by m2/dev
The punctured plane is homotopy equivalent to $S^1$ A0TK7T6RFT
| URI | m2://inv/A0TK7T6RFT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#example-7, The punctured plane is homotopy equivalent to $S^1$ (example). In RZP28ERRZV, example, section 98.5
History
- 2026-11-01: add by m2/v0.6.13
Deborah H. Griffin A0TR9DHYY2
| URI | m2://inv/A0TR9DHYY2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deborah H. Griffin, Deborah H. Griffin (topic). Also Wikidata Q134947315
History
- 2026-11-02: add by m2/dev
A0V9BFJK71 A0V9BFJK71
| URI | m2://inv/A0V9BFJK71 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.16453#L4CW (statement). In BG3X7ZAEK1/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.3.5
Alexandru Froda A0VEA9FG3P
| URI | m2://inv/A0VEA9FG3P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexandru Froda, Alexandru Froda (topic). Also Wikidata Q4721136
History
- 2026-11-02: add by m2/dev
Hypothesis testing A0VHDQ9P9S
| URI | m2://inv/A0VHDQ9P9S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bias (statistics)#1AYI, Hypothesis testing (statement)
History
- 2026-11-02: add by m2/dev
A0W2QQQ3HP A0W2QQQ3HP
| URI | m2://inv/A0W2QQQ3HP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.12513#33NZ (statement). In VM9V8SXEA2/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.2
Definition A0W5K4T145
| URI | m2://inv/A0W5K4T145 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kemeny's constant#H4CN, Definition (definition)
History
- 2026-11-02: add by m2/dev
A0W8Y6RPY4 A0W8Y6RPY4
| URI | m2://inv/A0W8Y6RPY4 |
|---|---|
| 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 2610.18016#LO37 (statement). In V5PVKDKGGG/e1, proposition 6.9
History
- 2026-10-28: add by m2/v0.4.2
Examples A0W9EVGE7P
| URI | m2://inv/A0W9EVGE7P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Action algebra#MGMI, Examples (example)
History
- 2026-11-02: add by m2/dev
A0WQ27YD15 A0WQ27YD15
| URI | m2://inv/A0WQ27YD15 |
|---|---|
| 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.21632#HECN (statement). In Q4RZTN2EX6/e1, proposition 7.2
History
- 2026-10-27: add by m2/v0.4.2
Russia A0WRYQWKW2
| URI | m2://inv/A0WRYQWKW2 |
|---|---|
| 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 Q159, Russia (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Russia
History
- 2026-10-26: add by m2/dev
Academia Analitica A0WY1Z2A6T
| URI | m2://inv/A0WY1Z2A6T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Academia Analitica, Academia Analitica (definition). Also Wikidata Q4671046
History
- 2026-11-02: add by m2/dev
A0WZ7PN4Y4 A0WZ7PN4Y4
| URI | m2://inv/A0WZ7PN4Y4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#3Z2F (definition). In Q5Z178SAHP/e1, definition 4.10
History
- 2026-10-30: add by m2/v0.4.12
Frobenius method A0X1VETGTH
| URI | m2://inv/A0X1VETGTH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#HVH1, Frobenius method (definition)
History
- 2026-11-02: add by m2/dev
Prüfer group A0XBS4YEJZ
| URI | m2://inv/A0XBS4YEJZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Prüfer group F0XAMM2PPS |
Mentions
- wikidata: Wikidata Q2281199, Prüfer group (unknown). Also nLab Prüfer group
- wikipedia: Wikipedia Prüfer group, Prüfer group (definition). Also Wikidata Q2281199
History
- 2026-10-26: add by m2/dev
A0XDR0XKAH A0XDR0XKAH
| URI | m2://inv/A0XDR0XKAH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#F38F (definition). In XGPZ0G9E1Q/e1, definition 8.4
History
- 2026-10-29: add by m2/v0.4.12
quartic plane curve A0XEQDRGRN
| URI | m2://inv/A0XEQDRGRN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1857574, quartic plane curve (unknown). Also MathWorld QuarticCurve
- wikipedia: Wikipedia Plane quartic curve, Plane quartic curve (definition). Also Wikidata Q1857574
History
- 2026-10-26: add by m2/dev
Matteo Ricci A0XM8JR505
| URI | m2://inv/A0XM8JR505 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#6ULX, Matteo Ricci (unknown)
- wikipedia: Wikipedia List of Italian mathematicians#ALI9, Matteo Ricci (unknown)
History
- 2026-11-02: add by m2/dev
Klingenberg's lemma A0XZBZBWK4
| URI | m2://inv/A0XZBZBWK4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24610#LU1E, Klingenberg's lemma (statement)
History
- 2026-11-01: add by m2/v0.6.15
A0Y77S6NTB A0Y77S6NTB
| URI | m2://inv/A0Y77S6NTB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.16099#CLVK (statement). In 91RRFW0K5D/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.5
A0YBN82Z62 A0YBN82Z62
| URI | m2://inv/A0YBN82Z62 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/machines-computations/unary-numbers.tex#ex:mover (example). In PKGMM3P5QY, ex, section 86.3
History
- 2026-11-01: add by m2/v0.6.13
Hodge theory A0YKFVJVQM
| URI | m2://inv/A0YKFVJVQM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hodge theory 32YJXG30MF |
Mentions
- wikidata: Wikidata Q1317202, Hodge theory (concept). Also nLab Hodge theory
- wikipedia: Wikipedia Hodge theory, Hodge theory (definition). Also Wikidata Q1317202
History
- 2026-10-26: add by m2/dev
Sarah Meeker Jensen A0YTXFWMT9
| URI | m2://inv/A0YTXFWMT9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#YMH0, Sarah Meeker Jensen (unknown)
History
- 2026-11-02: add by m2/dev
Theorem 2 A0Z3QYRPS3
| URI | m2://inv/A0Z3QYRPS3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orlicz sequence space#UKHY, Theorem 2 (statement)
History
- 2026-11-02: add by m2/dev
A0ZAYQ7CNA A0ZAYQ7CNA
| URI | m2://inv/A0ZAYQ7CNA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.11143#SJCL (statement). In VTVC0TCWSB/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.3.5
A0ZEQ3P3Y0 A0ZEQ3P3Y0
| URI | m2://inv/A0ZEQ3P3Y0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19357#R3B3 (statement). In RGXQ50RWXV/e1, proposition 3.8
History
- 2026-10-28: add by m2/v0.4.2
A0ZJEMTXFV A0ZJEMTXFV
| URI | m2://inv/A0ZJEMTXFV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#CU7R (statement). In PQHTR84RAJ/e1, lemma 6.11
History
- 2026-10-27: add by m2/v0.4.0
A0ZRDFTHBG A0ZRDFTHBG
| URI | m2://inv/A0ZRDFTHBG |
|---|---|
| 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.31858#5R2L (statement). In QV16PHDXKJ/e1, corollary 3.4
History
- 2026-10-31: add by m2/v0.5.6
Darcy's law A0ZT5Z3ZH2
| URI | m2://inv/A0ZT5Z3ZH2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infiltration (hydrology)#UZK7, Darcy's law (statement)
History
- 2026-11-02: add by m2/dev
Causal $\lambda$-convexity and concavity A0ZX9SS8BM
| URI | m2://inv/A0ZX9SS8BM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10051#A8CS, Causal $\lambda$-convexity and concavity (definition). In VCHH2AC34R/e1, definition 2.14
History
- 2026-10-29: add by m2/v0.4.10