Inventory rows DC
The cards of the rows of the inventory whose ids start with DC. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Bounding point DC009EHDTN
| URI | m2://inv/DC009EHDTN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounding point, Bounding point (definition). Also Wikidata Q4949997
History
- 2026-11-02: add by m2/dev
Mikio Sato DC0268QB0A
| URI | m2://inv/DC0268QB0A |
|---|---|
| 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#5QPA, Mikio Sato (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7XP1, Mikio Sato (topic)
History
- 2026-11-02: add by m2/dev
Concentration in Frattini class $2$ DC0388Q808
| URI | m2://inv/DC0388Q808 |
|---|---|
| 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.14509#IFC0, Concentration in Frattini class $2$ (statement). In N6GD8392QB/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
DC06PECJEK DC06PECJEK
| URI | m2://inv/DC06PECJEK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24297#L4UN (statement)
History
- 2026-11-01: add by m2/v0.6.15
DC09QAMN5G DC09QAMN5G
| URI | m2://inv/DC09QAMN5G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.06872#1TQV (statement). In J4H3A11MMX/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
Stephen Milne DC0EK6G47C
| URI | m2://inv/DC0EK6G47C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephen Milne (mathematician), Stephen Milne (topic). Also Wikidata Q1628305
History
- 2026-11-02: add by m2/dev
DC0N3MR5NA DC0N3MR5NA
| URI | m2://inv/DC0N3MR5NA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.00407#NEYU (statement). In TVFD0G3F2W/e1, lemma D.1
History
- 2026-10-27: add by m2/v0.3.5
Gamma-minimax inference DC0T7BXVFK
| URI | m2://inv/DC0T7BXVFK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gamma-minimax inference, Gamma-minimax inference (definition). Also Wikidata Q127273134
History
- 2026-11-02: add by m2/dev
DC0VYJZD5T DC0VYJZD5T
| URI | m2://inv/DC0VYJZD5T |
|---|---|
| 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.03050#3E5C (statement). In WXBRJN9PHQ/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.12
DC14DVMVPE DC14DVMVPE
| URI | m2://inv/DC14DVMVPE |
|---|---|
| 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.12908#YUFA (statement). In TNC658NVMQ/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
DC1D4G84X4 DC1D4G84X4
| URI | m2://inv/DC1D4G84X4 |
|---|---|
| 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 2602.13510#Q4M8 (statement). In Y75MQW7CFV/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
DC1E1CHCRW DC1E1CHCRW
| URI | m2://inv/DC1E1CHCRW |
|---|---|
| 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.20944#IUU7 (statement). In DRRKZR6CQC/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.2
All-loop endpoint reduction DC1MDM839H
| URI | m2://inv/DC1MDM839H |
|---|---|
| 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#1YT0, All-loop endpoint reduction (statement). In 8PTDFHV8SQ/e1, theorem 19.1
History
- 2026-10-28: add by m2/v0.4.3
DC1R8MEH1D DC1R8MEH1D
| URI | m2://inv/DC1R8MEH1D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16875#GCOM (statement). In KS30K5JXGB/e1, theorem 5.6
History
- 2026-10-28: add by m2/v0.4.2
Michael Freedman DC1SFABJM6
| URI | m2://inv/DC1SFABJM6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Freedman, Michael Freedman (topic). Also Wikidata Q333494
History
- 2026-11-02: add by m2/dev
DC1ZC11XG0 DC1ZC11XG0
| URI | m2://inv/DC1ZC11XG0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#UFNP (statement)
History
- 2026-11-02: add by m2/v0.6.18
DC26PRN1MP DC26PRN1MP
| URI | m2://inv/DC26PRN1MP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31365#84G3 (definition). In 19GENJ3NCP/e1, definition 2.7
History
- 2026-10-31: add by m2/v0.5.6
Basic properties of $I_{\beta,\gamma}$ DC26XXS3E6
| URI | m2://inv/DC26XXS3E6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40271#9Z2K, Basic properties of $I_{\beta,\gamma}$ (statement). In 9MXMRKFKDW/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
eCash DC28JFSN58
| URI | m2://inv/DC28JFSN58 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of bitcoin forks#498W, eCash (unknown)
History
- 2026-11-02: add by m2/dev
DC296SSP7H DC296SSP7H
| URI | m2://inv/DC296SSP7H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13699#27TH (statement). In ZSMAQ666K7/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
Hexastix DC29Q80N6N
| URI | m2://inv/DC29Q80N6N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexastix, Hexastix (definition). Also Wikidata Q111165730
History
- 2026-11-02: add by m2/dev
LFA critic upper bound DC2ESBVTZT
| URI | m2://inv/DC2ESBVTZT |
|---|---|
| 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.04117#2MO1, LFA critic upper bound (statement). In 65E9N3DFYP/e1, lemma D.3
History
- 2026-10-29: add by m2/v0.4.12
Martin R. Gainsbrugh DC2GD30H6C
| URI | m2://inv/DC2GD30H6C |
|---|---|
| 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#J7FS, Martin R. Gainsbrugh (unknown)
History
- 2026-11-02: add by m2/dev
European Girls' Mathematical Olympiad DC2NZMRBBW
| URI | m2://inv/DC2NZMRBBW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia European Girls' Mathematical Olympiad, European Girls' Mathematical Olympiad (definition). Also Wikidata Q5412628
History
- 2026-11-02: add by m2/dev
Generalized Freudenthal theorem for $W$ DC32ZQF6ZS
| URI | m2://inv/DC32ZQF6ZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31269#GR89, Generalized Freudenthal theorem for $W$ (statement). In ZPT9XCCAPQ/e1, proposition 1.3.6
History
- 2026-10-31: add by m2/v0.5.6
Cayley–Hamilton theorem DC335QCY8A
| URI | m2://inv/DC335QCY8A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Arthur Cayley#OT89, Cayley–Hamilton theorem (statement)
History
- 2026-11-02: add by m2/dev
Equally spaced polynomial DC3467GSKW
| URI | m2://inv/DC3467GSKW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equally spaced polynomial, Equally spaced polynomial (definition). Also Wikidata Q5384222
History
- 2026-11-02: add by m2/dev
DC35755Q6F DC35755Q6F
| URI | m2://inv/DC35755Q6F |
|---|---|
| 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.20316#20QX (statement). In YRJS76169Z/e1, lemma 4.12
History
- 2026-10-27: add by m2/v0.4.2
least upper bound DC37DRP145
| URI | m2://inv/DC37DRP145 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#5GSS, least upper bound (definition)
History
- 2026-11-02: add by m2/dev
DC3CDD3DXK DC3CDD3DXK
| URI | m2://inv/DC3CDD3DXK |
|---|---|
| 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#VYC7 (statement). In JWNYJVH8XG/e1, theorem 3.19
History
- 2026-10-29: add by m2/v0.4.10
divergence of a kinked field DC3JVGPNNE
| URI | m2://inv/DC3JVGPNNE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08016#JVOW, divergence of a kinked field (statement). In YR3CSTYEJW/e1, lemma 4.12
History
- 2026-10-29: add by m2/v0.4.10
SUDAAN DC3KVQZJRH
| URI | m2://inv/DC3KVQZJRH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SUDAAN, SUDAAN (definition). Also Wikidata Q7394951
History
- 2026-11-02: add by m2/dev
DC3Y9D44VM DC3Y9D44VM
| URI | m2://inv/DC3Y9D44VM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22394#B8S3 (example)
History
- 2026-11-02: add by m2/v0.6.17
Klein surface DC4501J6D7
| URI | m2://inv/DC4501J6D7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Felix Klein#JPJ2, Klein surface (definition)
- wikipedia: Wikipedia List of surfaces#6LLL, Klein surface (definition)
History
- 2026-11-02: add by m2/dev
Variants DC4C55E7WV
| URI | m2://inv/DC4C55E7WV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymmetric numeral systems#HZVT, Variants (statement)
History
- 2026-11-02: add by m2/dev
Clélies DC4GP4ARKY
| URI | m2://inv/DC4GP4ARKY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#DQ4W, Clélies (definition)
- wikipedia: Wikipedia List of curves#M0LH, Clélies (definition)
History
- 2026-11-02: add by m2/dev
DC4TBAJDTH DC4TBAJDTH
| URI | m2://inv/DC4TBAJDTH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.09171#3FY2 (definition). In 5ZPSZFE08Q/e1, definition 3.9
History
- 2026-10-29: add by m2/v0.4.10
DC4TGV97VC DC4TGV97VC
| URI | m2://inv/DC4TGV97VC |
|---|---|
| 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 2409.20170#5QX1 (statement). In QXJP79APHN/e1, proposition 4.6
History
- 2026-10-27: add by m2/v0.3.5
DC4TWCTAVX DC4TWCTAVX
| URI | m2://inv/DC4TWCTAVX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22642#9W7E (statement)
History
- 2026-11-02: add by m2/v0.6.17
Louise Dolan DC52W4D1XV
| URI | m2://inv/DC52W4D1XV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#VTSY, Louise Dolan (unknown)
History
- 2026-11-02: add by m2/dev
Contraction between auxiliary and reference DC54H8XTH9
| URI | m2://inv/DC54H8XTH9 |
|---|---|
| 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.32446#9GMQ, Contraction between auxiliary and reference (statement). In W1KVJEGJ1W/e1, lemma 4.1
History
- 2026-10-31: add by m2/v0.5.6
DC58859TRP DC58859TRP
| URI | m2://inv/DC58859TRP |
|---|---|
| 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.15160#RL5M (statement). In 6FV4CCY1NX/e1, corollary 3.1
History
- 2026-10-28: add by m2/v0.4.2
RPDA upper bound DC5FRY99CZ
| URI | m2://inv/DC5FRY99CZ |
|---|---|
| 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.04944#DQ68, RPDA upper bound (statement). In BHSY6QQCVK/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
DC5JV2DX2A DC5JV2DX2A
| URI | m2://inv/DC5JV2DX2A |
|---|---|
| Kind | example |
| 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.38250#VJZV (example). In 5KDV984W48/e1, example 18
History
- 2026-10-30: add by m2/v0.4.12
Jennifer Rodgers DC5KJ45N77
| URI | m2://inv/DC5KJ45N77 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#2GVR, Jennifer Rodgers (unknown)
History
- 2026-11-02: add by m2/dev
Finite termination of the accuracy loop DC5KVCF9TY
| URI | m2://inv/DC5KVCF9TY |
|---|---|
| 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.33206#Y00A, Finite termination of the accuracy loop (statement). In VRPEECJF2P/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
DC5QXD3ABB DC5QXD3ABB
| URI | m2://inv/DC5QXD3ABB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#4KID (statement). In PA6JQDSKQT/e1, proposition 4.13
History
- 2026-10-28: add by m2/v0.4.2
DC5YD69TY9 DC5YD69TY9
| URI | m2://inv/DC5YD69TY9 |
|---|---|
| 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 2610.00105#B1H2 (statement). In EZXTEXR47M/e1, corollary 4.2
History
- 2026-10-30: add by m2/v0.4.12
DC5YR85QPB DC5YR85QPB
| URI | m2://inv/DC5YR85QPB |
|---|---|
| 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.31986#VMAA (statement). In 8WR0AEDAHT/e1, theorem 6
History
- 2026-10-31: add by m2/v0.5.6
singular proposition DC5ZZQE1JS
| URI | m2://inv/DC5ZZQE1JS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#KMEJ, singular proposition (definition)
History
- 2026-11-02: add by m2/dev
DC60EA882C DC60EA882C
| URI | m2://inv/DC60EA882C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_intro-sets.ptx#example-8 (example). In Y91XFCEVHQ, example, section 1.3.3
History
- 2026-11-01: add by m2/v0.6.13
Regularity of the matrix reference; Akbas--Sra DC60KD2F8Q
| URI | m2://inv/DC60KD2F8Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#UWDM, Regularity of the matrix reference; Akbas--Sra (statement). In 9YAE8FNQST/e1, lemma 9.5
History
- 2026-10-30: add by m2/v0.4.12
DC610XWMH0 DC610XWMH0
| URI | m2://inv/DC610XWMH0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#H442 (definition). In BDN507RN7J/e1, definition 3.6.5
History
- 2026-10-30: add by m2/v0.4.12
Alex S Arvanitakis DC622A7MHS
| URI | m2://inv/DC622A7MHS |
|---|---|
| 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 Q75842687, Alex S Arvanitakis (unknown). Also nLab Alex Arvanitakis
History
- 2026-10-26: add by m2/dev
DC6C2YGMXG DC6C2YGMXG
| URI | m2://inv/DC6C2YGMXG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.22326#HC9C (definition). In EAABRG99V8/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.4.0
Formal Definition DC6FQ9YCZZ
| URI | m2://inv/DC6FQ9YCZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong and weak sampling#Y88H, Formal Definition (definition)
History
- 2026-11-02: add by m2/dev
Yoichi Miyaoka DC6GJF7QH2
| URI | m2://inv/DC6GJF7QH2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2DFO, Yoichi Miyaoka (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1CT0, Yoichi Miyaoka (topic)
History
- 2026-11-02: add by m2/dev
Rafael Van Severen Chacon DC6H8WZHW8
| URI | m2://inv/DC6H8WZHW8 |
|---|---|
| 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#Z85Y, Rafael Van Severen Chacon (unknown)
History
- 2026-11-02: add by m2/dev
DC6HGMCC4W DC6HGMCC4W
| URI | m2://inv/DC6HGMCC4W |
|---|---|
| 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-51 (exercise). In E9HS8K3A52, exercise, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
Hinge loss DC6K0H8KH4
| URI | m2://inv/DC6K0H8KH4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hinge loss, Hinge loss (definition). Also Wikidata Q5767098
History
- 2026-11-02: add by m2/dev
DC6S8621FW DC6S8621FW
| URI | m2://inv/DC6S8621FW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17482#3VCB (statement). In BQQK9JDJ9F/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
DC6XF34FPC DC6XF34FPC
| URI | m2://inv/DC6XF34FPC |
|---|---|
| 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.21680#OEY5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Extensions DC6Y65K559
| URI | m2://inv/DC6Y65K559 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial least squares regression#KIGQ, Extensions (statement)
History
- 2026-11-02: add by m2/dev
DC6ZTRZYY8 DC6ZTRZYY8
| URI | m2://inv/DC6ZTRZYY8 |
|---|---|
| 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.17325#P18H (statement). In SE16BAED46/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
Negative result; original DC77XTBY1T
| URI | m2://inv/DC77XTBY1T |
|---|---|
| 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.02392#6ZF4, Negative result; original (statement). In W066HQZQBF/e1, proposition 20
History
- 2026-10-29: add by m2/v0.4.12
Gluing respects judgmental equality DC78B9CJYY
| URI | m2://inv/DC78B9CJYY |
|---|---|
| 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.21131#WHJ0, Gluing respects judgmental equality (statement). In CPYWHRTPKC/e1, lemma 7.26
History
- 2026-10-27: add by m2/v0.4.2
DC7A6FKMXH DC7A6FKMXH
| URI | m2://inv/DC7A6FKMXH |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#proof-28 (proof). In N54F33XE07, proof, section 1.8
History
- 2026-11-01: add by m2/v0.6.13
DC7AXR2BHX DC7AXR2BHX
| URI | m2://inv/DC7AXR2BHX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.02061#K2ND (definition). In F5STMSPR6X/e1, definition 3.19
History
- 2026-10-29: add by m2/v0.4.12
Nonlocal residuals with nonlocal or Dirichlet boundary data DC7EBXCAXE
| URI | m2://inv/DC7EBXCAXE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#Z0S7, Nonlocal residuals with nonlocal or Dirichlet boundary data (statement). In 6FY8BVP1F3/e1, corollary D.15
History
- 2026-10-29: add by m2/v0.4.12
Opposite-necklace difference formula DC7H05D02R
| URI | m2://inv/DC7H05D02R |
|---|---|
| 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.17100#BZ5M, Opposite-necklace difference formula (statement). In 4TSS52DMB2/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
DC7H4JBJJM DC7H4JBJJM
| URI | m2://inv/DC7H4JBJJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02079#DFVL (statement). In CNS2J2E4T2/e1, lemma 17
History
- 2026-10-29: add by m2/v0.4.12
Benny Sudakov DC7XADAZW2
| URI | m2://inv/DC7XADAZW2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZKBC, Benny Sudakov (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RT87, Benny Sudakov (topic)
History
- 2026-11-02: add by m2/dev
Gaussian convex median inequality DC7YDGB4WH
| URI | m2://inv/DC7YDGB4WH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#WREZ, Gaussian convex median inequality (statement). In 9YAE8FNQST/e1, lemma 14.1
History
- 2026-10-30: add by m2/v0.4.12
Pólya–Vinogradov inequality DC81Q8M09Q
| URI | m2://inv/DC81Q8M09Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic residue#SAHP, Pólya–Vinogradov inequality (statement)
History
- 2026-11-02: add by m2/dev
∇ DC8288HDD6
| URI | m2://inv/DC8288HDD6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q937750, ∇ (unknown). Also ProofWiki Symbols:Nabla
History
- 2026-10-26: add by m2/dev
Jeff Paris DC8GZPAWWW
| URI | m2://inv/DC8GZPAWWW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q441137, Jeff Paris (unknown). Also MathWorld NaturalIndependencePhenomenon
- wikipedia: Wikipedia Jeff Paris (mathematician), Jeff Paris (topic). Also Wikidata Q441137
History
- 2026-10-26: add by m2/dev
Rota's basis conjecture DC8V54420Q
| URI | m2://inv/DC8V54420Q |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#CD19, Rota's basis conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
A genuine two-point counterexample DC94CDZMVN
| URI | m2://inv/DC94CDZMVN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23281#YTE0, A genuine two-point counterexample (example)
History
- 2026-11-02: add by m2/v0.6.17
DC98E7R9E7 DC98E7R9E7
| URI | m2://inv/DC98E7R9E7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33027#KO2M (statement). In E2AF84709B/e1, lemma 13
History
- 2026-10-31: add by m2/v0.5.6
Scale analysis DC9BBCMN6H
| URI | m2://inv/DC9BBCMN6H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scale analysis (statistics), Scale analysis (definition). Also Wikidata Q7429717
History
- 2026-11-02: add by m2/dev
DC9JTRBEPR DC9JTRBEPR
| URI | m2://inv/DC9JTRBEPR |
|---|---|
| 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.20991#EFF8 (statement). In H98ZC5YBSD/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.4.2
*-algebra DC9SXZTCTZ
| URI | m2://inv/DC9SXZTCTZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Ring with involution 7W52X4N3NJ |
Mentions
- wikidata: Wikidata Q2836000, *-algebra (unknown). Also MathWorld InvolutiveAlgebra
- wikipedia: Wikipedia *-algebra, *-algebra (definition). Also Wikidata Q2836000
History
- 2026-10-26: add by m2/dev
hyperset DC9T2HXQCF
| URI | m2://inv/DC9T2HXQCF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#3AM5, hyperset (definition)
History
- 2026-11-02: add by m2/dev
DC9WDAEZTR DC9WDAEZTR
| URI | m2://inv/DC9WDAEZTR |
|---|---|
| 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.40282#X3FK (statement). In P86RWY99S2/e1, theorem B
History
- 2026-10-30: add by m2/v0.4.12
DC9XMWVM0V DC9XMWVM0V
| URI | m2://inv/DC9XMWVM0V |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-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 1912.02769#62ZJ (example). In JH7VQ2EC16/e1, example 2.2
History
- 2026-10-27: add by m2/v0.3.5
Sampling a primary image DC9YD564B5
| URI | m2://inv/DC9YD564B5 |
|---|---|
| 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.08280#GRML, Sampling a primary image (statement). In EGADPYP7R3/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.10
The Riemann hypothesis DCA2P6BZ7E
| URI | m2://inv/DCA2P6BZ7E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime-counting function#7F9G, The Riemann hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Properties DCA56NV5NS
| URI | m2://inv/DCA56NV5NS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overring#LT0R, Properties (statement)
History
- 2026-11-02: add by m2/dev
Grigory Zinoviev DCA7Q750B9
| URI | m2://inv/DCA7Q750B9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#F4S4, Grigory Zinoviev (unknown)
History
- 2026-11-02: add by m2/dev
Theorem DCAJDDSGSQ
| URI | m2://inv/DCAJDDSGSQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-stability of Fano varieties#9M9H, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Hyperbolic growth DCASC4NBRA
| URI | m2://inv/DCASC4NBRA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic growth, Hyperbolic growth (definition). Also Wikidata Q4392326
History
- 2026-11-02: add by m2/dev
DCAZ4BQ4AD DCAZ4BQ4AD
| URI | m2://inv/DCAZ4BQ4AD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#transport-Sigma (statement). In N54F33XE07, thm, section 1.7
History
- 2026-11-01: add by m2/v0.6.13
DCAZGKGM7G DCAZGKGM7G
| URI | m2://inv/DCAZGKGM7G |
|---|---|
| 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 2407.04161#XV9P (statement). In JBZJ7NPQ4G/e1, proposition 3.10
History
- 2026-10-27: add by m2/v0.4.0
DCB1HE11SW DCB1HE11SW
| URI | m2://inv/DCB1HE11SW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#example-5 (example). In P1C114YBXG, example, section H
History
- 2026-11-01: add by m2/v0.6.13
A. N. Tikhonov DCBE2WEQCB
| URI | m2://inv/DCBE2WEQCB |
|---|---|
| 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#CEOV, A. N. Tikhonov (topic)
History
- 2026-11-02: add by m2/dev
DCBJT3SW51 DCBJT3SW51
| URI | m2://inv/DCBJT3SW51 |
|---|---|
| Kind | example |
| 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#SG0M (example)
History
- 2026-11-02: add by m2/v0.6.18
Algorithm DCBNWENW01
| URI | m2://inv/DCBNWENW01 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian Monte Carlo#LM0R, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Corollary DCBWPN75WT
| URI | m2://inv/DCBWPN75WT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ursescu theorem#N9CI, Corollary (statement)
History
- 2026-11-02: add by m2/dev
DCBYQ8V34D DCBYQ8V34D
| URI | m2://inv/DCBYQ8V34D |
|---|---|
| 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.05722#MNAX (statement). In NDKWV5J14V/e1, corollary 3.1
History
- 2026-10-29: add by m2/v0.4.10
DCBZ9S1HWE DCBZ9S1HWE
| URI | m2://inv/DCBZ9S1HWE |
|---|---|
| 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.28489#UANK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Acnode DCC0NRMSJR
| URI | m2://inv/DCC0NRMSJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#ZO8P, Acnode (definition)
History
- 2026-11-02: add by m2/dev
DCC5H1XPVH DCC5H1XPVH
| URI | m2://inv/DCC5H1XPVH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#XH8C (statement). In RTE2C0PH4S/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
DCCN2FZGXG DCCN2FZGXG
| URI | m2://inv/DCCN2FZGXG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_intro-sets.ptx#example-2 (example). In Y91XFCEVHQ, example, section 1.3.1
History
- 2026-11-01: add by m2/v0.6.13
Michael Lin DCCQM6NPPE
| URI | m2://inv/DCCQM6NPPE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Lin (mathematician), Michael Lin (topic). Also Wikidata Q11116236
History
- 2026-11-02: add by m2/dev
DCCQVZYG40 DCCQVZYG40
| URI | m2://inv/DCCQVZYG40 |
|---|---|
| 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 0904.3493#PTJ0 (statement). In 1ARY7220P4/e1, fact 2.6
History
- 2026-10-27: add by m2/v0.3.5
DCCVP424ZF DCCVP424ZF
| URI | m2://inv/DCCVP424ZF |
|---|---|
| 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 2011.07352#VZNK (statement). In 3VPC1GGZ3E/e1, proposition 4.15
History
- 2026-10-27: add by m2/v0.3.5
DCD6STKJ5A DCD6STKJ5A
| URI | m2://inv/DCD6STKJ5A |
|---|---|
| Kind | example |
| 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 2610.14080#ULA6 (example). In 1DRD5FAJ4C/e1, example 5.2
History
- 2026-10-28: add by m2/v0.4.2
1,000,000,000,000 DCD80GMF9Y
| URI | m2://inv/DCD80GMF9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1,000,000,000,000, 1,000,000,000,000 (definition). Also Wikidata Q862978
History
- 2026-11-02: add by m2/dev
DCD8P69V88 DCD8P69V88
| URI | m2://inv/DCD8P69V88 |
|---|---|
| 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 2609.20444#YYLO (statement)
History
- 2026-11-02: add by m2/v0.6.18
sampling lemma DCDR220MRX
| URI | m2://inv/DCDR220MRX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27458#X9QC, sampling lemma (statement)
History
- 2026-11-01: add by m2/v0.6.15
DCDRH7PBJ1 DCDRH7PBJ1
| URI | m2://inv/DCDRH7PBJ1 |
|---|---|
| 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.08370#6OS5 (statement). In EQN3EZRZYQ/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
constant-coefficient DCDTS9XQND
| URI | m2://inv/DCDTS9XQND |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.2.1/constant-coefficient, constant-coefficient (concept). In E9HS8K3A52, index, section 6.2.1
History
- 2026-11-01: add by m2/v0.6.13
Negative definiteness DCE0NXQ4AF
| URI | m2://inv/DCE0NXQ4AF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Negative definiteness, Negative definiteness (definition). Also Wikidata Q96478216
History
- 2026-11-02: add by m2/dev
Algorithms DCE17NYMM0
| URI | m2://inv/DCE17NYMM0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dot product#U5KX, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
DCE19E83CJ DCE19E83CJ
| URI | m2://inv/DCE19E83CJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.19010#1SH6 (statement). In 6315NJBYJM/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.2
Giles of Rome DCE46QBBYS
| URI | m2://inv/DCE46QBBYS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#MTO6, Giles of Rome (unknown)
History
- 2026-11-02: add by m2/dev
Linearity of the Laplace transform DCE54CMNH4
| URI | m2://inv/DCE54CMNH4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#theorem-1, Linearity of the Laplace transform (statement). In E9HS8K3A52, theorem, section 7.1.1
History
- 2026-11-01: add by m2/v0.6.13
Crossed quadrilateral DCE5F6A73M
| URI | m2://inv/DCE5F6A73M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadrilateral#13JE, Crossed quadrilateral (unknown)
History
- 2026-11-02: add by m2/dev
DCE67N13TV DCE67N13TV
| URI | m2://inv/DCE67N13TV |
|---|---|
| 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.15504#EEI7 (statement). In AZ8SEW6HAV/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
Thermodynamic limit DCE6FKNM08
| URI | m2://inv/DCE6FKNM08 |
|---|---|
| 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.01669#FT61, Thermodynamic limit (statement). In 41AVNP6DJ9/e1, corollary 5.2
History
- 2026-10-29: add by m2/v0.4.12
Mikio Furuta DCE6JGAH1W
| URI | m2://inv/DCE6JGAH1W |
|---|---|
| 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#ZOHP, Mikio Furuta (unknown)
History
- 2026-11-02: add by m2/dev
Mark and recapture DCEAMYTT2T
| URI | m2://inv/DCEAMYTT2T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FNKQ, Mark and recapture (definition)
History
- 2026-11-02: add by m2/dev
Fienberg, Stephen DCEB8QP50T
| URI | m2://inv/DCEB8QP50T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#ADB5, Fienberg, Stephen (topic)
History
- 2026-11-02: add by m2/dev
Gene Abrams DCEXA5DFY2
| URI | m2://inv/DCEXA5DFY2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gene Abrams, Gene Abrams (topic). Also Wikidata Q66013641
History
- 2026-11-02: add by m2/dev
DCF19VR3QB DCF19VR3QB
| URI | m2://inv/DCF19VR3QB |
|---|---|
| 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.24412#LAKZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
DCF4HBMYQM DCF4HBMYQM
| URI | m2://inv/DCF4HBMYQM |
|---|---|
| Kind | example |
| 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.16554#T59P (example). In GWNT8HEZG1/e1, example 3.14
History
- 2026-10-27: add by m2/v0.3.6
quadratic DCFDSN2B2M
| URI | m2://inv/DCFDSN2B2M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#BXLB, quadratic (definition)
History
- 2026-11-02: add by m2/dev
DCFFPE7D79 DCFFPE7D79
| URI | m2://inv/DCFFPE7D79 |
|---|---|
| Kind | definition |
| 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.17135#4JKN (definition). In XX1J2REXY2/e1, definition 4.15
History
- 2026-10-28: add by m2/v0.4.2
DCFG2MWMCF DCFG2MWMCF
| URI | m2://inv/DCFG2MWMCF |
|---|---|
| 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.39726#RP1F (statement). In 4CTC8A57SD/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Bootstrap error-adjusted single-sample technique DCFH2PVDST
| URI | m2://inv/DCFH2PVDST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8RK1, Bootstrap error-adjusted single-sample technique (definition)
History
- 2026-11-02: add by m2/dev
DCFH30033W DCFH30033W
| URI | m2://inv/DCFH30033W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29537#7VPB (statement)
History
- 2026-11-01: add by m2/v0.6.15
pentagon, Mac Lane DCFP9QVBHR
| URI | m2://inv/DCFP9QVBHR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1/pentagon-mac-lane, pentagon, Mac Lane (concept). In N54F33XE07, index, section 1
History
- 2026-11-01: add by m2/v0.6.13
Leland Wilkinson DCFPA69ZT6
| URI | m2://inv/DCFPA69ZT6 |
|---|---|
| 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#4FY0, Leland Wilkinson (unknown)
History
- 2026-11-02: add by m2/dev
DCFQD73MSQ DCFQD73MSQ
| URI | m2://inv/DCFQD73MSQ |
|---|---|
| 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.21934#12RJ (statement). In YKD51BX3XB/e1, lemma 9.2
History
- 2026-10-27: add by m2/v0.4.2
DCG49SVQFY DCG49SVQFY
| URI | m2://inv/DCG49SVQFY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13850#D2NP (statement). In KJY735KSMF/e1, theorem 10.6
History
- 2026-10-28: add by m2/v0.4.2
DCG6026GCX DCG6026GCX
| URI | m2://inv/DCG6026GCX |
|---|---|
| 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 2205.06433#HKLN (statement). In 628PJKD3EV/e1, corollary 3.10
History
- 2026-10-27: add by m2/v0.3.5
Claire Mathieu DCGA5MYWYV
| URI | m2://inv/DCGA5MYWYV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claire Mathieu, Claire Mathieu (topic). Also Wikidata Q23772005
History
- 2026-11-02: add by m2/dev
DCGAR1DV32 DCGAR1DV32
| URI | m2://inv/DCGAR1DV32 |
|---|---|
| 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.12857#85PY (definition). In XJWQ6Y83F8/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Definition and properties DCGCFMGHWG
| URI | m2://inv/DCGCFMGHWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanley–Reisner ring#Q4QH, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
Linguistic demography DCGFSQ572B
| URI | m2://inv/DCGFSQ572B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QP1B, Linguistic demography (definition)
History
- 2026-11-02: add by m2/dev
Eduard Feireisl DCGME8TFC5
| URI | m2://inv/DCGME8TFC5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eduard Feireisl, Eduard Feireisl (topic). Also Wikidata Q18564433
History
- 2026-11-02: add by m2/dev
Applications DCGPD3QZS5
| URI | m2://inv/DCGPD3QZS5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudoelementary class#MGAD, Applications (example)
History
- 2026-11-02: add by m2/dev
Example illustrating Taussky's theorem DCGQTE3NCC
| URI | m2://inv/DCGQTE3NCC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gershgorin circle theorem#FEEX, Example illustrating Taussky's theorem (example)
History
- 2026-11-02: add by m2/dev
Erdős–Bacon number DCH1FDYXDQ
| URI | m2://inv/DCH1FDYXDQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Bacon number, Erdős–Bacon number (topic). Also Wikidata Q722700
History
- 2026-11-02: add by m2/dev
DCH3PP8B1M DCH3PP8B1M
| URI | m2://inv/DCH3PP8B1M |
|---|---|
| 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.05582#N5F0 (statement). In 9X4TANWWWR/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.10
Score (statistics) DCH3YP5PD7
| URI | m2://inv/DCH3YP5PD7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#USWZ, Score (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Normalized zero-entropy region DCH7FX7FGQ
| URI | m2://inv/DCH7FX7FGQ |
|---|---|
| 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.24931#ERGU, Normalized zero-entropy region (statement)
History
- 2026-11-01: add by m2/v0.6.15
DCH7VGTRC4 DCH7VGTRC4
| URI | m2://inv/DCH7VGTRC4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dets.tex#problem-7 (exercise). In RZP28ERRZV, problem, section 56.3
History
- 2026-11-01: add by m2/v0.6.13
Example DCH8WG1KP4
| URI | m2://inv/DCH8WG1KP4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phi coefficient#5LN5, Example (example)
History
- 2026-11-02: add by m2/dev
Definition DCHQSDCWM3
| URI | m2://inv/DCHQSDCWM3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorics on words#3Y0Z, Definition (definition)
History
- 2026-11-02: add by m2/dev
Stephen Fienberg DCHREEZNSE
| URI | m2://inv/DCHREEZNSE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephen Fienberg, Stephen Fienberg (topic). Also Wikidata Q7609192
History
- 2026-11-02: add by m2/dev
DCJA6F1B03 DCJA6F1B03
| URI | m2://inv/DCJA6F1B03 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12330#SRV0 (definition). In XHSKEPT3VD/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
DCJAVEXJ5F DCJAVEXJ5F
| URI | m2://inv/DCJAVEXJ5F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#8C3O (statement). In M4ZVJWM8YA/e1, lemma A.22
History
- 2026-10-27: add by m2/v0.4.2
Measurable projection theorem DCJB0GVKRZ
| URI | m2://inv/DCJB0GVKRZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21098#Q3KG, Measurable projection theorem (statement)
History
- 2026-11-02: add by m2/v0.6.18
DCJG5C53MS DCJG5C53MS
| URI | m2://inv/DCJG5C53MS |
|---|---|
| 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 2609.38396#992C (definition). In FGNNVKQR1Z/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Kato surface DCJK1MSHQS
| URI | m2://inv/DCJK1MSHQS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kato surface, Kato surface (definition). Also Wikidata Q6377761
History
- 2026-11-02: add by m2/dev
Hugh Scrutton DCJKYN9H9V
| URI | m2://inv/DCJKYN9H9V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ted Kaczynski#QLLX, Hugh Scrutton (unknown)
History
- 2026-11-02: add by m2/dev
PLMC lower bound on a Gaussian target DCJNX94BTM
| URI | m2://inv/DCJNX94BTM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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 2610.06308#UH1E, PLMC lower bound on a Gaussian target (statement). In HTWSDDAWGS/e1, proposition D.5
History
- 2026-10-29: add by m2/v0.4.10
DCJPH14R6F DCJPH14R6F
| URI | m2://inv/DCJPH14R6F |
|---|---|
| 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.28403#MTBY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example DCJPTAPK6M
| URI | m2://inv/DCJPTAPK6M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AsciiMath#U43O, Example (example)
History
- 2026-11-02: add by m2/dev
Schwartz–Zippel lemma DCJQW56VW0
| URI | m2://inv/DCJQW56VW0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 12-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7433182, Schwartz–Zippel theorem (statement). Also Mathlib MvPolynomial.schwartz_zippel_sup_sum, Wikidata Q7433182
- thousand_plus: thousand_plus Q7433182, Schwartz–Zippel theorem (statement). Also Mathlib MvPolynomial.schwartz_zippel_sup_sum, Wikidata Q7433182, Wikipedia Schwartz–Zippel theorem
- wikipedia: Wikipedia Schwartz–Zippel lemma, Schwartz–Zippel lemma (statement). Also Wikidata Q7433182
History
- 2026-10-26: add by m2/dev
Outliers ratio DCJTNAZ5Z3
| URI | m2://inv/DCJTNAZ5Z3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#58PC, Outliers ratio (definition)
History
- 2026-11-02: add by m2/dev
DCK3ZFXMYP DCK3ZFXMYP
| URI | m2://inv/DCK3ZFXMYP |
|---|---|
| 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 2609.24484#T7E6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
group ring DCK5TEBXS5
| URI | m2://inv/DCK5TEBXS5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Group ring 4NMTSX0XDS |
Mentions
- wikidata: Wikidata Q2602722, group ring (definition). Also LMFDB knowl group.group_ring, MathWorld CG, MathWorld GroupRing, ProofWiki Definition:Group_Ring
- wikipedia: Wikipedia Group ring, Group ring (definition). Also Wikidata Q2602722
History
- 2026-10-26: add by m2/dev
Remark DCKB2C7WZF
| URI | m2://inv/DCKB2C7WZF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetry of second derivatives#T1PY, Remark (unknown)
History
- 2026-11-02: add by m2/dev
DCKBMV9N2S DCKBMV9N2S
| URI | m2://inv/DCKBMV9N2S |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05611#7D1L (problem). In QDTX6NXFEB/e1, problem 4.5
History
- 2026-10-29: add by m2/v0.4.10
DCKJAYD449 DCKJAYD449
| URI | m2://inv/DCKJAYD449 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/action.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Katz's moment principle, with proof DCKK59Y246
| URI | m2://inv/DCKK59Y246 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#TQIY, Katz's moment principle, with proof (statement). In QPJ6FWG5HD/e1, theorem 2.27
History
- 2026-10-29: add by m2/v0.4.12
Dynamic risk measure properties and geometry of the stopping operator DCKN3MY3X9
| URI | m2://inv/DCKN3MY3X9 |
|---|---|
| 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.23768#ZPYC, Dynamic risk measure properties and geometry of the stopping operator (statement)
History
- 2026-11-02: add by m2/v0.6.17
Lawrence, Charles DCKNGJ62GW
| URI | m2://inv/DCKNGJ62GW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#39QB, Lawrence, Charles (unknown)
History
- 2026-11-02: add by m2/dev
DCKPCPNY14 DCKPCPNY14
| URI | m2://inv/DCKPCPNY14 |
|---|---|
| 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.31102#5N6X (statement). In 7CADATJMAA/e1, corollary 5.1
History
- 2026-10-31: add by m2/v0.5.6
DCKPNMRBCA DCKPNMRBCA
| URI | m2://inv/DCKPNMRBCA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11905#86XA (statement). In QQFXT31CA5/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.3
Numerosity DCKRDV0H4D
| URI | m2://inv/DCKRDV0H4D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerosity (mathematics), Numerosity (definition). Also Wikidata Q134778142
History
- 2026-11-02: add by m2/dev
Exact augmentation of a fixed joint law DCKSKFTDX7
| URI | m2://inv/DCKSKFTDX7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#0F7E, Exact augmentation of a fixed joint law (statement). In 9YAE8FNQST/e1, theorem 26.3
History
- 2026-10-30: add by m2/v0.4.12
DCKW85QB24 DCKW85QB24
| URI | m2://inv/DCKW85QB24 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2610.05179#MB8T (statement). In 9EMCPF1F2T/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10
The Book of Squares DCM1BG01RR
| URI | m2://inv/DCM1BG01RR |
|---|---|
| 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 Q7719307, The Book of Squares (unknown). Also ProofWiki Book:Leonardo_Fibonacci/Liber_Quadratorum
History
- 2026-10-26: add by m2/dev
Sperner's lemma DCM9VYYENX
| URI | m2://inv/DCM9VYYENX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Sperner's lemma HQG3V5Z6MR |
Mentions
- wikidata: Wikidata Q733336, Sperner's lemma (statement). Also MathWorld SpernersLemma
- wikipedia: Wikipedia Sperner's lemma, Sperner's lemma (statement). Also Wikidata Q733336
History
- 2026-10-26: add by m2/dev
Hubert, Mia DCMB3VPPSF
| URI | m2://inv/DCMB3VPPSF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#CKWT, Hubert, Mia (topic)
History
- 2026-11-02: add by m2/dev
solid DCMBMW8271
| URI | m2://inv/DCMBMW8271 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#LGGR, solid (definition)
History
- 2026-11-02: add by m2/dev
Remark DCMENYXYQJ
| URI | m2://inv/DCMENYXYQJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin transfer (group theory)#AR4S, Remark (unknown)
History
- 2026-11-02: add by m2/dev
Population modeling DCMNQSYDTN
| URI | m2://inv/DCMNQSYDTN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#STSB, Population modeling (definition)
History
- 2026-11-02: add by m2/dev
DCMWCCDTFZ DCMWCCDTFZ
| URI | m2://inv/DCMWCCDTFZ |
|---|---|
| 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.21140#UE38 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Five-room puzzle DCMWDC41AJ
| URI | m2://inv/DCMWDC41AJ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Five-room puzzle, Five-room puzzle (problem). Also Wikidata Q7963212
History
- 2026-11-02: add by m2/dev
Chandrasekhar limit DCN1RRY8NN
| URI | m2://inv/DCN1RRY8NN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#553A, Chandrasekhar limit (definition)
History
- 2026-11-02: add by m2/dev
James H. Bramble DCN5H7RS1M
| URI | m2://inv/DCN5H7RS1M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James H. Bramble, James H. Bramble (topic). Also Wikidata Q3161125
History
- 2026-11-02: add by m2/dev
Leon DCN9KFREEN
| URI | m2://inv/DCN9KFREEN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#N28J, Leon (topic)
History
- 2026-11-02: add by m2/dev
Crossed convergence on a discrete space DCN9R81FPF
| URI | m2://inv/DCN9R81FPF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20514#E62L, Crossed convergence on a discrete space (example)
History
- 2026-11-02: add by m2/v0.6.18
Paula Norwood DCNC2V988T
| URI | m2://inv/DCNC2V988T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paula Norwood, Paula Norwood (topic). Also Wikidata Q100519739
History
- 2026-11-02: add by m2/dev
Liouville's theorem DCNDNVVK0J
| URI | m2://inv/DCNDNVVK0J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liouville's theorem (differential algebra), Liouville's theorem (statement). Also Wikidata Q2404702
History
- 2026-11-02: add by m2/dev
Self-bounding lower tail DCNDQHGGXP
| URI | m2://inv/DCNDQHGGXP |
|---|---|
| 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#X975, Self-bounding lower tail (statement). In B29M4E6KGC/e1, lemma E.1
History
- 2026-10-28: add by m2/v0.4.2
DCNH7DT7PT DCNH7DT7PT
| URI | m2://inv/DCNH7DT7PT |
|---|---|
| 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 2512.11346#DN5I (statement). In ZW58VE9XE3/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Successor cardinal DCNHXRJVSR
| URI | m2://inv/DCNHXRJVSR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Successor cardinal, Successor cardinal (definition). Also Wikidata Q7632662
History
- 2026-11-02: add by m2/dev
spectral space DCNK34HSKF
| URI | m2://inv/DCNK34HSKF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Spectral space G3W2WXY2VN |
Mentions
- wikidata: Wikidata Q7575210, spectral space (unknown). Also nLab coherent space
- wikipedia: Wikipedia Spectral space, Spectral space (definition). Also Wikidata Q7575210
History
- 2026-10-26: add by m2/dev
DCNW5E6BY7 DCNW5E6BY7
| URI | m2://inv/DCNW5E6BY7 |
|---|---|
| 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 2511.12649#GN3W (statement). In RT27S2YZKJ/e1, proposition 4
History
- 2026-10-27: add by m2/v0.4.0
DCP01F4MY3 DCP01F4MY3
| URI | m2://inv/DCP01F4MY3 |
|---|---|
| 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.28020#NESF (statement)
History
- 2026-11-01: add by m2/v0.6.15
DCP5VXQEXW DCP5VXQEXW
| URI | m2://inv/DCP5VXQEXW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX, 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.07695#Q892 (statement). In 8Z47D12KSX/e1, corollary 5.6
History
- 2026-10-29: add by m2/v0.4.10
Journal of Semantics DCP954BTZ7
| URI | m2://inv/DCP954BTZ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of Semantics, Journal of Semantics (definition). Also Wikidata Q6295896
History
- 2026-11-02: add by m2/dev
Learning the exogenous rate with unknown branching ratio DCQCEAB24S
| URI | m2://inv/DCQCEAB24S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38268#JCLX, Learning the exogenous rate with unknown branching ratio (statement). In TQ18V9TDQS/e1, theorem 5.8
History
- 2026-10-30: add by m2/v0.4.12
cumulative hierarchy DCQFXXHPJ6
| URI | m2://inv/DCQFXXHPJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18349448, cumulative hierarchy (unknown). Also nLab cumulative hierarchy
- wikipedia: Wikipedia Cumulative hierarchy, Cumulative hierarchy (definition). Also Wikidata Q18349448
History
- 2026-10-26: add by m2/dev
Orthogonal group DCQQZ2XVGW
| URI | m2://inv/DCQQZ2XVGW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#N4QG, Orthogonal group (definition)
History
- 2026-11-02: add by m2/dev
Combined diagonal contribution DCQSMYTTT7
| URI | m2://inv/DCQSMYTTT7 |
|---|---|
| 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.32829#4HO2, Combined diagonal contribution (statement). In RYWAX33Z51/e1, lemma 9.4
History
- 2026-10-31: add by m2/v0.5.6
red–black tree DCQV9DFPT8
| URI | m2://inv/DCQV9DFPT8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q506496, red–black tree (unknown). Also MathWorld Red-BlackTree
- wikipedia: Wikipedia Red–black tree, Red–black tree (definition). Also Wikidata Q506496
History
- 2026-10-26: add by m2/dev
Properties DCR5HJWECG
| URI | m2://inv/DCR5HJWECG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square root of 2#2PCC, Properties (statement)
History
- 2026-11-02: add by m2/dev
Union bound for a sum of random variables DCRFGPX3Y8
| URI | m2://inv/DCRFGPX3Y8 |
|---|---|
| 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.39992#OQKT, Union bound for a sum of random variables (statement). In WF64CGYVK1/e1, lemma S20
History
- 2026-10-30: add by m2/v0.4.12
David J. C. MacKay DCRMPY7AYN
| URI | m2://inv/DCRMPY7AYN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2NPR, David J. C. MacKay (unknown)
History
- 2026-11-02: add by m2/dev
Contact relation DCRRR0RSZQ
| URI | m2://inv/DCRRR0RSZQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary relation#B6KL, Contact relation (unknown)
History
- 2026-11-02: add by m2/dev
DCRTEWZ9HC DCRTEWZ9HC
| URI | m2://inv/DCRTEWZ9HC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03835#00WX (statement). In KAYGQMQPGS/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.12
DCRXRBE935 DCRXRBE935
| URI | m2://inv/DCRXRBE935 |
|---|---|
| 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 2308.09645#OAGY (statement). In HVDSC1GQRD/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.3.5
higher-order vagueness DCS14W25R8
| URI | m2://inv/DCS14W25R8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#BOHV, higher-order vagueness (definition)
History
- 2026-11-02: add by m2/dev
Derivation of the scattering formula DCS1CDYG1J
| URI | m2://inv/DCS1CDYG1J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compton scattering#YKXN, Derivation of the scattering formula (statement)
History
- 2026-11-02: add by m2/dev
Corollary 1 DCS737MVXM
| URI | m2://inv/DCS737MVXM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple continued fraction#AYTK, Corollary 1 (statement)
History
- 2026-11-02: add by m2/dev
Augmented Analytics DCSASFGCVQ
| URI | m2://inv/DCSASFGCVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Augmented Analytics, Augmented Analytics (definition). Also Wikidata Q104843185
History
- 2026-11-02: add by m2/dev
DCSBA7RRS5 DCSBA7RRS5
| URI | m2://inv/DCSBA7RRS5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20558#VKMV (definition). In 46370P3Y9S/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.2
Delta set DCSCJWAZ15
| URI | m2://inv/DCSCJWAZ15 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delta set, Delta set (definition). Also Wikidata Q5254799
History
- 2026-11-02: add by m2/dev
DCSD2W8JWZ DCSD2W8JWZ
| URI | m2://inv/DCSD2W8JWZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.07409#N008 (statement). In KWH4QJDPWC/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.0
Bluestein's FFT algorithm DCSFD664K1
| URI | m2://inv/DCSFD664K1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of harmonic analysis topics#IC7I, Bluestein's FFT algorithm (definition)
History
- 2026-11-02: add by m2/dev
Properties DCSH5PNH2P
| URI | m2://inv/DCSH5PNH2P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit of a sequence#RHUX, Properties (statement)
History
- 2026-11-02: add by m2/dev
Siegfried Aronhold DCSHVBWFJ7
| URI | m2://inv/DCSHVBWFJ7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#0JOK, Siegfried Aronhold (topic)
History
- 2026-11-02: add by m2/dev
DCSM06B98Y DCSM06B98Y
| URI | m2://inv/DCSM06B98Y |
|---|---|
| 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.40251#GOGV (statement). In 9J7TJYKGYX/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
AFP-condition relative to $L$ DCSNQZ8GRK
| URI | m2://inv/DCSNQZ8GRK |
|---|---|
| Kind | definition |
| 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 2601.22681#761Y, AFP-condition relative to $L$ (definition). In 68VEQQX68G/e1, definition 3.10
History
- 2026-10-27: add by m2/v0.4.0
DCSPHEJ1ZV DCSPHEJ1ZV
| URI | m2://inv/DCSPHEJ1ZV |
|---|---|
| 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 2511.08099#O4IA (statement). In 5NK801XBGA/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
Microbial consumer-resource model DCTAXS9VYX
| URI | m2://inv/DCTAXS9VYX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consumer-resource model#J6QE, Microbial consumer-resource model (unknown)
History
- 2026-11-02: add by m2/dev
DCTE3N8218 DCTE3N8218
| URI | m2://inv/DCTE3N8218 |
|---|---|
| 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.12908#J65P (statement). In TNC658NVMQ/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Seventeen Mile, Queensland DCTE3PQT3C
| URI | m2://inv/DCTE3PQT3C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#KVRK, Seventeen Mile, Queensland (unknown)
History
- 2026-11-02: add by m2/dev
DCTX0BKZ2K DCTX0BKZ2K
| URI | m2://inv/DCTX0BKZ2K |
|---|---|
| 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 2610.03619#27AA (statement). In 7SRERSS1PF/e1, corollary 6.3
History
- 2026-10-29: add by m2/v0.4.12
Polyhedra in art DCV30CZGQP
| URI | m2://inv/DCV30CZGQP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics and art#P0TB, Polyhedra in art (unknown)
History
- 2026-11-02: add by m2/dev
DCV5MTHTRD DCV5MTHTRD
| URI | m2://inv/DCV5MTHTRD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_induction_exercises.ptx#exercise-9 (exercise). In QKM9DD2H56, exercise, section 3
History
- 2026-11-01: add by m2/v0.6.13
DCVCJ481W4 DCVCJ481W4
| URI | m2://inv/DCVCJ481W4 |
|---|---|
| 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.23287#3YTD (statement)
History
- 2026-11-02: add by m2/v0.6.17
Rabin signature algorithm DCVDA0Z7E0
| URI | m2://inv/DCVDA0Z7E0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rabin signature algorithm, Rabin signature algorithm (definition). Also Wikidata Q2902985
History
- 2026-11-02: add by m2/dev
DCVFT82YP8 DCVFT82YP8
| URI | m2://inv/DCVFT82YP8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.17318#DJUL (statement). In 2P63T9MJ4P/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
DCVFVJ3M1F DCVFVJ3M1F
| URI | m2://inv/DCVFVJ3M1F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#8IF1 (definition). In CY1FE8W1ZW/e1, definition 0.163
History
- 2026-10-27: add by m2/v0.4.0
DCVTR7D5WS DCVTR7D5WS
| URI | m2://inv/DCVTR7D5WS |
|---|---|
| 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.31102#MXZC (statement). In 7CADATJMAA/e1, lemma 5.1
History
- 2026-10-31: add by m2/v0.5.6
DCVW3Z8WNB DCVW3Z8WNB
| URI | m2://inv/DCVW3Z8WNB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05990#RT9Q (statement). In G2R1ARDYK0/e1, fact 2.4
History
- 2026-10-29: add by m2/v0.4.10
Examples DCW7TE9BT5
| URI | m2://inv/DCW7TE9BT5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isoperimetric dimension#GWSP, Examples (example)
History
- 2026-11-02: add by m2/dev
limited DCW9REKCRN
| URI | m2://inv/DCW9REKCRN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#KAPM, limited (definition)
History
- 2026-11-02: add by m2/dev
DCWBNZ0CRF DCWBNZ0CRF
| URI | m2://inv/DCWBNZ0CRF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22825#NPDD (statement)
History
- 2026-11-02: add by m2/v0.6.17
DCWCQQH5QR DCWCQQH5QR
| URI | m2://inv/DCWCQQH5QR |
|---|---|
| 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#VAZ4 (statement). In E7W2HDNEKJ/e1, theorem 7.3
History
- 2026-10-30: add by m2/v0.4.12
multimodal distribution DCWEG131FC
| URI | m2://inv/DCWEG131FC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q85900768, multimodal distribution (unknown). Also MathWorld Multimodal
- wikipedia: Wikipedia Multimodal distribution, Multimodal distribution (definition). Also Wikidata Q85900768
History
- 2026-10-26: add by m2/dev
DCWGEHDEFY DCWGEHDEFY
| URI | m2://inv/DCWGEHDEFY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/natural-deduction/grafting.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 57.4
History
- 2026-11-01: add by m2/v0.6.13
Bergman–Weil formula DCWK41MMAM
| URI | m2://inv/DCWK41MMAM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after André Weil#31G0, Bergman–Weil formula (statement)
History
- 2026-11-02: add by m2/dev
DCWQ1AEDKE DCWQ1AEDKE
| URI | m2://inv/DCWQ1AEDKE |
|---|---|
| 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 2512.21427#JZLY (statement). In G9XD78ZCAS/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.3.5
DCWVYX702T DCWVYX702T
| URI | m2://inv/DCWVYX702T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33704#CRHP (statement). In STRVMT83HE/e1, proposition 5
History
- 2026-10-30: add by m2/v0.4.12
DCX0C0HN9X DCX0C0HN9X
| URI | m2://inv/DCX0C0HN9X |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 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.35102#36JX (problem). In XK6H7F2F13/e1, problem 3
History
- 2026-10-30: add by m2/v0.4.12
ASUI DCXDKBZ51T
| URI | m2://inv/DCXDKBZ51T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ASUI, ASUI (definition). Also Wikidata Q4654413
History
- 2026-11-02: add by m2/dev
Product forcing DCXJWK4ZGS
| URI | m2://inv/DCXJWK4ZGS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of forcing notions#U0D1, Product forcing (unknown)
History
- 2026-11-02: add by m2/dev
Volatility terminology DCXQF4N9Q3
| URI | m2://inv/DCXQF4N9Q3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volatility (finance)#C5Y5, Volatility terminology (definition)
History
- 2026-11-02: add by m2/dev
Proper function/mapping DCXQP2ZRNQ
| URI | m2://inv/DCXQP2ZRNQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#3YOL, Proper function/mapping (definition)
History
- 2026-11-02: add by m2/dev
DCXV6AHFNH DCXV6AHFNH
| URI | m2://inv/DCXV6AHFNH |
|---|---|
| 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.11481#QWM0 (statement). In 8XHK5ZCX7H/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.3
Properties DCY19SBPE9
| URI | m2://inv/DCY19SBPE9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-adjoint operator#OYVE, Properties (statement)
History
- 2026-11-02: add by m2/dev
DCYBZP1RBD DCYBZP1RBD
| URI | m2://inv/DCYBZP1RBD |
|---|---|
| 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 2608.24190#YIHT (statement). In DW7FVA587C/e1, lemma 4.15
History
- 2026-10-27: add by m2/v0.3.5
dimensions DCYCQY9DVE
| URI | m2://inv/DCYCQY9DVE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix (mathematics)#OSRA, dimensions (definition)
History
- 2026-11-02: add by m2/dev
DCYMK0SX90 DCYMK0SX90
| URI | m2://inv/DCYMK0SX90 |
|---|---|
| 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 2610.13931#8I0Y (statement). In EXA79VR78Q/e1, lemma 2.11
History
- 2026-10-28: add by m2/v0.4.2
DCYRGPBTZZ DCYRGPBTZZ
| URI | m2://inv/DCYRGPBTZZ |
|---|---|
| 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.10078#84D9 (statement). In YVGRZK1HRS/e1, theorem 3.10
History
- 2026-10-29: add by m2/v0.4.10
Definitions DCYSA275JP
| URI | m2://inv/DCYSA275JP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cellular algebra#DY0Y, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Baseball statistics DCZ2S98P79
| URI | m2://inv/DCZ2S98P79 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FRC1, Baseball statistics (definition)
History
- 2026-11-02: add by m2/dev
DCZ3PH7XQ0 DCZ3PH7XQ0
| URI | m2://inv/DCZ3PH7XQ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2204.00813#OY7Q (statement). In ADKTJTBR9Z/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Use DCZ7FN1G0F
| URI | m2://inv/DCZ7FN1G0F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inner model#ATJZ, Use (example)
History
- 2026-11-02: add by m2/dev
DCZDRP8665 DCZDRP8665
| URI | m2://inv/DCZDRP8665 |
|---|---|
| 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 2104.00162#E0V9 (statement). In HVGT9D84WV/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.3.5
DCZJ5TX82Y DCZJ5TX82Y
| URI | m2://inv/DCZJ5TX82Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 53-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.11677#EM5R (statement). In 4R7HZD14M6/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.3
Matrix calculus DCZJEP60YE
| URI | m2://inv/DCZJEP60YE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#JBLL, Matrix calculus (definition)
History
- 2026-11-02: add by m2/dev
Operator realization DCZMK3V93Q
| URI | m2://inv/DCZMK3V93Q |
|---|---|
| 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.04398#N7XV, Operator realization (statement). In DFZWC9HY0T/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
Consistency and first-order asymptotic distribution DCZPMK43F0
| URI | m2://inv/DCZPMK43F0 |
|---|---|
| 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.05864#YV6R, Consistency and first-order asymptotic distribution (statement). In 31QPXWDZSH/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10