Inventory rows ER
The cards of the rows of the inventory whose ids start with ER. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
interpretation ER00RTBJ4H
| URI | m2://inv/ER00RTBJ4H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#Q3BO, interpretation (definition)
History
- 2026-11-02: add by m2/dev
Finite-depth convergence from conserved layer margins ER049YFVNM
| URI | m2://inv/ER049YFVNM |
|---|---|
| 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.09356#06MA, Finite-depth convergence from conserved layer margins (statement). In 3VVGPXWH6R/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
ER073267AP ER073267AP
| URI | m2://inv/ER073267AP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#KF00 (statement). In X47RYAZF8P/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
ER08HX2Y6P ER08HX2Y6P
| URI | m2://inv/ER08HX2Y6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.05914#SLHT (statement). In V8MYP6MBAZ/e1, proposition 5
History
- 2026-10-29: add by m2/v0.4.10
Ludwig Kraus ER091DHZP5
| URI | m2://inv/ER091DHZP5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#C22W, Ludwig Kraus (topic)
History
- 2026-11-02: add by m2/dev
multivariate random variable ER09WWBRF2
| URI | m2://inv/ER09WWBRF2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#DNK1, multivariate random variable (definition)
History
- 2026-11-02: add by m2/dev
ER0HESZ4TE ER0HESZ4TE
| URI | m2://inv/ER0HESZ4TE |
|---|---|
| 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 2601.10370#SLG5 (statement). In S5ZSEFYBD3/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
ER0KQVNZ3Z ER0KQVNZ3Z
| URI | m2://inv/ER0KQVNZ3Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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.05396#HJR5 (definition). In WMVRX5GV9P/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.10
ER0KX8H4GE ER0KX8H4GE
| URI | m2://inv/ER0KX8H4GE |
|---|---|
| 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 2610.08638#FQ1T (statement). In 113VZ5XX7J/e1, lemma 5.6
History
- 2026-10-29: add by m2/v0.4.10
Logica Universalis ER0N7JQRYK
| URI | m2://inv/ER0N7JQRYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#995B, Logica Universalis (definition)
History
- 2026-11-02: add by m2/dev
ER0PM7DQGM ER0PM7DQGM
| URI | m2://inv/ER0PM7DQGM |
|---|---|
| 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 2410.22607#VDZM (statement). In 6GT33A43SY/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
Tracking after the outer point moves ER0R8A5NW2
| URI | m2://inv/ER0R8A5NW2 |
|---|---|
| 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.01843#8B1T, Tracking after the outer point moves (statement). In EDG9ZFDSWK/e1, lemma A.7
History
- 2026-10-29: add by m2/v0.4.12
Large cardinal property ER0RH0DQD6
| URI | m2://inv/ER0RH0DQD6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#MWJ2, Large cardinal property (definition)
History
- 2026-11-02: add by m2/dev
Parametric transversality theorem ER137H1F87
| URI | m2://inv/ER137H1F87 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transversality theorem#1RNR, Parametric transversality theorem (statement)
History
- 2026-11-02: add by m2/dev
Motivic zeta function ER14H3M30M
| URI | m2://inv/ER14H3M30M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of zeta functions#ZBYE, Motivic zeta function (definition)
History
- 2026-11-02: add by m2/dev
ER15KA48TF ER15KA48TF
| URI | m2://inv/ER15KA48TF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26033#ZDQG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Berger, James ER1CBZGHCZ
| URI | m2://inv/ER1CBZGHCZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#1ECS, Berger, James (topic)
History
- 2026-11-02: add by m2/dev
ER1H8MR7HT ER1H8MR7HT
| URI | m2://inv/ER1H8MR7HT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04466#66K6 (statement). In EHW82CK883/e1, corollary 3.6
History
- 2026-10-29: add by m2/v0.4.12
ER1VJ05B69 ER1VJ05B69
| URI | m2://inv/ER1VJ05B69 |
|---|---|
| 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 1907.01440#XHEQ (statement). In QDRYC6WJJ7/e1, lemma 12
History
- 2026-10-27: add by m2/v0.3.5
Mapper (topological data analysis) ER1WTD1GNF
| URI | m2://inv/ER1WTD1GNF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological data analysis#WMGZ, Mapper (topological data analysis) (unknown)
History
- 2026-11-02: add by m2/dev
Method ER1ZJZD5VH
| URI | m2://inv/ER1ZJZD5VH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modified nodal analysis#EAP8, Method (definition)
History
- 2026-11-02: add by m2/dev
ER28CFCGAX ER28CFCGAX
| URI | m2://inv/ER28CFCGAX |
|---|---|
| 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.00512#34LO (statement). In RB5QBG3MJY/e1, theorem 4.4
History
- 2026-10-30: add by m2/v0.4.12
Construction ER2A64KM4B
| URI | m2://inv/ER2A64KM4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflection (mathematics)#62A3, Construction (definition)
History
- 2026-11-02: add by m2/dev
ER2G98CFJJ ER2G98CFJJ
| URI | m2://inv/ER2G98CFJJ |
|---|---|
| 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.28993#UUL1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Positive moment representation ER2NVMV6K4
| URI | m2://inv/ER2NVMV6K4 |
|---|---|
| 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 2610.14069#U3AQ, Positive moment representation (statement). In ABYRBVNC3Y/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Special cases ER2P6GRQXK
| URI | m2://inv/ER2P6GRQXK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann curvature tensor#J5XQ, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Properties ER2W4CGQNN
| URI | m2://inv/ER2W4CGQNN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parallelization (mathematics)#6X3Y, Properties (statement)
History
- 2026-11-02: add by m2/dev
Alfréd Rényi ER32MQAD4V
| URI | m2://inv/ER32MQAD4V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfréd Rényi, Alfréd Rényi (topic). Also Wikidata Q465715
History
- 2026-11-02: add by m2/dev
Zorn's lemma ER36AH84Z8
| URI | m2://inv/ER36AH84Z8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zorn's lemma#HQB4, Zorn's lemma (statement)
History
- 2026-11-02: add by m2/dev
ER3JE014VV ER3JE014VV
| URI | m2://inv/ER3JE014VV |
|---|---|
| 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.16727#BV51 (statement). In Z5QS3MD8HN/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
spin ER40CSZ58Z
| URI | m2://inv/ER40CSZ58Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q133673, spin (definition). Also ProofWiki Definition:Intrinsic_Angular_Momentum
- wikipedia: Wikipedia Spin (physics), Spin (definition). Also Wikidata Q133673
History
- 2026-10-26: add by m2/dev
Gosper curve ER40MHWQKK
| URI | m2://inv/ER40MHWQKK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1188650, Gosper curve (unknown). Also MathWorld Peano-GosperCurve
- wikipedia: Wikipedia Gosper curve, Gosper curve (definition). Also Wikidata Q1188650
History
- 2026-10-26: add by m2/dev
ER442BQSFB ER442BQSFB
| URI | m2://inv/ER442BQSFB |
|---|---|
| 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 2602.07485#Y9BA (statement). In 8KAC1E81JQ/e1, theorem 13
History
- 2026-10-27: add by m2/v0.3.5
straightedge ER4G2N5S6C
| URI | m2://inv/ER4G2N5S6C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q354733, straightedge (unknown). Also MathWorld Straightedge
- wikipedia: Wikipedia Straightedge, Straightedge (definition). Also Wikidata Q354733
History
- 2026-10-26: add by m2/dev
Claudia Klüppelberg ER4GQN2GB6
| URI | m2://inv/ER4GQN2GB6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claudia Klüppelberg, Claudia Klüppelberg (topic). Also Wikidata Q1097553
History
- 2026-11-02: add by m2/dev
ER4H6D4VDX ER4H6D4VDX
| URI | m2://inv/ER4H6D4VDX |
|---|---|
| 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 2610.19658#D105 (statement). In G00EYA9DXG/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Dorothy Wrinch ER4J6F4BQN
| URI | m2://inv/ER4J6F4BQN |
|---|---|
| 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#5V2F, Dorothy Wrinch (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#K9FJ, Dorothy Wrinch (topic)
History
- 2026-11-02: add by m2/dev
Armand Borel ER4KHTRHJD
| URI | m2://inv/ER4KHTRHJD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#VEYP, Armand Borel (topic)
History
- 2026-11-02: add by m2/dev
Grunbaum's theorem ER4NJ6EXVM
| URI | m2://inv/ER4NJ6EXVM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brunn–Minkowski theorem#ZX89, Grunbaum's theorem (statement)
History
- 2026-11-02: add by m2/dev
ER4NP0A74Z ER4NP0A74Z
| URI | m2://inv/ER4NP0A74Z |
|---|---|
| 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.24451#DT05 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Solovay–Strassen primality test ER5ASJ9JFH
| URI | m2://inv/ER5ASJ9JFH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solovay–Strassen primality test, Solovay–Strassen primality test (definition). Also Wikidata Q2296113
History
- 2026-11-02: add by m2/dev
Marin Getaldić ER5DAG48VA
| URI | m2://inv/ER5DAG48VA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#0KMV, Marin Getaldić (unknown)
History
- 2026-11-02: add by m2/dev
Moments of weighted block scores ER5DSJM19M
| URI | m2://inv/ER5DSJM19M |
|---|---|
| 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.06372#2GYF, Moments of weighted block scores (statement). In G3E1P350Z6/e1, lemma 7.18
History
- 2026-10-29: add by m2/v0.4.10
transport, in identity types ER5G7DQ6SF
| URI | m2://inv/ER5G7DQ6SF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.11/transport-in-identity-types, transport, in identity types (concept). In N54F33XE07, index, section 1.11
History
- 2026-11-01: add by m2/v0.6.13
Ilse Ipsen ER5H7F9KRY
| URI | m2://inv/ER5H7F9KRY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ilse Ipsen, Ilse Ipsen (topic). Also Wikidata Q20984922
History
- 2026-11-02: add by m2/dev
categorical ER5K7Y24NG
| URI | m2://inv/ER5K7Y24NG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#9Z83, categorical (definition)
History
- 2026-11-02: add by m2/dev
Properties ER5P9QN8P3
| URI | m2://inv/ER5P9QN8P3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvester matroid#QOY6, Properties (statement)
History
- 2026-11-02: add by m2/dev
Emilio Spedicato ER5Z0VHGMC
| URI | m2://inv/ER5Z0VHGMC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emilio Spedicato, Emilio Spedicato (topic). Also Wikidata Q427586
History
- 2026-11-02: add by m2/dev
transfer function ER61SEXGFN
| URI | m2://inv/ER61SEXGFN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q334269, transfer function (unknown). Also MathWorld TransferFunction
- wikipedia: Wikipedia Transfer function, Transfer function (definition). Also Wikidata Q334269
History
- 2026-10-26: add by m2/dev
ER633VWNTS ER633VWNTS
| URI | m2://inv/ER633VWNTS |
|---|---|
| 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.08226#UTOL (statement). In V6EPE8XHAD/e1, lemma 6.5
History
- 2026-10-29: add by m2/v0.4.10
inversive geometry ER6EGJ38DQ
| URI | m2://inv/ER6EGJ38DQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Inversive geometry HFBW3SXQVM |
Mentions
- wikidata: Wikidata Q9267097, inversive geometry (unknown). Also MathWorld InversiveGeometry
- wikipedia: Wikipedia Inversive geometry, Inversive geometry (topic). Also Wikidata Q9267097
History
- 2026-10-26: add by m2/dev
Q.E.D. ER6KBF49R6
| URI | m2://inv/ER6KBF49R6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#7QQX, Q.E.D. (definition)
History
- 2026-11-02: add by m2/dev
ER6KPQFB1Y ER6KPQFB1Y
| URI | m2://inv/ER6KPQFB1Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#YWOE (statement). In KZ71GXT2B0/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Elchanan Mossel ER6QHK3X1E
| URI | m2://inv/ER6QHK3X1E |
|---|---|
| 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#6GB3, Elchanan Mossel (unknown)
History
- 2026-11-02: add by m2/dev
Arran Fernandez ER6Y1Q5G0F
| URI | m2://inv/ER6Y1Q5G0F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QKW1, Arran Fernandez (unknown)
History
- 2026-11-02: add by m2/dev
hole argument ER71ES2QQY
| URI | m2://inv/ER71ES2QQY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13636406, hole argument (unknown). Also nLab hole argument
History
- 2026-10-26: add by m2/dev
Abel's theorem ER7B3TXAAT
| URI | m2://inv/ER7B3TXAAT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Niels Henrik Abel#LXAQ, Abel's theorem (statement)
History
- 2026-11-02: add by m2/dev
ER7F6DY2KG ER7F6DY2KG
| URI | m2://inv/ER7F6DY2KG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15421#UUUL (definition). In 3RBKH0DA74/e1, definition 2.8
History
- 2026-10-28: add by m2/v0.4.2
ER7HCXTSZB ER7HCXTSZB
| URI | m2://inv/ER7HCXTSZB |
|---|---|
| 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.35683#V7I3 (statement). In A4S9A3X494/e1, proposition 4
History
- 2026-10-30: add by m2/v0.4.12
\bf Loss Function for $(d+1)$-Navier-Stokes ER81RVRT4W
| URI | m2://inv/ER81RVRT4W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-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 2603.23072#3O0K, \bf Loss Function for $(d+1)$-Navier-Stokes (definition). In FW08HEAPKW/e1, definition 5
History
- 2026-10-27: add by m2/v0.3.5
ER843N062K ER843N062K
| URI | m2://inv/ER843N062K |
|---|---|
| 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.39293#WUUP (statement). In S26QVW5613/e1, proposition 3.7.7
History
- 2026-10-30: add by m2/v0.4.12
ER85JJ504E ER85JJ504E
| URI | m2://inv/ER85JJ504E |
|---|---|
| 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.13358#TIQE (statement). In QHT28GABDG/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
ER8NPXTDV4 ER8NPXTDV4
| URI | m2://inv/ER8NPXTDV4 |
|---|---|
| Kind | example |
| 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#TUX7 (example). In V56MKF0KW2/e1, example 2
History
- 2026-10-27: add by m2/v0.3.5
Applications ER8QVR644Y
| URI | m2://inv/ER8QVR644Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellis wormhole#M6OS, Applications (example)
History
- 2026-11-02: add by m2/dev
ER8SEMYYS5 ER8SEMYYS5
| URI | m2://inv/ER8SEMYYS5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08193#XXBM (statement). In 8XAKGH8S2D/e1, theorem C
History
- 2026-10-29: add by m2/v0.4.10
Yang Feng ER8WEX5TF5
| URI | m2://inv/ER8WEX5TF5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yang Feng (statistician), Yang Feng (topic). Also Wikidata Q124153587
History
- 2026-11-02: add by m2/dev
trace-norm inequality ER956SMXTN
| URI | m2://inv/ER956SMXTN |
|---|---|
| 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.20775#4JJ6, trace-norm inequality (statement). In XG27B81T0G/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.4.2
ER9ANH2DQM ER9ANH2DQM
| URI | m2://inv/ER9ANH2DQM |
|---|---|
| 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 2610.09739#4QTJ (statement). In ZYNZ95FSFD/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
ER9E5GQQZD ER9E5GQQZD
| URI | m2://inv/ER9E5GQQZD |
|---|---|
| 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 1907.01440#CBTF (statement). In QDRYC6WJJ7/e1, lemma 11
History
- 2026-10-27: add by m2/v0.3.5
ER9WPEZXYA ER9WPEZXYA
| URI | m2://inv/ER9WPEZXYA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2307.02473#H0J7 (definition). In RGXMK94YW1/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
The hyperbolisation theorem ERA24NJPB8
| URI | m2://inv/ERA24NJPB8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic 3-manifold#QZV0, The hyperbolisation theorem (statement)
History
- 2026-11-02: add by m2/dev
ERA2HQQ3EE ERA2HQQ3EE
| URI | m2://inv/ERA2HQQ3EE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25080#F2D9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Weil reciprocity law ERA3ME1FK6
| URI | m2://inv/ERA3ME1FK6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reciprocity law#K9TZ, Weil reciprocity law (statement)
History
- 2026-11-02: add by m2/dev
Latin rectangle ERA5A2HS3V
| URI | m2://inv/ERA5A2HS3V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6167, Latin rectangle (definition)
History
- 2026-11-02: add by m2/dev
Anne Greenbaum ERABFDP2R2
| URI | m2://inv/ERABFDP2R2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#B9SG, Anne Greenbaum (topic)
History
- 2026-11-02: add by m2/dev
ERAHP0TAGT ERAHP0TAGT
| URI | m2://inv/ERAHP0TAGT |
|---|---|
| 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.39700#CJMT (statement). In E7W2HDNEKJ/e1, lemma 9.13
History
- 2026-10-30: add by m2/v0.4.12
Wadim Zudilin ERAN79XXER
| URI | m2://inv/ERAN79XXER |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#G9UQ, Wadim Zudilin (topic)
History
- 2026-11-02: add by m2/dev
ERANVVJZ7Z ERANVVJZ7Z
| URI | m2://inv/ERANVVJZ7Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13833#39AX (definition). In VD4JP4HVBX/e1, definition 4.8
History
- 2026-10-28: add by m2/v0.4.2
ERAQMXSMMB ERAQMXSMMB
| URI | m2://inv/ERAQMXSMMB |
|---|---|
| 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.20656#0YQM (example)
History
- 2026-11-02: add by m2/v0.6.18
Four-vector ERASQX3HT7
| URI | m2://inv/ERASQX3HT7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#WH2C, Four-vector (definition)
History
- 2026-11-02: add by m2/dev
ERATBF23DR ERATBF23DR
| URI | m2://inv/ERATBF23DR |
|---|---|
| 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.14435#7SFR (statement). In Y9FSN5BVNQ/e1, lemma 11
History
- 2026-10-28: add by m2/v0.4.2
ERAY40S6ZT ERAY40S6ZT
| URI | m2://inv/ERAY40S6ZT |
|---|---|
| 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.08042#MJ7R (statement). In SSEDAYK3CQ/e1, corollary 2
History
- 2026-10-29: add by m2/v0.4.10
ERB3MWE5N2 ERB3MWE5N2
| URI | m2://inv/ERB3MWE5N2 |
|---|---|
| Kind | definition |
| 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.15086#T50F (definition). In V60MVF3KQ1/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
Conway group Co2 ERB6HWWZJM
| URI | m2://inv/ERB6HWWZJM |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conway group Co2, Conway group Co2 (object). Also Wikidata Q5166743
History
- 2026-11-02: add by m2/dev
ERB8SBZQNF ERB8SBZQNF
| URI | m2://inv/ERB8SBZQNF |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/cardinal.tex#proof-5 (proof). In RZP28ERRZV, proof, section 89.6
History
- 2026-11-01: add by m2/v0.6.13
ERBF8ZG2R4 ERBF8ZG2R4
| URI | m2://inv/ERBF8ZG2R4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04466#EKRS (statement). In EHW82CK883/e1, proposition 4.12
History
- 2026-10-29: add by m2/v0.4.12
ERBJHMXVQ8 ERBJHMXVQ8
| URI | m2://inv/ERBJHMXVQ8 |
|---|---|
| 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.33015#716P (example). In W6Y6NPK648/e1, example 4.3
History
- 2026-10-27: add by m2/v0.3.5
Bitcoin Core ERC14551YY
| URI | m2://inv/ERC14551YY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bitcoin Core, Bitcoin Core (definition). Also Wikidata Q18198917
History
- 2026-11-02: add by m2/dev
duality pairing and dual identification ERC2E154VG
| URI | m2://inv/ERC2E154VG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26645#TKYZ, duality pairing and dual identification (statement)
History
- 2026-11-01: add by m2/v0.6.15
Chernoff face ERC5SRZX40
| URI | m2://inv/ERC5SRZX40 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WPJV, Chernoff face (definition)
History
- 2026-11-02: add by m2/dev
Axiom 4 ERCFAVE4A2
| URI | m2://inv/ERCFAVE4A2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tarski's axiomatization of the reals#DW7S, Axiom 4 (statement)
History
- 2026-11-02: add by m2/dev
Bartholdi's group-algebra criterion ERCFGCE1FX
| URI | m2://inv/ERCFGCE1FX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#J9SG, Bartholdi's group-algebra criterion (statement). In 4WPYBTARS2/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.12
ERCHX0TGPP ERCHX0TGPP
| URI | m2://inv/ERCHX0TGPP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-33 (proof). In N54F33XE07, proof, section 7.6
History
- 2026-11-01: add by m2/v0.6.13
Boussinesq approximation ERCMZ4ZJXH
| URI | m2://inv/ERCMZ4ZJXH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boussinesq approximation (water waves), Boussinesq approximation (definition). Also Wikidata Q4950395
History
- 2026-11-02: add by m2/dev
ERCNN6TGH6 ERCNN6TGH6
| URI | m2://inv/ERCNN6TGH6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24584#XF05 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dependent random choice variant ERCTB8DVAK
| URI | m2://inv/ERCTB8DVAK |
|---|---|
| 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 2603.21971#HZO8, Dependent random choice variant (statement). In R6KSZ9H8CY/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
Example ERCVR4PQW7
| URI | m2://inv/ERCVR4PQW7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secundum quid#63MG, Example (example)
History
- 2026-11-02: add by m2/dev
Mileva Marić in popular culture ERCVRWFJE0
| URI | m2://inv/ERCVRWFJE0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mileva Marić#ZK6O, Mileva Marić in popular culture (unknown)
History
- 2026-11-02: add by m2/dev
Topological manifold ERCWHGYNJE
| URI | m2://inv/ERCWHGYNJE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#2W7S, Topological manifold (definition)
History
- 2026-11-02: add by m2/dev
Gyroelongated triangular cupola ERD45Z68AX
| URI | m2://inv/ERD45Z68AX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#F96L, Gyroelongated triangular cupola (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#F8I1, Gyroelongated triangular cupola (definition)
History
- 2026-11-02: add by m2/dev
ERD4CYT3PK ERD4CYT3PK
| URI | m2://inv/ERD4CYT3PK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 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 2609.28552#YA97 (statement)
History
- 2026-11-01: add by m2/v0.6.15
FlexPro ERD8Y679YK
| URI | m2://inv/ERD8Y679YK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#UQPU, FlexPro (unknown)
History
- 2026-11-02: add by m2/dev
ERDAC0YPA9 ERDAC0YPA9
| URI | m2://inv/ERDAC0YPA9 |
|---|---|
| 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 2609.21476#1B8S (statement)
History
- 2026-11-02: add by m2/v0.6.18
Konrad Knopp ERDBWVS21W
| URI | m2://inv/ERDBWVS21W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XFGR, Konrad Knopp (topic)
History
- 2026-11-02: add by m2/dev
ERDCC25HDQ ERDCC25HDQ
| URI | m2://inv/ERDCC25HDQ |
|---|---|
| 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.36423#3EZI (statement). In Q5Z178SAHP/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
ERDKXMQRK2 ERDKXMQRK2
| URI | m2://inv/ERDKXMQRK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#definition-2 (definition). In RZP28ERRZV, definition, section 22.3
History
- 2026-11-01: add by m2/v0.6.13
Definitions ERDV52R65A
| URI | m2://inv/ERDV52R65A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz space#75FV, Definitions (definition)
History
- 2026-11-02: add by m2/dev
ERDWYEEDG1 ERDWYEEDG1
| URI | m2://inv/ERDWYEEDG1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13745#4TWK (statement). In CFJH0Q39FZ/e1, corollary 3.8
History
- 2026-10-28: add by m2/v0.4.2
Kato-Ponce estimates ERE1JYYYZJ
| URI | m2://inv/ERE1JYYYZJ |
|---|---|
| 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 2508.08809#Y5EM, Kato-Ponce estimates (statement). In X5NX1YEABW/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Wendy Myrvold EREE4KM45G
| URI | m2://inv/EREE4KM45G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2YDF, Wendy Myrvold (topic)
History
- 2026-11-02: add by m2/dev
EREE6DRNKW EREE6DRNKW
| URI | m2://inv/EREE6DRNKW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13745#DVUV (statement). In CFJH0Q39FZ/e1, theorem A.4
History
- 2026-10-28: add by m2/v0.4.2
EREFY5GSVE EREFY5GSVE
| URI | m2://inv/EREFY5GSVE |
|---|---|
| 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.32374#DO5U (statement). In 96D6N9AXQM/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
Algebraic representation ERF444QC2Z
| URI | m2://inv/ERF444QC2Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic representation, Algebraic representation (definition). Also Wikidata Q48975955
History
- 2026-11-02: add by m2/dev
Ruth Lawrence ERF71VFNR6
| URI | m2://inv/ERF71VFNR6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruth Lawrence, Ruth Lawrence (topic). Also Wikidata Q450409
History
- 2026-11-02: add by m2/dev
Dirac comb ERF8K72MBA
| URI | m2://inv/ERF8K72MBA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Dirac comb 7KHGQFM8A9 |
Mentions
- wikidata: Wikidata Q385599, Dirac comb (concept). Also MathWorld ShahFunction
- wikipedia: Wikipedia Dirac comb, Dirac comb (definition). Also Wikidata Q385599
History
- 2026-10-26: add by m2/dev
ERF9RSGMQQ ERF9RSGMQQ
| URI | m2://inv/ERF9RSGMQQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#GFDR (statement). In ZZER8ZBSCR/e1, lemma B.14
History
- 2026-10-29: add by m2/v0.4.12
Three hundred forty-three ERFF2KJWMY
| URI | m2://inv/ERFF2KJWMY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#8K8Z, Three hundred forty-three (unknown)
History
- 2026-11-02: add by m2/dev
Jan Denef ERFGFPDPYX
| URI | m2://inv/ERFGFPDPYX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6PGS, Jan Denef (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#K83B, Jan Denef (topic)
History
- 2026-11-02: add by m2/dev
ERFJTKY0CZ ERFJTKY0CZ
| URI | m2://inv/ERFJTKY0CZ |
|---|---|
| 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.25656#UUWY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pranab K. Sen ERFM3B29ZX
| URI | m2://inv/ERFM3B29ZX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#1G0L, Pranab K. Sen (topic)
History
- 2026-11-02: add by m2/dev
Complexification (Lie group) ERFW54VB8J
| URI | m2://inv/ERFW54VB8J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#9188, Complexification (Lie group) (definition)
History
- 2026-11-02: add by m2/dev
Functor of points ERFWNA7T5B
| URI | m2://inv/ERFWNA7T5B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functor represented by a scheme#UDSV, Functor of points (unknown)
History
- 2026-11-02: add by m2/dev
ERFYG4VPHV ERFYG4VPHV
| URI | m2://inv/ERFYG4VPHV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#5TCG (statement). In 7SSKW778T8/e1, corollary 2.14
History
- 2026-10-29: add by m2/v0.4.10
ERG28K5785 ERG28K5785
| URI | m2://inv/ERG28K5785 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#prop:bordfield (statement). In E59CDZA4DP, prop, section 7.1
History
- 2026-11-01: add by m2/v0.6.13
Cook's distance ERG9SCC07X
| URI | m2://inv/ERG9SCC07X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cook's distance, Cook's distance (definition). Also Wikidata Q5166872
History
- 2026-11-02: add by m2/dev
Harmonious coloring ERGJ5Y1R2K
| URI | m2://inv/ERGJ5Y1R2K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonious coloring, Harmonious coloring (definition). Also Wikidata Q5659354
History
- 2026-11-02: add by m2/dev
List of things named after Eduard Heine ERGKWVSMB7
| URI | m2://inv/ERGKWVSMB7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Eduard Heine, List of things named after Eduard Heine (topic). Also Wikidata Q30715384
History
- 2026-11-02: add by m2/dev
principal value ERGSNTZE00
| URI | m2://inv/ERGSNTZE00 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Principal branch 017BPGVEE8 |
Mentions
- wikidata: Wikidata Q6126499, principal value (unknown). Also MathWorld PrincipalValue
- wikipedia: Wikipedia Principal value, Principal value (definition). Also Wikidata Q6126499
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Neville's algorithm ERH40C2YT2
| URI | m2://inv/ERH40C2YT2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Neville's algorithm 58AM5FK67J |
Mentions
- wikidata: Wikidata Q7884545, Neville's algorithm (unknown). Also MathWorld NevillesAlgorithm
- wikipedia: Wikipedia Neville's algorithm, Neville's algorithm (definition). Also Wikidata Q7884545
History
- 2026-10-26: add by m2/dev
A bound polynomial in $T$ for Algorithm 3 ERH8ZZ0W15
| URI | m2://inv/ERH8ZZ0W15 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12713#EIVT, A bound polynomial in $T$ for Algorithm 3 (statement). In F14A5HX20Q/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
fundamental sequences ERHDS3SBDE
| URI | m2://inv/ERHDS3SBDE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Set theory > Ordinals > fundamental sequences, fundamental sequences (unknown). Also Mathlib Ordinal.IsFundamentalSeq
History
- 2026-10-26: add by m2/dev
Computational mathematics ERJ5P276RE
| URI | m2://inv/ERJ5P276RE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational mathematics, Computational mathematics (topic). Also Wikidata Q1122491
History
- 2026-11-02: add by m2/dev
Oswald Veblen ERJ69DCHKJ
| URI | m2://inv/ERJ69DCHKJ |
|---|---|
| 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#8X1O, Oswald Veblen (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VCF4, Oswald Veblen (unknown)
History
- 2026-11-02: add by m2/dev
ERJKQ1TCWA ERJKQ1TCWA
| URI | m2://inv/ERJKQ1TCWA |
|---|---|
| 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.18016#FOZ4 (statement). In V5PVKDKGGG/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.2
Isserlis, Leon ERJNRYRWCY
| URI | m2://inv/ERJNRYRWCY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#B0UL, Isserlis, Leon (unknown)
History
- 2026-11-02: add by m2/dev
ERJQFAENB1 ERJQFAENB1
| URI | m2://inv/ERJQFAENB1 |
|---|---|
| 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 math/9602216#JFJF (definition). In SD43497T8C/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Gold standard ERJRZ5KC7A
| URI | m2://inv/ERJRZ5KC7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gold standard (test), Gold standard (definition). Also Wikidata Q514654
History
- 2026-11-02: add by m2/dev
Applications ERJZ8ZM7QT
| URI | m2://inv/ERJZ8ZM7QT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sparse PCA#K2M4, Applications (example)
History
- 2026-11-02: add by m2/dev
ERK0YQSQMY ERK0YQSQMY
| URI | m2://inv/ERK0YQSQMY |
|---|---|
| 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.36313#JJ1R (statement). In Z5SP3NW41S/e1, proposition 5.3
History
- 2026-10-30: add by m2/v0.4.12
Poisson ring ERK2M3A0NR
| URI | m2://inv/ERK2M3A0NR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson ring, Poisson ring (definition). Also Wikidata Q7208504
History
- 2026-11-02: add by m2/dev
Eckehard Schöll ERK60BX2NC
| URI | m2://inv/ERK60BX2NC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#7OY2, Eckehard Schöll (topic)
History
- 2026-11-02: add by m2/dev
ERK8SXQWE6 ERK8SXQWE6
| URI | m2://inv/ERK8SXQWE6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01216#HM7O (statement). In 59016RQTW6/e1, theorem 9.3
History
- 2026-10-29: add by m2/v0.4.12
Karel Petr ERKAWDHC22
| URI | m2://inv/ERKAWDHC22 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karel Petr, Karel Petr (topic). Also Wikidata Q6369357
History
- 2026-11-02: add by m2/dev
ERKAX9TYMV ERKAX9TYMV
| URI | m2://inv/ERKAX9TYMV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12238#TX5E (statement). In E31CZYM2H8/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
Phase space ERKBA3HP9R
| URI | m2://inv/ERKBA3HP9R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#J0P5, Phase space (definition)
History
- 2026-11-02: add by m2/dev
ERKE1P6V4G ERKE1P6V4G
| URI | m2://inv/ERKE1P6V4G |
|---|---|
| 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.32104#K97C (statement). In YRJSYFXNM8/e1, lemma 5.4
History
- 2026-10-31: add by m2/v0.5.6
ERKK397SYZ ERKK397SYZ
| URI | m2://inv/ERKK397SYZ |
|---|---|
| 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 2508.08809#TTNM (statement). In X5NX1YEABW/e1, corollary 5.13
History
- 2026-10-27: add by m2/v0.3.5
ERKPZ36VY9 ERKPZ36VY9
| URI | m2://inv/ERKPZ36VY9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.16814#97ZY (statement). In MN03Z3PRFT/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.3.5
Vandermonde's identity ERKZWVJC01
| URI | m2://inv/ERKZWVJC01 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Vandermonde's identity 01JADB9VW5 |
Mentions
- wikidata: Wikidata Q3147827, Vandermonde's identity (concept). Also MathWorld VandermondeIdentity, ProofWiki Chu-Vandermonde_Identity
- wikipedia: Wikipedia Vandermonde's identity, Vandermonde's identity (statement). Also Wikidata Q3147827
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Simon Kuznets ERM1RTNVFK
| URI | m2://inv/ERM1RTNVFK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#USBP, Simon Kuznets (unknown)
History
- 2026-11-02: add by m2/dev
Examples ERM3CF1YGR
| URI | m2://inv/ERM3CF1YGR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Involute#W4JZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Quillen ERM4270860
| URI | m2://inv/ERM4270860 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#SE7N, Quillen (definition)
History
- 2026-11-02: add by m2/dev
Notation ERMQ8D704S
| URI | m2://inv/ERMQ8D704S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the cue heading names a section and not one item) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abelian group#TVJS, Notation (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
ERN204ZW5P ERN204ZW5P
| URI | m2://inv/ERN204ZW5P |
|---|---|
| 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.06707#S9K5 (statement). In 9TR5E527P5/e1, theorem 5.10
History
- 2026-10-29: add by m2/v0.4.10
Mark de Cataldo ERN2AGS8NN
| URI | m2://inv/ERN2AGS8NN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mark de Cataldo, Mark de Cataldo (topic). Also Wikidata Q15834024
History
- 2026-11-02: add by m2/dev
Hutton, Jane ERN46FMEEF
| URI | m2://inv/ERN46FMEEF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#057J, Hutton, Jane (unknown)
History
- 2026-11-02: add by m2/dev
Great 120-cell honeycomb ERNGYVW1F1
| URI | m2://inv/ERNGYVW1F1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great 120-cell honeycomb, Great 120-cell honeycomb (definition). Also Wikidata Q17018982
History
- 2026-11-02: add by m2/dev
Beatrice N. Vaccara ERNX1W7CDJ
| URI | m2://inv/ERNX1W7CDJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#G3ZS, Beatrice N. Vaccara (unknown)
History
- 2026-11-02: add by m2/dev
Weyl's construction ERNYQ0GVGQ
| URI | m2://inv/ERNYQ0GVGQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#ILER, Weyl's construction (definition)
History
- 2026-11-02: add by m2/dev
The univalence axiom, synthetic homotopy theory, and higher inductive types ERNZSM83EC
| URI | m2://inv/ERNZSM83EC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy type theory#44E5, The univalence axiom, synthetic homotopy theory, and higher inductive types (statement)
History
- 2026-11-02: add by m2/dev
Erdős–Moser equation ERP7ZC6V6T
| URI | m2://inv/ERP7ZC6V6T |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#6D1N, Erdős–Moser equation (conjecture)
History
- 2026-11-02: add by m2/dev
ERP91X3RT4 ERP91X3RT4
| URI | m2://inv/ERP91X3RT4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0909.2893#SRLC (statement). In JQ4JYAXCMK/e1, lemma 17
History
- 2026-10-27: add by m2/v0.3.5
Block extraction ERP924YX76
| URI | m2://inv/ERP924YX76 |
|---|---|
| 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.04271#DN76, Block extraction (statement). In WBXAW9G4JB/e1, lemma E.3
History
- 2026-10-29: add by m2/v0.4.12
Exponentially decaying $k$-body decomposition ERPAHCA41C
| URI | m2://inv/ERPAHCA41C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00448#5HQO, Exponentially decaying $k$-body decomposition (definition). In N06J7GC05Q/e1, definition 6.8
History
- 2026-10-30: add by m2/v0.4.12
Methods ERPCEHPM7Q
| URI | m2://inv/ERPCEHPM7Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical methods for ordinary differential equations#Z9GS, Methods (definition)
History
- 2026-11-02: add by m2/dev
Remarks on the axioms ERPG31AT7C
| URI | m2://inv/ERPG31AT7C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pocket set theory#JFBO, Remarks on the axioms (statement)
History
- 2026-11-02: add by m2/dev
ERPMJ3T5ZA ERPMJ3T5ZA
| URI | m2://inv/ERPMJ3T5ZA |
|---|---|
| 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 2610.15019#V55W (statement). In 9GWQN1DYM1/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
ERPY2CA3D0 ERPY2CA3D0
| URI | m2://inv/ERPY2CA3D0 |
|---|---|
| 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 2610.07092#9YJF (statement). In JWNYJVH8XG/e1, theorem 2.27
History
- 2026-10-29: add by m2/v0.4.10
ERQB5K9NYH ERQB5K9NYH
| URI | m2://inv/ERQB5K9NYH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27420#7N70 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definitions ERQD6X0QGF
| URI | m2://inv/ERQD6X0QGF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrepancy of hypergraphs#KQHG, Definitions (definition)
History
- 2026-11-02: add by m2/dev
ERQHXTK40C ERQHXTK40C
| URI | m2://inv/ERQHXTK40C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27103#WH4E (definition)
History
- 2026-11-01: add by m2/v0.6.15
Esther Seiden ERR03S7H1V
| URI | m2://inv/ERR03S7H1V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#J7AO, Esther Seiden (topic)
History
- 2026-11-02: add by m2/dev
Definition of an oval ERR0YRV253
| URI | m2://inv/ERR0YRV253 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oval (projective plane)#I98S, Definition of an oval (definition)
History
- 2026-11-02: add by m2/dev
Angular transfer and the strict energy cutoff ERRACKB5SR
| URI | m2://inv/ERRACKB5SR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19461#8PAZ, Angular transfer and the strict energy cutoff (statement). In D5X5P2QD6A/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
ERRAE2ZX2K ERRAE2ZX2K
| URI | m2://inv/ERRAE2ZX2K |
|---|---|
| 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.07122#KYQI (statement). In W0ZHX9DHPV/e1, proposition 19
History
- 2026-10-29: add by m2/v0.4.10
ERRB05X1GE ERRB05X1GE
| URI | m2://inv/ERRB05X1GE |
|---|---|
| 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.05784#OVXC (statement). In 6NVP3YRWVA/e1, proposition 2.12
History
- 2026-10-29: add by m2/v0.4.10
ERREH9YX31 ERREH9YX31
| URI | m2://inv/ERREH9YX31 |
|---|---|
| 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 2609.39330#8UVV (statement). In 7ZTJ23YG7A/e1, corollary 4.4
History
- 2026-10-30: add by m2/v0.4.12
ERRGXZYTA6 ERRGXZYTA6
| URI | m2://inv/ERRGXZYTA6 |
|---|---|
| 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.36113#NKT1 (statement). In FSGSVD0XYH/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Miscellaneous – the triple tangent identity ERRNJ4V53V
| URI | m2://inv/ERRNJ4V53V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proofs of trigonometric identities#JDTB, Miscellaneous – the triple tangent identity (statement)
History
- 2026-11-02: add by m2/dev
Combinatorics on words ERS1X1VJS0
| URI | m2://inv/ERS1X1VJS0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorics on words, Combinatorics on words (topic). Also Wikidata Q2985058
History
- 2026-11-02: add by m2/dev
Definition ERS2P1BDQQ
| URI | m2://inv/ERS2P1BDQQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellipse#LICX, Definition (definition)
History
- 2026-11-02: add by m2/dev
ERS64AV2CG ERS64AV2CG
| URI | m2://inv/ERS64AV2CG |
|---|---|
| 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.01572#828Q (statement). In 7BJK23Q7GH/e1, theorem 3.8
History
- 2026-10-29: add by m2/v0.4.12
Wide Mouth Frog protocol ERS9F54104
| URI | m2://inv/ERS9F54104 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wide Mouth Frog protocol, Wide Mouth Frog protocol (definition). Also Wikidata Q4053131
History
- 2026-11-02: add by m2/dev
Axiom of countability ERSA1RNWFG
| URI | m2://inv/ERSA1RNWFG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of countability, Axiom of countability (statement). Also Wikidata Q336779
History
- 2026-11-02: add by m2/dev
ERSAWMKJSP ERSAWMKJSP
| URI | m2://inv/ERSAWMKJSP |
|---|---|
| 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-33 (exercise). In E9HS8K3A52, exercise, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
ERSKCEP2VT ERSKCEP2VT
| URI | m2://inv/ERSKCEP2VT |
|---|---|
| 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.12803#PAKI (statement). In 98GNJ4MS7Q/e1, theorem 12
History
- 2026-10-28: add by m2/v0.4.2
Definition ERSNWN3VCX
| URI | m2://inv/ERSNWN3VCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin transfer (group theory)#ZX4R, Definition (definition)
History
- 2026-11-02: add by m2/dev
Industrial applications of shape-memory alloys ERSPGA9NVT
| URI | m2://inv/ERSPGA9NVT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shape-memory alloy#O658, Industrial applications of shape-memory alloys (unknown)
History
- 2026-11-02: add by m2/dev
Ancilla-independent logical core reduction ERSPPGSAYC
| URI | m2://inv/ERSPPGSAYC |
|---|---|
| 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#WVFM, Ancilla-independent logical core reduction (statement). In R6RF3P6D5A/e1, proposition 4.14
History
- 2026-10-29: add by m2/v0.4.12
Stein, Charles ERT059SWMC
| URI | m2://inv/ERT059SWMC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#GTSU, Stein, Charles (topic)
History
- 2026-11-02: add by m2/dev
Demographic economics ERT32AA1BV
| URI | m2://inv/ERT32AA1BV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographic economics, Demographic economics (definition). Also Wikidata Q3044431
History
- 2026-11-02: add by m2/dev
ERT4JQMX9Z ERT4JQMX9Z
| URI | m2://inv/ERT4JQMX9Z |
|---|---|
| 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 2601.01000#AN6W (statement). In RYFV9HGWWZ/e1, lemma 52
History
- 2026-10-27: add by m2/v0.3.5
ERT4X7ZBMY ERT4X7ZBMY
| URI | m2://inv/ERT4X7ZBMY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17565#DKPQ (definition). In C422901XCN/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Hessian deflation ERT6VCACBR
| URI | m2://inv/ERT6VCACBR |
|---|---|
| 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.11315#VP9W, Hessian deflation (statement). In YPBV4RJ475/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.3
ERTDKHA4T5 ERTDKHA4T5
| URI | m2://inv/ERTDKHA4T5 |
|---|---|
| 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.23538#24QF (statement)
History
- 2026-11-02: add by m2/v0.6.17
Game theory ERTHWRP9Z0
| URI | m2://inv/ERTHWRP9Z0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#5WAI, Game theory (definition)
History
- 2026-11-02: add by m2/dev
ERTRSG0FP0 ERTRSG0FP0
| URI | m2://inv/ERTRSG0FP0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-2 (exercise). In E9HS8K3A52, exercise, section 7.1.1
History
- 2026-11-01: add by m2/v0.6.13
Jussi Väisälä ERV0RCC5FX
| URI | m2://inv/ERV0RCC5FX |
|---|---|
| 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#CJE8, Jussi Väisälä (unknown)
History
- 2026-11-02: add by m2/dev
n-ary function ERV2RVV5CK
| URI | m2://inv/ERV2RVV5CK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#MDDV, n-ary function (definition)
History
- 2026-11-02: add by m2/dev
ERV36BAQEM ERV36BAQEM
| URI | m2://inv/ERV36BAQEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ContinuousFunctions.tex#definition-1 (definition). In P1C114YBXG, definition, section 1
History
- 2026-11-01: add by m2/v0.6.13
ERV3KCAREQ ERV3KCAREQ
| URI | m2://inv/ERV3KCAREQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-59 (exercise). In E9HS8K3A52, exercise, section 2.5.5
History
- 2026-11-01: add by m2/v0.6.13
ERV6VW2JY9 ERV6VW2JY9
| URI | m2://inv/ERV6VW2JY9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/completeness/frame-completeness.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 51.1
History
- 2026-11-01: add by m2/v0.6.13
Bidiagonal matrix ERVG23M9XH
| URI | m2://inv/ERVG23M9XH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bidiagonal matrix, Bidiagonal matrix (definition). Also Wikidata Q856952
History
- 2026-11-02: add by m2/dev
Empirical-coordinate covariance perturbation ERVRTFJ464
| URI | m2://inv/ERVRTFJ464 |
|---|---|
| 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.10640#TIU5, Empirical-coordinate covariance perturbation (statement). In BAQVK6N0RD/e1, lemma 17
History
- 2026-10-29: add by m2/v0.4.10
Basis polynomials via Chinese remainder theorem ERW7024K9X
| URI | m2://inv/ERW7024K9X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermite interpolation#6WCZ, Basis polynomials via Chinese remainder theorem (statement)
History
- 2026-11-02: add by m2/dev
Ralph Kenna ERW9546SKG
| URI | m2://inv/ERW9546SKG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ralph Kenna, Ralph Kenna (topic). Also Wikidata Q27881415
History
- 2026-11-02: add by m2/dev
Particle in a box ERWRNKJ5FN
| URI | m2://inv/ERWRNKJ5FN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Particle in a box, Particle in a box (definition). Also Wikidata Q909221
History
- 2026-11-02: add by m2/dev
ERWZ8V37A8 ERWZ8V37A8
| URI | m2://inv/ERWZ8V37A8 |
|---|---|
| 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#XJOE (statement). In GRESY1RPK6/e1, proposition 6
History
- 2026-10-28: add by m2/v0.4.2
ERX2NDFAWP ERX2NDFAWP
| URI | m2://inv/ERX2NDFAWP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30663#AZRL (statement). In 3JZDKWS8NK/e1, lemma 11.1
History
- 2026-10-31: add by m2/v0.5.6
Examples ERX5MB6S4B
| URI | m2://inv/ERX5MB6S4B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meshulam's game#J20X, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples ERX963M832
| URI | m2://inv/ERX963M832 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibonacci polynomials#3R7F, Examples (example)
History
- 2026-11-02: add by m2/dev
Notation ERXTBQZF1T
| URI | m2://inv/ERXTBQZF1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural logarithm#ZBMP, Notation (definition)
History
- 2026-11-02: add by m2/dev
ERY4FB7JW9 ERY4FB7JW9
| URI | m2://inv/ERY4FB7JW9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15378#MIRB (statement). In W4J7ZF6EDN/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.2
ERYKR5NC71 ERYKR5NC71
| URI | m2://inv/ERYKR5NC71 |
|---|---|
| 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 2507.03563#IF3W (statement). In R6DR6F68BJ/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.4.0
ERYN1YS5E6 ERYN1YS5E6
| URI | m2://inv/ERYN1YS5E6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-3-1-1.xml#act-3-1-1 (exercise). In 907G4C4EJ1, activity, section 3.1.2
History
- 2026-11-01: add by m2/v0.6.13
ERYNAVE2TR ERYNAVE2TR
| URI | m2://inv/ERYNAVE2TR |
|---|---|
| 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.30067#0ILG (statement)
History
- 2026-11-01: add by m2/v0.6.15
monotonicity ERYWYSBV8W
| URI | m2://inv/ERYWYSBV8W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#QVQE, monotonicity (definition)
History
- 2026-11-02: add by m2/dev
Examples ERZ0F0EWKG
| URI | m2://inv/ERZ0F0EWKG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generating function#IAU1, Examples (example)
History
- 2026-11-02: add by m2/dev
Lemma ERZ2E8FQWS
| URI | m2://inv/ERZ2E8FQWS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liouville number#HG3Q, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Goldberg coefficients and partial vanishing of cumulants ERZ9WF6EVB
| URI | m2://inv/ERZ9WF6EVB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#ZHWL, Goldberg coefficients and partial vanishing of cumulants (example). In 7V3HG30ZGW/e1, example 5.26
History
- 2026-10-27: add by m2/v0.4.0
ERZCXNXRD4 ERZCXNXRD4
| URI | m2://inv/ERZCXNXRD4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:singlegenerator (exercise). In VNMV985MXX, exercise, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
ERZFJCR9R2 ERZFJCR9R2
| URI | m2://inv/ERZFJCR9R2 |
|---|---|
| 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.12014#2ZW4 (statement). In DR7BK4CQ0V/e1, lemma 5.13
History
- 2026-10-28: add by m2/v0.4.3
!!^{main operator} ERZHKMWF6D
| URI | m2://inv/ERZHKMWF6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/main-operator.tex#def:main-op, !!^{main operator} (definition). In PKGMM3P5QY, defn, section 19.13
History
- 2026-11-01: add by m2/v0.6.13
ERZRM8CKYW ERZRM8CKYW
| URI | m2://inv/ERZRM8CKYW |
|---|---|
| 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.12983#RTD0 (statement). In M6TFZ6E060/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
Ivan Oseledets ERZTG9V2N5
| URI | m2://inv/ERZTG9V2N5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ivan Oseledets, Ivan Oseledets (topic). Also Wikidata Q62635250
History
- 2026-11-02: add by m2/dev
ERZXYK0PFC ERZXYK0PFC
| URI | m2://inv/ERZXYK0PFC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09557#LYH7 (statement). In VHC7FQVPCZ/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10