Inventory rows MG
The cards of the rows of the inventory whose ids start with MG. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
MG00EMHBH6 MG00EMHBH6
| URI | m2://inv/MG00EMHBH6 |
|---|---|
| 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.01392#PYOF (statement). In WZFKY0RSM7/e1, corollary 4.1
History
- 2026-10-29: add by m2/v0.4.12
Substructural type system MG067Q2VJR
| URI | m2://inv/MG067Q2VJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Substructural type system, Substructural type system (definition). Also Wikidata Q7632172
History
- 2026-11-02: add by m2/dev
Alberto Bressan MG0BXDCEBR
| URI | m2://inv/MG0BXDCEBR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#4P82, Alberto Bressan (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#J5W7, Alberto Bressan (topic)
History
- 2026-11-02: add by m2/dev
Change detection MG0DBRRFSS
| URI | m2://inv/MG0DBRRFSS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Change detection (GIS), Change detection (definition). Also Wikidata Q5071836
History
- 2026-11-02: add by m2/dev
MG0E6NAES3 MG0E6NAES3
| URI | m2://inv/MG0E6NAES3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10474#KL3Z (statement). In MB29RAAQMG/e1, proposition 4.10
History
- 2026-10-29: add by m2/v0.4.10
Complete lattice MG0J77FH1F
| URI | m2://inv/MG0J77FH1F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#4RDS, Complete lattice (definition)
History
- 2026-11-02: add by m2/dev
MG0RVVG03P MG0RVVG03P
| URI | m2://inv/MG0RVVG03P |
|---|---|
| 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 2501.00810#2L6T (statement). In H0MY884WNF/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.6
center of a group MG0S4ZPTMQ
| URI | m2://inv/MG0S4ZPTMQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 7125) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#6UKT, center of a group (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Abundance conjecture MG0VA3GF5V
| URI | m2://inv/MG0VA3GF5V |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#OU85, Abundance conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
An epoch with an arbitrary initial weight MG0ZC56WNR
| URI | m2://inv/MG0ZC56WNR |
|---|---|
| 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.06557#GM2W, An epoch with an arbitrary initial weight (statement). In VV5CH6Y31D/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
MG13R63K66 MG13R63K66
| URI | m2://inv/MG13R63K66 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-conc.ptx#exercise-16 (exercise). In Y91XFCEVHQ, exercise, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
MG14Y8QNB2 MG14Y8QNB2
| URI | m2://inv/MG14Y8QNB2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-115 (exercise). In VNMV985MXX, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Examples MG193T7Y64
| URI | m2://inv/MG193T7Y64 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tutte polynomial#5N59, Examples (example)
History
- 2026-11-02: add by m2/dev
Mittag–Leffler distribution MG1D7A88XD
| URI | m2://inv/MG1D7A88XD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CK1N, Mittag–Leffler distribution (definition)
History
- 2026-11-02: add by m2/dev
MG1DS1S9J3 MG1DS1S9J3
| URI | m2://inv/MG1DS1S9J3 |
|---|---|
| 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 2610.20932#R7K2 (statement). In FV78KV64B9/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.4.2
Ricardo Horatio Nochetto MG1DZJ8D42
| URI | m2://inv/MG1DZJ8D42 |
|---|---|
| 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#JJD6, Ricardo Horatio Nochetto (unknown)
History
- 2026-11-02: add by m2/dev
MG1E1GQ961 MG1E1GQ961
| URI | m2://inv/MG1E1GQ961 |
|---|---|
| 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 2610.06038#BHOC (example). In 4TJGTZWJVK/e1, example 4.1
History
- 2026-10-29: add by m2/v0.4.10
Examples MG1GVMCHF3
| URI | m2://inv/MG1GVMCHF3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia WAIFW matrix#UV1J, Examples (example)
History
- 2026-11-02: add by m2/dev
MG1N0WNCJR MG1N0WNCJR
| URI | m2://inv/MG1N0WNCJR |
|---|---|
| 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 1809.06512#NLCA (statement). In RY2X22P6XW/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.5
Matching unrestricted critical law MG1PPD44RR
| URI | m2://inv/MG1PPD44RR |
|---|---|
| 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.33154#4FQC, Matching unrestricted critical law (statement). In N28DEYRBW7/e1, theorem 3.4
History
- 2026-10-30: add by m2/v0.4.12
Redundant proof MG1QZ4NM1A
| URI | m2://inv/MG1QZ4NM1A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Redundant proof, Redundant proof (definition). Also Wikidata Q15964428
History
- 2026-11-02: add by m2/dev
Piecewise Constant Embedding and Projection Operators MG25PQPHS9
| URI | m2://inv/MG25PQPHS9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13355#6C34, Piecewise Constant Embedding and Projection Operators (definition). In QJ1G1HBC6C/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Efficient decoding of double-circulant codes based on Sidon sets MG289SDH5V
| URI | m2://inv/MG289SDH5V |
|---|---|
| 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 2507.13548#7AT4, Efficient decoding of double-circulant codes based on Sidon sets (statement). In 4NVVK50D1P/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
MG2AZNB2QY MG2AZNB2QY
| URI | m2://inv/MG2AZNB2QY |
|---|---|
| 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 2207.11097#A1Y1 (statement). In 13H5BTAXHF/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Ramsey numbers MG2P32HDS2
| URI | m2://inv/MG2P32HDS2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#YPQ6, Ramsey numbers (statement)
History
- 2026-11-02: add by m2/dev
Definition MG2Q0D3KAJ
| URI | m2://inv/MG2Q0D3KAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantile function#HOC4, Definition (definition)
History
- 2026-11-02: add by m2/dev
Parrondo's paradox MG2RFBB4G7
| URI | m2://inv/MG2RFBB4G7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q854591, Parrondo's paradox (unknown). Also MathWorld ParrondosParadox
- wikipedia: Wikipedia Parrondo's paradox, Parrondo's paradox (statement). Also Wikidata Q854591
History
- 2026-10-26: add by m2/dev
Formal definition MG2TNSWVWR
| URI | m2://inv/MG2TNSWVWR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohomology operation#2J50, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Applications MG2WG5RPV3
| URI | m2://inv/MG2WG5RPV3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical conic#A6TH, Applications (example)
History
- 2026-11-02: add by m2/dev
MG389BQWP4 MG389BQWP4
| URI | m2://inv/MG389BQWP4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/filtrations/S5-fmp.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 51.7
History
- 2026-11-01: add by m2/v0.6.13
MG39B9QNR4 MG39B9QNR4
| URI | m2://inv/MG39B9QNR4 |
|---|---|
| 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.20094#E0DX (statement)
History
- 2026-11-02: add by m2/v0.6.18
MG3ETR2VNW MG3ETR2VNW
| URI | m2://inv/MG3ETR2VNW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32599#FYDR (definition). In E1Y93JNBJA/e1, definition 1.10
History
- 2026-10-31: add by m2/v0.5.6
MG3MJPAC66 MG3MJPAC66
| URI | m2://inv/MG3MJPAC66 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29759#W6IS (definition)
History
- 2026-11-01: add by m2/v0.6.15
Run-length encoding MG3S5DV3GP
| URI | m2://inv/MG3S5DV3GP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#84J1, Run-length encoding (definition)
History
- 2026-11-02: add by m2/dev
MG3TXWP32W MG3TXWP32W
| URI | m2://inv/MG3TXWP32W |
|---|---|
| Kind | definition |
| 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 2610.14847#CRQW (definition). In 2RC8WXQ9ET/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Constant of integration MG4119FXS5
| URI | m2://inv/MG4119FXS5 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integrals of inverse trigonometric functions#HMAP, Constant of integration (object)
History
- 2026-11-02: add by m2/dev
Challenging MG46MAN4V0
| URI | m2://inv/MG46MAN4V0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-27, Challenging (exercise). In E59CDZA4DP, exercise, section 2.2.4
History
- 2026-11-01: add by m2/v0.6.13
Remark MG47HGWQS2
| URI | m2://inv/MG47HGWQS2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin transfer (group theory)#FLEO, Remark (unknown)
History
- 2026-11-02: add by m2/dev
Differential inclusion MG48N7W1PY
| URI | m2://inv/MG48N7W1PY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential inclusion, Differential inclusion (definition). Also Wikidata Q1054638
History
- 2026-11-02: add by m2/dev
William Feller MG4CFCJPFG
| URI | m2://inv/MG4CFCJPFG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#0BB7, William Feller (topic)
History
- 2026-11-02: add by m2/dev
Alternative definitions MG4D7TN6NE
| URI | m2://inv/MG4D7TN6NE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind domain#MITM, Alternative definitions (definition)
History
- 2026-11-02: add by m2/dev
MG4D8NTZEX MG4D8NTZEX
| URI | m2://inv/MG4D8NTZEX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07695#VBYS (example). In 8Z47D12KSX/e1, example 9.1
History
- 2026-10-29: add by m2/v0.4.10
Demazure conjecture MG4G559CAE
| URI | m2://inv/MG4G559CAE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#QKKF, Demazure conjecture (statement)
History
- 2026-11-02: add by m2/dev
MG4GTAXCRR MG4GTAXCRR
| URI | m2://inv/MG4GTAXCRR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18302#GQD5 (example). In VJTRH1S4JA/e1, example 4.27
History
- 2026-10-28: add by m2/v0.4.2
MG4HEB4BS1 MG4HEB4BS1
| URI | m2://inv/MG4HEB4BS1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07122#45G9 (example). In W0ZHX9DHPV/e1, example 12
History
- 2026-10-29: add by m2/v0.4.10
MG4KS2DF46 MG4KS2DF46
| URI | m2://inv/MG4KS2DF46 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-71 (exercise). In E59CDZA4DP, exercise, section 10.5.7
History
- 2026-11-01: add by m2/v0.6.13
Conjugation of isometries in Euclidean space MG4W8FK7T1
| URI | m2://inv/MG4W8FK7T1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugation of isometries in Euclidean space, Conjugation of isometries in Euclidean space (definition). Also Wikidata Q5161165
History
- 2026-11-02: add by m2/dev
MG52J37PDN MG52J37PDN
| URI | m2://inv/MG52J37PDN |
|---|---|
| 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 2609.23202#KGEL (statement)
History
- 2026-11-02: add by m2/v0.6.17
Parameter space MG5B7SZ1GA
| URI | m2://inv/MG5B7SZ1GA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IEPD, Parameter space (definition)
History
- 2026-11-02: add by m2/dev
MG5C0T0475 MG5C0T0475
| URI | m2://inv/MG5C0T0475 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#RZAL (definition). In XGPZ0G9E1Q/e1, definition 9.1
History
- 2026-10-29: add by m2/v0.4.12
MG5DGJWCT3 MG5DGJWCT3
| URI | m2://inv/MG5DGJWCT3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21098#MVDH (statement)
History
- 2026-11-02: add by m2/v0.6.18
Hadamard variation formula MG5MHQQSPT
| URI | m2://inv/MG5MHQQSPT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard variation formula, Hadamard variation formula (statement). Also Wikidata Q132296359
History
- 2026-11-02: add by m2/dev
Doomsday argument MG5R1GERAB
| URI | m2://inv/MG5R1GERAB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#S2WL, Doomsday argument (definition)
History
- 2026-11-02: add by m2/dev
MG5X3GTF5W MG5X3GTF5W
| URI | m2://inv/MG5X3GTF5W |
|---|---|
| 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.20458#BHHH (statement)
- arxiv: arXiv 2609.20488#H7DP (statement)
History
- 2026-11-02: add by m2/v0.6.18
MG5Y4C8PF7 MG5Y4C8PF7
| URI | m2://inv/MG5Y4C8PF7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#A07J (definition). In 4WPYBTARS2/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.12
MG5ZJ92ANQ MG5ZJ92ANQ
| URI | m2://inv/MG5ZJ92ANQ |
|---|---|
| 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.23847#H8OK (statement)
History
- 2026-11-02: add by m2/v0.6.17
MG62H1GX4F MG62H1GX4F
| URI | m2://inv/MG62H1GX4F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07530#AHC9 (definition). In C7QZ0VPBC8/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.10
Five Points MG63D86HDZ
| URI | m2://inv/MG63D86HDZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#IOX4, Five Points (unknown)
History
- 2026-11-02: add by m2/dev
Uniform bound for the sine diagonal MG662MVDA5
| URI | m2://inv/MG662MVDA5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#ED2W, Uniform bound for the sine diagonal (statement). In JY6RYSNXMJ/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.10
Viewing frustum MG66CG32MW
| URI | m2://inv/MG66CG32MW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#ANX3, Viewing frustum (unknown)
History
- 2026-11-02: add by m2/dev
Claim MG677C7S3D
| URI | m2://inv/MG677C7S3D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BQP#422L, Claim (statement)
History
- 2026-11-02: add by m2/dev
Atomic fact MG6E01QAHG
| URI | m2://inv/MG6E01QAHG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atomic sentence#4B2U, Atomic fact (unknown)
History
- 2026-11-02: add by m2/dev
MG6EBYV08J MG6EBYV08J
| URI | m2://inv/MG6EBYV08J |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24917#2NPR (example)
History
- 2026-11-01: add by m2/v0.6.15
algebraic element MG6FNZHF64
| URI | m2://inv/MG6FNZHF64 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Algebraic element 0H628RSGWX |
Mentions
- wikidata: Wikidata Q162608, algebraic element (unknown). Also MathWorld AlgebraicElement
- wikipedia: Wikipedia Algebraic element, Algebraic element (definition). Also Wikidata Q162608
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
MG6WVB4EVG MG6WVB4EVG
| URI | m2://inv/MG6WVB4EVG |
|---|---|
| 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.12188#D24V (statement). In 52HWCGK5QJ/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
Karpenko--Merkurjev MG790FREE6
| URI | m2://inv/MG790FREE6 |
|---|---|
| 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#28NL, Karpenko--Merkurjev (statement). In TPA3E67MKK/e1, theorem 5.8
History
- 2026-10-29: add by m2/v0.4.10
MG7DVEZ58K MG7DVEZ58K
| URI | m2://inv/MG7DVEZ58K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14717#ECFO (statement). In ZB2QPB5EBN/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.2
Charles Moore MG7EQBACYM
| URI | m2://inv/MG7EQBACYM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#GK89, Charles Moore (unknown)
History
- 2026-11-02: add by m2/dev
MG7PZRJHP9 MG7PZRJHP9
| URI | m2://inv/MG7PZRJHP9 |
|---|---|
| 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.20469#Q9M6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Charles S. Peskin MG82EFQT8H
| URI | m2://inv/MG82EFQT8H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8ZZW, Charles S. Peskin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TGR0, Charles S. Peskin (topic)
History
- 2026-11-02: add by m2/dev
Corollary 4. Compound angle sine (−) MG84E6ZMZZ
| URI | m2://inv/MG84E6ZMZZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ptolemy's theorem#4IH3, Corollary 4. Compound angle sine (−) (statement)
History
- 2026-11-02: add by m2/dev
MG85H1YHC8 MG85H1YHC8
| URI | m2://inv/MG85H1YHC8 |
|---|---|
| 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 2609.34260#AZ25 (statement). In BBE69ZPVTF/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Directional stability of Reeb graphs MG8BJWYHT8
| URI | m2://inv/MG8BJWYHT8 |
|---|---|
| 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 2610.03126#YYGI, Directional stability of Reeb graphs (statement). In ZJ6VQCRDVR/e1, proposition 6
History
- 2026-10-29: add by m2/v0.4.12
Alan Baker MG8BWBF4WD
| URI | m2://inv/MG8BWBF4WD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1AI9, Alan Baker (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#POQI, Alan Baker (topic)
History
- 2026-11-02: add by m2/dev
Example MG8FDRE3WY
| URI | m2://inv/MG8FDRE3WY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faà di Bruno's formula#I5DG, Example (example)
History
- 2026-11-02: add by m2/dev
The sporadic group $Co_3$ on $276$ points MG8KFZWHC5
| URI | m2://inv/MG8KFZWHC5 |
|---|---|
| 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#0309, The sporadic group $Co_3$ on $276$ points (statement). In 9NVKKW8HDH/e1, proposition 2.89
History
- 2026-10-28: add by m2/v0.4.2
MG978B68B9 MG978B68B9
| URI | m2://inv/MG978B68B9 |
|---|---|
| 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.16727#H4BU (statement). In Z5QS3MD8HN/e1, corollary 5.2
History
- 2026-10-28: add by m2/v0.4.2
MGA8WKJ8BW MGA8WKJ8BW
| URI | m2://inv/MGA8WKJ8BW |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/CH.tex#proof-1 (proof). In RZP28ERRZV, proof, section 88.1
History
- 2026-11-01: add by m2/v0.6.13
Greedy aggregate-support guarantee MGA9HT8EBS
| URI | m2://inv/MGA9HT8EBS |
|---|---|
| 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 2609.31535#ZD4I, Greedy aggregate-support guarantee (statement). In BAWCMJQGVA/e1, corollary 4.2
History
- 2026-10-31: add by m2/v0.5.6
James Lepowsky MGAAPZJVZY
| URI | m2://inv/MGAAPZJVZY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#4KKV, James Lepowsky (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#P3O0, James Lepowsky (topic)
History
- 2026-11-02: add by m2/dev
Application MGAMGH904K
| URI | m2://inv/MGAMGH904K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jordan curve theorem#9FNA, Application (example)
History
- 2026-11-02: add by m2/dev
Pavel Alexandrov MGAT77X7VB
| URI | m2://inv/MGAT77X7VB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pavel Alexandrov, Pavel Alexandrov (topic). Also Wikidata Q325696
History
- 2026-11-02: add by m2/dev
APFEL MGB0DSK5WS
| URI | m2://inv/MGB0DSK5WS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#9FW6, APFEL (unknown)
History
- 2026-11-02: add by m2/dev
MGBBNJ90NC MGBBNJ90NC
| URI | m2://inv/MGBBNJ90NC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10469#QMY5 (statement). In Q39BEKW6D9/e1, theorem 2.9
History
- 2026-10-29: add by m2/v0.4.10
Harish-Chandra Character Formula MGBGDT184V
| URI | m2://inv/MGBGDT184V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl character formula#BUUS, Harish-Chandra Character Formula (statement)
History
- 2026-11-02: add by m2/dev
Theorem MGC269W2B7
| URI | m2://inv/MGC269W2B7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brascamp–Lieb inequality#FT70, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Definitions MGC6KN8HBP
| URI | m2://inv/MGC6KN8HBP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tweedie distribution#E1IJ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Vera Fischer (mathematician) MGCKVF40YH
| URI | m2://inv/MGCKVF40YH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#140K, Vera Fischer (mathematician) (unknown)
History
- 2026-11-02: add by m2/dev
MGCV0SN21C MGCV0SN21C
| URI | m2://inv/MGCV0SN21C |
|---|---|
| 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.25703#JT6Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
Taylor expansions for the moments of functions of random variables MGCY9NSTPG
| URI | m2://inv/MGCY9NSTPG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LI49, Taylor expansions for the moments of functions of random variables (definition)
History
- 2026-11-02: add by m2/dev
Tribonacci sequence MGD46QYYRT
| URI | m2://inv/MGD46QYYRT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tribonacci ratio#F8BK, Tribonacci sequence (unknown)
History
- 2026-11-02: add by m2/dev
Lychrel number MGD4RPTTJE
| URI | m2://inv/MGD4RPTTJE |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q981018, Lychrel number (problem). Also MathWorld LychrelNumber, OEIS A023108
- wikipedia: Wikipedia Lychrel number, Lychrel number (conjecture). Also Wikidata Q981018
History
- 2026-10-26: add by m2/dev
Lemma MGD7B7EQQ7
| URI | m2://inv/MGD7B7EQQ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-construction#83CR, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Lucien Marie Le Cam MGD8JJEKMP
| URI | m2://inv/MGD8JJEKMP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NLZ8, Lucien Marie Le Cam (topic)
History
- 2026-11-02: add by m2/dev
Joseph Pérès MGDA061ZC4
| URI | m2://inv/MGDA061ZC4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3LRJ, Joseph Pérès (topic)
History
- 2026-11-02: add by m2/dev
E9 honeycomb MGDC1A0QX3
| URI | m2://inv/MGDC1A0QX3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E9 honeycomb, E9 honeycomb (definition). Also Wikidata Q5322463
History
- 2026-11-02: add by m2/dev
Cross-covariance MGDHFE9RMX
| URI | m2://inv/MGDHFE9RMX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4QJQ, Cross-covariance (definition)
History
- 2026-11-02: add by m2/dev
MGDZR9BEYK MGDZR9BEYK
| URI | m2://inv/MGDZR9BEYK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#EQWD (example). In 9ZSNSJRJ5N/e1, example 46
History
- 2026-10-27: add by m2/v0.4.2
MGE105WE2T MGE105WE2T
| URI | m2://inv/MGE105WE2T |
|---|---|
| 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.39293#ORA6 (statement). In S26QVW5613/e1, corollary 2.5.2
History
- 2026-10-30: add by m2/v0.4.12
Material implication MGE1ANSF1X
| URI | m2://inv/MGE1ANSF1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Material implication (rule of inference), Material implication (definition). Also Wikidata Q6786560
History
- 2026-11-02: add by m2/dev
ordered field MGE1BW2M8G
| URI | m2://inv/MGE1BW2M8G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Ordered field 010JCV9J4E |
Mentions
- wikidata: Wikidata Q909412, ordered field (unknown). Also nLab ordered field
- wikipedia: Wikipedia Ordered field, Ordered field (definition). Also Wikidata Q909412
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
MGE2YBPV2N MGE2YBPV2N
| URI | m2://inv/MGE2YBPV2N |
|---|---|
| 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.13773#B1NE (statement). In E75XQY0QFM/e1, proposition G.1
History
- 2026-10-28: add by m2/v0.4.2
MGE4BVQ7PK MGE4BVQ7PK
| URI | m2://inv/MGE4BVQ7PK |
|---|---|
| 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.10937#7SL0 (statement). In 6VVK3YTABP/e1, theorem 2.14
History
- 2026-10-28: add by m2/v0.4.3
HoDoMS MGE8EHNRMA
| URI | m2://inv/MGE8EHNRMA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HoDoMS, HoDoMS (topic). Also Wikidata Q16984536
History
- 2026-11-02: add by m2/dev
MGEFX5D3JT MGEFX5D3JT
| URI | m2://inv/MGEFX5D3JT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13884#1KJI (statement). In N2NQ3QJYTW/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Y-homeomorphism MGEKDERSJ1
| URI | m2://inv/MGEKDERSJ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Y-homeomorphism, Y-homeomorphism (definition). Also Wikidata Q8045719
History
- 2026-11-02: add by m2/dev
Achilles Papapetrou MGEXZTHRQB
| URI | m2://inv/MGEXZTHRQB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#LC4A, Achilles Papapetrou (unknown)
History
- 2026-11-02: add by m2/dev
MGF68FE123 MGF68FE123
| URI | m2://inv/MGF68FE123 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-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.10591#NHMV (definition). In FTEA0TM35J/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.10
type, higher inductive MGF7DYVR6F
| URI | m2://inv/MGF7DYVR6F |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5/type-higher-inductive, type, higher inductive (concept). In N54F33XE07, index, section 5
History
- 2026-11-01: add by m2/v0.6.13
MGF9PQSPEQ MGF9PQSPEQ
| URI | m2://inv/MGF9PQSPEQ |
|---|---|
| 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.21529#4GBT (statement)
History
- 2026-11-02: add by m2/v0.6.18
Implementation MGFA2RV7WC
| URI | m2://inv/MGFA2RV7WC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Short-time Fourier transform#W9R7, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Frobenius characteristic map MGFNQYEHKK
| URI | m2://inv/MGFNQYEHKK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius characteristic map, Frobenius characteristic map (definition). Also Wikidata Q111181154
History
- 2026-11-02: add by m2/dev
MGFQVMJGAY MGFQVMJGAY
| URI | m2://inv/MGFQVMJGAY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39905#A6A9 (statement). In D4B23ER9QD/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
Idris Assani MGFSRXJ54G
| URI | m2://inv/MGFSRXJ54G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9GTW, Idris Assani (topic)
History
- 2026-11-02: add by m2/dev
Deltoidal triheptagonal tiling MGFT7S0B2S
| URI | m2://inv/MGFT7S0B2S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhombitriheptagonal tiling#FTUL, Deltoidal triheptagonal tiling (unknown)
History
- 2026-11-02: add by m2/dev
Extension MGFTRD68E1
| URI | m2://inv/MGFTRD68E1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superabundant number#X3NF, Extension (statement)
History
- 2026-11-02: add by m2/dev
Ludwig Mehlhorn MGFWRZMHWA
| URI | m2://inv/MGFWRZMHWA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#C2PW, Ludwig Mehlhorn (topic)
History
- 2026-11-02: add by m2/dev
Ditrigonal polyhedron MGG43Z1N06
| URI | m2://inv/MGG43Z1N06 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ditrigonal polyhedron, Ditrigonal polyhedron (object). Also Wikidata Q17009349
History
- 2026-11-02: add by m2/dev
MGG52MZW2A MGG52MZW2A
| URI | m2://inv/MGG52MZW2A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#7DQD (statement). In 9YAE8FNQST/e1, theorem 6.3
History
- 2026-10-30: add by m2/v0.4.12
RSA problem MGGAF34083
| URI | m2://inv/MGGAF34083 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA problem, RSA problem (problem). Also Wikidata Q3297596
History
- 2026-11-02: add by m2/dev
Example MGGB81XX82
| URI | m2://inv/MGGB81XX82 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unfolding (functions)#C7LB, Example (example)
History
- 2026-11-02: add by m2/dev
The field large-deviation principle MGGFWFBV4P
| URI | m2://inv/MGGFWFBV4P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02436#526X, The field large-deviation principle (statement). In J9WZBK6KAY/e1, theorem A.1
History
- 2026-10-29: add by m2/v0.4.12
MGGH2D60A4 MGGH2D60A4
| URI | m2://inv/MGGH2D60A4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#JTTG (example). In 9H45HQE7AZ/e1, example 3.18
History
- 2026-10-27: add by m2/v0.3.5
MGGJH6XV69 MGGJH6XV69
| URI | m2://inv/MGGJH6XV69 |
|---|---|
| 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.10576#M2O6 (statement). In N3ZA5MDZBW/e1, corollary C
History
- 2026-10-29: add by m2/v0.4.10
MGGXCX6R48 MGGXCX6R48
| URI | m2://inv/MGGXCX6R48 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#ZNFT (example). In 9H45HQE7AZ/e1, example 3.39
History
- 2026-10-27: add by m2/v0.3.5
MGGYJ2QZBX MGGYJ2QZBX
| URI | m2://inv/MGGYJ2QZBX |
|---|---|
| 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.12188#X2M0 (statement). In 52HWCGK5QJ/e1, theorem 5.4
History
- 2026-10-28: add by m2/v0.4.2
Closed function MGH2200D49
| URI | m2://inv/MGH2200D49 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#T23A, Closed function (definition)
History
- 2026-11-02: add by m2/dev
Galerkin convergence MGH4QHAV1F
| URI | m2://inv/MGH4QHAV1F |
|---|---|
| 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.28937#908E, Galerkin convergence (statement)
History
- 2026-11-01: add by m2/v0.6.15
MGH9P7GF79 MGH9P7GF79
| URI | m2://inv/MGH9P7GF79 |
|---|---|
| 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 2609.30086#EMY5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition MGHYAESKE2
| URI | m2://inv/MGHYAESKE2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enriched category#2DYN, Definition (definition)
History
- 2026-11-02: add by m2/dev
MGJ42TD3JY MGJ42TD3JY
| URI | m2://inv/MGJ42TD3JY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/taylor.tex#definition-4 (definition). In RZP28ERRZV, definition, section 34.4
History
- 2026-11-01: add by m2/v0.6.13
MGJ5VV29NK MGJ5VV29NK
| URI | m2://inv/MGJ5VV29NK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#IQ0J (definition). In 9H45HQE7AZ/e1, definition 2.32
History
- 2026-10-27: add by m2/v0.3.5
MGJG8XFCPE MGJG8XFCPE
| URI | m2://inv/MGJG8XFCPE |
|---|---|
| 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.37197#7RM6 (statement). In 98ESNNP0CC/e1, theorem 4.2
History
- 2026-10-30: add by m2/v0.4.12
MGJQ95F2S1 MGJQ95F2S1
| URI | m2://inv/MGJQ95F2S1 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07114#WSAN (problem). In HP3TM356J6/e1, problem 1
History
- 2026-10-29: add by m2/v0.4.10
Stiff equation MGJYV5NGJ8
| URI | m2://inv/MGJYV5NGJ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#J4ZZ, Stiff equation (definition)
History
- 2026-11-02: add by m2/dev
MGK16W0P01 MGK16W0P01
| URI | m2://inv/MGK16W0P01 |
|---|---|
| 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.24931#RB7H (statement)
History
- 2026-11-01: add by m2/v0.6.15
Code of the Quipu MGK1C4SBCD
| URI | m2://inv/MGK1C4SBCD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Code of the Quipu, Code of the Quipu (definition). Also Wikidata Q96375196
History
- 2026-11-02: add by m2/dev
Monotonic function MGK2QRX8P7
| URI | m2://inv/MGK2QRX8P7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#K2GN, Monotonic function (definition)
History
- 2026-11-02: add by m2/dev
MGK45W5KJM MGK45W5KJM
| URI | m2://inv/MGK45W5KJM |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27775#89KT (problem)
History
- 2026-11-01: add by m2/v0.6.15
Truncated dodecahedral graph MGKBFQ63BV
| URI | m2://inv/MGKBFQ63BV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated dodecahedron#GKGZ, Truncated dodecahedral graph (unknown)
History
- 2026-11-02: add by m2/dev
Demographics of Afghanistan MGKBQ96Q98
| URI | m2://inv/MGKBQ96Q98 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Afghanistan, Demographics of Afghanistan (definition). Also Wikidata Q1075999
History
- 2026-11-02: add by m2/dev
MGKN12953A MGKN12953A
| URI | m2://inv/MGKN12953A |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37356#T5G4 (example). In 7K8FRVC8TZ/e1, example
History
- 2026-10-30: add by m2/v0.4.12
Axiom 1 MGKSM5DQ6W
| URI | m2://inv/MGKSM5DQ6W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Huzita–Hatori axioms#ABM6, Axiom 1 (statement)
History
- 2026-11-02: add by m2/dev
Properties MGKYHRFY6Z
| URI | m2://inv/MGKYHRFY6Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subharmonic function#VB8E, Properties (statement)
History
- 2026-11-02: add by m2/dev
MGMP91PG1P MGMP91PG1P
| URI | m2://inv/MGMP91PG1P |
|---|---|
| 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.17258#TVLE (statement). In F4M67ZVBF2/e1, lemma 1.2
History
- 2026-10-28: add by m2/v0.4.2
Irwin, Joseph Oscar MGMZVNA887
| URI | m2://inv/MGMZVNA887 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#Z4W1, Irwin, Joseph Oscar (unknown)
History
- 2026-11-02: add by m2/dev
Vacuum state MGN1XD7ECZ
| URI | m2://inv/MGN1XD7ECZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#W4VV, Vacuum state (unknown)
History
- 2026-11-02: add by m2/dev
Richard Taylor MGN48XHCZX
| URI | m2://inv/MGN48XHCZX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#ESS4, Richard Taylor (topic)
History
- 2026-11-02: add by m2/dev
Birch and Swinnerton-Dyer conjecture MGNCYD3SZ8
| URI | m2://inv/MGNCYD3SZ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#9M0Y, Birch and Swinnerton-Dyer conjecture (definition)
History
- 2026-11-02: add by m2/dev
Axioms for fuzzy union MGNCZXP7TB
| URI | m2://inv/MGNCZXP7TB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuzzy set operations#ZH7I, Axioms for fuzzy union (statement)
History
- 2026-11-02: add by m2/dev
Legendre's identity MGNHZP8GS3
| URI | m2://inv/MGNHZP8GS3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Legendre sieve#1TKT, Legendre's identity (statement)
History
- 2026-11-02: add by m2/dev
bounded MGNJAGQQ3T
| URI | m2://inv/MGNJAGQQ3T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#NZV9, bounded (definition)
History
- 2026-11-02: add by m2/dev
=*{Lemma 5.1} for $A$ a field of characteristic zero. MGNPNXK4WT
| URI | m2://inv/MGNPNXK4WT |
|---|---|
| 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.36922#VQAN, =*{Lemma 5.1} for $A$ a field of characteristic zero. (statement). In BMHWE5QTTR/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Moduli of abelian varieties MGNTGSZ7F4
| URI | m2://inv/MGNTGSZ7F4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moduli of abelian varieties, Moduli of abelian varieties (definition). Also Wikidata Q97357714
History
- 2026-11-02: add by m2/dev
MGNTJBKNVZ MGNTJBKNVZ
| URI | m2://inv/MGNTJBKNVZ |
|---|---|
| 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.26896#RVFO (statement)
History
- 2026-11-01: add by m2/v0.6.15
MGNW3CCD5Z MGNW3CCD5Z
| URI | m2://inv/MGNW3CCD5Z |
|---|---|
| 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 2310.10361#3A8H (statement). In 65ED1ZXG98/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.6
William Frederick Gerhardt MGNYNF73TY
| URI | m2://inv/MGNYNF73TY |
|---|---|
| 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#XQJZ, William Frederick Gerhardt (unknown)
History
- 2026-11-02: add by m2/dev
Statement MGP0RDQVAY
| URI | m2://inv/MGP0RDQVAY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gap theorem#7LV4, Statement (statement)
History
- 2026-11-02: add by m2/dev
Nirenberg's conjecture MGP8G9B7SR
| URI | m2://inv/MGP8G9B7SR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q106362666, Nirenberg's conjecture (conjecture). Also MathWorld NirenbergsConjecture
- wikipedia: Wikipedia Osserman–Xavier–Fujimoto theorem, Osserman–Xavier–Fujimoto theorem (statement). Also Wikidata Q106362666
History
- 2026-10-26: add by m2/dev
MGPBDQ0J60 MGPBDQ0J60
| URI | m2://inv/MGPBDQ0J60 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34675#V7OZ (statement). In C93BAXKJVD/e1, lemma 3.10
History
- 2026-10-30: add by m2/v0.4.12
Uses MGPCBRY4Y2
| URI | m2://inv/MGPCBRY4Y2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized inverse#51ZF, Uses (example)
History
- 2026-11-02: add by m2/dev
List of Polish mathematicians MGPQWST868
| URI | m2://inv/MGPQWST868 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Polish mathematicians, List of Polish mathematicians (topic). Also Wikidata Q6594410
History
- 2026-11-02: add by m2/dev
Emory McClintock MGQ1DNR095
| URI | m2://inv/MGQ1DNR095 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#JQK2, Emory McClintock (unknown)
History
- 2026-11-02: add by m2/dev
Danish pile-driving formula MGQ3HEMK32
| URI | m2://inv/MGQ3HEMK32 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Danish pile-driving formula, Danish pile-driving formula (statement). Also Wikidata Q5219774
History
- 2026-11-02: add by m2/dev
empty set axiom MGQ5E9MF3G
| URI | m2://inv/MGQ5E9MF3G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#KUHN, empty set axiom (definition)
History
- 2026-11-02: add by m2/dev
MGQDWKEW07 MGQDWKEW07
| URI | m2://inv/MGQDWKEW07 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37103#O3C5 (statement). In 6Q8YMAWFZN/e1, proposition 6.2
History
- 2026-10-30: add by m2/v0.4.12
recurrence algorithms MGQR85V98V
| URI | m2://inv/MGQR85V98V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LU decomposition#7W74, recurrence algorithms (definition)
History
- 2026-11-02: add by m2/dev
Theorem MGQRW25QE8
| URI | m2://inv/MGQRW25QE8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantor's intersection theorem#KL5E, Theorem (statement)
History
- 2026-11-02: add by m2/dev
MGQTDPZ48V MGQTDPZ48V
| URI | m2://inv/MGQTDPZ48V |
|---|---|
| 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.01273#WF4B (statement). In RAT41DDR51/e1, lemma 5.9
History
- 2026-10-29: add by m2/v0.4.12
Campana MGQV3XEBEQ
| URI | m2://inv/MGQV3XEBEQ |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05032#RO7B, Campana (conjecture). In DDNK8D4359/e1, conjecture
History
- 2026-10-29: add by m2/v0.4.12
Truncation error for general data MGQVSNCH36
| URI | m2://inv/MGQVSNCH36 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10640#8STT, Truncation error for general data (statement). In BAQVK6N0RD/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
Properties MGQVZ9XEN1
| URI | m2://inv/MGQVZ9XEN1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Negative binomial distribution#0Y9U, Properties (statement)
History
- 2026-11-02: add by m2/dev
MGR122X4BT MGR122X4BT
| URI | m2://inv/MGR122X4BT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#A65M (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algorithms MGR6P76WVX
| URI | m2://inv/MGR6P76WVX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parity graph#57H1, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Zorn's lemma implies the axiom of choice MGRA4BD4T6
| URI | m2://inv/MGRA4BD4T6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zorn's lemma#2CLB, Zorn's lemma implies the axiom of choice (statement)
History
- 2026-11-02: add by m2/dev
John Guckenheimer MGRH2ENKXT
| URI | m2://inv/MGRH2ENKXT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#C1SX, John Guckenheimer (unknown)
History
- 2026-11-02: add by m2/dev
MGRP1SY0G7 MGRP1SY0G7
| URI | m2://inv/MGRP1SY0G7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#6K6J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Woodin MGRQRNJHZ4
| URI | m2://inv/MGRQRNJHZ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19088#64AJ, Woodin (statement). In 90QTB4CC31/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.2
Space-filling curve MGRT5DKAN9
| URI | m2://inv/MGRT5DKAN9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#GIYJ, Space-filling curve (definition)
- wikipedia: Wikipedia List of curves#AP8P, Space-filling curve (definition)
- wikipedia: Wikipedia List of topologies#JYNH, Space-filling curve (definition)
- wikipedia: Wikipedia List of examples in general topology#2NY2, Space-filling curve (definition)
History
- 2026-11-02: add by m2/dev
MGRYMG2XPH MGRYMG2XPH
| URI | m2://inv/MGRYMG2XPH |
|---|---|
| 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.03011#VLB2 (statement). In VE8FB6K8EN/e1, proposition 9
History
- 2026-10-29: add by m2/v0.4.12
Peter J. Olver MGSB6NXXBT
| URI | m2://inv/MGSB6NXXBT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter J. Olver, Peter J. Olver (topic). Also Wikidata Q14915867
History
- 2026-11-02: add by m2/dev
Wing Hung Wong MGSF8Q76XF
| URI | m2://inv/MGSF8Q76XF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wing Hung Wong, Wing Hung Wong (topic). Also Wikidata Q9060796
History
- 2026-11-02: add by m2/dev
Susanne Brenner MGSXKX8C3H
| URI | m2://inv/MGSXKX8C3H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susanne Brenner, Susanne Brenner (topic). Also Wikidata Q15994950
History
- 2026-11-02: add by m2/dev
MGSY3AMHBP MGSY3AMHBP
| URI | m2://inv/MGSY3AMHBP |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grünbaum–Nash-Williams conjecture#9NVW (problem)
History
- 2026-11-02: add by m2/dev
MGT2VE46Y0 MGT2VE46Y0
| URI | m2://inv/MGT2VE46Y0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/overspill.tex#inf-not-fo (statement). In PKGMM3P5QY, prop, section 46.4
History
- 2026-11-01: add by m2/v0.6.13
induction principle, for $\Sn^2$ MGTBNC2N3H
| URI | m2://inv/MGTBNC2N3H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.4/induction-principle-for-sn-2, induction principle, for $\Sn^2$ (concept). In N54F33XE07, index, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
Morse Skeleton Representation of Graphs MGTN16T9PA
| URI | m2://inv/MGTN16T9PA |
|---|---|
| Kind | definition |
| 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.01937#3CE2, Morse Skeleton Representation of Graphs (definition). In BAEDMM7YM5/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.12
Spectral method MGTS89TVSX
| URI | m2://inv/MGTS89TVSX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partial differential equation topics#ZRXK, Spectral method (definition)
- wikipedia: Wikipedia List of harmonic analysis topics#CBJT, Spectral method (definition)
History
- 2026-11-02: add by m2/dev
Example MGTSVADDCS
| URI | m2://inv/MGTSVADDCS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic factor#U6RD, Example (example)
History
- 2026-11-02: add by m2/dev
Example MGV0FCMA3D
| URI | m2://inv/MGV0FCMA3D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integration along fibers#EJTQ, Example (example)
History
- 2026-11-02: add by m2/dev
MGV13YXHX4 MGV13YXHX4
| URI | m2://inv/MGV13YXHX4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20513#PXXB (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition MGV8E6812H
| URI | m2://inv/MGV8E6812H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superelliptic curve#A33L, Definition (definition)
History
- 2026-11-02: add by m2/dev
Nikolai Günther MGVAHYKNTM
| URI | m2://inv/MGVAHYKNTM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nikolai Günther, Nikolai Günther (topic). Also Wikidata Q2603369
History
- 2026-11-02: add by m2/dev
diameter MGVAWW5PFK
| URI | m2://inv/MGVAWW5PFK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q37221, diameter (unknown). Also EoM Diameter, MathWorld Diameter
- wikipedia: Wikipedia Diameter, Diameter (definition). Also Wikidata Q37221
History
- 2026-10-26: add by m2/dev
Derivative of a vanishing mixed block MGVCTXKZRV
| URI | m2://inv/MGVCTXKZRV |
|---|---|
| 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.25762#UFRT, Derivative of a vanishing mixed block (statement)
History
- 2026-11-01: add by m2/v0.6.15
Runcinated 5-cubes MGVCY8HFK6
| URI | m2://inv/MGVCY8HFK6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Runcinated 5-cubes, Runcinated 5-cubes (definition). Also Wikidata Q7379701
History
- 2026-11-02: add by m2/dev
MGVG5JBS2H MGVG5JBS2H
| URI | m2://inv/MGVG5JBS2H |
|---|---|
| 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 2608.24190#1QQ1 (statement). In DW7FVA587C/e1, lemma 4.17
History
- 2026-10-27: add by m2/v0.3.5
MGVG6NWFS4 MGVG6NWFS4
| URI | m2://inv/MGVG6NWFS4 |
|---|---|
| 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 2610.03497#68EW (statement). In RRNHC0CAC9/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Definition MGVYK0G83W
| URI | m2://inv/MGVYK0G83W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplicative digital root#786Z, Definition (definition)
History
- 2026-11-02: add by m2/dev
Antonio Signorini MGW37AK3NY
| URI | m2://inv/MGW37AK3NY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#347X, Antonio Signorini (unknown)
History
- 2026-11-02: add by m2/dev
Generic Conley conjecture from $\qst_p$ MGW5J5THQA
| URI | m2://inv/MGW5J5THQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#OO0Z, Generic Conley conjecture from $\qst_p$ (statement). In 13GSWBXPCM/e1, corollary 1.7
History
- 2026-10-27: add by m2/v0.3.5
MGWBGVGMTX MGWBGVGMTX
| URI | m2://inv/MGWBGVGMTX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00584#RF20 (statement). In 3CRSR95BNA/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
MGWHAATMR5 MGWHAATMR5
| URI | m2://inv/MGWHAATMR5 |
|---|---|
| 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.32614#2ZOR (statement). In SG8GT73ZNH/e1, theorem 1.4
History
- 2026-10-31: add by m2/v0.5.6
Salmon invariant MGWSE8XZ3H
| URI | m2://inv/MGWSE8XZ3H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#TRGY, Salmon invariant (definition)
History
- 2026-11-02: add by m2/dev
Natalia Berloff MGWSX3YZQC
| URI | m2://inv/MGWSX3YZQC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natalia Berloff, Natalia Berloff (topic). Also Wikidata Q16990163
History
- 2026-11-02: add by m2/dev
Kennedy, Joseph C. G. MGWZBH9KSG
| URI | m2://inv/MGWZBH9KSG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#7BLQ, Kennedy, Joseph C. G. (unknown)
History
- 2026-11-02: add by m2/dev
canonical commutation relation MGX4KGTS8K
| URI | m2://inv/MGX4KGTS8K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q473322, canonical commutation relation (unknown). Also nLab canonical commutation relation
- wikipedia: Wikipedia Canonical commutation relation, Canonical commutation relation (definition). Also Wikidata Q473322
History
- 2026-10-26: add by m2/dev
MGX9N5WRVB MGX9N5WRVB
| URI | m2://inv/MGX9N5WRVB |
|---|---|
| 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 2607.28337#2L52 (statement). In 7ZJFWBTBKM/e1, lemma 3.4.1
History
- 2026-10-27: add by m2/v0.3.6
MGXCV7M0MG MGXCV7M0MG
| URI | m2://inv/MGXCV7M0MG |
|---|---|
| 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.28357#TU16 (statement)
History
- 2026-11-01: add by m2/v0.6.15
MGXRFZHW5E MGXRFZHW5E
| URI | m2://inv/MGXRFZHW5E |
|---|---|
| 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#VSKQ (statement). In GSTK4569X1/e1, corollary 5.16
History
- 2026-10-28: add by m2/v0.4.2
Qt MGY2T4MTGB
| URI | m2://inv/MGY2T4MTGB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of interactive geometry software#WEOS, Qt (unknown)
History
- 2026-11-02: add by m2/dev
MGYBFVS463 MGYBFVS463
| URI | m2://inv/MGYBFVS463 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14914#G4AG (statement). In CHC3T113Y4/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.2
MGYMK6JVSP MGYMK6JVSP
| URI | m2://inv/MGYMK6JVSP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroCardinality.tex#example-2 (example). In P1C114YBXG, example, section D
History
- 2026-11-01: add by m2/v0.6.13
MGYPC79WPT MGYPC79WPT
| URI | m2://inv/MGYPC79WPT |
|---|---|
| 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.29469#SDZK (statement)
History
- 2026-11-01: add by m2/v0.6.15
MGYQWYP5YD MGYQWYP5YD
| URI | m2://inv/MGYQWYP5YD |
|---|---|
| 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.10248#KY0I (statement). In TMV74X2725/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
Varghese Mathai MGYWPF4X37
| URI | m2://inv/MGYWPF4X37 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#F7RF, Varghese Mathai (unknown)
History
- 2026-11-02: add by m2/dev
The quality of hypothesis test MGYX32PKNT
| URI | m2://inv/MGYX32PKNT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Type I and type II errors#NXW2, The quality of hypothesis test (statement)
History
- 2026-11-02: add by m2/dev
MGYYGZ0XVR MGYYGZ0XVR
| URI | m2://inv/MGYYGZ0XVR |
|---|---|
| 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 2108.05533#RJHL (statement). In 14DZA4M2C6/e1, lemma B.3
History
- 2026-10-27: add by m2/v0.3.5
Theorem MGZ3S8FQ3F
| URI | m2://inv/MGZ3S8FQ3F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach space#F1Q4, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Medial graph MGZ3SS8CV6
| URI | m2://inv/MGZ3SS8CV6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Medial graph, Medial graph (definition). Also Wikidata Q6806047
History
- 2026-11-02: add by m2/dev
Elliptical distribution MGZBTK2EPP
| URI | m2://inv/MGZBTK2EPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0UDJ, Elliptical distribution (definition)
History
- 2026-11-02: add by m2/dev
MGZC8DHGH9 MGZC8DHGH9
| URI | m2://inv/MGZC8DHGH9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16358#7SOG (statement). In RJA3YJ9NYK/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
imaginary number MGZDA4BS68
| URI | m2://inv/MGZDA4BS68 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9165172, imaginary number (unknown). Also MathWorld ImaginaryNumber
- wikipedia: Wikipedia Imaginary number, Imaginary number (definition). Also Wikidata Q9165172
History
- 2026-10-26: add by m2/dev
No-broadcasting theorem MGZDWC817Q
| URI | m2://inv/MGZDWC817Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 81-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7042768, No-broadcasting theorem (statement). Also Wikidata Q7042768
- thousand_plus: thousand_plus Q7042768, No-broadcasting theorem (statement). Also Wikidata Q7042768, Wikipedia No-broadcasting theorem
- wikipedia: Wikipedia No-broadcasting theorem, No-broadcasting theorem (statement). Also Wikidata Q7042768
History
- 2026-10-26: add by m2/dev
MGZES1YP91 MGZES1YP91
| URI | m2://inv/MGZES1YP91 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 math/0406514#XWPN (statement). In CY1FE8W1ZW/e1, theorem 0.8
History
- 2026-10-27: add by m2/v0.3.5
Integral inequality for $L_t$ MGZETVBG9J
| URI | m2://inv/MGZETVBG9J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19410#1AQE, Integral inequality for $L_t$ (statement). In GRESY1RPK6/e1, proposition 8
History
- 2026-10-28: add by m2/v0.4.2
Autonomy without locality MGZFMHRR2J
| URI | m2://inv/MGZFMHRR2J |
|---|---|
| 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.04271#SS4Z, Autonomy without locality (statement). In WBXAW9G4JB/e1, proposition 15.4
History
- 2026-10-29: add by m2/v0.4.12
Giovanni Sante Gaspero Santini MGZHEJ03AJ
| URI | m2://inv/MGZHEJ03AJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giovanni Sante Gaspero Santini, Giovanni Sante Gaspero Santini (topic). Also Wikidata Q3768092
History
- 2026-11-02: add by m2/dev
MGZHQ3CXJB MGZHQ3CXJB
| URI | m2://inv/MGZHQ3CXJB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20018#87BA (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definitions MGZSSSYKP6
| URI | m2://inv/MGZSSSYKP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structural rigidity#JKTB, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Explicit longitudinal solution MGZTWDM4HR
| URI | m2://inv/MGZTWDM4HR |
|---|---|
| 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.24481#XYYD, Explicit longitudinal solution (statement)
History
- 2026-11-01: add by m2/v0.6.15