Inventory rows XK
The cards of the rows of the inventory whose ids start with XK. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
finite XK03RRKGP2
| URI | m2://inv/XK03RRKGP2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#52IZ, finite (definition)
History
- 2026-11-02: add by m2/dev
Exponential type XK05D2PKP4
| URI | m2://inv/XK05D2PKP4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#B05M, Exponential type (definition)
History
- 2026-11-02: add by m2/dev
XK0BSD72CZ XK0BSD72CZ
| URI | m2://inv/XK0BSD72CZ |
|---|---|
| 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#PNI2 (statement). In 8GSG7024NW/e1, corollary 7.9
History
- 2026-10-28: add by m2/v0.4.2
XK0CBRVAJJ XK0CBRVAJJ
| URI | m2://inv/XK0CBRVAJJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.10246#3PMJ (definition). In XD0YT3XCW2/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Critical representatives XK0CXEZV7N
| URI | m2://inv/XK0CXEZV7N |
|---|---|
| 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.10950#W5QR, Critical representatives (statement). In P392PEVRAY/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.3
WinBUGS XK0GZK0PEY
| URI | m2://inv/XK0GZK0PEY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#F4QK, WinBUGS (definition)
History
- 2026-11-02: add by m2/dev
Only the knots move XK0K1RVB9H
| URI | m2://inv/XK0K1RVB9H |
|---|---|
| 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.21271#PTGI, Only the knots move (statement)
History
- 2026-11-02: add by m2/v0.6.18
Alan Sokal XK10MTCK02
| URI | m2://inv/XK10MTCK02 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EVA5, Alan Sokal (topic)
History
- 2026-11-02: add by m2/dev
XK1B4Y7TJJ XK1B4Y7TJJ
| URI | m2://inv/XK1B4Y7TJJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01035#CSOK (statement). In MVQWXFXWM7/e1, theorem 9.1
History
- 2026-10-29: add by m2/v0.4.12
Maria E. Schonbek XK1BTJC5JW
| URI | m2://inv/XK1BTJC5JW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maria E. Schonbek, Maria E. Schonbek (topic). Also Wikidata Q18706041
History
- 2026-11-02: add by m2/dev
Hardware security XK1ERGPY4E
| URI | m2://inv/XK1ERGPY4E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardware security, Hardware security (definition). Also Wikidata Q30325435
History
- 2026-11-02: add by m2/dev
XK1GK1Y3XX XK1GK1Y3XX
| URI | m2://inv/XK1GK1Y3XX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.39824#QA0O (statement). In REPGS464V6/e1, lemma 7.6
History
- 2026-10-30: add by m2/v0.4.12
XK1H3T7V78 XK1H3T7V78
| URI | m2://inv/XK1H3T7V78 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#Q5RS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Prime triplet XK1K88SJSD
| URI | m2://inv/XK1K88SJSD |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#8WI7, Prime triplet (conjecture)
History
- 2026-11-02: add by m2/dev
groups XK1KW63E8T
| URI | m2://inv/XK1KW63E8T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#WM95, groups (unknown)
History
- 2026-11-02: add by m2/dev
XK1W4S7EFS XK1W4S7EFS
| URI | m2://inv/XK1W4S7EFS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35340#XMSZ (definition). In WCY07D1CJG/e1, definition 4.4
History
- 2026-10-30: add by m2/v0.4.12
Factor base XK27DHJTQE
| URI | m2://inv/XK27DHJTQE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factor base, Factor base (definition). Also Wikidata Q5428723
History
- 2026-11-02: add by m2/dev
Vittorio Grünwald XK2DWPQJAX
| URI | m2://inv/XK2DWPQJAX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vittorio Grünwald, Vittorio Grünwald (topic). Also Wikidata Q7937322
History
- 2026-11-02: add by m2/dev
Ernst Alfred Ruh XK2MVEY6WS
| URI | m2://inv/XK2MVEY6WS |
|---|---|
| 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#YEHY, Ernst Alfred Ruh (topic)
History
- 2026-11-02: add by m2/dev
b:b XK2PS02FR1
| URI | m2://inv/XK2PS02FR1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#90X7, b:b (definition)
History
- 2026-11-02: add by m2/dev
Continuity in the ball XK2RBW3X1Z
| URI | m2://inv/XK2RBW3X1Z |
|---|---|
| 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.28014#OEC6, Continuity in the ball (statement)
History
- 2026-11-01: add by m2/v0.6.15
María del Carmen Martínez Sancho XK30Z0WRGV
| URI | m2://inv/XK30Z0WRGV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia María del Carmen Martínez Sancho, María del Carmen Martínez Sancho (topic). Also Wikidata Q29311175
History
- 2026-11-02: add by m2/dev
Jayanta Kumar Ghosh XK36P7XWRA
| URI | m2://inv/XK36P7XWRA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#LRLY, Jayanta Kumar Ghosh (topic)
History
- 2026-11-02: add by m2/dev
XK375PC128 XK375PC128
| URI | m2://inv/XK375PC128 |
|---|---|
| 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 2509.10268#BBIQ (statement). In YR15TN4V4F/e1, corollary 2
History
- 2026-10-27: add by m2/v0.3.5
Mark and recapture XK3RTXPFSK
| URI | m2://inv/XK3RTXPFSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mark and recapture, Mark and recapture (definition). Also Wikidata Q796147
History
- 2026-11-02: add by m2/dev
Differentiable structure XK3VE9418K
| URI | m2://inv/XK3VE9418K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#2TE0, Differentiable structure (definition)
History
- 2026-11-02: add by m2/dev
Shire of Three Springs XK3XA5NG5H
| URI | m2://inv/XK3XA5NG5H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#M6PH, Shire of Three Springs (unknown)
History
- 2026-11-02: add by m2/dev
XK484Z6ZDP XK484Z6ZDP
| URI | m2://inv/XK484Z6ZDP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0909.2893#6YOS (statement). In JQ4JYAXCMK/e1, proposition 14
History
- 2026-10-27: add by m2/v0.3.5
Identifiability analysis XK4DXWCKC3
| URI | m2://inv/XK4DXWCKC3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Identifiability analysis, Identifiability analysis (definition). Also Wikidata Q25053512
History
- 2026-11-02: add by m2/dev
Trott curve XK4HMW6FJM
| URI | m2://inv/XK4HMW6FJM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q123472578, Trott curve (unknown). Also MathWorld TrottCurve
History
- 2026-10-26: add by m2/dev
XK4KNJJ3GH XK4KNJJ3GH
| URI | m2://inv/XK4KNJJ3GH |
|---|---|
| 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.15013#SY3J (statement). In JB837X6D1Q/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
XK4MYRS6H5 XK4MYRS6H5
| URI | m2://inv/XK4MYRS6H5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02174#M2E7 (statement). In 7JPHSV4NXW/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
Point of application XK4NBM5GFK
| URI | m2://inv/XK4NBM5GFK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statics#16VF, Point of application (unknown)
History
- 2026-11-02: add by m2/dev
Hurwitz matrix XK4QV9RAEW
| URI | m2://inv/XK4QV9RAEW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2610096, Hurwitz matrix (unknown). Also EoM Routh-Hurwitz_criterion
History
- 2026-10-26: add by m2/dev
Cosmic power spectrum XK5ABRQ4B7
| URI | m2://inv/XK5ABRQ4B7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosmic microwave background#6BRQ, Cosmic power spectrum (unknown)
History
- 2026-11-02: add by m2/dev
An extremizing interval density XK5BCB9Y50
| URI | m2://inv/XK5BCB9Y50 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#6CYK, An extremizing interval density (statement). In 9YAE8FNQST/e1, corollary 19.6
History
- 2026-10-30: add by m2/v0.4.12
Two-sided multiplication rigidity XK5BP0X382
| URI | m2://inv/XK5BP0X382 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29839#XE7N, Two-sided multiplication rigidity (statement)
History
- 2026-11-01: add by m2/v0.6.15
Floer XK5CRTTSE7
| URI | m2://inv/XK5CRTTSE7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of symplectic geometry#BJQK, Floer (definition)
History
- 2026-11-02: add by m2/dev
Local normal form XK5HBJSTKV
| URI | m2://inv/XK5HBJSTKV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38993#EFAK, Local normal form (statement). In AFKQK866Y1/e1, corollary 5.4
History
- 2026-10-30: add by m2/v0.4.12
Moment bounds under the cavity tilts XK5HCFN54R
| URI | m2://inv/XK5HCFN54R |
|---|---|
| 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.32710#O5G5, Moment bounds under the cavity tilts (statement). In KVYG6R7CGJ/e1, lemma 3.13
History
- 2026-10-31: add by m2/v0.5.6
Askey–Gasper inequality XK5Q5WBZJH
| URI | m2://inv/XK5Q5WBZJH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Askey–Gasper inequality, Askey–Gasper inequality (statement). Also Wikidata Q4807194
History
- 2026-11-02: add by m2/dev
Francis Brown XK5TJT3C8D
| URI | m2://inv/XK5TJT3C8D |
|---|---|
| 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#3S8L, Francis Brown (topic)
History
- 2026-11-02: add by m2/dev
Isochrone XK5XXZQ6X1
| URI | m2://inv/XK5XXZQ6X1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#YJSB, Isochrone (definition)
- wikipedia: Wikipedia List of curves#B1SR, Isochrone (definition)
History
- 2026-11-02: add by m2/dev
Order of a polynomial XK5Z7VZF74
| URI | m2://inv/XK5Z7VZF74 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q21072054, Order of a polynomial (unknown). Also MathWorld PolynomialOrder
History
- 2026-10-26: add by m2/dev
Non-monotonic logic XK68X2MD43
| URI | m2://inv/XK68X2MD43 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-monotonic logic, Non-monotonic logic (definition). Also Wikidata Q2488768
History
- 2026-11-02: add by m2/dev
XK6AMBAJ9G XK6AMBAJ9G
| URI | m2://inv/XK6AMBAJ9G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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 2304.07398#B5TG (statement). In JS5FKV1S9T/e1, theorem C.1
History
- 2026-10-27: add by m2/v0.3.5
XK6CD3B43X XK6CD3B43X
| URI | m2://inv/XK6CD3B43X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14811#PDCM (statement). In QA5CM6HNM1/e1, lemma 9.1
History
- 2026-10-28: add by m2/v0.4.2
counting identity XK6CY04WC1
| URI | m2://inv/XK6CY04WC1 |
|---|---|
| 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.10408#9D6H, counting identity (statement). In H976NYKBNT/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.10
Nicholas Theodore Varopoulos XK6VD7YG2S
| URI | m2://inv/XK6VD7YG2S |
|---|---|
| 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#ISN4, Nicholas Theodore Varopoulos (topic)
History
- 2026-11-02: add by m2/dev
The law of likelihood XK77YQ6FSV
| URI | m2://inv/XK77YQ6FSV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Likelihood principle#OD2Q, The law of likelihood (statement)
History
- 2026-11-02: add by m2/dev
Misconceptions about randomness XK7PVXV57G
| URI | m2://inv/XK7PVXV57G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randomness#C68X, Misconceptions about randomness (unknown)
History
- 2026-11-02: add by m2/dev
XK7Q6883KZ XK7Q6883KZ
| URI | m2://inv/XK7Q6883KZ |
|---|---|
| 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.05696#RLE9 (statement). In MG81A9XJTQ/e1, lemma IV.7
History
- 2026-10-29: add by m2/v0.4.10
Matrix theory XK7Z85VYV4
| URI | m2://inv/XK7Z85VYV4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#GIQ8, Matrix theory (definition)
History
- 2026-11-02: add by m2/dev
XK7ZRSXTXB XK7ZRSXTXB
| URI | m2://inv/XK7ZRSXTXB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.00617#Y874 (statement). In K7505G10SS/e1, proposition 5.5
History
- 2026-10-27: add by m2/v0.3.5
Separability idempotent XK85585D1J
| URI | m2://inv/XK85585D1J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Separable algebra#8SUL, Separability idempotent (unknown)
History
- 2026-11-02: add by m2/dev
Jacobi's formula XK879HTWRP
| URI | m2://inv/XK879HTWRP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi's formula, Jacobi's formula (statement). Also Wikidata Q3748375
History
- 2026-11-02: add by m2/dev
Burgess inequality XK87J2ANN0
| URI | m2://inv/XK87J2ANN0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burgess inequality#ZWK9, Burgess inequality (statement)
History
- 2026-11-02: add by m2/dev
XK8M422ZRG XK8M422ZRG
| URI | m2://inv/XK8M422ZRG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23617#UD10 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Regular rate asymptotics XK8W6HJPFG
| URI | m2://inv/XK8W6HJPFG |
|---|---|
| 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.37375#D8UM, Regular rate asymptotics (statement). In PV4Z2FRXRZ/e1, corollary 6.3
History
- 2026-10-30: add by m2/v0.4.12
Algebraic topology XK8XGN6JSY
| URI | m2://inv/XK8XGN6JSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#7DKV, Algebraic topology (definition)
History
- 2026-11-02: add by m2/dev
XK8YQ7G6F9 XK8YQ7G6F9
| URI | m2://inv/XK8YQ7G6F9 |
|---|---|
| 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.05706#DF8F (statement). In 8EHE8CX1KJ/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
XK90JGJ91V XK90JGJ91V
| URI | m2://inv/XK90JGJ91V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise-6 (exercise). In E59CDZA4DP, exercise, section 3.1.3
History
- 2026-11-01: add by m2/v0.6.13
Trunk encryption device XK94J06NHK
| URI | m2://inv/XK94J06NHK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#0DDV, Trunk encryption device (unknown)
History
- 2026-11-02: add by m2/dev
XK9DKESY9V XK9DKESY9V
| URI | m2://inv/XK9DKESY9V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#Y2V7 (statement). In CY1FE8W1ZW/e1, lemma 0.81
History
- 2026-10-27: add by m2/v0.3.5
Marina Kravchenko XK9FZV2MNM
| URI | m2://inv/XK9FZV2MNM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#5S72, Marina Kravchenko (unknown)
History
- 2026-11-02: add by m2/dev
XK9GEM4NY6 XK9GEM4NY6
| URI | m2://inv/XK9GEM4NY6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-51 (exercise). In E59CDZA4DP, exercise, section 8.5.2
History
- 2026-11-01: add by m2/v0.6.13
Implementation XK9MZCA86S
| URI | m2://inv/XK9MZCA86S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Box–Muller transform#8UX1, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Euphoric recall XK9N7K11F9
| URI | m2://inv/XK9N7K11F9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#AR8P, Euphoric recall (unknown)
History
- 2026-11-02: add by m2/dev
XK9P6M338H XK9P6M338H
| URI | m2://inv/XK9P6M338H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:catweq (statement). In N54F33XE07, lem, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
XK9RPQ2FTW XK9RPQ2FTW
| URI | m2://inv/XK9RPQ2FTW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#ex:lem-impl-simple-ac (exercise). In N54F33XE07, ex, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Examples XKA5PV0PKM
| URI | m2://inv/XKA5PV0PKM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-concordant function#HGZQ, Examples (example)
History
- 2026-11-02: add by m2/dev
lineo- XKABN9BYK4
| URI | m2://inv/XKABN9BYK4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#ALVH, lineo- (definition)
History
- 2026-11-02: add by m2/dev
XKAD19C5WG XKAD19C5WG
| URI | m2://inv/XKAD19C5WG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13850#O1B0 (statement). In KJY735KSMF/e1, lemma 10.1
History
- 2026-10-28: add by m2/v0.4.2
Definitions XKADAWXMEP
| URI | m2://inv/XKADAWXMEP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fast syndrome-based hash#NFZ6, Definitions (definition)
History
- 2026-11-02: add by m2/dev
XKAE2ZPKZE XKAE2ZPKZE
| URI | m2://inv/XKAE2ZPKZE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31365#UGJN (definition). In 19GENJ3NCP/e1, definition 6.2
History
- 2026-10-31: add by m2/v0.5.6
Thomas G. Goodwillie XKAN5BJNFW
| URI | m2://inv/XKAN5BJNFW |
|---|---|
| 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#GPVF, Thomas G. Goodwillie (unknown)
History
- 2026-11-02: add by m2/dev
complex subvariety XKAN9R7GTC
| URI | m2://inv/XKAN9R7GTC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/6.5/complex-subvariety, complex subvariety (concept). In VNMV985MXX, index, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
XKB26Y9TF6 XKB26Y9TF6
| URI | m2://inv/XKB26Y9TF6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#proof-19 (proof). In N54F33XE07, proof, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Positivity alternative XKB3NGEBKG
| URI | m2://inv/XKB3NGEBKG |
|---|---|
| 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.00339#E6O7, Positivity alternative (statement). In ZRG6NY1ECH/e1, lemma 9
History
- 2026-10-30: add by m2/v0.4.12
XKB3S2ZWK2 XKB3S2ZWK2
| URI | m2://inv/XKB3S2ZWK2 |
|---|---|
| Kind | example |
| 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 2609.21914#JLJ1 (example)
History
- 2026-11-02: add by m2/v0.6.17
Nachbin's theorem XKB4VYM6R3
| URI | m2://inv/XKB4VYM6R3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#QB8C, Nachbin's theorem (statement)
History
- 2026-11-02: add by m2/dev
Loomis–Whitney inequality XKBACFV0BY
| URI | m2://inv/XKBACFV0BY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loomis–Whitney inequality, Loomis–Whitney inequality (statement). Also Wikidata Q6675607
History
- 2026-11-02: add by m2/dev
Velocity Verlet XKBAZ2HYYK
| URI | m2://inv/XKBAZ2HYYK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Verlet integration#D9NM, Velocity Verlet (unknown)
History
- 2026-11-02: add by m2/dev
Adiabatic compression XKBBTBR0AC
| URI | m2://inv/XKBBTBR0AC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adiabatic process#68VQ, Adiabatic compression (unknown)
History
- 2026-11-02: add by m2/dev
Hugh Everett III XKBFYSTAYV
| URI | m2://inv/XKBFYSTAYV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#V2ZV, Hugh Everett III (unknown)
History
- 2026-11-02: add by m2/dev
David Kaplan XKBRT7R25B
| URI | m2://inv/XKBRT7R25B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#MXEB, David Kaplan (topic)
History
- 2026-11-02: add by m2/dev
Applications XKBYNP45M7
| URI | m2://inv/XKBYNP45M7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signal separation#QYXC, Applications (example)
History
- 2026-11-02: add by m2/dev
Hereditarily collectionwise normal XKC83DMHSJ
| URI | m2://inv/XKC83DMHSJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collectionwise normal space#62DG, Hereditarily collectionwise normal (unknown)
History
- 2026-11-02: add by m2/dev
Application XKC8XSZQEC
| URI | m2://inv/XKC8XSZQEC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic process#MD7D, Application (example)
History
- 2026-11-02: add by m2/dev
Nested tuples XKCGAJD2PV
| URI | m2://inv/XKCGAJD2PV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tuple#CBOR, Nested tuples (unknown)
History
- 2026-11-02: add by m2/dev
XKCH68F483 XKCH68F483
| URI | m2://inv/XKCH68F483 |
|---|---|
| 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.01268#9NY1 (statement). In 80Q4X3WT8W/e1, lemma 3.11
History
- 2026-10-29: add by m2/v0.4.12
Definition XKCQVVNPBT
| URI | m2://inv/XKCQVVNPBT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex geodesic#T6SO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Leftover hash lemma XKCVM6WADK
| URI | m2://inv/XKCVM6WADK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leftover hash lemma, Leftover hash lemma (statement). Also Wikidata Q6517045
History
- 2026-11-02: add by m2/dev
Joseph Adhémar XKCXC07XT5
| URI | m2://inv/XKCXC07XT5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Adhémar, Joseph Adhémar (topic). Also Wikidata Q983376
History
- 2026-11-02: add by m2/dev
XKCYFZKMQN XKCYFZKMQN
| URI | m2://inv/XKCYFZKMQN |
|---|---|
| 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 2606.22882#XOCI (statement). In YNE0Q2X61Y/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
Solution in radicals XKD08R4BJR
| URI | m2://inv/XKD08R4BJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solution in radicals, Solution in radicals (definition). Also Wikidata Q2900186
History
- 2026-11-02: add by m2/dev
XKD44ZBQZ1 XKD44ZBQZ1
| URI | m2://inv/XKD44ZBQZ1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13076#AYPZ (definition). In K7GJA4WGV7/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
missing square puzzle XKD5R9Z2T3
| URI | m2://inv/XKD5R9Z2T3 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1147532, missing square puzzle (unknown). Also MathWorld CurryTriangle
- wikipedia: Wikipedia Missing square puzzle, Missing square puzzle (problem). Also Wikidata Q1147532
History
- 2026-10-26: add by m2/dev
Minimum-distance estimation XKD6KR8TSP
| URI | m2://inv/XKD6KR8TSP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum-distance estimation, Minimum-distance estimation (definition). Also Wikidata Q6865450
History
- 2026-11-02: add by m2/dev
Definition XKD7703KNZ
| URI | m2://inv/XKD7703KNZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commuting probability#87DR, Definition (definition)
History
- 2026-11-02: add by m2/dev
XKD8H1P8PA XKD8H1P8PA
| URI | m2://inv/XKD8H1P8PA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#PKBF (statement). In GXHKRV5BPY/e1, corollary 4.3
History
- 2026-10-29: add by m2/v0.4.10
XKDB5ARWBP XKDB5ARWBP
| URI | m2://inv/XKDB5ARWBP |
|---|---|
| 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.10840#HEJB (statement). In JSJQEPY71E/e1, lemma B.1
History
- 2026-10-28: add by m2/v0.4.3
Nelson–Aalen estimator XKDHQFHJ1J
| URI | m2://inv/XKDHQFHJ1J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nelson–Aalen estimator, Nelson–Aalen estimator (definition). Also Wikidata Q6990830
History
- 2026-11-02: add by m2/dev
stack XKE295AB2T
| URI | m2://inv/XKE295AB2T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q177929, stack (unknown). Also MathWorld Stack
History
- 2026-10-26: add by m2/dev
Zero-chain property XKE8DRE5HR
| URI | m2://inv/XKE8DRE5HR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33360#DOK9, Zero-chain property (statement). In GH6FSDK4YB/e1, proposition 3.7
History
- 2026-10-30: add by m2/v0.4.12
Example XKEBN22JRQ
| URI | m2://inv/XKEBN22JRQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential tilting#QAN5, Example (example)
History
- 2026-11-02: add by m2/dev
XKEFBZT5S5 XKEFBZT5S5
| URI | m2://inv/XKEFBZT5S5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1001.0174#VYA9 (statement). In 4P97F3GPJC/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.3.5
Semi-open XKEFCX2BVC
| URI | m2://inv/XKEFCX2BVC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#8WRN, Semi-open (definition)
History
- 2026-11-02: add by m2/dev
Hadamard gap theorem XKEJ48GP1V
| URI | m2://inv/XKEJ48GP1V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jacques Hadamard#43HW, Hadamard gap theorem (statement)
History
- 2026-11-02: add by m2/dev
Any finite collection of line segments XKEMF8NST3
| URI | m2://inv/XKEMF8NST3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.19872#PFZD, Any finite collection of line segments (statement). In DG9TF5X0EG/e1, corollary 7
History
- 2026-10-27: add by m2/v0.4.0
Elena Moldovan Popoviciu XKEMWMJN2Q
| URI | m2://inv/XKEMWMJN2Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elena Moldovan Popoviciu, Elena Moldovan Popoviciu (topic). Also Wikidata Q37735603
History
- 2026-11-02: add by m2/dev
Generalization XKEQGMRB8Y
| URI | m2://inv/XKEQGMRB8Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beth number#7TOA, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Special cases XKF10FWZEG
| URI | m2://inv/XKF10FWZEG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formation (group theory)#2885, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Variations XKF1S296KZ
| URI | m2://inv/XKF1S296KZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metasyntax#M9YE, Variations (statement)
History
- 2026-11-02: add by m2/dev
XKF8G5QSF0 XKF8G5QSF0
| URI | m2://inv/XKF8G5QSF0 |
|---|---|
| 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.33771#CQBW (definition). In ZXQA7QH0H0/e1, definition 3.12
History
- 2026-10-30: add by m2/v0.4.12
knot polynomial XKFBDRV55H
| URI | m2://inv/XKFBDRV55H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2228072, knot polynomial (unknown). Also MathWorld KnotPolynomial
- wikipedia: Wikipedia Knot polynomial, Knot polynomial (definition). Also Wikidata Q2228072
History
- 2026-10-26: add by m2/dev
$L^p$ functions XKFJZQYP89
| URI | m2://inv/XKFJZQYP89 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Tempered distributions > $L^p$ functions, $L^p$ functions (unknown). Also Mathlib MeasureTheory.Lp.toTemperedDistributionCLM
History
- 2026-10-26: add by m2/dev
XKFQ9V057X XKFQ9V057X
| URI | m2://inv/XKFQ9V057X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03756#SK4V (statement). In 2381M4GBTT/e1, theorem 6.6
History
- 2026-10-29: add by m2/v0.4.12
Cryptlib XKFRXWRZ0N
| URI | m2://inv/XKFRXWRZ0N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptlib, Cryptlib (definition). Also Wikidata Q309604
History
- 2026-11-02: add by m2/dev
Cassini and Catalan identities XKFW9K5RGG
| URI | m2://inv/XKFW9K5RGG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cassini and Catalan identities, Cassini and Catalan identities (definition). Also Wikidata Q4459371
History
- 2026-11-02: add by m2/dev
null XKFYGT8043
| URI | m2://inv/XKFYGT8043 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#S274, null (definition)
History
- 2026-11-02: add by m2/dev
Applications XKG6YV4KR7
| URI | m2://inv/XKG6YV4KR7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Utility#2C89, Applications (example)
History
- 2026-11-02: add by m2/dev
XKG7H8800F XKG7H8800F
| URI | m2://inv/XKG7H8800F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.01237#TM3Z (statement). In M9VHCG48HB/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Sacramental index XKGDE59MX2
| URI | m2://inv/XKGDE59MX2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sacramental index, Sacramental index (definition). Also Wikidata Q7396943
History
- 2026-11-02: add by m2/dev
Prediction by partial matching XKGJMECGRF
| URI | m2://inv/XKGJMECGRF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#FC63, Prediction by partial matching (definition)
History
- 2026-11-02: add by m2/dev
XKGNG6RV5Z XKGNG6RV5Z
| URI | m2://inv/XKGNG6RV5Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#7QS9 (definition). In G02N9D40B9/e1, definition 4.1.1
History
- 2026-10-29: add by m2/v0.4.10
Gilcrest XKGWRC986J
| URI | m2://inv/XKGWRC986J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#WQMI, Gilcrest (unknown)
History
- 2026-11-02: add by m2/dev
Jeroen Groenendijk XKGZ6ZS68Y
| URI | m2://inv/XKGZ6ZS68Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#8QON, Jeroen Groenendijk (topic)
History
- 2026-11-02: add by m2/dev
Hilbert's twentieth problem XKH0VGKRYC
| URI | m2://inv/XKH0VGKRYC |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's twentieth problem, Hilbert's twentieth problem (problem). Also Wikidata Q5761174
History
- 2026-11-02: add by m2/dev
A graph multiplicity bound XKH76SEGKG
| URI | m2://inv/XKH76SEGKG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07528#R5UP, A graph multiplicity bound (statement). In WVX0T502A1/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Moses Zuriel XKH7RQ4W0W
| URI | m2://inv/XKH7RQ4W0W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#1Y4B, Moses Zuriel (unknown)
History
- 2026-11-02: add by m2/dev
XKHE14G23J XKHE14G23J
| URI | m2://inv/XKHE14G23J |
|---|---|
| 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.34020#CUSI (statement). In DAMYG8BFAK/e1, lemma 4.15
History
- 2026-10-30: add by m2/v0.4.12
XKHPBT22CB XKHPBT22CB
| URI | m2://inv/XKHPBT22CB |
|---|---|
| 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.01225#5691 (statement). In MFR807V4YG/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.12
Semantic model XKHRRREZHG
| URI | m2://inv/XKHRRREZHG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conceptual model#SCWF, Semantic model (unknown)
History
- 2026-11-02: add by m2/dev
XKHWJXX9ZE XKHWJXX9ZE
| URI | m2://inv/XKHWJXX9ZE |
|---|---|
| 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.33852#FNAA (statement). In 1WPPDSF0EJ/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
canonical XKJ30QP84P
| URI | m2://inv/XKJ30QP84P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#YTLG, canonical (definition)
History
- 2026-11-02: add by m2/dev
Exterior calculus identities XKJ7Q5QN0E
| URI | m2://inv/XKJ7Q5QN0E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities#ZQ78, Exterior calculus identities (definition)
History
- 2026-11-02: add by m2/dev
metre per square second XKJB2RD622
| URI | m2://inv/XKJB2RD622 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1051665, metre per square second (definition). Also ProofWiki Definition:Acceleration/Unit/Metre_per_Second_Squared
History
- 2026-10-26: add by m2/dev
Leaving Certificate XKJCCK59RJ
| URI | m2://inv/XKJCCK59RJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leaving Certificate (Ireland), Leaving Certificate (definition). Also Wikidata Q3310228
History
- 2026-11-02: add by m2/dev
Examples XKJNTNYAPT
| URI | m2://inv/XKJNTNYAPT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial modelling#9TVY, Examples (example)
History
- 2026-11-02: add by m2/dev
Convergence of Quasi-Gradient Method XKJPA3Q825
| URI | m2://inv/XKJPA3Q825 |
|---|---|
| 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.19181#TC47, Convergence of Quasi-Gradient Method (statement). In 69EG01Q2TR/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
Monogamy of entanglement XKJYD70RYS
| URI | m2://inv/XKJYD70RYS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monogamy of entanglement, Monogamy of entanglement (definition). Also Wikidata Q106808950
History
- 2026-11-02: add by m2/dev
Patrice Le Calvez XKK2FF004M
| URI | m2://inv/XKK2FF004M |
|---|---|
| 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#RQQ6, Patrice Le Calvez (unknown)
History
- 2026-11-02: add by m2/dev
XKK33A4N1S XKK33A4N1S
| URI | m2://inv/XKK33A4N1S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#0W0L (statement). In VN084GGZGK/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.3
Minimal formation sequences XKK592GVJH
| URI | m2://inv/XKK592GVJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#defn:minimal-fseq, Minimal formation sequences (definition). In PKGMM3P5QY, defn, section 19.8
History
- 2026-11-01: add by m2/v0.6.13
XKK86CVRHS XKK86CVRHS
| URI | m2://inv/XKK86CVRHS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#defn:isprop (definition). In N54F33XE07, defn, section 9.3
History
- 2026-11-01: add by m2/v0.6.13
XKKFM59YMN XKKFM59YMN
| URI | m2://inv/XKKFM59YMN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#9XEP (definition). In Q5Z178SAHP/e1, definition 3.5
History
- 2026-10-30: add by m2/v0.4.12
Construction XKKHBSJDNE
| URI | m2://inv/XKKHBSJDNE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypercone#PMVI, Construction (definition)
History
- 2026-11-02: add by m2/dev
Applications XKKM9BPV82
| URI | m2://inv/XKKM9BPV82 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-class classification#YU1X, Applications (example)
History
- 2026-11-02: add by m2/dev
Necklace splitting problem XKKNA07V7B
| URI | m2://inv/XKKNA07V7B |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Necklace splitting problem, Necklace splitting problem (problem). Also Wikidata Q6985587
History
- 2026-11-02: add by m2/dev
Diagonal quantum penalties XKKNDMANGY
| URI | m2://inv/XKKNDMANGY |
|---|---|
| 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.14081#LB1Z, Diagonal quantum penalties (statement). In DCCKKQ7Y21/e1, corollary II.8
History
- 2026-10-28: add by m2/v0.4.2
XKKWPN6TH4 XKKWPN6TH4
| URI | m2://inv/XKKWPN6TH4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#7LYE (statement). In MS7M2BJS9X/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
Book on the Measurement of Plane and Spherical Figures XKKZ8DXAM1
| URI | m2://inv/XKKZ8DXAM1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Book on the Measurement of Plane and Spherical Figures, Book on the Measurement of Plane and Spherical Figures (definition). Also Wikidata Q118903169
History
- 2026-11-02: add by m2/dev
Examples XKM2GS4Y07
| URI | m2://inv/XKM2GS4Y07 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shape optimization#L5HA, Examples (example)
History
- 2026-11-02: add by m2/dev
the description $\Delta$ XKM742775S
| URI | m2://inv/XKM742775S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01753#2Y1B, the description $\Delta$ (definition). In JY50YXMH5N/e1, definition 37
History
- 2026-10-29: add by m2/v0.4.12
XKMBQYSZNM XKMBQYSZNM
| URI | m2://inv/XKMBQYSZNM |
|---|---|
| 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#EKDQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Joseph Valentin Boussinesq XKMHTFSPH8
| URI | m2://inv/XKMHTFSPH8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Valentin Boussinesq, Joseph Valentin Boussinesq (topic). Also Wikidata Q121108
History
- 2026-11-02: add by m2/dev
Universal one-way hash function XKMPJV9BWX
| URI | m2://inv/XKMPJV9BWX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal one-way hash function, Universal one-way hash function (definition). Also Wikidata Q7894144
History
- 2026-11-02: add by m2/dev
XKMQPFWT8K XKMQPFWT8K
| URI | m2://inv/XKMQPFWT8K |
|---|---|
| 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.33679#9B54 (statement). In 3N9E9T6AF5/e1, theorem 7.1
History
- 2026-10-30: add by m2/v0.4.12
Directional derivatives XKMR8BSNZF
| URI | m2://inv/XKMR8BSNZF |
|---|---|
| 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.37479#E24J, Directional derivatives (statement). In P3RTT99C41/e1, lemma 6.8
History
- 2026-10-30: add by m2/v0.4.12
triaugmented truncated dodecahedron XKMYRGJ79C
| URI | m2://inv/XKMYRGJ79C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2324249, triaugmented truncated dodecahedron (object). Also MathWorld TriaugmentedTruncatedDodecahedron
- wikipedia: Wikipedia Triaugmented truncated dodecahedron, Triaugmented truncated dodecahedron (definition). Also Wikidata Q2324249
History
- 2026-10-26: add by m2/dev
Absolute future XKN2G35FDE
| URI | m2://inv/XKN2G35FDE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Causal structure#KWRL, Absolute future (unknown)
History
- 2026-11-02: add by m2/dev
XKN49P5D04 XKN49P5D04
| URI | m2://inv/XKN49P5D04 |
|---|---|
| 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.13556#JBYI (statement). In 5ZB8N3YY72/e1, corollary 4.7
History
- 2026-10-28: add by m2/v0.4.2
Harry Markowitz XKNB8SNA4P
| URI | m2://inv/XKNB8SNA4P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#W9KL, Harry Markowitz (unknown)
History
- 2026-11-02: add by m2/dev
XKNCCBYM15 XKNCCBYM15
| URI | m2://inv/XKNCCBYM15 |
|---|---|
| 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 2311.01874#MGD1 (statement). In A4TR95VGX2/e1, theorem 5.4.1
History
- 2026-10-27: add by m2/v0.3.5
Cocks IBE scheme XKNR528JSE
| URI | m2://inv/XKNR528JSE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cocks IBE scheme, Cocks IBE scheme (definition). Also Wikidata Q17080834
History
- 2026-11-02: add by m2/dev
Khintchine inequality XKNYGQ0AEB
| URI | m2://inv/XKNYGQ0AEB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Khintchine inequality, Khintchine inequality (statement). Also Wikidata Q6401711
History
- 2026-11-02: add by m2/dev
XKP4251EBJ XKP4251EBJ
| URI | m2://inv/XKP4251EBJ |
|---|---|
| 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.24584#G028 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Survey methodology XKP9NYQZ5V
| URI | m2://inv/XKP9NYQZ5V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3MFA, Survey methodology (topic)
History
- 2026-11-02: add by m2/dev
XKPA0J66V0 XKPA0J66V0
| URI | m2://inv/XKPA0J66V0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24206#D3F3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Real aggregation XKPN9NSQW6
| URI | m2://inv/XKPN9NSQW6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13063#3I8A, Real aggregation (statement). In R5AFFWBMAF/e1, corollary C.2
History
- 2026-10-28: add by m2/v0.4.2
Properties XKPP4WC570
| URI | m2://inv/XKPP4WC570 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Granny knot (mathematics)#DVMY, Properties (statement)
History
- 2026-11-02: add by m2/dev
XKPXYHVJ1F XKPXYHVJ1F
| URI | m2://inv/XKPXYHVJ1F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-37 (exercise). In E9HS8K3A52, exercise, section 9.3.4
History
- 2026-11-01: add by m2/v0.6.13
Jürgen Moser XKQ092ACK8
| URI | m2://inv/XKQ092ACK8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q65209, Jürgen Moser (unknown). Also nLab Jürgen Moser
- wikipedia: Wikipedia Jürgen Moser, Jürgen Moser (topic). Also Wikidata Q65209
History
- 2026-10-26: add by m2/dev
William L. Burke XKQ6KFVE3W
| URI | m2://inv/XKQ6KFVE3W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#A5YG, William L. Burke (unknown)
History
- 2026-11-02: add by m2/dev
Examples XKQBTDZKX9
| URI | m2://inv/XKQBTDZKX9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indiscernibles#UF1J, Examples (example)
History
- 2026-11-02: add by m2/dev
XKQHX7YD06 XKQHX7YD06
| URI | m2://inv/XKQHX7YD06 |
|---|---|
| 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.17408#2QVF (statement). In QR8H4M1X4N/e1, proposition 8.1
History
- 2026-10-28: add by m2/v0.4.2
The algorithm XKQJVDNNFF
| URI | m2://inv/XKQJVDNNFF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neville's algorithm#PXWF, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
XKQMWM4C2A XKQMWM4C2A
| URI | m2://inv/XKQMWM4C2A |
|---|---|
| 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.14803#JP9F (statement). In VAEVDTBD3B/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
XKQNXB536F XKQNXB536F
| URI | m2://inv/XKQNXB536F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21900#NZ6C (statement)
History
- 2026-11-02: add by m2/v0.6.17
The density hypothesis XKQP6YPK8K
| URI | m2://inv/XKQP6YPK8K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lindelöf hypothesis#8NVS, The density hypothesis (statement)
History
- 2026-11-02: add by m2/dev
XKR0T517E2 XKR0T517E2
| URI | m2://inv/XKR0T517E2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/non-standard-models.tex#prop-2 (statement). In PKGMM3P5QY, prop, section 49.3
History
- 2026-11-01: add by m2/v0.6.13
Good Event 1 XKR1JK8KDB
| URI | m2://inv/XKR1JK8KDB |
|---|---|
| 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.04600#S8MB, Good Event 1 (statement). In 4V64K0DYSV/e1, lemma I.1
History
- 2026-10-29: add by m2/v0.4.12
Operations Support Branch XKR1X34JFA
| URI | m2://inv/XKR1X34JFA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operations Support Branch, Operations Support Branch (definition). Also Wikidata Q112838058
History
- 2026-11-02: add by m2/dev
XKR444DGRP XKR444DGRP
| URI | m2://inv/XKR444DGRP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-66 (exercise). In E9HS8K3A52, exercise, section 10.6.4
History
- 2026-11-01: add by m2/v0.6.13
Chain graph XKRNAGS9ZD
| URI | m2://inv/XKRNAGS9ZD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixed graph#7A7B, Chain graph (unknown)
History
- 2026-11-02: add by m2/dev
Mick Cronin XKRNMDXHYD
| URI | m2://inv/XKRNMDXHYD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#3DT3, Mick Cronin (unknown)
History
- 2026-11-02: add by m2/dev
Reinhold Baer XKRX5VHV6N
| URI | m2://inv/XKRX5VHV6N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#6KLS, Reinhold Baer (topic)
History
- 2026-11-02: add by m2/dev
Algorithm XKRYVC76YF
| URI | m2://inv/XKRYVC76YF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joint Approximation Diagonalization of Eigen-matrices#SZEM, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Homogenization of a polynomial XKS4HV4GSJ
| URI | m2://inv/XKS4HV4GSJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30821#1TOU, Homogenization of a polynomial (definition). In 1MZ9XBPTFQ/e1, definition 1
History
- 2026-10-31: add by m2/v0.5.6
XKS9AJ2F8D XKS9AJ2F8D
| URI | m2://inv/XKS9AJ2F8D |
|---|---|
| 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 2409.17318#0E6L (statement). In 2P63T9MJ4P/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
Examples of differential equations XKSEH04H93
| URI | m2://inv/XKSEH04H93 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#LX7M, Examples of differential equations (definition)
- wikipedia: Wikipedia List of mathematical examples#B9FE, Examples of differential equations (definition)
History
- 2026-11-02: add by m2/dev
Mixture (probability) XKSK5X93CR
| URI | m2://inv/XKSK5X93CR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#616P, Mixture (probability) (definition)
History
- 2026-11-02: add by m2/dev
Finding quadratic roots using Thales's theorem XKSPWRE2R9
| URI | m2://inv/XKSPWRE2R9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lill's method#AI8S, Finding quadratic roots using Thales's theorem (statement)
History
- 2026-11-02: add by m2/dev
XKSSWPB4D3 XKSSWPB4D3
| URI | m2://inv/XKSSWPB4D3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#Q783 (statement). In GW23NX78SB/e1, lemma 4.19
History
- 2026-10-28: add by m2/v0.4.2
XKSWM1EAZM XKSWM1EAZM
| URI | m2://inv/XKSWM1EAZM |
|---|---|
| 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#6M68 (statement). In W9A0Z2NBMA/e1, theorem 8
History
- 2026-10-29: add by m2/v0.4.12
XKTCNC6EQH XKTCNC6EQH
| URI | m2://inv/XKTCNC6EQH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36622#JN1P (statement). In 9704QPRPR6/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
Peter Molenaar XKTCZ4EAMZ
| URI | m2://inv/XKTCZ4EAMZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Molenaar, Peter Molenaar (topic). Also Wikidata Q55760613
History
- 2026-11-02: add by m2/dev
The transposition sector XKTDG2C4GG
| URI | m2://inv/XKTDG2C4GG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20572#Z9F4, The transposition sector (statement)
History
- 2026-11-02: add by m2/v0.6.18
XKTFC4XDEE XKTFC4XDEE
| URI | m2://inv/XKTFC4XDEE |
|---|---|
| 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.27941#GLNB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Imaginary post-automorphism diameter XKTFV6SFYJ
| URI | m2://inv/XKTFV6SFYJ |
|---|---|
| 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 2609.25027#1CG3, Imaginary post-automorphism diameter (statement)
History
- 2026-11-01: add by m2/v0.6.15
XKTM8JBH6M XKTM8JBH6M
| URI | m2://inv/XKTM8JBH6M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30579#NTUF (definition). In FDYZFDHZH9/e1, definition 3.4
History
- 2026-10-31: add by m2/v0.5.6
Dynkin's formula XKTNENTDFQ
| URI | m2://inv/XKTNENTDFQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynkin's formula, Dynkin's formula (statement). Also Wikidata Q5319220
History
- 2026-11-02: add by m2/dev
sum of the reciprocals of the primes XKTVJHYXXQ
| URI | m2://inv/XKTVJHYXXQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#0ST2, sum of the reciprocals of the primes (definition)
History
- 2026-11-02: add by m2/dev
Discrete rotational symmetry XKV94D8GHT
| URI | m2://inv/XKV94D8GHT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rotational symmetry#6MQI, Discrete rotational symmetry (unknown)
History
- 2026-11-02: add by m2/dev
Higher ramification groups XKVBKCH3EV
| URI | m2://inv/XKVBKCH3EV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hasse–Arf theorem#3WLB, Higher ramification groups (unknown)
History
- 2026-11-02: add by m2/dev
Paired-edge orientation and the induced directed graph XKVBQJY4VQ
| URI | m2://inv/XKVBQJY4VQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01937#FIWF, Paired-edge orientation and the induced directed graph (definition). In BAEDMM7YM5/e1, definition 21
History
- 2026-10-29: add by m2/v0.4.12
David Naccache XKVEQSGW32
| URI | m2://inv/XKVEQSGW32 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#0QTJ, David Naccache (topic)
History
- 2026-11-02: add by m2/dev
Properties XKVKXB9AXB
| URI | m2://inv/XKVKXB9AXB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lower limit topology#OB0A, Properties (statement)
History
- 2026-11-02: add by m2/dev
Brian Williams XKVNHV36B6
| URI | m2://inv/XKVNHV36B6 |
|---|---|
| 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 Q103035149, Brian Williams (unknown). Also nLab Brian Williams
History
- 2026-10-26: add by m2/dev
L^p Grothendieck inequality XKVRBFSG6F
| URI | m2://inv/XKVRBFSG6F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck inequality#HHYA, L^p Grothendieck inequality (statement)
History
- 2026-11-02: add by m2/dev
Presentation independence, traces, compactness, and gluing XKVWA47C0D
| URI | m2://inv/XKVWA47C0D |
|---|---|
| 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.20215#O5WR, Presentation independence, traces, compactness, and gluing (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties XKW9KW4ENC
| URI | m2://inv/XKW9KW4ENC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally finite group#FL90, Properties (statement)
History
- 2026-11-02: add by m2/dev
Euler method XKWC8034YP
| URI | m2://inv/XKWC8034YP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#7XDZ, Euler method (definition)
History
- 2026-11-02: add by m2/dev
Kempf vanishing theorem XKWEND0XFR
| URI | m2://inv/XKWEND0XFR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kempf vanishing theorem, Kempf vanishing theorem (statement). Also Wikidata Q6387086
History
- 2026-11-02: add by m2/dev
C3 linearization XKWMH5TJ3G
| URI | m2://inv/XKWMH5TJ3G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#PVIY, C3 linearization (unknown)
History
- 2026-11-02: add by m2/dev
XKX0V8SXXD XKX0V8SXXD
| URI | m2://inv/XKX0V8SXXD |
|---|---|
| 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.11383#146P (statement). In DJBZ3V8SQ6/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.3
row vector XKX1DWPPV6
| URI | m2://inv/XKX1DWPPV6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#VM5M, row vector (definition)
History
- 2026-11-02: add by m2/dev
Matrix Finsler's lemma XKX5YCW2ZF
| URI | m2://inv/XKX5YCW2ZF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finsler's lemma#2DM6, Matrix Finsler's lemma (statement)
History
- 2026-11-02: add by m2/dev
XKX7V2H3R0 XKX7V2H3R0
| URI | m2://inv/XKX7V2H3R0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/enumerability.tex#ex-1 (example). In PKGMM3P5QY, ex, section 83.5
History
- 2026-11-01: add by m2/v0.6.13
XKXA4BHYPC XKXA4BHYPC
| URI | m2://inv/XKXA4BHYPC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-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.10377#IMN4 (statement). In 6HP7BR9WZM/e1, proposition 3.7
History
- 2026-10-29: add by m2/v0.4.10
The $G_2'$ rows: orbits and pointwise stabilizers XKXAQMZWAV
| URI | m2://inv/XKXAQMZWAV |
|---|---|
| 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#FN4L, The $G_2'$ rows: orbits and pointwise stabilizers (statement). In 9NVKKW8HDH/e1, theorem 2.103
History
- 2026-10-28: add by m2/v0.4.2
Gisbert Wüstholz XKXCH7AAG2
| URI | m2://inv/XKXCH7AAG2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gisbert Wüstholz, Gisbert Wüstholz (topic). Also Wikidata Q109376
History
- 2026-11-02: add by m2/dev
New digraph reconstruction conjecture XKXHMYDQGD
| URI | m2://inv/XKXHMYDQGD |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia New digraph reconstruction conjecture, New digraph reconstruction conjecture (conjecture). Also Wikidata Q7016399
History
- 2026-11-02: add by m2/dev
Galatia Secunda XKXPK5MH1S
| URI | m2://inv/XKXPK5MH1S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#4UTX, Galatia Secunda (unknown)
History
- 2026-11-02: add by m2/dev
XKXPW9PY68 XKXPW9PY68
| URI | m2://inv/XKXPW9PY68 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#DLZU (statement). In ESDKTYDHC8/e1, corollary 10
History
- 2026-10-29: add by m2/v0.4.12
XKXQQTBE4B XKXQQTBE4B
| URI | m2://inv/XKXQQTBE4B |
|---|---|
| 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.21533#LO16 (statement). In N3Z6JFEPCF/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.2
Pointed space XKXSX80WGY
| URI | m2://inv/XKXSX80WGY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#0AJU, Pointed space (definition)
- wikipedia: Wikipedia List of general topology topics#X88O, Pointed space (definition)
History
- 2026-11-02: add by m2/dev
FreeFem++ XKY1194YTE
| URI | m2://inv/XKY1194YTE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#Z8JC, FreeFem++ (unknown)
History
- 2026-11-02: add by m2/dev
Balmer's constant XKY40S6Q3F
| URI | m2://inv/XKY40S6Q3F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#BD4D, Balmer's constant (unknown)
History
- 2026-11-02: add by m2/dev
Grothendieck XKY4P7GBN6
| URI | m2://inv/XKY4P7GBN6 |
|---|---|
| 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 2103.12669#JLOI, Grothendieck (statement). In ZA6XNBA90V/e1, theorem 1.32
History
- 2026-10-27: add by m2/v0.3.5
XKY50YTKK3 XKY50YTKK3
| URI | m2://inv/XKY50YTKK3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#2G1V (statement). In X3RFXWN6FW/e1, theorem 4.9
History
- 2026-10-27: add by m2/v0.3.6
adjacency matrix XKY8CZ2ZTY
| URI | m2://inv/XKY8CZ2ZTY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#RS6G, adjacency matrix (definition)
History
- 2026-11-02: add by m2/dev
XKY9ARZ7D0 XKY9ARZ7D0
| URI | m2://inv/XKY9ARZ7D0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31523#R7JJ (statement). In 2BET1RE1F6/e1, lemma 2.5
History
- 2026-10-31: add by m2/v0.5.6
XKY9RFF228 XKY9RFF228
| URI | m2://inv/XKY9RFF228 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38493#7XFE (problem). In WTA8VGP6B1/e1, problem 1
History
- 2026-10-30: add by m2/v0.4.12
XKYC5D0GG1 XKYC5D0GG1
| URI | m2://inv/XKYC5D0GG1 |
|---|---|
| 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.10745#3CDN (statement). In 5MJ4NJ5ZCV/e1, lemma B.3
History
- 2026-10-28: add by m2/v0.4.3
Laplace force XKYG0F90Y7
| URI | m2://inv/XKYG0F90Y7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lorentz force#JXFJ, Laplace force (unknown)
History
- 2026-11-02: add by m2/dev
Loss-difference release XKYHW76CBP
| URI | m2://inv/XKYHW76CBP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09206#P6RW, Loss-difference release (definition). In T7R1Q29DQK/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.10
Examples XKYNVJ3ZVV
| URI | m2://inv/XKYNVJ3ZVV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Accumulator (cryptography)#D3KA, Examples (example)
History
- 2026-11-02: add by m2/dev
XKYSJ9F2ZF XKYSJ9F2ZF
| URI | m2://inv/XKYSJ9F2ZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.27420#GDFP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Terms XKYSPGDMHE
| URI | m2://inv/XKYSPGDMHE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/terms.tex#defn:term, Terms (definition). In PKGMM3P5QY, defn, section 39.2
History
- 2026-11-01: add by m2/v0.6.13
XKYX672FKB XKYX672FKB
| URI | m2://inv/XKYX672FKB |
|---|---|
| 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 2405.05684#7LZM (statement). In 1PR73ECTZB/e1, proposition 25
History
- 2026-10-27: add by m2/v0.3.5
XKYXEYYDMB XKYXEYYDMB
| URI | m2://inv/XKYXEYYDMB |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17602#4ZQU (problem). In BH62508WHJ/e1, problem 2
History
- 2026-10-28: add by m2/v0.4.2
List of paradoxes XKZ3WNYSXH
| URI | m2://inv/XKZ3WNYSXH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes, List of paradoxes (topic). Also Wikidata Q2509345
History
- 2026-11-02: add by m2/dev
XKZACQ8240 XKZACQ8240
| URI | m2://inv/XKZACQ8240 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24545#Y5R5 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Snezhinsk XKZCPEFVXR
| URI | m2://inv/XKZCPEFVXR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#3JQ3, Snezhinsk (unknown)
History
- 2026-11-02: add by m2/dev
Examples XKZDRVJR6H
| URI | m2://inv/XKZDRVJR6H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic variety#GJBF, Examples (example)
History
- 2026-11-02: add by m2/dev
XKZDRVWF74 XKZDRVWF74
| URI | m2://inv/XKZDRVWF74 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30544#76IJ (statement). In CB35ZBBBPT/e1, theorem 3.9
History
- 2026-10-31: add by m2/v0.5.6
XKZNTSQAQ8 XKZNTSQAQ8
| URI | m2://inv/XKZNTSQAQ8 |
|---|---|
| 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.11939#UQTO (statement). In DQMEN40FZV/e1, lemma 11
History
- 2026-10-28: add by m2/v0.4.3
XKZNYQFZ37 XKZNYQFZ37
| URI | m2://inv/XKZNYQFZ37 |
|---|---|
| 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#7USX (statement). In D8T5GDXERW/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Algebraic PID Outer Partition XKZVP5PZFW
| URI | m2://inv/XKZVP5PZFW |
|---|---|
| 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.37578#03NP, Algebraic PID Outer Partition (statement). In D7NDCWSDJE/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
Nesting algorithm XKZWVDJ4WH
| URI | m2://inv/XKZWVDJ4WH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nesting algorithm, Nesting algorithm (definition). Also Wikidata Q17042063
History
- 2026-11-02: add by m2/dev
Examples XKZZF2ZQ0Y
| URI | m2://inv/XKZZF2ZQ0Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semisimple module#4503, Examples (example)
History
- 2026-11-02: add by m2/dev