Inventory rows EM
The cards of the rows of the inventory whose ids start with EM. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
EM03A2YQWA EM03A2YQWA
| URI | m2://inv/EM03A2YQWA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2004.12552#L2B8 (statement). In TWPE10CZ1S/e1, corollary 5.3
History
- 2026-10-27: add by m2/v0.3.5
b□b EM06646KA7
| URI | m2://inv/EM06646KA7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#MH3P, b□b (definition)
History
- 2026-11-02: add by m2/dev
Construction EM06H6PDQR
| URI | m2://inv/EM06H6PDQR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maurer–Cartan form#FUOD, Construction (definition)
History
- 2026-11-02: add by m2/dev
EM0HRPZF7W EM0HRPZF7W
| URI | m2://inv/EM0HRPZF7W |
|---|---|
| Kind | problem |
| 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 2304.13811#1D41 (problem). In HGKYMFSDEM/e1, problem 2
History
- 2026-10-27: add by m2/v0.4.0
EM0J33T8XX EM0J33T8XX
| URI | m2://inv/EM0J33T8XX |
|---|---|
| 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 2609.29008#DDRE (statement)
History
- 2026-11-01: add by m2/v0.6.15
EM0KDYV7F9 EM0KDYV7F9
| URI | m2://inv/EM0KDYV7F9 |
|---|---|
| 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.26496#ZHVA (statement)
History
- 2026-11-01: add by m2/v0.6.15
EM0MSDN2K8 EM0MSDN2K8
| URI | m2://inv/EM0MSDN2K8 |
|---|---|
| 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 2507.05417#ZXJY (statement). In RGHZ863Q26/e1, fact 3.14
History
- 2026-10-27: add by m2/v0.3.5
Kronecker coefficient EM0S4H896S
| URI | m2://inv/EM0S4H896S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#UL1Z, Kronecker coefficient (definition)
History
- 2026-11-02: add by m2/dev
Hirotaka Sugawara EM0S72YE1T
| URI | m2://inv/EM0S72YE1T |
|---|---|
| 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 Q1620298, Hirotaka Sugawara (unknown). Also nLab Hirotaka Sugawara
History
- 2026-10-26: add by m2/dev
Sharp instability and Lorentz defects at $s=d/2$ EM0SSZ6KRN
| URI | m2://inv/EM0SSZ6KRN |
|---|---|
| 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.24962#RTLA, Sharp instability and Lorentz defects at $s=d/2$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
EM0WKZYVKF EM0WKZYVKF
| URI | m2://inv/EM0WKZYVKF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-conc.ptx#exercise-15 (exercise). In Y91XFCEVHQ, exercise, section 3.6
History
- 2026-11-01: add by m2/v0.6.13
EM0Y88V1BC EM0Y88V1BC
| URI | m2://inv/EM0Y88V1BC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#thm:topological_kunneth_1 (statement). In RZP28ERRZV, theorem, section 52.7.2
History
- 2026-11-01: add by m2/v0.6.13
Bryn Davies EM119DMHBY
| URI | m2://inv/EM119DMHBY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#43WO, Bryn Davies (unknown)
History
- 2026-11-02: add by m2/dev
Perl Data Language EM138RE48K
| URI | m2://inv/EM138RE48K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#AFDE, Perl Data Language (unknown)
History
- 2026-11-02: add by m2/dev
EM16R32VDV EM16R32VDV
| URI | m2://inv/EM16R32VDV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.03559#FM5I (statement). In R68THJCHX6/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
Variant EM1AH9RYAN
| URI | m2://inv/EM1AH9RYAN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Miscellaneous Mathematical Symbols-B#MWS9, Variant (statement)
History
- 2026-11-02: add by m2/dev
Hall formulation EM1GC7QJSB
| URI | m2://inv/EM1GC7QJSB |
|---|---|
| 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.38993#VJFY, Hall formulation (statement). In AFKQK866Y1/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Properties EM1J9KQ3BF
| URI | m2://inv/EM1J9KQ3BF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central binomial coefficient#JO8E, Properties (statement)
History
- 2026-11-02: add by m2/dev
Melanie Wood EM1K1SA8BE
| URI | m2://inv/EM1K1SA8BE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#97F2, Melanie Wood (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5HNT, Melanie Wood (unknown)
History
- 2026-11-02: add by m2/dev
EM1KMA1TFE EM1KMA1TFE
| URI | m2://inv/EM1KMA1TFE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.07461#8WK2 (statement). In GAG532VMPF/e1, theorem 7.1.2
History
- 2026-10-27: add by m2/v0.3.5
Properties EM225Y4QY6
| URI | m2://inv/EM225Y4QY6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dependence logic#Y11I, Properties (statement)
History
- 2026-11-02: add by m2/dev
EM23PGW1YN EM23PGW1YN
| URI | m2://inv/EM23PGW1YN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25449#WUBR (definition). In 9JHMTYGWFQ/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.6
Lin--Lu--Yau curvature EM2A1GVZNF
| URI | m2://inv/EM2A1GVZNF |
|---|---|
| Kind | definition |
| 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 2610.10559#VQHL, Lin--Lu--Yau curvature (definition). In WEP0PNJW09/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.10
Irina Mitrea EM2AD5DZAP
| URI | m2://inv/EM2AD5DZAP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KYIK, Irina Mitrea (topic)
History
- 2026-11-02: add by m2/dev
EM2CJWCDPD EM2CJWCDPD
| URI | m2://inv/EM2CJWCDPD |
|---|---|
| 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.20119#KYL3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
EM2MNKBX07 EM2MNKBX07
| URI | m2://inv/EM2MNKBX07 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-40 (proof). In VNMV985MXX, proof, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
EM2N04PQM6 EM2N04PQM6
| URI | m2://inv/EM2N04PQM6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39919#DJG3 (statement). In D3NAXHM4DV/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
EM2QFC0Q84 EM2QFC0Q84
| URI | m2://inv/EM2QFC0Q84 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-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.22708#7QIC (conjecture)
History
- 2026-11-02: add by m2/v0.6.17
EM2SYTPNZV EM2SYTPNZV
| URI | m2://inv/EM2SYTPNZV |
|---|---|
| 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.30090#NODZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stage 6: hypothesis testing EM3F41D00R
| URI | m2://inv/EM3F41D00R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demand forecasting#9U1C, Stage 6: hypothesis testing (statement)
History
- 2026-11-02: add by m2/dev
EM3HA33H51 EM3HA33H51
| URI | m2://inv/EM3HA33H51 |
|---|---|
| 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.18632#3NMP (statement). In PTM5MVD4M0/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
EM3J8VMZRM EM3J8VMZRM
| URI | m2://inv/EM3J8VMZRM |
|---|---|
| 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.35766#DX9M (statement). In 6638EFW1NG/e1, proposition 4.4
History
- 2026-10-30: add by m2/v0.4.12
EM3KQTC4YN EM3KQTC4YN
| URI | m2://inv/EM3KQTC4YN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-288 (exercise). In VNMV985MXX, exercise, section 6.4
History
- 2026-11-01: add by m2/v0.6.13
Energy well-posedness EM3MGNEC88
| URI | m2://inv/EM3MGNEC88 |
|---|---|
| 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.24960#CTIU, Energy well-posedness (statement)
History
- 2026-11-01: add by m2/v0.6.15
Transport theorem EM3PJ9P2XW
| URI | m2://inv/EM3PJ9P2XW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transport theorem, Transport theorem (statement). Also Wikidata Q110817837
History
- 2026-11-02: add by m2/dev
Power transform EM3W7BRR9T
| URI | m2://inv/EM3W7BRR9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power transform, Power transform (definition). Also Wikidata Q895499
History
- 2026-11-02: add by m2/dev
Applications EM432CK8EA
| URI | m2://inv/EM432CK8EA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellis–Numakura lemma#W5FH, Applications (example)
History
- 2026-11-02: add by m2/dev
Shanks transformation EM46VSDDM2
| URI | m2://inv/EM46VSDDM2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shanks transformation, Shanks transformation (definition). Also Wikidata Q3537519
History
- 2026-11-02: add by m2/dev
EM4C6FEXNX EM4C6FEXNX
| URI | m2://inv/EM4C6FEXNX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#example-19 (example). In E9HS8K3A52, example, section 10.9.2
History
- 2026-11-01: add by m2/v0.6.13
Joseph J. Rotman EM4FZMV0AV
| URI | m2://inv/EM4FZMV0AV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph J. Rotman, Joseph J. Rotman (topic). Also Wikidata Q26236254
History
- 2026-11-02: add by m2/dev
Stephen Alexander EM4MBG4QAV
| URI | m2://inv/EM4MBG4QAV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephen Alexander (astronomer), Stephen Alexander (topic). Also Wikidata Q7608570
History
- 2026-11-02: add by m2/dev
Bianchi identity EM4N3GZJAR
| URI | m2://inv/EM4N3GZJAR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connection (vector bundle)#2199, Bianchi identity (statement)
History
- 2026-11-02: add by m2/dev
Definition EM4TX6WP1W
| URI | m2://inv/EM4TX6WP1W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach manifold#7VUP, Definition (definition)
History
- 2026-11-02: add by m2/dev
Maximal torus EM4YYJMJSD
| URI | m2://inv/EM4YYJMJSD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#U7RG, Maximal torus (definition)
History
- 2026-11-02: add by m2/dev
EM50SCGYQS EM50SCGYQS
| URI | m2://inv/EM50SCGYQS |
|---|---|
| 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.24212#EG9S (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definitions EM58FKQC90
| URI | m2://inv/EM58FKQC90 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logarithmic identities#USMY, Definitions (definition)
History
- 2026-11-02: add by m2/dev
EM5BCQXZBW EM5BCQXZBW
| URI | m2://inv/EM5BCQXZBW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#PEDK (definition). In VN084GGZGK/e1, definition 2.22
History
- 2026-10-28: add by m2/v0.4.3
Hwang EM5H8AGA64
| URI | m2://inv/EM5H8AGA64 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10545#NCMP, Hwang (statement). In ZA75D59G8K/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.10
Gelfand–Naimark–Segal construction EM5NSX2PG6
| URI | m2://inv/EM5NSX2PG6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gelfand–Naimark–Segal construction, Gelfand–Naimark–Segal construction (definition). Also Wikidata Q5530428
History
- 2026-11-02: add by m2/dev
Monge patch EM5R08BMZX
| URI | m2://inv/EM5R08BMZX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q132146684, Monge patch (concept). Also MathWorld MongePatch
History
- 2026-10-26: add by m2/dev
EM5TN7479S EM5TN7479S
| URI | m2://inv/EM5TN7479S |
|---|---|
| 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 2604.10080#0TLO (definition). In KM2FWKP93A/e1, definition 5.4
History
- 2026-10-27: add by m2/v0.4.0
The ceiling, matched; i.i.d.\ model EM630G7WXC
| URI | m2://inv/EM630G7WXC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#F363, The ceiling, matched; i.i.d.\ model (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example EM63841902
| URI | m2://inv/EM63841902 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symbolic method (combinatorics)#D6XJ, Example (example)
History
- 2026-11-02: add by m2/dev
EM63HE408R EM63HE408R
| URI | m2://inv/EM63HE408R |
|---|---|
| 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.16941#M1NJ (statement). In T96MPYB0KT/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.2
Raoul Bott EM6HDJ0BNH
| URI | m2://inv/EM6HDJ0BNH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#MM01, Raoul Bott (topic)
History
- 2026-11-02: add by m2/dev
Anne Sjerp Troelstra EM6N8GXTPD
| URI | m2://inv/EM6N8GXTPD |
|---|---|
| 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 Q565846, Anne Sjerp Troelstra (unknown). Also nLab Anne Sjerp Troelstra
- wikipedia: Wikipedia Anne Sjerp Troelstra, Anne Sjerp Troelstra (topic). Also Wikidata Q565846
History
- 2026-10-26: add by m2/dev
Autoregressive process EM6WFFYSKY
| URI | m2://inv/EM6WFFYSKY |
|---|---|
| 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#AHJB, Autoregressive process (definition)
History
- 2026-11-02: add by m2/dev
EM6WV7Q5ZQ EM6WV7Q5ZQ
| URI | m2://inv/EM6WV7Q5ZQ |
|---|---|
| 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.11481#B4QJ (statement). In 8XHK5ZCX7H/e1, theorem 6.2
History
- 2026-10-28: add by m2/v0.4.3
EM6XV097KG EM6XV097KG
| URI | m2://inv/EM6XV097KG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21507#GDRA (statement). In 879ZDHVK7N/e1, proposition 3.13
History
- 2026-10-27: add by m2/v0.4.2
EM75J7Y2CT EM75J7Y2CT
| URI | m2://inv/EM75J7Y2CT |
|---|---|
| Kind | problem |
| 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 2112.05010#D9NN (problem). In 4SZNPS3Z00/e1, problem 1.4
History
- 2026-10-27: add by m2/v0.3.6
Purely discrete spectrum from compact resolvent EM76VV5ZHY
| URI | m2://inv/EM76VV5ZHY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01855#WZ95, Purely discrete spectrum from compact resolvent (statement). In MM8P5CJR18/e1, proposition A.1
History
- 2026-10-29: add by m2/v0.4.12
Examples EM77S74M21
| URI | m2://inv/EM77S74M21 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clairaut's equation#4XYF, Examples (example)
History
- 2026-11-02: add by m2/dev
Sylvie Roelly EM7BE569KT
| URI | m2://inv/EM7BE569KT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvie Roelly, Sylvie Roelly (topic). Also Wikidata Q50923665
History
- 2026-11-02: add by m2/dev
Stirling polynomials EM7K9CSAQ5
| URI | m2://inv/EM7K9CSAQ5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25113043, Stirling polynomials (concept). Also MathWorld StirlingPolynomial
- wikipedia: Wikipedia Stirling polynomials, Stirling polynomials (definition). Also Wikidata Q25113043
History
- 2026-10-26: add by m2/dev
Louis Nirenberg EM7TW8Y4VF
| URI | m2://inv/EM7TW8Y4VF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louis Nirenberg, Louis Nirenberg (topic). Also Wikidata Q596590
History
- 2026-11-02: add by m2/dev
arbitrarily large EM84KBWJB9
| URI | m2://inv/EM84KBWJB9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#9ZMB, arbitrarily large (definition)
History
- 2026-11-02: add by m2/dev
EM8EKH5ZCS EM8EKH5ZCS
| URI | m2://inv/EM8EKH5ZCS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#YMIL (statement). In B9EX6K51RD/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.2
EM8VZZ1K3C EM8VZZ1K3C
| URI | m2://inv/EM8VZZ1K3C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38475#PYNN (statement). In X2AAB9KZ4R/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
EM97S40JFG EM97S40JFG
| URI | m2://inv/EM97S40JFG |
|---|---|
| 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 1904.09810#6J21 (statement). In T1VFA7TXPA/e1, lemma 17
History
- 2026-10-27: add by m2/v0.3.5
EM990EVHAB EM990EVHAB
| URI | m2://inv/EM990EVHAB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 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.38268#GBV1 (statement). In TQ18V9TDQS/e1, corollary 5.2
History
- 2026-10-30: add by m2/v0.4.12
Alex Selby EM99VQ5QXB
| URI | m2://inv/EM99VQ5QXB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eternity puzzle#PSGQ, Alex Selby (unknown)
History
- 2026-11-02: add by m2/dev
EM9AF69Y8G EM9AF69Y8G
| URI | m2://inv/EM9AF69Y8G |
|---|---|
| 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.05193#1J6T (statement). In XDMM0KNNZ9/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
Definition EM9EC3NPKD
| URI | m2://inv/EM9EC3NPKD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degree-Rips bifiltration#J8K6, Definition (definition)
History
- 2026-11-02: add by m2/dev
EM9KBERFEB EM9KBERFEB
| URI | m2://inv/EM9KBERFEB |
|---|---|
| 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.12810#X26E (statement). In DR35633CPN/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
Characterizations EM9MCS348Z
| URI | m2://inv/EM9MCS348Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isosceles trapezoid#0ZO4, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Th. 7.1 , Th. 8.12 EM9NB5VBWK
| URI | m2://inv/EM9NB5VBWK |
|---|---|
| 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 2610.02634#5E21, Th. 7.1 , Th. 8.12 (statement). In 6YRWCCW45Y/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
EM9NBXSTCH EM9NBXSTCH
| URI | m2://inv/EM9NBXSTCH |
|---|---|
| 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.17589#M2Y0 (statement). In GSTK4569X1/e1, proposition 5.11
History
- 2026-10-28: add by m2/v0.4.2
EM9SHP93HM EM9SHP93HM
| URI | m2://inv/EM9SHP93HM |
|---|---|
| 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.11034#IFOH (statement). In 2KACPY9MMF/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.3
Double pendulum EM9W2Z15XX
| URI | m2://inv/EM9W2Z15XX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double pendulum, Double pendulum (definition). Also Wikidata Q1243208
History
- 2026-11-02: add by m2/dev
EM9WNBC1BX EM9WNBC1BX
| URI | m2://inv/EM9WNBC1BX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26033#DKHP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Euclidean algorithm EM9XPNMYKH
| URI | m2://inv/EM9XPNMYKH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/3.5.1/euclidean-algorithm, Euclidean algorithm (concept). In QKM9DD2H56, index, section 3.5.1
History
- 2026-11-01: add by m2/v0.6.13
EMA6WG2RWR EMA6WG2RWR
| URI | m2://inv/EMA6WG2RWR |
|---|---|
| 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.38131#POML (statement). In GM3S19KFDH/e1, corollary 3.8
History
- 2026-10-30: add by m2/v0.4.12
Mathematical visualization EMA7QJ6CYZ
| URI | m2://inv/EMA7QJ6CYZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical visualization, Mathematical visualization (definition). Also Wikidata Q6786873
History
- 2026-11-02: add by m2/dev
David Mumford EMAEZP2AWJ
| URI | m2://inv/EMAEZP2AWJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Mumford, David Mumford (topic). Also Wikidata Q334021
History
- 2026-11-02: add by m2/dev
Stone--Weierstrass, complex version EMAN6ZM645
| URI | m2://inv/EMAN6ZM645 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#thm:SWcomplex, Stone--Weierstrass, complex version (statement). In E59CDZA4DP, thm, section 1.7.2
History
- 2026-11-01: add by m2/v0.6.13
EMAQQZEXX3 EMAQQZEXX3
| URI | m2://inv/EMAQQZEXX3 |
|---|---|
| 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.32977#USMU (statement). In 4KT9TK3MG4/e1, lemma C.5
History
- 2026-10-31: add by m2/v0.5.6
$\cS$-independence EMB7DNZZQQ
| URI | m2://inv/EMB7DNZZQQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#UB8M, $\cS$-independence (definition). In 7V3HG30ZGW/e1, definition 2.14
History
- 2026-10-27: add by m2/v0.4.0
EMB7YDP4GQ EMB7YDP4GQ
| URI | m2://inv/EMB7YDP4GQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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 2205.13464#4HC9 (definition). In JPYGC2R3FC/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.3.6
Generalized abundance for compact hyperk\"{a}hler manifolds EMBD9BAHBN
| URI | m2://inv/EMBD9BAHBN |
|---|---|
| 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.12277#T3VS, Generalized abundance for compact hyperk\"{a}hler manifolds (statement). In N6GW8Z49SZ/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Computational reduction of the intersection numbers EMBKVS58WC
| URI | m2://inv/EMBKVS58WC |
|---|---|
| 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#XC7O, Computational reduction of the intersection numbers (statement). In 9NVKKW8HDH/e1, proposition 3.33
History
- 2026-10-28: add by m2/v0.4.2
Spinor genus EMBP0HXYXZ
| URI | m2://inv/EMBP0HXYXZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spinor genus, Spinor genus (definition). Also Wikidata Q7577643
History
- 2026-11-02: add by m2/dev
Neville Theta functions EMBY7071D5
| URI | m2://inv/EMBY7071D5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Neville theta functions TZ1N0HAGW7 |
Mentions
- wikidata: Wikidata Q19514367, Neville Theta functions (concept). Also MathWorld NevilleThetaFunctions
- wikipedia: Wikipedia Neville theta functions, Neville theta functions (definition). Also Wikidata Q19514367
History
- 2026-10-26: add by m2/dev
astronomy EMC32GZCNB
| URI | m2://inv/EMC32GZCNB |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 85-03, 85-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q333, astronomy (topic). Also ProofWiki Definition:Astronomy
History
- 2026-10-26: add by m2/dev
Wilson polynomials EMC7BEAMNT
| URI | m2://inv/EMC7BEAMNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Wilson polynomials 1CPF7SWQ3S |
Mentions
- wikidata: Wikidata Q8023263, Wilson polynomials (unknown). Also EoM Wilson polynomials, MathWorld WilsonPolynomial
- wikipedia: Wikipedia Wilson polynomials, Wilson polynomials (definition). Also Wikidata Q8023263
History
- 2026-10-26: add by m2/dev
EMC8GJMNGY EMC8GJMNGY
| URI | m2://inv/EMC8GJMNGY |
|---|---|
| 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.08370#20LF (statement). In EQN3EZRZYQ/e1, corollary 5.6
History
- 2026-10-29: add by m2/v0.4.10
\coqident{weq_relative_universe_weak_relative_universe EMC8XN7ZVW
| URI | m2://inv/EMC8XN7ZVW |
|---|---|
| Kind | statement |
| 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#JIM1, \coqident{weq_relative_universe_weak_relative_universe (statement). In MG51GG0QZN/e1, corollary 4.4
History
- 2026-10-27: add by m2/v0.3.5
EMC9G29HPW EMC9G29HPW
| URI | m2://inv/EMC9G29HPW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2206.11809#W1BM (definition). In YQXYSNW78V/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
List of numerical computational geometry topics EMCDTPDWEE
| URI | m2://inv/EMCDTPDWEE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#HDQI, List of numerical computational geometry topics (topic)
History
- 2026-11-02: add by m2/dev
Quaquaversal tiling EMCE7YQ2ZE
| URI | m2://inv/EMCE7YQ2ZE |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaquaversal tiling, Quaquaversal tiling (object). Also Wikidata Q7269126
History
- 2026-11-02: add by m2/dev
sum rule in differentiation EMCJ74E03J
| URI | m2://inv/EMCJ74E03J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2141200, sum rule in differentiation (unknown). Also MathWorld SumRule
History
- 2026-10-26: add by m2/dev
Cynthia Wyels EMCKVCA252
| URI | m2://inv/EMCKVCA252 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cynthia Wyels, Cynthia Wyels (topic). Also Wikidata Q52359746
History
- 2026-11-02: add by m2/dev
EMD0TF4PDT EMD0TF4PDT
| URI | m2://inv/EMD0TF4PDT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36181#IWDA (example). In 1KSE33PVS6/e1, example 29
History
- 2026-10-30: add by m2/v0.4.12
EMD65JK2SR EMD65JK2SR
| URI | m2://inv/EMD65JK2SR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25151#384B (statement)
History
- 2026-11-01: add by m2/v0.6.15
algebraic number field EMD8C9ZPGQ
| URI | m2://inv/EMD8C9ZPGQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#B1QI, algebraic number field (definition)
History
- 2026-11-02: add by m2/dev
Azuma-Hoeffding inequality EMD8HG1T4Q
| URI | m2://inv/EMD8HG1T4Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03517#NQGJ, Azuma-Hoeffding inequality (statement). In 3CGS9GSKTQ/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
EMDFZ648JD EMDFZ648JD
| URI | m2://inv/EMDFZ648JD |
|---|---|
| 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#GK7R (statement). In JXTG8KP95P/e1, theorem 4.10
History
- 2026-10-30: add by m2/v0.4.12
EMDMEGDZE1 EMDMEGDZE1
| URI | m2://inv/EMDMEGDZE1 |
|---|---|
| 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#KZJZ (statement). In EZTB8NZGVT/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.4.0
Zeev Nehari EMDQMEN4KJ
| URI | m2://inv/EMDQMEN4KJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zeev Nehari, Zeev Nehari (topic). Also Wikidata Q4189604
History
- 2026-11-02: add by m2/dev
Short positive intervals and few active edges EMDR64T3ZQ
| URI | m2://inv/EMDR64T3ZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07379#FHVU, Short positive intervals and few active edges (statement). In N0EVQ46HBR/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10
Paolo dal Pozzo Toscanelli EMDVHR2VVA
| URI | m2://inv/EMDVHR2VVA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#JRZ3, Paolo dal Pozzo Toscanelli (topic)
History
- 2026-11-02: add by m2/dev
EME2QBA38H EME2QBA38H
| URI | m2://inv/EME2QBA38H |
|---|---|
| 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 2508.18436#K9CZ (statement). In 6W19Z58188/e1, lemma 7.3
History
- 2026-10-27: add by m2/v0.3.6
Müger's theorem EME33X32VF
| URI | m2://inv/EME33X32VF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Müger's theorem, Müger's theorem (statement). Also Wikidata Q133284169
History
- 2026-11-02: add by m2/dev
EME4DA8SMT EME4DA8SMT
| URI | m2://inv/EME4DA8SMT |
|---|---|
| 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 2610.16431#K5P9 (statement). In 7NX9HA8VPM/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
% EME7SFPWTD
| URI | m2://inv/EME7SFPWTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7559698, % (unknown). Also MathWorld PercentSign
- wikipedia: Wikipedia Percent sign, Percent sign (definition). Also Wikidata Q7559698
History
- 2026-10-26: add by m2/dev
leaf vertex EME7WCXM2N
| URI | m2://inv/EME7WCXM2N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93721778, leaf vertex (unknown). Also MathWorld PendantVertex
History
- 2026-10-26: add by m2/dev
Intercept theorem EME9Q6VBP7
| URI | m2://inv/EME9Q6VBP7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#E8XW, Intercept theorem (statement)
History
- 2026-11-02: add by m2/dev
EMEBNJC2Q3 EMEBNJC2Q3
| URI | m2://inv/EMEBNJC2Q3 |
|---|---|
| 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 2610.16779#116A (statement). In 1R7H0ZAHWA/e1, corollary 2.4
History
- 2026-10-28: add by m2/v0.4.2
EMECFCVMTY EMECFCVMTY
| URI | m2://inv/EMECFCVMTY |
|---|---|
| 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.27152#08G9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
EMEDDNQ84S EMEDDNQ84S
| URI | m2://inv/EMEDDNQ84S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.16669#LKUK (statement). In 1463YCCRP5/e1, theorem 7.10
History
- 2026-10-27: add by m2/v0.4.0
Robert M. Wald EMEN9VXC0B
| URI | m2://inv/EMEN9VXC0B |
|---|---|
| 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 Q933683, Robert M. Wald (unknown). Also nLab Robert Wald
- wikipedia: Wikipedia Robert Wald, Robert Wald (topic). Also Wikidata Q933683
History
- 2026-10-26: add by m2/dev
differential geometry EMENV92QPQ
| URI | m2://inv/EMENV92QPQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 53-XX, 53A05 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q188444, differential geometry (topic). Also EoM Differential_geometry, MathWorld DifferentialGeometry, nLab differential geometry, ProofWiki Definition:Differential_Geometry
- wikipedia: Wikipedia Differential geometry, Differential geometry (topic). Also Wikidata Q188444
History
- 2026-10-26: add by m2/dev
EMEQ70K8JV EMEQ70K8JV
| URI | m2://inv/EMEQ70K8JV |
|---|---|
| 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.34011#NT2E (statement). In RAXRNDW2Z0/e1, proposition 6.1
History
- 2026-10-30: add by m2/v0.4.12
EMEQP55FSZ EMEQP55FSZ
| URI | m2://inv/EMEQP55FSZ |
|---|---|
| Kind | example |
| 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 2610.21533#41QB (example). In N3Z6JFEPCF/e1, example 5.5
History
- 2026-10-27: add by m2/v0.4.2
EMEW1HPMAG EMEW1HPMAG
| URI | m2://inv/EMEW1HPMAG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39872#QK6H (statement). In 32A7BMMT1E/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Examples EMEWKC7J4X
| URI | m2://inv/EMEWKC7J4X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally testable code#0NR2, Examples (example)
History
- 2026-11-02: add by m2/dev
Boris Hessen EMEYC85HHR
| URI | m2://inv/EMEYC85HHR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#K9XC, Boris Hessen (unknown)
History
- 2026-11-02: add by m2/dev
EMF4V77GDR EMF4V77GDR
| URI | m2://inv/EMF4V77GDR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37931#P5VS (statement). In J8C1EXQW86/e1, corollary 2.5
History
- 2026-10-30: add by m2/v0.4.12
Applications EMF57FY7K5
| URI | m2://inv/EMF57FY7K5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential tilting#HLNL, Applications (example)
History
- 2026-11-02: add by m2/dev
EMFDG8EVBF EMFDG8EVBF
| URI | m2://inv/EMFDG8EVBF |
|---|---|
| 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.10078#QY67 (statement). In YVGRZK1HRS/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.10
Newton's method EMFPVV9XS8
| URI | m2://inv/EMFPVV9XS8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#XZX9, Newton's method (definition)
History
- 2026-11-02: add by m2/dev
The method EMFQY604ZN
| URI | m2://inv/EMFQY604ZN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interval finite element#UF74, The method (definition)
History
- 2026-11-02: add by m2/dev
EMFST0HE4B EMFST0HE4B
| URI | m2://inv/EMFST0HE4B |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25063#KE7T (problem)
History
- 2026-11-01: add by m2/v0.6.15
EMFTHM222Q EMFTHM222Q
| URI | m2://inv/EMFTHM222Q |
|---|---|
| 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.14783#C76D (statement). In Y3X5XY2J65/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Cross-figure EMFVBYXS0F
| URI | m2://inv/EMFVBYXS0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-figure, Cross-figure (definition). Also Wikidata Q490544
History
- 2026-11-02: add by m2/dev
EMGCAN62M3 EMGCAN62M3
| URI | m2://inv/EMGCAN62M3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20567#AHIE (statement)
History
- 2026-11-02: add by m2/v0.6.18
Exact nonexistence certificate EMGDRAH5D5
| URI | m2://inv/EMGDRAH5D5 |
|---|---|
| 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.20259#LPMT, Exact nonexistence certificate (statement). In VHNRE38D97/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.4.2
Kleisli adjunction EMGH1R9Z75
| URI | m2://inv/EMGH1R9Z75 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleisli category#UPMA, Kleisli adjunction (unknown)
History
- 2026-11-02: add by m2/dev
EMGK4TD3FZ EMGK4TD3FZ
| URI | m2://inv/EMGK4TD3FZ |
|---|---|
| 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 2609.24041#74WQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
EMGR611SK8 EMGR611SK8
| URI | m2://inv/EMGR611SK8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22076#RPVQ (statement). In TTJB4HBG5R/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.4.0
EMGYEQGDYK EMGYEQGDYK
| URI | m2://inv/EMGYEQGDYK |
|---|---|
| Kind | example |
| 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.39260#E9BR (example). In ZNDB1AZZSA/e1, example 3.8
History
- 2026-10-30: add by m2/v0.4.12
Edray Herber Goins EMH4P62B23
| URI | m2://inv/EMH4P62B23 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edray Herber Goins, Edray Herber Goins (topic). Also Wikidata Q16946116
History
- 2026-11-02: add by m2/dev
Noncommutative algebra EMH4SDGTM5
| URI | m2://inv/EMH4SDGTM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#9GRN, Noncommutative algebra (definition)
History
- 2026-11-02: add by m2/dev
Gopal Prasad EMH6G1YK85
| URI | m2://inv/EMH6G1YK85 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#KMWZ, Gopal Prasad (topic)
History
- 2026-11-02: add by m2/dev
Definition EMH767HSEV
| URI | m2://inv/EMH767HSEV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor#2XFK, Definition (definition)
History
- 2026-11-02: add by m2/dev
EMH9B4X18Y EMH9B4X18Y
| URI | m2://inv/EMH9B4X18Y |
|---|---|
| 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 2011.14561#M547 (statement). In V2XJJJX1Z8/e1, theorem 3.9
History
- 2026-10-27: add by m2/v0.3.5
Raphael M. Robinson EMHB0G3BKT
| URI | m2://inv/EMHB0G3BKT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#XMSL, Raphael M. Robinson (topic)
History
- 2026-11-02: add by m2/dev
EMHCTHBD7A EMHCTHBD7A
| URI | m2://inv/EMHCTHBD7A |
|---|---|
| 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 2610.08583#9OL5 (statement). In 5EKTECQ2P1/e1, corollary 7.2
History
- 2026-10-29: add by m2/v0.4.10
quadratic field EMHDWPY258
| URI | m2://inv/EMHDWPY258 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Quadratic field 7SV4WA92SM |
Mentions
- wikidata: Wikidata Q625519, quadratic field (unknown). Also EoM quadratic_field, MathWorld QuadraticField
- wikipedia: Wikipedia Quadratic field, Quadratic field (topic). Also Wikidata Q625519
History
- 2026-10-26: add by m2/dev
EMHHM8VWWZ EMHHM8VWWZ
| URI | m2://inv/EMHHM8VWWZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-9 (proof). In N54F33XE07, proof, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
Kőnig's theorem and cofinality EMHRSC8FA3
| URI | m2://inv/EMHRSC8FA3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kőnig's theorem (set theory)#PKVR, Kőnig's theorem and cofinality (statement)
History
- 2026-11-02: add by m2/dev
Variants of transformation formulas EMHVVXJ8DQ
| URI | m2://inv/EMHVVXJ8DQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rindler coordinates#IKQX, Variants of transformation formulas (statement)
History
- 2026-11-02: add by m2/dev
Theorem EMHWM1361S
| URI | m2://inv/EMHWM1361S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin transfer (group theory)#CECK, Theorem (statement)
History
- 2026-11-02: add by m2/dev
EMHXD2KA4V EMHXD2KA4V
| URI | m2://inv/EMHXD2KA4V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 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 2609.30579#LB3T (statement). In FDYZFDHZH9/e1, proposition 4.12
History
- 2026-10-31: add by m2/v0.5.6
Statement EMHYK8007J
| URI | m2://inv/EMHYK8007J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Keller's conjecture#0UWW, Statement (statement)
History
- 2026-11-02: add by m2/dev
Archimedes' quadruplets EMJ25C6P2D
| URI | m2://inv/EMJ25C6P2D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Archimedes#MG2G, Archimedes' quadruplets (definition)
History
- 2026-11-02: add by m2/dev
\lean{replacement EMJ60CK76Z
| URI | m2://inv/EMJ60CK76Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23143#OYNJ, \lean{replacement (statement)
History
- 2026-11-02: add by m2/v0.6.17
Supnick matrix EMJ6XXDD14
| URI | m2://inv/EMJ6XXDD14 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#JCSF, Supnick matrix (definition)
History
- 2026-11-02: add by m2/dev
EMJBMR24PA EMJBMR24PA
| URI | m2://inv/EMJBMR24PA |
|---|---|
| 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.38220#UEN5 (statement). In 1AC4S19925/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
EMJJ0D67A5 EMJJ0D67A5
| URI | m2://inv/EMJJ0D67A5 |
|---|---|
| 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 2006.12475#EVKF (statement). In 8YWBGQQGA3/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
Kummer EMJMCVW9X7
| URI | m2://inv/EMJMCVW9X7 |
|---|---|
| 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.07508#QG1C, Kummer (statement). In TPA3E67MKK/e1, lemma 7.9
History
- 2026-10-29: add by m2/v0.4.10
index EMJMRGN621
| URI | m2://inv/EMJMRGN621 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#UBLD, index (definition)
History
- 2026-11-02: add by m2/dev
Gasch\"utz , Lucchini EMJRP1H5T8
| URI | m2://inv/EMJRP1H5T8 |
|---|---|
| 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.40260#TE33, Gasch\"utz , Lucchini (statement). In 524FZAC6NB/e1, theorem 11
History
- 2026-10-30: add by m2/v0.4.12
unstable EMJS3R3NEX
| URI | m2://inv/EMJS3R3NEX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/7.2.3/unstable, unstable (concept). In 907G4C4EJ1, index, section 7.2.3
History
- 2026-11-01: add by m2/v0.6.13
EMJW9ZD0JZ EMJW9ZD0JZ
| URI | m2://inv/EMJW9ZD0JZ |
|---|---|
| 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 2209.08186#JD1G (statement). In X6VGVPQH8V/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Bounded expansion EMK013PBK5
| URI | m2://inv/EMK013PBK5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded expansion, Bounded expansion (definition). Also Wikidata Q25304158
History
- 2026-11-02: add by m2/dev
Galileo Galilei EMK1GSR1YZ
| URI | m2://inv/EMK1GSR1YZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#AZJZ, Galileo Galilei (topic)
- wikipedia: Wikipedia List of Italian mathematicians#DUY8, Galileo Galilei (topic)
History
- 2026-11-02: add by m2/dev
Examples EMK1Y2PKM0
| URI | m2://inv/EMK1Y2PKM0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural exponential family#4LGC, Examples (example)
History
- 2026-11-02: add by m2/dev
proposition EMK4PTE64M
| URI | m2://inv/EMK4PTE64M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Proposition 0ZGC7ZESYN |
Mentions
- wikidata: Wikidata Q108163, proposition (unknown). Also EoM Proposition, MathWorld Proposition
- wikipedia: Wikipedia Proposition, Proposition (statement). Also Wikidata Q108163
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Examples EMK6AHXBA4
| URI | m2://inv/EMK6AHXBA4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logic of graphs#KUWA, Examples (example)
History
- 2026-11-02: add by m2/dev
Hypercomplex function EMK73Y28TX
| URI | m2://inv/EMK73Y28TX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#OUPD, Hypercomplex function (topic)
History
- 2026-11-02: add by m2/dev
Mathematical universe hypothesis EMKATK6704
| URI | m2://inv/EMKATK6704 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical universe hypothesis, Mathematical universe hypothesis (statement). Also Wikidata Q5951321
History
- 2026-11-02: add by m2/dev
EMKB54ZWZP EMKB54ZWZP
| URI | m2://inv/EMKB54ZWZP |
|---|---|
| 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.25282#XQBJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
EMKFQVB40P EMKFQVB40P
| URI | m2://inv/EMKFQVB40P |
|---|---|
| Kind | example |
| 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 0903.1569#DOT5 (example). In ZM7WZ2A9H2/e1, example 3.4
History
- 2026-10-27: add by m2/v0.3.5
Definition EMKGBPGCBA
| URI | m2://inv/EMKGBPGCBA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dini test#KBN0, Definition (definition)
History
- 2026-11-02: add by m2/dev
$m$-cocartesian structures EMKJ4YGZGG
| URI | m2://inv/EMKJ4YGZGG |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#WCXD, $m$-cocartesian structures (unknown). In BDN507RN7J/e1, unknown 3.5.5
History
- 2026-10-30: add by m2/v0.4.12
reindexing the series EMKMWVG40W
| URI | m2://inv/EMKMWVG40W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/9.1.4/reindexing-the-series, reindexing the series (concept). In E9HS8K3A52, index, section 9.1.4
History
- 2026-11-01: add by m2/v0.6.13
EMKWVZBGFK EMKWVZBGFK
| URI | m2://inv/EMKWVZBGFK |
|---|---|
| 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.35467#6VVL (statement). In FK89DQ9J4S/e1, proposition 5.4
History
- 2026-10-30: add by m2/v0.4.12
Appeal to tradition EMM1RECQJK
| URI | m2://inv/EMM1RECQJK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Appeal to tradition, Appeal to tradition (definition). Also Wikidata Q1993735
History
- 2026-11-02: add by m2/dev
Regularizers for sparsity EMM36PT6BH
| URI | m2://inv/EMM36PT6BH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regularization (mathematics)#NOJL, Regularizers for sparsity (unknown)
History
- 2026-11-02: add by m2/dev
EMM43N0WEG EMM43N0WEG
| URI | m2://inv/EMM43N0WEG |
|---|---|
| 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.20702#0X1P (statement)
History
- 2026-11-02: add by m2/v0.6.18
Wolstenholme's theorem EMMEXR3AGN
| URI | m2://inv/EMMEXR3AGN |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1724049, Wolstenholme's theorem (statement). Also Wikidata Q1724049
- thousand_plus: thousand_plus Q1724049, Wolstenholme's theorem (statement). Also Wikidata Q1724049, Wikipedia Wolstenholme's theorem
- wikidata: Wikidata Q1724049, Wolstenholme's theorem (statement). Also MathWorld WolstenholmesTheorem
- wikipedia: Wikipedia Wolstenholme's theorem, Wolstenholme's theorem (statement). Also Wikidata Q1724049
History
- 2026-10-26: add by m2/dev
Thermal contact conductance EMMHKQX6A3
| URI | m2://inv/EMMHKQX6A3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermal contact conductance, Thermal contact conductance (topic). Also Wikidata Q4119687
History
- 2026-11-02: add by m2/dev
EMMMC5YHQS EMMMC5YHQS
| URI | m2://inv/EMMMC5YHQS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-52 (exercise). In E9HS8K3A52, exercise, section 2.5.5
History
- 2026-11-01: add by m2/v0.6.13
Non-adjacent Bound EMMRC6XGXB
| URI | m2://inv/EMMRC6XGXB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.02495#AX59, Non-adjacent Bound (statement). In T4S7XVAJJC/e1, corollary 10.2
History
- 2026-10-29: add by m2/v0.4.12
EMMSSW90RW EMMSSW90RW
| URI | m2://inv/EMMSSW90RW |
|---|---|
| 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.32104#RDV8 (statement). In YRJSYFXNM8/e1, corollary 3.3
History
- 2026-10-31: add by m2/v0.5.6
Stanisława Nikodym EMMY0W67R9
| URI | m2://inv/EMMY0W67R9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanisława Nikodym, Stanisława Nikodym (topic). Also Wikidata Q92846557
History
- 2026-11-02: add by m2/dev
EMMYCGJ6P9 EMMYCGJ6P9
| URI | m2://inv/EMMYCGJ6P9 |
|---|---|
| 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 2609.38436#GK30 (example). In 702AF3E4AF/e1, example 1.2
History
- 2026-10-30: add by m2/v0.4.12
EMN522WHFJ EMN522WHFJ
| URI | m2://inv/EMN522WHFJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#UXMI (statement)
History
- 2026-11-01: add by m2/v0.6.15
EMN7P7R1S5 EMN7P7R1S5
| URI | m2://inv/EMN7P7R1S5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17045#YOVP (definition). In PA6JQDSKQT/e1, definition 3.16
History
- 2026-10-28: add by m2/v0.4.2
Statement EMNA04Z8TV
| URI | m2://inv/EMNA04Z8TV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine plank problem#O24R, Statement (statement)
History
- 2026-11-02: add by m2/dev
Constant-weight code EMNCBWD0N2
| URI | m2://inv/EMNCBWD0N2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constant-weight code, Constant-weight code (definition). Also Wikidata Q5163613
History
- 2026-11-02: add by m2/dev
EMNJZDC047 EMNJZDC047
| URI | m2://inv/EMNJZDC047 |
|---|---|
| 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.01753#VSJ5 (statement). In JY50YXMH5N/e1, theorem 30
History
- 2026-10-29: add by m2/v0.4.12
EMNKFD3Z7M EMNKFD3Z7M
| URI | m2://inv/EMNKFD3Z7M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16431#YOAZ (definition). In 7NX9HA8VPM/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
EMNNDTG93C EMNNDTG93C
| URI | m2://inv/EMNNDTG93C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-1 (statement). In P1C114YBXG, theorem, section u1
History
- 2026-11-01: add by m2/v0.6.13
Risk factor EMNPRXC1CG
| URI | m2://inv/EMNPRXC1CG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Risk factor, Risk factor (definition). Also Wikidata Q1475848
History
- 2026-11-02: add by m2/dev
EMNPWSTWJ7 EMNPWSTWJ7
| URI | m2://inv/EMNPWSTWJ7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#exercise-24 (exercise). In E59CDZA4DP, exercise, section 11.9.6
History
- 2026-11-01: add by m2/v0.6.13
EMNSH2EK6C EMNSH2EK6C
| URI | m2://inv/EMNSH2EK6C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#A8IV (definition). In BDN507RN7J/e1, definition 3.1.7
History
- 2026-10-30: add by m2/v0.4.12
EMNSXKGN6W EMNSXKGN6W
| URI | m2://inv/EMNSXKGN6W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09949#JPF6 (statement). In VGJVFCDV8A/e1, proposition 2.11
History
- 2026-10-29: add by m2/v0.4.10
EMP1MQ8TKH EMP1MQ8TKH
| URI | m2://inv/EMP1MQ8TKH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#M66K (statement). In WAXS6FS388/e1, theorem A
History
- 2026-10-30: add by m2/v0.4.12
AC EMPWG3KRX9
| URI | m2://inv/EMPWG3KRX9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AC (complexity), AC (definition). Also Wikidata Q182336
History
- 2026-11-02: add by m2/dev
Abstract Wiener specialization EMQ2XJEHWC
| URI | m2://inv/EMQ2XJEHWC |
|---|---|
| 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.25026#6NO1, Abstract Wiener specialization (statement)
History
- 2026-11-01: add by m2/v0.6.15
EMQ8G71HX3 EMQ8G71HX3
| URI | m2://inv/EMQ8G71HX3 |
|---|---|
| Kind | definition |
| 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.18673#ZQE0 (definition). In 7ZFD9XRKA1/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
EMQ8NZVG7T EMQ8NZVG7T
| URI | m2://inv/EMQ8NZVG7T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2411.00562#7ENG (statement). In 99CQPHSSYF/e1, corollary \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
EMQV69TFM4 EMQV69TFM4
| URI | m2://inv/EMQV69TFM4 |
|---|---|
| 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.06810#QLYD (statement). In 1NY2SA03XF/e1, fact 6.1
History
- 2026-10-29: add by m2/v0.4.10
Helen G. Grundman EMQWZ9TB7F
| URI | m2://inv/EMQWZ9TB7F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helen G. Grundman, Helen G. Grundman (topic). Also Wikidata Q5702310
History
- 2026-11-02: add by m2/dev
André Henriques EMQXSQZR7N
| URI | m2://inv/EMQXSQZR7N |
|---|---|
| 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 Q101542461, André Henriques (unknown). Also nLab André Henriques
History
- 2026-10-26: add by m2/dev
EMR12GYVGH EMR12GYVGH
| URI | m2://inv/EMR12GYVGH |
|---|---|
| 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.21528#0JKR (statement)
History
- 2026-11-02: add by m2/v0.6.18
EMR6T3JE1C EMR6T3JE1C
| URI | m2://inv/EMR6T3JE1C |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black hole#WFAR (problem)
History
- 2026-11-02: add by m2/dev
Blockwise formula EMR73FA526
| URI | m2://inv/EMR73FA526 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection matrix#YXT0, Blockwise formula (statement)
History
- 2026-11-02: add by m2/dev
Claude-Louis Navier EMRBNY19PK
| URI | m2://inv/EMRBNY19PK |
|---|---|
| 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 Q313512, Claude-Louis Navier (unknown). Also ProofWiki Mathematician:Claude-Louis_Navier
History
- 2026-10-26: add by m2/dev
Exclamation mark in English EMRCD2GV0V
| URI | m2://inv/EMRCD2GV0V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exclamation mark#3FC2, Exclamation mark in English (unknown)
History
- 2026-11-02: add by m2/dev
Trapezo-rhombic dodecahedron EMRX7M2DP2
| URI | m2://inv/EMRX7M2DP2 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#SY3F, Trapezo-rhombic dodecahedron (object)
History
- 2026-11-02: add by m2/dev
EMRZR5623P EMRZR5623P
| URI | m2://inv/EMRZR5623P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.28677#XE7U (definition)
History
- 2026-11-01: add by m2/v0.6.15
real analytic function EMS2SYP5ZS
| URI | m2://inv/EMS2SYP5ZS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q120153213, real analytic function (unknown). Also EoM Real_analytic_function, MathWorld RealAnalyticFunction
History
- 2026-10-26: add by m2/dev
Introselect EMS3VMHZRW
| URI | m2://inv/EMS3VMHZRW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#6IBT, Introselect (unknown)
History
- 2026-11-02: add by m2/dev
R. G. D. Allen EMS4WTTRA5
| URI | m2://inv/EMS4WTTRA5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#4ROY, R. G. D. Allen (unknown)
History
- 2026-11-02: add by m2/dev
Luneburg lens EMS5GF5GM5
| URI | m2://inv/EMS5GF5GM5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luneburg lens, Luneburg lens (definition). Also Wikidata Q739536
History
- 2026-11-02: add by m2/dev
EMSB2M7E7G EMSB2M7E7G
| URI | m2://inv/EMSB2M7E7G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.39745#GK73 (statement). In V276PQS61M/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
EMSKJ7B602 EMSKJ7B602
| URI | m2://inv/EMSKJ7B602 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28336#4518 (statement)
History
- 2026-11-01: add by m2/v0.6.15
EMSM4Y2TVE EMSM4Y2TVE
| URI | m2://inv/EMSM4Y2TVE |
|---|---|
| Kind | example |
| 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.00914#O8R7 (example). In TQ9CKHBTWN/e1, example 5.4
History
- 2026-10-29: add by m2/v0.4.12
Viviani's theorem EMSNWS6EA8
| URI | m2://inv/EMSNWS6EA8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#PXTJ, Viviani's theorem (statement)
History
- 2026-11-02: add by m2/dev
EMST11PSGS EMST11PSGS
| URI | m2://inv/EMST11PSGS |
|---|---|
| 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 1806.00752#3IXA (statement). In GGW2N4JHXM/e1, proposition 14
History
- 2026-10-27: add by m2/v0.3.5
EMSV3P7YPD EMSV3P7YPD
| URI | m2://inv/EMSV3P7YPD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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 2610.06645#4WDV (statement). In 79H1DEK4M9/e1, corollary 7.7
History
- 2026-10-29: add by m2/v0.4.10
EMT05P4ZJF EMT05P4ZJF
| URI | m2://inv/EMT05P4ZJF |
|---|---|
| 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.29918#U6K4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
EMT3P32Z3Z EMT3P32Z3Z
| URI | m2://inv/EMT3P32Z3Z |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit distance graph#FEKO (problem)
History
- 2026-11-02: add by m2/dev
Principal series representation EMT49TSWC4
| URI | m2://inv/EMT49TSWC4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#DZQM, Principal series representation (definition)
History
- 2026-11-02: add by m2/dev
EMTA0F4F6Z EMTA0F4F6Z
| URI | m2://inv/EMTA0F4F6Z |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Penny graph#RLO0 (problem)
History
- 2026-11-02: add by m2/dev
State and action turbulence EMTBHT3714
| URI | m2://inv/EMTBHT3714 |
|---|---|
| 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.32083#KBHZ, State and action turbulence (definition). In 7H843YN8HK/e1, definition 3.1
History
- 2026-10-31: add by m2/v0.5.6
Definition EMTEADDA08
| URI | m2://inv/EMTEADDA08 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetization#GVXB, Definition (definition)
History
- 2026-11-02: add by m2/dev
EMTENAPE3Q EMTENAPE3Q
| URI | m2://inv/EMTENAPE3Q |
|---|---|
| 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.06899#7IRR (statement). In 5Z2K9JGFSS/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
EMTGVFW92Z EMTGVFW92Z
| URI | m2://inv/EMTGVFW92Z |
|---|---|
| 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 2306.08237#ERPN (statement). In E22A2MFR4Y/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.6
Riemannian symmetric space EMTMJH9RBH
| URI | m2://inv/EMTMJH9RBH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#W8OW, Riemannian symmetric space (definition)
- wikipedia: Wikipedia List of differential geometry topics#OG0B, Riemannian symmetric space (definition)
- wikipedia: Wikipedia List of manifolds#TL4P, Riemannian symmetric space (definition)
History
- 2026-11-02: add by m2/dev
EMTMWTEJ14 EMTMWTEJ14
| URI | m2://inv/EMTMWTEJ14 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_probability_bernoulli-trials.ptx#example-1 (example). In QKM9DD2H56, example, section 10.3
History
- 2026-11-01: add by m2/v0.6.13
completely integrally closed EMTN0894TK
| URI | m2://inv/EMTN0894TK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#GUJ6, completely integrally closed (definition)
History
- 2026-11-02: add by m2/dev
Taniyama–Shimura–Weil conjecture EMTPA0T1V4
| URI | m2://inv/EMTPA0T1V4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after André Weil#9P0B, Taniyama–Shimura–Weil conjecture (statement)
History
- 2026-11-02: add by m2/dev
snub dodecahedral graph EMTVWY8VZZ
| URI | m2://inv/EMTVWY8VZZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115553, snub dodecahedral graph (unknown). Also House of Graphs 1325, MathWorld SnubDodecahedralGraph
History
- 2026-10-26: add by m2/dev
EMTYQ6SAJ6 EMTYQ6SAJ6
| URI | m2://inv/EMTYQ6SAJ6 |
|---|---|
| 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 2609.32816#EZHX (statement). In 10YV2P9E8W/e1, fact 2.5
History
- 2026-10-31: add by m2/v0.5.6
EMTZ9Y2GC0 EMTZ9Y2GC0
| URI | m2://inv/EMTZ9Y2GC0 |
|---|---|
| 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.04876#9QHG (statement). In 2TNAKVC0YP/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.12
Cover, Thomas M. EMV2TQ2QWQ
| URI | m2://inv/EMV2TQ2QWQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#IW96, Cover, Thomas M. (unknown)
History
- 2026-11-02: add by m2/dev
EMV3RZG5E4 EMV3RZG5E4
| URI | m2://inv/EMV3RZG5E4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-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.27458#0NS2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition EMV73NZR9E
| URI | m2://inv/EMV73NZR9E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monge–Ampère equation#LN18, Definition (definition)
History
- 2026-11-02: add by m2/dev
tera EMV9QXH3X3
| URI | m2://inv/EMV9QXH3X3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q108529, tera (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/tera-
History
- 2026-10-26: add by m2/dev
EMVBK4YP9Y EMVBK4YP9Y
| URI | m2://inv/EMVBK4YP9Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#13J7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
sphere EMVQDHZBTR
| URI | m2://inv/EMVQDHZBTR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/4.1/sphere, sphere (concept). In E59CDZA4DP, index, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Alain Louveau EMW9KFP4XC
| URI | m2://inv/EMW9KFP4XC |
|---|---|
| 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#5E2G, Alain Louveau (unknown)
History
- 2026-11-02: add by m2/dev
Examples EMWCRQ2EZJ
| URI | m2://inv/EMWCRQ2EZJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flexible algebra#E5MC, Examples (example)
History
- 2026-11-02: add by m2/dev
Dag Normann EMWF456PDZ
| URI | m2://inv/EMWF456PDZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dag Normann, Dag Normann (topic). Also Wikidata Q97275255
History
- 2026-11-02: add by m2/dev
EMWGFPYSZY EMWGFPYSZY
| URI | m2://inv/EMWGFPYSZY |
|---|---|
| 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 2410.22607#KXVJ (statement). In 6GT33A43SY/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Definition EMWGS2PGYR
| URI | m2://inv/EMWGS2PGYR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coxeter group#R6I8, Definition (definition)
History
- 2026-11-02: add by m2/dev
Jacobian conjecture EMWGYACFKJ
| URI | m2://inv/EMWGYACFKJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#G8SG, Jacobian conjecture (statement)
History
- 2026-11-02: add by m2/dev
EMWJXGYR7Q EMWJXGYR7Q
| URI | m2://inv/EMWJXGYR7Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.22388#TUUG (statement)
History
- 2026-11-02: add by m2/v0.6.17
EMWKHVAVFS EMWKHVAVFS
| URI | m2://inv/EMWKHVAVFS |
|---|---|
| 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.39430#TZDH (statement). In 6FH24CYAMW/e1, corollary 3.2
History
- 2026-10-30: add by m2/v0.4.12
EMWWPRWS12 EMWWPRWS12
| URI | m2://inv/EMWWPRWS12 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34731#30CU (statement). In MH54AS0Y61/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
Properties and principles EMWYB1QZ0M
| URI | m2://inv/EMWYB1QZ0M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Effective topos#ELVR, Properties and principles (statement)
History
- 2026-11-02: add by m2/dev
EMWYX5EZKQ EMWYX5EZKQ
| URI | m2://inv/EMWYX5EZKQ |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.07470#EVCN (proof). In XPF72KTPMZ/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Birch and Swinnerton-Dyer conjecture EMX0QV7X1Y
| URI | m2://inv/EMX0QV7X1Y |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#WS8C, Birch and Swinnerton-Dyer conjecture (conjecture)
- wikipedia: Wikipedia List of number theory topics#FBLF, Birch and Swinnerton-Dyer conjecture (conjecture)
- wikipedia: Wikipedia List of curves topics#AIEB, Birch and Swinnerton-Dyer conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Elliott EMX2WW5258
| URI | m2://inv/EMX2WW5258 |
|---|---|
| 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.09809#T0YI, Elliott (statement). In 7NKQ6PR78N/e1, theorem 2.13
History
- 2026-10-29: add by m2/v0.4.10
All large subgroups in the three families EMX8B0N250
| URI | m2://inv/EMX8B0N250 |
|---|---|
| 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#O0SB, All large subgroups in the three families (statement). In QX30H2WNA7/e1, theorem 8.3
History
- 2026-10-30: add by m2/v0.4.12
Tridecagon EMXJMMY5KX
| URI | m2://inv/EMXJMMY5KX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#C47T, Tridecagon (definition)
History
- 2026-11-02: add by m2/dev
EMXMG104NG EMXMG104NG
| URI | m2://inv/EMXMG104NG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#X04H (statement). In 7V3HG30ZGW/e1, proposition A.21
History
- 2026-10-27: add by m2/v0.4.0
Prime geodesic EMXRQEQADD
| URI | m2://inv/EMXRQEQADD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#Z5YK, Prime geodesic (definition)
- wikipedia: Wikipedia List of curves topics#AYHL, Prime geodesic (definition)
- wikipedia: Wikipedia List of variational topics#736B, Prime geodesic (definition)
History
- 2026-11-02: add by m2/dev
EMY3NT98HE EMY3NT98HE
| URI | m2://inv/EMY3NT98HE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#definition-1 (definition). In RZP28ERRZV, definition, section 100.1
History
- 2026-11-01: add by m2/v0.6.13
EMY568N75Y EMY568N75Y
| URI | m2://inv/EMY568N75Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22011#FFKU (statement)
History
- 2026-11-02: add by m2/v0.6.17
Realization of the homogeneous primary quotient EMYA9N41C1
| URI | m2://inv/EMYA9N41C1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#KHQ1, Realization of the homogeneous primary quotient (statement). In XDTM624YPE/e1, theorem 18.7
History
- 2026-10-27: add by m2/v0.4.2
Example EMYAP5QCYZ
| URI | m2://inv/EMYAP5QCYZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Risk factor#P7DZ, Example (example)
History
- 2026-11-02: add by m2/dev
EMYCV9F2VG EMYCV9F2VG
| URI | m2://inv/EMYCV9F2VG |
|---|---|
| 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#7HYI (statement). In 8PXDPT3X9P/e1, lemma 11
History
- 2026-10-30: add by m2/v0.4.12
Denis Auroux EMYFXWNJHD
| URI | m2://inv/EMYFXWNJHD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#RVXT, Denis Auroux (topic)
History
- 2026-11-02: add by m2/dev
Olga Kameneva EMYHM7PK1G
| URI | m2://inv/EMYHM7PK1G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#ZONA, Olga Kameneva (unknown)
History
- 2026-11-02: add by m2/dev
EMYPN5YGY3 EMYPN5YGY3
| URI | m2://inv/EMYPN5YGY3 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00409#3UCQ (problem). In YQT2APQPWD/e1, problem 9.1
History
- 2026-10-30: add by m2/v0.4.12
Simultaneous embedding EMYSGYM7AQ
| URI | m2://inv/EMYSGYM7AQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#UPPA, Simultaneous embedding (definition)
History
- 2026-11-02: add by m2/dev
Statement of the theorem EMYWYN5SVB
| URI | m2://inv/EMYWYN5SVB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helly's selection theorem#ND10, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
EMZ1600C0R EMZ1600C0R
| URI | m2://inv/EMZ1600C0R |
|---|---|
| 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-80 (exercise). In E9HS8K3A52, exercise, section 5.6.4
History
- 2026-11-01: add by m2/v0.6.13
EMZ1X4CZD0 EMZ1X4CZD0
| URI | m2://inv/EMZ1X4CZD0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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 2603.28861#TDQV (statement). In A3VQ2TNRKK/e1, corollary 8.2
History
- 2026-10-27: add by m2/v0.4.0
Borel set EMZAZR75D3
| URI | m2://inv/EMZAZR75D3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#PZVK, Borel set (definition)
History
- 2026-11-02: add by m2/dev
EMZCMGPZW7 EMZCMGPZW7
| URI | m2://inv/EMZCMGPZW7 |
|---|---|
| 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.30663#MX0A (statement). In 3JZDKWS8NK/e1, lemma 9.6
History
- 2026-10-31: add by m2/v0.5.6
EMZFMS8K8D EMZFMS8K8D
| URI | m2://inv/EMZFMS8K8D |
|---|---|
| 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.23341#MUWJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Properties EMZG7SBHDS
| URI | m2://inv/EMZG7SBHDS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Developable surface#L0BH, Properties (statement)
History
- 2026-11-02: add by m2/dev
Robinson's joint consistency theorem EMZH9V3FX3
| URI | m2://inv/EMZH9V3FX3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7352955, Robinson's joint consistency theorem (statement). Also Wikidata Q7352955
- thousand_plus: thousand_plus Q7352955, Robinson's joint consistency theorem (statement). Also Wikidata Q7352955, Wikipedia Robinson's joint consistency theorem
- wikipedia: Wikipedia Robinson's joint consistency theorem, Robinson's joint consistency theorem (statement). Also Wikidata Q7352955
History
- 2026-10-26: add by m2/dev
Pentapolis EMZPG8WMMW
| URI | m2://inv/EMZPG8WMMW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#37LA, Pentapolis (unknown)
History
- 2026-11-02: add by m2/dev
EMZZP4K9JC EMZZP4K9JC
| URI | m2://inv/EMZZP4K9JC |
|---|---|
| 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.09390#6EQ6 (statement). In 7SSKW778T8/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.10