Inventory rows GV
The cards of the rows of the inventory whose ids start with GV. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
GV07W9DPJ6 GV07W9DPJ6
| URI | m2://inv/GV07W9DPJ6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.24190#3EGD (definition). In DW7FVA587C/e1, definition 3.11
History
- 2026-10-27: add by m2/v0.3.5
Prime-coordinate elimination GV0CZWX31X
| URI | m2://inv/GV0CZWX31X |
|---|---|
| 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.02218#KXR8, Prime-coordinate elimination (statement). In 3FY227EFVZ/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.12
GV0KAFG6QR GV0KAFG6QR
| URI | m2://inv/GV0KAFG6QR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21649#982Y (statement)
History
- 2026-11-02: add by m2/v0.6.18
GV0M6QB0ZR GV0M6QB0ZR
| URI | m2://inv/GV0M6QB0ZR |
|---|---|
| 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.39103#W01P (statement). In VGB0N93ES8/e1, lemma 13
History
- 2026-10-30: add by m2/v0.4.12
GV0QVBWKE3 GV0QVBWKE3
| URI | m2://inv/GV0QVBWKE3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30203#NIFX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Zariski multiplicity conjecture GV0V8PXKQ6
| URI | m2://inv/GV0V8PXKQ6 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19357#LYCQ, Zariski multiplicity conjecture (conjecture). In RGXQ50RWXV/e1, conjecture 1
History
- 2026-10-28: add by m2/v0.4.2
GV0V92WCP3 GV0V92WCP3
| URI | m2://inv/GV0V92WCP3 |
|---|---|
| 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 2101.07846#PVBA (statement). In 9XTXH6H1N7/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
GV0ZW4ZWP0 GV0ZW4ZWP0
| URI | m2://inv/GV0ZW4ZWP0 |
|---|---|
| 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 2502.16151#MI9S (statement). In CFCTBV1Z93/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Luis Vega GV17Q7P7WR
| URI | m2://inv/GV17Q7P7WR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luis Vega (mathematician), Luis Vega (topic). Also Wikidata Q23639520
History
- 2026-11-02: add by m2/dev
circumference GV1KCAFTT0
| URI | m2://inv/GV1KCAFTT0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formulas in elementary geometry#QF7P, circumference (definition)
History
- 2026-11-02: add by m2/dev
Kepler's equation GV1R03RRX3
| URI | m2://inv/GV1R03RRX3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q932001, Kepler's equation (unknown). Also MathWorld KeplersEquation
- wikipedia: Wikipedia Kepler's equation, Kepler's equation (definition). Also Wikidata Q932001
History
- 2026-10-26: add by m2/dev
Min-max theorem GV1V1EBWDB
| URI | m2://inv/GV1V1EBWDB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#6QIS, Min-max theorem (statement)
History
- 2026-11-02: add by m2/dev
Basic properties GV29292SGC
| URI | m2://inv/GV29292SGC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ban number#0G32, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Variants GV2970H98D
| URI | m2://inv/GV2970H98D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Admissible rule#KKU3, Variants (statement)
History
- 2026-11-02: add by m2/dev
Avoiding a countable set GV2ASBBWNV
| URI | m2://inv/GV2ASBBWNV |
|---|---|
| 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.17677#TC3U, Avoiding a countable set (statement). In 5E9G06XJKC/e1, corollary E.22
History
- 2026-10-28: add by m2/v0.4.2
GV2BDM526F GV2BDM526F
| URI | m2://inv/GV2BDM526F |
|---|---|
| Kind | conjecture |
| 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 2212.06621#53ND (conjecture). In DB223AABTH/e1, conjecture 1.4
History
- 2026-10-27: add by m2/v0.3.5
William Dunham GV2DBFXJTC
| URI | m2://inv/GV2DBFXJTC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Dunham (mathematician), William Dunham (topic). Also Wikidata Q3568579
History
- 2026-11-02: add by m2/dev
Isobel Loutit GV2ESS8MG1
| URI | m2://inv/GV2ESS8MG1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isobel Loutit, Isobel Loutit (topic). Also Wikidata Q59423242
History
- 2026-11-02: add by m2/dev
David Blackwell GV2G2PD47A
| URI | m2://inv/GV2G2PD47A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NNEE, David Blackwell (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#AITI, David Blackwell (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#G722, David Blackwell (topic)
History
- 2026-11-02: add by m2/dev
Examples GV2SK4VYNW
| URI | m2://inv/GV2SK4VYNW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complement (set theory)#WLIB, Examples (example)
History
- 2026-11-02: add by m2/dev
Residue of a Meromorphic Function GV2VRKNQ1X
| URI | m2://inv/GV2VRKNQ1X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22759#56TP, Residue of a Meromorphic Function (definition)
History
- 2026-11-02: add by m2/v0.6.17
Media bias GV32MZ6JHK
| URI | m2://inv/GV32MZ6JHK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Media bias, Media bias (definition). Also Wikidata Q11118951
History
- 2026-11-02: add by m2/dev
GV3JGS8F83 GV3JGS8F83
| URI | m2://inv/GV3JGS8F83 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00856#1WX0 (statement). In W6VHD4QBY4/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
GV3TZ04XE4 GV3TZ04XE4
| URI | m2://inv/GV3TZ04XE4 |
|---|---|
| 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.07608#FGZF (statement). In X8FQD4TEVG/e1, proposition 2.7
History
- 2026-10-29: add by m2/v0.4.10
E8 lattice GV452WD5S5
| URI | m2://inv/GV452WD5S5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E8 lattice, E8 lattice (definition). Also Wikidata Q4662154
History
- 2026-11-02: add by m2/dev
Bound for the Markov-noise term GV4BZBWX49
| URI | m2://inv/GV4BZBWX49 |
|---|---|
| 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.39837#F2D8, Bound for the Markov-noise term (statement). In MDQXTBEK0F/e1, lemma B.6
History
- 2026-10-30: add by m2/v0.4.12
GV4D0H72J9 GV4D0H72J9
| URI | m2://inv/GV4D0H72J9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.33512#Z7IG (statement). In WYHZMYZT31/e1, proposition 4.3
History
- 2026-10-30: add by m2/v0.4.12
Josée Dupuis GV4EEAG09N
| URI | m2://inv/GV4EEAG09N |
|---|---|
| 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#HUIJ, Josée Dupuis (unknown)
History
- 2026-11-02: add by m2/dev
GV4FZQF16C GV4FZQF16C
| URI | m2://inv/GV4FZQF16C |
|---|---|
| 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 0910.5574#K7RE (example). In 2TJRBRKYAY/e1, example 6.2
History
- 2026-10-27: add by m2/v0.3.5
Adolf Piltz GV4HKC6A5R
| URI | m2://inv/GV4HKC6A5R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#2W51, Adolf Piltz (topic)
History
- 2026-11-02: add by m2/dev
GV4HMRVCYA GV4HMRVCYA
| URI | m2://inv/GV4HMRVCYA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07164#JD21 (example). In Q1XJ5VWE1N/e1, example 2.4
History
- 2026-10-29: add by m2/v0.4.10
GV4Q3YN391 GV4Q3YN391
| URI | m2://inv/GV4Q3YN391 |
|---|---|
| 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.03612#S99S (statement). In REDG6QVHM3/e1, proposition 8.13
History
- 2026-10-29: add by m2/v0.4.12
A balanced percolating regime GV4TXB6M4M
| URI | m2://inv/GV4TXB6M4M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#YXSI, A balanced percolating regime (statement)
History
- 2026-11-02: add by m2/v0.6.17
GV4V9KTHR5 GV4V9KTHR5
| URI | m2://inv/GV4V9KTHR5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-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 1407.0548#WFU6 (statement). In 3EAQ15QTJC/e1, corollary 1.2
History
- 2026-10-27: add by m2/v0.3.5
Archimedes number GV5798JA0A
| URI | m2://inv/GV5798JA0A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Archimedes#Y2KJ, Archimedes number (unknown)
History
- 2026-11-02: add by m2/dev
GV5DP96SCT GV5DP96SCT
| URI | m2://inv/GV5DP96SCT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.20460#RQPW (statement)
History
- 2026-11-02: add by m2/v0.6.18
GV5G2BK01J GV5G2BK01J
| URI | m2://inv/GV5G2BK01J |
|---|---|
| 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.04772#XF9M (statement). In WW08CYN4D4/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Felix Hausdorff GV5SQZFH6R
| URI | m2://inv/GV5SQZFH6R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#4RRL, Felix Hausdorff (topic)
- wikipedia: Wikipedia List of mathematicians born in the 19th century#9SRY, Felix Hausdorff (topic)
History
- 2026-11-02: add by m2/dev
GV5YCFKHKP GV5YCFKHKP
| URI | m2://inv/GV5YCFKHKP |
|---|---|
| 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 2610.13585#0Y6U (definition). In VM1H86JNN7/e1, definition 2.8
History
- 2026-10-28: add by m2/v0.4.2
One-dimensional sharp exponent GV63TMXJ4Q
| URI | m2://inv/GV63TMXJ4Q |
|---|---|
| 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.33472#G46R, One-dimensional sharp exponent (statement). In WBQQBZ4FCJ/e1, theorem E.2
History
- 2026-10-30: add by m2/v0.4.12
GV6BBRTKV0 GV6BBRTKV0
| URI | m2://inv/GV6BBRTKV0 |
|---|---|
| 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.21645#QYO2 (example)
History
- 2026-11-02: add by m2/v0.6.18
Durfee square GV6BR13DRQ
| URI | m2://inv/GV6BR13DRQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Durfee square, Durfee square (definition). Also Wikidata Q5316364
History
- 2026-11-02: add by m2/dev
ascending chain condition GV6DGNJG3T
| URI | m2://inv/GV6DGNJG3T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Ascending chain condition 0GZ6Y1H4RN |
Mentions
- wikidata: Wikidata Q2528476, ascending chain condition (unknown). Also MathWorld AscendingChainCondition
- wikipedia: Wikipedia Ascending chain condition, Ascending chain condition (definition). Also Wikidata Q2528476
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
GV6DYXMFGR GV6DYXMFGR
| URI | m2://inv/GV6DYXMFGR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_logic-proofs.ptx#example-8 (example). In Y91XFCEVHQ, example, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
GV6QCCG1QC GV6QCCG1QC
| URI | m2://inv/GV6QCCG1QC |
|---|---|
| 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 1004.4564#VA95 (statement). In BZ54C9SKYS/e1, theorem 5.5
History
- 2026-10-27: add by m2/v0.3.5
Shrinking Rademacher coordinates GV6S8QWCHG
| URI | m2://inv/GV6S8QWCHG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26984#1ZKX, Shrinking Rademacher coordinates (statement)
History
- 2026-11-01: add by m2/v0.6.15
Two-way finite automaton GV71JGK10R
| URI | m2://inv/GV71JGK10R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-way finite automaton, Two-way finite automaton (definition). Also Wikidata Q243800
History
- 2026-11-02: add by m2/dev
GV737ZAVFS GV737ZAVFS
| URI | m2://inv/GV737ZAVFS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15010#JHBK (definition). In K3WJ6ZN184/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Definition GV75X0GDDE
| URI | m2://inv/GV75X0GDDE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Near-ring#VJRT, Definition (definition)
History
- 2026-11-02: add by m2/dev
Transport of recursive vectors GV7691EF74
| URI | m2://inv/GV7691EF74 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12531#J841, Transport of recursive vectors (statement). In D6RAQZ2DSK/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
GV79BNC8NQ GV79BNC8NQ
| URI | m2://inv/GV79BNC8NQ |
|---|---|
| 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#30U7 (statement). In GAG532VMPF/e1, lemma 3.2.2
History
- 2026-10-27: add by m2/v0.3.5
GV7AWYXQZ4 GV7AWYXQZ4
| URI | m2://inv/GV7AWYXQZ4 |
|---|---|
| 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 2610.11652#L7VP (statement). In VEXM27M8Q1/e1, theorem 2.10
History
- 2026-10-28: add by m2/v0.4.3
Einsiedeln GV7EP19ZCH
| URI | m2://inv/GV7EP19ZCH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#H54G, Einsiedeln (unknown)
History
- 2026-11-02: add by m2/dev
GV7ESPQAF8 GV7ESPQAF8
| URI | m2://inv/GV7ESPQAF8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20849#K25P (definition). In HK7FV97MFD/e1, definition 7.1
History
- 2026-10-27: add by m2/v0.4.2
Emily Grundy GV7G8A50JX
| URI | m2://inv/GV7G8A50JX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emily Grundy, Emily Grundy (topic). Also Wikidata Q34974476
History
- 2026-11-02: add by m2/dev
GV7PTFZFXK GV7PTFZFXK
| URI | m2://inv/GV7PTFZFXK |
|---|---|
| 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 2610.09945#MDCT (example). In V7VCEA0VAA/e1, example 5.7
History
- 2026-10-29: add by m2/v0.4.10
GV831RFGCH GV831RFGCH
| URI | m2://inv/GV831RFGCH |
|---|---|
| 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.03086#OF1F (statement). In WE0M35T8PG/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
Applications GV861NG7BS
| URI | m2://inv/GV861NG7BS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Record linkage#BWOD, Applications (example)
History
- 2026-11-02: add by m2/dev
Richard Samworth GV8C0E2BRT
| URI | m2://inv/GV8C0E2BRT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#3P80, Richard Samworth (topic)
History
- 2026-11-02: add by m2/dev
Spectrum of a sentence GV8HHQFGHR
| URI | m2://inv/GV8HHQFGHR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectrum of a sentence, Spectrum of a sentence (definition). Also Wikidata Q18392333
History
- 2026-11-02: add by m2/dev
Contribution of one fresh cut GV8NE63DYD
| URI | m2://inv/GV8NE63DYD |
|---|---|
| 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.28791#LZA5, Contribution of one fresh cut (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gradient boosting GV8Y2ZDX8C
| URI | m2://inv/GV8Y2ZDX8C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gradient boosting, Gradient boosting (definition). Also Wikidata Q5591907
History
- 2026-11-02: add by m2/dev
GV91BB7E68 GV91BB7E68
| URI | m2://inv/GV91BB7E68 |
|---|---|
| Kind | definition |
| 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.22528#DIO3 (definition)
History
- 2026-11-02: add by m2/v0.6.17
GV91XDD38W GV91XDD38W
| URI | m2://inv/GV91XDD38W |
|---|---|
| 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.25973#MBVP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uniformly local box calculus GV922X8R5X
| URI | m2://inv/GV922X8R5X |
|---|---|
| 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.29147#0ZAD, Uniformly local box calculus (statement)
History
- 2026-11-01: add by m2/v0.6.15
GV95GR8SDH GV95GR8SDH
| URI | m2://inv/GV95GR8SDH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03756#FF7B (statement). In 2381M4GBTT/e1, proposition 6.4
History
- 2026-10-29: add by m2/v0.4.12
successor GV961F3JRJ
| URI | m2://inv/GV961F3JRJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#M4XZ, successor (definition)
History
- 2026-11-02: add by m2/dev
The upper-degree $t$-slice for an arbitrary boundary GV9K3XPAWC
| URI | m2://inv/GV9K3XPAWC |
|---|---|
| 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.24541#87A3, The upper-degree $t$-slice for an arbitrary boundary (statement)
History
- 2026-11-01: add by m2/v0.6.15
Henri Poincaré GV9K775XZ4
| URI | m2://inv/GV9K775XZ4 |
|---|---|
| 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 Q81082, Henri Poincaré (unknown). Also nLab Henri Poincaré
- wikipedia: Wikipedia Henri Poincaré, Henri Poincaré (topic). Also Wikidata Q81082
History
- 2026-10-26: add by m2/dev
Snedecor, George W. GV9PHZ14GK
| URI | m2://inv/GV9PHZ14GK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#E80J, Snedecor, George W. (topic)
History
- 2026-11-02: add by m2/dev
Tamás Hausel GV9PSWK8B8
| URI | m2://inv/GV9PSWK8B8 |
|---|---|
| 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#AOXA, Tamás Hausel (topic)
History
- 2026-11-02: add by m2/dev
Prior-free mechanism GV9VATWY1G
| URI | m2://inv/GV9VATWY1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prior-free mechanism, Prior-free mechanism (definition). Also Wikidata Q25304952
History
- 2026-11-02: add by m2/dev
Walther graph GV9VQXSCN1
| URI | m2://inv/GV9VQXSCN1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115540, Walther graph (unknown). Also House of Graphs 1425, MathWorld WaltherGraphs
- wikipedia: Wikipedia Walther graph, Walther graph (definition). Also Wikidata Q3115540
History
- 2026-10-26: add by m2/dev
NUS Graduate School for Integrative Sciences and Engineering GV9WA93WDX
| URI | m2://inv/GV9WA93WDX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National University of Singapore#WWRP, NUS Graduate School for Integrative Sciences and Engineering (unknown)
History
- 2026-11-02: add by m2/dev
Mariusz Lemańczyk GV9WBRQPMT
| URI | m2://inv/GV9WBRQPMT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mariusz Lemańczyk, Mariusz Lemańczyk (topic). Also Wikidata Q21290629
History
- 2026-11-02: add by m2/dev
GVA3AGK9XY GVA3AGK9XY
| URI | m2://inv/GVA3AGK9XY |
|---|---|
| Kind | example |
| 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.05320#7Z9Q (example). In MVXZWHKEX8/e1, example 6.12
History
- 2026-10-29: add by m2/v0.4.10
Suita conjecture GVA58MBR3K
| URI | m2://inv/GVA58MBR3K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#52ON, Suita conjecture (statement)
History
- 2026-11-02: add by m2/dev
Uniformity conjecture GVA96HXNYX
| URI | m2://inv/GVA96HXNYX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#4ZVI, Uniformity conjecture (definition)
History
- 2026-11-02: add by m2/dev
Change of additive character GVABSAB8M1
| URI | m2://inv/GVABSAB8M1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#DFGQ, Change of additive character (statement). In 5BZQS1KY9A/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.10
GVAE89RPE6 GVAE89RPE6
| URI | m2://inv/GVAE89RPE6 |
|---|---|
| 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 0809.0068#IL5H (statement). In MBKYGM01FK/e1, proposition 1.2
History
- 2026-10-27: add by m2/v0.3.5
GVAEC53CR2 GVAEC53CR2
| URI | m2://inv/GVAEC53CR2 |
|---|---|
| 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#X6I1 (example). In 1KSE33PVS6/e1, example 36
History
- 2026-10-30: add by m2/v0.4.12
Standard probability space GVAEZMYPPF
| URI | m2://inv/GVAEZMYPPF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HT48, Standard probability space (definition)
History
- 2026-11-02: add by m2/dev
Formal definition GVAGPFKAFN
| URI | m2://inv/GVAGPFKAFN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum k-cut#2079, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
convexity properties with respect to $N$ with given parity GVAQPMVV30
| URI | m2://inv/GVAQPMVV30 |
|---|---|
| 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 2210.06147#AEOF, convexity properties with respect to $N$ with given parity (statement). In 94RBNQA07A/e1, proposition 5.20
History
- 2026-10-27: add by m2/v0.3.5
Quasipolynomial form GVAT8J76HX
| URI | m2://inv/GVAT8J76HX |
|---|---|
| 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.22305#91EX, Quasipolynomial form (statement). In P6FTXTV09Q/e1, corollary 4.6
History
- 2026-10-27: add by m2/v0.4.0
Densities with a prescribed ground parameter GVAVMT5V29
| URI | m2://inv/GVAVMT5V29 |
|---|---|
| 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#EM8S, Densities with a prescribed ground parameter (statement). In JY6RYSNXMJ/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
GVB1XM5KE5 GVB1XM5KE5
| URI | m2://inv/GVB1XM5KE5 |
|---|---|
| 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.00786#L7K9 (statement). In XKEE0DK6N3/e1, theorem 4.7
History
- 2026-10-29: add by m2/v0.4.12
Strong convexity GVB2DQRWJ9
| URI | m2://inv/GVB2DQRWJ9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20416#F7UR, Strong convexity (definition). In P603M3M91A/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.4.2
GVB7EAJ1D1 GVB7EAJ1D1
| URI | m2://inv/GVB7EAJ1D1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/notation-pr-functions.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 3.26
History
- 2026-11-01: add by m2/v0.6.13
Structure (mathematical logic) GVB9M657BF
| URI | m2://inv/GVB9M657BF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#TG7U, Structure (mathematical logic) (definition)
History
- 2026-11-02: add by m2/dev
winding, map GVBA3E7DYR
| URI | m2://inv/GVBA3E7DYR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.1.2/winding-map, winding, map (concept). In N54F33XE07, index, section 7.1.2
History
- 2026-11-01: add by m2/v0.6.13
GVBC4VPBH4 GVBC4VPBH4
| URI | m2://inv/GVBC4VPBH4 |
|---|---|
| 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.13864#RXGX (statement). In ZGZGGGCWD3/e1, theorem 4.6
History
- 2026-10-28: add by m2/v0.4.2
GVBH4XKY75 GVBH4XKY75
| URI | m2://inv/GVBH4XKY75 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.28141#9610 (statement)
History
- 2026-11-01: add by m2/v0.6.15
GVBHSAWN0J GVBHSAWN0J
| URI | m2://inv/GVBHSAWN0J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04503#WUMK (statement). In GWQP1XPM8E/e1, proposition 2.8
History
- 2026-10-29: add by m2/v0.4.12
Critical point (mathematics) GVC1G8H5GS
| URI | m2://inv/GVC1G8H5GS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of multivariable calculus topics#CFV1, Critical point (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
GVC24N8KCJ GVC24N8KCJ
| URI | m2://inv/GVC24N8KCJ |
|---|---|
| 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#BUQ7 (statement). In R68THJCHX6/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
cf.\ GVCC082BXE
| URI | m2://inv/GVCC082BXE |
|---|---|
| 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.07927#L7PM, cf.\ (statement). In GKM19DHQTM/e1, lemma 6.39
History
- 2026-10-29: add by m2/v0.4.10
Second Mesa, Arizona GVCC1PM4FX
| URI | m2://inv/GVCC1PM4FX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#278M, Second Mesa, Arizona (unknown)
History
- 2026-11-02: add by m2/dev
GVCE3WG0HR GVCE3WG0HR
| URI | m2://inv/GVCE3WG0HR |
|---|---|
| Kind | example |
| 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.29158#IYWB (example)
History
- 2026-11-01: add by m2/v0.6.15
GVCQ6CKVEZ GVCQ6CKVEZ
| URI | m2://inv/GVCQ6CKVEZ |
|---|---|
| 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.23617#1OCK (statement)
History
- 2026-11-02: add by m2/v0.6.17
Mourad Ismail GVCRWNKTPR
| URI | m2://inv/GVCRWNKTPR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mourad Ismail, Mourad Ismail (topic). Also Wikidata Q6925868
History
- 2026-11-02: add by m2/dev
GVCXZ9RABP GVCXZ9RABP
| URI | m2://inv/GVCXZ9RABP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37593#G1NC (statement). In YTF96VHKAH/e1, lemma 5.4
History
- 2026-10-30: add by m2/v0.4.12
Dualizing sheaf GVD0J4VMDW
| URI | m2://inv/GVD0J4VMDW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#0JD0, Dualizing sheaf (definition)
History
- 2026-11-02: add by m2/dev
One dimension GVD37H6SNR
| URI | m2://inv/GVD37H6SNR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 26-XX, 37-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 2203.01511#TS49, One dimension (example). In QA7EPHDTV2/e1, example 1.8
History
- 2026-10-27: add by m2/v0.4.0
Nondeterministic finite automata GVD571X7GK
| URI | m2://inv/GVD571X7GK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#7H21, Nondeterministic finite automata (definition)
History
- 2026-11-02: add by m2/dev
GVD95CRBSW GVD95CRBSW
| URI | m2://inv/GVD95CRBSW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/p-adic.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 33.2.1
History
- 2026-11-01: add by m2/v0.6.13
GVDDECGQY0 GVDDECGQY0
| URI | m2://inv/GVDDECGQY0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#I1TU (statement). In BDN507RN7J/e1, lemma 6.2.2
History
- 2026-10-30: add by m2/v0.4.12
Vopenka GVDN12XCRS
| URI | m2://inv/GVDN12XCRS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#Q355, Vopenka (definition)
History
- 2026-11-02: add by m2/dev
GVDQB5XB0J GVDQB5XB0J
| URI | m2://inv/GVDQB5XB0J |
|---|---|
| Kind | conjecture |
| 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.16875#DIQX (conjecture). In KS30K5JXGB/e1, conjecture 5.7
History
- 2026-10-28: add by m2/v0.4.2
Yves André GVDS65CYNZ
| URI | m2://inv/GVDS65CYNZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yves André, Yves André (topic). Also Wikidata Q15454255
History
- 2026-11-02: add by m2/dev
Theorem GVDY34SNZV
| URI | m2://inv/GVDY34SNZV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform boundedness principle#DADV, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Theorem GVE7B3ZRR0
| URI | m2://inv/GVE7B3ZRR0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Douglas' lemma#S4PY, Theorem (statement)
History
- 2026-11-02: add by m2/dev
GVE8GQ631Q GVE8GQ631Q
| URI | m2://inv/GVE8GQ631Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2411.16022#X080 (statement). In QG9ATXTKJ6/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
GVEBEHQJK8 GVEBEHQJK8
| URI | m2://inv/GVEBEHQJK8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05299#NRCR (example). In 68AE571S4P/e1, example 4.6
History
- 2026-10-29: add by m2/v0.4.10
the inner products to the root system GVEC3MWE1S
| URI | m2://inv/GVEC3MWE1S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#36TN, the inner products to the root system (statement)
History
- 2026-11-01: add by m2/v0.6.15
graph canonization GVEH2RVX9N
| URI | m2://inv/GVEH2RVX9N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5597079, graph canonization (unknown). Also MathWorld CanonicalLabeling
- wikipedia: Wikipedia Graph canonization, Graph canonization (definition). Also Wikidata Q5597079
History
- 2026-10-26: add by m2/dev
Variables sampling plan GVEK2D9Z75
| URI | m2://inv/GVEK2D9Z75 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variables sampling plan, Variables sampling plan (definition). Also Wikidata Q25052444
History
- 2026-11-02: add by m2/dev
Functional-theoretic algebra GVEWPDSDXQ
| URI | m2://inv/GVEWPDSDXQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional-theoretic algebra, Functional-theoretic algebra (definition). Also Wikidata Q5508780
History
- 2026-11-02: add by m2/dev
Cubic form GVEYNV3AXS
| URI | m2://inv/GVEYNV3AXS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic form, Cubic form (definition). Also Wikidata Q5192245
History
- 2026-11-02: add by m2/dev
Approximate equation for $u_\kappa$ GVF0CW7RXH
| URI | m2://inv/GVF0CW7RXH |
|---|---|
| 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#LU7M, Approximate equation for $u_\kappa$ (statement). In 2KACPY9MMF/e1, lemma 4.12
History
- 2026-10-28: add by m2/v0.4.3
Hyperbolic plane (quadratic forms) GVF94Q514B
| URI | m2://inv/GVF94Q514B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isotropic quadratic form#KGWN, Hyperbolic plane (quadratic forms) (unknown)
History
- 2026-11-02: add by m2/dev
Generalization GVFBFKH3VD
| URI | m2://inv/GVFBFKH3VD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Log-Laplace distribution#4EP4, Generalization (statement)
History
- 2026-11-02: add by m2/dev
GVFHDQ90AY GVFHDQ90AY
| URI | m2://inv/GVFHDQ90AY |
|---|---|
| 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.09735#2U4A (statement). In C518KB563H/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
fractal GVFHG6VCRT
| URI | m2://inv/GVFHG6VCRT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q81392, fractal (unknown). Also EoM Fractals, nLab fractal
- wikipedia: Wikipedia Fractal, Fractal (definition). Also Wikidata Q81392
History
- 2026-10-26: add by m2/dev
kernel of integral operator GVFJN93H09
| URI | m2://inv/GVFJN93H09 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4536341, kernel of integral operator (unknown). Also MathWorld IntegralKernel
History
- 2026-10-26: add by m2/dev
Heliodorus of Larissa GVFTQYQCCC
| URI | m2://inv/GVFTQYQCCC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#6X5B, Heliodorus of Larissa (unknown)
History
- 2026-11-02: add by m2/dev
trigonometric functions GVFX4WT634
| URI | m2://inv/GVFX4WT634 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Special functions > trigonometric functions, trigonometric functions (unknown). Also Mathlib Real.sin
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Elementary functions (trigonometric, rational, $\exp$, $\log$, etc) > trigonometric functions, trigonometric functions (unknown). Also Mathlib Real.sin
History
- 2026-10-26: add by m2/dev
Hsiang–Lawson's conjecture GVFXWEAKFX
| URI | m2://inv/GVFXWEAKFX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#08UN, Hsiang–Lawson's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Generalizations GVG15WF8NB
| URI | m2://inv/GVG15WF8NB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uncorrelatedness#8VGK, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Terminal groupoid object GVG2E18JTD
| URI | m2://inv/GVG2E18JTD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-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.03865#H75T, Terminal groupoid object (example). In G3D1YR20BJ/e1, example A.7
History
- 2026-10-29: add by m2/v0.4.12
GVGAT89P68 GVGAT89P68
| URI | m2://inv/GVGAT89P68 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/equiv-ce-defs.tex#thm:exists-char (statement). In PKGMM3P5QY, thm, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
Machine learning in biology GVH0A6JVCF
| URI | m2://inv/GVH0A6JVCF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Machine learning in biology, Machine learning in biology (definition). Also Wikidata Q30314784
History
- 2026-11-02: add by m2/dev
GVH58NDWG0 GVH58NDWG0
| URI | m2://inv/GVH58NDWG0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-26 (exercise). In E9HS8K3A52, exercise, section 7.2.7
History
- 2026-11-01: add by m2/v0.6.13
GVH5NJGPCG GVH5NJGPCG
| URI | m2://inv/GVH5NJGPCG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#prop-1 (statement). In E59CDZA4DP, prop, section 6.3.1
History
- 2026-11-01: add by m2/v0.6.13
Strongly chordal graph GVH8841N2A
| URI | m2://inv/GVH8841N2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strongly chordal graph, Strongly chordal graph (definition). Also Wikidata Q7624675
History
- 2026-11-02: add by m2/dev
GVHED52Q7B GVHED52Q7B
| URI | m2://inv/GVHED52Q7B |
|---|---|
| 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#GADZ (statement). In 1R7H0ZAHWA/e1, corollary 2.8
History
- 2026-10-28: add by m2/v0.4.2
concave function GVHNVWFQKX
| URI | m2://inv/GVHNVWFQKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Concave function 0EF2VG8XKQ |
Mentions
- wikidata: Wikidata Q2914302, concave function (unknown). Also MathWorld ConcaveFunction
- wikipedia: Wikipedia Concave function, Concave function (definition). Also Wikidata Q2914302
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Erica N. Walker GVHWNQCZK5
| URI | m2://inv/GVHWNQCZK5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erica N. Walker, Erica N. Walker (topic). Also Wikidata Q29588894
History
- 2026-11-02: add by m2/dev
GVJBHKHJ5Z GVJBHKHJ5Z
| URI | m2://inv/GVJBHKHJ5Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2008.10035#OCG4 (statement). In 29EH04FH4B/e1, lemma 5.9
History
- 2026-10-27: add by m2/v0.3.5
GVJBXV84H7 GVJBXV84H7
| URI | m2://inv/GVJBXV84H7 |
|---|---|
| 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.01276#JCLF (statement). In 7JJPPMS2DN/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.12
Properties GVJCJNBZMV
| URI | m2://inv/GVJCJNBZMV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex curve#3QFI, Properties (statement)
History
- 2026-11-02: add by m2/dev
Quantum Trajectory Theory GVJERV43GS
| URI | m2://inv/GVJERV43GS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum Trajectory Theory, Quantum Trajectory Theory (definition). Also Wikidata Q104901905
History
- 2026-11-02: add by m2/dev
GVJKX9NJ7X GVJKX9NJ7X
| URI | m2://inv/GVJKX9NJ7X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07828#707T (statement). In TWGMVT1N1G/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Soundness GVJKYGJJCG
| URI | m2://inv/GVJKYGJJCG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/soundness-completeness/soundness-nd.tex#thm:soundness, Soundness (statement). In PKGMM3P5QY, thm, section 34.1
History
- 2026-11-01: add by m2/v0.6.13
GVJNP1Y5PD GVJNP1Y5PD
| URI | m2://inv/GVJNP1Y5PD |
|---|---|
| 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.17817#IBMG (statement). In M8TSJ24RC2/e1, lemma 4.16
History
- 2026-10-28: add by m2/v0.4.2
Planetary boundary layer GVJV20ECYV
| URI | m2://inv/GVJV20ECYV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planetary boundary layer, Planetary boundary layer (definition). Also Wikidata Q1757268
History
- 2026-11-02: add by m2/dev
GVJXJRD3Z9 GVJXJRD3Z9
| URI | m2://inv/GVJXJRD3Z9 |
|---|---|
| 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.28650#6VH9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
GVKE4Z7197 GVKE4Z7197
| URI | m2://inv/GVKE4Z7197 |
|---|---|
| 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.15877#XVGD (statement). In F3W750X9N6/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
GVKGYFR246 GVKGYFR246
| URI | m2://inv/GVKGYFR246 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-88 (exercise). In E9HS8K3A52, exercise, section 4.6.1
History
- 2026-11-01: add by m2/v0.6.13
Wilson's theorem GVKQYBE61T
| URI | m2://inv/GVKQYBE61T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 227323) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylow theorems#T984, Wilson's theorem (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Quadratic Gauss sum GVM0JNS7AK
| URI | m2://inv/GVM0JNS7AK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic Gauss sum, Quadratic Gauss sum (definition). Also Wikidata Q7268351
History
- 2026-11-02: add by m2/dev
GVMG7WW3H2 GVMG7WW3H2
| URI | m2://inv/GVMG7WW3H2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19854#JN9K (definition). In D50WST4CG3/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Cyclic-intersection criterion for density GVMJFE56J8
| URI | m2://inv/GVMJFE56J8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#YNQY, Cyclic-intersection criterion for density (statement). In HX63A1PH1W/e1, proposition 3.30
History
- 2026-10-28: add by m2/v0.4.3
GVMQ9Y2H1X GVMQ9Y2H1X
| URI | m2://inv/GVMQ9Y2H1X |
|---|---|
| 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.05471#ZA11 (statement). In WDWF9WKNK1/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Theorem GVMQY9BVM4
| URI | m2://inv/GVMQY9BVM4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strömberg wavelet#BA2V, Theorem (statement)
History
- 2026-11-02: add by m2/dev
E-greedy strategy GVMX76A8GD
| URI | m2://inv/GVMX76A8GD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multi-armed bandit#H4HE, E-greedy strategy (unknown)
History
- 2026-11-02: add by m2/dev
GVMYWRBD5Z GVMYWRBD5Z
| URI | m2://inv/GVMYWRBD5Z |
|---|---|
| Kind | definition |
| 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 2102.09374#34LO (definition). In TGAHH1F8K5/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.6
GVMZMXAR50 GVMZMXAR50
| URI | m2://inv/GVMZMXAR50 |
|---|---|
| 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.17411#8EP7 (statement). In 73QW05MWQB/e1, lemma 2.8
History
- 2026-10-28: add by m2/v0.4.2
Strong law GVN3NWFT87
| URI | m2://inv/GVN3NWFT87 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Law of large numbers#ZFZJ, Strong law (statement)
History
- 2026-11-02: add by m2/dev
GVN4JFCWN2 GVN4JFCWN2
| URI | m2://inv/GVN4JFCWN2 |
|---|---|
| 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.10233#1G62 (statement). In QR9WE79ERQ/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
The fundamental theorems of welfare economics GVN7FS36GE
| URI | m2://inv/GVN7FS36GE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edgeworth box#RHTH, The fundamental theorems of welfare economics (statement)
History
- 2026-11-02: add by m2/dev
GVN8W09TAR GVN8W09TAR
| URI | m2://inv/GVN8W09TAR |
|---|---|
| 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.12295#SK0X (statement). In 6DZPR52HRP/e1, lemma 4.18
History
- 2026-10-28: add by m2/v0.4.2
GVNC93AFGM GVNC93AFGM
| URI | m2://inv/GVNC93AFGM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06152#W8S4 (statement). In HH35K7S17H/e1, lemma 4.21
History
- 2026-10-29: add by m2/v0.4.10
The smallest nonfinitely based regular example GVND0RQ8NJ
| URI | m2://inv/GVND0RQ8NJ |
|---|---|
| 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.12014#B2GG, The smallest nonfinitely based regular example (statement). In DR7BK4CQ0V/e1, theorem 5.28
History
- 2026-10-28: add by m2/v0.4.3
Fundamental theorem of arithmetic GVNF8X3EAN
| URI | m2://inv/GVNF8X3EAN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#TD43, Fundamental theorem of arithmetic (statement)
History
- 2026-11-02: add by m2/dev
GVNHJF7E3J GVNHJF7E3J
| URI | m2://inv/GVNHJF7E3J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 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 2508.21045#PW0S (definition). In CGA36VE1C5/e1, definition 2.1.1
History
- 2026-10-27: add by m2/v0.3.6
One-step Christoffel connection matrices GVNHY1X5CJ
| URI | m2://inv/GVNHY1X5CJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#277W, One-step Christoffel connection matrices (definition)
History
- 2026-11-01: add by m2/v0.6.15
GVNJ5TWXBQ GVNJ5TWXBQ
| URI | m2://inv/GVNJ5TWXBQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20368#EKK1 (statement). In T8CDHW9MC1/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.4.2
GVNSH53G02 GVNSH53G02
| URI | m2://inv/GVNSH53G02 |
|---|---|
| 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.01433#57XF (statement). In 160PQ7F1AS/e1, lemma 3.19
History
- 2026-10-29: add by m2/v0.4.12
Bentsion Fleishman GVP0JK176A
| URI | m2://inv/GVP0JK176A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bentsion Fleishman, Bentsion Fleishman (topic). Also Wikidata Q4491036
History
- 2026-11-02: add by m2/dev
Joint continuity of horocone-pyramid formation GVP39BH3DQ
| URI | m2://inv/GVP39BH3DQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27752#S7LG, Joint continuity of horocone-pyramid formation (statement)
History
- 2026-11-01: add by m2/v0.6.15
GVP4JH70VR GVP4JH70VR
| URI | m2://inv/GVP4JH70VR |
|---|---|
| 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#F8X1 (statement). In 13GSWBXPCM/e1, proposition C.13
History
- 2026-10-27: add by m2/v0.3.5
GVPADZJ9PS GVPADZJ9PS
| URI | m2://inv/GVPADZJ9PS |
|---|---|
| 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.18152#XUA0 (statement). In AAVGAGCWTE/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Sergiu Klainerman GVPZ5F3YFX
| URI | m2://inv/GVPZ5F3YFX |
|---|---|
| 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#ZD2F, Sergiu Klainerman (topic)
History
- 2026-11-02: add by m2/dev
evolution equation GVPZXAW7N8
| URI | m2://inv/GVPZXAW7N8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10912775, evolution equation (concept). Also nLab evolution equation
History
- 2026-10-26: add by m2/dev
Bessel's correction GVQ36BRM0P
| URI | m2://inv/GVQ36BRM0P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#E8FF, Bessel's correction (definition)
History
- 2026-11-02: add by m2/dev
Examples GVQ6SB922S
| URI | m2://inv/GVQ6SB922S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kobayashi metric#Q78Y, Examples (example)
History
- 2026-11-02: add by m2/dev
GVQ8EKRQ4E GVQ8EKRQ4E
| URI | m2://inv/GVQ8EKRQ4E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00657#8302 (definition). In FF8A8FP4FB/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
CIR process GVQ9AV382B
| URI | m2://inv/GVQ9AV382B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#ZLVA, CIR process (definition)
History
- 2026-11-02: add by m2/dev
Edwin E. Moise GVQAVYSQ0C
| URI | m2://inv/GVQAVYSQ0C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edwin E. Moise, Edwin E. Moise (topic). Also Wikidata Q1294831
History
- 2026-11-02: add by m2/dev
Meyerhoff Scholars Program GVQG096Y82
| URI | m2://inv/GVQG096Y82 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meyerhoff Scholars Program, Meyerhoff Scholars Program (topic). Also Wikidata Q6826459
History
- 2026-11-02: add by m2/dev
GVQHAH8ZTV GVQHAH8ZTV
| URI | m2://inv/GVQHAH8ZTV |
|---|---|
| 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.26600#4NKY (statement)
History
- 2026-11-01: add by m2/v0.6.15
GVQPFE15AR GVQPFE15AR
| URI | m2://inv/GVQPFE15AR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.18223#1QYZ (statement). In ZRXE7EJA93/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
GVQPJWYM61 GVQPJWYM61
| URI | m2://inv/GVQPJWYM61 |
|---|---|
| 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.36321#5GQE (statement). In 3KTZ6Z615H/e1, theorem 5.5
History
- 2026-10-30: add by m2/v0.4.12
RSA-410 GVQRV6XKDR
| URI | m2://inv/GVQRV6XKDR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#GZMP, RSA-410 (unknown)
History
- 2026-11-02: add by m2/dev
GVQT4GPDED GVQT4GPDED
| URI | m2://inv/GVQT4GPDED |
|---|---|
| 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.20119#5DWB (definition)
History
- 2026-11-02: add by m2/v0.6.18
GVQT5JCBQD GVQT5JCBQD
| URI | m2://inv/GVQT5JCBQD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18673#PYFK (statement). In 7ZFD9XRKA1/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
Examples of metric spacetimes GVR2N1HC94
| URI | m2://inv/GVR2N1HC94 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10051#9A7G, Examples of metric spacetimes (example). In VCHH2AC34R/e1, example 2.7
History
- 2026-10-29: add by m2/v0.4.10
GVR4M0GWQT GVR4M0GWQT
| URI | m2://inv/GVR4M0GWQT |
|---|---|
| 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.00875#FFO3 (statement). In TAW5BVYH9J/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
GVR7922JQK GVR7922JQK
| URI | m2://inv/GVR7922JQK |
|---|---|
| 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 2211.04758#49MY (statement). In DRWDJG2G3S/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
GVR9JHE5S0 GVR9JHE5S0
| URI | m2://inv/GVR9JHE5S0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#example-17 (example). In E9HS8K3A52, example, section 5.4.3
History
- 2026-11-01: add by m2/v0.6.13
variation of parameters, for systems GVRGT2647E
| URI | m2://inv/GVRGT2647E |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.9.2/variation-of-parameters-for-systems, variation of parameters, for systems (concept). In E9HS8K3A52, index, section 10.9.2
History
- 2026-11-01: add by m2/v0.6.13
second-order logic GVRN86XHRB
| URI | m2://inv/GVRN86XHRB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#085S, second-order logic (definition)
History
- 2026-11-02: add by m2/dev
Additive combinatorics GVRNDHESNK
| URI | m2://inv/GVRNDHESNK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#MO9R, Additive combinatorics (definition)
History
- 2026-11-02: add by m2/dev
Complex number GVRNQCZ14V
| URI | m2://inv/GVRNQCZ14V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#CL8U, Complex number (definition)
History
- 2026-11-02: add by m2/dev
Perfectly matched layer GVS04477K9
| URI | m2://inv/GVS04477K9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#KEBW, Perfectly matched layer (definition)
History
- 2026-11-02: add by m2/dev
GVS20NMW3F GVS20NMW3F
| URI | m2://inv/GVS20NMW3F |
|---|---|
| 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.05056#7GEU (definition). In 4PF04DW3YP/e1, definition 2.10
History
- 2026-10-29: add by m2/v0.4.12
GVS3JMF25B GVS3JMF25B
| URI | m2://inv/GVS3JMF25B |
|---|---|
| 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.21739#CSYK (statement)
History
- 2026-11-02: add by m2/v0.6.18
GVS5Q0X71S GVS5Q0X71S
| URI | m2://inv/GVS5Q0X71S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-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 1804.05688#AGKX (definition). In M8F4PDHH3S/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Cora Barbara Hennel GVS6X1K88G
| URI | m2://inv/GVS6X1K88G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cora Barbara Hennel, Cora Barbara Hennel (topic). Also Wikidata Q42306832
History
- 2026-11-02: add by m2/dev
Band path GVS76J0TFM
| URI | m2://inv/GVS76J0TFM |
|---|---|
| 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.10206#6EU2, Band path (definition). In 8TRCP1482Q/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
Non-hyperbolic planar system with a Morse Lyapunov function GVS7MGDATR
| URI | m2://inv/GVS7MGDATR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-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.05626#FTI5, Non-hyperbolic planar system with a Morse Lyapunov function (example). In PMZEF75W7S/e1, example 3.7
History
- 2026-10-29: add by m2/v0.4.10
GVS8G0MZ5P GVS8G0MZ5P
| URI | m2://inv/GVS8G0MZ5P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#XXC5 (statement). In M4ZVJWM8YA/e1, lemma 4.26
History
- 2026-10-27: add by m2/v0.4.2
GVSD0S0A1Z GVSD0S0A1Z
| URI | m2://inv/GVSD0S0A1Z |
|---|---|
| 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 2208.05288#5TME (statement). In RTW3GDYPND/e1, lemma 3.19
History
- 2026-10-27: add by m2/v0.4.0
GVSEW9PYP9 GVSEW9PYP9
| URI | m2://inv/GVSEW9PYP9 |
|---|---|
| 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 0808.3741#X82Q (statement). In BBXEQ9QE7K/e1, corollary 7.3
History
- 2026-10-27: add by m2/v0.3.5
Theorem GVSM103RKP
| URI | m2://inv/GVSM103RKP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extreme point#CKSK, Theorem (statement)
History
- 2026-11-02: add by m2/dev
GVSNPVSQ6Y GVSNPVSQ6Y
| URI | m2://inv/GVSNPVSQ6Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.12116#2533 (statement). In WB3F0S794F/e1, corollary 3.2
History
- 2026-10-28: add by m2/v0.4.2
Flux law GVT7BV1738
| URI | m2://inv/GVT7BV1738 |
|---|---|
| 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 2610.03823#29T3, Flux law (statement). In 3RQERTJKSF/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
Character formula GVTBHX878X
| URI | m2://inv/GVTBHX878X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Littelmann path model#BIQX, Character formula (statement)
History
- 2026-11-02: add by m2/dev
Definitions GVV0NAYCBS
| URI | m2://inv/GVV0NAYCBS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann algebra#O0J0, Definitions (definition)
History
- 2026-11-02: add by m2/dev
GVV40Q9RRQ GVV40Q9RRQ
| URI | m2://inv/GVV40Q9RRQ |
|---|---|
| Kind | definition |
| 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.31527#FIFO (definition). In ZQ2YZ4P6P5/e1, definition 2.2
History
- 2026-10-31: add by m2/v0.5.6
Dyson series GVVBWJG0JH
| URI | m2://inv/GVVBWJG0JH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dyson series, Dyson series (definition). Also Wikidata Q3957888
History
- 2026-11-02: add by m2/dev
GVVEKXHCBP GVVEKXHCBP
| URI | m2://inv/GVVEKXHCBP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.06445#V1MZ (statement). In 12JKZ8EN52/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Mirsky's theorem GVVF83FTQ4
| URI | m2://inv/GVVF83FTQ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mirsky's theorem, Mirsky's theorem (statement). Also Wikidata Q6874717
History
- 2026-11-02: add by m2/dev
Wave propagation velocity GVVQSRCRT6
| URI | m2://inv/GVVQSRCRT6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wave#UAJF, Wave propagation velocity (unknown)
History
- 2026-11-02: add by m2/dev
GVVS4C3JRQ GVVS4C3JRQ
| URI | m2://inv/GVVS4C3JRQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/derived-rules.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 50.2
History
- 2026-11-01: add by m2/v0.6.13
GVVSJ7PJG8 GVVSJ7PJG8
| URI | m2://inv/GVVSJ7PJG8 |
|---|---|
| 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.04264#UUC9 (statement). In 5YRJ4HGY4N/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.12
Norms of the Lagrange Functions of $V_N$ GVVT7125YY
| URI | m2://inv/GVVT7125YY |
|---|---|
| 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.13222#AM8U, Norms of the Lagrange Functions of $V_N$ (statement). In Z6WA2R0J50/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.2
GVWF8XPGCT GVWF8XPGCT
| URI | m2://inv/GVWF8XPGCT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#PT09 (statement). In V7SN19J84T/e1, lemma 6.13
History
- 2026-10-28: add by m2/v0.4.2
Representation theory of finite groups GVWN43PHTR
| URI | m2://inv/GVWN43PHTR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory of finite groups, Representation theory of finite groups (definition). Also Wikidata Q3526854
History
- 2026-11-02: add by m2/dev
GVWPSYEWPZ GVWPSYEWPZ
| URI | m2://inv/GVWPSYEWPZ |
|---|---|
| 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#YY93 (statement)
History
- 2026-11-01: add by m2/v0.6.15
GVWVWHB832 GVWVWHB832
| URI | m2://inv/GVWVWHB832 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29605#AU80 (statement)
History
- 2026-11-01: add by m2/v0.6.15
A joint-tail witness for a sparse linear form GVWXT679FY
| URI | m2://inv/GVWXT679FY |
|---|---|
| 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.30525#SPJ1, A joint-tail witness for a sparse linear form (statement). In CHEZQEACQG/e1, proposition 2.3
History
- 2026-10-31: add by m2/v0.5.6
GVX6Q17A0V GVX6Q17A0V
| URI | m2://inv/GVX6Q17A0V |
|---|---|
| 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 2607.00323#OMD2 (statement). In BPRFEQY7W4/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.6
GVXMAVV344 GVXMAVV344
| URI | m2://inv/GVXMAVV344 |
|---|---|
| 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 2512.19872#C2BM (statement). In DG9TF5X0EG/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.0
Reis's volume-ratio conjecture GVXN8M1Z71
| URI | m2://inv/GVXN8M1Z71 |
|---|---|
| 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#JG67, Reis's volume-ratio conjecture (statement). In 9YAE8FNQST/e1, corollary 9.2
History
- 2026-10-30: add by m2/v0.4.12
Root (phylogenetics) GVXRRCDVSC
| URI | m2://inv/GVXRRCDVSC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phylogenetic tree#9ZA9, Root (phylogenetics) (unknown)
History
- 2026-11-02: add by m2/dev
Matching lower bounds GVXRRH5RYG
| URI | m2://inv/GVXRRH5RYG |
|---|---|
| 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.17127#GMBA, Matching lower bounds (statement). In NZJ5B5KSDQ/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
GVXS5D1CM2 GVXS5D1CM2
| URI | m2://inv/GVXS5D1CM2 |
|---|---|
| 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.16235#7AR3 (example). In RNGNWGMX85/e1, example 3.15
History
- 2026-10-28: add by m2/v0.4.2
trichotomy of ordinals GVXVG7CZN4
| URI | m2://inv/GVXVG7CZN4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.4/trichotomy-of-ordinals, trichotomy of ordinals (concept). In N54F33XE07, index, section C.4
History
- 2026-11-01: add by m2/v0.6.13
Beck, József GVXVJYAWZW
| URI | m2://inv/GVXVJYAWZW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#VEAU, Beck, József (unknown)
History
- 2026-11-02: add by m2/dev
Formula and calculation GVY0MSNHBK
| URI | m2://inv/GVY0MSNHBK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congeneric reliability#ZSC1, Formula and calculation (statement)
History
- 2026-11-02: add by m2/dev
Other formulas GVY3YVQVRH
| URI | m2://inv/GVY3YVQVRH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet convolution#9DPN, Other formulas (statement)
History
- 2026-11-02: add by m2/dev
One-unit smoothing by a finite controlled coupling GVYCHKD1RS
| URI | m2://inv/GVYCHKD1RS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.28611#QWO9, One-unit smoothing by a finite controlled coupling (statement)
History
- 2026-11-01: add by m2/v0.6.15
Thermal expansion GVYPZQZEFG
| URI | m2://inv/GVYPZQZEFG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermal expansion, Thermal expansion (definition). Also Wikidata Q6583695
History
- 2026-11-02: add by m2/dev
Applications GVYZ7GF7RM
| URI | m2://inv/GVYZ7GF7RM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digit sum#Z2HU, Applications (example)
History
- 2026-11-02: add by m2/dev
Algebraic Borel Construction GVYZ9K633E
| URI | m2://inv/GVYZ9K633E |
|---|---|
| Kind | definition |
| 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#DZKD, Algebraic Borel Construction (definition). In 13GSWBXPCM/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
Thomas W. Hawkins, Jr. GVZ8PPG60K
| URI | m2://inv/GVZ8PPG60K |
|---|---|
| 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#H4Q4, Thomas W. Hawkins, Jr. (unknown)
History
- 2026-11-02: add by m2/dev
GVZE6M2VWZ GVZE6M2VWZ
| URI | m2://inv/GVZE6M2VWZ |
|---|---|
| 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.20190#6MF3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Example GVZJA9A3D5
| URI | m2://inv/GVZJA9A3D5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multilinear map#AX9M, Example (example)
History
- 2026-11-02: add by m2/dev
Moti Yung GVZPF4C2S0
| URI | m2://inv/GVZPF4C2S0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#08YC, Moti Yung (unknown)
History
- 2026-11-02: add by m2/dev