Inventory rows XD
The cards of the rows of the inventory whose ids start with XD. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
XD0039TTS7 XD0039TTS7
| URI | m2://inv/XD0039TTS7 |
|---|---|
| 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 2405.04958#28DO (statement). In 5HQJSF6458/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
XD01XF8Y8F XD01XF8Y8F
| URI | m2://inv/XD01XF8Y8F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.09049#VQGA (statement). In 37S7MNMZ2F/e1, proposition 15
History
- 2026-10-27: add by m2/v0.3.5
Abel summability XD024B4VTB
| URI | m2://inv/XD024B4VTB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divergent series#9MWD, Abel summability (unknown)
History
- 2026-11-02: add by m2/dev
Aparna Higgins XD02P5Q1HH
| URI | m2://inv/XD02P5Q1HH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aparna Higgins, Aparna Higgins (topic). Also Wikidata Q49006016
History
- 2026-11-02: add by m2/dev
topological string theory XD03GVPFRC
| URI | m2://inv/XD03GVPFRC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2159720, topological string theory (unknown). Also nLab topological string
History
- 2026-10-26: add by m2/dev
Existence and uniqueness XD0FQSEMXP
| URI | m2://inv/XD0FQSEMXP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LU decomposition#7T0Z, Existence and uniqueness (statement)
History
- 2026-11-02: add by m2/dev
Definitions XD0GFM4FW6
| URI | m2://inv/XD0GFM4FW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection (linear algebra)#IHYS, Definitions (definition)
History
- 2026-11-02: add by m2/dev
XD0GQXGWY2 XD0GQXGWY2
| URI | m2://inv/XD0GQXGWY2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#2Q9H (statement). In X923ZEY423/e1, lemma 1.0.1
History
- 2026-10-27: add by m2/v0.3.5
sharp XD0N6QD5F3
| URI | m2://inv/XD0N6QD5F3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#BV2Q, sharp (definition)
History
- 2026-11-02: add by m2/dev
XD0PJB6BX0 XD0PJB6BX0
| URI | m2://inv/XD0PJB6BX0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04314#PT8A (statement). In AKWTE0M6PE/e1, corollary 8
History
- 2026-10-29: add by m2/v0.4.12
Witt algebra XD0Y3Y95Z0
| URI | m2://inv/XD0Y3Y95Z0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#7JZ6, Witt algebra (definition)
- wikipedia: Wikipedia List of things named after Ernst Witt#1GNZ, Witt algebra (definition)
History
- 2026-11-02: add by m2/dev
Duality (projective geometry) XD10VN8W3R
| URI | m2://inv/XD10VN8W3R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#X2I6, Duality (projective geometry) (definition)
- wikipedia: Wikipedia List of algebraic geometry topics#6T9D, Duality (projective geometry) (definition)
History
- 2026-11-02: add by m2/dev
Global well-posedness in the critical space XD15R84WHH
| URI | m2://inv/XD15R84WHH |
|---|---|
| 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.24789#GG6U, Global well-posedness in the critical space (statement)
History
- 2026-11-01: add by m2/v0.6.15
SIR model XD1NMWHZA6
| URI | m2://inv/XD1NMWHZA6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compartmental models (epidemiology)#X1TF, SIR model (unknown)
History
- 2026-11-02: add by m2/dev
XD1PF15XB4 XD1PF15XB4
| URI | m2://inv/XD1PF15XB4 |
|---|---|
| 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#EZ5N (statement)
History
- 2026-11-02: add by m2/v0.6.18
Upward Löwenheim–Skolem theorem XD1QF66R0Q
| URI | m2://inv/XD1QF66R0Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compactness theorem#PGNU, Upward Löwenheim–Skolem theorem (statement)
History
- 2026-11-02: add by m2/dev
Gromov--Lawson cobordism theorem XD22S835YF
| URI | m2://inv/XD22S835YF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30685#7GK7, Gromov--Lawson cobordism theorem (statement). In WNNNWV7741/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
Dahlia Malkhi XD24TFZ2XG
| URI | m2://inv/XD24TFZ2XG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#IJNQ, Dahlia Malkhi (unknown)
History
- 2026-11-02: add by m2/dev
Formulation XD277Z809Y
| URI | m2://inv/XD277Z809Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centrifugal force#RT21, Formulation (definition)
History
- 2026-11-02: add by m2/dev
XD28X5F8NV XD28X5F8NV
| URI | m2://inv/XD28X5F8NV |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1712.02437#E9CJ (proof). In GZDFK652T9/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
XD2991A9FX XD2991A9FX
| URI | m2://inv/XD2991A9FX |
|---|---|
| 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.31783#C0V6 (statement). In CGNVT4C47F/e1, corollary 4.6
History
- 2026-10-31: add by m2/v0.5.6
Roselyn E. Williams XD2DJQWNHT
| URI | m2://inv/XD2DJQWNHT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roselyn E. Williams, Roselyn E. Williams (topic). Also Wikidata Q12896377
History
- 2026-11-02: add by m2/dev
XD2EPR34DX XD2EPR34DX
| URI | m2://inv/XD2EPR34DX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01737#CVGZ (statement). In M4JGP708F4/e1, fact 4.25
History
- 2026-10-29: add by m2/v0.4.12
Quasi-birth–death process XD2P19PTDJ
| URI | m2://inv/XD2P19PTDJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#K1A6, Quasi-birth–death process (definition)
History
- 2026-11-02: add by m2/dev
EISPACK XD3064MQ6P
| URI | m2://inv/XD3064MQ6P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical libraries#3RRZ, EISPACK (unknown)
History
- 2026-11-02: add by m2/dev
XD329T1RJ5 XD329T1RJ5
| URI | m2://inv/XD329T1RJ5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07453#9FU7 (definition). In CQGE4WJV4P/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
XD36TBSACQ XD36TBSACQ
| URI | m2://inv/XD36TBSACQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10377#WL3A (statement). In 6HP7BR9WZM/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
XD3HY0G7YZ XD3HY0G7YZ
| URI | m2://inv/XD3HY0G7YZ |
|---|---|
| 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.11535#EL2O (statement). In 7TY4S2YSVN/e1, corollary 3.5
History
- 2026-10-28: add by m2/v0.4.3
XD3JZD01KC XD3JZD01KC
| URI | m2://inv/XD3JZD01KC |
|---|---|
| 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.17897#O16D (statement). In G116A4SMS4/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
XD3JZRKJM7 XD3JZRKJM7
| URI | m2://inv/XD3JZRKJM7 |
|---|---|
| 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 2503.16884#25HY (statement). In B984KNW591/e1, proposition 1.1
History
- 2026-10-27: add by m2/v0.3.5
Proper time XD3MD2F8PF
| URI | m2://inv/XD3MD2F8PF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proper time, Proper time (definition). Also Wikidata Q1056595
History
- 2026-11-02: add by m2/dev
Sketch of Proof XD3Y6H5R3F
| URI | m2://inv/XD3Y6H5R3F |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/inner-form.tex#proof-3, Sketch of Proof (proof). In RZP28ERRZV, proof, section 60.3
History
- 2026-11-01: add by m2/v0.6.13
Definition XD3Y8XSMV9
| URI | m2://inv/XD3Y8XSMV9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwarzian derivative#QGHP, Definition (definition)
History
- 2026-11-02: add by m2/dev
Enumeration XD45JE695S
| URI | m2://inv/XD45JE695S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unrooted binary tree#972U, Enumeration (definition)
History
- 2026-11-02: add by m2/dev
Weyl gravity XD470PH9RP
| URI | m2://inv/XD470PH9RP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#RD2K, Weyl gravity (definition)
History
- 2026-11-02: add by m2/dev
XD4CPJ4Y4Q XD4CPJ4Y4Q
| URI | m2://inv/XD4CPJ4Y4Q |
|---|---|
| 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 2011.08789#CIBK (statement). In 43AGRMP7T3/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Algorithm XD4KV02TEC
| URI | m2://inv/XD4KV02TEC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FastICA#OB2R, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
XD4Q1F61C3 XD4Q1F61C3
| URI | m2://inv/XD4Q1F61C3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00021#15I9 (definition). In EX42AVA7CV/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
XD4R2FTS3H XD4R2FTS3H
| URI | m2://inv/XD4R2FTS3H |
|---|---|
| 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.30636#2NFD (statement). In TNPXAV263D/e1, theorem
History
- 2026-10-31: add by m2/v0.5.6
Alternative definitions XD4XJ9FWEF
| URI | m2://inv/XD4XJ9FWEF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Winding number#63QZ, Alternative definitions (definition)
History
- 2026-11-02: add by m2/dev
Scalar field theory XD4XP812R9
| URI | m2://inv/XD4XP812R9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scalar field theory, Scalar field theory (topic). Also Wikidata Q5979196
History
- 2026-11-02: add by m2/dev
Properties XD51Z755ND
| URI | m2://inv/XD51Z755ND |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blum integer#GHQP, Properties (statement)
History
- 2026-11-02: add by m2/dev
XD54XDJHQX XD54XDJHQX
| URI | m2://inv/XD54XDJHQX |
|---|---|
| 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 2608.23797#HE98 (statement). In PZCA01JXVR/e1, proposition 4.10
History
- 2026-10-27: add by m2/v0.3.5
Stickelberger's theorem XD59DQ3KMJ
| URI | m2://inv/XD59DQ3KMJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#MKYN, Stickelberger's theorem (statement)
History
- 2026-11-02: add by m2/dev
XD5AHJAVGZ XD5AHJAVGZ
| URI | m2://inv/XD5AHJAVGZ |
|---|---|
| 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 2610.10828#NBQC (statement). In 8PTDFHV8SQ/e1, lemma 6.8
History
- 2026-10-28: add by m2/v0.4.3
The algorithm XD5R7PPNXN
| URI | m2://inv/XD5R7PPNXN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Madryga#A2M0, The algorithm (definition)
History
- 2026-11-02: add by m2/dev
Hardy–Littlewood criterion XD5VSREVYM
| URI | m2://inv/XD5VSREVYM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz function#E7MK, Hardy–Littlewood criterion (statement)
History
- 2026-11-02: add by m2/dev
Definition XD5ZM54RX6
| URI | m2://inv/XD5ZM54RX6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gamma process#V9GB, Definition (definition)
History
- 2026-11-02: add by m2/dev
XD60ZWCKCE XD60ZWCKCE
| URI | m2://inv/XD60ZWCKCE |
|---|---|
| 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.27715#RBHQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Segner, János András XD641FD3A6
| URI | m2://inv/XD641FD3A6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#ILSV, Segner, János András (topic)
History
- 2026-11-02: add by m2/dev
XD68QDYC0Z XD68QDYC0Z
| URI | m2://inv/XD68QDYC0Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21017#7R77 (statement). In 8KKYZ4NKT2/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.2
XD68S7NKJ7 XD68S7NKJ7
| URI | m2://inv/XD68S7NKJ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2201.04174#SF2V (statement). In NVTHDNQQ4Q/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Examples XD6A7E798Z
| URI | m2://inv/XD6A7E798Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Communication channel#ZDLB, Examples (example)
History
- 2026-11-02: add by m2/dev
strong solution XD6BP8KGXT
| URI | m2://inv/XD6BP8KGXT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35001#ENKB, strong solution (definition). In 1PN6NESQER/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Fibre bundle XD6CA5T5BQ
| URI | m2://inv/XD6CA5T5BQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#IFYK, Fibre bundle (definition)
History
- 2026-11-02: add by m2/dev
XD6X43KVG1 XD6X43KVG1
| URI | m2://inv/XD6X43KVG1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08074#GJSD (statement). In ZRPYF750AV/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
Examples XD780RE8CE
| URI | m2://inv/XD780RE8CE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Presheaf with transfers#N6WW, Examples (example)
History
- 2026-11-02: add by m2/dev
Construction XD7BARSG0G
| URI | m2://inv/XD7BARSG0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated tesseract#KC5T, Construction (definition)
History
- 2026-11-02: add by m2/dev
José Babini XD7D4ME0KY
| URI | m2://inv/XD7D4ME0KY |
|---|---|
| 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#YH8X, José Babini (unknown)
History
- 2026-11-02: add by m2/dev
birthday attack XD7DKDG7SE
| URI | m2://inv/XD7DKDG7SE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q615485, birthday attack (unknown). Also MathWorld BirthdayAttack
- wikipedia: Wikipedia Birthday attack, Birthday attack (definition). Also Wikidata Q615485
History
- 2026-10-26: add by m2/dev
XD7YBP4GH5 XD7YBP4GH5
| URI | m2://inv/XD7YBP4GH5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.21921#6IAR (statement). In CM2YEK9T4F/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.4.2
Seppo Linnainmaa XD85H0N50G
| URI | m2://inv/XD85H0N50G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seppo Linnainmaa, Seppo Linnainmaa (topic). Also Wikidata Q23682411
History
- 2026-11-02: add by m2/dev
XD87GHAEWM XD87GHAEWM
| URI | m2://inv/XD87GHAEWM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-58 (proof). In VNMV985MXX, proof, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Mixed data sampling XD8AK3CSSG
| URI | m2://inv/XD8AK3CSSG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SKZB, Mixed data sampling (definition)
History
- 2026-11-02: add by m2/dev
Wickens, Aryness Joy XD8DJC7892
| URI | m2://inv/XD8DJC7892 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#ZCHP, Wickens, Aryness Joy (topic)
History
- 2026-11-02: add by m2/dev
Ivy Hooks XD8MDZVK0H
| URI | m2://inv/XD8MDZVK0H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ivy Hooks, Ivy Hooks (topic). Also Wikidata Q99976206
History
- 2026-11-02: add by m2/dev
XD8TBE8973 XD8TBE8973
| URI | m2://inv/XD8TBE8973 |
|---|---|
| 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.21622#CCL7 (statement). In H21X3FHNYJ/e1, lemma 7.3
History
- 2026-10-27: add by m2/v0.4.2
Navin M. Singhi XD9098JMEQ
| URI | m2://inv/XD9098JMEQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Navin M. Singhi, Navin M. Singhi (topic). Also Wikidata Q6982476
History
- 2026-11-02: add by m2/dev
Definition XD93FK940W
| URI | m2://inv/XD93FK940W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connective constant#C8F0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Methods XD95KBRQ4Z
| URI | m2://inv/XD95KBRQ4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia X-13ARIMA-SEATS#37LB, Methods (definition)
History
- 2026-11-02: add by m2/dev
Fitz-Gibbon, Carol XD9BKSA90Y
| URI | m2://inv/XD9BKSA90Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#X09L, Fitz-Gibbon, Carol (unknown)
History
- 2026-11-02: add by m2/dev
XD9DH5WD27 XD9DH5WD27
| URI | m2://inv/XD9DH5WD27 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14217#G004 (example). In K0DHYQC5B7/e1, example 4.7
History
- 2026-10-28: add by m2/v0.4.2
XD9E8WACYF XD9E8WACYF
| URI | m2://inv/XD9E8WACYF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24325#Y7R7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Variants XD9XQXDPVP
| URI | m2://inv/XD9XQXDPVP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random walk#P6LJ, Variants (statement)
History
- 2026-11-02: add by m2/dev
The comparison covers the child interval XD9YD6S1ZN
| URI | m2://inv/XD9YD6S1ZN |
|---|---|
| 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.02509#EVFE, The comparison covers the child interval (statement). In 9CJ1NK0R8P/e1, lemma 1.58
History
- 2026-10-29: add by m2/v0.4.12
Leveling and sharpening XDA1A4CV6C
| URI | m2://inv/XDA1A4CV6C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#QWRQ, Leveling and sharpening (unknown)
History
- 2026-11-02: add by m2/dev
XDA35JRZCX XDA35JRZCX
| URI | m2://inv/XDA35JRZCX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-2.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
XDA40PWN9A XDA40PWN9A
| URI | m2://inv/XDA40PWN9A |
|---|---|
| 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.03477#C7V6 (statement). In GXN3D4G4HE/e1, fact 2.2
History
- 2026-10-29: add by m2/v0.4.12
Statement of the theorem XDA5507KBY
| URI | m2://inv/XDA5507KBY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Finetti's theorem#XIT6, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Mahler's theorem XDA97CNZS4
| URI | m2://inv/XDA97CNZS4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#Q0UT, Mahler's theorem (statement)
History
- 2026-11-02: add by m2/dev
List decoding XDA99Q8RAP
| URI | m2://inv/XDA99Q8RAP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List decoding, List decoding (definition). Also Wikidata Q4437907
History
- 2026-11-02: add by m2/dev
XDA9MZCPTG XDA9MZCPTG
| URI | m2://inv/XDA9MZCPTG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#cor:Delta0sep (statement). In N54F33XE07, cor, section C.5
History
- 2026-11-01: add by m2/v0.6.13
Three dunce cap theorem XDABJ2SC4B
| URI | m2://inv/XDABJ2SC4B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constructions in hyperbolic geometry#6YIM, Three dunce cap theorem (statement)
History
- 2026-11-02: add by m2/dev
Journal de l'École Polytechnique XDAHEX79QM
| URI | m2://inv/XDAHEX79QM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3186845, Journal de l'École Polytechnique (unknown). Also ProofWiki Book:Journal/Journal_de_l'École_Polytechnique
History
- 2026-10-26: add by m2/dev
Closed-fiber order XDAY9AJV42
| URI | m2://inv/XDAY9AJV42 |
|---|---|
| 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.32078#DEYE, Closed-fiber order (statement). In 5PN85N6EJF/e1, proposition 4.1
History
- 2026-10-31: add by m2/v0.5.6
Definitions XDB0N40AWG
| URI | m2://inv/XDB0N40AWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential map (Lie theory)#I6XR, Definitions (definition)
History
- 2026-11-02: add by m2/dev
XDB56KF56F XDB56KF56F
| URI | m2://inv/XDB56KF56F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20480#IWZU (statement). In BK4359JSC3/e1, lemma 7.2
History
- 2026-10-27: add by m2/v0.4.2
Definitions XDB6PQ0ZW0
| URI | m2://inv/XDB6PQ0ZW0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mereology#KB4P, Definitions (definition)
History
- 2026-11-02: add by m2/dev
XDBFQ83GG5 XDBFQ83GG5
| URI | m2://inv/XDBFQ83GG5 |
|---|---|
| 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.03272#6JR8 (statement). In H9ZC46G7BX/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.12
Normal basis XDBGV4NEZZ
| URI | m2://inv/XDBGV4NEZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#56S9, Normal basis (definition)
History
- 2026-11-02: add by m2/dev
XDBHTPZET4 XDBHTPZET4
| URI | m2://inv/XDBHTPZET4 |
|---|---|
| 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.29326#54D4 (statement). In 3F83V6VKKA/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.6
XDBZ3GD3EM XDBZ3GD3EM
| URI | m2://inv/XDBZ3GD3EM |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
XDC6J26XTN XDC6J26XTN
| URI | m2://inv/XDC6J26XTN |
|---|---|
| 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.23685#7CRF (statement)
History
- 2026-11-02: add by m2/v0.6.17
Related results XDC7MHHA2E
| URI | m2://inv/XDC7MHHA2E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pascal's theorem#6IHE, Related results (statement)
History
- 2026-11-02: add by m2/dev
Profinite word XDCEMACRYJ
| URI | m2://inv/XDCEMACRYJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Profinite word, Profinite word (definition). Also Wikidata Q55648539
History
- 2026-11-02: add by m2/dev
Hugo Duminil-Copin XDCGEGG7HS
| URI | m2://inv/XDCGEGG7HS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#62TV, Hugo Duminil-Copin (topic)
History
- 2026-11-02: add by m2/dev
XDCHM4F61W XDCHM4F61W
| URI | m2://inv/XDCHM4F61W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.30482#7D7V (statement). In KWB9M5YH9G/e1, theorem 2.6
History
- 2026-10-31: add by m2/v0.5.6
Exact solutions in general relativity XDCTQ9G8MW
| URI | m2://inv/XDCTQ9G8MW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exact solutions in general relativity, Exact solutions in general relativity (definition). Also Wikidata Q5419229
History
- 2026-11-02: add by m2/dev
Examples XDCV8C36X2
| URI | m2://inv/XDCV8C36X2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability vector#TIQE, Examples (example)
History
- 2026-11-02: add by m2/dev
Profile entropy of block-product states XDCYT8521Q
| URI | m2://inv/XDCYT8521Q |
|---|---|
| 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.02166#2AZQ, Profile entropy of block-product states (statement). In R6RF3P6D5A/e1, lemma 3.11
History
- 2026-10-29: add by m2/v0.4.12
XDD0Z8TFEQ XDD0Z8TFEQ
| URI | m2://inv/XDD0Z8TFEQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20119#A2S6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Artin algebra XDD2GH5ZVA
| URI | m2://inv/XDD2GH5ZVA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin algebra, Artin algebra (definition). Also Wikidata Q4801170
History
- 2026-11-02: add by m2/dev
XDD4TQ2ZRT XDD4TQ2ZRT
| URI | m2://inv/XDD4TQ2ZRT |
|---|---|
| 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 2609.21017#9NO5 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Gauss's digamma theorem XDD7R1Y56Q
| URI | m2://inv/XDD7R1Y56Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digamma function#O6RB, Gauss's digamma theorem (statement)
History
- 2026-11-02: add by m2/dev
XDDER3S36T XDDER3S36T
| URI | m2://inv/XDDER3S36T |
|---|---|
| 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.15525#7UNJ (statement). In EFDRME13PT/e1, corollary 1.2
History
- 2026-10-28: add by m2/v0.4.2
XDDWNPK16D XDDWNPK16D
| URI | m2://inv/XDDWNPK16D |
|---|---|
| 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.35186#ZBQV (statement). In VFNPANY3HD/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
François Loeser XDDWYA5Q1R
| URI | m2://inv/XDDWYA5Q1R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RA62, François Loeser (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#54JQ, François Loeser (topic)
History
- 2026-11-02: add by m2/dev
Pregeometry XDDXG9SYDC
| URI | m2://inv/XDDXG9SYDC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pregeometry (physics), Pregeometry (definition). Also Wikidata Q7239879
History
- 2026-11-02: add by m2/dev
strictly monotone function XDDZ60PMN7
| URI | m2://inv/XDDZ60PMN7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/2.6/strictly-monotone-function, strictly monotone function (concept). In E59CDZA4DP, index, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
Properties XDE9Y8DWMF
| URI | m2://inv/XDE9Y8DWMF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized entropy index#M6QH, Properties (statement)
History
- 2026-11-02: add by m2/dev
universal enveloping algebra XDECH5ZGS6
| URI | m2://inv/XDECH5ZGS6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Universal enveloping algebra SCZ8PRVY00 |
Mentions
- wikidata: Wikidata Q1673406, universal enveloping algebra (concept). Also EoM Universal_enveloping_algebra, nLab universal enveloping algebra
- wikipedia: Wikipedia Universal enveloping algebra, Universal enveloping algebra (definition). Also Wikidata Q1673406
History
- 2026-10-26: add by m2/dev
molecular proposition XDEGX33BSA
| URI | m2://inv/XDEGX33BSA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#HD6Y, molecular proposition (definition)
History
- 2026-11-02: add by m2/dev
XDEH0S27EB XDEH0S27EB
| URI | m2://inv/XDEH0S27EB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 37-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00916#AOGX (definition). In 3MMFCTKPPJ/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.12
XDEKE3GP4B XDEKE3GP4B
| URI | m2://inv/XDEKE3GP4B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#XNT4 (definition). In 3A4K47Y9F2/e1, definition 6.12
History
- 2026-10-27: add by m2/v0.4.0
XDEZJ81J5J XDEZJ81J5J
| URI | m2://inv/XDEZJ81J5J |
|---|---|
| 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 1902.04230#K8YX (statement). In 22JZ68FGCW/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
Every quotient has positive imaginary charge XDEZY6PM0S
| URI | m2://inv/XDEZY6PM0S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18788#C3KO, Every quotient has positive imaginary charge (statement). In KFEASG3ZHS/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Doeblin and Dobrushin coefficients XDF3J0QTSP
| URI | m2://inv/XDF3J0QTSP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14988#VQ1X, Doeblin and Dobrushin coefficients (statement). In B29M4E6KGC/e1, lemma E.3
History
- 2026-10-28: add by m2/v0.4.2
Grothendieck XDF63EC3H2
| URI | m2://inv/XDF63EC3H2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#RHQC, Grothendieck (definition)
History
- 2026-11-02: add by m2/dev
XDFGYDXYSM XDFGYDXYSM
| URI | m2://inv/XDFGYDXYSM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#example-8 (example). In E59CDZA4DP, example, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
XDFHJP9M32 XDFHJP9M32
| URI | m2://inv/XDFHJP9M32 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#proof-6 (proof). In PKGMM3P5QY, proof, section 49.1
History
- 2026-11-01: add by m2/v0.6.13
Herbert Solomon XDFJQY9H3J
| URI | m2://inv/XDFJQY9H3J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#QK2D, Herbert Solomon (unknown)
History
- 2026-11-02: add by m2/dev
XDFQ7E1AHR XDFQ7E1AHR
| URI | m2://inv/XDFQ7E1AHR |
|---|---|
| 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.30819#ULUH (statement). In TE6082EE1K/e1, lemma 1
History
- 2026-10-31: add by m2/v0.5.6
XDFR5DFMPC XDFR5DFMPC
| URI | m2://inv/XDFR5DFMPC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 55-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31919#O0ID (example). In RHN12PW9P9/e1, example 3.2
History
- 2026-10-31: add by m2/v0.5.6
XDGBXER9PW XDGBXER9PW
| URI | m2://inv/XDGBXER9PW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-2.xml#example-1 (example). In 649HGZKE96, example, section 4.2.2
History
- 2026-11-01: add by m2/v0.6.13
Power law XDGHHGHHF1
| URI | m2://inv/XDGHHGHHF1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#D7QS, Power law (statement)
- wikipedia: Wikipedia List of probability topics#KM4Z, Power law (statement)
- wikipedia: Wikipedia List of exponential topics#JFZ0, Power law (statement)
History
- 2026-11-02: add by m2/dev
Example XDGKQACVQ9
| URI | m2://inv/XDGKQACVQ9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square-difference-free set#SL1B, Example (example)
History
- 2026-11-02: add by m2/dev
Definitions XDGM11Y9A6
| URI | m2://inv/XDGM11Y9A6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectangulations#X9VR, Definitions (definition)
History
- 2026-11-02: add by m2/dev
XDGR9VJ3PX XDGR9VJ3PX
| URI | m2://inv/XDGR9VJ3PX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20716#Z4FY (example)
History
- 2026-11-02: add by m2/v0.6.18
XDGS1HEDBC XDGS1HEDBC
| URI | m2://inv/XDGS1HEDBC |
|---|---|
| Kind | example |
| 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.17442#WN1F (example). In 6ADGJ51W1P/e1, example 2
History
- 2026-10-28: add by m2/v0.4.2
Weak Schur sampling sufficiency XDGX18TTY4
| URI | m2://inv/XDGX18TTY4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.29348#0JW2, Weak Schur sampling sufficiency (statement)
History
- 2026-11-01: add by m2/v0.6.15
Smooth populations XDH1F60GBA
| URI | m2://inv/XDH1F60GBA |
|---|---|
| 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#QDKR, Smooth populations (statement). In X1FPG0KYBM/e1, proposition I.3
History
- 2026-10-28: add by m2/v0.4.2
XDH3S0J07C XDH3S0J07C
| URI | m2://inv/XDH3S0J07C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01737#X0WG (statement). In M4JGP708F4/e1, proposition 2.11
History
- 2026-10-29: add by m2/v0.4.12
XDH70MPKS7 XDH70MPKS7
| URI | m2://inv/XDH70MPKS7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20028#W95Z (statement)
History
- 2026-11-02: add by m2/v0.6.18
XDHGKWZR51 XDHGKWZR51
| URI | m2://inv/XDHGKWZR51 |
|---|---|
| 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.39317#IPQ9 (statement). In QM1T8JDK4A/e1, fact 5.2
History
- 2026-10-30: add by m2/v0.4.12
universal property XDHJEX0R2E
| URI | m2://inv/XDHJEX0R2E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Universal property EN4DD2FAJH |
Mentions
- wikidata: Wikidata Q1417809, universal property (unknown). Also EoM Universal_property
- wikipedia: Wikipedia Universal property, Universal property (definition). Also Wikidata Q1417809
History
- 2026-10-26: add by m2/dev
XDHJJPEE8E XDHJJPEE8E
| URI | m2://inv/XDHJJPEE8E |
|---|---|
| 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.21403#92IO (statement)
History
- 2026-11-02: add by m2/v0.6.18
golden spiral XDJ2FBHYJ2
| URI | m2://inv/XDJ2FBHYJ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q775226, golden spiral (unknown). Also MathWorld GoldenSpiral
- wikipedia: Wikipedia Golden spiral, Golden spiral (definition). Also Wikidata Q775226
History
- 2026-10-26: add by m2/dev
Baum–Sweet sequence XDJ89Y6MMJ
| URI | m2://inv/XDJ89Y6MMJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q735489, Baum–Sweet sequence (object). Also MathWorld Baum-SweetSequence, OEIS A086747
- wikipedia: Wikipedia Baum–Sweet sequence, Baum–Sweet sequence (definition). Also Wikidata Q735489
History
- 2026-10-26: add by m2/dev
XDJEBYK93V XDJEBYK93V
| URI | m2://inv/XDJEBYK93V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21627#229M (statement). In 4Z44S003HM/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.2
XDJEF10VSR XDJEF10VSR
| URI | m2://inv/XDJEF10VSR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-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.21768#QDVS (statement). In VD53W58DS1/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.4.2
Fermi-Walker differentiation XDJEH1YFR4
| URI | m2://inv/XDJEH1YFR4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermi–Walker transport#6DMI, Fermi-Walker differentiation (unknown)
History
- 2026-11-02: add by m2/dev
Characterizations XDJT197Q5Z
| URI | m2://inv/XDJT197Q5Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nuclear space#2HG4, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Statement XDKF5YRQHF
| URI | m2://inv/XDKF5YRQHF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optional stopping theorem#U9I5, Statement (statement)
History
- 2026-11-02: add by m2/dev
Jaffrey, Thomas XDKG0DKH9A
| URI | m2://inv/XDKG0DKH9A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#M9Y5, Jaffrey, Thomas (unknown)
History
- 2026-11-02: add by m2/dev
fortnight XDKSH4GYYN
| URI | m2://inv/XDKSH4GYYN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2993680, fortnight (definition). Also ProofWiki Definition:Time/Unit/Fortnight
History
- 2026-10-26: add by m2/dev
Type and cotype of a Banach space XDKT3KY4HT
| URI | m2://inv/XDKT3KY4HT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Type and cotype of a Banach space, Type and cotype of a Banach space (definition). Also Wikidata Q117615954
History
- 2026-11-02: add by m2/dev
Big line bundle XDKZ1KEBVZ
| URI | m2://inv/XDKZ1KEBVZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iitaka dimension#PX48, Big line bundle (unknown)
History
- 2026-11-02: add by m2/dev
XDM12ZDC6S XDM12ZDC6S
| URI | m2://inv/XDM12ZDC6S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/transpose.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 61.6
History
- 2026-11-01: add by m2/v0.6.13
Wave maps equation XDM3FGD1MT
| URI | m2://inv/XDM3FGD1MT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wave maps equation, Wave maps equation (definition). Also Wikidata Q7975309
History
- 2026-11-02: add by m2/dev
totally disconnected space XDMEQS2MKT
| URI | m2://inv/XDMEQS2MKT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Totally disconnected space 01CYW8S04D |
Mentions
- wikidata: Wikidata Q1544261, totally disconnected space (unknown). Also nLab totally disconnected space
- wikipedia: Wikipedia Totally disconnected space, Totally disconnected space (definition). Also Wikidata Q1544261
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Summation formula and approximation XDN2CWW985
| URI | m2://inv/XDN2CWW985 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Telephone number (mathematics)#2TH5, Summation formula and approximation (statement)
History
- 2026-11-02: add by m2/dev
XDN2KVM0TB XDN2KVM0TB
| URI | m2://inv/XDN2KVM0TB |
|---|---|
| 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 2407.05730#1QBA (statement). In VQ7STN4KDC/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
XDN610G58F XDN610G58F
| URI | m2://inv/XDN610G58F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-18 (exercise). In Y91XFCEVHQ, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Total set XDN987R9TY
| URI | m2://inv/XDN987R9TY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Total set, Total set (definition). Also Wikidata Q18353611
History
- 2026-11-02: add by m2/dev
Amplitwist XDNAEZRHDC
| URI | m2://inv/XDNAEZRHDC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amplitwist, Amplitwist (definition). Also Wikidata Q65121076
History
- 2026-11-02: add by m2/dev
Simon problems XDNB8JS9RK
| URI | m2://inv/XDNB8JS9RK |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simon problems, Simon problems (conjecture). Also Wikidata Q31840555
History
- 2026-11-02: add by m2/dev
XDNGDCNR5A XDNGDCNR5A
| URI | m2://inv/XDNGDCNR5A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1001.1196#S945 (statement). In BCB418GV9C/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
The Riemann hypothesis XDNMFMD441
| URI | m2://inv/XDNMFMD441 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev function#EKNM, The Riemann hypothesis (statement)
History
- 2026-11-02: add by m2/dev
\bf Randomness XDNQ468DDH
| URI | m2://inv/XDNQ468DDH |
|---|---|
| Kind | problem |
| 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.02791#3P06, \bf Randomness (problem). In TT9BA4VMTW/e1, problem 1
History
- 2026-10-29: add by m2/v0.4.12
Splitting lemma XDNQD8ZY1N
| URI | m2://inv/XDNQD8ZY1N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#4EOC, Splitting lemma (statement)
- wikipedia: Wikipedia List of lemmas#B15A, Splitting lemma (statement)
History
- 2026-11-02: add by m2/dev
XDNQYEJMEP XDNQYEJMEP
| URI | m2://inv/XDNQYEJMEP |
|---|---|
| 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.12486#EIN4 (statement). In CWQ2YHT24E/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
Formal definition XDNWMCZQCE
| URI | m2://inv/XDNWMCZQCE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mordellic variety#2UUA, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
XDNZ4XAWNE XDNZ4XAWNE
| URI | m2://inv/XDNZ4XAWNE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33557#Z5TI (statement). In 95YZVAPGJA/e1, theorem 7.2
History
- 2026-10-30: add by m2/v0.4.12
Engineering mathematics XDP2RW6337
| URI | m2://inv/XDP2RW6337 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Engineering mathematics, Engineering mathematics (topic). Also Wikidata Q2235851
History
- 2026-11-02: add by m2/dev
XDP3408EPN XDP3408EPN
| URI | m2://inv/XDP3408EPN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21489#XC0R (statement). In R0Q0RV8XCF/e1, proposition 4.13
History
- 2026-10-27: add by m2/v0.4.2
XDP385NN2F XDP385NN2F
| URI | m2://inv/XDP385NN2F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.01237#HENL (statement). In M9VHCG48HB/e1, corollary 6.1
History
- 2026-10-27: add by m2/v0.3.5
Melvin Fitting XDP8TB4D0E
| URI | m2://inv/XDP8TB4D0E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#KHS9, Melvin Fitting (topic)
History
- 2026-11-02: add by m2/dev
XDPJTH8G1H XDPJTH8G1H
| URI | m2://inv/XDPJTH8G1H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.17737#P1AE (statement). In 8SXY7Y68HV/e1, corollary 6.13
History
- 2026-10-28: add by m2/v0.4.2
XDPMY2RCFX XDPMY2RCFX
| URI | m2://inv/XDPMY2RCFX |
|---|---|
| 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.24185#HG1C (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example XDPNRX8S1X
| URI | m2://inv/XDPNRX8S1X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brownian surface#KAM8, Example (example)
History
- 2026-11-02: add by m2/dev
relationship between the coefficients and the roots of a split polynomial XDPSBTQT4H
| URI | m2://inv/XDPSBTQT4H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Ring Theory > Polynomial rings > relationship between the coefficients and the roots of a split polynomial, relationship between the coefficients and the roots of a split polynomial (unknown). Also Mathlib Polynomial.coeff_eq_esymm_roots_of_card
History
- 2026-10-26: add by m2/dev
integral scheme XDPTVRJW4S
| URI | m2://inv/XDPTVRJW4S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3475665, integral scheme (unknown). Also nLab integral scheme
History
- 2026-10-26: add by m2/dev
Proposition XDPXE4P9Q9
| URI | m2://inv/XDPXE4P9Q9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heine–Borel theorem#EZIU, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Methods XDQ1YYD4Q0
| URI | m2://inv/XDQ1YYD4Q0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Econometrics#7T76, Methods (definition)
History
- 2026-11-02: add by m2/dev
Karen Parshall XDQ2ZQETEZ
| URI | m2://inv/XDQ2ZQETEZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#56KK, Karen Parshall (topic)
History
- 2026-11-02: add by m2/dev
Robert Wood XDQ37WA0Z9
| URI | m2://inv/XDQ37WA0Z9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Wood (mathematician), Robert Wood (topic). Also Wikidata Q7351218
History
- 2026-11-02: add by m2/dev
XDQCR8HXCC XDQCR8HXCC
| URI | m2://inv/XDQCR8HXCC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35323#IK14 (definition). In 5CKPXBWSCX/e1, definition 2.13
History
- 2026-10-30: add by m2/v0.4.12
Characterization XDQG9N7H83
| URI | m2://inv/XDQG9N7H83 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rice distribution#83CV, Characterization (statement)
History
- 2026-11-02: add by m2/dev
XDQN2BP8K9 XDQN2BP8K9
| URI | m2://inv/XDQN2BP8K9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04623#MEDL (statement). In 6CK4CTQWQH/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
XDQT8S6C2A XDQT8S6C2A
| URI | m2://inv/XDQT8S6C2A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14859#Y6X0 (statement). In 8TPP7WC7K3/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Turochamp XDQWGHDCT0
| URI | m2://inv/XDQWGHDCT0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#EOON, Turochamp (unknown)
History
- 2026-11-02: add by m2/dev
H\"older's inequality XDQXTN1ZX6
| URI | m2://inv/XDQXTN1ZX6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15460#FZ5N, H\"older's inequality (statement). In T2Z3D2VQ9B/e1, lemma 2.8
History
- 2026-10-28: add by m2/v0.4.2
Boyer–Lindquist coordinates XDQYVXTC0P
| URI | m2://inv/XDQYVXTC0P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#A0JM, Boyer–Lindquist coordinates (definition)
History
- 2026-11-02: add by m2/dev
Herbrand–Ribet theorem XDR2987JYE
| URI | m2://inv/XDR2987JYE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#FSHP, Herbrand–Ribet theorem (statement)
History
- 2026-11-02: add by m2/dev
Zamfirescu graph 75 XDR3XMG3DQ
| URI | m2://inv/XDR3XMG3DQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2818267, Zamfirescu graph 75 (unknown). Also House of Graphs 1439
History
- 2026-10-26: add by m2/dev
XDR640JY86 XDR640JY86
| URI | m2://inv/XDR640JY86 |
|---|---|
| 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.24789#2TQM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Conjecture on Fano manifolds and Veblen Prize XDRAYD3DF2
| URI | m2://inv/XDRAYD3DF2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Song Sun#30KT, Conjecture on Fano manifolds and Veblen Prize (statement)
History
- 2026-11-02: add by m2/dev
Insertional pseudoentropy implies conditional sampling hardness XDRP96GTAA
| URI | m2://inv/XDRP96GTAA |
|---|---|
| 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.14615#EL91, Insertional pseudoentropy implies conditional sampling hardness (statement). In 7D5MMP8XB5/e1, lemma 5.10
History
- 2026-10-28: add by m2/v0.4.2
XDRTBKR1SZ XDRTBKR1SZ
| URI | m2://inv/XDRTBKR1SZ |
|---|---|
| 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 2401.14143#W9CI (statement). In 7WV4JVGEN1/e1, theorem 5.4
History
- 2026-10-27: add by m2/v0.4.0
Tragedy of the anticommons XDS0F8AMKG
| URI | m2://inv/XDS0F8AMKG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tragedy of the anticommons, Tragedy of the anticommons (definition). Also Wikidata Q931155
History
- 2026-11-02: add by m2/dev
Flood fill XDS5N6VX8B
| URI | m2://inv/XDS5N6VX8B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graph theory topics#6L9Y, Flood fill (definition)
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#LE6U, Flood fill (definition)
History
- 2026-11-02: add by m2/dev
set, Zermelo-Fraenkel axioms XDS8BRJRWS
| URI | m2://inv/XDS8BRJRWS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.19/set-zermelo-fraenkel-axioms, set, Zermelo-Fraenkel axioms (concept). In QKM9DD2H56, index, section B.19
History
- 2026-11-01: add by m2/v0.6.13
XDSEB20WD9 XDSEB20WD9
| URI | m2://inv/XDSEB20WD9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#8IQ9 (statement). In VN084GGZGK/e1, proposition 3.28
History
- 2026-10-28: add by m2/v0.4.3
Projective lift XDSFSRPG9W
| URI | m2://inv/XDSFSRPG9W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22058#FRJ5, Projective lift (statement)
History
- 2026-11-02: add by m2/v0.6.17
Compound of four hexagonal prisms XDSPH6NCTT
| URI | m2://inv/XDSPH6NCTT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#2OJJ, Compound of four hexagonal prisms (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#IN9C, Compound of four hexagonal prisms (definition)
History
- 2026-11-02: add by m2/dev
Haskell XDSQGVZ9WH
| URI | m2://inv/XDSQGVZ9WH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q34010, Haskell (unknown). Also nLab Haskell
History
- 2026-10-26: add by m2/dev
XDST06S42A XDST06S42A
| URI | m2://inv/XDST06S42A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07741#3CZ5 (statement). In K4YV2SF9MG/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
Example XDSVQK8NE7
| URI | m2://inv/XDSVQK8NE7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twisted Hessian curves#T6DP, Example (example)
History
- 2026-11-02: add by m2/dev
Jayanta Kumar Ghosh XDSXA1F6VR
| URI | m2://inv/XDSXA1F6VR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jayanta Kumar Ghosh, Jayanta Kumar Ghosh (topic). Also Wikidata Q16773201
History
- 2026-11-02: add by m2/dev
XDSY0XD4QX XDSY0XD4QX
| URI | m2://inv/XDSY0XD4QX |
|---|---|
| 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.14204#WSZN (statement). In GZAY1Y12YD/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
XDT539FZR1 XDT539FZR1
| URI | m2://inv/XDT539FZR1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08342#JNY9 (statement). In PJBVMDPSR3/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Karen Rhea XDT6MV3GNR
| URI | m2://inv/XDT6MV3GNR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karen Rhea, Karen Rhea (topic). Also Wikidata Q73322038
History
- 2026-11-02: add by m2/dev
XDTAE4EPCF XDTAE4EPCF
| URI | m2://inv/XDTAE4EPCF |
|---|---|
| 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.37201#VAPP (definition). In HJEK865J7W/e1, definition 2.4
History
- 2026-10-30: add by m2/v0.4.12
Math.NET Numerics XDTBQHQ1YB
| URI | m2://inv/XDTBQHQ1YB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#N4MN, Math.NET Numerics (unknown)
History
- 2026-11-02: add by m2/dev
Theorem XDTF6WSEAQ
| URI | m2://inv/XDTF6WSEAQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension theory (algebra)#5BT5, Theorem (statement)
History
- 2026-11-02: add by m2/dev
XDTJJKARK6 XDTJJKARK6
| URI | m2://inv/XDTJJKARK6 |
|---|---|
| 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.00271#UVKU (statement). In T1NSCAZS28/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
Sturm series XDTMBJDJ99
| URI | m2://inv/XDTMBJDJ99 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sturm series, Sturm series (definition). Also Wikidata Q7629091
History
- 2026-11-02: add by m2/dev
simple eigenvalue XDV12QY34X
| URI | m2://inv/XDV12QY34X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigenvalues and eigenvectors#AMYZ, simple eigenvalue (definition)
- wikipedia: Wikipedia Eigenvalues and eigenvectors#K4X2, semisimple eigenvalue (definition)
History
- 2026-11-02: add by m2/dev
The isolation lemma of Mulmuley, Vazirani, and Vazirani XDV69M757M
| URI | m2://inv/XDV69M757M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isolation lemma#JCUR, The isolation lemma of Mulmuley, Vazirani, and Vazirani (statement)
History
- 2026-11-02: add by m2/dev
Psychologist's fallacy XDV7JE5F8Y
| URI | m2://inv/XDV7JE5F8Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#OGU0, Psychologist's fallacy (definition)
History
- 2026-11-02: add by m2/dev
XDVE3VV6DV XDVE3VV6DV
| URI | m2://inv/XDVE3VV6DV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10840#MNS6 (statement). In JSJQEPY71E/e1, lemma A.2
History
- 2026-10-28: add by m2/v0.4.3
Pascual Jordan XDVRYVHBTE
| URI | m2://inv/XDVRYVHBTE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q61761, Pascual Jordan (unknown). Also nLab Pascual Jordan
History
- 2026-10-26: add by m2/dev
Wilhelm Gross XDVS8FK3HW
| URI | m2://inv/XDVS8FK3HW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilhelm Gross, Wilhelm Gross (topic). Also Wikidata Q22351248
History
- 2026-11-02: add by m2/dev
Hypothesis testing XDW3JBVZR5
| URI | m2://inv/XDW3JBVZR5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability of error#VI3Y, Hypothesis testing (statement)
History
- 2026-11-02: add by m2/dev
XDWFZY3EE3 XDWFZY3EE3
| URI | m2://inv/XDWFZY3EE3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11700#PGC1 (statement). In RW9AZQ1YZ2/e1, corollary 12
History
- 2026-10-28: add by m2/v0.4.3
Theorem XDWNM5SE6F
| URI | m2://inv/XDWNM5SE6F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonstandard analysis#OWNY, Theorem (statement)
History
- 2026-11-02: add by m2/dev
XDWVA92Z3Y XDWVA92Z3Y
| URI | m2://inv/XDWVA92Z3Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04000#SV5Y (statement). In CBCCH5VTMQ/e1, corollary 2.4
History
- 2026-10-29: add by m2/v0.4.12
XDWY4G4WKY XDWY4G4WKY
| URI | m2://inv/XDWY4G4WKY |
|---|---|
| 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#1OIP (statement). In WRE0P7V6Z3/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
XDXBAW95EF XDXBAW95EF
| URI | m2://inv/XDXBAW95EF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40260#7WZV (statement). In 524FZAC6NB/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
XDXHY3N8S6 XDXHY3N8S6
| URI | m2://inv/XDXHY3N8S6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33018#QBUS (definition). In 8XVS0QJ2AH/e1, definition 4
History
- 2026-10-31: add by m2/v0.5.6
XDXKJD9STR XDXKJD9STR
| URI | m2://inv/XDXKJD9STR |
|---|---|
| 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.22218#3EBP (statement). In 338GKREFVP/e1, lemma 45
History
- 2026-10-27: add by m2/v0.4.0
Examples XDXPAJM2NB
| URI | m2://inv/XDXPAJM2NB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transaction logic#UBS2, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition XDXSFEW1V7
| URI | m2://inv/XDXSFEW1V7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primordial element (algebra)#CB2Q, Definition (definition)
History
- 2026-11-02: add by m2/dev
Transfer XDXSMCYXMC
| URI | m2://inv/XDXSMCYXMC |
|---|---|
| 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.21675#X9RZ, Transfer (definition). In TB1294GY5X/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.4.2
renormalization group XDXY24M913
| URI | m2://inv/XDXY24M913 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 81T17 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1203669, renormalization group (topic). Also nLab renormalization group
- wikipedia: Wikipedia Renormalization group, Renormalization group (definition). Also Wikidata Q1203669
History
- 2026-10-26: add by m2/dev
Piecewise-affine Gaussian zero formula XDXYJS63EP
| URI | m2://inv/XDXYJS63EP |
|---|---|
| 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.32695#BJ5R, Piecewise-affine Gaussian zero formula (statement). In VQSF2E35BX/e1, lemma B.4
History
- 2026-10-31: add by m2/v0.5.6
Cyclic number XDXZRD2QKY
| URI | m2://inv/XDXZRD2QKY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#YOYJ, Cyclic number (definition)
History
- 2026-11-02: add by m2/dev
n-sphere XDY33XE5DT
| URI | m2://inv/XDY33XE5DT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#YBO8, n-sphere (definition)
History
- 2026-11-02: add by m2/dev
XDY4SY6KMY XDY4SY6KMY
| URI | m2://inv/XDY4SY6KMY |
|---|---|
| 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 2504.13328#FGKY (statement). In 736Q32FYCG/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.5
First fundamental form XDY7Y67P61
| URI | m2://inv/XDY7Y67P61 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#SV90, First fundamental form (definition)
History
- 2026-11-02: add by m2/dev
Theorem XDYHFSB4GR
| URI | m2://inv/XDYHFSB4GR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central limit theorem#S6XS, Theorem (statement)
History
- 2026-11-02: add by m2/dev
recurrence plot XDYX37CS3T
| URI | m2://inv/XDYX37CS3T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2797953, recurrence plot (unknown). Also MathWorld RecurrencePlot
- wikipedia: Wikipedia Recurrence plot, Recurrence plot (definition). Also Wikidata Q2797953
History
- 2026-10-26: add by m2/dev
Sariel Har-Peled XDZ0RACSVP
| URI | m2://inv/XDZ0RACSVP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sariel Har-Peled, Sariel Har-Peled (topic). Also Wikidata Q56702419
History
- 2026-11-02: add by m2/dev
XDZ75JPQBW XDZ75JPQBW
| URI | m2://inv/XDZ75JPQBW |
|---|---|
| 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.39347#U7DG (statement). In KBBA2FKDBH/e1, proposition 6.1
History
- 2026-10-30: add by m2/v0.4.12
XDZ7T02WHT XDZ7T02WHT
| URI | m2://inv/XDZ7T02WHT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.15344#S370 (statement). In B9EX6K51RD/e1, corollary 2.19
History
- 2026-10-28: add by m2/v0.4.2
Stratified space XDZ8Q096YD
| URI | m2://inv/XDZ8Q096YD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stratified space, Stratified space (definition). Also Wikidata Q113461459
History
- 2026-11-02: add by m2/dev
XDZBBXMQX0 XDZBBXMQX0
| URI | m2://inv/XDZBBXMQX0 |
|---|---|
| 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.03358#RGQU (statement). In KCXEY7HJ8V/e1, proposition 1.2
History
- 2026-10-29: add by m2/v0.4.12
XDZCZ1JJWX XDZCZ1JJWX
| URI | m2://inv/XDZCZ1JJWX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36334#FQCR (definition). In YVB70SBGN1/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
Pekka Koskela XDZDW0HQDZ
| URI | m2://inv/XDZDW0HQDZ |
|---|---|
| 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#FNBG, Pekka Koskela (unknown)
History
- 2026-11-02: add by m2/dev
Alpha to coverage XDZNKY3NMV
| URI | m2://inv/XDZNKY3NMV |
|---|---|
| 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#7Z75, Alpha to coverage (unknown)
History
- 2026-11-02: add by m2/dev
$(\infty,1)$-topos, non-hypercomplete XDZTFGREN7
| URI | m2://inv/XDZTFGREN7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.8/infty-1-topos-non-hypercomplete, $(\infty,1)$-topos, non-hypercomplete (concept). In N54F33XE07, index, section 7.8
History
- 2026-11-01: add by m2/v0.6.13
Simultaneous perturbation stochastic approximation XDZXZGT179
| URI | m2://inv/XDZXZGT179 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simultaneous perturbation stochastic approximation, Simultaneous perturbation stochastic approximation (definition). Also Wikidata Q17084424
History
- 2026-11-02: add by m2/dev