Inventory rows 1K
The cards of the rows of the inventory whose ids start with 1K. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
David Applegate 1K0B8TWD80
| URI | m2://inv/1K0B8TWD80 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#D6DZ, David Applegate (unknown)
History
- 2026-11-02: add by m2/dev
1K0F5D3GWP 1K0F5D3GWP
| URI | m2://inv/1K0F5D3GWP |
|---|---|
| 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.20010#RWVF (statement). In AK2DV65PRT/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.2
idempotent 1K0JT8PZ9Y
| URI | m2://inv/1K0JT8PZ9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#EYEI, idempotent (definition)
History
- 2026-11-02: add by m2/dev
Null quantitative focusing 1K0N1HVXEK
| URI | m2://inv/1K0N1HVXEK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11911#VES4, Null quantitative focusing (statement). In 5BYE5NYB89/e1, proposition 4.11
History
- 2026-10-28: add by m2/v0.4.3
1K0ZG66W5K 1K0ZG66W5K
| URI | m2://inv/1K0ZG66W5K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07790#THUU (statement). In A5YJDDM0NX/e1, corollary 3.8
History
- 2026-10-29: add by m2/v0.4.10
The gain of a Jacobi matrix 1K15TG3QQK
| URI | m2://inv/1K15TG3QQK |
|---|---|
| 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#KOMX, The gain of a Jacobi matrix (statement). In JY6RYSNXMJ/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.10
Hans Christian Ørsted 1K17B03TH9
| URI | m2://inv/1K17B03TH9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q44412, Hans Christian Ørsted (unknown). Also ProofWiki Mathematician:Hans_Christian_Ørsted
History
- 2026-10-26: add by m2/dev
Makiko Sasada 1K19HRWMT3
| URI | m2://inv/1K19HRWMT3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Makiko Sasada, Makiko Sasada (topic). Also Wikidata Q103380718
History
- 2026-11-02: add by m2/dev
WKB approximation 1K1ADEWCZK
| URI | m2://inv/1K1ADEWCZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | WKB approximation YJEBN8N3G8 |
Mentions
- wikidata: Wikidata Q907306, WKB approximation (unknown). Also nLab WKB method
- wikipedia: Wikipedia WKB approximation, WKB approximation (definition). Also Wikidata Q907306
History
- 2026-10-26: add by m2/dev
Treewidth 1K1HF7NTQZ
| URI | m2://inv/1K1HF7NTQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#YAAT, Treewidth (definition)
History
- 2026-11-02: add by m2/dev
1K1N50E78Q 1K1N50E78Q
| URI | m2://inv/1K1N50E78Q |
|---|---|
| Kind | problem |
| 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#Q27Y (problem). In X8FQD4TEVG/e1, problem 1.7
History
- 2026-10-29: add by m2/v0.4.10
Objective stress rate 1K1X1KZH7S
| URI | m2://inv/1K1X1KZH7S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Objective stress rate, Objective stress rate (definition). Also Wikidata Q17105043
History
- 2026-11-02: add by m2/dev
1K1YXZE1CW 1K1YXZE1CW
| URI | m2://inv/1K1YXZE1CW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-conc.ptx#exercise-12 (exercise). In Y91XFCEVHQ, exercise, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
1K25Z0YMJD 1K25Z0YMJD
| URI | m2://inv/1K25Z0YMJD |
|---|---|
| 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 1103.1038#PBHT (statement). In T9VMNNPS0H/e1, proposition 5.6
History
- 2026-10-27: add by m2/v0.3.6
1K26D3093N 1K26D3093N
| URI | m2://inv/1K26D3093N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00512#181H (statement). In RB5QBG3MJY/e1, lemma 3.7
History
- 2026-10-30: add by m2/v0.4.12
Complex normal distribution 1K29NCQG08
| URI | m2://inv/1K29NCQG08 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex normal distribution, Complex normal distribution (definition). Also Wikidata Q5156587
History
- 2026-11-02: add by m2/dev
Souslin line 1K2A0ZDCR7
| URI | m2://inv/1K2A0ZDCR7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Suslin's problem#UT91, Souslin line (unknown)
History
- 2026-11-02: add by m2/dev
Endpoint forest budget 1K2C1RMGH5
| URI | m2://inv/1K2C1RMGH5 |
|---|---|
| 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#GI2Z, Endpoint forest budget (statement)
History
- 2026-11-01: add by m2/v0.6.15
Eric Friedlander 1K2CZE8RAJ
| URI | m2://inv/1K2CZE8RAJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14942998, Eric Friedlander (unknown). Also nLab Eric Friedlander
History
- 2026-10-26: add by m2/dev
Definition 1K2GS7B8GY
| URI | m2://inv/1K2GS7B8GY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brzozowski derivative#3FHM, Definition (definition)
History
- 2026-11-02: add by m2/dev
1K2KYQKMZ6 1K2KYQKMZ6
| URI | m2://inv/1K2KYQKMZ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32001#4EBB (statement). In 5FZGDECW2R/e1, lemma 4.3
History
- 2026-10-31: add by m2/v0.5.6
Amina Doumane 1K2TP21KAN
| URI | m2://inv/1K2TP21KAN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amina Doumane, Amina Doumane (topic). Also Wikidata Q65707471
History
- 2026-11-02: add by m2/dev
1K30TSFWY0 1K30TSFWY0
| URI | m2://inv/1K30TSFWY0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2303.09207#MQEY (statement). In 9DQKY7KGE8/e1, lemma 6.10
History
- 2026-10-27: add by m2/v0.3.5
1K324ZX9R7 1K324ZX9R7
| URI | m2://inv/1K324ZX9R7 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/choice/hartogs.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 71.2
History
- 2026-11-01: add by m2/v0.6.13
Danny Calegari 1K3GMHXGQ1
| URI | m2://inv/1K3GMHXGQ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NMSB, Danny Calegari (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MBZB, Danny Calegari (topic)
History
- 2026-11-02: add by m2/dev
1K3HQN18G5 1K3HQN18G5
| URI | m2://inv/1K3HQN18G5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24325#DGVS (example)
History
- 2026-11-01: add by m2/v0.6.15
Mass and polygon identities 1K3HVH625M
| URI | m2://inv/1K3HVH625M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20042#WNVC, Mass and polygon identities (statement)
History
- 2026-11-02: add by m2/v0.6.18
Friedrich Wilhelm Schäfke 1K3N62VA6N
| URI | m2://inv/1K3N62VA6N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#QVN4, Friedrich Wilhelm Schäfke (topic)
History
- 2026-11-02: add by m2/dev
1K3V7ZME4Y 1K3V7ZME4Y
| URI | m2://inv/1K3V7ZME4Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21017#8D01 (statement). In 8KKYZ4NKT2/e1, corollary 7
History
- 2026-10-27: add by m2/v0.4.2
Gauss–Bonnet theorem 1K3WAWY9TY
| URI | m2://inv/1K3WAWY9TY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential geometry of surfaces#LHIL, Gauss–Bonnet theorem (statement)
History
- 2026-11-02: add by m2/dev
1K3XP4TTH5 1K3XP4TTH5
| URI | m2://inv/1K3XP4TTH5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.01057#T860 (statement). In 69QFBXJENW/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
1K3ZPPQQ8D 1K3ZPPQQ8D
| URI | m2://inv/1K3ZPPQQ8D |
|---|---|
| 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.10365#CPG7 (statement). In PRVQPSBVHK/e1, theorem B
History
- 2026-10-29: add by m2/v0.4.10
Hadwiger's characterization theorem 1K42R4PH70
| URI | m2://inv/1K42R4PH70 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixed volume#6GF0, Hadwiger's characterization theorem (statement)
History
- 2026-11-02: add by m2/dev
Gaisi Takeuti 1K4DAK1Q2J
| URI | m2://inv/1K4DAK1Q2J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#321R, Gaisi Takeuti (topic)
History
- 2026-11-02: add by m2/dev
continuum many 1K4DBEMMCX
| URI | m2://inv/1K4DBEMMCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#LGWJ, continuum many (definition)
History
- 2026-11-02: add by m2/dev
dividing a square into similar rectangles 1K4MRKGCNK
| URI | m2://inv/1K4MRKGCNK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q117034634, dividing a square into similar rectangles (problem). Also OEIS A359146
- wikipedia: Wikipedia Dividing a square into similar rectangles, Dividing a square into similar rectangles (definition). Also Wikidata Q117034634
History
- 2026-10-26: add by m2/dev
1K4N9W6W1P 1K4N9W6W1P
| URI | m2://inv/1K4N9W6W1P |
|---|---|
| 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.21800#ETVH (statement). In CMAEC39BKK/e1, corollary 2.2
History
- 2026-10-27: add by m2/v0.4.2
Hansen's problem 1K4TBH3TRH
| URI | m2://inv/1K4TBH3TRH |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5651031, Hansen's problem (problem). Also MathWorld HansensProblem
- wikipedia: Wikipedia Hansen's problem, Hansen's problem (problem). Also Wikidata Q5651031
History
- 2026-10-26: add by m2/dev
1K4Z1CE4B0 1K4Z1CE4B0
| URI | m2://inv/1K4Z1CE4B0 |
|---|---|
| Kind | definition |
| 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 2507.23666#XENS (definition). In YKQ89G5QA2/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.6
Quentin Meillassoux 1K50E9VT27
| URI | m2://inv/1K50E9VT27 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quentin Meillassoux, Quentin Meillassoux (topic). Also Wikidata Q644620
History
- 2026-11-02: add by m2/dev
Constructions 1K590CC0P7
| URI | m2://inv/1K590CC0P7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cube#0Y0Y, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Co-interior angles 1K5BTQ6F8Z
| URI | m2://inv/1K5BTQ6F8Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transversal (geometry)#IZP6, Co-interior angles (unknown)
History
- 2026-11-02: add by m2/dev
Anthony N. Michel 1K5HFJ6NB9
| URI | m2://inv/1K5HFJ6NB9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4773166, Anthony N. Michel (unknown). Also ProofWiki Mathematician:Anthony_N._Michel
History
- 2026-10-26: add by m2/dev
Variants 1K5KFARKAE
| URI | m2://inv/1K5KFARKAE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Belousov–Zhabotinsky reaction#ZOJ3, Variants (statement)
History
- 2026-11-02: add by m2/dev
1K5NA74KXV 1K5NA74KXV
| URI | m2://inv/1K5NA74KXV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28295#YB2F (statement)
History
- 2026-11-01: add by m2/v0.6.15
topos 1K5NEHTH7B
| URI | m2://inv/1K5NEHTH7B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C/topos, topos (concept). In N54F33XE07, index, section C
History
- 2026-11-01: add by m2/v0.6.13
1K5P3AFEVR 1K5P3AFEVR
| URI | m2://inv/1K5P3AFEVR |
|---|---|
| Kind | conjecture |
| 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.11271#ZDW4 (conjecture). In HF7J38T8Y6/e1, conjecture 5.2
History
- 2026-10-28: add by m2/v0.4.3
1K5Q5RPHJ5 1K5Q5RPHJ5
| URI | m2://inv/1K5Q5RPHJ5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-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.05391#WNKI (definition). In 9B5TNEBJHV/e1, definition 3.10
History
- 2026-10-29: add by m2/v0.4.10
1K5TPP2B77 1K5TPP2B77
| URI | m2://inv/1K5TPP2B77 |
|---|---|
| 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#DZ5S (statement). In BDN507RN7J/e1, corollary 2.2.8
History
- 2026-10-30: add by m2/v0.4.12
Price, Richard 1K5VDXZ2WN
| URI | m2://inv/1K5VDXZ2WN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#8EQM, Price, Richard (unknown)
History
- 2026-11-02: add by m2/dev
Uniform graph witnesses 1K5VVSYFBM
| URI | m2://inv/1K5VVSYFBM |
|---|---|
| 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#FQ7M, Uniform graph witnesses (statement). In DR7BK4CQ0V/e1, theorem 3.24
History
- 2026-10-28: add by m2/v0.4.3
1K5Z98RK9J 1K5Z98RK9J
| URI | m2://inv/1K5Z98RK9J |
|---|---|
| Kind | definition |
| 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.33018#RAK2 (definition). In 8XVS0QJ2AH/e1, definition 60
History
- 2026-10-31: add by m2/v0.5.6
support 1K62CVESS2
| URI | m2://inv/1K62CVESS2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#CR95, support (definition)
History
- 2026-11-02: add by m2/dev
Mathematica 1K69VZF4JS
| URI | m2://inv/1K69VZF4JS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#2B81, Mathematica (definition)
History
- 2026-11-02: add by m2/dev
Random normalizers are AEL-robust relative designs 1K6FAPV5WH
| URI | m2://inv/1K6FAPV5WH |
|---|---|
| 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.40252#80Y5, Random normalizers are AEL-robust relative designs (statement). In 7MVPNFPRKB/e1, corollary 11.9
History
- 2026-10-30: add by m2/v0.4.12
1K6H25MGEG 1K6H25MGEG
| URI | m2://inv/1K6H25MGEG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#C0FP (definition). In 3KTZ6Z615H/e1, definition 3.12
History
- 2026-10-30: add by m2/v0.4.12
6-j symbol 1K6H4ZM0QF
| URI | m2://inv/1K6H4ZM0QF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | 6-j symbol D17XX5N9VF |
Mentions
- wikidata: Wikidata Q2606520, 6-j symbol (unknown). Also MathWorld Wigner6j-Symbol
- wikipedia: Wikipedia 6-j symbol, 6-j symbol (definition). Also Wikidata Q2606520
History
- 2026-10-26: add by m2/dev
Binomial coefficient 1K6JAX3TX1
| URI | m2://inv/1K6JAX3TX1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#PNCS, Binomial coefficient (definition)
History
- 2026-11-02: add by m2/dev
String graph 1K74066YRR
| URI | m2://inv/1K74066YRR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia String graph, String graph (definition). Also Wikidata Q7623978
History
- 2026-11-02: add by m2/dev
Euler's factorization method 1K7FQEDYDZ
| URI | m2://inv/1K7FQEDYDZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1608174, Euler's factorization method (unknown). Also MathWorld EulersFactorizationMethod
- wikipedia: Wikipedia Euler's factorization method, Euler's factorization method (definition). Also Wikidata Q1608174
History
- 2026-10-26: add by m2/dev
Set theory 1K7FZJJSD5
| URI | m2://inv/1K7FZJJSD5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#G0OZ, Set theory (definition)
History
- 2026-11-02: add by m2/dev
1K7PANPXQ5 1K7PANPXQ5
| URI | m2://inv/1K7PANPXQ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26307#RMCI (statement)
History
- 2026-11-01: add by m2/v0.6.15
1K7PQAACFG 1K7PQAACFG
| URI | m2://inv/1K7PQAACFG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#8YT9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
1K7ZRGTKNA 1K7ZRGTKNA
| URI | m2://inv/1K7ZRGTKNA |
|---|---|
| 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 2208.04502#XM0P (statement). In BT6E9BXXF3/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
1K8AYAXTA1 1K8AYAXTA1
| URI | m2://inv/1K8AYAXTA1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05299#UJAL (statement). In 68AE571S4P/e1, lemma 2.19
History
- 2026-10-29: add by m2/v0.4.10
1K8NHN2R58 1K8NHN2R58
| URI | m2://inv/1K8NHN2R58 |
|---|---|
| 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 2503.05873#8E2T (definition). In 2FY5P3FAS0/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
The field 1K8YERKJHD
| URI | m2://inv/1K8YERKJHD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#11BH, The field (statement). In NKXTXH59P1/e1, lemma C.1
History
- 2026-10-29: add by m2/v0.4.10
1K8YSSF2BV 1K8YSSF2BV
| URI | m2://inv/1K8YSSF2BV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23528#0XYH (example)
History
- 2026-11-02: add by m2/v0.6.17
Expansion in terms of homogeneous solutions $U_0$ 1K9ECEKZSC
| URI | m2://inv/1K9ECEKZSC |
|---|---|
| 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.18270#85BA, Expansion in terms of homogeneous solutions $U_0$ (statement). In CPDMYJ0NJV/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
00-xx 1K9HDZ30SP
| URI | m2://inv/1K9HDZ30SP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics#GXQZ, 00-xx (unknown)
History
- 2026-11-02: add by m2/dev
1K9ZCNQ61P 1K9ZCNQ61P
| URI | m2://inv/1K9ZCNQ61P |
|---|---|
| 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.21899#6PLV (statement). In YRN5P43B2N/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.2
1K9ZDPME91 1K9ZDPME91
| URI | m2://inv/1K9ZDPME91 |
|---|---|
| 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 2405.05684#TGXS (definition). In 1PR73ECTZB/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
1KA3MVBKK0 1KA3MVBKK0
| URI | m2://inv/1KA3MVBKK0 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#CQ7T (unknown). In 4YJH4FPWDA/e1, unknown 3.19
History
- 2026-10-30: add by m2/v0.4.12
Pseudo-Riemannian manifold 1KACZ4FFNG
| URI | m2://inv/1KACZ4FFNG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#IG6C, Pseudo-Riemannian manifold (definition)
- wikipedia: Wikipedia List of differential geometry topics#TTKU, Pseudo-Riemannian manifold (definition)
- wikipedia: Wikipedia List of mathematical topics in relativity#UM9A, Pseudo-Riemannian manifold (definition)
- wikipedia: Wikipedia List of manifolds#9IVQ, Pseudo-Riemannian manifold (definition)
History
- 2026-11-02: add by m2/dev
!!^{derivability} 1KAEG2MKH7
| URI | m2://inv/1KAEG2MKH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#defn-2, !!^{derivability} (definition). In PKGMM3P5QY, defn, section 15.1
History
- 2026-11-01: add by m2/v0.6.13
Definitions 1KAF7SVB7H
| URI | m2://inv/1KAF7SVB7H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate normal distribution#5F4S, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Magnetic plateau 1KAFT6PN43
| URI | m2://inv/1KAFT6PN43 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24481#6J7C, Magnetic plateau (statement)
History
- 2026-11-01: add by m2/v0.6.15
1KAJ29H5CR 1KAJ29H5CR
| URI | m2://inv/1KAJ29H5CR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.16669#NSK8 (statement). In 1463YCCRP5/e1, proposition 7.17
History
- 2026-10-27: add by m2/v0.4.0
1KAJM50XD0 1KAJM50XD0
| URI | m2://inv/1KAJM50XD0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27042#ZROS (statement)
History
- 2026-11-01: add by m2/v0.6.15
1KAM3ZBCGV 1KAM3ZBCGV
| URI | m2://inv/1KAM3ZBCGV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19882#Y24T (statement)
History
- 2026-11-02: add by m2/v0.6.18
Burgess inequality 1KAMYWRB62
| URI | m2://inv/1KAMYWRB62 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burgess inequality, Burgess inequality (statement). Also Wikidata Q132855766
History
- 2026-11-02: add by m2/dev
Squeeze lemma 1KAS8QN8DA
| URI | m2://inv/1KAS8QN8DA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#squeeze:lemma, Squeeze lemma (statement). In E59CDZA4DP, lemma, section 10.2.1
History
- 2026-11-01: add by m2/v0.6.13
Elimination by weight transfer 1KATCG04R0
| URI | m2://inv/1KATCG04R0 |
|---|---|
| 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.33360#M39V, Elimination by weight transfer (statement). In GH6FSDK4YB/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
Giuseppe F. Italiano 1KAYPJTYNW
| URI | m2://inv/1KAYPJTYNW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VR2S, Giuseppe F. Italiano (unknown)
History
- 2026-11-02: add by m2/dev
Definition 1KB1PG8ZTK
| URI | m2://inv/1KB1PG8ZTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordered exponential field#G5E2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Statement 1KB7VW8GS8
| URI | m2://inv/1KB7VW8GS8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramanujam–Samuel theorem#ZARY, Statement (statement)
History
- 2026-11-02: add by m2/dev
1KB91RZ6GC 1KB91RZ6GC
| URI | m2://inv/1KB91RZ6GC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10093#SOZX (statement). In NJDN112PFS/e1, corollary 2.5
History
- 2026-10-29: add by m2/v0.4.10
Monomial $L^4$ estimate 1KBD661F05
| URI | m2://inv/1KBD661F05 |
|---|---|
| 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.20643#ZT0S, Monomial $L^4$ estimate (statement)
History
- 2026-11-02: add by m2/v0.6.18
MacGregor, John F. 1KBGY2NGPY
| URI | m2://inv/1KBGY2NGPY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#YFN1, MacGregor, John F. (topic)
History
- 2026-11-02: add by m2/dev
Beverton–Holt model 1KBKMYYBGJ
| URI | m2://inv/1KBKMYYBGJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beverton–Holt model, Beverton–Holt model (definition). Also Wikidata Q4899640
History
- 2026-11-02: add by m2/dev
Brian White 1KBS62ZJ3Q
| URI | m2://inv/1KBS62ZJ3Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brian White (mathematician), Brian White (topic). Also Wikidata Q21823223
History
- 2026-11-02: add by m2/dev
Distance between the planning solution and the target 1KBVJE86R0
| URI | m2://inv/1KBVJE86R0 |
|---|---|
| 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.14988#4821, Distance between the planning solution and the target (statement). In B29M4E6KGC/e1, lemma J.5
History
- 2026-10-28: add by m2/v0.4.2
Francis Hutcheson 1KBY9R8X3T
| URI | m2://inv/1KBY9R8X3T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francis Hutcheson (philosopher), Francis Hutcheson (topic). Also Wikidata Q316367
History
- 2026-11-02: add by m2/dev
Friedman test 1KC2T54SZQ
| URI | m2://inv/1KC2T54SZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SVO3, Friedman test (definition)
History
- 2026-11-02: add by m2/dev
1KC8Y94XHX 1KC8Y94XHX
| URI | m2://inv/1KC8Y94XHX |
|---|---|
| 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.00337#C8KF (statement). In 5STQ3ABZ60/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
Mathematics and science partnerships 1KCCJ6RBMQ
| URI | m2://inv/1KCCJ6RBMQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics and science partnerships, Mathematics and science partnerships (definition). Also Wikidata Q6786896
History
- 2026-11-02: add by m2/dev
Dedekind cut 1KCEAWAZ8J
| URI | m2://inv/1KCEAWAZ8J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Richard Dedekind#4DNC, Dedekind cut (definition)
History
- 2026-11-02: add by m2/dev
1KCGZWYV80 1KCGZWYV80
| URI | m2://inv/1KCGZWYV80 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/z/separation.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 76.8
History
- 2026-11-01: add by m2/v0.6.13
1KCVF03Z5B 1KCVF03Z5B
| URI | m2://inv/1KCVF03Z5B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.30285#7Z4V (statement). In YMY0NNSM27/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.3.6
Generalization 1KCXGXFQAF
| URI | m2://inv/1KCXGXFQAF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cholesky decomposition#M9BG, Generalization (statement)
History
- 2026-11-02: add by m2/dev
1KD2KZNQEB 1KD2KZNQEB
| URI | m2://inv/1KD2KZNQEB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.07340#MTB4 (statement). In WXE3PVAZBT/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.3.5
Statement 1KD3A7TYMQ
| URI | m2://inv/1KD3A7TYMQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lebesgue's density theorem#CJH1, Statement (statement)
History
- 2026-11-02: add by m2/dev
bunched logic 1KD7PRMVY4
| URI | m2://inv/1KD7PRMVY4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4997446, bunched logic (unknown). Also nLab bunched logic
- wikipedia: Wikipedia Bunched logic, Bunched logic (topic). Also Wikidata Q4997446
History
- 2026-10-26: add by m2/dev
Henri Lebesgue 1KDB2Z6ARW
| URI | m2://inv/1KDB2Z6ARW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#UTKS, Henri Lebesgue (topic)
History
- 2026-11-02: add by m2/dev
1KDH83HFPE 1KDH83HFPE
| URI | m2://inv/1KDH83HFPE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_probability_discrete-random-variables.ptx#example-3 (example). In QKM9DD2H56, example, section 10.4.2
History
- 2026-11-01: add by m2/v0.6.13
Rick Durrett 1KDJ05ZCDN
| URI | m2://inv/1KDJ05ZCDN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rick Durrett, Rick Durrett (topic). Also Wikidata Q7331363
History
- 2026-11-02: add by m2/dev
1KDM5S65H6 1KDM5S65H6
| URI | m2://inv/1KDM5S65H6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.22636#OLON (statement). In 2X2A6MT0QD/e1, lemma 2.11
History
- 2026-10-27: add by m2/v0.3.5
1KDN2VJAYH 1KDN2VJAYH
| URI | m2://inv/1KDN2VJAYH |
|---|---|
| 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.28181#JKLT (statement)
History
- 2026-11-01: add by m2/v0.6.15
American Journal of Mathematics 1KDQK8J5SE
| URI | m2://inv/1KDQK8J5SE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#DDXC, American Journal of Mathematics (unknown)
History
- 2026-11-02: add by m2/dev
1KDY69B39K 1KDY69B39K
| URI | m2://inv/1KDY69B39K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05986#XXTX (statement). In N5ZM8MXJXH/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Absence of long-range order at positive activity 1KE0VKB2ZE
| URI | m2://inv/1KE0VKB2ZE |
|---|---|
| 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.29671#FHCI, Absence of long-range order at positive activity (statement)
History
- 2026-11-01: add by m2/v0.6.15
Montel 1KE2R9EVGV
| URI | m2://inv/1KE2R9EVGV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm:onevarmontel, Montel (statement). In VNMV985MXX, thm, section B
History
- 2026-11-01: add by m2/v0.6.13
1KEDNQ44VX 1KEDNQ44VX
| URI | m2://inv/1KEDNQ44VX |
|---|---|
| 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.10372#8O9H (statement). In P77W283VXT/e1, lemma 9.1
History
- 2026-10-29: add by m2/v0.4.10
1KEN61BS2T 1KEN61BS2T
| URI | m2://inv/1KEN61BS2T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31604#ZNK1 (statement). In GSN5YTQS2K/e1, lemma 2.19
History
- 2026-10-31: add by m2/v0.5.6
1KEWW91146 1KEWW91146
| URI | m2://inv/1KEWW91146 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16241#VZDU (definition). In WNDHZVY4WK/e1, definition A.5
History
- 2026-10-28: add by m2/v0.4.2
Big O notation 1KF2E8921H
| URI | m2://inv/1KF2E8921H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithm general topics#KUPT, Big O notation (definition)
History
- 2026-11-02: add by m2/dev
1KFA1F3PR5 1KFA1F3PR5
| URI | m2://inv/1KFA1F3PR5 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability-propositional.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
Application 1KFHCHM0H7
| URI | m2://inv/1KFHCHM0H7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified Gaussian distribution#X3NM, Application (example)
History
- 2026-11-02: add by m2/dev
coordinate ring 1KFM83FTSV
| URI | m2://inv/1KFM83FTSV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124681045, coordinate ring (unknown). Also MathWorld CoordinateRing
History
- 2026-10-26: add by m2/dev
Correlation breaker with advice 1KFRB1R84X
| URI | m2://inv/1KFRB1R84X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#P2W1, Correlation breaker with advice (statement). In ZZER8ZBSCR/e1, theorem 2.15
History
- 2026-10-29: add by m2/v0.4.12
SC 1KFV6RRQ7R
| URI | m2://inv/1KFV6RRQ7R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SC (complexity), SC (definition). Also Wikidata Q7389363
History
- 2026-11-02: add by m2/dev
1 + 1 + 1 + 1 + ⋯ 1KFXN3K6JG
| URI | m2://inv/1KFXN3K6JG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1 + 1 + 1 + 1 + ⋯, 1 + 1 + 1 + 1 + ⋯ (definition). Also Wikidata Q2555219
History
- 2026-11-02: add by m2/dev
1KFYT39Q54 1KFYT39Q54
| URI | m2://inv/1KFYT39Q54 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29393#CYQX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition 1KG5ECHN4X
| URI | m2://inv/1KG5ECHN4X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson ring#YU9O, Definition (definition)
History
- 2026-11-02: add by m2/dev
Eugen Slutsky 1KG6JCZH9H
| URI | m2://inv/1KG6JCZH9H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#7MIS, Eugen Slutsky (unknown)
History
- 2026-11-02: add by m2/dev
Discontinuous Galerkin method 1KG7X84757
| URI | m2://inv/1KG7X84757 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discontinuous Galerkin method, Discontinuous Galerkin method (definition). Also Wikidata Q428273
History
- 2026-11-02: add by m2/dev
Examples 1KG98A03TF
| URI | m2://inv/1KG98A03TF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithmic derivative#S103, Examples (example)
History
- 2026-11-02: add by m2/dev
1KGEB69G2T 1KGEB69G2T
| URI | m2://inv/1KGEB69G2T |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09113#5IWC (problem). In MWAK0MK21N/e1, problem 3.1
History
- 2026-10-29: add by m2/v0.4.10
Beraha constants 1KGP5WDTJN
| URI | m2://inv/1KGP5WDTJN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beraha constants, Beraha constants (definition). Also Wikidata Q60751640
History
- 2026-11-02: add by m2/dev
1KGZG0RYS8 1KGZG0RYS8
| URI | m2://inv/1KGZG0RYS8 |
|---|---|
| Kind | problem |
| 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.10329#RFMW (problem). In SCSTR1Q1BW/e1, problem 3
History
- 2026-10-29: add by m2/v0.4.10
International Commission on Mathematical Instruction 1KH3EHKNNH
| URI | m2://inv/1KH3EHKNNH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Commission on Mathematical Instruction, International Commission on Mathematical Instruction (definition). Also Wikidata Q1782351
History
- 2026-11-02: add by m2/dev
analytic torsion 1KH56K48N9
| URI | m2://inv/1KH56K48N9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Analytic torsion MZT9D34B0A |
Mentions
- wikidata: Wikidata Q4751142, analytic torsion (unknown). Also MathWorld AnalyticTorsion, nLab analytic torsion
- wikipedia: Wikipedia Analytic torsion, Analytic torsion (definition). Also Wikidata Q4751142
History
- 2026-10-26: add by m2/dev
1KHGCETCWR 1KHGCETCWR
| URI | m2://inv/1KHGCETCWR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13429#XFGQ (example). In B2VB5T5WQD/e1, example 4.9
History
- 2026-10-28: add by m2/v0.4.2
Transactions on Computational Logic 1KHGSV6TG3
| URI | m2://inv/1KHGSV6TG3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#ZOG5, Transactions on Computational Logic (unknown)
History
- 2026-11-02: add by m2/dev
Pumping lemma for regular languages 1KHKG7ZJYZ
| URI | m2://inv/1KHKG7ZJYZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pumping lemma for regular languages, Pumping lemma for regular languages (statement). Also Wikidata Q2292874
History
- 2026-11-02: add by m2/dev
1KHMGR342D 1KHMGR342D
| URI | m2://inv/1KHMGR342D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16123#M49J (statement). In 6VR4TY5BGV/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
1KHTAH35HV 1KHTAH35HV
| URI | m2://inv/1KHTAH35HV |
|---|---|
| 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 2112.10058#CDDO (statement). In YQKKA47GS9/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
1KHVRF726H 1KHVRF726H
| URI | m2://inv/1KHVRF726H |
|---|---|
| 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.40138#K1UQ (statement). In R60HR493TS/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Partition regular 1KHW9XPE6P
| URI | m2://inv/1KHW9XPE6P |
|---|---|
| Kind | definition |
| 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 1806.05002#DBME, Partition regular (definition). In JBAQ7DTW7B/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.3.5
Igor Pro 1KJ1PRJDJ9
| URI | m2://inv/1KJ1PRJDJ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#R2CR, Igor Pro (unknown)
History
- 2026-11-02: add by m2/dev
1KJKVMXASG 1KJKVMXASG
| URI | m2://inv/1KJKVMXASG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25823#LKX9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Octonion algebra 1KJRBXGEJ7
| URI | m2://inv/1KJRBXGEJ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#5BR6, Octonion algebra (definition)
History
- 2026-11-02: add by m2/dev
F. Riesz's theorem 1KJY88HEE3
| URI | m2://inv/1KJY88HEE3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F. Riesz's theorem, F. Riesz's theorem (statement). Also Wikidata Q97279461
History
- 2026-11-02: add by m2/dev
1KJYWBEJ5C 1KJYWBEJ5C
| URI | m2://inv/1KJYWBEJ5C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/quasi-proj.tex#example-4 (example). In RZP28ERRZV, example, section 24.2.2
History
- 2026-11-01: add by m2/v0.6.13
1KK3Z4CF0Q 1KK3Z4CF0Q
| URI | m2://inv/1KK3Z4CF0Q |
|---|---|
| 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 1701.00517#BNM5 (statement). In JHPBT88FDW/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.3.5
Definition 1KK48FK1JM
| URI | m2://inv/1KK48FK1JM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor product of Hilbert spaces#NSIG, Definition (definition)
History
- 2026-11-02: add by m2/dev
Marquis de Condorcet 1KK4GKA21M
| URI | m2://inv/1KK4GKA21M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marquis de Condorcet, Marquis de Condorcet (topic). Also Wikidata Q201477
History
- 2026-11-02: add by m2/dev
conditional convergence 1KK6F7HS9B
| URI | m2://inv/1KK6F7HS9B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/10.5.4/conditional-convergence, conditional convergence (concept). In E59CDZA4DP, index, section 10.5.4
History
- 2026-11-01: add by m2/v0.6.13
Explicit sectoriality in the parabolic case 1KK7EQPDFJ
| URI | m2://inv/1KK7EQPDFJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16094#H016, Explicit sectoriality in the parabolic case (statement). In RHBS9QDHC3/e1, proposition 4.10
History
- 2026-10-28: add by m2/v0.4.2
Gerhard Hochschild 1KKEGNP190
| URI | m2://inv/1KKEGNP190 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#F0M5, Gerhard Hochschild (unknown)
History
- 2026-11-02: add by m2/dev
Graph drawing software 1KKFCHQE63
| URI | m2://inv/1KKFCHQE63 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph drawing#QDRI, Graph drawing software (unknown)
History
- 2026-11-02: add by m2/dev
1KM1HFHS75 1KM1HFHS75
| URI | m2://inv/1KM1HFHS75 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12633#XM5O (statement). In NGZ5AZ70NN/e1, proposition 5.10
History
- 2026-10-28: add by m2/v0.4.2
François Bruhat 1KMD37F5RM
| URI | m2://inv/1KMD37F5RM |
|---|---|
| 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#R6IJ, François Bruhat (topic)
History
- 2026-11-02: add by m2/dev
Daniel Kráľ 1KMD6FZB3A
| URI | m2://inv/1KMD6FZB3A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XDLF, Daniel Kráľ (topic)
History
- 2026-11-02: add by m2/dev
1KMF0RPN97 1KMF0RPN97
| URI | m2://inv/1KMF0RPN97 |
|---|---|
| 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 2610.08633#RZY4 (statement). In 7MV7RGDVXF/e1, theorem 3.3.1
History
- 2026-10-29: add by m2/v0.4.10
real number, formal definition of 1KMGRXH7JN
| URI | m2://inv/1KMGRXH7JN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.17/real-number-formal-definition-of, real number, formal definition of (concept). In QKM9DD2H56, index, section B.17
History
- 2026-11-01: add by m2/v0.6.13
1KMM788FEX 1KMM788FEX
| URI | m2://inv/1KMM788FEX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11388#5ZAU (statement). In PC1SZ68BPZ/e1, proposition D.6
History
- 2026-10-28: add by m2/v0.4.3
Uses 1KMN3WQK6X
| URI | m2://inv/1KMN3WQK6X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jadad scale#51OT, Uses (example)
History
- 2026-11-02: add by m2/dev
1KMP1RY358 1KMP1RY358
| URI | m2://inv/1KMP1RY358 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21489#FXDQ (statement). In R0Q0RV8XCF/e1, proposition 4.18
History
- 2026-10-27: add by m2/v0.4.2
1KMT5PVBXB 1KMT5PVBXB
| URI | m2://inv/1KMT5PVBXB |
|---|---|
| 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 2409.20170#VL1C (statement). In QXJP79APHN/e1, theorem 5.8
History
- 2026-10-27: add by m2/v0.3.5
Algorithm 1KMYGAV96D
| URI | m2://inv/1KMYGAV96D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial solutions of P-recursive equations#2TAM, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Positivity criterion at depth 1KMYVF3NVC
| URI | m2://inv/1KMYVF3NVC |
|---|---|
| Kind | conjecture |
| 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.04357#D8W8, Positivity criterion at depth (conjecture). In 6FY8BVP1F3/e1, conjecture K.26
History
- 2026-10-29: add by m2/v0.4.12
quark 1KN6H699ET
| URI | m2://inv/1KN6H699ET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6718, quark (definition). Also nLab quark, ProofWiki Definition:Quark
History
- 2026-10-26: add by m2/dev
Applications 1KNB1Z1MB8
| URI | m2://inv/1KNB1Z1MB8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete information#RDXN, Applications (example)
History
- 2026-11-02: add by m2/dev
Hungary 1KPAXHSQ6J
| URI | m2://inv/1KPAXHSQ6J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28, Hungary (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Hungary
History
- 2026-10-26: add by m2/dev
critical 1KPBEX28SV
| URI | m2://inv/1KPBEX28SV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#JDTQ, critical (definition)
History
- 2026-11-02: add by m2/dev
Construction 1KPFH5KVQP
| URI | m2://inv/1KPFH5KVQP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantellated tesseract#4EMM, Construction (definition)
History
- 2026-11-02: add by m2/dev
1KPK2JVAVX 1KPK2JVAVX
| URI | m2://inv/1KPK2JVAVX |
|---|---|
| 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 1001.3429#9CSR (statement). In 6S4BVGS1VP/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
1KPVFQZB3Y 1KPVFQZB3Y
| URI | m2://inv/1KPVFQZB3Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_posets_dilworth-intord.ptx#example-1 (example). In QKM9DD2H56, example, section 6.8
History
- 2026-11-01: add by m2/v0.6.13
1KQABC98WX 1KQABC98WX
| URI | m2://inv/1KQABC98WX |
|---|---|
| Kind | example |
| 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 1810.06028#Q7UX (example). In ZPFHH6YJG3/e1, example 4.6
History
- 2026-10-27: add by m2/v0.3.5
1KQCQDQPCQ 1KQCQDQPCQ
| URI | m2://inv/1KQCQDQPCQ |
|---|---|
| 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.32077#QLHH (statement). In WYXQDSQR9B/e1, proposition 3.8
History
- 2026-10-31: add by m2/v0.5.6
Chazy equation 1KQPS60JYY
| URI | m2://inv/1KQPS60JYY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chazy equation, Chazy equation (definition). Also Wikidata Q16967115
History
- 2026-11-02: add by m2/dev
1KQSQ6N5D4 1KQSQ6N5D4
| URI | m2://inv/1KQSQ6N5D4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-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.12352#281J (statement). In EXASSFT73P/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
simulated annealing 1KQTRH8ZGG
| URI | m2://inv/1KQTRH8ZGG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q863783, simulated annealing (unknown). Also MathWorld SimulatedAnnealing
- wikipedia: Wikipedia Simulated annealing, Simulated annealing (definition). Also Wikidata Q863783
History
- 2026-10-26: add by m2/dev
Statement 1KQY91E9DC
| URI | m2://inv/1KQY91E9DC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ky Fan inequality (game theory)#HWXQ, Statement (statement)
History
- 2026-11-02: add by m2/dev
1KQZ6A75HH 1KQZ6A75HH
| URI | m2://inv/1KQZ6A75HH |
|---|---|
| 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.40054#FKP6 (statement). In CA4C9PFM1E/e1, theorem 2.5.4
History
- 2026-10-30: add by m2/v0.4.12
1KRMS7GH4J 1KRMS7GH4J
| URI | m2://inv/1KRMS7GH4J |
|---|---|
| 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 2609.23167#ROJ4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Expansion in terms of homogeneous solutions $\mathcal U_0$ 1KRV0SRXMF
| URI | m2://inv/1KRV0SRXMF |
|---|---|
| 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.18270#VFIV, Expansion in terms of homogeneous solutions $\mathcal U_0$ (statement). In CPDMYJ0NJV/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
Cantic 5-cube 1KRZA137HP
| URI | m2://inv/1KRZA137HP |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantic 5-cube, Cantic 5-cube (object). Also Wikidata Q17004460
History
- 2026-11-02: add by m2/dev
1KSMAN3FF8 1KSMAN3FF8
| URI | m2://inv/1KSMAN3FF8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#KEDV (statement). In WAXS6FS388/e1, theorem C
History
- 2026-10-30: add by m2/v0.4.12
Quantitative closed range estimates 1KSPQY8WAN
| URI | m2://inv/1KSPQY8WAN |
|---|---|
| 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.22513#XE2G, Quantitative closed range estimates (statement)
History
- 2026-11-02: add by m2/v0.6.17
1KSQJA7AT5 1KSQJA7AT5
| URI | m2://inv/1KSQJA7AT5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07122#N8AN (definition). In W0ZHX9DHPV/e1, definition 5
History
- 2026-10-29: add by m2/v0.4.10
Two Boats, Ascension Island 1KT1248PRP
| URI | m2://inv/1KT1248PRP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#4H8K, Two Boats, Ascension Island (unknown)
History
- 2026-11-02: add by m2/dev
Bounded-defect gap capping 1KT392Y56H
| URI | m2://inv/1KT392Y56H |
|---|---|
| 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.30315#0B1L, Bounded-defect gap capping (statement). In FXTCVHYW5S/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
1KT4EDNACW 1KT4EDNACW
| URI | m2://inv/1KT4EDNACW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#NZYH (statement). In VN084GGZGK/e1, proposition 2.13
History
- 2026-10-28: add by m2/v0.4.3
1KT8BGDZBS 1KT8BGDZBS
| URI | m2://inv/1KT8BGDZBS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35474#W9J8 (statement). In 9QWPGZ92ZN/e1, proposition 2.5
History
- 2026-10-30: add by m2/v0.4.12
Periodisation of the weights 1KT8DAM5C4
| URI | m2://inv/1KT8DAM5C4 |
|---|---|
| Kind | definition |
| 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.29671#UKJC, Periodisation of the weights (definition)
History
- 2026-11-01: add by m2/v0.6.15
Pauli exclusion principle 1KT8J604B9
| URI | m2://inv/1KT8J604B9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#ZG1X, Pauli exclusion principle (statement)
History
- 2026-11-02: add by m2/dev
1KTCAVTXG8 1KTCAVTXG8
| URI | m2://inv/1KTCAVTXG8 |
|---|---|
| Kind | problem |
| 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.14099#TQNS (problem). In D77GXFTKFH/e1, problem 1
History
- 2026-10-28: add by m2/v0.4.2
1KTGVSNS4A 1KTGVSNS4A
| URI | m2://inv/1KTGVSNS4A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07240#IH52 (statement). In D0F1GK5AHW/e1, proposition B.5
History
- 2026-10-29: add by m2/v0.4.10
Disjoint union 1KTHVKCFWV
| URI | m2://inv/1KTHVKCFWV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disjoint union#9ETX, Disjoint union (statement)
History
- 2026-11-02: add by m2/dev
the exact-cover polynomial, and why it factorises 1KTK3Y2ZJQ
| URI | m2://inv/1KTK3Y2ZJQ |
|---|---|
| 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.05617#EWSN, the exact-cover polynomial, and why it factorises (statement). In 5JP3JTYAXK/e1, proposition 9.7
History
- 2026-10-29: add by m2/v0.4.10
Feedback vertex set 1KTK6ZH0CX
| URI | m2://inv/1KTK6ZH0CX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#UGO5, Feedback vertex set (definition)
History
- 2026-11-02: add by m2/dev
1KTRDK9A5B 1KTRDK9A5B
| URI | m2://inv/1KTRDK9A5B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01888#CXYY (statement). In A89G9GMPC9/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
Graph coloring 1KTV4APDGE
| URI | m2://inv/1KTV4APDGE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#YFNS, Graph coloring (definition)
History
- 2026-11-02: add by m2/dev
Basic properties of the Riesz fractional gradient 1KTVDVACRN
| URI | m2://inv/1KTVDVACRN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08253#TKP2, Basic properties of the Riesz fractional gradient (statement). In 6AD2CTF0QF/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.10
Julius Borcea 1KTYKGZ3HW
| URI | m2://inv/1KTYKGZ3HW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julius Borcea, Julius Borcea (topic). Also Wikidata Q14492060
History
- 2026-11-02: add by m2/dev
1KTZV1NAEE 1KTZV1NAEE
| URI | m2://inv/1KTZV1NAEE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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.21365#LWFN (definition). In FCMMB2EVAP/e1, definition 4.13
History
- 2026-10-27: add by m2/v0.4.2
Definition 1KVAQAQJ64
| URI | m2://inv/1KVAQAQJ64 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetic moment#TKZ2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Statistical price of limited decision coverage 1KVG8JDCC4
| URI | m2://inv/1KVG8JDCC4 |
|---|---|
| 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.37380#2LEJ, Statistical price of limited decision coverage (statement). In 14Y4SA4SX0/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
1KVGJ4EGBS 1KVGJ4EGBS
| URI | m2://inv/1KVGJ4EGBS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0909.2893#0PHY (statement). In JQ4JYAXCMK/e1, lemma 23
History
- 2026-10-27: add by m2/v0.3.5
1KVJAA8VQA 1KVJAA8VQA
| URI | m2://inv/1KVJAA8VQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 26-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.13532#ZFGH (statement). In 9B0X8YPF3P/e1, theorem C
History
- 2026-10-28: add by m2/v0.4.2
Applications 1KVRR998FA
| URI | m2://inv/1KVRR998FA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson-Dirichlet distribution#3X6P, Applications (example)
History
- 2026-11-02: add by m2/dev
Fundamental theorem of finite abelian groups 1KW3WY9NZJ
| URI | m2://inv/1KW3WY9NZJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the kind of the item is unknown) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abelian group#JNLW, Fundamental theorem of finite abelian groups (unknown)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
1KW8GVYN2R 1KW8GVYN2R
| URI | m2://inv/1KW8GVYN2R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#prop:uniformcauchy (statement). In E59CDZA4DP, prop, section 9.1.3
History
- 2026-11-01: add by m2/v0.6.13
Qubic 1KWEG351S2
| URI | m2://inv/1KWEG351S2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q378234, Qubic (unknown). Also MathWorld Qubic
History
- 2026-10-26: add by m2/dev
Convergence of LKHI($\pi$) with aperiodicity 1KWHCG50GE
| URI | m2://inv/1KWHCG50GE |
|---|---|
| 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.27741#VI8T, Convergence of LKHI($\pi$) with aperiodicity (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bethany Rose Marsh 1KWHXSFWP6
| URI | m2://inv/1KWHXSFWP6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bethany Rose Marsh, Bethany Rose Marsh (topic). Also Wikidata Q7346047
History
- 2026-11-02: add by m2/dev
Example 1KWQ8QRV24
| URI | m2://inv/1KWQ8QRV24 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orlicz sequence space#9AWX, Example (example)
History
- 2026-11-02: add by m2/dev
1KX7G4R8PY 1KX7G4R8PY
| URI | m2://inv/1KX7G4R8PY |
|---|---|
| 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 2204.13401#C5OC (definition). In B8MJT0GGW8/e1, definition 4.11
History
- 2026-10-27: add by m2/v0.4.0
Skellam distribution 1KXPX6EBVV
| URI | m2://inv/1KXPX6EBVV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#38VI, Skellam distribution (definition)
History
- 2026-11-02: add by m2/dev
CHES 1KXRAFRSJ6
| URI | m2://inv/1KXRAFRSJ6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Association for Cryptologic Research#IU33, CHES (unknown)
History
- 2026-11-02: add by m2/dev
binomial bound 1KXRKPEB1J
| URI | m2://inv/1KXRKPEB1J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26134#M321, binomial bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
1KXWAAYK9M 1KXWAAYK9M
| URI | m2://inv/1KXWAAYK9M |
|---|---|
| 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.39706#748V (statement). In 79Y8JJMKP4/e1, proposition 8.2
History
- 2026-10-30: add by m2/v0.4.12
1KYFRBRB9N 1KYFRBRB9N
| URI | m2://inv/1KYFRBRB9N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01596#R480 (statement). In 40VTEP7WH8/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
1KYJABC4RG 1KYJABC4RG
| URI | m2://inv/1KYJABC4RG |
|---|---|
| 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.08028#IWWN (statement). In Z19XDA8QY9/e1, proposition 18
History
- 2026-10-29: add by m2/v0.4.10
1KYMK0T4D0 1KYMK0T4D0
| URI | m2://inv/1KYMK0T4D0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.00843#ZVQI (statement). In 1K7M5TD0M2/e1, theorem 6.3
History
- 2026-10-29: add by m2/v0.4.12
Kernel approximation to Riesz representer 1KYVS1BMS2
| URI | m2://inv/1KYVS1BMS2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.11076#RG4D, Kernel approximation to Riesz representer (definition). In T9HZXHTQBJ/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.6
Elisha Netanyahu 1KYX5N7NFH
| URI | m2://inv/1KYX5N7NFH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BSMP, Elisha Netanyahu (topic)
History
- 2026-11-02: add by m2/dev
1KYZ0ZQ19E 1KYZ0ZQ19E
| URI | m2://inv/1KYZ0ZQ19E |
|---|---|
| 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.21455#WC6W (statement). In CY0E87QDED/e1, lemma 1
History
- 2026-10-27: add by m2/v0.4.2
1KZ1ZE5WV1 1KZ1ZE5WV1
| URI | m2://inv/1KZ1ZE5WV1 |
|---|---|
| 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.37897#3ZCN (statement). In RBQ5FNCVNZ/e1, lemma B.5
History
- 2026-10-30: add by m2/v0.4.12
SigSpec 1KZ8R2MPBW
| URI | m2://inv/1KZ8R2MPBW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SigSpec, SigSpec (definition). Also Wikidata Q7511870
History
- 2026-11-02: add by m2/dev
1KZEZBNQ0J 1KZEZBNQ0J
| URI | m2://inv/1KZEZBNQ0J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34946#YGH8 (statement). In Y27BAB2BB4/e1, proposition 6.7
History
- 2026-10-30: add by m2/v0.4.12
Applications 1KZPTNKDFT
| URI | m2://inv/1KZPTNKDFT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random matrix#MWQ2, Applications (example)
History
- 2026-11-02: add by m2/dev
1KZT384F7Z 1KZT384F7Z
| URI | m2://inv/1KZT384F7Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/eta.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 38.13
History
- 2026-11-01: add by m2/v0.6.13
1KZWDP33PA 1KZWDP33PA
| URI | m2://inv/1KZWDP33PA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09812#CKVW (definition). In NWWKD8YX57/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.10
1KZWF6W0KC 1KZWF6W0KC
| URI | m2://inv/1KZWF6W0KC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.23797#4YMD (definition). In PZCA01JXVR/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.3.5
Noether inequality 1KZX0FJ1PD
| URI | m2://inv/1KZX0FJ1PD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noether inequality, Noether inequality (statement). Also Wikidata Q7047383
History
- 2026-11-02: add by m2/dev
1KZX8E35NV 1KZX8E35NV
| URI | m2://inv/1KZX8E35NV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06038#2E5N (example). In 4TJGTZWJVK/e1, example 5.1
History
- 2026-10-29: add by m2/v0.4.10
Antonio Auffinger 1KZZ3KBTX9
| URI | m2://inv/1KZZ3KBTX9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antonio Auffinger, Antonio Auffinger (topic). Also Wikidata Q58050839
History
- 2026-11-02: add by m2/dev