Inventory rows ZT
The cards of the rows of the inventory whose ids start with ZT. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
ZT01EC3DK4 ZT01EC3DK4
| URI | m2://inv/ZT01EC3DK4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05320#4TPG (statement). In MVXZWHKEX8/e1, lemma D
History
- 2026-10-29: add by m2/v0.4.10
ZT09H0ZRNS ZT09H0ZRNS
| URI | m2://inv/ZT09H0ZRNS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01919#8ASB (statement). In 4H727T2YAS/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Deterministic Worst-Case Baseline ZT0BGTH1X2
| URI | m2://inv/ZT0BGTH1X2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09998#PWVB, Deterministic Worst-Case Baseline (statement). In AFMB05H7A6/e1, corollary 19
History
- 2026-10-29: add by m2/v0.4.10
Simplex method ZT0KWM5HQX
| URI | m2://inv/ZT0KWM5HQX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#YIGK, Simplex method (definition)
History
- 2026-11-02: add by m2/dev
ZT0MD1RQP3 ZT0MD1RQP3
| URI | m2://inv/ZT0MD1RQP3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.09319#INRL (statement). In GMRT5GHBZS/e1, lemma C.4
History
- 2026-10-29: add by m2/v0.4.10
ZT0XB4JB5P ZT0XB4JB5P
| URI | m2://inv/ZT0XB4JB5P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33154#F38S (statement). In N28DEYRBW7/e1, proposition E.1
History
- 2026-10-30: add by m2/v0.4.12
Definition ZT0YTGX4NT
| URI | m2://inv/ZT0YTGX4NT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear canonical transformation#YST3, Definition (definition)
History
- 2026-11-02: add by m2/dev
ZT11XBSFGV ZT11XBSFGV
| URI | m2://inv/ZT11XBSFGV |
|---|---|
| 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.25656#8CMY (example)
History
- 2026-11-01: add by m2/v0.6.15
ZT1FECPRCH ZT1FECPRCH
| URI | m2://inv/ZT1FECPRCH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25275#FMQN (example)
History
- 2026-11-01: add by m2/v0.6.15
ZT1KH4C78W ZT1KH4C78W
| URI | m2://inv/ZT1KH4C78W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#44EG (statement)
History
- 2026-11-01: add by m2/v0.6.15
split coequalizer ZT1N6WCA30
| URI | m2://inv/ZT1N6WCA30 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141189893, split coequalizer (unknown). Also nLab split coequalizer
History
- 2026-10-26: add by m2/dev
Cover time ZT1PNH3M7B
| URI | m2://inv/ZT1PNH3M7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cover time, Cover time (definition). Also Wikidata Q137653493
History
- 2026-11-02: add by m2/dev
ZT25BD8EPG ZT25BD8EPG
| URI | m2://inv/ZT25BD8EPG |
|---|---|
| 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 2610.10973#0HCK (statement). In H8NGNDP0XT/e1, corollary 15
History
- 2026-10-28: add by m2/v0.4.3
General definition ZT28P3R6YQ
| URI | m2://inv/ZT28P3R6YQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial isometry#JD8V, General definition (definition)
History
- 2026-11-02: add by m2/dev
Acceptance within cells ZT29R7GYWA
| URI | m2://inv/ZT29R7GYWA |
|---|---|
| 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.11330#8HXI, Acceptance within cells (statement). In Z73GKA9WDB/e1, lemma C.6
History
- 2026-10-28: add by m2/v0.4.3
Combinatorial set theory ZT2DV2VMFM
| URI | m2://inv/ZT2DV2VMFM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#F8MT, Combinatorial set theory (definition)
History
- 2026-11-02: add by m2/dev
Necropolitics ZT2JAPQ5P6
| URI | m2://inv/ZT2JAPQ5P6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Necropolitics, Necropolitics (definition). Also Wikidata Q28003227
History
- 2026-11-02: add by m2/dev
Local Euler characteristic ZT2K6KVTF2
| URI | m2://inv/ZT2K6KVTF2 |
|---|---|
| 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 2610.12330#GX9H, Local Euler characteristic (definition). In XHSKEPT3VD/e1, definition 3.4
History
- 2026-10-28: add by m2/v0.4.2
collapsing algebra ZT2KGCGX5V
| URI | m2://inv/ZT2KGCGX5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#24Q3, collapsing algebra (definition)
History
- 2026-11-02: add by m2/dev
Jacobi method ZT348DF3F1
| URI | m2://inv/ZT348DF3F1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#1L15, Jacobi method (definition)
History
- 2026-11-02: add by m2/dev
ZT3MDZC6P9 ZT3MDZC6P9
| URI | m2://inv/ZT3MDZC6P9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1001.0174#K04Z (statement). In 4P97F3GPJC/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
ZT3QZB8QMG ZT3QZB8QMG
| URI | m2://inv/ZT3QZB8QMG |
|---|---|
| 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.08935#XZA0 (statement). In G02N9D40B9/e1, lemma 4.2.6
History
- 2026-10-29: add by m2/v0.4.10
Anton Deusing ZT3TPB0P89
| URI | m2://inv/ZT3TPB0P89 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anton Deusing, Anton Deusing (topic). Also Wikidata Q18945012
History
- 2026-11-02: add by m2/dev
Applications ZT3YEFGR1X
| URI | m2://inv/ZT3YEFGR1X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leibniz integral rule#8IPK, Applications (example)
History
- 2026-11-02: add by m2/dev
Metric theorems ZT3ZBW7GR1
| URI | m2://inv/ZT3ZBW7GR1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equidistributed sequence#A2E5, Metric theorems (statement)
History
- 2026-11-02: add by m2/dev
Ban number ZT3ZKV9YK9
| URI | m2://inv/ZT3ZKV9YK9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ban number, Ban number (definition). Also Wikidata Q4853736
History
- 2026-11-02: add by m2/dev
collapse ZT40RWTAZM
| URI | m2://inv/ZT40RWTAZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#EUJZ, collapse (definition)
History
- 2026-11-02: add by m2/dev
Line coordinates ZT42FQ1YAM
| URI | m2://inv/ZT42FQ1YAM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line coordinates, Line coordinates (definition). Also Wikidata Q6553237
History
- 2026-11-02: add by m2/dev
ZT4DTZVSRX ZT4DTZVSRX
| URI | m2://inv/ZT4DTZVSRX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23605#TNEH (statement)
History
- 2026-11-02: add by m2/v0.6.17
ZT4FXZRQ0E ZT4FXZRQ0E
| URI | m2://inv/ZT4FXZRQ0E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36045#UWV9 (statement). In F0E8YBV0Z0/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
ZT4JH1BWHM ZT4JH1BWHM
| URI | m2://inv/ZT4JH1BWHM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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 2609.21860#IN5H (statement)
History
- 2026-11-02: add by m2/v0.6.18
ZT4M4Z7J7P ZT4M4Z7J7P
| URI | m2://inv/ZT4M4Z7J7P |
|---|---|
| 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.19088#TXO3 (statement). In 90QTB4CC31/e1, proposition 3.31
History
- 2026-10-28: add by m2/v0.4.2
Shafi Goldwasser ZT4RZRWMH0
| URI | m2://inv/ZT4RZRWMH0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#4XN6, Shafi Goldwasser (topic)
History
- 2026-11-02: add by m2/dev
Theorem ZT4VF3G5JR
| URI | m2://inv/ZT4VF3G5JR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arrow–Debreu model#D924, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Localization criterion ZT4XEWXRJJ
| URI | m2://inv/ZT4XEWXRJJ |
|---|---|
| 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.17717#W56T, Localization criterion (statement). In YXRKS451PK/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
ZT4ZQH8W84 ZT4ZQH8W84
| URI | m2://inv/ZT4ZQH8W84 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20230#EVHQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
ZT5AHE72R1 ZT5AHE72R1
| URI | m2://inv/ZT5AHE72R1 |
|---|---|
| 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.13773#84IW (statement). In E75XQY0QFM/e1, proposition H.1
History
- 2026-10-28: add by m2/v0.4.2
Uses ZT5GD5CF15
| URI | m2://inv/ZT5GD5CF15 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decision tree learning#CGX0, Uses (example)
History
- 2026-11-02: add by m2/dev
ZT5K5HS6S3 ZT5K5HS6S3
| URI | m2://inv/ZT5K5HS6S3 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16875#5E4U (conjecture). In KS30K5JXGB/e1, conjecture
History
- 2026-10-28: add by m2/v0.4.2
ZT5P46W21W ZT5P46W21W
| URI | m2://inv/ZT5P46W21W |
|---|---|
| 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.38138#74EA (statement). In G97FA99ZEF/e1, theorem 1.8
History
- 2026-10-30: add by m2/v0.4.12
Complete rank-one-link strand ZT5QY1D335
| URI | m2://inv/ZT5QY1D335 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#37F3, Complete rank-one-link strand (statement). In XDTM624YPE/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.4.2
ZT629W43HX ZT629W43HX
| URI | m2://inv/ZT629W43HX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.33442#ID9P (statement). In EWY5YPMKA3/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
blocks are the square components of the filtration ZT6908M8T4
| URI | m2://inv/ZT6908M8T4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05617#5WH2, blocks are the square components of the filtration (statement). In 5JP3JTYAXK/e1, theorem 9.4
History
- 2026-10-29: add by m2/v0.4.10
Temporal coherence ZT6A4AGK35
| URI | m2://inv/ZT6A4AGK35 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherence (physics)#4NQT, Temporal coherence (unknown)
History
- 2026-11-02: add by m2/dev
ZT6B075FVS ZT6B075FVS
| URI | m2://inv/ZT6B075FVS |
|---|---|
| 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.12105#J54D (statement). In 289HM2RXT3/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.3
ZT6E3S6AKH ZT6E3S6AKH
| URI | m2://inv/ZT6E3S6AKH |
|---|---|
| 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.01932#GBSB (statement). In XDKWW6NR0K/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
ZT6GXPBGZN ZT6GXPBGZN
| URI | m2://inv/ZT6GXPBGZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#RJIT (statement). In 3KTZ6Z615H/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Ralph Lent Jeffery ZT6HPZ0Y6M
| URI | m2://inv/ZT6HPZ0Y6M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ralph Lent Jeffery, Ralph Lent Jeffery (topic). Also Wikidata Q7287794
History
- 2026-11-02: add by m2/dev
ZT6YBYNERZ ZT6YBYNERZ
| URI | m2://inv/ZT6YBYNERZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23682#9UHX (statement)
History
- 2026-11-02: add by m2/v0.6.17
ZT6ZAEKT0S ZT6ZAEKT0S
| URI | m2://inv/ZT6ZAEKT0S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25314#TQQN (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZT72VYBC3T ZT72VYBC3T
| URI | m2://inv/ZT72VYBC3T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.26762#O91G (statement)
History
- 2026-11-01: add by m2/v0.6.15
Euler's sieve ZT77X8KX6Z
| URI | m2://inv/ZT77X8KX6Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sieve of Eratosthenes#DPG9, Euler's sieve (unknown)
History
- 2026-11-02: add by m2/dev
Wasserstein lower bound; product upper bound ZT7D3NGMPF
| URI | m2://inv/ZT7D3NGMPF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21985#24TS, Wasserstein lower bound; product upper bound (statement)
History
- 2026-11-02: add by m2/v0.6.17
ZT7DAVQ5XE ZT7DAVQ5XE
| URI | m2://inv/ZT7DAVQ5XE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06785#HJLE (statement). In PG6AEWX25E/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
The sieve bias is free of the relevance ZT7F5HDZNB
| URI | m2://inv/ZT7F5HDZNB |
|---|---|
| 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.14695#EPHM, The sieve bias is free of the relevance (statement). In T15EJSPCNG/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Sierpiński space ZT7KE5JG3A
| URI | m2://inv/ZT7KE5JG3A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#8DYO, Sierpiński space (definition)
History
- 2026-11-02: add by m2/dev
Norman Breslow ZT7N5SYRK5
| URI | m2://inv/ZT7N5SYRK5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Norman Breslow, Norman Breslow (topic). Also Wikidata Q7051998
History
- 2026-11-02: add by m2/dev
Challenging ZT7W6X1W4E
| URI | m2://inv/ZT7W6X1W4E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise:mstotbound, Challenging (exercise). In E59CDZA4DP, exercise, section 4.4.3
History
- 2026-11-01: add by m2/v0.6.13
Algorithm ZT81KJ60N6
| URI | m2://inv/ZT81KJ60N6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HyperLogLog#EITZ, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
ZT83CF8STF ZT83CF8STF
| URI | m2://inv/ZT83CF8STF |
|---|---|
| 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 2201.07292#9MTM (statement). In JPYCGTW4Y7/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.0
Precision and recall ZT8KQPWR8Y
| URI | m2://inv/ZT8KQPWR8Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Precision and recall, Precision and recall (definition). Also Wikidata Q2359161
History
- 2026-11-02: add by m2/dev
ZT8MB2BVKK ZT8MB2BVKK
| URI | m2://inv/ZT8MB2BVKK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00135#Z560 (definition). In PXWXV92SJY/e1, definition 2.5
History
- 2026-10-30: add by m2/v0.4.12
discrete uniform distribution ZT8MPX4XHH
| URI | m2://inv/ZT8MPX4XHH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Discrete uniform distribution 02MY6WZXEQ |
Mentions
- wikidata: Wikidata Q3574718, discrete uniform distribution (unknown). Also MathWorld DiscreteUniformDistribution
- wikipedia: Wikipedia Discrete uniform distribution, Discrete uniform distribution (definition). Also Wikidata Q3574718
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
supertransitive ZT8Q7CVV84
| URI | m2://inv/ZT8Q7CVV84 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#KUQ5, supertransitive (definition)
History
- 2026-11-02: add by m2/dev
Reeb quotient space ZT8SHNWGGW
| URI | m2://inv/ZT8SHNWGGW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03126#IBTI, Reeb quotient space (definition). In ZJ6VQCRDVR/e1, definition 11
History
- 2026-10-29: add by m2/v0.4.12
Schnorr group ZT8XJX2ESK
| URI | m2://inv/ZT8XJX2ESK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schnorr group, Schnorr group (definition). Also Wikidata Q7431918
History
- 2026-11-02: add by m2/dev
Analogue ZT95YQJQ8G
| URI | m2://inv/ZT95YQJQ8G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.17815#P2CS, Analogue (statement). In GJ7N2EWACX/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
pre-abelian ZT96M5K3Q8
| URI | m2://inv/ZT96M5K3Q8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#SFVE, pre-abelian (definition)
History
- 2026-11-02: add by m2/dev
$\alpha$-Vaught's conjecture ZT9C4NBVPE
| URI | m2://inv/ZT9C4NBVPE |
|---|---|
| Kind | conjecture |
| 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.09314#KGUS, $\alpha$-Vaught's conjecture (conjecture). In Z04N0B3R0V/e1, conjecture 2.6
History
- 2026-10-29: add by m2/v0.4.10
ZT9GKMH6BB ZT9GKMH6BB
| URI | m2://inv/ZT9GKMH6BB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37706#TAY7 (statement). In 6YY27KRJFN/e1, lemma 4.20
History
- 2026-10-30: add by m2/v0.4.12
beth ZT9HSTPX0D
| URI | m2://inv/ZT9HSTPX0D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#REFN, beth (definition)
History
- 2026-11-02: add by m2/dev
scalar product ZTA2XKQ1DS
| URI | m2://inv/ZTA2XKQ1DS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Dot product 0S52TNNTH9 |
Mentions
- wikidata: Wikidata Q181365, scalar product (unknown). Also EoM Inner_product, MathWorld DotProduct
- wikipedia: Wikipedia Dot product, Dot product (definition). Also Wikidata Q181365
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
ZTA5546W3J ZTA5546W3J
| URI | m2://inv/ZTA5546W3J |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/systems-distinct.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 50.13
History
- 2026-11-01: add by m2/v0.6.13
string, ternary ZTA61P6PYP
| URI | m2://inv/ZTA61P6PYP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/8.6/string-ternary, string, ternary (concept). In QKM9DD2H56, index, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
icositetragon ZTA6EMNYZN
| URI | m2://inv/ZTA6EMNYZN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3546865, icositetragon (unknown). Also MathWorld Icositetragon
- wikipedia: Wikipedia Icositetragon, Icositetragon (definition). Also Wikidata Q3546865
History
- 2026-10-26: add by m2/dev
ZTA95DNYM1 ZTA95DNYM1
| URI | m2://inv/ZTA95DNYM1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20588#WQQZ (definition)
History
- 2026-11-02: add by m2/v0.6.18
ZTAAX2FQT2 ZTAAX2FQT2
| URI | m2://inv/ZTAAX2FQT2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.16491#JPT3 (definition). In P9J6P06Y40/e1, definition 3.7
History
- 2026-10-27: add by m2/v0.3.5
ZTACG9MXXW ZTACG9MXXW
| URI | m2://inv/ZTACG9MXXW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05712#7R3O (statement). In 44Q2H3DWNW/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.10
ZTAG006FNX ZTAG006FNX
| URI | m2://inv/ZTAG006FNX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21305#R3Q9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
S. G. Dani ZTAZ7XCQS7
| URI | m2://inv/ZTAZ7XCQS7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#3A5O, S. G. Dani (topic)
History
- 2026-11-02: add by m2/dev
The cosine profile ZTBAVNW41W
| URI | m2://inv/ZTBAVNW41W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00501#924U, The cosine profile (statement). In FTPW1SZ8D3/e1, lemma A.4
History
- 2026-10-30: add by m2/v0.4.12
ZTBFMW6Z66 ZTBFMW6Z66
| URI | m2://inv/ZTBFMW6Z66 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08776#JW2B (statement). In ZQ4M778EA7/e1, theorem B
History
- 2026-10-29: add by m2/v0.4.10
ZTBN5KW9A9 ZTBN5KW9A9
| URI | m2://inv/ZTBN5KW9A9 |
|---|---|
| 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 2410.22607#95YB (example). In 6GT33A43SY/e1, example 1.4
History
- 2026-10-27: add by m2/v0.3.5
ZTBQKNRQ2J ZTBQKNRQ2J
| URI | m2://inv/ZTBQKNRQ2J |
|---|---|
| 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.20860#LWXX (statement)
History
- 2026-11-02: add by m2/v0.6.18
Generalizations ZTBRVJJJXY
| URI | m2://inv/ZTBRVJJJXY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind cut#U1PO, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
K-stability ZTBVFH9K10
| URI | m2://inv/ZTBVFH9K10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-stability, K-stability (definition). Also Wikidata Q85772692
History
- 2026-11-02: add by m2/dev
Multiple-try Metropolis ZTBYQF91HZ
| URI | m2://inv/ZTBYQF91HZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#P1TO, Multiple-try Metropolis (definition)
History
- 2026-11-02: add by m2/dev
ZTBZ60RGG4 ZTBZ60RGG4
| URI | m2://inv/ZTBZ60RGG4 |
|---|---|
| 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 2312.14445#7NF9 (statement). In V56MKF0KW2/e1, corollary 7.2
History
- 2026-10-27: add by m2/v0.3.5
Political forecasting ZTC0VKY4WB
| URI | m2://inv/ZTC0VKY4WB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#P2CH, Political forecasting (definition)
History
- 2026-11-02: add by m2/dev
Stanisław Radziszowski ZTC4BEKQFB
| URI | m2://inv/ZTC4BEKQFB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TCZS, Stanisław Radziszowski (unknown)
History
- 2026-11-02: add by m2/dev
ZTCBC2HYNY ZTCBC2HYNY
| URI | m2://inv/ZTCBC2HYNY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.22636#R0ZF (statement). In 2X2A6MT0QD/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.3.5
ZTCCKN8BBP ZTCCKN8BBP
| URI | m2://inv/ZTCCKN8BBP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09562#GPK0 (statement). In 2XH87FWG8Y/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.10
Elliptic curve ZTCD1Z7VND
| URI | m2://inv/ZTCD1Z7VND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#S09Y, Elliptic curve (definition)
History
- 2026-11-02: add by m2/dev
8-cube ZTCDPX7K5D
| URI | m2://inv/ZTCDPX7K5D |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#GX5U, 8-cube (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#UI3D, 8-cube (object)
History
- 2026-11-02: add by m2/dev
Examples ZTCJPS28N0
| URI | m2://inv/ZTCJPS28N0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramanujan's master theorem#B33L, Examples (example)
History
- 2026-11-02: add by m2/dev
ZTCRF7P0J0 ZTCRF7P0J0
| URI | m2://inv/ZTCRF7P0J0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0809.3835#BCBN (statement). In V4J1J8YC7V/e1, proposition 5
History
- 2026-10-27: add by m2/v0.3.5
therefore ZTD01YXW0P
| URI | m2://inv/ZTD01YXW0P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#YEQE, therefore (definition)
History
- 2026-11-02: add by m2/dev
Gibbard–Satterthwaite theorem ZTD68CJSJ8
| URI | m2://inv/ZTD68CJSJ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gibbard–Satterthwaite theorem#XRCB, Gibbard–Satterthwaite theorem (statement)
History
- 2026-11-02: add by m2/dev
Matrix completion ZTDCYN6KYK
| URI | m2://inv/ZTDCYN6KYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix completion, Matrix completion (definition). Also Wikidata Q6787865
History
- 2026-11-02: add by m2/dev
Radial basis function interpolation ZTDEB3YSCR
| URI | m2://inv/ZTDEB3YSCR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radial basis function interpolation, Radial basis function interpolation (definition). Also Wikidata Q65063433
History
- 2026-11-02: add by m2/dev
John B. Friedlander ZTDGFNVRA7
| URI | m2://inv/ZTDGFNVRA7 |
|---|---|
| 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#RDWT, John B. Friedlander (topic)
History
- 2026-11-02: add by m2/dev
Example ZTDK886KMT
| URI | m2://inv/ZTDK886KMT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subcountability#YI5A, Example (example)
History
- 2026-11-02: add by m2/dev
Equals Pi ZTDKP41N66
| URI | m2://inv/ZTDKP41N66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equals Pi, Equals Pi (definition). Also Wikidata Q108444570
History
- 2026-11-02: add by m2/dev
Plotting power-law distributions ZTDPVK6QTN
| URI | m2://inv/ZTDPVK6QTN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power law#O4MU, Plotting power-law distributions (statement)
History
- 2026-11-02: add by m2/dev
Theorem ZTDS3EAV81
| URI | m2://inv/ZTDS3EAV81 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometrical optics#67XE, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Uniform Gaussian reference coefficient bounds ZTDVFWGFMZ
| URI | m2://inv/ZTDVFWGFMZ |
|---|---|
| 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.09522#KW84, Uniform Gaussian reference coefficient bounds (statement). In KKR9167FPT/e1, lemma 28
History
- 2026-10-29: add by m2/v0.4.10
List of Courant Institute alumni ZTE69D55B1
| URI | m2://inv/ZTE69D55B1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Courant Institute School of Mathematics, Computing, and Data Science#AXEU, List of Courant Institute alumni (unknown)
History
- 2026-11-02: add by m2/dev
ZTE6RQ6GD7 ZTE6RQ6GD7
| URI | m2://inv/ZTE6RQ6GD7 |
|---|---|
| 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.20077#8GBS (statement). In W5XRKWDADE/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
ZTE9WPAVWB ZTE9WPAVWB
| URI | m2://inv/ZTE9WPAVWB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#Q16D (example)
History
- 2026-11-02: add by m2/v0.6.18
ZTEGW30FHD ZTEGW30FHD
| URI | m2://inv/ZTEGW30FHD |
|---|---|
| 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.11905#0OUS (statement). In QQFXT31CA5/e1, proposition 6.5
History
- 2026-10-28: add by m2/v0.4.3
Nonabelian cellular resolution comparison ZTEH99PFCB
| URI | m2://inv/ZTEH99PFCB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#G295, Nonabelian cellular resolution comparison (statement)
History
- 2026-11-01: add by m2/v0.6.15
William Alvin Howard ZTEMEY0MAN
| URI | m2://inv/ZTEMEY0MAN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#2LZP, William Alvin Howard (topic)
History
- 2026-11-02: add by m2/dev
Tessellation ZTEMSD726V
| URI | m2://inv/ZTEMSD726V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#YW3W, Tessellation (definition)
History
- 2026-11-02: add by m2/dev
Theorem of Ambrose–Kakutani–Krengel–Kubo ZTEZM2T9QM
| URI | m2://inv/ZTEZM2T9QM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ergodic flow#ZRRT, Theorem of Ambrose–Kakutani–Krengel–Kubo (statement)
History
- 2026-11-02: add by m2/dev
ZTF0HZ4Y8H ZTF0HZ4Y8H
| URI | m2://inv/ZTF0HZ4Y8H |
|---|---|
| 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.28507#B3TC (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZTF2C11KT4 ZTF2C11KT4
| URI | m2://inv/ZTF2C11KT4 |
|---|---|
| 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.33578#3COR (statement). In 3XTDDKY6YE/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Connected geometric monodromy ZTFBBMGQ3P
| URI | m2://inv/ZTFBBMGQ3P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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.04099#BQMJ, Connected geometric monodromy (statement). In QPJ6FWG5HD/e1, theorem 2.116
History
- 2026-10-29: add by m2/v0.4.12
Olympia Heights ZTFCZ50T8F
| URI | m2://inv/ZTFCZ50T8F |
|---|---|
| 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#DMRV, Olympia Heights (unknown)
History
- 2026-11-02: add by m2/dev
ZTFF7872GK ZTFF7872GK
| URI | m2://inv/ZTFF7872GK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32977#YSWD (statement). In 4KT9TK3MG4/e1, lemma C.1
History
- 2026-10-31: add by m2/v0.5.6
ZTFKYX3S0X ZTFKYX3S0X
| URI | m2://inv/ZTFKYX3S0X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29653#GJGZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZTFPPN8H72 ZTFPPN8H72
| URI | m2://inv/ZTFPPN8H72 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.09796#Y9LB (statement). In NAA7WFQN20/e1, theorem D
History
- 2026-10-27: add by m2/v0.3.5
ZTFSAV70AZ ZTFSAV70AZ
| URI | m2://inv/ZTFSAV70AZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.04895#3ABA (statement). In A7M06ZVYA8/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
Lemmas ZTFY6W2DQ3
| URI | m2://inv/ZTFY6W2DQ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surjection of Fréchet spaces#4CBT, Lemmas (statement)
History
- 2026-11-02: add by m2/dev
Martin Davis ZTFZ92JNYZ
| URI | m2://inv/ZTFZ92JNYZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#EPKX, Martin Davis (topic)
History
- 2026-11-02: add by m2/dev
Elongation (geometry) ZTG3V8RHNQ
| URI | m2://inv/ZTG3V8RHNQ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#9LXT, Elongation (geometry) (object)
History
- 2026-11-02: add by m2/dev
Adaptive batch sample counts ZTG5YDVECT
| URI | m2://inv/ZTG5YDVECT |
|---|---|
| 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#B6XO, Adaptive batch sample counts (statement). In X1FPG0KYBM/e1, lemma F.1
History
- 2026-10-28: add by m2/v0.4.2
Feller process ZTG6MVD12X
| URI | m2://inv/ZTG6MVD12X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feller process, Feller process (definition). Also Wikidata Q5442452
History
- 2026-11-02: add by m2/dev
ZTG7M0X6HJ ZTG7M0X6HJ
| URI | m2://inv/ZTG7M0X6HJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18468#MSZE (example). In VP29RN7ZMA/e1, example 3
History
- 2026-10-28: add by m2/v0.4.2
Domain Independent Planning ZTGCF0FXMR
| URI | m2://inv/ZTGCF0FXMR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automated planning and scheduling#RZJQ, Domain Independent Planning (unknown)
History
- 2026-11-02: add by m2/dev
ZTGG3P3TYX ZTGG3P3TYX
| URI | m2://inv/ZTGG3P3TYX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.09796#1TFH (statement). In NAA7WFQN20/e1, corollary 6.5
History
- 2026-10-27: add by m2/v0.3.5
ZTGNG387MD ZTGNG387MD
| URI | m2://inv/ZTGNG387MD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34876#X635 (example). In XXQAW3ZBDF/e1, example 3.7
History
- 2026-10-30: add by m2/v0.4.12
ZTGZFEK6XK ZTGZFEK6XK
| URI | m2://inv/ZTGZFEK6XK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16541#WSCC (statement). In D0XH7W96T3/e1, proposition 6.2
History
- 2026-10-28: add by m2/v0.4.2
ZTH2955B94 ZTH2955B94
| URI | m2://inv/ZTH2955B94 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37106#0KKA (statement). In XNK04XFP2C/e1, theorem 6.4
History
- 2026-10-30: add by m2/v0.4.12
Chvátal–Sankoff constants ZTH2KRF1F6
| URI | m2://inv/ZTH2KRF1F6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chvátal–Sankoff constants, Chvátal–Sankoff constants (definition). Also Wikidata Q19203119
History
- 2026-11-02: add by m2/dev
ZTH2MTQ171 ZTH2MTQ171
| URI | m2://inv/ZTH2MTQ171 |
|---|---|
| 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.14154#P590 (statement). In 8X6PXX2TRA/e1, theorem 9.7
History
- 2026-10-28: add by m2/v0.4.2
Index of coincidence ZTH2XQMYG8
| URI | m2://inv/ZTH2XQMYG8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index of coincidence, Index of coincidence (topic). Also Wikidata Q925177
History
- 2026-11-02: add by m2/dev
Forecast accuracy ZTH3K2QWCN
| URI | m2://inv/ZTH3K2QWCN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forecasting#2DQY, Forecast accuracy (unknown)
History
- 2026-11-02: add by m2/dev
ZTH4TNA7HR ZTH4TNA7HR
| URI | m2://inv/ZTH4TNA7HR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#T7ZA (statement). In 9YAE8FNQST/e1, theorem 27.1
History
- 2026-10-30: add by m2/v0.4.12
Hypergeometric identity ZTH5GQ0J93
| URI | m2://inv/ZTH5GQ0J93 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypergeometric identity, Hypergeometric identity (statement). Also Wikidata Q17028407
History
- 2026-11-02: add by m2/dev
Serial relation ZTH5SX4VXH
| URI | m2://inv/ZTH5SX4VXH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Serial relation, Serial relation (definition). Also Wikidata Q54940067
History
- 2026-11-02: add by m2/dev
Construction ZTHBXS86WP
| URI | m2://inv/ZTHBXS86WP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exhaustion by compact sets#H2YQ, Construction (definition)
History
- 2026-11-02: add by m2/dev
dynamical system ZTHEG21164
| URI | m2://inv/ZTHEG21164 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Dynamical system BBZP1R872N |
Mentions
- wikidata: Wikidata Q638328, dynamical system (unknown). Also EoM Dynamical_system, MathWorld DynamicalSystem
- wikipedia: Wikipedia Dynamical system, Dynamical system (definition). Also Wikidata Q638328
History
- 2026-10-26: add by m2/dev
Multiple baseline design ZTHPWPYGQ3
| URI | m2://inv/ZTHPWPYGQ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YGC0, Multiple baseline design (definition)
History
- 2026-11-02: add by m2/dev
unirational ZTHSK33SRH
| URI | m2://inv/ZTHSK33SRH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#U051, unirational (definition)
History
- 2026-11-02: add by m2/dev
Piecewise linear manifold ZTHXS5QPAP
| URI | m2://inv/ZTHXS5QPAP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#U6QA, Piecewise linear manifold (definition)
History
- 2026-11-02: add by m2/dev
ZTHY1RCVPC ZTHY1RCVPC
| URI | m2://inv/ZTHY1RCVPC |
|---|---|
| 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#SSTC (statement). In 4PGTZ19B26/e1, lemma 3.13
History
- 2026-10-28: add by m2/v0.4.2
Hochman's entropy estimate ZTJ5WQBJ4X
| URI | m2://inv/ZTJ5WQBJ4X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.10511#D5HF, Hochman's entropy estimate (statement). In BTX64QG716/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Shadow volume ZTJ7ECPKZM
| URI | m2://inv/ZTJ7ECPKZM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#ZJNK, Shadow volume (unknown)
History
- 2026-11-02: add by m2/dev
ZTJ7ZZV93Q ZTJ7ZZV93Q
| URI | m2://inv/ZTJ7ZZV93Q |
|---|---|
| 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.32439#PGUM (statement). In GD8D1YH7K4/e1, corollary 3.1
History
- 2026-10-31: add by m2/v0.5.6
ZTJAPRWAHD ZTJAPRWAHD
| URI | m2://inv/ZTJAPRWAHD |
|---|---|
| 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.04809#1IAN (statement). In 2VHV0RNTNV/e1, lemma 3.17
History
- 2026-10-29: add by m2/v0.4.12
ZTJHWGXMPC ZTJHWGXMPC
| URI | m2://inv/ZTJHWGXMPC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21892#KV1C (statement)
History
- 2026-11-02: add by m2/v0.6.17
World Education Games ZTJQ52Q8BJ
| URI | m2://inv/ZTJQ52Q8BJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia World Education Games, World Education Games (definition). Also Wikidata Q8035663
History
- 2026-11-02: add by m2/dev
pentagonal pyramidal molecular geometry ZTJSPWT0PY
| URI | m2://inv/ZTJSPWT0PY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2718163, pentagonal pyramidal molecular geometry (unknown). Also MathWorld PentagonalPyramid
History
- 2026-10-26: add by m2/dev
Implementation ZTKA42YSCY
| URI | m2://inv/ZTKA42YSCY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Romberg's method#6HM9, Implementation (definition)
History
- 2026-11-02: add by m2/dev
ZTKCH8BZ1J ZTKCH8BZ1J
| URI | m2://inv/ZTKCH8BZ1J |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1904.08413#10QH (example). In X88HPQ0W8C/e1, example 2.51
History
- 2026-10-27: add by m2/v0.3.5
ZTKNR4DZ0X ZTKNR4DZ0X
| URI | m2://inv/ZTKNR4DZ0X |
|---|---|
| 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#4P8P (statement). In XV70TXYS5A/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.4.2
Von Kármán swirling flow ZTKTEANDCG
| URI | m2://inv/ZTKTEANDCG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Kármán swirling flow, Von Kármán swirling flow (definition). Also Wikidata Q30596026
History
- 2026-11-02: add by m2/dev
ZTM1DXQF24 ZTM1DXQF24
| URI | m2://inv/ZTM1DXQF24 |
|---|---|
| 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.05868#QQ6I (statement). In WXD0FASTA7/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Frances McBroom Thompson ZTM69JS9S5
| URI | m2://inv/ZTM69JS9S5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frances McBroom Thompson, Frances McBroom Thompson (topic). Also Wikidata Q108144111
History
- 2026-11-02: add by m2/dev
ZTM754FHS7 ZTM754FHS7
| URI | m2://inv/ZTM754FHS7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11082#DS9T (statement). In GFPFFN0BXV/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.3
Gray sequence -- calculus version ZTMK4CQ800
| URI | m2://inv/ZTMK4CQ800 |
|---|---|
| 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.31269#ZM7P, Gray sequence -- calculus version (statement). In ZPT9XCCAPQ/e1, theorem 1.3.7
History
- 2026-10-31: add by m2/v0.5.6
Partially ordered set ZTMN17RHV7
| URI | m2://inv/ZTMN17RHV7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order structures in mathematics#J2WT, Partially ordered set (definition)
History
- 2026-11-02: add by m2/dev
Examples ZTMP1AS39M
| URI | m2://inv/ZTMP1AS39M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diffeomorphism#GKDM, Examples (example)
History
- 2026-11-02: add by m2/dev
index battle ZTMPV5TVD2
| URI | m2://inv/ZTMPV5TVD2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#VLA8, index battle (definition)
History
- 2026-11-02: add by m2/dev
ZTMXQB9XYV ZTMXQB9XYV
| URI | m2://inv/ZTMXQB9XYV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07790#4O2U (statement). In A5YJDDM0NX/e1, lemma A.7
History
- 2026-10-29: add by m2/v0.4.10
ZTN5DY4G31 ZTN5DY4G31
| URI | m2://inv/ZTN5DY4G31 |
|---|---|
| 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.04069#CRPR (statement). In ZA7WXGZYWC/e1, corollary 4.8
History
- 2026-10-29: add by m2/v0.4.12
functor, contravariant ZTNC2XKY42
| URI | m2://inv/ZTNC2XKY42 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.6/functor-contravariant, functor, contravariant (concept). In N54F33XE07, index, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
$\sigma$-frame, initial ZTNCNRXYMB
| URI | m2://inv/ZTNCNRXYMB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.4/sigma-frame-initial, $\sigma$-frame, initial (concept). In N54F33XE07, index, section B.4
History
- 2026-11-01: add by m2/v0.6.13
secant line ZTNEAXDP0D
| URI | m2://inv/ZTNEAXDP0D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q426301, secant line (unknown). Also MathWorld SecantLine
- wikipedia: Wikipedia Secant line, Secant line (definition). Also Wikidata Q426301
History
- 2026-10-26: add by m2/dev
Superkernel ZTNKSNQRD0
| URI | m2://inv/ZTNKSNQRD0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11760#LBGL, Superkernel (definition). In NBNERWXW53/e1, definition S4.5
History
- 2026-10-28: add by m2/v0.4.3
ZTP5M5FJT2 ZTP5M5FJT2
| URI | m2://inv/ZTP5M5FJT2 |
|---|---|
| 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.12683#1UYF (statement). In N5ZFFWV3RX/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Norbert Wiener ZTPB9EJBW6
| URI | m2://inv/ZTPB9EJBW6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#XZRW, Norbert Wiener (topic)
History
- 2026-11-02: add by m2/dev
conchoid of Nicomedes ZTPGJMKM4E
| URI | m2://inv/ZTPGJMKM4E |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3346994, conchoid of Nicomedes (concept). Also MathWorld ConchoidofNicomedes, ProofWiki Definition:Conchoid_of_Nicomedes
History
- 2026-10-26: add by m2/dev
ZTPNTGPSFW ZTPNTGPSFW
| URI | m2://inv/ZTPNTGPSFW |
|---|---|
| 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 2111.07409#HYS1 (statement). In KWH4QJDPWC/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.4.0
Kinematics ZTPP6D92A3
| URI | m2://inv/ZTPP6D92A3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#I985, Kinematics (topic)
History
- 2026-11-02: add by m2/dev
Statement ZTPPP5DRY3
| URI | m2://inv/ZTPPP5DRY3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stewart's theorem#1A1D, Statement (statement)
History
- 2026-11-02: add by m2/dev
ZTPRR21MHP ZTPRR21MHP
| URI | m2://inv/ZTPRR21MHP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.08723#DK0N (statement). In HGE2NCQW29/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
ZTPTJZWM63 ZTPTJZWM63
| URI | m2://inv/ZTPTJZWM63 |
|---|---|
| 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.30679#W5IW (statement). In Z31GMHMG7B/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
ZTPZNEV9HZ ZTPZNEV9HZ
| URI | m2://inv/ZTPZNEV9HZ |
|---|---|
| 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 2609.20522#GI1H (statement)
History
- 2026-11-02: add by m2/v0.6.18
ZTQ28FHXEV ZTQ28FHXEV
| URI | m2://inv/ZTQ28FHXEV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36377#PRPU (statement). In M98F6VRPZ2/e1, lemma 2.7
History
- 2026-10-30: add by m2/v0.4.12
Convergence theorems ZTQDDAB0YM
| URI | m2://inv/ZTQDDAB0YM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss curvature flow#0CKC, Convergence theorems (statement)
History
- 2026-11-02: add by m2/dev
SSH public key ZTQFM1BVGD
| URI | m2://inv/ZTQFM1BVGD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secure Shell#LLPA, SSH public key (unknown)
History
- 2026-11-02: add by m2/dev
Clemens conjecture ZTQMDG6N6D
| URI | m2://inv/ZTQMDG6N6D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enumerative geometry#8CW3, Clemens conjecture (statement)
History
- 2026-11-02: add by m2/dev
ZTQQBQ7CPD ZTQQBQ7CPD
| URI | m2://inv/ZTQQBQ7CPD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#94P8 (statement). In WRE0P7V6Z3/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
ZTQSPDGD6B ZTQSPDGD6B
| URI | m2://inv/ZTQSPDGD6B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37897#BERA (statement). In RBQ5FNCVNZ/e1, proposition 10.15
History
- 2026-10-30: add by m2/v0.4.12
ZTQYZW4X98 ZTQYZW4X98
| URI | m2://inv/ZTQYZW4X98 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#ZKV7 (statement). In G1RP4JY5PE/e1, corollary 7.5.2
History
- 2026-10-31: add by m2/v0.5.6
Qualitative psychological research ZTR64FD76C
| URI | m2://inv/ZTR64FD76C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Qualitative psychological research, Qualitative psychological research (definition). Also Wikidata Q7268698
History
- 2026-11-02: add by m2/dev
Theorem ZTRCV9NSZ7
| URI | m2://inv/ZTRCV9NSZ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leavitt path algebra#WBV9, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Reducing to finite concentration ZTRDGQV676
| URI | m2://inv/ZTRDGQV676 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08424#T75A, Reducing to finite concentration (statement). In BVD2HAAKD5/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
Jon Chaika ZTRJG8R2VH
| URI | m2://inv/ZTRJG8R2VH |
|---|---|
| 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#HZ1Z, Jon Chaika (unknown)
History
- 2026-11-02: add by m2/dev
Rating scale ZTRR1AJWFK
| URI | m2://inv/ZTRR1AJWFK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rating scale, Rating scale (definition). Also Wikidata Q7295720
History
- 2026-11-02: add by m2/dev
ZTRSEDWNF8 ZTRSEDWNF8
| URI | m2://inv/ZTRSEDWNF8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-starsbars.ptx#example-stars-bars-int-sol (example). In Y91XFCEVHQ, example, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Lottery mathematics ZTRWKJ6BAP
| URI | m2://inv/ZTRWKJ6BAP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lottery mathematics, Lottery mathematics (definition). Also Wikidata Q6684817
History
- 2026-11-02: add by m2/dev
Lemma ZTRWS96JV9
| URI | m2://inv/ZTRWS96JV9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frostman lemma#L9I1, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Distance (physics) ZTS0MYJNN8
| URI | m2://inv/ZTS0MYJNN8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distance#X7R1, Distance (physics) (unknown)
History
- 2026-11-02: add by m2/dev
Median ZTSF9732E8
| URI | m2://inv/ZTSF9732E8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XDPF, Median (definition)
History
- 2026-11-02: add by m2/dev
ZTSGMB5RZF ZTSGMB5RZF
| URI | m2://inv/ZTSGMB5RZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25275#4CV7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZTSHDRTPPS ZTSHDRTPPS
| URI | m2://inv/ZTSHDRTPPS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28323#ZZL6 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Examples ZTSJAH7VGK
| URI | m2://inv/ZTSJAH7VGK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Final topology#PO84, Examples (example)
History
- 2026-11-02: add by m2/dev
ZTSRXTFGDZ ZTSRXTFGDZ
| URI | m2://inv/ZTSRXTFGDZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20049#XZWB (statement)
History
- 2026-11-02: add by m2/v0.6.18
ZTSZC9SYY6 ZTSZC9SYY6
| URI | m2://inv/ZTSZC9SYY6 |
|---|---|
| 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.09672#IV3H (statement). In TXBXCPP0QH/e1, proposition 10
History
- 2026-10-29: add by m2/v0.4.10
Properties ZTT34W89N7
| URI | m2://inv/ZTT34W89N7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert–Schmidt operator#70GV, Properties (statement)
History
- 2026-11-02: add by m2/dev
Enigma Cipher Centre ZTTD5JEQP9
| URI | m2://inv/ZTTD5JEQP9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enigma Cipher Centre, Enigma Cipher Centre (definition). Also Wikidata Q89571260
History
- 2026-11-02: add by m2/dev
Generalizations ZTTE5HQAWQ
| URI | m2://inv/ZTTE5HQAWQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighted matroid#9NCE, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
binary numeral system ZTTFVBK2B2
| URI | m2://inv/ZTTFVBK2B2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3913, binary numeral system (definition). Also MathWorld Binary, ProofWiki Definition:Binary_Notation
- wikipedia: Wikipedia Binary number, Binary number (definition). Also Wikidata Q3913
History
- 2026-10-26: add by m2/dev
endorelation ZTTG2ZK7ZJ
| URI | m2://inv/ZTTG2ZK7ZJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q54938846, endorelation (definition). Also ProofWiki Definition:Endorelation
- wikipedia: Wikipedia Homogeneous relation, Homogeneous relation (definition). Also Wikidata Q54938846
History
- 2026-10-26: add by m2/dev
Properties ZTV4HJNHYY
| URI | m2://inv/ZTV4HJNHYY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matching (graph theory)#MPDI, Properties (statement)
History
- 2026-11-02: add by m2/dev
Discrete measures ZTVCPB1NZP
| URI | m2://inv/ZTVCPB1NZP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19151#RTAV, Discrete measures (example). In DKVT74MANJ/e1, example 3.1
History
- 2026-10-28: add by m2/v0.4.2
ZTVFQAFC9C ZTVFQAFC9C
| URI | m2://inv/ZTVFQAFC9C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39465#O4ZQ (statement). In 17F6FDEA3W/e1, theorem 3.6
History
- 2026-10-30: add by m2/v0.4.12
Herbrand interpretation ZTVFX5XN9Z
| URI | m2://inv/ZTVFX5XN9Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herbrand interpretation, Herbrand interpretation (definition). Also Wikidata Q1035432
History
- 2026-11-02: add by m2/dev
Arboreal Galois representation ZTVNZZSQ4B
| URI | m2://inv/ZTVNZZSQ4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arboreal Galois representation, Arboreal Galois representation (definition). Also Wikidata Q130425462
History
- 2026-11-02: add by m2/dev
ZTVR4KDAQA ZTVR4KDAQA
| URI | m2://inv/ZTVR4KDAQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08610#BCVM (statement). In CB2JWNS1E9/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
Equal-rank projections ZTVRGQEVQT
| URI | m2://inv/ZTVRGQEVQT |
|---|---|
| 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.23558#V9XM, Equal-rank projections (statement)
History
- 2026-11-02: add by m2/v0.6.17
ZTVYV00FYF ZTVYV00FYF
| URI | m2://inv/ZTVYV00FYF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/proj-var.tex#example-3 (example). In RZP28ERRZV, example, section 23.2
History
- 2026-11-01: add by m2/v0.6.13
Examples ZTW5T9T7TT
| URI | m2://inv/ZTW5T9T7TT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propagator#7HQJ, Examples (example)
History
- 2026-11-02: add by m2/dev
ZTWDHBVWF2 ZTWDHBVWF2
| URI | m2://inv/ZTWDHBVWF2 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24795#O747 (problem)
History
- 2026-11-01: add by m2/v0.6.15
ZTWGGHXEBD ZTWGGHXEBD
| URI | m2://inv/ZTWGGHXEBD |
|---|---|
| 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.11047#9DSL (statement). In MNQAZ70XTH/e1, proposition 10.7
History
- 2026-10-28: add by m2/v0.4.3
Natural and Political Observations upon the Bills of Mortality ZTWMQ1YCRG
| URI | m2://inv/ZTWMQ1YCRG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Graunt#JZFP, Natural and Political Observations upon the Bills of Mortality (unknown)
History
- 2026-11-02: add by m2/dev
ZTWPEZ6750 ZTWPEZ6750
| URI | m2://inv/ZTWPEZ6750 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-sets.ptx#exercise-21 (exercise). In Y91XFCEVHQ, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
ZTWQY1X90N ZTWQY1X90N
| URI | m2://inv/ZTWQY1X90N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.16669#M8M6 (statement). In 1463YCCRP5/e1, lemma 6.8
History
- 2026-10-27: add by m2/v0.4.0
ZTWWXQA28T ZTWWXQA28T
| URI | m2://inv/ZTWWXQA28T |
|---|---|
| Kind | example |
| 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.31910#IPRL (example). In E4EK1XXPY4/e1, example 5.7
History
- 2026-10-31: add by m2/v0.5.6
Local Burkholder principle on the disk ZTX0870V0T
| URI | m2://inv/ZTX0870V0T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19410#L2J8, Local Burkholder principle on the disk (statement). In GRESY1RPK6/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
Submerging a phone in rice ZTX19HGR47
| URI | m2://inv/ZTX19HGR47 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#RMQG, Submerging a phone in rice (unknown)
History
- 2026-11-02: add by m2/dev
Work through the first successful trial ZTX6RM6Y3H
| URI | m2://inv/ZTX6RM6Y3H |
|---|---|
| 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.11330#915G, Work through the first successful trial (statement). In Z73GKA9WDB/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.3
ZTX7T3XVPA ZTX7T3XVPA
| URI | m2://inv/ZTX7T3XVPA |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#proof-19 (proof). In E59CDZA4DP, proof, section 5.5.1
History
- 2026-11-01: add by m2/v0.6.13
ZTXB3G4HQ3 ZTXB3G4HQ3
| URI | m2://inv/ZTXB3G4HQ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06488#5V03 (statement). In XG3BJ2QXXP/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.10
ZTXBWRV691 ZTXBWRV691
| URI | m2://inv/ZTXBWRV691 |
|---|---|
| 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.29631#07Z9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Vladimir Boltyansky ZTXHMEG8T6
| URI | m2://inv/ZTXHMEG8T6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#7YLV, Vladimir Boltyansky (topic)
History
- 2026-11-02: add by m2/dev
Marc Yor ZTXPN9DF2N
| URI | m2://inv/ZTXPN9DF2N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#SZDV, Marc Yor (unknown)
History
- 2026-11-02: add by m2/dev
ZTY0AYZGJ4 ZTY0AYZGJ4
| URI | m2://inv/ZTY0AYZGJ4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-75 (exercise). In E9HS8K3A52, exercise, section 6.5.4
History
- 2026-11-01: add by m2/v0.6.13
Oblique pyramid ZTYCDK14BN
| URI | m2://inv/ZTYCDK14BN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pyramid (geometry)#ZGGP, Oblique pyramid (unknown)
History
- 2026-11-02: add by m2/dev
ZTYCSMT3Z0 ZTYCSMT3Z0
| URI | m2://inv/ZTYCSMT3Z0 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32338#F99C (problem). In HVY45JQRNK/e1, problem 9
History
- 2026-10-31: add by m2/v0.5.6
ZTYCXS9J06 ZTYCXS9J06
| URI | m2://inv/ZTYCXS9J06 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17258#18E5 (example). In F4M67ZVBF2/e1, example 2.2
History
- 2026-10-28: add by m2/v0.4.2
Lévy distribution ZTYECS5TG6
| URI | m2://inv/ZTYECS5TG6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1042429, Lévy distribution (concept). Also MathWorld LevyDistribution
- wikipedia: Wikipedia Lévy distribution, Lévy distribution (definition). Also Wikidata Q1042429
History
- 2026-10-26: add by m2/dev
Definition ZTYK5SDXHT
| URI | m2://inv/ZTYK5SDXHT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zariski tangent space#SX6H, Definition (definition)
History
- 2026-11-02: add by m2/dev
Photonic bandgap ZTYWFT2JAC
| URI | m2://inv/ZTYWFT2JAC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Photonic crystal#8TR8, Photonic bandgap (unknown)
History
- 2026-11-02: add by m2/dev
A. M. Mathai ZTYYCXVTMX
| URI | m2://inv/ZTYYCXVTMX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A. M. Mathai, A. M. Mathai (topic). Also Wikidata Q4648132
History
- 2026-11-02: add by m2/dev
Graph automorphism problem ZTZ8C75ERR
| URI | m2://inv/ZTZ8C75ERR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph automorphism#Q5LP, Graph automorphism problem (unknown)
History
- 2026-11-02: add by m2/dev
spiral similarity ZTZAE1W5E7
| URI | m2://inv/ZTZAE1W5E7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q85802605, spiral similarity (concept). Also MathWorld SpiralSimilarity
- wikipedia: Wikipedia Spiral similarity, Spiral similarity (definition). Also Wikidata Q85802605
History
- 2026-10-26: add by m2/dev
Wang, Kang and Zhao ZTZC5BWJJQ
| URI | m2://inv/ZTZC5BWJJQ |
|---|---|
| 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.25038#J1Q3, Wang, Kang and Zhao (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lee Sallows ZTZCZYZ5X0
| URI | m2://inv/ZTZCZYZ5X0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lee Sallows, Lee Sallows (topic). Also Wikidata Q15576486
History
- 2026-11-02: add by m2/dev
Direct linear plot ZTZDJQ709Z
| URI | m2://inv/ZTZDJQ709Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct linear plot, Direct linear plot (definition). Also Wikidata Q118904566
History
- 2026-11-02: add by m2/dev
ZTZNYAZDF2 ZTZNYAZDF2
| URI | m2://inv/ZTZNYAZDF2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14068#E0O8 (statement). In JF19FEH3SW/e1, corollary 9.1
History
- 2026-10-28: add by m2/v0.4.2