Inventory rows MW
The cards of the rows of the inventory whose ids start with MW. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Random vibration MW00811AC6
| URI | m2://inv/MW00811AC6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random vibration, Random vibration (definition). Also Wikidata Q7291997
History
- 2026-11-02: add by m2/dev
Coefficient control of ideals MW04CV4GFE
| URI | m2://inv/MW04CV4GFE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20230#6CPG, Coefficient control of ideals (statement)
History
- 2026-11-02: add by m2/v0.6.18
Solomon Feferman MW05NZ7JWK
| URI | m2://inv/MW05NZ7JWK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#1ZGJ, Solomon Feferman (topic)
History
- 2026-11-02: add by m2/dev
MW09GZXR5N MW09GZXR5N
| URI | m2://inv/MW09GZXR5N |
|---|---|
| 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#W8YA (statement). In KEP21CZFV9/e1, theorem #1
History
- 2026-10-31: add by m2/v0.5.6
MW0DD0T895 MW0DD0T895
| URI | m2://inv/MW0DD0T895 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22642#8Z3L (statement)
History
- 2026-11-02: add by m2/v0.6.17
MW0ECSQ58R MW0ECSQ58R
| URI | m2://inv/MW0ECSQ58R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10546#Q25W (statement). In K5R5RRPMQ5/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.10
MW0NWW5F4G MW0NWW5F4G
| URI | m2://inv/MW0NWW5F4G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27181#CBG5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications MW0RM4RF0P
| URI | m2://inv/MW0RM4RF0P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lorentz force#5J4U, Applications (example)
History
- 2026-11-02: add by m2/dev
MW0TDMMDY0 MW0TDMMDY0
| URI | m2://inv/MW0TDMMDY0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14600#CSDL (statement). In CJHTDS522P/e1, proposition 4.1.3
History
- 2026-10-28: add by m2/v0.4.2
MW0VE54EBK MW0VE54EBK
| URI | m2://inv/MW0VE54EBK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33656#QACO (statement). In 8PXDPT3X9P/e1, lemma 9
History
- 2026-10-30: add by m2/v0.4.12
Appeal to poverty MW1DMH04AT
| URI | m2://inv/MW1DMH04AT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#OL5F, Appeal to poverty (definition)
History
- 2026-11-02: add by m2/dev
Independent increments MW1ESZFFFE
| URI | m2://inv/MW1ESZFFFE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Independent increments, Independent increments (definition). Also Wikidata Q21045319
History
- 2026-11-02: add by m2/dev
Theorem MW1YMWP3TH
| URI | m2://inv/MW1YMWP3TH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pontryagin duality#THFA, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Repeated game MW252AD09R
| URI | m2://inv/MW252AD09R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Repeated game, Repeated game (definition). Also Wikidata Q1584646
History
- 2026-11-02: add by m2/dev
Pulse Asia MW2QXKQ1F4
| URI | m2://inv/MW2QXKQ1F4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#KL02, Pulse Asia (unknown)
History
- 2026-11-02: add by m2/dev
steady-state vector MW2QYDZ4P6
| URI | m2://inv/MW2QYDZ4P6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/4.5.3/steady-state-vector, steady-state vector (concept). In 649HGZKE96, index, section 4.5.3
History
- 2026-11-01: add by m2/v0.6.13
MW2R2B07M0 MW2R2B07M0
| URI | m2://inv/MW2R2B07M0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26479#0LYP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalized beta distribution MW34C3R0NT
| URI | m2://inv/MW34C3R0NT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized beta distribution, Generalized beta distribution (definition). Also Wikidata Q5532428
History
- 2026-11-02: add by m2/dev
MW35BRT9QN MW35BRT9QN
| URI | m2://inv/MW35BRT9QN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37252#W3BQ (statement). In E3EK0ESPA7/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Local base MW37X8FY55
| URI | m2://inv/MW37X8FY55 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#0CRW, Local base (definition)
History
- 2026-11-02: add by m2/dev
MW3888AS6W MW3888AS6W
| URI | m2://inv/MW3888AS6W |
|---|---|
| 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.16081#QJD8 (statement). In RS6WWZKMT6/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Drainage divide MW3G9X1CTK
| URI | m2://inv/MW3G9X1CTK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#LFHA, Drainage divide (unknown)
History
- 2026-11-02: add by m2/dev
One lakh MW401TDMFB
| URI | m2://inv/MW401TDMFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of states and union territories of India by crime rate#YOI8, One lakh (definition)
History
- 2026-11-02: add by m2/dev
Construction of the special $G$-deformation datum MW40TCFMBA
| URI | m2://inv/MW40TCFMBA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.20572#7JHQ, Construction of the special $G$-deformation datum (statement)
History
- 2026-11-02: add by m2/v0.6.18
Angela Mariotto MW46ZXB00V
| URI | m2://inv/MW46ZXB00V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angela Mariotto, Angela Mariotto (topic). Also Wikidata Q90467520
History
- 2026-11-02: add by m2/dev
MW47THTDG3 MW47THTDG3
| URI | m2://inv/MW47THTDG3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-26 (exercise). In E59CDZA4DP, exercise, section 9.2.5
History
- 2026-11-01: add by m2/v0.6.13
\textnormal{Goncharov--Zagier MW4WABWD1G
| URI | m2://inv/MW4WABWD1G |
|---|---|
| Kind | conjecture |
| 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.18777#JUPK, \textnormal{Goncharov--Zagier (conjecture). In TFZDPHDF7V/e1, conjecture 1.1
History
- 2026-10-27: add by m2/v0.3.6
Griffiths inequality MW4WNRCA4A
| URI | m2://inv/MW4WNRCA4A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Griffiths inequality, Griffiths inequality (statement). Also Wikidata Q5608940
History
- 2026-11-02: add by m2/dev
MW533BF2PG MW533BF2PG
| URI | m2://inv/MW533BF2PG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35543#5MXF (statement). In WSG1ZW956E/e1, lemma 7.2
History
- 2026-10-30: add by m2/v0.4.12
Chern–Gauss–Bonnet theorem MW54PPC4HB
| URI | m2://inv/MW54PPC4HB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ZNK7, Chern–Gauss–Bonnet theorem (statement)
History
- 2026-11-02: add by m2/dev
MW5D810PNJ MW5D810PNJ
| URI | m2://inv/MW5D810PNJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32557#801P (statement). In 7MSKC957WD/e1, proposition 4.1
History
- 2026-10-31: add by m2/v0.5.6
65537-gram MW5M12JATN
| URI | m2://inv/MW5M12JATN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 65537-gon#ZR8N, 65537-gram (unknown)
History
- 2026-11-02: add by m2/dev
MW5MBCM5WM MW5MBCM5WM
| URI | m2://inv/MW5MBCM5WM |
|---|---|
| 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.14204#B69K (statement). In GZAY1Y12YD/e1, theorem J
History
- 2026-10-28: add by m2/v0.4.2
Directed multigraph (edges without own identity) MW5PWPM1E6
| URI | m2://inv/MW5PWPM1E6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multigraph#ZZ34, Directed multigraph (edges without own identity) (statement)
History
- 2026-11-02: add by m2/dev
Points of the quadrics are values of theta functions MW5Z6EYKRQ
| URI | m2://inv/MW5Z6EYKRQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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.12434#9B2R, Points of the quadrics are values of theta functions (statement). In YCRZC9SDCE/e1, lemma 11.2
History
- 2026-10-28: add by m2/v0.4.2
Descriptive interpretation MW6AF4XXH8
| URI | m2://inv/MW6AF4XXH8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Descriptive interpretation, Descriptive interpretation (definition). Also Wikidata Q5263803
History
- 2026-11-02: add by m2/dev
Friedrich Dingeldey MW6J60PS9S
| URI | m2://inv/MW6J60PS9S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedrich Dingeldey, Friedrich Dingeldey (topic). Also Wikidata Q1458850
History
- 2026-11-02: add by m2/dev
Grassmann manifold MW6JFHW936
| URI | m2://inv/MW6JFHW936 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#SUTQ, Grassmann manifold (definition)
History
- 2026-11-02: add by m2/dev
MW6KS5J3B6 MW6KS5J3B6
| URI | m2://inv/MW6KS5J3B6 |
|---|---|
| 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.07092#9RB6 (definition). In JWNYJVH8XG/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.10
MW6P2Q9B5Q MW6P2Q9B5Q
| URI | m2://inv/MW6P2Q9B5Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-XX, 35-XX, 47-XX, 58-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 2211.01586#JYB4 (statement). In P39MF3ZJC0/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
MW6RBQGB2T MW6RBQGB2T
| URI | m2://inv/MW6RBQGB2T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/sequences.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Rademacher-Menshov theorem MW6TX66AY1
| URI | m2://inv/MW6TX66AY1 |
|---|---|
| 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.34311#4M2U, Rademacher-Menshov theorem (statement). In YYV9SHAPCZ/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
finite element method MW6X7YC8VF
| URI | m2://inv/MW6X7YC8VF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Finite element method 98GZ9DVHTA |
Mentions
- wikidata: Wikidata Q220184, finite element method (unknown). Also MathWorld FiniteElementMethod
- wikipedia: Wikipedia Finite element method, Finite element method (definition). Also Wikidata Q220184
History
- 2026-10-26: add by m2/dev
Pure Linear Decay Optimality MW72C8DTWY
| URI | m2://inv/MW72C8DTWY |
|---|---|
| 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.16518#4095, Pure Linear Decay Optimality (statement). In SAQBDG4FK1/e1, corollary 5.2
History
- 2026-10-28: add by m2/v0.4.2
Choquet theory MW72G5YZ25
| URI | m2://inv/MW72G5YZ25 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1076274, Choquet–Bishop–de Leeuw theorem (statement). Also Wikidata Q1076274
- thousand_plus: thousand_plus Q1076274, Choquet–Bishop–de Leeuw theorem (statement). Also Wikidata Q1076274, Wikipedia Choquet–Bishop–de Leeuw theorem
- wikipedia: Wikipedia Choquet theory, Choquet theory (topic). Also Wikidata Q1076274
History
- 2026-10-26: add by m2/dev
MW73E626D4 MW73E626D4
| URI | m2://inv/MW73E626D4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24078#24W5 (example)
History
- 2026-11-02: add by m2/v0.6.17
GNOME Calculator MW789QRQKD
| URI | m2://inv/MW789QRQKD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#Q118, GNOME Calculator (definition)
History
- 2026-11-02: add by m2/dev
MW7DSYH5XC MW7DSYH5XC
| URI | m2://inv/MW7DSYH5XC |
|---|---|
| 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.08193#8LIE (definition). In 8XAKGH8S2D/e1, definition 4.7
History
- 2026-10-29: add by m2/v0.4.10
Jake Heggie MW7ED9STVR
| URI | m2://inv/MW7ED9STVR |
|---|---|
| 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#6WUM, Jake Heggie (unknown)
History
- 2026-11-02: add by m2/dev
Application MW7F37XMD8
| URI | m2://inv/MW7F37XMD8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Photon diffusion equation#EPG2, Application (example)
History
- 2026-11-02: add by m2/dev
MW7F6DPJ22 MW7F6DPJ22
| URI | m2://inv/MW7F6DPJ22 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#proof-21 (proof). In E59CDZA4DP, proof, section 11.4.1
History
- 2026-11-01: add by m2/v0.6.13
Theorem MW7G723MZM
| URI | m2://inv/MW7G723MZM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar topology#6MRQ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
No stitch meets an anchored word MW7Q9E16QZ
| URI | m2://inv/MW7Q9E16QZ |
|---|---|
| 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.01240#W2N6, No stitch meets an anchored word (statement). In XD5HCP8DHF/e1, lemma 12
History
- 2026-10-29: add by m2/v0.4.12
MW812M7KAX MW812M7KAX
| URI | m2://inv/MW812M7KAX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.05005#B52U (statement). In SMJMAQ2S3J/e1, lemma 1
History
- 2026-10-27: add by m2/v0.4.0
MW8EN22VR0 MW8EN22VR0
| URI | m2://inv/MW8EN22VR0 |
|---|---|
| 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.02484#32QE (statement). In D1V0MQZTFQ/e1, proposition 2.10
History
- 2026-10-29: add by m2/v0.4.12
MW8F408HGJ MW8F408HGJ
| URI | m2://inv/MW8F408HGJ |
|---|---|
| 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.26129#H11B (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lattice MW8FK5NFWX
| URI | m2://inv/MW8FK5NFWX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice (discrete subgroup), Lattice (definition). Also Wikidata Q6497088
History
- 2026-11-02: add by m2/dev
MW8N3Y8Y4W MW8N3Y8Y4W
| URI | m2://inv/MW8N3Y8Y4W |
|---|---|
| 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.28203#YQU9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Genus-zero Hurwitz numbers MW8NNDK3Q5
| URI | m2://inv/MW8NNDK3Q5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14373#6ECH, Genus-zero Hurwitz numbers (statement). In 77TK7M3B9Y/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.2
Lorenzo Romar MW8QYD4SNY
| URI | m2://inv/MW8QYD4SNY |
|---|---|
| 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#I05E, Lorenzo Romar (unknown)
History
- 2026-11-02: add by m2/dev
Year loss table MW8RP33EQ0
| URI | m2://inv/MW8RP33EQ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Year loss table, Year loss table (definition). Also Wikidata Q117791335
History
- 2026-11-02: add by m2/dev
universal measuring coalgebra MW8Z6ZRKKP
| URI | m2://inv/MW8Z6ZRKKP |
|---|---|
| Kind | definition |
| 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#Z0PZ, universal measuring coalgebra (definition). In 9ZSNSJRJ5N/e1, definition 16
History
- 2026-10-27: add by m2/v0.4.2
MW941Q2DA7 MW941Q2DA7
| URI | m2://inv/MW941Q2DA7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04603#D84U (statement). In HEAG8V2JM1/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
MW9996B529 MW9996B529
| URI | m2://inv/MW9996B529 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14509#46YY (statement). In N6GD8392QB/e1, proposition 15.5
History
- 2026-10-28: add by m2/v0.4.2
Per Enflo MW9DJNZ9NF
| URI | m2://inv/MW9DJNZ9NF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HV91, Per Enflo (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HK76, Per Enflo (topic)
History
- 2026-11-02: add by m2/dev
MW9MR1227F MW9MR1227F
| URI | m2://inv/MW9MR1227F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#IVP8 (statement). In CC6S1HVK0T/e1, theorem 5.30
History
- 2026-10-28: add by m2/v0.4.2
Vladimir Vapnik MW9PZAZB8G
| URI | m2://inv/MW9PZAZB8G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#1ECY, Vladimir Vapnik (unknown)
History
- 2026-11-02: add by m2/dev
Item information function MW9RZ5VNW8
| URI | m2://inv/MW9RZ5VNW8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Item response theory#TGH6, Item information function (unknown)
History
- 2026-11-02: add by m2/dev
FedProx convergence for multi-layer selective SSMs MW9VPP1QAY
| URI | m2://inv/MW9VPP1QAY |
|---|---|
| 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.02659#0Z56, FedProx convergence for multi-layer selective SSMs (statement). In EV933413SJ/e1, corollary C.9
History
- 2026-10-29: add by m2/v0.4.12
MWA0BPJWB4 MWA0BPJWB4
| URI | m2://inv/MWA0BPJWB4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37124#H0P3 (statement). In 2QF1YG9DD0/e1, lemma 4.9
History
- 2026-10-30: add by m2/v0.4.12
Examples for strict inequality MWA5DGEVRG
| URI | m2://inv/MWA5DGEVRG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fatou's lemma#E90Z, Examples for strict inequality (example)
History
- 2026-11-02: add by m2/dev
MWAA9Z52KS MWAA9Z52KS
| URI | m2://inv/MWAA9Z52KS |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 01-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33529#7UP7 (unknown). In RQZGQG3PBR/e1, unknown II.12.1
History
- 2026-10-30: add by m2/v0.4.12
MWAARM0WX1 MWAARM0WX1
| URI | m2://inv/MWAARM0WX1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00625#63Y4 (statement). In BGA625B7W1/e1, corollary 2.3
History
- 2026-10-30: add by m2/v0.4.12
Physical reconstruction in local coefficient norm MWACGTBZ51
| URI | m2://inv/MWACGTBZ51 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.00448#Q1LN, Physical reconstruction in local coefficient norm (statement). In N06J7GC05Q/e1, corollary 7.3
History
- 2026-10-30: add by m2/v0.4.12
Slice genus MWADHYZ84A
| URI | m2://inv/MWADHYZ84A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#84S1, Slice genus (definition)
History
- 2026-11-02: add by m2/dev
MWAGFRB621 MWAGFRB621
| URI | m2://inv/MWAGFRB621 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25275#M44C (statement)
History
- 2026-11-01: add by m2/v0.6.15
Two boundary feedbacks stabilize the Kuramoto--Sivashinsky equation at any rate for every anti-diffusion coefficient MWAJJGYQ28
| URI | m2://inv/MWAJJGYQ28 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08764#8HRK, Two boundary feedbacks stabilize the Kuramoto--Sivashinsky equation at any rate for every anti-diffusion coefficient (statement). In QVFHS1C9BW/e1, theorem \thethrm
History
- 2026-10-29: add by m2/v0.4.10
MWAKGGC6J0 MWAKGGC6J0
| URI | m2://inv/MWAKGGC6J0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07064#5KI4 (example). In GPK6W5XQM3/e1, example 1
History
- 2026-10-29: add by m2/v0.4.10
MWAKVPM5S6 MWAKVPM5S6
| URI | m2://inv/MWAKVPM5S6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#QPFX (statement). In AGJE43FTF8/e1, proposition 5.6
History
- 2026-10-27: add by m2/v0.4.2
Severi MWAS8D8RXE
| URI | m2://inv/MWAS8D8RXE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#cor-4, Severi (statement). In VNMV985MXX, cor, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
Formal definition MWB3479QK3
| URI | m2://inv/MWB3479QK3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mandelbrot set#8IAV, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
MWB37JFJQ3 MWB37JFJQ3
| URI | m2://inv/MWB37JFJQ3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#9UC1 (definition)
History
- 2026-11-02: add by m2/v0.6.17
MWB4QMAYCM MWB4QMAYCM
| URI | m2://inv/MWB4QMAYCM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10881#J384 (statement). In DC01XRB5YE/e1, theorem 6
History
- 2026-10-28: add by m2/v0.4.3
MWB5G91H03 MWB5G91H03
| URI | m2://inv/MWB5G91H03 |
|---|---|
| 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.17752#7MWJ (statement). In 13N3N5WZWC/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Meets of generic joins MWB6AWBM21
| URI | m2://inv/MWB6AWBM21 |
|---|---|
| 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.16059#SXM2, Meets of generic joins (statement). In 51W7AECQDA/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
MWB7CC9EYX MWB7CC9EYX
| URI | m2://inv/MWB7CC9EYX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.05005#V4X3 (statement). In SMJMAQ2S3J/e1, proposition 4
History
- 2026-10-27: add by m2/v0.4.0
computer programming MWBAAM25XF
| URI | m2://inv/MWBAAM25XF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q80006, computer programming (unknown). Also EoM Programming
History
- 2026-10-26: add by m2/dev
MWBEX9VSMT MWBEX9VSMT
| URI | m2://inv/MWBEX9VSMT |
|---|---|
| Kind | definition |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
Examples MWBEYYAPN7
| URI | m2://inv/MWBEYYAPN7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal property#49CT, Examples (example)
History
- 2026-11-02: add by m2/dev
MWBGZGENP8 MWBGZGENP8
| URI | m2://inv/MWBGZGENP8 |
|---|---|
| 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.07644#4XV7 (statement). In TFAN2DR6FD/e1, lemma 8
History
- 2026-10-27: add by m2/v0.3.5
Single-equation methods MWBTV99XD2
| URI | m2://inv/MWBTV99XD2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Single-equation methods (econometrics), Single-equation methods (definition). Also Wikidata Q7523715
History
- 2026-11-02: add by m2/dev
MWBYFP1VA2 MWBYFP1VA2
| URI | m2://inv/MWBYFP1VA2 |
|---|---|
| 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.17100#V21L (statement). In 4TSS52DMB2/e1, theorem 5.3
History
- 2026-10-28: add by m2/v0.4.2
Yang Hui MWC1AVQAMH
| URI | m2://inv/MWC1AVQAMH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q574521, Yang Hui (unknown). Also ProofWiki Mathematician:Yang_Hui
- wikipedia: Wikipedia Yang Hui, Yang Hui (topic). Also Wikidata Q574521
History
- 2026-10-26: add by m2/dev
Maya Deren MWCYER1HAA
| URI | m2://inv/MWCYER1HAA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#P2TJ, Maya Deren (unknown)
History
- 2026-11-02: add by m2/dev
Definitions and notation MWCYHFS979
| URI | m2://inv/MWCYHFS979 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological game#0GOS, Definitions and notation (definition)
History
- 2026-11-02: add by m2/dev
scope MWD4NS8NN9
| URI | m2://inv/MWD4NS8NN9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.6/scope, scope (concept). In N54F33XE07, index, section A.6
History
- 2026-11-01: add by m2/v0.6.13
MWD6Q00XRY MWD6Q00XRY
| URI | m2://inv/MWD6Q00XRY |
|---|---|
| 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.19260#J7HD (statement). In PWXT7J9JX3/e1, proposition 3.16
History
- 2026-10-28: add by m2/v0.4.2
noncommutative algebraic geometry MWD8EVERRX
| URI | m2://inv/MWD8EVERRX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7049219, noncommutative algebraic geometry (unknown). Also nLab noncommutative algebraic geometry
- wikipedia: Wikipedia Noncommutative algebraic geometry, Noncommutative algebraic geometry (topic). Also Wikidata Q7049219
History
- 2026-10-26: add by m2/dev
Marcin Śmiglecki MWDHHKZBN5
| URI | m2://inv/MWDHHKZBN5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marcin Śmiglecki, Marcin Śmiglecki (topic). Also Wikidata Q2492723
History
- 2026-11-02: add by m2/dev
MWDWQF7CYG MWDWQF7CYG
| URI | m2://inv/MWDWQF7CYG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26745#BHXL (statement)
History
- 2026-11-01: add by m2/v0.6.15
MWDZXGSAPD MWDZXGSAPD
| URI | m2://inv/MWDZXGSAPD |
|---|---|
| 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.16245#H5DQ (statement). In 60CQJN845D/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
Jan Śniadecki MWE0Y03N6V
| URI | m2://inv/MWE0Y03N6V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jan Śniadecki, Jan Śniadecki (topic). Also Wikidata Q536339
History
- 2026-11-02: add by m2/dev
Lemma MWE5PWMS8Z
| URI | m2://inv/MWE5PWMS8Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex cap#N2HG, Lemma (statement)
History
- 2026-11-02: add by m2/dev
MWEA1W4Y57 MWEA1W4Y57
| URI | m2://inv/MWEA1W4Y57 |
|---|---|
| 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.38014#95U9 (definition). In F3X5W4E0AJ/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
Disintegration theorem MWEEGA21Z2
| URI | m2://inv/MWEEGA21Z2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 28-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5282247, Disintegration theorem (statement). Also Wikidata Q5282247
- thousand_plus: thousand_plus Q5282247, Disintegration theorem (statement). Also Wikidata Q5282247, Wikipedia Disintegration theorem
- wikipedia: Wikipedia Disintegration theorem, Disintegration theorem (statement). Also Wikidata Q5282247
History
- 2026-10-26: add by m2/dev
MWEEPZACF7 MWEEPZACF7
| URI | m2://inv/MWEEPZACF7 |
|---|---|
| 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.13898#IFX4 (statement). In 44EVK9BPC9/e1, lemma 2.3
- arxiv: arXiv 2610.18775#XQ0E (statement). In Y2Y96TTDQ4/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
MWEGW78NQV MWEGW78NQV
| URI | m2://inv/MWEGW78NQV |
|---|---|
| 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.35442#FZNI (statement). In C6R0DAA279/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Bridgeland stability condition MWF1MQX3V7
| URI | m2://inv/MWF1MQX3V7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Stability condition F0G92Q55DM |
Mentions
- wikidata: Wikidata Q96373948, Bridgeland stability condition (unknown). Also nLab Bridgeland stability condition
- wikipedia: Wikipedia Bridgeland stability condition, Bridgeland stability condition (definition). Also Wikidata Q96373948
History
- 2026-10-26: add by m2/dev
Jouanolou's key formula MWF5EK0GKJ
| URI | m2://inv/MWF5EK0GKJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residual intersection#0E2A, Jouanolou's key formula (statement)
History
- 2026-11-02: add by m2/dev
Revised simplex method MWF8VJEAVF
| URI | m2://inv/MWF8VJEAVF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Revised simplex method, Revised simplex method (definition). Also Wikidata Q17085895
History
- 2026-11-02: add by m2/dev
MWFAXP5B8X MWFAXP5B8X
| URI | m2://inv/MWFAXP5B8X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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.08196#W92F (example). In 8QVWZ23N42/e1, example 5.6
History
- 2026-10-29: add by m2/v0.4.10
MWFBY7KW27 MWFBY7KW27
| URI | m2://inv/MWFBY7KW27 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#ex:finite-choice (exercise). In N54F33XE07, ex, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Bayesian probability MWFC1VHGW8
| URI | m2://inv/MWFC1VHGW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#O6CW, Bayesian probability (definition)
- wikipedia: Wikipedia List of probability topics#11L7, Bayesian probability (definition)
History
- 2026-11-02: add by m2/dev
Examples MWFRHR9864
| URI | m2://inv/MWFRHR9864 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphism of schemes#9K7M, Examples (example)
History
- 2026-11-02: add by m2/dev
MWFS9DK7YT MWFS9DK7YT
| URI | m2://inv/MWFS9DK7YT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07718#XTTX (example). In CEKW9CNVVW/e1, example 3.1
History
- 2026-10-29: add by m2/v0.4.10
MWG14J8Y73 MWG14J8Y73
| URI | m2://inv/MWG14J8Y73 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19463#5L1F (statement). In Q4HWFFK0R9/e1, theorem 7.1
History
- 2026-10-28: add by m2/v0.4.2
MWG2YJB637 MWG2YJB637
| URI | m2://inv/MWG2YJB637 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.02672#88MS (definition). In ETRT1R1CQ8/e1, definition 1.3
History
- 2026-10-27: add by m2/v0.4.0
Phase matching MWGCPW0GGM
| URI | m2://inv/MWGCPW0GGM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear optics#69IQ, Phase matching (unknown)
History
- 2026-11-02: add by m2/dev
MWGE4QRGH9 MWGE4QRGH9
| URI | m2://inv/MWGE4QRGH9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 49-XX, 51-XX, 52-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.10801#ASJI (statement). In BWJS3H55WH/e1, lemma 8
History
- 2026-10-27: add by m2/v0.3.5
MWGWQQVGEN MWGWQQVGEN
| URI | m2://inv/MWGWQQVGEN |
|---|---|
| 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.22081#LK1M (statement). In 7JATJ4VG9G/e1, corollary 1.1
History
- 2026-10-27: add by m2/v0.4.0
Representations MWGZSQ9W2Z
| URI | m2://inv/MWGZSQ9W2Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia G2 (mathematics)#QOFB, Representations (definition)
History
- 2026-11-02: add by m2/dev
Foster's theorem MWH1518NEB
| URI | m2://inv/MWH1518NEB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MWFL, Foster's theorem (statement)
History
- 2026-11-02: add by m2/dev
Dirichlet's principle MWH5YFE82Z
| URI | m2://inv/MWH5YFE82Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus of variations#ITMM, Dirichlet's principle (statement)
History
- 2026-11-02: add by m2/dev
bi-invertible function MWHAKB5BWE
| URI | m2://inv/MWHAKB5BWE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/3.3/bi-invertible-function, bi-invertible function (concept). In N54F33XE07, index, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
MWHJ0K5R57 MWHJ0K5R57
| URI | m2://inv/MWHJ0K5R57 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22268#240U (statement). In 9ZD87293QS/e1, lemma 3.17
History
- 2026-10-27: add by m2/v0.4.0
MWHKEDGEZE MWHKEDGEZE
| URI | m2://inv/MWHKEDGEZE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/filtrations/filtrations-def.tex#thm:filtrations (statement). In PKGMM3P5QY, thm, section 51.10
History
- 2026-11-01: add by m2/v0.6.13
MWHKYARCQJ MWHKYARCQJ
| URI | m2://inv/MWHKYARCQJ |
|---|---|
| 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.11082#F5VG (statement). In GFPFFN0BXV/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.3
MWHNX908ME MWHNX908ME
| URI | m2://inv/MWHNX908ME |
|---|---|
| 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.05708#ARYM (statement). In 3BJPFGJNSS/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
Achi Brandt MWHP8MBZNY
| URI | m2://inv/MWHP8MBZNY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7BB1, Achi Brandt (topic)
History
- 2026-11-02: add by m2/dev
A priori bounds MWJEKHY4RY
| URI | m2://inv/MWJEKHY4RY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#HZC6, A priori bounds (statement). In NKXTXH59P1/e1, lemma C.2
History
- 2026-10-29: add by m2/v0.4.10
ideal MWJGF2RT99
| URI | m2://inv/MWJGF2RT99 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#4889, ideal (definition)
History
- 2026-11-02: add by m2/dev
N. Katherine Hayles MWJT3YG3GK
| URI | m2://inv/MWJT3YG3GK |
|---|---|
| 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#HH9L, N. Katherine Hayles (unknown)
History
- 2026-11-02: add by m2/dev
MWJTDWZR71 MWJTDWZR71
| URI | m2://inv/MWJTDWZR71 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16358#Y85G (statement). In RJA3YJ9NYK/e1, theorem 1.8
History
- 2026-10-28: add by m2/v0.4.2
Generalizations MWKY71VCPQ
| URI | m2://inv/MWKY71VCPQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Littlewood's 4/3 inequality#QCY9, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
MWM22AAYDP MWM22AAYDP
| URI | m2://inv/MWM22AAYDP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/valuations-sat.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 63.1
History
- 2026-11-01: add by m2/v0.6.13
Exchange theorem MWM5J4MQKX
| URI | m2://inv/MWM5J4MQKX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#JC49, Exchange theorem (statement)
History
- 2026-11-02: add by m2/dev
C0-semigroup MWM61CSP3F
| URI | m2://inv/MWM61CSP3F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#MH3Y, C0-semigroup (definition)
History
- 2026-11-02: add by m2/dev
MWMAQ4N042 MWMAQ4N042
| URI | m2://inv/MWMAQ4N042 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.17066#E6AE (statement). In X2AEJAQEP8/e1, corollary 4.12
History
- 2026-10-27: add by m2/v0.3.5
MWMB4Y20RC MWMB4Y20RC
| URI | m2://inv/MWMB4Y20RC |
|---|---|
| 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 2608.23797#EVXC (definition). In PZCA01JXVR/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
MWMFCX1WZH MWMFCX1WZH
| URI | m2://inv/MWMFCX1WZH |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#HAB8 (unknown). In QNBFHFZ3H0/e1, unknown 48
History
- 2026-10-28: add by m2/v0.4.2
Ma--Owa MWMJVKRRZE
| URI | m2://inv/MWMJVKRRZE |
|---|---|
| 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 2610.20849#MCT4, Ma--Owa (statement). In HK7FV97MFD/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.4.2
Special cases MWMNK4VJDF
| URI | m2://inv/MWMNK4VJDF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Windmill graph#FJ3M, Special cases (statement)
History
- 2026-11-02: add by m2/dev
weak paraconsistency MWMNRJZ5NB
| URI | m2://inv/MWMNRJZ5NB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#OX1I, weak paraconsistency (definition)
History
- 2026-11-02: add by m2/dev
factorial experiment MWMRA202NQ
| URI | m2://inv/MWMRA202NQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#GFQG, factorial experiment (definition)
History
- 2026-11-02: add by m2/dev
MWMS6KDJWN MWMS6KDJWN
| URI | m2://inv/MWMS6KDJWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.05684#U22T (statement). In 1PR73ECTZB/e1, proposition 30
History
- 2026-10-27: add by m2/v0.3.5
MWN6FTTSMV MWN6FTTSMV
| URI | m2://inv/MWN6FTTSMV |
|---|---|
| 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.19694#C3JQ (statement). In EP0M4RSZ9P/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
Ideal norm MWN7ZAX46N
| URI | m2://inv/MWN7ZAX46N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal norm, Ideal norm (definition). Also Wikidata Q5988007
History
- 2026-11-02: add by m2/dev
Delayed dual identity MWNF83SAVT
| URI | m2://inv/MWNF83SAVT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24056#600H, Delayed dual identity (statement)
History
- 2026-11-02: add by m2/v0.6.17
MWNJRS72SH MWNJRS72SH
| URI | m2://inv/MWNJRS72SH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28780#H51K (statement)
History
- 2026-11-01: add by m2/v0.6.15
MWNK2C0PPA MWNK2C0PPA
| URI | m2://inv/MWNK2C0PPA |
|---|---|
| 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#T9EB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mahler's theorem MWNN1W1VPK
| URI | m2://inv/MWNN1W1VPK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#3QUN, Mahler's theorem (statement)
- wikipedia: Wikipedia List of factorial and binomial topics#ID4Z, Mahler's theorem (statement)
History
- 2026-11-02: add by m2/dev
MWNYJWW4TZ MWNYJWW4TZ
| URI | m2://inv/MWNYJWW4TZ |
|---|---|
| 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.24790#8700 (statement)
History
- 2026-11-01: add by m2/v0.6.15
MWP0YR2HDA MWP0YR2HDA
| URI | m2://inv/MWP0YR2HDA |
|---|---|
| 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.14689#ZE8W (statement). In 6BKMNJYNPJ/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
MWP13W6K36 MWP13W6K36
| URI | m2://inv/MWP13W6K36 |
|---|---|
| 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.14434#OGBL (statement). In TW93XZXMHE/e1, theorem 5.3
History
- 2026-10-28: add by m2/v0.4.2
MWP2TJJBDV MWP2TJJBDV
| URI | m2://inv/MWP2TJJBDV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.37778#ENN0 (statement). In V399QB419P/e1, theorem C
History
- 2026-10-30: add by m2/v0.4.12
MWP37RPG32 MWP37RPG32
| URI | m2://inv/MWP37RPG32 |
|---|---|
| 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.20444#7BBC (statement)
History
- 2026-11-02: add by m2/v0.6.18
MWP5CS2R5J MWP5CS2R5J
| URI | m2://inv/MWP5CS2R5J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07164#U0LX (statement). In Q1XJ5VWE1N/e1, corollary 4.11
History
- 2026-10-29: add by m2/v0.4.10
MWPB6YYCM7 MWPB6YYCM7
| URI | m2://inv/MWPB6YYCM7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-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.01208#GSO6 (statement). In 317GZJ38HS/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Descartes on Polyhedra MWPC9816BA
| URI | m2://inv/MWPC9816BA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Descartes on Polyhedra, Descartes on Polyhedra (definition). Also Wikidata Q97798749
History
- 2026-11-02: add by m2/dev
MWPK9KT90R MWPK9KT90R
| URI | m2://inv/MWPK9KT90R |
|---|---|
| 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.00379#OW50 (statement). In BTSCWAGACB/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
Examples MWPPRPYP2T
| URI | m2://inv/MWPPRPYP2T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rice's theorem#QBZM, Examples (example)
History
- 2026-11-02: add by m2/dev
MWPPYFKF0P MWPPYFKF0P
| URI | m2://inv/MWPPYFKF0P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/machines-computations/disciplined-machines.tex#tur:mac:dis:prob:copier (exercise). In PKGMM3P5QY, prob, section 85.5
History
- 2026-11-01: add by m2/v0.6.13
crossed ladders problem MWPX74TAE4
| URI | m2://inv/MWPX74TAE4 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4183835, crossed ladders problem (problem). Also MathWorld CrossedLaddersProblem
History
- 2026-10-26: add by m2/dev
Finite-candidate certification MWPYW2AVSK
| URI | m2://inv/MWPYW2AVSK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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.33499#TRIY, Finite-candidate certification (statement). In AAH14S2JJ2/e1, proposition F.2
History
- 2026-10-30: add by m2/v0.4.12
MWPZYE5WAA MWPZYE5WAA
| URI | m2://inv/MWPZYE5WAA |
|---|---|
| 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.07828#LE5O (statement). In TWGMVT1N1G/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.10
General definition MWQAQHCJXX
| URI | m2://inv/MWQAQHCJXX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function of several real variables#ARZ4, General definition (definition)
History
- 2026-11-02: add by m2/dev
Translational symmetry MWQJ76VHNK
| URI | m2://inv/MWQJ76VHNK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#YH2O, Translational symmetry (unknown)
History
- 2026-11-02: add by m2/dev
MWQK6AD0CH MWQK6AD0CH
| URI | m2://inv/MWQK6AD0CH |
|---|---|
| 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.27049#NWNK (statement)
History
- 2026-11-01: add by m2/v0.6.15
MWR2MJSA9Y MWR2MJSA9Y
| URI | m2://inv/MWR2MJSA9Y |
|---|---|
| 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 2601.15010#Q0E1 (statement). In K3WJ6ZN184/e1, lemma 7.11
History
- 2026-10-27: add by m2/v0.3.5
MWR30FN7PS MWR30FN7PS
| URI | m2://inv/MWR30FN7PS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#ZLSR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Heat smoothing MWR4A07G1J
| URI | m2://inv/MWR4A07G1J |
|---|---|
| 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.02721#P16P, Heat smoothing (statement). In XXFYVDVPPE/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Implementation fidelity MWR5KR87FH
| URI | m2://inv/MWR5KR87FH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implementation fidelity, Implementation fidelity (definition). Also Wikidata Q104846737
History
- 2026-11-02: add by m2/dev
The fold MWR9VG0SX6
| URI | m2://inv/MWR9VG0SX6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-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.14160#AS7O, The fold (statement). In Y4TP36M0C7/e1, proposition 29
History
- 2026-10-28: add by m2/v0.4.2
MWRASSTKH9 MWRASSTKH9
| URI | m2://inv/MWRASSTKH9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19590#DY1O (statement). In AZFARX0CXG/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
MWRQWW2WE2 MWRQWW2WE2
| URI | m2://inv/MWRQWW2WE2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cohomology.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 51.3
History
- 2026-11-01: add by m2/v0.6.13
Luleå algorithm MWS38K8WNB
| URI | m2://inv/MWS38K8WNB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#54Z6, Luleå algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Distances through the backbone MWS50J337T
| URI | m2://inv/MWS50J337T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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.34025#83DD, Distances through the backbone (statement). In VCG579E7MM/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Relationship between propositional and predicate formulas MWS6S7APSB
| URI | m2://inv/MWS6S7APSB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propositional formula#2AGE, Relationship between propositional and predicate formulas (statement)
History
- 2026-11-02: add by m2/dev
Restricted Euclidean groupoid MWSBVQYKZ0
| URI | m2://inv/MWSBVQYKZ0 |
|---|---|
| Kind | definition |
| 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.25987#1325, Restricted Euclidean groupoid (definition)
History
- 2026-11-01: add by m2/v0.6.15
Side-Side-Angle MWSC4FF5BC
| URI | m2://inv/MWSC4FF5BC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solution of triangles#IMKC, Side-Side-Angle (unknown)
History
- 2026-11-02: add by m2/dev
Higher moments MWSF2G8E8Q
| URI | m2://inv/MWSF2G8E8Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#HI4T, Higher moments (statement). In ZZER8ZBSCR/e1, theorem A.7
History
- 2026-10-29: add by m2/v0.4.12
automorphic number MWSQA9K4PW
| URI | m2://inv/MWSQA9K4PW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2313686, automorphic number (unknown). Also MathWorld AutomorphicNumber, OEIS A003226
- wikipedia: Wikipedia Automorphic number, Automorphic number (definition). Also Wikidata Q2313686
History
- 2026-10-26: add by m2/dev
MWSQND72BK MWSQND72BK
| URI | m2://inv/MWSQND72BK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38970#OZEB (statement). In VE6WBAMDSA/e1, corollary 4.1
History
- 2026-10-30: add by m2/v0.4.12
Stability of the first blocks MWSR3B57DM
| URI | m2://inv/MWSR3B57DM |
|---|---|
| Kind | definition |
| 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#IINQ, Stability of the first blocks (definition). In 8BNPFYQDQX/e1, definition 1.2
History
- 2026-10-29: add by m2/v0.4.10
MWSXGDB9D4 MWSXGDB9D4
| URI | m2://inv/MWSXGDB9D4 |
|---|---|
| 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#V32S (statement). In 91RRFW0K5D/e1, proposition 22
History
- 2026-10-27: add by m2/v0.3.5
MWSXZT9VG4 MWSXZT9VG4
| URI | m2://inv/MWSXZT9VG4 |
|---|---|
| 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 2609.39254#ZZGP (statement). In A59MZ9H284/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
MWT387V2EQ MWT387V2EQ
| URI | m2://inv/MWT387V2EQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25915#KHK2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
MWT77HF6D2 MWT77HF6D2
| URI | m2://inv/MWT77HF6D2 |
|---|---|
| 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.40207#X3IL (statement). In JXTG8KP95P/e1, theorem 7.1
History
- 2026-10-30: add by m2/v0.4.12
Shewhart, Walter A. MWTC0PJZ5P
| URI | m2://inv/MWTC0PJZ5P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#T7VI, Shewhart, Walter A. (topic)
History
- 2026-11-02: add by m2/dev
MWTDF1Q4H4 MWTDF1Q4H4
| URI | m2://inv/MWTDF1Q4H4 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2005.03073#0JKQ (conjecture). In P2ETMXKVDS/e1, conjecture 5.2
History
- 2026-10-27: add by m2/v0.3.5
MWTMCPWZEG MWTMCPWZEG
| URI | m2://inv/MWTMCPWZEG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12612#7LYQ (statement). In 8A0VZV8PBN/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
Waring's problem MWTR2XCMD7
| URI | m2://inv/MWTR2XCMD7 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#PM60, Waring's problem (conjecture)
History
- 2026-11-02: add by m2/dev
MWTSN8K7PZ MWTSN8K7PZ
| URI | m2://inv/MWTSN8K7PZ |
|---|---|
| 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.20135#X3J9 (statement). In ZQQEN3J866/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
MWTT32WMR6 MWTT32WMR6
| URI | m2://inv/MWTT32WMR6 |
|---|---|
| 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 2204.04820#SCM5 (statement). In 9EJ71MW89B/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Exact locally dense lattice MWTTHNDJK1
| URI | m2://inv/MWTTHNDJK1 |
|---|---|
| Kind | definition |
| 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.14380#89SD, Exact locally dense lattice (definition). In 2ZRQP063HP/e1, definition 1.2
History
- 2026-10-28: add by m2/v0.4.2
MWTZ89H5Z7 MWTZ89H5Z7
| URI | m2://inv/MWTZ89H5Z7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.02261#0YQW (definition). In TT74R659T0/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
Thom's second isotopy lemma MWVDKQBHGH
| URI | m2://inv/MWVDKQBHGH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thom's second isotopy lemma, Thom's second isotopy lemma (statement). Also Wikidata Q113504694
History
- 2026-11-02: add by m2/dev
Ito--Reid MWVEXSCE9A
| URI | m2://inv/MWVEXSCE9A |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16962#10NQ, Ito--Reid (problem). In KJC9FRS3C2/e1, problem 2.2
History
- 2026-10-28: add by m2/v0.4.2
Vizing's theorem MWVGF6EWT3
| URI | m2://inv/MWVGF6EWT3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edge coloring#D6XK, Vizing's theorem (statement)
History
- 2026-11-02: add by m2/dev
Axiom of global choice MWVR4YDS3D
| URI | m2://inv/MWVR4YDS3D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of global choice, Axiom of global choice (statement). Also Wikidata Q3511558
History
- 2026-11-02: add by m2/dev
W* MWVSVENQ04
| URI | m2://inv/MWVSVENQ04 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#SW90, W* (definition)
History
- 2026-11-02: add by m2/dev
Finite-reference calibration of the original signing law MWVX2P594J
| URI | m2://inv/MWVX2P594J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#PEHW, Finite-reference calibration of the original signing law (statement). In 9YAE8FNQST/e1, corollary 17.28
History
- 2026-10-30: add by m2/v0.4.12
MWVYXCXX8Q MWVYXCXX8Q
| URI | m2://inv/MWVYXCXX8Q |
|---|---|
| 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.24569#80TB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Moving average crossover MWW2GSGYNW
| URI | m2://inv/MWW2GSGYNW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moving average crossover, Moving average crossover (definition). Also Wikidata Q6927130
History
- 2026-11-02: add by m2/dev
MWW3R8DBY4 MWW3R8DBY4
| URI | m2://inv/MWW3R8DBY4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14914#XX2G (example). In CHC3T113Y4/e1, example 1
History
- 2026-10-28: add by m2/v0.4.2
Marie-Paule Malliavin MWW5RH5H9E
| URI | m2://inv/MWW5RH5H9E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marie-Paule Malliavin, Marie-Paule Malliavin (topic). Also Wikidata Q44850566
History
- 2026-11-02: add by m2/dev
MWW8KRCYY8 MWW8KRCYY8
| URI | m2://inv/MWW8KRCYY8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-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.01694#8GA7 (definition). In EBMHYN0XK9/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
MWWAMQA2HZ MWWAMQA2HZ
| URI | m2://inv/MWWAMQA2HZ |
|---|---|
| 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.29925#UTAG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Unit (statistics) MWWQ8FJ3AG
| URI | m2://inv/MWWQ8FJ3AG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#EZNU, Unit (statistics) (definition)
History
- 2026-11-02: add by m2/dev
MWWRYKR35W MWWRYKR35W
| URI | m2://inv/MWWRYKR35W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/satisfaction.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 19.14
History
- 2026-11-01: add by m2/v0.6.13
10-orthoplex MWX4Q8ZX33
| URI | m2://inv/MWX4Q8ZX33 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#HJK5, 10-orthoplex (definition)
History
- 2026-11-02: add by m2/dev
Joram Lindenstrauss MWX5BMR5ZW
| URI | m2://inv/MWX5BMR5ZW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MN9E, Joram Lindenstrauss (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2YBW, Joram Lindenstrauss (topic)
History
- 2026-11-02: add by m2/dev
Quad cities MWX66MGE9S
| URI | m2://inv/MWX66MGE9S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#XPA9, Quad cities (unknown)
History
- 2026-11-02: add by m2/dev
Theorem MWXBFD20G5
| URI | m2://inv/MWXBFD20G5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Countable set#18HA, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications MWXDH4E907
| URI | m2://inv/MWXDH4E907 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ziv–Zakai bound#4WWQ, Applications (example)
History
- 2026-11-02: add by m2/dev
MWXFE18PGD MWXFE18PGD
| URI | m2://inv/MWXFE18PGD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-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.21768#OEQ1 (statement). In VD53W58DS1/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.4.2
Aperiodic graph MWXN2ABPZJ
| URI | m2://inv/MWXN2ABPZJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aperiodic graph, Aperiodic graph (definition). Also Wikidata Q4779368
History
- 2026-11-02: add by m2/dev
MWXTE1T1FN MWXTE1T1FN
| URI | m2://inv/MWXTE1T1FN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-5.xml#exercise-2 (exercise). In 649HGZKE96, exercise, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Properties MWXVW3DQV1
| URI | m2://inv/MWXVW3DQV1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann entropy#DIWR, Properties (statement)
History
- 2026-11-02: add by m2/dev
MWXZ1Z9FTA MWXZ1Z9FTA
| URI | m2://inv/MWXZ1Z9FTA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroFunctions.tex#example-5 (example). In P1C114YBXG, example, section D
History
- 2026-11-01: add by m2/v0.6.13
MWY05ME9QC MWY05ME9QC
| URI | m2://inv/MWY05ME9QC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36811#DO0D (statement). In ZQDX8E43SQ/e1, proposition 4.8
History
- 2026-10-30: add by m2/v0.4.12
Feynman's action principle MWY2EQF55W
| URI | m2://inv/MWY2EQF55W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Action principles#UV9E, Feynman's action principle (statement)
History
- 2026-11-02: add by m2/dev
Octav Onicescu MWY7W81274
| URI | m2://inv/MWY7W81274 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#3NC9, Octav Onicescu (unknown)
History
- 2026-11-02: add by m2/dev
Scheme-agnostic Jensen principle MWYD8FW2S4
| URI | m2://inv/MWYD8FW2S4 |
|---|---|
| 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.16680#6GS2, Scheme-agnostic Jensen principle (statement). In H29YHXQZV6/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
MWYMG21AMJ MWYMG21AMJ
| URI | m2://inv/MWYMG21AMJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/normalization/translations.tex#prop:normal-N2i-to-G2i (statement). In PKGMM3P5QY, prop, section 59.4
History
- 2026-11-01: add by m2/v0.6.13
MWYSCNW70R MWYSCNW70R
| URI | m2://inv/MWYSCNW70R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1705.04310#7I6O (definition). In MG51GG0QZN/e1, definition 5.6
History
- 2026-10-27: add by m2/v0.3.5
Examples MWYZV1R0GN
| URI | m2://inv/MWYZV1R0GN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Saturated model#P3QA, Examples (example)
History
- 2026-11-02: add by m2/dev
Formulations MWZ32W161F
| URI | m2://inv/MWZ32W161F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unitarian trick#HNQF, Formulations (definition)
History
- 2026-11-02: add by m2/dev
Commutator MWZ34J3ZB4
| URI | m2://inv/MWZ34J3ZB4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#A4V4, Commutator (definition)
- wikipedia: Wikipedia List of Lie groups topics#XTSW, Commutator (definition)
History
- 2026-11-02: add by m2/dev
MWZ392Y0EC MWZ392Y0EC
| URI | m2://inv/MWZ392Y0EC |
|---|---|
| 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.19300#3UU2 (statement). In S6S4RD5VXJ/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
Continuous-time random walk MWZ45ZM3JY
| URI | m2://inv/MWZ45ZM3JY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous-time random walk, Continuous-time random walk (definition). Also Wikidata Q18206182
History
- 2026-11-02: add by m2/dev
Unicity Theorem of the reconstruction MWZGWQ6YKB
| URI | m2://inv/MWZGWQ6YKB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy wavelet#LUYJ, Unicity Theorem of the reconstruction (statement)
History
- 2026-11-02: add by m2/dev
Special cases MWZJHVVFF8
| URI | m2://inv/MWZJHVVFF8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scalar curvature#YT2F, Special cases (statement)
History
- 2026-11-02: add by m2/dev
MWZS6XK083 MWZS6XK083
| URI | m2://inv/MWZS6XK083 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-6 (exercise). In E59CDZA4DP, exercise, section 10.1.4
History
- 2026-11-01: add by m2/v0.6.13