Inventory rows ZS
The cards of the rows of the inventory whose ids start with ZS. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
ZS0CD6QX1E ZS0CD6QX1E
| URI | m2://inv/ZS0CD6QX1E |
|---|---|
| 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.14692#WQI7 (statement). In NE5EH5FXRV/e1, theorem 3.8
History
- 2026-10-27: add by m2/v0.3.5
Fred D. Anderson ZS0K16HC1W
| URI | m2://inv/ZS0K16HC1W |
|---|---|
| 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#7A23, Fred D. Anderson (unknown)
History
- 2026-11-02: add by m2/dev
minion homomorphism ZS0WX12R0M
| URI | m2://inv/ZS0WX12R0M |
|---|---|
| Kind | definition |
| 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#DFYZ, minion homomorphism (definition). In GW23NX78SB/e1, definition 2.21
History
- 2026-10-28: add by m2/v0.4.2
ZS10PT0G0F ZS10PT0G0F
| URI | m2://inv/ZS10PT0G0F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17527#S5EX (statement). In GWSBQ7MN49/e1, theorem 5.4
History
- 2026-10-28: add by m2/v0.4.2
Juan José Manjarín ZS13YJ9HVT
| URI | m2://inv/ZS13YJ9HVT |
|---|---|
| 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 Q102362748, Juan José Manjarín (unknown). Also nLab Juan José Manjarín
History
- 2026-10-26: add by m2/dev
Prismatoid ZS15631FTC
| URI | m2://inv/ZS15631FTC |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#6LB0, Prismatoid (object)
History
- 2026-11-02: add by m2/dev
ZS16P3CH6V ZS16P3CH6V
| URI | m2://inv/ZS16P3CH6V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07909#AJMW (statement). In 6KST0WX37C/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
ZS1DJ6ECZ7 ZS1DJ6ECZ7
| URI | m2://inv/ZS1DJ6ECZ7 |
|---|---|
| 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.05067#ZXX5 (statement). In 34BXY2SJ1X/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.12
ZS1NGXC8MA ZS1NGXC8MA
| URI | m2://inv/ZS1NGXC8MA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40191#JD5B (statement). In F0D8VSM4Z4/e1, theorem 4.7
History
- 2026-10-30: add by m2/v0.4.12
Ternary commutator ZS1XXNV9ZT
| URI | m2://inv/ZS1XXNV9ZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ternary commutator, Ternary commutator (definition). Also Wikidata Q7702929
History
- 2026-11-02: add by m2/dev
ZS1Y053GRW ZS1Y053GRW
| URI | m2://inv/ZS1Y053GRW |
|---|---|
| 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.20702#S09I (statement)
History
- 2026-11-02: add by m2/v0.6.18
John Irwin Hutchinson ZS26HTGPDG
| URI | m2://inv/ZS26HTGPDG |
|---|---|
| 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#WUPT, John Irwin Hutchinson (topic)
History
- 2026-11-02: add by m2/dev
trigonometric function ZS2AN5QQPQ
| URI | m2://inv/ZS2AN5QQPQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Trigonometric functions H313BRXEJS |
Mentions
- wikidata: Wikidata Q93344, trigonometric function (unknown). Also MathWorld TrigonometricFunctions, nLab trigonometric function
- wikipedia: Wikipedia Trigonometric functions, Trigonometric functions (definition). Also Wikidata Q93344
History
- 2026-10-26: add by m2/dev
The origin of the conjecture ZS2CEM0SXM
| URI | m2://inv/ZS2CEM0SXM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel conjecture#6LC5, The origin of the conjecture (statement)
History
- 2026-11-02: add by m2/dev
Definition ZS2CQX59KJ
| URI | m2://inv/ZS2CQX59KJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Densely defined operator#HMEW, Definition (definition)
History
- 2026-11-02: add by m2/dev
ZS2DVEDR00 ZS2DVEDR00
| URI | m2://inv/ZS2DVEDR00 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27484#KYMV (example)
History
- 2026-11-01: add by m2/v0.6.15
Spectral compactness in \(L^2(I;H)\ ZS2EWC0F4T
| URI | m2://inv/ZS2EWC0F4T |
|---|---|
| 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.33033#MGD9, Spectral compactness in \(L^2(I;H)\ (statement). In AJWBAHJ8VD/e1, theorem 7.2
History
- 2026-10-31: add by m2/v0.5.6
ZS2H8A1XGS ZS2H8A1XGS
| URI | m2://inv/ZS2H8A1XGS |
|---|---|
| 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 2205.09049#PM21 (statement). In 37S7MNMZ2F/e1, lemma 10
History
- 2026-10-27: add by m2/v0.3.5
ZS2VFV6R7Y ZS2VFV6R7Y
| URI | m2://inv/ZS2VFV6R7Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.14097#D6C3 (statement). In H52QQS8WZA/e1, theorem 7.5
History
- 2026-10-27: add by m2/v0.3.5
Mie phase function ZS35D2QJ8G
| URI | m2://inv/ZS35D2QJ8G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#NKR1, Mie phase function (unknown)
History
- 2026-11-02: add by m2/dev
ZS3EGD25B7 ZS3EGD25B7
| URI | m2://inv/ZS3EGD25B7 |
|---|---|
| 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 2401.00191#KB05 (definition). In ZMH2KJDAWJ/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.3.5
Alternative definitions ZS3F60GK91
| URI | m2://inv/ZS3F60GK91 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov operator#TL68, Alternative definitions (definition)
History
- 2026-11-02: add by m2/dev
ZS3H5Q0KHT ZS3H5Q0KHT
| URI | m2://inv/ZS3H5Q0KHT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28254#V0SN (definition)
History
- 2026-11-01: add by m2/v0.6.15
ZS3PDHGQ7V ZS3PDHGQ7V
| URI | m2://inv/ZS3PDHGQ7V |
|---|---|
| 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.13528#X9BY (statement). In TSBJEBS7SP/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.2
ZS3VABQ0S6 ZS3VABQ0S6
| URI | m2://inv/ZS3VABQ0S6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30675#KPSY (statement). In RQ0K0A6PQA/e1, theorem 3.2
History
- 2026-10-31: add by m2/v0.5.6
ZS482K5JPR ZS482K5JPR
| URI | m2://inv/ZS482K5JPR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.05533#ZGI0 (statement). In 14DZA4M2C6/e1, lemma B.1
History
- 2026-10-27: add by m2/v0.3.5
ZS48VM46SC ZS48VM46SC
| URI | m2://inv/ZS48VM46SC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02111#45KB (statement). In NC5ZRF6F8N/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
ZS4GZ3B0GQ ZS4GZ3B0GQ
| URI | m2://inv/ZS4GZ3B0GQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#6R7V (statement). In M4ZVJWM8YA/e1, lemma 5.8
History
- 2026-10-27: add by m2/v0.4.2
Exact memory representation ZS4PZ62HBT
| URI | m2://inv/ZS4PZ62HBT |
|---|---|
| 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.13951#POL7, Exact memory representation (statement). In BDV8G2CV16/e1, theorem 5
History
- 2026-10-28: add by m2/v0.4.2
ZS4VXXDJ1Z ZS4VXXDJ1Z
| URI | m2://inv/ZS4VXXDJ1Z |
|---|---|
| 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.15094#7358 (statement). In 5AA8PPK2CC/e1, theorem 9
History
- 2026-10-28: add by m2/v0.4.2
ZS4ZR3FXXQ ZS4ZR3FXXQ
| URI | m2://inv/ZS4ZR3FXXQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.16267#UBVU (statement). In 65GKPZ15VH/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
ZS5472ZSXQ ZS5472ZSXQ
| URI | m2://inv/ZS5472ZSXQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13670#QV5J (statement). In 4PGTZ19B26/e1, lemma 7.6
History
- 2026-10-28: add by m2/v0.4.2
Wythoff's game ZS57A1VSKB
| URI | m2://inv/ZS57A1VSKB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3177856, Wythoff's game (concept). Also MathWorld WythoffsGame, ProofWiki Definition:Wythoff's_Game
- wikipedia: Wikipedia Wythoff's game, Wythoff's game (definition). Also Wikidata Q3177856
History
- 2026-10-26: add by m2/dev
\( N \)-th $A$-Parameter Space ZS5DY4E0WV
| URI | m2://inv/ZS5DY4E0WV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.06548#DIL0, \( N \)-th $A$-Parameter Space (definition). In SCC2N3WNYE/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
TI-84 Plus CE ZS5GGGMJG1
| URI | m2://inv/ZS5GGGMJG1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TI-84 Plus CE series#6JJT, TI-84 Plus CE (unknown)
History
- 2026-11-02: add by m2/dev
ZS5J5DVGK7 ZS5J5DVGK7
| URI | m2://inv/ZS5J5DVGK7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#RLV5 (statement). In Y1DR0DPWD0/e1, theorem 7.9
History
- 2026-10-29: add by m2/v0.4.12
Eugenio Bertini ZS5KXMMAPW
| URI | m2://inv/ZS5KXMMAPW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#0ZKM, Eugenio Bertini (topic)
- wikipedia: Wikipedia List of Italian mathematicians#83YO, Eugenio Bertini (topic)
History
- 2026-11-02: add by m2/dev
ZS5WX6AQS3 ZS5WX6AQS3
| URI | m2://inv/ZS5WX6AQS3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#HG47 (statement). In JW8HH6EPG2/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
Definition ZS5YYZ4JRS
| URI | m2://inv/ZS5YYZ4JRS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Preferential attachment#UQMN, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bogacki–Shampine method ZS5YZNB2MB
| URI | m2://inv/ZS5YZNB2MB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bogacki–Shampine method, Bogacki–Shampine method (definition). Also Wikidata Q4937332
History
- 2026-11-02: add by m2/dev
Carol A. Gotway Crawford ZS60A7CCQE
| URI | m2://inv/ZS60A7CCQE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#PHUT, Carol A. Gotway Crawford (topic)
History
- 2026-11-02: add by m2/dev
ZS61THQ3JY ZS61THQ3JY
| URI | m2://inv/ZS61THQ3JY |
|---|---|
| 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 1007.4365#756W (statement). In 935WKCMD8C/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
FedProx convergence for selective SSMs ZS65Y833RR
| URI | m2://inv/ZS65Y833RR |
|---|---|
| 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.02659#5PZP, FedProx convergence for selective SSMs (statement). In EV933413SJ/e1, theorem B.6
History
- 2026-10-29: add by m2/v0.4.12
Formulation ZS66TNXRJM
| URI | m2://inv/ZS66TNXRJM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local volatility#LJOQ, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Philosophy of statistics ZS6BQT0BMM
| URI | m2://inv/ZS6BQT0BMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philosophy of statistics, Philosophy of statistics (definition). Also Wikidata Q7186274
History
- 2026-11-02: add by m2/dev
Examples ZS6D7RM9V0
| URI | m2://inv/ZS6D7RM9V0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear complex structure#MIIU, Examples (example)
History
- 2026-11-02: add by m2/dev
ZS6K3S1KP8 ZS6K3S1KP8
| URI | m2://inv/ZS6K3S1KP8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#Y9ML (example). In 7V3HG30ZGW/e1, example A.15
History
- 2026-10-27: add by m2/v0.4.0
Rape in Mexico ZS6NKFE5XN
| URI | m2://inv/ZS6NKFE5XN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rape statistics#6Q7D, Rape in Mexico (unknown)
History
- 2026-11-02: add by m2/dev
the category of topological spaces ZS6QNM6G34
| URI | m2://inv/ZS6QNM6G34 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > the category of topological spaces, the category of topological spaces (unknown). Also Mathlib TopCat
History
- 2026-10-26: add by m2/dev
ZS6R48XWMM ZS6R48XWMM
| URI | m2://inv/ZS6R48XWMM |
|---|---|
| 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 2507.05923#SR1K (statement). In ZFKZ6YDT62/e1, lemma 15
History
- 2026-10-27: add by m2/v0.4.0
ZS6Y2VBWEH ZS6Y2VBWEH
| URI | m2://inv/ZS6Y2VBWEH |
|---|---|
| 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.06899#EPII (statement). In 5Z2K9JGFSS/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
ZS768EZ0KG ZS768EZ0KG
| URI | m2://inv/ZS768EZ0KG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#OU1T (statement). In 5E9G06XJKC/e1, lemma F.18
History
- 2026-10-28: add by m2/v0.4.2
ideal ZS7AW5HMC3
| URI | m2://inv/ZS7AW5HMC3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#PZ2J, ideal (definition)
History
- 2026-11-02: add by m2/dev
Example ZS7FM7FW4S
| URI | m2://inv/ZS7FM7FW4S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unscented transform#96LO, Example (example)
History
- 2026-11-02: add by m2/dev
ZS7KVNYW8J ZS7KVNYW8J
| URI | m2://inv/ZS7KVNYW8J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26896#AX5P (statement)
History
- 2026-11-01: add by m2/v0.6.15
Corollary 1 ZS7MX03302
| URI | m2://inv/ZS7MX03302 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel–Carathéodory theorem#EG5T, Corollary 1 (statement)
History
- 2026-11-02: add by m2/dev
Galina Perelman ZS7SECTE3G
| URI | m2://inv/ZS7SECTE3G |
|---|---|
| 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#M6QI, Galina Perelman (unknown)
History
- 2026-11-02: add by m2/dev
Sketch ZS7THZ6GQK
| URI | m2://inv/ZS7THZ6GQK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#Y1S1, Sketch (definition). In 9DQKY7KGE8/e1, definition B.6
History
- 2026-10-31: add by m2/v0.5.6
Gordana Todorov ZS7WPKC4AE
| URI | m2://inv/ZS7WPKC4AE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gordana Todorov, Gordana Todorov (topic). Also Wikidata Q102192145
History
- 2026-11-02: add by m2/dev
ZS7YYAVR14 ZS7YYAVR14
| URI | m2://inv/ZS7YYAVR14 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#M9FT (definition). In 3KTZ6Z615H/e1, definition 6.1
History
- 2026-10-30: add by m2/v0.4.12
Upper-row counting formula ZS81YM7DJ6
| URI | m2://inv/ZS81YM7DJ6 |
|---|---|
| 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.31336#E4QA, Upper-row counting formula (statement). In 70RV7J456D/e1, proposition 14
History
- 2026-10-31: add by m2/v0.5.6
Parity census; Ruskey ZS87FYEHEC
| URI | m2://inv/ZS87FYEHEC |
|---|---|
| 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.01240#4YN3, Parity census; Ruskey (statement). In XD5HCP8DHF/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.12
ZS8D0J6QGN ZS8D0J6QGN
| URI | m2://inv/ZS8D0J6QGN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18847#2CJG (statement). In DZ12XTTJSM/e1, proposition 5.7
History
- 2026-10-28: add by m2/v0.4.2
Properties ZS8DQ92XAY
| URI | m2://inv/ZS8DQ92XAY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate random variable#6I34, Properties (statement)
History
- 2026-11-02: add by m2/dev
Applications ZS8DS9BPKW
| URI | m2://inv/ZS8DS9BPKW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor operator#I9X8, Applications (example)
History
- 2026-11-02: add by m2/dev
hypergeometric differential equation ZS8G3Q5AFS
| URI | m2://inv/ZS8G3Q5AFS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3730875, hypergeometric differential equation (unknown). Also EoM hypergeometric_equation, MathWorld HypergeometricDifferentialEquation
History
- 2026-10-26: add by m2/dev
ZS8MDBRGD4 ZS8MDBRGD4
| URI | m2://inv/ZS8MDBRGD4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#SOUO (statement). In RTE2C0PH4S/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Set-cover abduction ZS8MP3V0W4
| URI | m2://inv/ZS8MP3V0W4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abductive reasoning#VBSO, Set-cover abduction (unknown)
History
- 2026-11-02: add by m2/dev
ZS8PG5REHT ZS8PG5REHT
| URI | m2://inv/ZS8PG5REHT |
|---|---|
| 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 2510.12502#GHSP (statement). In 3A4K47Y9F2/e1, lemma 6.35
History
- 2026-10-27: add by m2/v0.4.0
Real root isolation methods derived from Vincent's theorem ZS8SSGM2VT
| URI | m2://inv/ZS8SSGM2VT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vincent's theorem#YQ6V, Real root isolation methods derived from Vincent's theorem (statement)
History
- 2026-11-02: add by m2/dev
Liénard's theorem ZS9205W6SX
| URI | m2://inv/ZS9205W6SX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#GOS1, Liénard's theorem (definition)
History
- 2026-11-02: add by m2/dev
Cayley transform ZS945SCNBC
| URI | m2://inv/ZS945SCNBC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.06637#W08C, Cayley transform (example). In KFCJ5CFP3G/e1, example A.4
History
- 2026-10-27: add by m2/v0.3.5
ZS98WZMSMB ZS98WZMSMB
| URI | m2://inv/ZS98WZMSMB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34011#CF18 (definition). In RAXRNDW2Z0/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
ZS9A09KHSR ZS9A09KHSR
| URI | m2://inv/ZS9A09KHSR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16640#YTEL (statement). In DEVX71G2ZK/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
Examples ZS9DMGS1PF
| URI | m2://inv/ZS9DMGS1PF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Littlewood's Tauberian theorem#CVVE, Examples (example)
History
- 2026-11-02: add by m2/dev
Special cases ZS9G1YR837
| URI | m2://inv/ZS9G1YR837 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sparse matrix#YXRN, Special cases (statement)
History
- 2026-11-02: add by m2/dev
ZS9PFRRYW2 ZS9PFRRYW2
| URI | m2://inv/ZS9PFRRYW2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21358#F6QT (statement). In XV70TXYS5A/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
Arnold Walfisz ZS9PHMVKNM
| URI | m2://inv/ZS9PHMVKNM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#R5UT, Arnold Walfisz (topic)
History
- 2026-11-02: add by m2/dev
Tilt-excess estimate ZSA1KGAX51
| URI | m2://inv/ZSA1KGAX51 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09596#N8VV, Tilt-excess estimate (statement). In HXFA55BREZ/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
ZSA5NZR1FN ZSA5NZR1FN
| URI | m2://inv/ZSA5NZR1FN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16605#VSVQ (statement). In KZ175036B5/e1, theorem 1.8
History
- 2026-10-28: add by m2/v0.4.2
Via the Monotone Convergence Theorem ZSA79EBESP
| URI | m2://inv/ZSA79EBESP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fatou's lemma#2W57, Via the Monotone Convergence Theorem (statement)
History
- 2026-11-02: add by m2/dev
Eberlein–Šmulian theorem ZSA7C750CC
| URI | m2://inv/ZSA7C750CC |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2226650, Eberlein–Šmulian theorem (statement). Also Wikidata Q2226650
- thousand_plus: thousand_plus Q2226650, Eberlein–Šmulian theorem (statement). Also Wikidata Q2226650, Wikipedia Eberlein–Šmulian theorem
- wikipedia: Wikipedia Eberlein–Šmulian theorem, Eberlein–Šmulian theorem (statement). Also Wikidata Q2226650
History
- 2026-10-26: add by m2/dev
ZSA7XFGTYB ZSA7XFGTYB
| URI | m2://inv/ZSA7XFGTYB |
|---|---|
| Kind | statement |
| 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.10077#JETH (statement). In YA7H9PY3R1/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.10
Whitney umbrella ZSAB2RKX09
| URI | m2://inv/ZSAB2RKX09 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#8ZI9, Whitney umbrella (definition)
- wikipedia: Wikipedia List of complex and algebraic surfaces#ALT3, Whitney umbrella (definition)
- wikipedia: Wikipedia List of surfaces#8L7U, Whitney umbrella (definition)
- wikipedia: Wikipedia List of surfaces#RGU9, Whitney umbrella (definition)
History
- 2026-11-02: add by m2/dev
Clifford Truesdell ZSAD1EAKK9
| URI | m2://inv/ZSAD1EAKK9 |
|---|---|
| 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#YX54, Clifford Truesdell (unknown)
History
- 2026-11-02: add by m2/dev
Vijay K. Dhir ZSAEXRYRZZ
| URI | m2://inv/ZSAEXRYRZZ |
|---|---|
| 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#WU7P, Vijay K. Dhir (unknown)
History
- 2026-11-02: add by m2/dev
Cellular automaton ZSATCXWZYG
| URI | m2://inv/ZSATCXWZYG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#ZLAV, Cellular automaton (definition)
History
- 2026-11-02: add by m2/dev
Einstein–Cartan theory ZSAVD9AKVR
| URI | m2://inv/ZSAVD9AKVR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Élie Cartan#H975, Einstein–Cartan theory (definition)
- wikipedia: Wikipedia List of mathematical topics in relativity#E30Q, Einstein–Cartan theory (definition)
History
- 2026-11-02: add by m2/dev
Religious pluralism ZSB52P20P2
| URI | m2://inv/ZSB52P20P2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Religious pluralism, Religious pluralism (definition). Also Wikidata Q2002426
History
- 2026-11-02: add by m2/dev
Karen Vogtmann ZSBN27N33Y
| URI | m2://inv/ZSBN27N33Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#G443, Karen Vogtmann (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8V0U, Karen Vogtmann (topic)
History
- 2026-11-02: add by m2/dev
Ludwig Adolf Sohncke ZSBPDH69W3
| URI | m2://inv/ZSBPDH69W3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ludwig Adolf Sohncke, Ludwig Adolf Sohncke (topic). Also Wikidata Q6456336
History
- 2026-11-02: add by m2/dev
existence and uniqueness ZSBYVHW96Y
| URI | m2://inv/ZSBYVHW96Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.26645#EM72, existence and uniqueness (statement)
History
- 2026-11-01: add by m2/v0.6.15
Induced representation ZSC0BXHQ6Q
| URI | m2://inv/ZSC0BXHQ6Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of harmonic analysis topics#POOS, Induced representation (definition)
History
- 2026-11-02: add by m2/dev
ZSCAWZK0TJ ZSCAWZK0TJ
| URI | m2://inv/ZSCAWZK0TJ |
|---|---|
| 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.15723#6X25 (statement). In A3KXZ2GBHN/e1, lemma 11
History
- 2026-10-28: add by m2/v0.4.2
ergodic theorem ZSCDZNY9DF
| URI | m2://inv/ZSCDZNY9DF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2735874, ergodic theorem (statement). Also MathWorld BirkhoffsErgodicTheorem
History
- 2026-10-26: add by m2/dev
elongated pentagonal cupola ZSCEQJ5ECH
| URI | m2://inv/ZSCEQJ5ECH |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q584110, elongated pentagonal cupola (object). Also MathWorld ElongatedPentagonalCupola
- wikipedia: Wikipedia Elongated pentagonal cupola, Elongated pentagonal cupola (object). Also Wikidata Q584110
History
- 2026-10-26: add by m2/dev
ZSCMJP2FM5 ZSCMJP2FM5
| URI | m2://inv/ZSCMJP2FM5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-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 2610.01694#HQBP (statement). In EBMHYN0XK9/e1, theorem 3.10
History
- 2026-10-29: add by m2/v0.4.12
David Gottlieb ZSCMXBAES1
| URI | m2://inv/ZSCMXBAES1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#4II9, David Gottlieb (topic)
History
- 2026-11-02: add by m2/dev
General antichain formula ZSCNKW4RQ9
| URI | m2://inv/ZSCNKW4RQ9 |
|---|---|
| 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.03579#GB8Y, General antichain formula (statement). In PZQ3D6A9J0/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
Join attachment ZSCT27M7HR
| URI | m2://inv/ZSCT27M7HR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28160#N005, Join attachment (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZSCV8XEJHQ ZSCV8XEJHQ
| URI | m2://inv/ZSCV8XEJHQ |
|---|---|
| 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 2605.17484#HSS3 (statement). In 5E9GMPKEEP/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
ZSCW25HDT6 ZSCW25HDT6
| URI | m2://inv/ZSCW25HDT6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 1408.1555#PKIO (statement). In S1F2QW24YW/e1, lemma 2.21
History
- 2026-10-27: add by m2/v0.3.5
ZSD2P1V1TH ZSD2P1V1TH
| URI | m2://inv/ZSD2P1V1TH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-4.xml#activity-2 (exercise). In 649HGZKE96, activity, section 6.4.3
History
- 2026-11-01: add by m2/v0.6.13
Exact channel singular values ZSD5NF7WQP
| URI | m2://inv/ZSD5NF7WQP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11652#65E9, Exact channel singular values (statement). In VEXM27M8Q1/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.3
ZSD949RGVW ZSD949RGVW
| URI | m2://inv/ZSD949RGVW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03619#TV6H (definition). In 7SRERSS1PF/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Éléments de géométrie algébrique ZSDCXX5N9S
| URI | m2://inv/ZSDCXX5N9S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#B3U4, Éléments de géométrie algébrique (definition)
History
- 2026-11-02: add by m2/dev
Sivaguru S. Sritharan ZSDG3B9FPZ
| URI | m2://inv/ZSDG3B9FPZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sivaguru S. Sritharan, Sivaguru S. Sritharan (topic). Also Wikidata Q97574695
History
- 2026-11-02: add by m2/dev
ZSDH9M6PS2 ZSDH9M6PS2
| URI | m2://inv/ZSDH9M6PS2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/identity.tex#defn:term-model-factor (definition). In PKGMM3P5QY, defn, section 11.4
History
- 2026-11-01: add by m2/v0.6.13
ZSDW7GG6WM ZSDW7GG6WM
| URI | m2://inv/ZSDW7GG6WM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.20663#67YS (statement). In AZMX0CY5NE/e1, proposition 13
History
- 2026-10-27: add by m2/v0.4.2
ZSE97QWPEK ZSE97QWPEK
| URI | m2://inv/ZSE97QWPEK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17798#39K2 (statement). In 66H5YPQCYV/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
probability distribution ZSEDAWE7DJ
| URI | m2://inv/ZSEDAWE7DJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#5WK1, probability distribution (definition)
History
- 2026-11-02: add by m2/dev
Controlling the initialization error ZSEEPHKN20
| URI | m2://inv/ZSEEPHKN20 |
|---|---|
| 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.15202#3HUD, Controlling the initialization error (statement). In X1FPG0KYBM/e1, corollary 5.2
History
- 2026-10-28: add by m2/v0.4.2
Winner's curse ZSEN5SG4Q0
| URI | m2://inv/ZSEN5SG4Q0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Winner's curse, Winner's curse (definition). Also Wikidata Q617228
History
- 2026-11-02: add by m2/dev
Definitions ZSENB99HMC
| URI | m2://inv/ZSENB99HMC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Filters in topology#C3SW, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Henry Cohn ZSEY0PVTH4
| URI | m2://inv/ZSEY0PVTH4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2HNO, Henry Cohn (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UI9I, Henry Cohn (topic)
History
- 2026-11-02: add by m2/dev
Color and Symmetry ZSEZD6DE13
| URI | m2://inv/ZSEZD6DE13 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Color and Symmetry, Color and Symmetry (definition). Also Wikidata Q125536094
History
- 2026-11-02: add by m2/dev
elongated square gyrobicupola ZSEZMSWP9A
| URI | m2://inv/ZSEZMSWP9A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2260391, elongated square gyrobicupola (object). Also MathWorld ElongatedSquareGyrobicupola
- wikipedia: Wikipedia Elongated square gyrobicupola, Elongated square gyrobicupola (definition). Also Wikidata Q2260391
History
- 2026-10-26: add by m2/dev
Necessary and sufficient conditions for well-posedness ZSF32ADA2H
| URI | m2://inv/ZSF32ADA2H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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 2409.03461#RGPR, Necessary and sufficient conditions for well-posedness (statement). In XJVZSGCX5V/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
ground form ZSF4Z33886
| URI | m2://inv/ZSF4Z33886 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#KSV1, ground form (definition)
History
- 2026-11-02: add by m2/dev
ZSFAMQH13P ZSFAMQH13P
| URI | m2://inv/ZSFAMQH13P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.11301#7288 (definition). In YH1W5A0JTS/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
ZSFD8266PC ZSFD8266PC
| URI | m2://inv/ZSFD8266PC |
|---|---|
| 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 2104.05191#SRUT (statement). In CCNH3FK8YZ/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
ZSFH0AV2WX ZSFH0AV2WX
| URI | m2://inv/ZSFH0AV2WX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#8Q3K (statement). In G70Q2FB591/e1, proposition 4.34
History
- 2026-10-28: add by m2/v0.4.2
Proposition 20 ZSFHZ2082C
| URI | m2://inv/ZSFHZ2082C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclid's lemma#OAIP, Proposition 20 (statement)
History
- 2026-11-02: add by m2/dev
ZSG3YDRV70 ZSG3YDRV70
| URI | m2://inv/ZSG3YDRV70 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-2-2-3.xml#act-2-2-3 (exercise). In 907G4C4EJ1, activity, section 2.2.2
History
- 2026-11-01: add by m2/v0.6.13
ZSGMXV5QW3 ZSGMXV5QW3
| URI | m2://inv/ZSGMXV5QW3 |
|---|---|
| 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 2609.26307#U70M (definition)
History
- 2026-11-01: add by m2/v0.6.15
Prime-factor FFT algorithm ZSGMZ8QW7K
| URI | m2://inv/ZSGMZ8QW7K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime-factor FFT algorithm, Prime-factor FFT algorithm (definition). Also Wikidata Q7243214
History
- 2026-11-02: add by m2/dev
ZSGN2BTMW1 ZSGN2BTMW1
| URI | m2://inv/ZSGN2BTMW1 |
|---|---|
| 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 2302.05529#XMNN (statement). In 9VPMHV0M4R/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
ZSHH3KNBWC ZSHH3KNBWC
| URI | m2://inv/ZSHH3KNBWC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10233#EYCU (definition). In QR9WE79ERQ/e1, definition 8.5
History
- 2026-10-29: add by m2/v0.4.10
John von Neumann ZSHMJJY3KK
| URI | m2://inv/ZSHMJJY3KK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#81QS, John von Neumann (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CJ7I, John von Neumann (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YOEG, John von Neumann (topic)
History
- 2026-11-02: add by m2/dev
Examples ZSHRPR3AGQ
| URI | m2://inv/ZSHRPR3AGQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Associated bundle#08AE, Examples (example)
History
- 2026-11-02: add by m2/dev
ZSHSXWKJD2 ZSHSXWKJD2
| URI | m2://inv/ZSHSXWKJD2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/pr-functions.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 3.30
History
- 2026-11-01: add by m2/v0.6.13
ZSJ9SWS61G ZSJ9SWS61G
| URI | m2://inv/ZSJ9SWS61G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30519#07GI (definition). In GQQZNRYK15/e1, definition 5.1
History
- 2026-10-31: add by m2/v0.5.6
Mrs. Perkins's quilt ZSJJ60024V
| URI | m2://inv/ZSJJ60024V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Squaring the square#NLT0, Mrs. Perkins's quilt (unknown)
History
- 2026-11-02: add by m2/dev
Richard Thacker Morris ZSJNQGH48R
| URI | m2://inv/ZSJNQGH48R |
|---|---|
| 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#U5WC, Richard Thacker Morris (unknown)
History
- 2026-11-02: add by m2/dev
complete graph K6 ZSJWDRBZJV
| URI | m2://inv/ZSJWDRBZJV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q127861138, complete graph K6 (unknown). Also House of Graphs 232
History
- 2026-10-26: add by m2/dev
Pathwise phase transition ZSJZB2WQX1
| URI | m2://inv/ZSJZB2WQX1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00614#Z26G, Pathwise phase transition (statement). In NC5Z77F6H4/e1, corollary 6.6
History
- 2026-10-30: add by m2/v0.4.12
Group object ZSJZVEBP83
| URI | m2://inv/ZSJZVEBP83 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#WZVT, Group object (definition)
History
- 2026-11-02: add by m2/dev
The suspension on the components ZSJZWRJYK9
| URI | m2://inv/ZSJZWRJYK9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04164#5P4Y, The suspension on the components (statement). In KR7WXN4EWR/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.12
Well-formed formula ZSK25XHKRH
| URI | m2://inv/ZSK25XHKRH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Well-formed formula, Well-formed formula (statement). Also Wikidata Q655328
History
- 2026-11-02: add by m2/dev
Tamar Schlick ZSK2C0JXTG
| URI | m2://inv/ZSK2C0JXTG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#K2FU, Tamar Schlick (topic)
History
- 2026-11-02: add by m2/dev
Existence of primal equilibria ZSK7XMSNWA
| URI | m2://inv/ZSK7XMSNWA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20998#3J1B, Existence of primal equilibria (statement)
History
- 2026-11-02: add by m2/v0.6.18
Gröbner basis ZSKQMQKZMV
| URI | m2://inv/ZSKQMQKZMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#IZYI, Gröbner basis (definition)
History
- 2026-11-02: add by m2/dev
Properties ZSKSM3GKYB
| URI | m2://inv/ZSKSM3GKYB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Medial triangle#O636, Properties (statement)
History
- 2026-11-02: add by m2/dev
ZSKVSZE9Q0 ZSKVSZE9Q0
| URI | m2://inv/ZSKVSZE9Q0 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 13-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10925#7LNX (problem). In 9604WYX0BW/e1, problem 6.1
History
- 2026-10-28: add by m2/v0.4.3
Richard Weber ZSKWHWVJ1V
| URI | m2://inv/ZSKWHWVJ1V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6985, Richard Weber (topic)
History
- 2026-11-02: add by m2/dev
ZSKX5F2700 ZSKX5F2700
| URI | m2://inv/ZSKX5F2700 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16408#03CE (statement). In VGQ2QT73ZF/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
ZSM1J0ZRPN ZSM1J0ZRPN
| URI | m2://inv/ZSM1J0ZRPN |
|---|---|
| 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.21972#1B0K (statement)
History
- 2026-11-02: add by m2/v0.6.17
Eugenio Elia Levi ZSMAR6B75Q
| URI | m2://inv/ZSMAR6B75Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#J536, Eugenio Elia Levi (topic)
History
- 2026-11-02: add by m2/dev
ZSMBQ52FZE ZSMBQ52FZE
| URI | m2://inv/ZSMBQ52FZE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1303.4328#9MHN (statement). In HCTYW6VH87/e1, proposition 5.7
History
- 2026-10-27: add by m2/v0.3.5
The residual three-point case ZSMC14NKVR
| URI | m2://inv/ZSMC14NKVR |
|---|---|
| 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#EOAR, The residual three-point case (statement)
History
- 2026-11-02: add by m2/v0.6.18
ZSMEHQ6PFQ ZSMEHQ6PFQ
| URI | m2://inv/ZSMEHQ6PFQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20270#DJ08 (definition). In GV0QGZH67P/e1, definition
History
- 2026-10-27: add by m2/v0.4.2
Finiteness and order of $J^{(i)}(X)$ ZSMEQ0QKX5
| URI | m2://inv/ZSMEQ0QKX5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33027#W3K0, Finiteness and order of $J^{(i)}(X)$ (statement). In E2AF84709B/e1, proposition 32
History
- 2026-10-31: add by m2/v0.5.6
Examples ZSMHATZQ9R
| URI | m2://inv/ZSMHATZQ9R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sheffer sequence#Q41G, Examples (example)
History
- 2026-11-02: add by m2/dev
Strassmann's theorem ZSMS1G53YA
| URI | m2://inv/ZSMS1G53YA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 12-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7621715, Strassmann's theorem (statement). Also Wikidata Q7621715
- thousand_plus: thousand_plus Q7621715, Strassmann's theorem (statement). Also Wikidata Q7621715, Wikipedia Strassmann's theorem
- wikidata: Wikidata Q7621715, Strassmann's theorem (statement). Also MathWorld StrassmansTheorem
- wikipedia: Wikipedia Strassmann's theorem, Strassmann's theorem (statement). Also Wikidata Q7621715
History
- 2026-10-26: add by m2/dev
ZSN00QJXAG ZSN00QJXAG
| URI | m2://inv/ZSN00QJXAG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21455#QDV1 (statement). In CY0E87QDED/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.2
Cycle counts ZSN6BAVY6P
| URI | m2://inv/ZSN6BAVY6P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14085#NKYQ, Cycle counts (definition). In T8F19ZGHF3/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Richard Crandall ZSNHVXPHFW
| URI | m2://inv/ZSNHVXPHFW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7MFC, Richard Crandall (topic)
History
- 2026-11-02: add by m2/dev
ZSNJ58Q9AD ZSNJ58Q9AD
| URI | m2://inv/ZSNJ58Q9AD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33050#9R9H (example). In VDSBMQ0G9W/e1, example 5.5
History
- 2026-10-30: add by m2/v0.4.12
Local energy inequality for the approximation ZSNKNMP3W2
| URI | m2://inv/ZSNKNMP3W2 |
|---|---|
| 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.13613#7HOQ, Local energy inequality for the approximation (statement). In 3HCT4TQ5PM/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Soddy line ZSNX8QQ3Z8
| URI | m2://inv/ZSNX8QQ3Z8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Soddy line, Soddy line (definition). Also Wikidata Q114741718
History
- 2026-11-02: add by m2/dev
Bucket of models ZSNXWYHD6D
| URI | m2://inv/ZSNXWYHD6D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ensemble learning#2I6G, Bucket of models (unknown)
History
- 2026-11-02: add by m2/dev
ZSP073XVWV ZSP073XVWV
| URI | m2://inv/ZSP073XVWV |
|---|---|
| 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.04317#6EOC (statement). In CF1X73QQ11/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
ZSP25AHBB1 ZSP25AHBB1
| URI | m2://inv/ZSP25AHBB1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-12 (exercise). In E9HS8K3A52, exercise, section 5.2.1
History
- 2026-11-01: add by m2/v0.6.13
The Ultra Secret ZSP2DWS1HC
| URI | m2://inv/ZSP2DWS1HC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F. W. Winterbotham#UBBN, The Ultra Secret (unknown)
History
- 2026-11-02: add by m2/dev
Bayesian statistics ZSP3X6XTG1
| URI | m2://inv/ZSP3X6XTG1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in statistics#523L, Bayesian statistics (topic)
History
- 2026-11-02: add by m2/dev
Assembly ZSP64HSE6F
| URI | m2://inv/ZSP64HSE6F |
|---|---|
| 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.01240#2QDP, Assembly (statement). In XD5HCP8DHF/e1, proposition 26
History
- 2026-10-29: add by m2/v0.4.12
Schild's ladder ZSP7WJ5CXR
| URI | m2://inv/ZSP7WJ5CXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schild's ladder, Schild's ladder (definition). Also Wikidata Q7431297
History
- 2026-11-02: add by m2/dev
Terminology ZSPCA3FADP
| URI | m2://inv/ZSPCA3FADP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Module homomorphism#U27H, Terminology (definition)
History
- 2026-11-02: add by m2/dev
ZSPETQTV49 ZSPETQTV49
| URI | m2://inv/ZSPETQTV49 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.00077#CBVF (problem). In 25WX007DJ1/e1, problem 1
History
- 2026-10-27: add by m2/v0.3.5
ZSPPKS8SV5 ZSPPKS8SV5
| URI | m2://inv/ZSPPKS8SV5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-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.13213#57CQ (statement). In V97F4YZ8B0/e1, lemma 5.11
History
- 2026-10-28: add by m2/v0.4.2
ZSPS1EVMBH ZSPS1EVMBH
| URI | m2://inv/ZSPS1EVMBH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.02634#TG0Y (statement). In EZ6PAF0MXH/e1, corollary 2.6
History
- 2026-10-27: add by m2/v0.3.5
ZSPW4H0CC2 ZSPW4H0CC2
| URI | m2://inv/ZSPW4H0CC2 |
|---|---|
| Kind | definition |
| 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 2302.05529#HC5Q (definition). In 9VPMHV0M4R/e1, definition 1.14
History
- 2026-10-31: add by m2/v0.5.6
Lisa Weissfeld ZSPW56YDMW
| URI | m2://inv/ZSPW56YDMW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lisa Weissfeld, Lisa Weissfeld (topic). Also Wikidata Q102085569
History
- 2026-11-02: add by m2/dev
Crime and religion ZSQ1SEQRBT
| URI | m2://inv/ZSQ1SEQRBT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlates of crime#42N5, Crime and religion (unknown)
History
- 2026-11-02: add by m2/dev
ZSQ3184YRN ZSQ3184YRN
| URI | m2://inv/ZSQ3184YRN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#defn-3 (definition). In E59CDZA4DP, defn, section 8.1.1
History
- 2026-11-01: add by m2/v0.6.13
ZSQ9JWV8P3 ZSQ9JWV8P3
| URI | m2://inv/ZSQ9JWV8P3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22394#R4K6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Minimax characterization, cf.\ ZSQF031PP2
| URI | m2://inv/ZSQF031PP2 |
|---|---|
| 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.02933#H0FD, Minimax characterization, cf.\ (statement). In QSYZKPFRAN/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
natural numbers ZSQH0V23DC
| URI | m2://inv/ZSQH0V23DC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#NO29, natural numbers (definition)
History
- 2026-11-02: add by m2/dev
Properties ZSQMAWMKYW
| URI | m2://inv/ZSQMAWMKYW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overring#1M26, Properties (statement)
History
- 2026-11-02: add by m2/dev
ZSQP2HW49Z ZSQP2HW49Z
| URI | m2://inv/ZSQP2HW49Z |
|---|---|
| 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.09019#Q1WS (statement). In 8V6YECFCC1/e1, corollary 5.4
History
- 2026-10-29: add by m2/v0.4.10
Telescoping identity ZSQQ0TYKT3
| URI | m2://inv/ZSQQ0TYKT3 |
|---|---|
| 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.09001#8OWK, Telescoping identity (statement). In HJC1JJZRSH/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
Vibration ZSQR9444GY
| URI | m2://inv/ZSQR9444GY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vibration, Vibration (definition). Also Wikidata Q3695508
History
- 2026-11-02: add by m2/dev
Charles Jean de la Vallée-Poussin ZSQZRYS98Z
| URI | m2://inv/ZSQZRYS98Z |
|---|---|
| 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#QF41, Charles Jean de la Vallée-Poussin (topic)
History
- 2026-11-02: add by m2/dev
ZSQZV9ZA81 ZSQZV9ZA81
| URI | m2://inv/ZSQZV9ZA81 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.18223#ZS4X (statement). In ZRXE7EJA93/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
ZSR18MPY15 ZSR18MPY15
| URI | m2://inv/ZSR18MPY15 |
|---|---|
| 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#TJWK (statement). In REPGS464V6/e1, lemma 6.2
History
- 2026-10-30: add by m2/v0.4.12
Giammaria Ortes ZSR392F5MM
| URI | m2://inv/ZSR392F5MM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#2CA9, Giammaria Ortes (unknown)
History
- 2026-11-02: add by m2/dev
Gila Bend ZSR6G2HDKQ
| URI | m2://inv/ZSR6G2HDKQ |
|---|---|
| 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#HP7Y, Gila Bend (unknown)
History
- 2026-11-02: add by m2/dev
ZSR9QQE2YD ZSR9QQE2YD
| URI | m2://inv/ZSR9QQE2YD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26600#TIQ7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZSRG01RBZB ZSRG01RBZB
| URI | m2://inv/ZSRG01RBZB |
|---|---|
| Kind | example |
| 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 2506.07061#VQJY (example). In G2PA4KAGRP/e1, example 5.8
History
- 2026-10-27: add by m2/v0.3.6
ZSRJCBHJRW ZSRJCBHJRW
| URI | m2://inv/ZSRJCBHJRW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24325#A731 (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZSRSJK8AEG ZSRSJK8AEG
| URI | m2://inv/ZSRSJK8AEG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-intro.ptx#exercise-5 (exercise). In Y91XFCEVHQ, exercise, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
ZSRYJQ6ATJ ZSRYJQ6ATJ
| URI | m2://inv/ZSRYJQ6ATJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.14383#ZQXG (statement). In QD0X3XJS6T/e1, lemma 6.4
History
- 2026-10-27: add by m2/v0.3.5
Polyominoid ZSS2AMZGHS
| URI | m2://inv/ZSS2AMZGHS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyominoid, Polyominoid (definition). Also Wikidata Q7226669
History
- 2026-11-02: add by m2/dev
Isaac Watts ZSS5CDNN9S
| URI | m2://inv/ZSS5CDNN9S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isaac Watts, Isaac Watts (topic). Also Wikidata Q537034
History
- 2026-11-02: add by m2/dev
doubly non-negative matrix ZSSBVFTEKT
| URI | m2://inv/ZSSBVFTEKT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q22582534, doubly non-negative matrix (unknown). Also MathWorld DoublyNonnegativeMatrix
History
- 2026-10-26: add by m2/dev
unitary character ZSSD4NYEMQ
| URI | m2://inv/ZSSD4NYEMQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77982137, unitary character (unknown). Also MathWorld UnitaryMultiplicativeCharacter
History
- 2026-10-26: add by m2/dev
Manjul Bhargava ZSSF6JNBCT
| URI | m2://inv/ZSSF6JNBCT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#8ZSV, Manjul Bhargava (topic)
History
- 2026-11-02: add by m2/dev
Incidence and Symmetry in Design and Architecture ZSSNS9SV86
| URI | m2://inv/ZSSNS9SV86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incidence and Symmetry in Design and Architecture, Incidence and Symmetry in Design and Architecture (definition). Also Wikidata Q105227084
History
- 2026-11-02: add by m2/dev
Eric T. Bradlow ZSSXSJW4S3
| URI | m2://inv/ZSSXSJW4S3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#GKZ3, Eric T. Bradlow (topic)
History
- 2026-11-02: add by m2/dev
Combined converse ZST03YB378
| URI | m2://inv/ZST03YB378 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10860#ERPM, Combined converse (statement). In PBYNV2WF2H/e1, corollary 4.4
History
- 2026-10-28: add by m2/v0.4.3
ZST499QVTN ZST499QVTN
| URI | m2://inv/ZST499QVTN |
|---|---|
| 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 2405.13323#MO4X (statement). In 5KN5GD38KG/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
ZST5GT993J ZST5GT993J
| URI | m2://inv/ZST5GT993J |
|---|---|
| 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#E83C (statement). In GXHKRV5BPY/e1, proposition 3.20
History
- 2026-10-29: add by m2/v0.4.10
Results ZST6EPPRET
| URI | m2://inv/ZST6EPPRET |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double-negation translation#Y37M, Results (statement)
History
- 2026-11-02: add by m2/dev
Process with independent increments ZSTC147W87
| URI | m2://inv/ZSTC147W87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#NJ72, Process with independent increments (definition)
History
- 2026-11-02: add by m2/dev
ZSTF6T641C ZSTF6T641C
| URI | m2://inv/ZSTF6T641C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-34 (exercise). In E59CDZA4DP, exercise, section 11.3.5
History
- 2026-11-01: add by m2/v0.6.13
Minkowski's uniqueness theorem ZSTGBS7EHN
| URI | m2://inv/ZSTGBS7EHN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski problem for polytopes#HGJA, Minkowski's uniqueness theorem (statement)
History
- 2026-11-02: add by m2/dev
Electromagnetism uniqueness theorem ZSTY92CKA2
| URI | m2://inv/ZSTY92CKA2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electromagnetism uniqueness theorem, Electromagnetism uniqueness theorem (statement). Also Wikidata Q39049561
History
- 2026-11-02: add by m2/dev
ZSV8KS692G ZSV8KS692G
| URI | m2://inv/ZSV8KS692G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.12846#LMUX (statement). In D6XA7JXZF3/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.3.5
Dirac delta function ZSVAK0WBA8
| URI | m2://inv/ZSVAK0WBA8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#23MQ, Dirac delta function (definition)
History
- 2026-11-02: add by m2/dev
generalized momentum ZSVMN3VSD5
| URI | m2://inv/ZSVMN3VSD5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6806305, generalized momentum (definition). Also ProofWiki Definition:Generalized_Momentum
History
- 2026-10-26: add by m2/dev
Equality in strong subadditivity inequality ZSVQ18YPHT
| URI | m2://inv/ZSVQ18YPHT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong subadditivity of quantum entropy#E28H, Equality in strong subadditivity inequality (statement)
History
- 2026-11-02: add by m2/dev
Cell ZSVQMYTJRV
| URI | m2://inv/ZSVQMYTJRV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#6I3H, Cell (definition)
History
- 2026-11-02: add by m2/dev
Strictly upper triangular ZSVVNXKTXJ
| URI | m2://inv/ZSVVNXKTXJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangular matrix#L2YN, Strictly upper triangular (unknown)
History
- 2026-11-02: add by m2/dev
Examples ZSW4ZSAZTB
| URI | m2://inv/ZSW4ZSAZTB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Estimating equations#L7HV, Examples (example)
History
- 2026-11-02: add by m2/dev
separable extension ZSWK8BKCP1
| URI | m2://inv/ZSWK8BKCP1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Separable extension 0N019F6RE9 |
Mentions
- wikidata: Wikidata Q2264756, separable extension (unknown). Also EoM Separable_extension, MathWorld SeparableExtension, nLab separable field extension
- wikipedia: Wikipedia Separable extension, Separable extension (definition). Also Wikidata Q2264756
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Indiscernibles ZSWN3Z7NFM
| URI | m2://inv/ZSWN3Z7NFM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#TWJB, Indiscernibles (definition)
History
- 2026-11-02: add by m2/dev
ZSWRM60CGV ZSWRM60CGV
| URI | m2://inv/ZSWRM60CGV |
|---|---|
| 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.20480#D52X (statement). In BK4359JSC3/e1, lemma 7.1
History
- 2026-10-27: add by m2/v0.4.2
Properties ZSX8F3KEP2
| URI | m2://inv/ZSX8F3KEP2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order dual (functional analysis)#Q3BO, Properties (statement)
History
- 2026-11-02: add by m2/dev
regular space ZSX9JDW3B0
| URI | m2://inv/ZSX9JDW3B0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Regular space 03HMJASQBQ |
Mentions
- wikidata: Wikidata Q1193403, regular space (definition). Also MathWorld RegularSpace, nLab regular space, ProofWiki Definition:T3_Space
- wikipedia: Wikipedia Regular space, Regular space (definition). Also Wikidata Q1193403
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Oppermann's conjecture ZSXC5MEQM7
| URI | m2://inv/ZSXC5MEQM7 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oppermann's conjecture, Oppermann's conjecture (conjecture). Also Wikidata Q3686828
History
- 2026-11-02: add by m2/dev
ZSXGFZR4ZC ZSXGFZR4ZC
| URI | m2://inv/ZSXGFZR4ZC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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.22642#8BBG (statement)
History
- 2026-11-02: add by m2/v0.6.17
Identification of invariant parametric families ZSXHJWMXDV
| URI | m2://inv/ZSXHJWMXDV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33541#8DHZ, Identification of invariant parametric families (statement). In N3P196CEAJ/e1, proposition 3.7
History
- 2026-10-30: add by m2/v0.4.12
Applications ZSXRDAXGCE
| URI | m2://inv/ZSXRDAXGCE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gene regulatory network#M6V8, Applications (example)
History
- 2026-11-02: add by m2/dev
ZSXVWNB913 ZSXVWNB913
| URI | m2://inv/ZSXVWNB913 |
|---|---|
| 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 2605.24355#WBQG (statement). In VV3AJMWWCR/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.6
ZSXYBZ3Y3G ZSXYBZ3Y3G
| URI | m2://inv/ZSXYBZ3Y3G |
|---|---|
| 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.35245#R6RS (statement). In CV1VT7QSVN/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
ZSXZTY8D6J ZSXZTY8D6J
| URI | m2://inv/ZSXZTY8D6J |
|---|---|
| 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.13528#8MCQ (statement). In TSBJEBS7SP/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Quintic of l'Hospital ZSY2VG69ST
| URI | m2://inv/ZSY2VG69ST |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#UN38, Quintic of l'Hospital (unknown)
History
- 2026-11-02: add by m2/dev
Concrete operator space ZSY4AX0S8D
| URI | m2://inv/ZSY4AX0S8D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04608#K4WN, Concrete operator space (definition). In ZYYMXYK7WJ/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.12
ZSY790F4Q1 ZSY790F4Q1
| URI | m2://inv/ZSY790F4Q1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33173#1X38 (statement). In R630A60CMM/e1, corollary 4.2
History
- 2026-10-30: add by m2/v0.4.12
Definition ZSY8K9B4W0
| URI | m2://inv/ZSY8K9B4W0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean signed deviation#R8QV, Definition (definition)
History
- 2026-11-02: add by m2/dev
Proper length ZSYBHDEEPS
| URI | m2://inv/ZSYBHDEEPS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#JYUC, Proper length (unknown)
History
- 2026-11-02: add by m2/dev
Poincaré–Birkhoff theorem ZSYCAXJ9C8
| URI | m2://inv/ZSYCAXJ9C8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Poincaré–Birkhoff theorem K7MR77CHP6 |
Mentions
- wikidata: Wikidata Q3527140, Poincaré–Birkhoff theorem (statement). Also EoM Poincaré_last_theorem
- wikipedia: Wikipedia Poincaré–Birkhoff theorem, Poincaré–Birkhoff theorem (statement). Also Wikidata Q3527140
History
- 2026-10-26: add by m2/dev
Stefan Cohn-Vossen ZSYFRS940W
| URI | m2://inv/ZSYFRS940W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stefan Cohn-Vossen, Stefan Cohn-Vossen (topic). Also Wikidata Q68525
History
- 2026-11-02: add by m2/dev
Examples ZSYNTTEWN4
| URI | m2://inv/ZSYNTTEWN4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operator (mathematics)#NNUL, Examples (example)
History
- 2026-11-02: add by m2/dev
Statista ZSYS2GKSMN
| URI | m2://inv/ZSYS2GKSMN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statista, Statista (definition). Also Wikidata Q2333891
History
- 2026-11-02: add by m2/dev
A Christoffel transfer commutes with the Toda times ZSYTB4PWCP
| URI | m2://inv/ZSYTB4PWCP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#KLAJ, A Christoffel transfer commutes with the Toda times (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZSZ3KVK4C1 ZSZ3KVK4C1
| URI | m2://inv/ZSZ3KVK4C1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37252#ZOY5 (statement). In E3EK0ESPA7/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
binary function ZSZ4RRT6G0
| URI | m2://inv/ZSZ4RRT6G0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3737844, binary function (unknown). Also nLab binary function
- wikipedia: Wikipedia Binary function, Binary function (definition). Also Wikidata Q3737844
History
- 2026-10-26: add by m2/dev
Adriana Neumann de Oliveira ZSZ51S3DFR
| URI | m2://inv/ZSZ51S3DFR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adriana Neumann de Oliveira, Adriana Neumann de Oliveira (topic). Also Wikidata Q51882310
History
- 2026-11-02: add by m2/dev
Properties ZSZ5X62KVN
| URI | m2://inv/ZSZ5X62KVN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gossard perspector#L2FS, Properties (statement)
History
- 2026-11-02: add by m2/dev
ZSZA5BA99V ZSZA5BA99V
| URI | m2://inv/ZSZA5BA99V |
|---|---|
| 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.19260#UNRG (statement). In PWXT7J9JX3/e1, proposition 3.18
History
- 2026-10-28: add by m2/v0.4.2
ZSZNEYE60R ZSZNEYE60R
| URI | m2://inv/ZSZNEYE60R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22180#PYAU (statement). In VXQXVZ7SE7/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.0
Length bound on a primitive cycle basis ZSZQ1FCRP4
| URI | m2://inv/ZSZQ1FCRP4 |
|---|---|
| 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.30561#98TH, Length bound on a primitive cycle basis (statement). In EHQBEXHF9W/e1, lemma 4.3
History
- 2026-10-31: add by m2/v0.5.6