Inventory rows YQ
The cards of the rows of the inventory whose ids start with YQ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
YQ05JY25GT YQ05JY25GT
| URI | m2://inv/YQ05JY25GT |
|---|---|
| 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.05216#H5D7 (statement). In J1VCHM6V0S/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
YQ09FRX6CM YQ09FRX6CM
| URI | m2://inv/YQ09FRX6CM |
|---|---|
| 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.15648#8ZD0 (statement). In 5TM775V8HQ/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.2
Alan D. Taylor YQ0CJHR0A5
| URI | m2://inv/YQ0CJHR0A5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7PB8, Alan D. Taylor (unknown)
History
- 2026-11-02: add by m2/dev
YQ0CTAP3WR YQ0CTAP3WR
| URI | m2://inv/YQ0CTAP3WR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15525#499E (statement). In EFDRME13PT/e1, proposition 11.1
History
- 2026-10-28: add by m2/v0.4.2
YQ0EMG5EHA YQ0EMG5EHA
| URI | m2://inv/YQ0EMG5EHA |
|---|---|
| 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#JGTB (statement). In H98ZC5YBSD/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.4.2
Bonisoli's theorem YQ0FQFXW32
| URI | m2://inv/YQ0FQFXW32 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear code#7F04, Bonisoli's theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications YQ0GNN4BH6
| URI | m2://inv/YQ0GNN4BH6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete spline interpolation#AM6C, Applications (example)
History
- 2026-11-02: add by m2/dev
YQ0H6595DS YQ0H6595DS
| URI | m2://inv/YQ0H6595DS |
|---|---|
| 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.24522#XKFS (statement)
History
- 2026-11-01: add by m2/v0.6.15
ANCOVA YQ0QJKV5NP
| URI | m2://inv/YQ0QJKV5NP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PA65, ANCOVA (definition)
History
- 2026-11-02: add by m2/dev
Szász–Mirakjan–Kantorovich operator YQ0TKTBPWC
| URI | m2://inv/YQ0TKTBPWC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Szász–Mirakjan–Kantorovich operator, Szász–Mirakjan–Kantorovich operator (definition). Also Wikidata Q7665168
History
- 2026-11-02: add by m2/dev
YQ0VHN71SQ YQ0VHN71SQ
| URI | m2://inv/YQ0VHN71SQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00409#KWKS (statement). In YQT2APQPWD/e1, proposition 8.3
History
- 2026-10-30: add by m2/v0.4.12
Ramanujan's ternary quadratic form YQ0X1C8PKM
| URI | m2://inv/YQ0X1C8PKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramanujan's ternary quadratic form, Ramanujan's ternary quadratic form (definition). Also Wikidata Q7288995
History
- 2026-11-02: add by m2/dev
Properties YQ12NF0H4N
| URI | m2://inv/YQ12NF0H4N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cluster decomposition#MLWQ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Four Corners YQ1418CMXN
| URI | m2://inv/YQ1418CMXN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#GWZD, Four Corners (unknown)
History
- 2026-11-02: add by m2/dev
YQ15BY2BPN YQ15BY2BPN
| URI | m2://inv/YQ15BY2BPN |
|---|---|
| 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.20207#AB3W (statement). In 1MPH7GCFJ2/e1, lemma 7.3
History
- 2026-10-27: add by m2/v0.4.2
Basis completion YQ15JC913V
| URI | m2://inv/YQ15JC913V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#thm:basis_completion, Basis completion (statement). In RZP28ERRZV, theorem, section 62.7
History
- 2026-11-01: add by m2/v0.6.13
Example YQ15K7P0WH
| URI | m2://inv/YQ15K7P0WH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-shot deviation principle#ZBEJ, Example (example)
History
- 2026-11-02: add by m2/dev
YQ18KSBZBQ YQ18KSBZBQ
| URI | m2://inv/YQ18KSBZBQ |
|---|---|
| Kind | conjecture |
| 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 0809.4587#2L61 (conjecture). In KQ8JPHDKKE/e1, conjecture 9.6.8
History
- 2026-10-27: add by m2/v0.3.5
Moore (29.4 YQ190311C3
| URI | m2://inv/YQ190311C3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20760#1GZM, Moore (29.4 (statement). In 6G9JSJ5JMP/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.2
Diagonal compensation at fixed cutoff YQ1BQZAE9X
| URI | m2://inv/YQ1BQZAE9X |
|---|---|
| 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.32710#NMRT, Diagonal compensation at fixed cutoff (statement). In KVYG6R7CGJ/e1, lemma 3.16
History
- 2026-10-31: add by m2/v0.5.6
Héctor García-Molina YQ1FWGANWG
| URI | m2://inv/YQ1FWGANWG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8NSM, Héctor García-Molina (unknown)
History
- 2026-11-02: add by m2/dev
Feasibility of PE guidance YQ1S2FM8RW
| URI | m2://inv/YQ1S2FM8RW |
|---|---|
| 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.38133#NNIU, Feasibility of PE guidance (statement). In RHRA5FMMYG/e1, corollary 3.4
History
- 2026-10-30: add by m2/v0.4.12
YQ1WJ36HBK YQ1WJ36HBK
| URI | m2://inv/YQ1WJ36HBK |
|---|---|
| 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.31216#EOE6 (statement). In M9CSGRSRB3/e1, lemma 3.9
History
- 2026-10-31: add by m2/v0.5.6
YQ1WQYY78D YQ1WQYY78D
| URI | m2://inv/YQ1WQYY78D |
|---|---|
| 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 2207.07461#PDDE (statement). In GAG532VMPF/e1, lemma 3.2.1
History
- 2026-10-27: add by m2/v0.3.5
Example YQ20Y9JZAA
| URI | m2://inv/YQ20Y9JZAA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strategic complements#O1BO, Example (example)
History
- 2026-11-02: add by m2/dev
YQ2527SYEB YQ2527SYEB
| URI | m2://inv/YQ2527SYEB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22082#AZO9 (statement). In 7PACGDW3N7/e1, corollary 3.6
History
- 2026-10-27: add by m2/v0.4.0
Aronhold invariant YQ258N2TJV
| URI | m2://inv/YQ258N2TJV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#O046, Aronhold invariant (definition)
History
- 2026-11-02: add by m2/dev
YQ2M7THB6J YQ2M7THB6J
| URI | m2://inv/YQ2M7THB6J |
|---|---|
| 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.29878#HYUR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Katalin Bimbó YQ2VD7G87N
| URI | m2://inv/YQ2VD7G87N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#FFKP, Katalin Bimbó (unknown)
History
- 2026-11-02: add by m2/dev
YQ2Z15SFHX YQ2Z15SFHX
| URI | m2://inv/YQ2Z15SFHX |
|---|---|
| Kind | example |
| 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#V1OV (example). In RTE2C0PH4S/e1, example 5.2
History
- 2026-10-28: add by m2/v0.4.2
Spectral-edge eigen-quantities for the killed $M/M/1$ queue YQ30Z5QVWZ
| URI | m2://inv/YQ30Z5QVWZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27335#SLMF, Spectral-edge eigen-quantities for the killed $M/M/1$ queue (example)
History
- 2026-11-01: add by m2/v0.6.15
A dihedral action on a Cantor space YQ36V5ZMDQ
| URI | m2://inv/YQ36V5ZMDQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#I86F, A dihedral action on a Cantor space (example). In 4WPYBTARS2/e1, example 5.13
History
- 2026-10-29: add by m2/v0.4.12
Generalizations YQ37SRWCSW
| URI | m2://inv/YQ37SRWCSW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrange's four-square theorem#3L86, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
YQ39VX87AY YQ39VX87AY
| URI | m2://inv/YQ39VX87AY |
|---|---|
| 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.25129#0GDL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications YQ3B3ENQ8N
| URI | m2://inv/YQ3B3ENQ8N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximal compact subgroup#GUX6, Applications (example)
History
- 2026-11-02: add by m2/dev
spherical Hankel function of the first kind YQ3GZP205K
| URI | m2://inv/YQ3GZP205K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109704382, spherical Hankel function of the first kind (unknown). Also MathWorld SphericalHankelFunctionoftheFirstKind
History
- 2026-10-26: add by m2/dev
Morita equivalence YQ3N7AF0JP
| URI | m2://inv/YQ3N7AF0JP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#J2TR, Morita equivalence (definition)
- wikipedia: Wikipedia List of abstract algebra topics#UKN0, Morita equivalence (definition)
History
- 2026-11-02: add by m2/dev
Itô diffusion YQ3WSM2D66
| URI | m2://inv/YQ3WSM2D66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Itô diffusion, Itô diffusion (definition). Also Wikidata Q6095358
History
- 2026-11-02: add by m2/dev
YQ3ZSPMBG9 YQ3ZSPMBG9
| URI | m2://inv/YQ3ZSPMBG9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-3.xml#example-2 (example). In 649HGZKE96, example, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
Bipartite graph YQ4380PKWR
| URI | m2://inv/YQ4380PKWR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#H0I2, Bipartite graph (definition)
History
- 2026-11-02: add by m2/dev
YQ4384VGG5 YQ4384VGG5
| URI | m2://inv/YQ4384VGG5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33263#LK40 (statement). In 6S5EH3388Z/e1, lemma 2.7
History
- 2026-10-30: add by m2/v0.4.12
YQ43V0Z704 YQ43V0Z704
| URI | m2://inv/YQ43V0Z704 |
|---|---|
| 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 2207.05628#M0FB (statement). In 9JPKTEWW4W/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
Representations of the Lorentz group YQ4BTA8C8E
| URI | m2://inv/YQ4BTA8C8E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lorentz group#844I, Representations of the Lorentz group (definition)
History
- 2026-11-02: add by m2/dev
YQ4H64CD3R YQ4H64CD3R
| URI | m2://inv/YQ4H64CD3R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#KWDN (definition). In G70Q2FB591/e1, definition 4.5
History
- 2026-10-28: add by m2/v0.4.2
impredicative, quotient YQ4HWX0PZ8
| URI | m2://inv/YQ4HWX0PZ8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.10/impredicative-quotient, impredicative, quotient (concept). In N54F33XE07, index, section 5.10
History
- 2026-11-01: add by m2/v0.6.13
Compound of two great icosahedra YQ4M4NY7TT
| URI | m2://inv/YQ4M4NY7TT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#2ZEI, Compound of two great icosahedra (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#Q3OQ, Compound of two great icosahedra (definition)
History
- 2026-11-02: add by m2/dev
YQ4PX1P18M YQ4PX1P18M
| URI | m2://inv/YQ4PX1P18M |
|---|---|
| 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#1MAX (statement). In DFZWC9HY0T/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.12
expansion around the free theory YQ4QT66BFX
| URI | m2://inv/YQ4QT66BFX |
|---|---|
| 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 2610.18803#CHTL, expansion around the free theory (statement). In VG8AF124T3/e1, corollary 5.8
History
- 2026-10-28: add by m2/v0.4.2
Examples YQ4VDXF7WM
| URI | m2://inv/YQ4VDXF7WM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goldstone boson#1Z6I, Examples (example)
History
- 2026-11-02: add by m2/dev
YQ5EDZDS08 YQ5EDZDS08
| URI | m2://inv/YQ5EDZDS08 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#LDQQ (definition). In G1RP4JY5PE/e1, definition 5.4.11
History
- 2026-10-31: add by m2/v0.5.6
Modular Lie algebra YQ5G5K4KR9
| URI | m2://inv/YQ5G5K4KR9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular Lie algebra, Modular Lie algebra (definition). Also Wikidata Q12204668
History
- 2026-11-02: add by m2/dev
Linda J. Young YQ5HCQS7VH
| URI | m2://inv/YQ5HCQS7VH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linda J. Young, Linda J. Young (topic). Also Wikidata Q41796861
History
- 2026-11-02: add by m2/dev
Properties YQ5J1WEK03
| URI | m2://inv/YQ5J1WEK03 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordered topological vector space#R23O, Properties (statement)
History
- 2026-11-02: add by m2/dev
Optimal residual-covariance direction YQ5N2GA76J
| URI | m2://inv/YQ5N2GA76J |
|---|---|
| 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.09510#Z2Z4, Optimal residual-covariance direction (statement). In JR1HE83H93/e1, proposition B.2
History
- 2026-10-29: add by m2/v0.4.10
Trajectory YQ5NM7Q0FG
| URI | m2://inv/YQ5NM7Q0FG |
|---|---|
| Kind | definition |
| 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 math/0003117#RM83, Trajectory (definition). In WD2NCBV9F0/e1, definition 7.2
History
- 2026-10-27: add by m2/v0.3.5
Definition and examples YQ5QZB7CH4
| URI | m2://inv/YQ5QZB7CH4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moser–de Bruijn sequence#YS24, Definition and examples (definition)
History
- 2026-11-02: add by m2/dev
YQ5TDFRS3F YQ5TDFRS3F
| URI | m2://inv/YQ5TDFRS3F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30444#03B0 (statement). In RZWJ0AT8W5/e1, theorem 6.8
History
- 2026-10-31: add by m2/v0.5.6
YQ62C8K05D YQ62C8K05D
| URI | m2://inv/YQ62C8K05D |
|---|---|
| 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.03856#VT47 (statement). In HTBRYNPHSJ/e1, lemma 6.7
History
- 2026-10-29: add by m2/v0.4.12
Ricardo Cortez YQ64ZJYMGS
| URI | m2://inv/YQ64ZJYMGS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ricardo Cortez (mathematician), Ricardo Cortez (topic). Also Wikidata Q56055275
History
- 2026-11-02: add by m2/dev
YQ6F1H7JKQ YQ6F1H7JKQ
| URI | m2://inv/YQ6F1H7JKQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises5-2.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Frequency partition YQ6PVD5SVC
| URI | m2://inv/YQ6PVD5SVC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partition topics#H6XF, Frequency partition (definition)
History
- 2026-11-02: add by m2/dev
YQ6QCC3EVT YQ6QCC3EVT
| URI | m2://inv/YQ6QCC3EVT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09672#A76C (statement). In TXBXCPP0QH/e1, lemma 32
History
- 2026-10-29: add by m2/v0.4.10
Fractional calculus YQ6S6H7ZB7
| URI | m2://inv/YQ6S6H7ZB7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#R1IL, Fractional calculus (definition)
History
- 2026-11-02: add by m2/dev
YQ6XP6EYGN YQ6XP6EYGN
| URI | m2://inv/YQ6XP6EYGN |
|---|---|
| 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 2405.05684#WZBX (statement). In 1PR73ECTZB/e1, lemma 18
History
- 2026-10-27: add by m2/v0.3.5
YQ70326QQ4 YQ70326QQ4
| URI | m2://inv/YQ70326QQ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02790#PPCU (statement). In NB7HZ8W2K2/e1, lemma 17
History
- 2026-10-29: add by m2/v0.4.12
Berry paradox YQ71XTMEP4
| URI | m2://inv/YQ71XTMEP4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q827144, Berry paradox (statement). Also MathWorld BerryParadox, ProofWiki Berry_Paradox
- wikipedia: Wikipedia Berry paradox, Berry paradox (statement). Also Wikidata Q827144
History
- 2026-10-26: add by m2/dev
YQ77FNVP87 YQ77FNVP87
| URI | m2://inv/YQ77FNVP87 |
|---|---|
| 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.18620#RNFL (statement). In 6WJ0R9YEBR/e1, proposition 3.27
History
- 2026-10-28: add by m2/v0.4.2
Vector quantization YQ78Q8PMNK
| URI | m2://inv/YQ78Q8PMNK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#VZDJ, Vector quantization (definition)
History
- 2026-11-02: add by m2/dev
Modified Wigner distribution function YQ7BENDP4A
| URI | m2://inv/YQ7BENDP4A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modified Wigner distribution function, Modified Wigner distribution function (definition). Also Wikidata Q6889395
History
- 2026-11-02: add by m2/dev
YQ7BN548DS YQ7BN548DS
| URI | m2://inv/YQ7BN548DS |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-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.22109#WZNR (conjecture). In MZ60NP20BH/e1, conjecture 2
History
- 2026-10-27: add by m2/v0.4.0
Heine–Stieltjes polynomials YQ7D7VS22F
| URI | m2://inv/YQ7D7VS22F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heine–Stieltjes polynomials, Heine–Stieltjes polynomials (definition). Also Wikidata Q5699721
History
- 2026-11-02: add by m2/dev
\protect{*{Section 3}, *{Proposition 7 YQ7NZYM77E
| URI | m2://inv/YQ7NZYM77E |
|---|---|
| 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.30575#0086, \protect{*{Section 3}, *{Proposition 7 (statement). In 6WFFY0QM27/e1, lemma 1.3
History
- 2026-10-31: add by m2/v0.5.6
Opposite algebras YQ7P32KBBR
| URI | m2://inv/YQ7P32KBBR |
|---|---|
| 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#NMUH, Opposite algebras (statement). In E7W2HDNEKJ/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Kalai YQ7QQQH993
| URI | m2://inv/YQ7QQQH993 |
|---|---|
| Kind | conjecture |
| 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.06340#CY7Q, Kalai (conjecture). In PKNZPECH82/e1, conjecture 11.6
History
- 2026-10-29: add by m2/v0.4.10
Lemma 1 YQ7VGYFWPX
| URI | m2://inv/YQ7VGYFWPX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expander walk sampling#EI8Q, Lemma 1 (statement)
History
- 2026-11-02: add by m2/dev
YQ81ESEX7Z YQ81ESEX7Z
| URI | m2://inv/YQ81ESEX7Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_intro-statements.ptx#example-4 (example). In Y91XFCEVHQ, example, section 1.2.2
History
- 2026-11-01: add by m2/v0.6.13
YQ82SE32XP YQ82SE32XP
| URI | m2://inv/YQ82SE32XP |
|---|---|
| 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.11900#WQRH (statement). In TV4E4ZEAM4/e1, corollary IV.1
History
- 2026-10-28: add by m2/v0.4.3
Higher-dimensional gamma matrices YQ86BMD5XJ
| URI | m2://inv/YQ86BMD5XJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Higher-dimensional gamma matrices, Higher-dimensional gamma matrices (definition). Also Wikidata Q17029643
History
- 2026-11-02: add by m2/dev
Probability mass function YQ8YMW5HKQ
| URI | m2://inv/YQ8YMW5HKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability mass function, Probability mass function (definition). Also Wikidata Q869887
History
- 2026-11-02: add by m2/dev
Properties YQ8Z5AQHPW
| URI | m2://inv/YQ8Z5AQHPW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shape-memory alloy#4JZX, Properties (statement)
History
- 2026-11-02: add by m2/dev
YQ8ZT0JT33 YQ8ZT0JT33
| URI | m2://inv/YQ8ZT0JT33 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/pontryagin.tex#definition-2 (definition). In RZP28ERRZV, definition, section 68.1
History
- 2026-11-01: add by m2/v0.6.13
Frobenius determinant theorem YQ92M3ZBY5
| URI | m2://inv/YQ92M3ZBY5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#2DMT, Frobenius determinant theorem (statement)
History
- 2026-11-02: add by m2/dev
YQ9AZZJX80 YQ9AZZJX80
| URI | m2://inv/YQ9AZZJX80 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/cover-project.tex#definition-9 (definition). In RZP28ERRZV, definition, section 97.5
History
- 2026-11-01: add by m2/v0.6.13
Properties YQ9JEV8JRY
| URI | m2://inv/YQ9JEV8JRY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclically reduced word#Y87J, Properties (statement)
History
- 2026-11-02: add by m2/dev
YQ9NTPE589 YQ9NTPE589
| URI | m2://inv/YQ9NTPE589 |
|---|---|
| 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.33697#9ZGO (statement). In Q6GGQ29TRC/e1, lemma
History
- 2026-10-30: add by m2/v0.4.12
YQ9P9NJQC9 YQ9P9NJQC9
| URI | m2://inv/YQ9P9NJQC9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34020#A1RQ (statement). In DAMYG8BFAK/e1, lemma 4.12
History
- 2026-10-30: add by m2/v0.4.12
Properties YQ9VXRGZ28
| URI | m2://inv/YQ9VXRGZ28 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schauder basis#OSDD, Properties (statement)
History
- 2026-11-02: add by m2/dev
Theorem YQA2J9KSK1
| URI | m2://inv/YQA2J9KSK1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Location testing for Gaussian scale mixture distributions#WFJQ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Sophus Lie YQA86XTT3J
| URI | m2://inv/YQA86XTT3J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#QOZN, Sophus Lie (topic)
History
- 2026-11-02: add by m2/dev
Ralph Gordon Stanton YQA91QMDRF
| URI | m2://inv/YQA91QMDRF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ralph Gordon Stanton, Ralph Gordon Stanton (topic). Also Wikidata Q29034382
History
- 2026-11-02: add by m2/dev
Implementations YQA9PK3VVQ
| URI | m2://inv/YQA9PK3VVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tsetlin machine#P0KD, Implementations (definition)
History
- 2026-11-02: add by m2/dev
YQAKHMZA6S YQAKHMZA6S
| URI | m2://inv/YQAKHMZA6S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24578#DK1Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dilworth's theorem YQAWTJ34TP
| URI | m2://inv/YQAWTJ34TP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 4 |
| Outcome | open |
| Node | Dilworth's theorem GT224XDA4E |
Mentions
- mathlib_1000: mathlib_1000 Q1134776, Dilworth's theorem (statement). Also Wikidata Q1134776
- thousand_plus: thousand_plus Q1134776, Dilworth's theorem (statement). Also Wikidata Q1134776, Wikipedia Dilworth's theorem
- wikidata: Wikidata Q1134776, Dilworth's theorem (statement). Also MathWorld DilworthsLemma
- wikipedia: Wikipedia Dilworth's theorem, Dilworth's theorem (statement). Also Wikidata Q1134776
History
- 2026-10-26: add by m2/dev
YQAYC7SM68 YQAYC7SM68
| URI | m2://inv/YQAYC7SM68 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.14879#VHGS (definition). In 3VZ55B2N0D/e1, definition 5.13
History
- 2026-10-27: add by m2/v0.4.0
YQAYCEYTPG YQAYCEYTPG
| URI | m2://inv/YQAYCEYTPG |
|---|---|
| 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 1406.2996#OXZ8 (statement). In 6XENXFC77F/e1, corollary 4.5
History
- 2026-10-27: add by m2/v0.3.5
YQB0CA5Q91 YQB0CA5Q91
| URI | m2://inv/YQB0CA5Q91 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35691#TK6H (definition). In G7R61RPWE2/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Large sieve YQB9K0WP1N
| URI | m2://inv/YQB9K0WP1N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#QBKV, Large sieve (definition)
History
- 2026-11-02: add by m2/dev
YQBA3DQZ0B YQBA3DQZ0B
| URI | m2://inv/YQBA3DQZ0B |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#6QI0 (statement). In ZA6XNBA90V/e1, lemma
History
- 2026-10-27: add by m2/v0.3.5
LyX YQBD15SNGS
| URI | m2://inv/YQBD15SNGS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#WBX4, LyX (unknown)
History
- 2026-11-02: add by m2/dev
Bedaux Unit YQBDF2S5N6
| URI | m2://inv/YQBDF2S5N6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bedaux Unit, Bedaux Unit (definition). Also Wikidata Q28455386
History
- 2026-11-02: add by m2/dev
Set packing YQBMYM6YRP
| URI | m2://inv/YQBMYM6YRP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set packing, Set packing (definition). Also Wikidata Q475603
History
- 2026-11-02: add by m2/dev
YQBQZR2JEP YQBQZR2JEP
| URI | m2://inv/YQBQZR2JEP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 52.2
History
- 2026-11-01: add by m2/v0.6.13
Fourth example YQBRK3APAP
| URI | m2://inv/YQBRK3APAP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributive property#0AI5, Fourth example (definition)
History
- 2026-11-02: add by m2/dev
Local repulsion from the separatrix without linearization YQBRNVZNDA
| URI | m2://inv/YQBRNVZNDA |
|---|---|
| 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.01050#JF0O, Local repulsion from the separatrix without linearization (statement). In 48NN33SAH7/e1, lemma D.1
History
- 2026-10-29: add by m2/v0.4.12
YQBTJY8MR4 YQBTJY8MR4
| URI | m2://inv/YQBTJY8MR4 |
|---|---|
| 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 2203.07710#B78S (statement). In NESGAWA54K/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
YQBX4K0F8Z YQBX4K0F8Z
| URI | m2://inv/YQBX4K0F8Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#when-reals-coincide (statement). In N54F33XE07, cor, section B.4
History
- 2026-11-01: add by m2/v0.6.13
YQBY4BRPY1 YQBY4BRPY1
| URI | m2://inv/YQBY4BRPY1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#ex:basics:concat (exercise). In N54F33XE07, ex, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
YQC2QHHKV5 YQC2QHHKV5
| URI | m2://inv/YQC2QHHKV5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09900#7BPK (definition). In ATSYBWEMMP/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
YQCH2JNPXH YQCH2JNPXH
| URI | m2://inv/YQCH2JNPXH |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09206#2PVZ (unknown). In T7R1Q29DQK/e1, unknown
History
- 2026-10-29: add by m2/v0.4.10
Weighted counting estimate YQCM073ZS1
| URI | m2://inv/YQCM073ZS1 |
|---|---|
| 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 2609.20531#30KK, Weighted counting estimate (statement)
History
- 2026-11-02: add by m2/v0.6.18
YQCMWYBEE9 YQCMWYBEE9
| URI | m2://inv/YQCMWYBEE9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 32.8
History
- 2026-11-01: add by m2/v0.6.13
Residual sum of squares YQCR7XBBQ1
| URI | m2://inv/YQCR7XBBQ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#M0H7, Residual sum of squares (definition)
History
- 2026-11-02: add by m2/dev
Deep Boltzmann Machine YQCSHGV2ZG
| URI | m2://inv/YQCSHGV2ZG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boltzmann machine#32D1, Deep Boltzmann Machine (unknown)
History
- 2026-11-02: add by m2/dev
Posterior predictive distribution YQCV1CN24P
| URI | m2://inv/YQCV1CN24P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Posterior predictive distribution, Posterior predictive distribution (definition). Also Wikidata Q7234227
History
- 2026-11-02: add by m2/dev
YQCV4JMYT3 YQCV4JMYT3
| URI | m2://inv/YQCV4JMYT3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#FMCN (statement)
History
- 2026-11-02: add by m2/v0.6.18
YQCZ9C8YM0 YQCZ9C8YM0
| URI | m2://inv/YQCZ9C8YM0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06806#ZBWL (definition). In ZZQT0GFMT2/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.10
Statement YQD0FG004W
| URI | m2://inv/YQD0FG004W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clifford's theorem on special divisors#PRNT, Statement (statement)
History
- 2026-11-02: add by m2/dev
YQDGSYZKB9 YQDGSYZKB9
| URI | m2://inv/YQDGSYZKB9 |
|---|---|
| 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 2308.02672#0R7V (statement). In ETRT1R1CQ8/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.4.0
Log-concavity conjecture in $\CP^n$ YQDJGRXZK6
| URI | m2://inv/YQDJGRXZK6 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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.22659#CUMA, Log-concavity conjecture in $\CP^n$ (conjecture)
History
- 2026-11-02: add by m2/v0.6.17
YQDP3K7E15 YQDP3K7E15
| URI | m2://inv/YQDP3K7E15 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28075#2B0M (statement)
History
- 2026-11-01: add by m2/v0.6.15
YQDTV4SZRT YQDTV4SZRT
| URI | m2://inv/YQDTV4SZRT |
|---|---|
| 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 2610.09561#GNEJ (statement). In WDV5E2CVTR/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Halley, Edmond YQE131KGDQ
| URI | m2://inv/YQE131KGDQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#C2UH, Halley, Edmond (topic)
History
- 2026-11-02: add by m2/dev
Alexandru D. Ionescu YQE4F82P44
| URI | m2://inv/YQE4F82P44 |
|---|---|
| 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#P5X6, Alexandru D. Ionescu (topic)
History
- 2026-11-02: add by m2/dev
YQE4KTRH9Q YQE4KTRH9Q
| URI | m2://inv/YQE4KTRH9Q |
|---|---|
| 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.14135#PUV3 (statement). In C304J64Q79/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
YQE8B19QK1 YQE8B19QK1
| URI | m2://inv/YQE8B19QK1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-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 2311.00585#P6E5 (statement). In 332PQD90SW/e1, theorem 4.14
History
- 2026-10-27: add by m2/v0.3.5
Example YQEGS08CCS
| URI | m2://inv/YQEGS08CCS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GRIM test#Z337, Example (example)
History
- 2026-11-02: add by m2/dev
YQEJ0VR4YH YQEJ0VR4YH
| URI | m2://inv/YQEJ0VR4YH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#example-17 (example). In RZP28ERRZV, example, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
YQENPSGAYD YQENPSGAYD
| URI | m2://inv/YQENPSGAYD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#3SUV (definition). In G1RP4JY5PE/e1, definition 4.1.2
History
- 2026-10-31: add by m2/v0.5.6
Fallacy of division YQEPKTFNDC
| URI | m2://inv/YQEPKTFNDC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#DYIS, Fallacy of division (definition)
History
- 2026-11-02: add by m2/dev
Small icosacronic hexecontahedron YQET8V9PWA
| URI | m2://inv/YQET8V9PWA |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#P9VL, Small icosacronic hexecontahedron (object)
History
- 2026-11-02: add by m2/dev
Garbled circuit YQEX4B8S4F
| URI | m2://inv/YQEX4B8S4F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Garbled circuit, Garbled circuit (definition). Also Wikidata Q28455758
History
- 2026-11-02: add by m2/dev
Kazuhiko Aomoto YQEY6MF0HH
| URI | m2://inv/YQEY6MF0HH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kazuhiko Aomoto, Kazuhiko Aomoto (topic). Also Wikidata Q6381427
History
- 2026-11-02: add by m2/dev
Gérard Huet YQEZ1FGMFD
| URI | m2://inv/YQEZ1FGMFD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#T6QY, Gérard Huet (unknown)
History
- 2026-11-02: add by m2/dev
Explicit formula YQF0ZW2FX5
| URI | m2://inv/YQF0ZW2FX5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stirling numbers of the second kind#QEH0, Explicit formula (statement)
History
- 2026-11-02: add by m2/dev
Asymptotic theorems YQF1QFEWEV
| URI | m2://inv/YQF1QFEWEV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotic theory (statistics)#I35Z, Asymptotic theorems (statement)
History
- 2026-11-02: add by m2/dev
Key signature YQFBWEGGEF
| URI | m2://inv/YQFBWEGGEF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Key signature (cryptography), Key signature (definition). Also Wikidata Q6398185
History
- 2026-11-02: add by m2/dev
YQFC25DSDC YQFC25DSDC
| URI | m2://inv/YQFC25DSDC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-trees.ptx#exercise-9 (exercise). In Y91XFCEVHQ, exercise, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Lift YQFDK5ZVFX
| URI | m2://inv/YQFDK5ZVFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lift (data mining), Lift (definition). Also Wikidata Q3001212
History
- 2026-11-02: add by m2/dev
Algebraic enumeration YQFED1WQJG
| URI | m2://inv/YQFED1WQJG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic enumeration, Algebraic enumeration (definition). Also Wikidata Q4723999
History
- 2026-11-02: add by m2/dev
YQFSHB97DM YQFSHB97DM
| URI | m2://inv/YQFSHB97DM |
|---|---|
| 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.05193#P1O4 (statement). In XDMM0KNNZ9/e1, proposition 7
History
- 2026-10-29: add by m2/v0.4.10
measurable set YQFWYKCM3G
| URI | m2://inv/YQFWYKCM3G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#XNU7, measurable set (definition)
History
- 2026-11-02: add by m2/dev
YQFX9K80MK YQFX9K80MK
| URI | m2://inv/YQFX9K80MK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-76 (exercise). In E59CDZA4DP, exercise, section 4.6.3
History
- 2026-11-01: add by m2/v0.6.13
YQG5WVPMDQ YQG5WVPMDQ
| URI | m2://inv/YQG5WVPMDQ |
|---|---|
| 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.11157#3AHR (statement). In G30YTST9ZK/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.3
M. S. Raghunathan YQGC34R301
| URI | m2://inv/YQGC34R301 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#5P92, M. S. Raghunathan (topic)
History
- 2026-11-02: add by m2/dev
Examples YQGDNDQQF2
| URI | m2://inv/YQGDNDQQF2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal form (abstract rewriting)#YS8C, Examples (example)
History
- 2026-11-02: add by m2/dev
Plateau law YQGF94FRFJ
| URI | m2://inv/YQGF94FRFJ |
|---|---|
| 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.06480#1TNG, Plateau law (statement). In 2Y47E704Z9/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
representations of the $\log$ function on $\C$ YQGQ8XSY0P
| URI | m2://inv/YQGQ8XSY0P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > representations of the $\log$ function on $\C$, representations of the $\log$ function on $\C$ (unknown)
History
- 2026-10-26: add by m2/dev
Multivalued treatment YQGR5S1ZN4
| URI | m2://inv/YQGR5S1ZN4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivalued treatment, Multivalued treatment (definition). Also Wikidata Q30694041
History
- 2026-11-02: add by m2/dev
Definition and examples YQH0ENG62D
| URI | m2://inv/YQH0ENG62D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia (G, X)-manifold#JGQ7, Definition and examples (definition)
History
- 2026-11-02: add by m2/dev
YQH1ZC4JH0 YQH1ZC4JH0
| URI | m2://inv/YQH1ZC4JH0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.07631#W9GO (statement). In 6JVJ5GCQ1E/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
YQH6J8FFSP YQH6J8FFSP
| URI | m2://inv/YQH6J8FFSP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#EQF8 (definition)
History
- 2026-11-01: add by m2/v0.6.15
general covariance YQHCQ7AGKW
| URI | m2://inv/YQHCQ7AGKW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2638561, general covariance (unknown). Also nLab general covariance
- wikipedia: Wikipedia General covariance, General covariance (definition). Also Wikidata Q2638561
History
- 2026-10-26: add by m2/dev
YQHF3G7VHR YQHF3G7VHR
| URI | m2://inv/YQHF3G7VHR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17585#RDAE (statement). In FBWDPA01XY/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Brill–Noether theory YQHV05C21D
| URI | m2://inv/YQHV05C21D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#SHIK, Brill–Noether theory (unknown)
History
- 2026-11-02: add by m2/dev
Reverse OU, Gaussian-to-Gaussian YQHXG3MVF6
| URI | m2://inv/YQHXG3MVF6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10875#1AU2, Reverse OU, Gaussian-to-Gaussian (statement). In N91F15MHW1/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.3
Ahmed Raza Khan YQJ334XQ9P
| URI | m2://inv/YQJ334XQ9P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#0P8I, Ahmed Raza Khan (unknown)
History
- 2026-11-02: add by m2/dev
William Kingdon Clifford YQJ8QY0RXZ
| URI | m2://inv/YQJ8QY0RXZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#ZI8O, William Kingdon Clifford (topic)
History
- 2026-11-02: add by m2/dev
Eugene Koonin YQJENAX72Y
| URI | m2://inv/YQJENAX72Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SG0S, Eugene Koonin (unknown)
History
- 2026-11-02: add by m2/dev
YQJF3BYR4A YQJF3BYR4A
| URI | m2://inv/YQJF3BYR4A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14847#JBJO (statement). In 2RC8WXQ9ET/e1, corollary 5.5
History
- 2026-10-28: add by m2/v0.4.2
Algebraic matrix weight YQJPJM8W0C
| URI | m2://inv/YQJPJM8W0C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08568#0Q52, Algebraic matrix weight (statement). In FDDA562VCA/e1, theorem 3.18
History
- 2026-10-29: add by m2/v0.4.10
YQJR5YTSKJ YQJR5YTSKJ
| URI | m2://inv/YQJR5YTSKJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/pr-functions.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 3.30
History
- 2026-11-01: add by m2/v0.6.13
John Strain YQJSHBMJ6S
| URI | m2://inv/YQJSHBMJ6S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Strain (mathematician), John Strain (topic). Also Wikidata Q24261055
History
- 2026-11-02: add by m2/dev
Lochlainn O'Raifeartaigh YQK12210E0
| URI | m2://inv/YQK12210E0 |
|---|---|
| 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 Q1338213, Lochlainn O'Raifeartaigh (unknown). Also nLab Lochlainn O'Raifeartaigh
History
- 2026-10-26: add by m2/dev
Espresso heuristic logic minimizer YQK323YY9E
| URI | m2://inv/YQK323YY9E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#CVAM, Espresso heuristic logic minimizer (unknown)
History
- 2026-11-02: add by m2/dev
distance YQK3K32QY0
| URI | m2://inv/YQK3K32QY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#D0E9, distance (definition)
History
- 2026-11-02: add by m2/dev
Examples YQK5CVXDXA
| URI | m2://inv/YQK5CVXDXA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free module#R04Y, Examples (example)
History
- 2026-11-02: add by m2/dev
YQK5W62XTB YQK5W62XTB
| URI | m2://inv/YQK5W62XTB |
|---|---|
| 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.13484#K3R1 (statement). In MP7GA6MQED/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
Clock synchronization YQK68YYYZQ
| URI | m2://inv/YQK68YYYZQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#5LWH, Clock synchronization (unknown)
History
- 2026-11-02: add by m2/dev
YQKBXR1K4A YQKBXR1K4A
| URI | m2://inv/YQKBXR1K4A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.07718#6CIA (statement). In CEKW9CNVVW/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
Eugenio Calabi YQKGPMHD4W
| URI | m2://inv/YQKGPMHD4W |
|---|---|
| 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 Q4922, Eugenio Calabi (unknown). Also nLab Eugenio Calabi
- wikipedia: Wikipedia Eugenio Calabi, Eugenio Calabi (topic). Also Wikidata Q4922
History
- 2026-10-26: add by m2/dev
terabyte YQKMCJAHTD
| URI | m2://inv/YQKMCJAHTD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q79741, terabyte (unknown). Also MathWorld Terabyte
History
- 2026-10-26: add by m2/dev
Convex layers YQKQBR5PMQ
| URI | m2://inv/YQKQBR5PMQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex layers, Convex layers (definition). Also Wikidata Q28136697
History
- 2026-11-02: add by m2/dev
YQKWJ7XZ7N YQKWJ7XZ7N
| URI | m2://inv/YQKWJ7XZ7N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08193#JIKQ (statement). In 8XAKGH8S2D/e1, lemma 4.10
History
- 2026-10-29: add by m2/v0.4.10
MacWilliams identity YQM4FT60C3
| URI | m2://inv/YQM4FT60C3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities#HCPP, MacWilliams identity (definition)
History
- 2026-11-02: add by m2/dev
YQM6NFWNYR YQM6NFWNYR
| URI | m2://inv/YQM6NFWNYR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04411#M4X8 (statement). In 6AY8SX3XBW/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
YQM84VFSQJ YQM84VFSQJ
| URI | m2://inv/YQM84VFSQJ |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20881#N9ZU (problem)
History
- 2026-11-02: add by m2/v0.6.18
Boas–Buck polynomials YQMAP76XYZ
| URI | m2://inv/YQMAP76XYZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boas–Buck polynomials, Boas–Buck polynomials (definition). Also Wikidata Q4931478
History
- 2026-11-02: add by m2/dev
Friedrich Hirzebruch YQMFDH5RK0
| URI | m2://inv/YQMFDH5RK0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZIHG, Friedrich Hirzebruch (topic)
- wikipedia: Wikipedia List of algebraic geometry topics#TJ1R, Friedrich Hirzebruch (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7PHG, Friedrich Hirzebruch (topic)
- wikipedia: Wikipedia List of German mathematicians#UX9J, Friedrich Hirzebruch (topic)
History
- 2026-11-02: add by m2/dev
YQMN2N2718 YQMN2N2718
| URI | m2://inv/YQMN2N2718 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/z/powerset.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 76.7
History
- 2026-11-01: add by m2/v0.6.13
YQMN3C7K7D YQMN3C7K7D
| URI | m2://inv/YQMN3C7K7D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#mv:intulbound:prop (statement). In E59CDZA4DP, prop, section 5.1.2
History
- 2026-11-01: add by m2/v0.6.13
Pareto chart YQMQ2VA8TW
| URI | m2://inv/YQMQ2VA8TW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DYSL, Pareto chart (definition)
History
- 2026-11-02: add by m2/dev
Richard James Milgram YQMQGV57V8
| URI | m2://inv/YQMQGV57V8 |
|---|---|
| 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 Q2123853, Richard James Milgram (unknown). Also nLab R. James Milgram
History
- 2026-10-26: add by m2/dev
William A. Stein YQMQZKVTZA
| URI | m2://inv/YQMQZKVTZA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William A. Stein, William A. Stein (topic). Also Wikidata Q6315203
History
- 2026-11-02: add by m2/dev
Constantin Carathéodory YQMSA85ZNT
| URI | m2://inv/YQMSA85ZNT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#HX56, Constantin Carathéodory (topic)
History
- 2026-11-02: add by m2/dev
YQMXWK4TS5 YQMXWK4TS5
| URI | m2://inv/YQMXWK4TS5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27694#UQSF (statement)
History
- 2026-11-01: add by m2/v0.6.15
YQMZTJWT18 YQMZTJWT18
| URI | m2://inv/YQMZTJWT18 |
|---|---|
| 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.20422#16OR (statement). In HCH89W5Y2C/e1, lemma 13
History
- 2026-10-27: add by m2/v0.4.2
YQN4SVJG3M YQN4SVJG3M
| URI | m2://inv/YQN4SVJG3M |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13888#MS0A (example). In XJWYBPS14M/e1, example 6.6
History
- 2026-10-28: add by m2/v0.4.2
Gravitational redshift YQN6ZTEZ23
| URI | m2://inv/YQN6ZTEZ23 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#JVIH, Gravitational redshift (definition)
History
- 2026-11-02: add by m2/dev
Stationary coefficients under norm pullback YQN9TQ9CEJ
| URI | m2://inv/YQN9TQ9CEJ |
|---|---|
| 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.30301#VGCP, Stationary coefficients under norm pullback (statement). In 7NS75J7HAM/e1, lemma 6.5
History
- 2026-10-31: add by m2/v0.5.6
YQNAPBND31 YQNAPBND31
| URI | m2://inv/YQNAPBND31 |
|---|---|
| Kind | conjecture |
| 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 2603.16304#0DXF (conjecture). In NEGP0YBA3C/e1, conjecture 5.4
History
- 2026-10-27: add by m2/v0.3.6
YQNF2T67W8 YQNF2T67W8
| URI | m2://inv/YQNF2T67W8 |
|---|---|
| Kind | definition |
| 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.38220#BW75 (definition). In 1AC4S19925/e1, definition 6.4
History
- 2026-10-30: add by m2/v0.4.12
transition function YQNGDWCGFN
| URI | m2://inv/YQNGDWCGFN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#3H4G, transition function (definition)
History
- 2026-11-02: add by m2/dev
Properties YQNNWS5S79
| URI | m2://inv/YQNNWS5S79 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ehresmann connection#P6BH, Properties (statement)
History
- 2026-11-02: add by m2/dev
Resolvent set YQNP4TXS3F
| URI | m2://inv/YQNP4TXS3F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resolvent set, Resolvent set (definition). Also Wikidata Q7315720
History
- 2026-11-02: add by m2/dev
YQNSDYP2Y4 YQNSDYP2Y4
| URI | m2://inv/YQNSDYP2Y4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#M8DN (statement). In 67GE5M1GGD/e1, proposition 3.19
History
- 2026-10-30: add by m2/v0.4.12
Cartan relations YQP0Z152HG
| URI | m2://inv/YQP0Z152HG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Élie Cartan#PBJW, Cartan relations (definition)
History
- 2026-11-02: add by m2/dev
YQPJKJRQQX YQPJKJRQQX
| URI | m2://inv/YQPJKJRQQX |
|---|---|
| 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 2407.20385#DKV5 (statement). In PZRSZ19KAH/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
YQPNKWVVT0 YQPNKWVVT0
| URI | m2://inv/YQPNKWVVT0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.05531#SFK7 (statement). In TCV1ZAG2MJ/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
Richard H. Stockbridge YQPNNJEJB9
| URI | m2://inv/YQPNNJEJB9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard H. Stockbridge, Richard H. Stockbridge (topic). Also Wikidata Q43087518
History
- 2026-11-02: add by m2/dev
Methods YQPY98BCQP
| URI | m2://inv/YQPY98BCQP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Political forecasting#XW9W, Methods (definition)
History
- 2026-11-02: add by m2/dev
YQQ2G4WCZJ YQQ2G4WCZJ
| URI | m2://inv/YQQ2G4WCZJ |
|---|---|
| Kind | definition |
| 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 2610.03661#UFMG (definition). In ESDKTYDHC8/e1, definition 6
History
- 2026-10-29: add by m2/v0.4.12
Formal definitions YQQ9T302D0
| URI | m2://inv/YQQ9T302D0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cancellative semigroup#M1HG, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
YQQHYR9R61 YQQHYR9R61
| URI | m2://inv/YQQHYR9R61 |
|---|---|
| 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.26769#8PHO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Electoral Calculus YQQMJ0VDX5
| URI | m2://inv/YQQMJ0VDX5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electoral Calculus, Electoral Calculus (definition). Also Wikidata Q5354972
History
- 2026-11-02: add by m2/dev
YQQMPQ9RPE YQQMPQ9RPE
| URI | m2://inv/YQQMPQ9RPE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18992#TKO5 (statement). In S7PNTM0GZC/e1, corollary A.3
History
- 2026-10-28: add by m2/v0.4.2
Berge's lemma YQQR9J8QT5
| URI | m2://inv/YQQR9J8QT5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#79M0, Berge's lemma (statement)
History
- 2026-11-02: add by m2/dev
Error theory YQQS8R43HE
| URI | m2://inv/YQQS8R43HE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moral nihilism#V2E7, Error theory (unknown)
History
- 2026-11-02: add by m2/dev
Koornwinder polynomials YQQY9QDG44
| URI | m2://inv/YQQY9QDG44 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#3U1T, Koornwinder polynomials (definition)
History
- 2026-11-02: add by m2/dev
Robin Thomas YQQYPEM5T1
| URI | m2://inv/YQQYPEM5T1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robin Thomas (mathematician), Robin Thomas (topic). Also Wikidata Q2159915
History
- 2026-11-02: add by m2/dev
YQR0370JQD YQR0370JQD
| URI | m2://inv/YQR0370JQD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#RXL8 (definition)
History
- 2026-11-02: add by m2/v0.6.17
YQR5X0ZY7G YQR5X0ZY7G
| URI | m2://inv/YQR5X0ZY7G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#6OOR (definition). In GHKR740SG3/e1, definition 5.1
History
- 2026-10-31: add by m2/v0.5.6
Two-way analysis of variance YQRAYXMXKA
| URI | m2://inv/YQRAYXMXKA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-way analysis of variance, Two-way analysis of variance (definition). Also Wikidata Q7858781
History
- 2026-11-02: add by m2/dev
Compound of five octahedra YQRC2JP5VG
| URI | m2://inv/YQRC2JP5VG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#FIGX, Compound of five octahedra (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#P34Q, Compound of five octahedra (definition)
History
- 2026-11-02: add by m2/dev
pseudomanifold YQRDJKQY09
| URI | m2://inv/YQRDJKQY09 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#MR41, pseudomanifold (definition)
History
- 2026-11-02: add by m2/dev
Definition YQRE7P6GBQ
| URI | m2://inv/YQRE7P6GBQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valuation (algebra)#RQLZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Euler spline YQRGKWH120
| URI | m2://inv/YQRGKWH120 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#F11X, Euler spline (unknown)
History
- 2026-11-02: add by m2/dev
YQRJMF3F7E YQRJMF3F7E
| URI | m2://inv/YQRJMF3F7E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09812#JL62 (statement). In NWWKD8YX57/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.10
Campano da Novara YQRQMCS9AZ
| URI | m2://inv/YQRQMCS9AZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#LVVQ, Campano da Novara (topic)
History
- 2026-11-02: add by m2/dev
Double-pointed cofinite topology YQRS6ZK7RR
| URI | m2://inv/YQRS6ZK7RR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#1LLA, Double-pointed cofinite topology (definition)
- wikipedia: Wikipedia List of examples in general topology#2108, Double-pointed cofinite topology (definition)
History
- 2026-11-02: add by m2/dev
Francesco Ventretti YQRSGSVJ1X
| URI | m2://inv/YQRSGSVJ1X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francesco Ventretti, Francesco Ventretti (topic). Also Wikidata Q20096896
History
- 2026-11-02: add by m2/dev
YQSBAPFTRV YQSBAPFTRV
| URI | m2://inv/YQSBAPFTRV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29552#ELWJ (example)
History
- 2026-11-01: add by m2/v0.6.15
Meissel–Mertens constant YQSCNK20QW
| URI | m2://inv/YQSCNK20QW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#Q8V5, Meissel–Mertens constant (object)
History
- 2026-11-02: add by m2/dev
YQSQ6NBFGV YQSQ6NBFGV
| URI | m2://inv/YQSQ6NBFGV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreQuantification.tex#thm:3n^2+n+14 is even (statement). In P1C114YBXG, theorem, section F
History
- 2026-11-01: add by m2/v0.6.13
Tudor Ganea YQSQK67BMK
| URI | m2://inv/YQSQK67BMK |
|---|---|
| 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 Q3710135 (unknown). Also ProofWiki Mathematician:Tudor_Ganea
- wikipedia: Wikipedia Tudor Ganea, Tudor Ganea (topic). Also Wikidata Q3710135
History
- 2026-10-26: add by m2/dev
Scaling law of $R$ YQSWZW1RJ3
| URI | m2://inv/YQSWZW1RJ3 |
|---|---|
| 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.33753#MMD1, Scaling law of $R$ (statement). In CGNMRJYD7Y/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
nonlinear, without external time-dependent field YQSY9B08Q7
| URI | m2://inv/YQSY9B08Q7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.04958#BAZ6, nonlinear, without external time-dependent field (example). In 5HQJSF6458/e1, example 6
History
- 2026-10-27: add by m2/v0.3.5
Skew normal distribution YQT476A59M
| URI | m2://inv/YQT476A59M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skew normal distribution, Skew normal distribution (definition). Also Wikidata Q3258551
History
- 2026-11-02: add by m2/dev
Local efficiency \michel YQT6JT52BG
| URI | m2://inv/YQT6JT52BG |
|---|---|
| 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.12088#RHZB, Local efficiency \michel (statement). In 5A39XSJ04W/e1, theorem 7.14
History
- 2026-10-28: add by m2/v0.4.3
YQT85GGRHS YQT85GGRHS
| URI | m2://inv/YQT85GGRHS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38051#ZNAU (example). In 81CGKD8RTP/e1, example 2
History
- 2026-10-30: add by m2/v0.4.12
Spatial ecology YQTE0CR6J1
| URI | m2://inv/YQTE0CR6J1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spatial ecology, Spatial ecology (topic). Also Wikidata Q3578586
History
- 2026-11-02: add by m2/dev
Smith conjecture YQTKQPJSKT
| URI | m2://inv/YQTKQPJSKT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Smith conjecture ABYAPP6Q4C |
Mentions
- wikidata: Wikidata Q7545379, Smith conjecture (statement). Also MathWorld SmithConjecture
- wikipedia: Wikipedia Smith conjecture, Smith conjecture (statement). Also Wikidata Q7545379
History
- 2026-10-26: add by m2/dev
Lily Wang YQTNT152TB
| URI | m2://inv/YQTNT152TB |
|---|---|
| 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#A6ZS, Lily Wang (unknown)
History
- 2026-11-02: add by m2/dev
YQTS18XFPX YQTS18XFPX
| URI | m2://inv/YQTS18XFPX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-40 (exercise). In E9HS8K3A52, exercise, section 10.4.1
History
- 2026-11-01: add by m2/v0.6.13
YQTSBEV3Y3 YQTSBEV3Y3
| URI | m2://inv/YQTSBEV3Y3 |
|---|---|
| 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.14135#7CHE (statement). In C304J64Q79/e1, proposition 9.1
History
- 2026-10-28: add by m2/v0.4.2
Svitlana Mayboroda YQV4H9J2E2
| URI | m2://inv/YQV4H9J2E2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Svitlana Mayboroda, Svitlana Mayboroda (topic). Also Wikidata Q21642769
History
- 2026-11-02: add by m2/dev
YQV5F9XJ7E YQV5F9XJ7E
| URI | m2://inv/YQV5F9XJ7E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2307.06098#ESM4 (statement). In DK1V8M7DS4/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.3.5
Randomized response YQV5W3XKXB
| URI | m2://inv/YQV5W3XKXB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#AFK5, Randomized response (definition)
History
- 2026-11-02: add by m2/dev
YQV9VJKK9Q YQV9VJKK9Q
| URI | m2://inv/YQV9VJKK9Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01087#L4I5 (statement). In 7QXAZXGNPQ/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.12
YQVC1KPVXH YQVC1KPVXH
| URI | m2://inv/YQVC1KPVXH |
|---|---|
| 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 2109.12716#1XZR (statement). In 6X76XBE3HV/e1, lemma 1.9
History
- 2026-10-27: add by m2/v0.3.5
divisor YQVCHCGAFH
| URI | m2://inv/YQVCHCGAFH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/3.5.1/divisor, divisor (concept). In QKM9DD2H56, index, section 3.5.1
History
- 2026-11-01: add by m2/v0.6.13
Homomorphic secret sharing YQVFQDGTRY
| URI | m2://inv/YQVFQDGTRY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homomorphic secret sharing, Homomorphic secret sharing (definition). Also Wikidata Q5891458
History
- 2026-11-02: add by m2/dev
Complex sign function YQVFS9R9SX
| URI | m2://inv/YQVFS9R9SX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sign function#JM90, Complex sign function (unknown)
History
- 2026-11-02: add by m2/dev
Lower bound on the Feng--Gao--Liu cost factor YQVJFR8J7X
| URI | m2://inv/YQVJFR8J7X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15265#KFJJ, Lower bound on the Feng--Gao--Liu cost factor (statement). In TCQ1JBR84Y/e1, theorem 1.6
History
- 2026-10-28: add by m2/v0.4.2
Lowell E. Jones YQVY4XR3V7
| URI | m2://inv/YQVY4XR3V7 |
|---|---|
| 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#QBNW, Lowell E. Jones (topic)
History
- 2026-11-02: add by m2/dev
YQW18CHN4P YQW18CHN4P
| URI | m2://inv/YQW18CHN4P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 1507.03803#GQV4 (statement). In MMJT4R2MSS/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
YQW247NQ00 YQW247NQ00
| URI | m2://inv/YQW247NQ00 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04325#L9B5 (statement). In 42XHT97E64/e1, corollary 6.10
History
- 2026-10-29: add by m2/v0.4.12
YQW2GFF8B5 YQW2GFF8B5
| URI | m2://inv/YQW2GFF8B5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20153#4PXF (statement)
History
- 2026-11-02: add by m2/v0.6.18
Surface area YQW2PN088Q
| URI | m2://inv/YQW2PN088Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formulas in elementary geometry#XZT7, Surface area (definition)
History
- 2026-11-02: add by m2/dev
Alexander S. Kechris YQW86GXCZ9
| URI | m2://inv/YQW86GXCZ9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#QY8V, Alexander S. Kechris (topic)
History
- 2026-11-02: add by m2/dev
YQWHFSB2MA YQWHFSB2MA
| URI | m2://inv/YQWHFSB2MA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/proof-examples.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 61.10
History
- 2026-11-01: add by m2/v0.6.13
Certification impossibility YQWKB9MSC7
| URI | m2://inv/YQWKB9MSC7 |
|---|---|
| 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.20020#AP3A, Certification impossibility (statement). In TGYC3SE8XM/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.2
YQWSE9H8XF YQWSE9H8XF
| URI | m2://inv/YQWSE9H8XF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 1507.03803#JXQB (statement). In MMJT4R2MSS/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Norm estimates on homogeneous Sobolev spaces YQWT2YK8QS
| URI | m2://inv/YQWT2YK8QS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34946#SJDQ, Norm estimates on homogeneous Sobolev spaces (statement). In Y27BAB2BB4/e1, theorem 5.8
History
- 2026-10-30: add by m2/v0.4.12
linearly ordered group YQWT7Q0M8G
| URI | m2://inv/YQWT7Q0M8G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Linearly ordered group P2E8BNYC7B |
Mentions
- wikidata: Wikidata Q10292020, linearly ordered group (unknown). Also EoM Totally_ordered_group
- wikipedia: Wikipedia Linearly ordered group, Linearly ordered group (definition). Also Wikidata Q10292020
History
- 2026-10-26: add by m2/dev
YQWW2CY9KT YQWW2CY9KT
| URI | m2://inv/YQWW2CY9KT |
|---|---|
| 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 2601.15010#UU8Q (statement). In K3WJ6ZN184/e1, proposition 6.2
History
- 2026-10-27: add by m2/v0.3.5
YQX09JKPAW YQX09JKPAW
| URI | m2://inv/YQX09JKPAW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Partitions.tex#problem-8 (exercise). In P1C114YBXG, problem, section G
History
- 2026-11-01: add by m2/v0.6.13
Generalized no-broadcast theorem YQX0M0T8PY
| URI | m2://inv/YQX0M0T8PY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia No-broadcasting theorem#ZGJE, Generalized no-broadcast theorem (statement)
History
- 2026-11-02: add by m2/dev
Eléna Wexler-Kreindler YQX4PWJSPS
| URI | m2://inv/YQX4PWJSPS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eléna Wexler-Kreindler, Eléna Wexler-Kreindler (topic). Also Wikidata Q21495143
History
- 2026-11-02: add by m2/dev
Conditional realization with a parameter YQX9PQZ47K
| URI | m2://inv/YQX9PQZ47K |
|---|---|
| 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#EC4F, Conditional realization with a parameter (statement). In 9YAE8FNQST/e1, theorem 11.5
History
- 2026-10-30: add by m2/v0.4.12
falling factorial YQXBZCQ804
| URI | m2://inv/YQXBZCQ804 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Falling factorial 0N5M924N3P |
Mentions
- wikidata: Wikidata Q109514579, falling factorial (unknown). Also MathWorld FallingFactorial, nLab falling factorial
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Bochner's theorem YQXDRBAXB1
| URI | m2://inv/YQXDRBAXB1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bochner's theorem (orthogonal polynomials), Bochner's theorem (statement). Also Wikidata Q135474413
History
- 2026-11-02: add by m2/dev
Muhabbat Sharapova YQXWF84XPX
| URI | m2://inv/YQXWF84XPX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Muhabbat Sharapova, Muhabbat Sharapova (topic). Also Wikidata Q106638636
History
- 2026-11-02: add by m2/dev
YQXZ3MAJGH YQXZ3MAJGH
| URI | m2://inv/YQXZ3MAJGH |
|---|---|
| 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 1909.03896#0XWF (statement). In CX9RVPQVBM/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.5
Second-order calibration and quantile inversion YQY2CRZPH5
| URI | m2://inv/YQY2CRZPH5 |
|---|---|
| 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.29658#7UKJ, Second-order calibration and quantile inversion (statement)
History
- 2026-11-01: add by m2/v0.6.15
Phillip Kott YQY4FFET24
| URI | m2://inv/YQY4FFET24 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phillip Kott, Phillip Kott (topic). Also Wikidata Q7185725
History
- 2026-11-02: add by m2/dev
YQY7PTRN2Q YQY7PTRN2Q
| URI | m2://inv/YQY7PTRN2Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29498#8OIN (statement)
History
- 2026-11-01: add by m2/v0.6.15
YQYE206TS4 YQYE206TS4
| URI | m2://inv/YQYE206TS4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21116#P6UO (definition)
History
- 2026-11-02: add by m2/v0.6.18
Speed (finance) YQYFC110WC
| URI | m2://inv/YQYFC110WC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greeks (finance)#B9IJ, Speed (finance) (unknown)
History
- 2026-11-02: add by m2/dev
Global derived Stokes trace YQYGK3WPTH
| URI | m2://inv/YQYGK3WPTH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#0J9K, Global derived Stokes trace (statement)
History
- 2026-11-01: add by m2/v0.6.15
YQYP3373NM YQYP3373NM
| URI | m2://inv/YQYP3373NM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07790#8ORG (statement). In A5YJDDM0NX/e1, proposition 1.8
History
- 2026-10-29: add by m2/v0.4.10
Risk YQZ0ZDWBFZ
| URI | m2://inv/YQZ0ZDWBFZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#PA9F, Risk (unknown)
History
- 2026-11-02: add by m2/dev
Austagram YQZ32K03P3
| URI | m2://inv/YQZ32K03P3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#DZAJ, Austagram (unknown)
History
- 2026-11-02: add by m2/dev
Sexy prime YQZDVHZ40N
| URI | m2://inv/YQZDVHZ40N |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#74NK, Sexy prime (conjecture)
History
- 2026-11-02: add by m2/dev
Gödel's completeness theorem YQZM87AE7J
| URI | m2://inv/YQZM87AE7J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#HQCI, Gödel's completeness theorem (statement)
History
- 2026-11-02: add by m2/dev
Momentum operator YQZQPAQWS1
| URI | m2://inv/YQZQPAQWS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Momentum operator, Momentum operator (definition). Also Wikidata Q692457
History
- 2026-11-02: add by m2/dev
YQZR30PJSX YQZR30PJSX
| URI | m2://inv/YQZR30PJSX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00596#UT9O (statement). In F8RC6AENB0/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
YQZT4DZ6XY YQZT4DZ6XY
| URI | m2://inv/YQZT4DZ6XY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#example-20 (example). In E59CDZA4DP, example, section 10.6.4
History
- 2026-11-01: add by m2/v0.6.13
YQZVKRAWF5 YQZVKRAWF5
| URI | m2://inv/YQZVKRAWF5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09001#7V9A (statement). In HJC1JJZRSH/e1, corollary 2.2
History
- 2026-10-29: add by m2/v0.4.10
Grinberg's theorem YQZWYPBZZA
| URI | m2://inv/YQZWYPBZZA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5609384, Grinberg's theorem (statement). Also Wikidata Q5609384
- thousand_plus: thousand_plus Q5609384, Grinberg's theorem (statement). Also Wikidata Q5609384, Wikipedia Grinberg's theorem
- wikipedia: Wikipedia Grinberg's theorem, Grinberg's theorem (statement). Also Wikidata Q5609384
History
- 2026-10-26: add by m2/dev
Braunschweig University of Technology YQZY60RST4
| URI | m2://inv/YQZY60RST4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#5I4Y, Braunschweig University of Technology (unknown)
History
- 2026-11-02: add by m2/dev