Inventory rows WK
The cards of the rows of the inventory whose ids start with WK. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
WK0387QY61 WK0387QY61
| URI | m2://inv/WK0387QY61 |
|---|---|
| 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.23803#H3X9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
WK08GFE91N WK08GFE91N
| URI | m2://inv/WK08GFE91N |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-29: add by m2/v0.4.10
WK09KRS5TZ WK09KRS5TZ
| URI | m2://inv/WK09KRS5TZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21060#RTUB (statement)
History
- 2026-11-02: add by m2/v0.6.18
WK0ERVKMRE WK0ERVKMRE
| URI | m2://inv/WK0ERVKMRE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 51-XX, 52-XX, 58-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.07728#QAAG (statement). In B1VVAKFCKZ/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.10
WK0FJX8YR4 WK0FJX8YR4
| URI | m2://inv/WK0FJX8YR4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises1-1.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
The tripod lemma WK0PBC6G3T
| URI | m2://inv/WK0PBC6G3T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19787#YGZF, The tripod lemma (statement). In A4VP56CT7B/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
bicategory WK0R0F9JQT
| URI | m2://inv/WK0R0F9JQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#JB4M, bicategory (definition)
History
- 2026-11-02: add by m2/dev
WK0SHKFZVH WK0SHKFZVH
| URI | m2://inv/WK0SHKFZVH |
|---|---|
| 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 2108.09796#VUQ1 (statement). In NAA7WFQN20/e1, theorem 7.1
History
- 2026-10-27: add by m2/v0.3.5
Distance of closest approach WK13ER2178
| URI | m2://inv/WK13ER2178 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distance of closest approach, Distance of closest approach (definition). Also Wikidata Q5282870
History
- 2026-11-02: add by m2/dev
theory of everything WK14PBEZHR
| URI | m2://inv/WK14PBEZHR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18359, theory of everything (unknown). Also nLab theory of everything
History
- 2026-10-26: add by m2/dev
The $C_3$-criterion on the unital WK163FBZW9
| URI | m2://inv/WK163FBZW9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#QO2N, The $C_3$-criterion on the unital (statement). In 9NVKKW8HDH/e1, lemma 2.39
History
- 2026-10-28: add by m2/v0.4.2
WK19DZ6V09 WK19DZ6V09
| URI | m2://inv/WK19DZ6V09 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07164#K8O8 (statement). In Q1XJ5VWE1N/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
Natural logarithm plus 1 WK1BFX2DMJ
| URI | m2://inv/WK1BFX2DMJ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#344N, Natural logarithm plus 1 (object)
History
- 2026-11-02: add by m2/dev
Variations of the magic square WK1BJX1JTW
| URI | m2://inv/WK1BJX1JTW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magic square#MY8C, Variations of the magic square (statement)
History
- 2026-11-02: add by m2/dev
WK1SWX2EFK WK1SWX2EFK
| URI | m2://inv/WK1SWX2EFK |
|---|---|
| Kind | statement |
| 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#NDJD (statement). In CGA36VE1C5/e1, corollary 12.2.1
History
- 2026-10-27: add by m2/v0.3.6
The stacking theorem WK1YV77TQZ
| URI | m2://inv/WK1YV77TQZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph pebbling#WDY8, The stacking theorem (statement)
History
- 2026-11-02: add by m2/dev
Gaussian-subcritical heat representation WK1ZS43NMR
| URI | m2://inv/WK1ZS43NMR |
|---|---|
| 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.05204#OM5Q, Gaussian-subcritical heat representation (statement). In ET0TQ8YF7Z/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
Grand Riemann hypothesis WK21D61GE1
| URI | m2://inv/WK21D61GE1 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grand Riemann hypothesis, Grand Riemann hypothesis (conjecture). Also Wikidata Q5595032
History
- 2026-11-02: add by m2/dev
WK26YYWT3P WK26YYWT3P
| URI | m2://inv/WK26YYWT3P |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-35 (proof). In N54F33XE07, proof, section B.5
History
- 2026-11-01: add by m2/v0.6.13
Sexual orientation and gender identity WK27GQAHZD
| URI | m2://inv/WK27GQAHZD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generation Z in the United States#9SGL, Sexual orientation and gender identity (statement)
History
- 2026-11-02: add by m2/dev
K-medoids WK2AAQT204
| URI | m2://inv/WK2AAQT204 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VYZL, K-medoids (definition)
History
- 2026-11-02: add by m2/dev
Control point WK2AEZS4YQ
| URI | m2://inv/WK2AEZS4YQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Control point (mathematics), Control point (definition). Also Wikidata Q16945110
History
- 2026-11-02: add by m2/dev
significant WK2B1ZWXZF
| URI | m2://inv/WK2B1ZWXZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#Y12B, significant (definition)
History
- 2026-11-02: add by m2/dev
Two dimensions, disconnected WK2B4ZK4TY
| URI | m2://inv/WK2B4ZK4TY |
|---|---|
| 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#F1Z7, Two dimensions, disconnected (example). In QA7EPHDTV2/e1, example 1.9
History
- 2026-10-27: add by m2/v0.4.0
M. Salah Baouendi WK2KQ5X3VM
| URI | m2://inv/WK2KQ5X3VM |
|---|---|
| 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#F5K6, M. Salah Baouendi (topic)
History
- 2026-11-02: add by m2/dev
WK2NMQNS0Q WK2NMQNS0Q
| URI | m2://inv/WK2NMQNS0Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-6 (exercise). In Y91XFCEVHQ, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
Klaus Wilhelm Roggenkamp WK2P49CA7S
| URI | m2://inv/WK2P49CA7S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klaus Wilhelm Roggenkamp, Klaus Wilhelm Roggenkamp (topic). Also Wikidata Q15433898
History
- 2026-11-02: add by m2/dev
Maurer–Cartan form WK2W5XS04J
| URI | m2://inv/WK2W5XS04J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#9RJY, Maurer–Cartan form (definition)
- wikipedia: Wikipedia List of differential geometry topics#RMCQ, Maurer–Cartan form (definition)
- wikipedia: Wikipedia List of things named after Élie Cartan#32PQ, Maurer–Cartan form (definition)
History
- 2026-11-02: add by m2/dev
WK31VT0VNP WK31VT0VNP
| URI | m2://inv/WK31VT0VNP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17626#UDNK (statement). In 54ATJS74DT/e1, corollary 2.15
History
- 2026-10-28: add by m2/v0.4.2
WK32RHNTY8 WK32RHNTY8
| URI | m2://inv/WK32RHNTY8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#eg-1 (example). In N54F33XE07, eg, section B.6
History
- 2026-11-01: add by m2/v0.6.13
Lamport signature WK35VVQXAQ
| URI | m2://inv/WK35VVQXAQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lamport signature, Lamport signature (definition). Also Wikidata Q603296
History
- 2026-11-02: add by m2/dev
Knuth–Morris–Pratt algorithm WK364NZRQ5
| URI | m2://inv/WK364NZRQ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knuth–Morris–Pratt algorithm, Knuth–Morris–Pratt algorithm (definition). Also Wikidata Q45285
History
- 2026-11-02: add by m2/dev
Burer, 2009 WK38R7AVB9
| URI | m2://inv/WK38R7AVB9 |
|---|---|
| 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.19684#XR3O, Burer, 2009 (statement). In 9KQC3ZT2SH/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
WK3BNZHNNP WK3BNZHNNP
| URI | m2://inv/WK3BNZHNNP |
|---|---|
| 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 2610.14236#QKTS (statement). In XEQD21EBTT/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Ruth–Aaron pair WK3KAPPZ6S
| URI | m2://inv/WK3KAPPZ6S |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3099291, Ruth–Aaron pair (concept). Also MathWorld Ruth-AaronPair
History
- 2026-10-26: add by m2/dev
Ulam WK3V73W7SF
| URI | m2://inv/WK3V73W7SF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#9XUF, Ulam (definition)
History
- 2026-11-02: add by m2/dev
Taguchi loss function WK3WSE4E2Q
| URI | m2://inv/WK3WSE4E2Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taguchi loss function, Taguchi loss function (definition). Also Wikidata Q7675336
History
- 2026-11-02: add by m2/dev
Glossary of functional analysis WK411VZE8H
| URI | m2://inv/WK411VZE8H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis, Glossary of functional analysis (topic). Also Wikidata Q97357646
History
- 2026-11-02: add by m2/dev
ML-DSA WK41QED0Q5
| URI | m2://inv/WK41QED0Q5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice-based cryptography#HKOI, ML-DSA (unknown)
History
- 2026-11-02: add by m2/dev
WK442JQWMY WK442JQWMY
| URI | m2://inv/WK442JQWMY |
|---|---|
| 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 2610.08594#4RDM (statement). In FEE70SSD96/e1, lemma 6.7
History
- 2026-10-29: add by m2/v0.4.10
List of Kappa Mu Epsilon chapters WK462PQTJY
| URI | m2://inv/WK462PQTJY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Kappa Mu Epsilon chapters, List of Kappa Mu Epsilon chapters (topic). Also Wikidata Q127039701
History
- 2026-11-02: add by m2/dev
David Aldous WK48X5E9V8
| URI | m2://inv/WK48X5E9V8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#DSSE, David Aldous (topic)
History
- 2026-11-02: add by m2/dev
WK4BSJ6S2K WK4BSJ6S2K
| URI | m2://inv/WK4BSJ6S2K |
|---|---|
| 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.07963#UOQX (statement). In HAGJKEZ1CK/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
John W. Pratt WK4EA5STR7
| URI | m2://inv/WK4EA5STR7 |
|---|---|
| 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#TZ2L, John W. Pratt (topic)
History
- 2026-11-02: add by m2/dev
Properties WK4EJ5HC21
| URI | m2://inv/WK4EJ5HC21 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shrikhande graph#PIZW, Properties (statement)
History
- 2026-11-02: add by m2/dev
WK4EXH642Y WK4EXH642Y
| URI | m2://inv/WK4EXH642Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20798#KXYL (statement)
History
- 2026-11-02: add by m2/v0.6.18
Fang Fuquan WK4P5QGWT3
| URI | m2://inv/WK4P5QGWT3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fang Fuquan, Fang Fuquan (topic). Also Wikidata Q51103194
History
- 2026-11-02: add by m2/dev
Zymotic theory of disease WK4ZJJ6J7A
| URI | m2://inv/WK4ZJJ6J7A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#5XIS, Zymotic theory of disease (unknown)
History
- 2026-11-02: add by m2/dev
WK547R6AEE WK547R6AEE
| URI | m2://inv/WK547R6AEE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 49-XX, 51-XX, 52-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.10801#8CUX (statement). In BWJS3H55WH/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.5
WK56ZFRV50 WK56ZFRV50
| URI | m2://inv/WK56ZFRV50 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05194#VD7L (statement). In 77R8YQ16JH/e1, corollary 3.1
History
- 2026-10-29: add by m2/v0.4.10
Symplectic Cutting and Gluing WK5AVZAW0T
| URI | m2://inv/WK5AVZAW0T |
|---|---|
| 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.03384#Z2WJ, Symplectic Cutting and Gluing (statement). In J55JTTKG84/e1, proposition 4.37
History
- 2026-10-29: add by m2/v0.4.12
WK5FT9837W WK5FT9837W
| URI | m2://inv/WK5FT9837W |
|---|---|
| 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.16181#XMU0 (statement). In RXQ64S1BWP/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
Additive conductor WK5VAYG6ET
| URI | m2://inv/WK5VAYG6ET |
|---|---|
| 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 2610.10583#G0VZ, Additive conductor (definition). In 5BZQS1KY9A/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.10
Élie Cartan WK5ZJXAW4H
| URI | m2://inv/WK5ZJXAW4H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#SFMD, Élie Cartan (topic)
History
- 2026-11-02: add by m2/dev
Virtual work principle for a deformable body WK60GKBGVQ
| URI | m2://inv/WK60GKBGVQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virtual work#CA9O, Virtual work principle for a deformable body (statement)
History
- 2026-11-02: add by m2/dev
Mark Krein WK66XDH657
| URI | m2://inv/WK66XDH657 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#93FS, Mark Krein (topic)
History
- 2026-11-02: add by m2/dev
Unicyclic graphs WK67H97K68
| URI | m2://inv/WK67H97K68 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34260#2WAQ, Unicyclic graphs (statement). In BBE69ZPVTF/e1, theorem 5.16
History
- 2026-10-30: add by m2/v0.4.12
WK682N0XSQ WK682N0XSQ
| URI | m2://inv/WK682N0XSQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00076#DYK8 (statement). In 2VQ90WEZKB/e1, proposition 6.2
History
- 2026-10-30: add by m2/v0.4.12
One-inclusion bound WK6JP812E1
| URI | m2://inv/WK6JP812E1 |
|---|---|
| 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.08151#VGP8, One-inclusion bound (statement). In A0HQ7ZGK3B/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
Applications WK6V2H22XQ
| URI | m2://inv/WK6V2H22XQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irresistible force paradox#YVDH, Applications (example)
History
- 2026-11-02: add by m2/dev
WK6ZT212P1 WK6ZT212P1
| URI | m2://inv/WK6ZT212P1 |
|---|---|
| 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.15631#J27A (statement). In AF465QFRGQ/e1, theorem IV.6
History
- 2026-10-28: add by m2/v0.4.2
WK70K1MTC3 WK70K1MTC3
| URI | m2://inv/WK70K1MTC3 |
|---|---|
| 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 2504.14383#VIIK (statement). In QD0X3XJS6T/e1, corollary 8.1
History
- 2026-10-27: add by m2/v0.3.5
WK7373GMA9 WK7373GMA9
| URI | m2://inv/WK7373GMA9 |
|---|---|
| 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 1009.2047#DST9 (statement). In F3MWRNBNED/e1, proposition 7.6
History
- 2026-10-27: add by m2/v0.3.5
Examples WK73V82JZF
| URI | m2://inv/WK73V82JZF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct sum#4VFM, Examples (example)
History
- 2026-11-02: add by m2/dev
Al-Taftazani WK75MB1CD5
| URI | m2://inv/WK75MB1CD5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Al-Taftazani, Al-Taftazani (topic). Also Wikidata Q764947
History
- 2026-11-02: add by m2/dev
Level-sets are Distributional Solutions WK7CFA8X21
| URI | m2://inv/WK7CFA8X21 |
|---|---|
| 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.21545#Q1OU, Level-sets are Distributional Solutions (statement). In 1Q3H75330M/e1, proposition 6.2
History
- 2026-10-27: add by m2/v0.4.2
identity, system, at a point WK7F2NM61D
| URI | m2://inv/WK7F2NM61D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.8/identity-system-at-a-point, identity, system, at a point (concept). In N54F33XE07, index, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
WK7TH87Q7E WK7TH87Q7E
| URI | m2://inv/WK7TH87Q7E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31269#LSX6 (definition). In ZPT9XCCAPQ/e1, definition 2.1.4
History
- 2026-10-31: add by m2/v0.5.6
The push-forward monad on $\QUS$ WK7TYZ376Q
| URI | m2://inv/WK7TYZ376Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.26270#XUNO, The push-forward monad on $\QUS$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
WK7VHAXGFN WK7VHAXGFN
| URI | m2://inv/WK7VHAXGFN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#prop-9 (statement). In E59CDZA4DP, prop, section 10.5.1
History
- 2026-11-01: add by m2/v0.6.13
Shintani's unit theorem WK80V4EXZH
| URI | m2://inv/WK80V4EXZH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shintani's unit theorem, Shintani's unit theorem (statement). Also Wikidata Q17000009
History
- 2026-11-02: add by m2/dev
Definition and properties WK8150RZNY
| URI | m2://inv/WK8150RZNY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projected normal distribution#FPIR, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
WK8214CJ2E WK8214CJ2E
| URI | m2://inv/WK8214CJ2E |
|---|---|
| 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 2610.19088#BJSN (definition). In 90QTB4CC31/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Exact variance-balanced DSM excess-risk identity WK82RB3J54
| URI | m2://inv/WK82RB3J54 |
|---|---|
| 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.05333#BM1W, Exact variance-balanced DSM excess-risk identity (statement). In N37WKFTR7Q/e1, proposition C.1
History
- 2026-10-29: add by m2/v0.4.10
The inherited eigenspace WK8313ECA0
| URI | m2://inv/WK8313ECA0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.14310#YZUP, The inherited eigenspace (statement). In 8GSG7024NW/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
WK8APVWABS WK8APVWABS
| URI | m2://inv/WK8APVWABS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20458#L8QL (statement)
History
- 2026-11-02: add by m2/v0.6.18
Noether's second theorem WK8PYA072W
| URI | m2://inv/WK8PYA072W |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 49-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q10369454, Noether's second theorem (statement). Also Wikidata Q10369454
- thousand_plus: thousand_plus Q10369454, Noether's second theorem (statement). Also Wikidata Q10369454, Wikipedia Noether's second theorem
- wikipedia: Wikipedia Noether's second theorem, Noether's second theorem (statement). Also Wikidata Q10369454
History
- 2026-10-26: add by m2/dev
Von Neumann paradox in the Euclidean plane WK8V0ATKCZ
| URI | m2://inv/WK8V0ATKCZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach–Tarski paradox#C8QU, Von Neumann paradox in the Euclidean plane (statement)
History
- 2026-11-02: add by m2/dev
WK8V1CD9ND WK8V1CD9ND
| URI | m2://inv/WK8V1CD9ND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14267#SNCJ (statement). In 9YTGFNA004/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
WK8XEWN93N WK8XEWN93N
| URI | m2://inv/WK8XEWN93N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2609.27798#LA3S (statement)
History
- 2026-11-01: add by m2/v0.6.15
WK90YNQB5C WK90YNQB5C
| URI | m2://inv/WK90YNQB5C |
|---|---|
| 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#YFCX (statement). In ZZER8ZBSCR/e1, lemma 6.26
History
- 2026-10-29: add by m2/v0.4.12
WK95KDX2YF WK95KDX2YF
| URI | m2://inv/WK95KDX2YF |
|---|---|
| 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.17547#DBZ4 (statement). In XJ59TDP4HA/e1, fact 4.7
History
- 2026-10-28: add by m2/v0.4.2
Characteristically simple group WK98FA7YNV
| URI | m2://inv/WK98FA7YNV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristically simple group, Characteristically simple group (definition). Also Wikidata Q3117616
History
- 2026-11-02: add by m2/dev
Topological game WK9D6V0KMJ
| URI | m2://inv/WK9D6V0KMJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological game, Topological game (definition). Also Wikidata Q7825035
History
- 2026-11-02: add by m2/dev
Crispin Nash-Williams WK9D8M4SP3
| URI | m2://inv/WK9D8M4SP3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crispin Nash-Williams, Crispin Nash-Williams (topic). Also Wikidata Q3002796
History
- 2026-11-02: add by m2/dev
WK9SBZ943R WK9SBZ943R
| URI | m2://inv/WK9SBZ943R |
|---|---|
| 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 2610.16746#BRKD (statement). In M00TA3JJM6/e1, corollary 2.2
History
- 2026-10-28: add by m2/v0.4.2
Fibonacci word WK9XYMT8CZ
| URI | m2://inv/WK9XYMT8CZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#YPL4, Fibonacci word (definition)
History
- 2026-11-02: add by m2/dev
WKA46TTVVF WKA46TTVVF
| URI | m2://inv/WKA46TTVVF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-addmult.ptx#exercise-9 (exercise). In Y91XFCEVHQ, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Theorem WKA60G8TC8
| URI | m2://inv/WKA60G8TC8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BCMP network#MITY, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Information flow diagram WKAAQT9E1B
| URI | m2://inv/WKAAQT9E1B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#DK96, Information flow diagram (unknown)
History
- 2026-11-02: add by m2/dev
cup product WKACZX62DG
| URI | m2://inv/WKACZX62DG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Cup product JX47MS1R1H |
Mentions
- wikidata: Wikidata Q3388699, cup product (unknown). Also MathWorld CupProduct, nLab cup product
- wikipedia: Wikipedia Cup product, Cup product (definition). Also Wikidata Q3388699
History
- 2026-10-26: add by m2/dev
WKAHM74KAG WKAHM74KAG
| URI | m2://inv/WKAHM74KAG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#thm:FTCv2 (statement). In E59CDZA4DP, thm, section 8.3.2
History
- 2026-11-01: add by m2/v0.6.13
WKAJM1ADVC WKAJM1ADVC
| URI | m2://inv/WKAJM1ADVC |
|---|---|
| Kind | definition |
| 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 2308.05715#LISJ (definition). In FC0SB9JFWH/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.5
Ambient construction WKAJXQSB3R
| URI | m2://inv/WKAJXQSB3R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#0ENI, Ambient construction (definition)
History
- 2026-11-02: add by m2/dev
Period-compatible Levi-flats WKAPE0EW0P
| URI | m2://inv/WKAPE0EW0P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.12497#KLAN, Period-compatible Levi-flats (statement). In Z0SAF18JPP/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
Mathematical and theoretical biology WKB3PEVGKJ
| URI | m2://inv/WKB3PEVGKJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical and theoretical biology, Mathematical and theoretical biology (topic). Also Wikidata Q751611
History
- 2026-11-02: add by m2/dev
WKB7S5YQM2 WKB7S5YQM2
| URI | m2://inv/WKB7S5YQM2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31615#1MNA (definition). In TNV6XTEWEG/e1, definition 1.3
History
- 2026-10-31: add by m2/v0.5.6
Appeal to motive WKBDJDR2PZ
| URI | m2://inv/WKBDJDR2PZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Appeal to motive, Appeal to motive (definition). Also Wikidata Q2975446
History
- 2026-11-02: add by m2/dev
Applications WKBN6D1723
| URI | m2://inv/WKBN6D1723 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier–Bessel series#CD8D, Applications (example)
History
- 2026-11-02: add by m2/dev
WKBP2XKQYC WKBP2XKQYC
| URI | m2://inv/WKBP2XKQYC |
|---|---|
| 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 2106.01660#622I (statement). In DY520CF58X/e1, corollary 11
History
- 2026-10-27: add by m2/v0.3.5
Likelihood-trained affine flows give Gaussian and linear Fisher information WKBQ6D87JJ
| URI | m2://inv/WKBQ6D87JJ |
|---|---|
| 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.31544#Q6AJ, Likelihood-trained affine flows give Gaussian and linear Fisher information (statement). In TX449S1VZV/e1, proposition B.3
History
- 2026-10-31: add by m2/v0.5.6
WKBXFR14VE WKBXFR14VE
| URI | m2://inv/WKBXFR14VE |
|---|---|
| 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.33015#UONZ (statement). In W6Y6NPK648/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
WKBYJFNBVZ WKBYJFNBVZ
| URI | m2://inv/WKBYJFNBVZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23424#ZYTV (statement)
History
- 2026-11-02: add by m2/v0.6.17
Divine fallacy WKC0PSQGPA
| URI | m2://inv/WKC0PSQGPA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#5NF0, Divine fallacy (definition)
History
- 2026-11-02: add by m2/dev
WKC1HEATHS WKC1HEATHS
| URI | m2://inv/WKC1HEATHS |
|---|---|
| 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.23327#8FBJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
WKC6BHWPF2 WKC6BHWPF2
| URI | m2://inv/WKC6BHWPF2 |
|---|---|
| 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.26477#ETQQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Klaus Fredenhagen WKC6P7VPP8
| URI | m2://inv/WKC6P7VPP8 |
|---|---|
| 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 Q1745095, Klaus Fredenhagen (unknown). Also nLab Klaus Fredenhagen
History
- 2026-10-26: add by m2/dev
Full-knowledge updates for $m=1$ WKC84PB0NN
| URI | m2://inv/WKC84PB0NN |
|---|---|
| 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#MOLL, Full-knowledge updates for $m=1$ (statement). In B29M4E6KGC/e1, corollary H.1
History
- 2026-10-28: add by m2/v0.4.2
Primordial element WKCH9789QA
| URI | m2://inv/WKCH9789QA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primordial element (algebra), Primordial element (definition). Also Wikidata Q7243620
History
- 2026-11-02: add by m2/dev
Wladimir Seidel WKCSEXSHTH
| URI | m2://inv/WKCSEXSHTH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wladimir Seidel, Wladimir Seidel (topic). Also Wikidata Q535715
History
- 2026-11-02: add by m2/dev
WKCSKFS2R7 WKCSKFS2R7
| URI | m2://inv/WKCSKFS2R7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop:inertiainvariant (statement). In VNMV985MXX, prop, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
WKD05DF8HT WKD05DF8HT
| URI | m2://inv/WKD05DF8HT |
|---|---|
| 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.20911#THKS (statement). In FF3MV70E7Z/e1, proposition 3.8
History
- 2026-10-27: add by m2/v0.4.2
Swan Subgroups WKD2VFBWSD
| URI | m2://inv/WKD2VFBWSD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22560#IQWF, Swan Subgroups (definition)
History
- 2026-11-02: add by m2/v0.6.17
WKD48GWB1G WKD48GWB1G
| URI | m2://inv/WKD48GWB1G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/pr-relations.tex#prop-2 (statement). In PKGMM3P5QY, prop, section 3.31
History
- 2026-11-01: add by m2/v0.6.13
WKD6ZS7X49 WKD6ZS7X49
| URI | m2://inv/WKD6ZS7X49 |
|---|---|
| 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 2508.07340#7QP9 (statement). In 2HSB99DW4M/e1, lemma 4.8
History
- 2026-10-27: add by m2/v0.3.6
Lovett, Claim 1.6 WKD7KD68WJ
| URI | m2://inv/WKD7KD68WJ |
|---|---|
| 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.33733#W31L, Lovett, Claim 1.6 (statement). In QBAP8C82FG/e1, lemma 14
History
- 2026-10-30: add by m2/v0.4.12
Dennis Johnson WKDCK9AQ83
| URI | m2://inv/WKDCK9AQ83 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dennis Johnson (composer), Dennis Johnson (topic). Also Wikidata Q2674647
History
- 2026-11-02: add by m2/dev
WKDCR4T5X4 WKDCR4T5X4
| URI | m2://inv/WKDCR4T5X4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-20 (proof). In N54F33XE07, proof, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Bertrand's test WKDMW0HRHF
| URI | m2://inv/WKDMW0HRHF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1789454, Bertrand's test (unknown). Also MathWorld BertrandsTest
History
- 2026-10-26: add by m2/dev
WKDR35P56S WKDR35P56S
| URI | m2://inv/WKDR35P56S |
|---|---|
| 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.26386#QODF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example 4 WKDT5Y3S1Q
| URI | m2://inv/WKDT5Y3S1Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlation does not imply causation#E2AD, Example 4 (example)
History
- 2026-11-02: add by m2/dev
WKDZQB7SYX WKDZQB7SYX
| URI | m2://inv/WKDZQB7SYX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27800#G4TR (statement)
History
- 2026-11-01: add by m2/v0.6.15
WKEA7YQZJF WKEA7YQZJF
| URI | m2://inv/WKEA7YQZJF |
|---|---|
| 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.32906#0DCV (statement). In R589MXXHX4/e1, lemma 2.2
History
- 2026-10-31: add by m2/v0.5.6
Bass number WKECP1T9C8
| URI | m2://inv/WKECP1T9C8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#TA17, Bass number (definition)
History
- 2026-11-02: add by m2/dev
Mobility formula WKEJQBF426
| URI | m2://inv/WKEJQBF426 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degrees of freedom (mechanics)#TXNJ, Mobility formula (statement)
History
- 2026-11-02: add by m2/dev
Radiosity WKETEXZ1SJ
| URI | m2://inv/WKETEXZ1SJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#9719, Radiosity (unknown)
History
- 2026-11-02: add by m2/dev
Relation between the unconditional and count-conditional criteria WKEZ9AN8WH
| URI | m2://inv/WKEZ9AN8WH |
|---|---|
| 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.31607#MRJ0, Relation between the unconditional and count-conditional criteria (statement). In H9X9WZ17TT/e1, proposition 14
History
- 2026-10-31: add by m2/v0.5.6
Random lattice-permutation model WKF7XQM5AV
| URI | m2://inv/WKF7XQM5AV |
|---|---|
| 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#3ZA8, Random lattice-permutation model (definition)
History
- 2026-11-01: add by m2/v0.6.15
WKF9GWQC77 WKF9GWQC77
| URI | m2://inv/WKF9GWQC77 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.02111#HCHF (statement). In NC5ZRF6F8N/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.12
WKF9QVV4J3 WKF9QVV4J3
| URI | m2://inv/WKF9QVV4J3 |
|---|---|
| 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 0907.5545#59AQ (statement). In K3GWCTV5YE/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Margaret H. Wright WKFDSKREKX
| URI | m2://inv/WKFDSKREKX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Q2F4, Margaret H. Wright (unknown)
- wikipedia: Wikipedia List of numerical analysis topics#VEPG, Margaret H. Wright (unknown)
History
- 2026-11-02: add by m2/dev
manifold WKFF962V9Y
| URI | m2://inv/WKFF962V9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q203920, manifold (unknown). Also EoM Manifold, MathWorld Manifold
- wikipedia: Wikipedia Manifold, Manifold (definition). Also Wikidata Q203920
History
- 2026-10-26: add by m2/dev
WKFVS44M9P WKFVS44M9P
| URI | m2://inv/WKFVS44M9P |
|---|---|
| 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.30018#88WG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Higher-dimensional algebra WKG0B5WG1D
| URI | m2://inv/WKG0B5WG1D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Higher-dimensional algebra, Higher-dimensional algebra (topic). Also Wikidata Q17029637
History
- 2026-11-02: add by m2/dev
Vanishing energy in short windows WKG30C6EM1
| URI | m2://inv/WKG30C6EM1 |
|---|---|
| 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.12271#OHZ6, Vanishing energy in short windows (statement). In WGCET6KSQ7/e1, lemma 38
History
- 2026-10-27: add by m2/v0.3.6
WKG4DXB6RB WKG4DXB6RB
| URI | m2://inv/WKG4DXB6RB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15454#SMH3 (statement). In RGQZVNXWM5/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
Exponential minus 1 WKGDTCGS8V
| URI | m2://inv/WKGDTCGS8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#PCSX, Exponential minus 1 (definition)
History
- 2026-11-02: add by m2/dev
WKGF8PY64K WKGF8PY64K
| URI | m2://inv/WKGF8PY64K |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/fourier.tex#prob:arrow_lemma (exercise). In RZP28ERRZV, problem, section 59.8
History
- 2026-11-01: add by m2/v0.6.13
decoration WKGGPNCSM7
| URI | m2://inv/WKGGPNCSM7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#4UJZ, decoration (definition). In PCAS8S14J6/e1, definition 3.10
History
- 2026-10-31: add by m2/v0.5.6
WKGHBD40ZR WKGHBD40ZR
| URI | m2://inv/WKGHBD40ZR |
|---|---|
| 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.07259#TF4L (statement). In XMR1TTDSPG/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
WKGMVK8X7T WKGMVK8X7T
| URI | m2://inv/WKGMVK8X7T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00135#WNN3 (definition). In PXWXV92SJY/e1, definition 2.4
History
- 2026-10-30: add by m2/v0.4.12
Structural stability of the infinite product WKGPEG30TP
| URI | m2://inv/WKGPEG30TP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.04179#N4MA, Structural stability of the infinite product (statement). In D64RQ09KBP/e1, theorem 2.9
History
- 2026-10-29: add by m2/v0.4.12
Holomorphic tangent bundle WKGPK35H0R
| URI | m2://inv/WKGPK35H0R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holomorphic tangent bundle, Holomorphic tangent bundle (definition). Also Wikidata Q5884172
History
- 2026-11-02: add by m2/dev
WKGR1ES4JF WKGR1ES4JF
| URI | m2://inv/WKGR1ES4JF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27152#OPKJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
WKGRCNFV1K WKGRCNFV1K
| URI | m2://inv/WKGRCNFV1K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31365#WLAX (statement). In 19GENJ3NCP/e1, proposition 6.4
History
- 2026-10-31: add by m2/v0.5.6
Strong monotonicity of $G_s(z)$ WKGVF19DHQ
| URI | m2://inv/WKGVF19DHQ |
|---|---|
| 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 2411.02694#V7NP, Strong monotonicity of $G_s(z)$ (statement). In A8EK2ARN5Q/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.4.0
Śrīpati WKGZ570NQZ
| URI | m2://inv/WKGZ570NQZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#DC3J, Śrīpati (unknown)
History
- 2026-11-02: add by m2/dev
WKH1KAGAGK WKH1KAGAGK
| URI | m2://inv/WKH1KAGAGK |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-avoiding walk#6APF (problem)
History
- 2026-11-02: add by m2/dev
Semisimple representation WKH2F7HP0H
| URI | m2://inv/WKH2F7HP0H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semisimple representation, Semisimple representation (definition). Also Wikidata Q81376506
History
- 2026-11-02: add by m2/dev
Vector equation WKH2W41VJG
| URI | m2://inv/WKH2W41VJG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System of linear equations#4GSE, Vector equation (unknown)
History
- 2026-11-02: add by m2/dev
Philippe Maurice Tondeur WKH4FMB0Y8
| URI | m2://inv/WKH4FMB0Y8 |
|---|---|
| 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 Q15444540, Philippe Maurice Tondeur (unknown). Also nLab Philippe Tondeur
History
- 2026-10-26: add by m2/dev
Definition WKH9YBQR4H
| URI | m2://inv/WKH9YBQR4H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wave front set#BGLY, Definition (definition)
History
- 2026-11-02: add by m2/dev
WKHEH6A1SJ WKHEH6A1SJ
| URI | m2://inv/WKHEH6A1SJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25188#1ZM5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
WKHXEC6Y7M WKHXEC6Y7M
| URI | m2://inv/WKHXEC6Y7M |
|---|---|
| Kind | definition |
| 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 2504.00267#VDQE (definition). In 38XJWDZ2PH/e1, definition 3.6
History
- 2026-10-27: add by m2/v0.3.5
WKJ21X6FEQ WKJ21X6FEQ
| URI | m2://inv/WKJ21X6FEQ |
|---|---|
| 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#DKFP (statement). In 3KTZ6Z615H/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Approximate sign WKJ5W1B5BZ
| URI | m2://inv/WKJ5W1B5BZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equals sign#MPE7, Approximate sign (unknown)
History
- 2026-11-02: add by m2/dev
Variations WKJ76GV60F
| URI | m2://inv/WKJ76GV60F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compatible system of ℓ-adic representations#WZN4, Variations (statement)
History
- 2026-11-02: add by m2/dev
Local power of the unit-root test WKJAYZS4DR
| URI | m2://inv/WKJAYZS4DR |
|---|---|
| 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.19421#DQNV, Local power of the unit-root test (statement). In 3S1VFGYWQE/e1, theorem 7
History
- 2026-10-28: add by m2/v0.4.2
orthogonal complement WKJGAZNE75
| URI | m2://inv/WKJGAZNE75 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/6.2.2/orthogonal-complement, orthogonal complement (concept). In 649HGZKE96, index, section 6.2.2
History
- 2026-11-01: add by m2/v0.6.13
Precise statement WKJGFWVNV2
| URI | m2://inv/WKJGFWVNV2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardy–Ramanujan theorem#VSM3, Precise statement (statement)
History
- 2026-11-02: add by m2/dev
Algorithm WKJT058QTM
| URI | m2://inv/WKJT058QTM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yo-yo (algorithm)#VENG, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Examples WKKCQMQDX7
| URI | m2://inv/WKKCQMQDX7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Filtered algebra#7GSF, Examples (example)
History
- 2026-11-02: add by m2/dev
Giuseppe Belli WKKCW1B916
| URI | m2://inv/WKKCW1B916 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#K5DI, Giuseppe Belli (unknown)
History
- 2026-11-02: add by m2/dev
WKKCYSJY16 WKKCYSJY16
| URI | m2://inv/WKKCYSJY16 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#proof-31 (proof). In E59CDZA4DP, proof, section 1.8.3
History
- 2026-11-01: add by m2/v0.6.13
WKKF8RNCW6 WKKF8RNCW6
| URI | m2://inv/WKKF8RNCW6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-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.23884#JVKO (statement)
History
- 2026-11-02: add by m2/v0.6.17
Torrence Parsons WKKH0Z68K2
| URI | m2://inv/WKKH0Z68K2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BTDV, Torrence Parsons (topic)
History
- 2026-11-02: add by m2/dev
Statement WKKHCA7FB7
| URI | m2://inv/WKKHCA7FB7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Azuma's inequality#BARC, Statement (statement)
History
- 2026-11-02: add by m2/dev
List of theories WKKM2E51YZ
| URI | m2://inv/WKKM2E51YZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5QQM, List of theories (definition)
History
- 2026-11-02: add by m2/dev
Dowker's theorem WKKN490K5A
| URI | m2://inv/WKKN490K5A |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-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.15099#GMJT, Dowker's theorem (example). In PF5JJ9DS8Q/e1, example 6.3.5
History
- 2026-10-28: add by m2/v0.4.2
Generalized estimating equation WKKNFB15CG
| URI | m2://inv/WKKNFB15CG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized estimating equation, Generalized estimating equation (definition). Also Wikidata Q5532474
History
- 2026-11-02: add by m2/dev
Definition WKKR1A85A0
| URI | m2://inv/WKKR1A85A0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonious set#JXY4, Definition (definition)
History
- 2026-11-02: add by m2/dev
WKKXK1XAF5 WKKXK1XAF5
| URI | m2://inv/WKKXK1XAF5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#88W1 (statement). In KZ71GXT2B0/e1, corollary 5.5
History
- 2026-10-28: add by m2/v0.4.2
WKKY8B6RP3 WKKY8B6RP3
| URI | m2://inv/WKKY8B6RP3 |
|---|---|
| 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 2212.11038#EH98 (statement). In M3E3ARMJXK/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.3.5
plump, ordinal WKM13FZM10
| URI | m2://inv/WKM13FZM10 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/plump-ordinal, plump, ordinal (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
Truncated 6-simplexes WKM5PBSNNV
| URI | m2://inv/WKM5PBSNNV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated 6-simplexes, Truncated 6-simplexes (definition). Also Wikidata Q7847862
History
- 2026-11-02: add by m2/dev
inductive, hypothesis WKM9H7ASN0
| URI | m2://inv/WKM9H7ASN0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.9/inductive-hypothesis, inductive, hypothesis (concept). In N54F33XE07, index, section A.9
History
- 2026-11-01: add by m2/v0.6.13
Entscheidungsproblem WKMGYX84CN
| URI | m2://inv/WKMGYX84CN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#QPW5, Entscheidungsproblem (definition)
- wikipedia: Wikipedia List of computability and complexity topics#7A63, Entscheidungsproblem (definition)
History
- 2026-11-02: add by m2/dev
Hirsch–Plotkin radical WKMK9FJAYB
| URI | m2://inv/WKMK9FJAYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hirsch–Plotkin radical, Hirsch–Plotkin radical (definition). Also Wikidata Q16944859
History
- 2026-11-02: add by m2/dev
WKMKZHX9VD WKMKZHX9VD
| URI | m2://inv/WKMKZHX9VD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.17009#7CW5 (statement). In PESAKD6SSW/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.6
Percy Alexander MacMahon WKMSMPYJCC
| URI | m2://inv/WKMSMPYJCC |
|---|---|
| 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#5G9Y, Percy Alexander MacMahon (unknown)
History
- 2026-11-02: add by m2/dev
Três Pontas WKMV9HEFRH
| URI | m2://inv/WKMV9HEFRH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#I0O4, Três Pontas (unknown)
History
- 2026-11-02: add by m2/dev
Iterative procedure WKMY0E65ZF
| URI | m2://inv/WKMY0E65ZF |
|---|---|
| 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.15460#ILXS, Iterative procedure (statement). In T2Z3D2VQ9B/e1, lemma 5.8
History
- 2026-10-28: add by m2/v0.4.2
Algorithms WKMZ86YPKW
| URI | m2://inv/WKMZ86YPKW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cycle decomposition (graph theory)#OPIM, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
mood WKN5NX0Y5M
| URI | m2://inv/WKN5NX0Y5M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#0B92, mood (definition)
History
- 2026-11-02: add by m2/dev
Generalizations WKNGPQKCVB
| URI | m2://inv/WKNGPQKCVB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian elimination#FVPH, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
WKNGQJQNKD WKNGQJQNKD
| URI | m2://inv/WKNGQJQNKD |
|---|---|
| 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#DO3G (statement). In 8KKYZ4NKT2/e1, proposition 5
History
- 2026-10-27: add by m2/v0.4.2
WKNHD0BZDF WKNHD0BZDF
| URI | m2://inv/WKNHD0BZDF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34852#3K1V (statement). In TZXEMCBK5V/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
WKNZ3GN3AJ WKNZ3GN3AJ
| URI | m2://inv/WKNZ3GN3AJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.01057#G52Y (definition). In 69QFBXJENW/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Flux, A. William WKP0VDQKVA
| URI | m2://inv/WKP0VDQKVA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#9RWQ, Flux, A. William (topic)
History
- 2026-11-02: add by m2/dev
WKP6HQJ65J WKP6HQJ65J
| URI | m2://inv/WKP6HQJ65J |
|---|---|
| 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.06458#I7C0 (statement). In 4X93XG8NMD/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
WKP7QA38DZ WKP7QA38DZ
| URI | m2://inv/WKP7QA38DZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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 1209.3562#BUCE (definition). In KZH1DCS18C/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
WKPBS2HPN3 WKPBS2HPN3
| URI | m2://inv/WKPBS2HPN3 |
|---|---|
| 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.25477#R6WU (definition)
History
- 2026-11-01: add by m2/v0.6.15
WKPMZRKH12 WKPMZRKH12
| URI | m2://inv/WKPMZRKH12 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14689#0Y9B (statement). In 6BKMNJYNPJ/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
WKPT3ZQQ4T WKPT3ZQQ4T
| URI | m2://inv/WKPT3ZQQ4T |
|---|---|
| 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.09721#NA3U (statement). In 7MZ1MS2N11/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Dirac delta function WKPW0V31BK
| URI | m2://inv/WKPW0V31BK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#U5OE, Dirac delta function (definition)
- wikipedia: Wikipedia List of Fourier analysis topics#2UF2, Dirac delta function (definition)
History
- 2026-11-02: add by m2/dev
Recursive definition WKPW71RE0X
| URI | m2://inv/WKPW71RE0X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recursive definition, Recursive definition (definition). Also Wikidata Q2466486
History
- 2026-11-02: add by m2/dev
WKPXQ5X7FP WKPXQ5X7FP
| URI | m2://inv/WKPXQ5X7FP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.10505#5WXY (statement). In JW8HH6EPG2/e1, proposition 4.11
History
- 2026-10-29: add by m2/v0.4.10
Semantic context well-formedness WKPY4RH7TA
| URI | m2://inv/WKPY4RH7TA |
|---|---|
| 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 2610.21131#62S6, Semantic context well-formedness (definition). In CPYWHRTPKC/e1, definition 7.17
History
- 2026-10-27: add by m2/v0.4.2
Bogomolov–Miyaoka–Yau inequality WKPYPZD9EY
| URI | m2://inv/WKPYPZD9EY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bogomolov–Miyaoka–Yau inequality, Bogomolov–Miyaoka–Yau inequality (statement). Also Wikidata Q4937705
History
- 2026-11-02: add by m2/dev
Properties WKQ15JR8HC
| URI | m2://inv/WKQ15JR8HC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hajek projection#8D3D, Properties (statement)
History
- 2026-11-02: add by m2/dev
Edward V. Shuryak WKQ1NCHNQ6
| URI | m2://inv/WKQ1NCHNQ6 |
|---|---|
| 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 Q1290436, Edward V. Shuryak (unknown). Also nLab Edward Shuryak
History
- 2026-10-26: add by m2/dev
computation rule, for coproduct type WKQ1Z6QTQ7
| URI | m2://inv/WKQ1Z6QTQ7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.7/computation-rule-for-coproduct-type, computation rule, for coproduct type (concept). In N54F33XE07, index, section A.7
History
- 2026-11-01: add by m2/v0.6.13
coincidence, of Cauchy approximations WKQ2XNCGFD
| URI | m2://inv/WKQ2XNCGFD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3/coincidence-of-cauchy-approximations, coincidence, of Cauchy approximations (concept). In N54F33XE07, index, section B.3
History
- 2026-11-01: add by m2/v0.6.13
Discrete alphabets WKQ34195F4
| URI | m2://inv/WKQ34195F4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28297#JVGT, Discrete alphabets (example)
History
- 2026-11-01: add by m2/v0.6.15
List of recreational number theory topics WKQ37Q6156
| URI | m2://inv/WKQ37Q6156 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics, List of recreational number theory topics (topic). Also Wikidata Q1440948
History
- 2026-11-02: add by m2/dev
World Programming System WKQ8YYTP3H
| URI | m2://inv/WKQ8YYTP3H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#QI7H, World Programming System (definition)
History
- 2026-11-02: add by m2/dev
Super-additivity of additive capacity WKQRZGSDPH
| URI | m2://inv/WKQRZGSDPH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26619#N2BE, Super-additivity of additive capacity (statement)
History
- 2026-11-01: add by m2/v0.6.15
WKQT3DK7RS WKQT3DK7RS
| URI | m2://inv/WKQT3DK7RS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-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.14060#T4JT (statement). In X47RYAZF8P/e1, lemma 10.16
History
- 2026-10-28: add by m2/v0.4.2
matrix form and sparsity WKR607HTKJ
| URI | m2://inv/WKR607HTKJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39511#YEZ1, matrix form and sparsity (statement). In 6W9H24A378/e1, corollary 2
History
- 2026-10-30: add by m2/v0.4.12
Johannes von Gmunden WKR8D1E8W3
| URI | m2://inv/WKR8D1E8W3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#ZFYX, Johannes von Gmunden (unknown)
History
- 2026-11-02: add by m2/dev
Bounded subgradients WKRA6ZS7ER
| URI | m2://inv/WKRA6ZS7ER |
|---|---|
| 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.12713#K31E, Bounded subgradients (statement). In F14A5HX20Q/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Sylvester graph WKRBDR2FN8
| URI | m2://inv/WKRBDR2FN8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115536, Sylvester graph (unknown). Also House of Graphs 1336, MathWorld SylvesterGraph
- wikipedia: Wikipedia Sylvester graph, Sylvester graph (definition). Also Wikidata Q3115536
History
- 2026-10-26: add by m2/dev
Piecewise-constant valuation WKRBQQAZRE
| URI | m2://inv/WKRBQQAZRE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in fair division#LH22, Piecewise-constant valuation (unknown)
History
- 2026-11-02: add by m2/dev
Édith Mourier WKRG92M193
| URI | m2://inv/WKRG92M193 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Édith Mourier, Édith Mourier (topic). Also Wikidata Q102217375
History
- 2026-11-02: add by m2/dev
Monotone Functions in $\R^d$ WKRXV6C4P0
| URI | m2://inv/WKRXV6C4P0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20998#BWBA, Monotone Functions in $\R^d$ (statement)
History
- 2026-11-02: add by m2/v0.6.18
label=prop:disconnected-noncompact,restate=propDisconnected WKRYAPX38D
| URI | m2://inv/WKRYAPX38D |
|---|---|
| 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#FXK5, label=prop:disconnected-noncompact,restate=propDisconnected (statement). In GKM19DHQTM/e1, proposition 4.7
History
- 2026-10-29: add by m2/v0.4.10
Feasibility from the observed points WKRZ22SYST
| URI | m2://inv/WKRZ22SYST |
|---|---|
| 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.38375#L999, Feasibility from the observed points (statement). In CHSB1TGAKB/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Sugeno integral WKS3M548D6
| URI | m2://inv/WKS3M548D6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sugeno integral, Sugeno integral (definition). Also Wikidata Q7635090
History
- 2026-11-02: add by m2/dev
Bimodule homomorphism WKSD8PV2T0
| URI | m2://inv/WKSD8PV2T0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bimodule#5YCJ, Bimodule homomorphism (unknown)
History
- 2026-11-02: add by m2/dev
Cyclotruncated 5-simplex honeycomb WKSHE85Q27
| URI | m2://inv/WKSHE85Q27 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclotruncated 5-simplex honeycomb, Cyclotruncated 5-simplex honeycomb (definition). Also Wikidata Q7847858
History
- 2026-11-02: add by m2/dev
Definition WKSHG0Y8WH
| URI | m2://inv/WKSHG0Y8WH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heyting field#B1MV, Definition (definition)
History
- 2026-11-02: add by m2/dev
WKSQVC1VK3 WKSQVC1VK3
| URI | m2://inv/WKSQVC1VK3 |
|---|---|
| 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.21600#A5US (statement). In EGAXXGHQNK/e1, lemma 3
History
- 2026-10-27: add by m2/v0.4.2
Definitions WKSTPRK8TY
| URI | m2://inv/WKSTPRK8TY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holonomy#800Y, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Quasi-analytic function WKSVHPKV43
| URI | m2://inv/WKSVHPKV43 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7269437, Denjoy–Carleman theorem (statement). Also Wikidata Q7269437
- thousand_plus: thousand_plus Q7269437, Denjoy–Carleman theorem (statement). Also Wikidata Q7269437, Wikipedia Denjoy–Carleman theorem
- wikipedia: Wikipedia Quasi-analytic function, Quasi-analytic function (definition). Also Wikidata Q7269437
History
- 2026-10-26: add by m2/dev
WKSZ60AGQ3 WKSZ60AGQ3
| URI | m2://inv/WKSZ60AGQ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InfinitudeOfPrimes.tex#thm:infprimes (statement). In P1C114YBXG, theorem, section D
History
- 2026-11-01: add by m2/v0.6.13
WKV2AD03V0 WKV2AD03V0
| URI | m2://inv/WKV2AD03V0 |
|---|---|
| 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.30363#5JNN (statement). In QHBBP180QJ/e1, proposition 15
History
- 2026-10-31: add by m2/v0.5.6
WKVAP8PDE8 WKVAP8PDE8
| URI | m2://inv/WKVAP8PDE8 |
|---|---|
| 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 2502.02777#Y042 (statement). In D8T5GDXERW/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
Ranald Roderick Macdonald WKVAPW9V1V
| URI | m2://inv/WKVAPW9V1V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ranald Roderick Macdonald, Ranald Roderick Macdonald (topic). Also Wikidata Q7290720
History
- 2026-11-02: add by m2/dev
Applications WKVB2467Q8
| URI | m2://inv/WKVB2467Q8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indefinite sum#A54I, Applications (example)
History
- 2026-11-02: add by m2/dev
WKVJ59T72R WKVJ59T72R
| URI | m2://inv/WKVJ59T72R |
|---|---|
| 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.38041#9PXR (statement). In 54NQGN1BWM/e1, lemma A.1
History
- 2026-10-30: add by m2/v0.4.12
Method WKVKWD4H51
| URI | m2://inv/WKVKWD4H51 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trapezoidal rule (differential equations)#KPI0, Method (definition)
History
- 2026-11-02: add by m2/dev
WKVMV86YD6 WKVMV86YD6
| URI | m2://inv/WKVMV86YD6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#9A10 (statement). In AGJE43FTF8/e1, lemma 8.2
History
- 2026-10-27: add by m2/v0.4.2
WKVPAEHC0P WKVPAEHC0P
| URI | m2://inv/WKVPAEHC0P |
|---|---|
| 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.01599#WMLH (statement). In K2KYNCWER3/e1, corollary 14
History
- 2026-10-29: add by m2/v0.4.12
WKVPFDQKB4 WKVPFDQKB4
| URI | m2://inv/WKVPFDQKB4 |
|---|---|
| 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.16359#DQQ8 (statement). In NY1DBAW7CG/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
universe level WKW0BGY9SW
| URI | m2://inv/WKW0BGY9SW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.3/universe-level, universe level (concept). In N54F33XE07, index, section C.3
History
- 2026-11-01: add by m2/v0.6.13
Maximal smooth atlas WKW2HGGES4
| URI | m2://inv/WKW2HGGES4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smooth structure#QV2A, Maximal smooth atlas (unknown)
History
- 2026-11-02: add by m2/dev
Dedekind group WKW5A74Y3F
| URI | m2://inv/WKW5A74Y3F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind group, Dedekind group (definition). Also Wikidata Q21189838
History
- 2026-11-02: add by m2/dev
WKWAZ6JG87 WKWAZ6JG87
| URI | m2://inv/WKWAZ6JG87 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 51-XX, 52-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.13950#6JDO (statement). In 8E5S3VJ8P4/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
Conventions WKWP2PJYCG
| URI | m2://inv/WKWP2PJYCG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical coordinate system#XU6E, Conventions (definition)
History
- 2026-11-02: add by m2/dev
Mixed reference links WKWPYY6RNV
| URI | m2://inv/WKWPYY6RNV |
|---|---|
| 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.05498#FML1, Mixed reference links (statement). In TJT32RQ9GC/e1, lemma 6.5
History
- 2026-10-29: add by m2/v0.4.10
Sampling frame WKWVPJHGVQ
| URI | m2://inv/WKWVPJHGVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sampling frame, Sampling frame (definition). Also Wikidata Q7410163
History
- 2026-11-02: add by m2/dev
Luca Trevisan WKWZ4HGKWP
| URI | m2://inv/WKWZ4HGKWP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RYZC, Luca Trevisan (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#K22A, Luca Trevisan (unknown)
History
- 2026-11-02: add by m2/dev
WKWZDHHRXV WKWZDHHRXV
| URI | m2://inv/WKWZDHHRXV |
|---|---|
| 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 2303.14022#QW8S (definition). In NSYR6W27FP/e1, definition 2.9
History
- 2026-10-27: add by m2/v0.3.5
WKX0NHRF5K WKX0NHRF5K
| URI | m2://inv/WKX0NHRF5K |
|---|---|
| Kind | definition |
| 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.16583#LTSR (definition). In 4RPXT0YCS5/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
A closed-form certificate in dimensions 25 and 26 WKX22FKMK2
| URI | m2://inv/WKX22FKMK2 |
|---|---|
| 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#43QV, A closed-form certificate in dimensions 25 and 26 (statement)
History
- 2026-11-02: add by m2/v0.6.17
WKX7C3T9PC WKX7C3T9PC
| URI | m2://inv/WKX7C3T9PC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04694#GD5G (statement). In W9A0Z2NBMA/e1, proposition 34
History
- 2026-10-29: add by m2/v0.4.12
Condorcet criterion WKXFXF6XV0
| URI | m2://inv/WKXFXF6XV0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q831304, Condorcet criterion (unknown). Also MathWorld CondorcetCandidate
- wikipedia: Wikipedia Condorcet winner, Condorcet winner (definition). Also Wikidata Q831304
History
- 2026-10-26: add by m2/dev
WKXYK5BY2Q WKXYK5BY2Q
| URI | m2://inv/WKXYK5BY2Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02484#PQGU (statement). In D1V0MQZTFQ/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
Second derivative WKYJAT9JTY
| URI | m2://inv/WKYJAT9JTY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#8E84, Second derivative (definition)
History
- 2026-11-02: add by m2/dev
WKYRNA91R6 WKYRNA91R6
| URI | m2://inv/WKYRNA91R6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/cut-elimination/ce-topmost.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 56.2
History
- 2026-11-01: add by m2/v0.6.13
Images illustrating application of the theorem to quadrilaterals WKZ1KCXV19
| URI | m2://inv/WKZ1KCXV19 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petr–Douglas–Neumann theorem#L2PG, Images illustrating application of the theorem to quadrilaterals (statement)
History
- 2026-11-02: add by m2/dev
WKZABYYG42 WKZABYYG42
| URI | m2://inv/WKZABYYG42 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25188#3G58 (example)
History
- 2026-11-01: add by m2/v0.6.15
Euclid's' algorithm WKZB4Q15QN
| URI | m2://inv/WKZB4Q15QN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Divisibility in integral domains > Euclid's' algorithm, Euclid's' algorithm (unknown). Also Mathlib Nat.xgcd
- mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > Euclid's' algorithm, Euclid's' algorithm (unknown). Also Mathlib Nat.xgcd
History
- 2026-10-26: add by m2/dev
WKZE4YBV80 WKZE4YBV80
| URI | m2://inv/WKZE4YBV80 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27078#VRYM (statement)
History
- 2026-11-01: add by m2/v0.6.15
WKZK86KDWZ WKZK86KDWZ
| URI | m2://inv/WKZK86KDWZ |
|---|---|
| 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.14214#0FR1 (statement). In SY85Y9E45A/e1, proposition 32
History
- 2026-10-27: add by m2/v0.3.5
WKZQ8WM6MT WKZQ8WM6MT
| URI | m2://inv/WKZQ8WM6MT |
|---|---|
| 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.26980#AWBN (statement)
History
- 2026-11-01: add by m2/v0.6.15
John Watt Butters WKZR7XM8D7
| URI | m2://inv/WKZR7XM8D7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Watt Butters, John Watt Butters (topic). Also Wikidata Q20731771
History
- 2026-11-02: add by m2/dev
Karol Borsuk WKZW2RM5WP
| URI | m2://inv/WKZW2RM5WP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#T1IY, Karol Borsuk (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NT33, Karol Borsuk (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VNDC, Karol Borsuk (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YHI0, Karol Borsuk (unknown)
History
- 2026-11-02: add by m2/dev