Inventory rows EV
The cards of the rows of the inventory whose ids start with EV. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Scattering below the ground-state mass EV01X1F21A
| URI | m2://inv/EV01X1F21A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15460#SJDF, Scattering below the ground-state mass (statement). In T2Z3D2VQ9B/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
EV0AEED6JG EV0AEED6JG
| URI | m2://inv/EV0AEED6JG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#WRGT (definition). In 9DQKY7KGE8/e1, definition 6.17
History
- 2026-10-27: add by m2/v0.3.5
EV0AF8ZMAJ EV0AF8ZMAJ
| URI | m2://inv/EV0AF8ZMAJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.06310#J8MP (definition). In 9YR0E0T9XA/e1, definition 3.18
History
- 2026-10-27: add by m2/v0.3.5
De Branges space EV0EKV0RTC
| URI | m2://inv/EV0EKV0RTC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Branges space, De Branges space (definition). Also Wikidata Q5244279
History
- 2026-11-02: add by m2/dev
EV0EMC0X25 EV0EMC0X25
| URI | m2://inv/EV0EMC0X25 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08052#LBD4 (statement). In 672XAVEQ34/e1, lemma A.4
History
- 2026-10-29: add by m2/v0.4.10
Consequences of max--sum domination EV0J8BPKA8
| URI | m2://inv/EV0J8BPKA8 |
|---|---|
| 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.11309#TNVV, Consequences of max--sum domination (statement). In TTEAQA1XXR/e1, lemma B.5
History
- 2026-10-28: add by m2/v0.4.3
mathematics, classical EV0TZ99FCE
| URI | m2://inv/EV0TZ99FCE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.8/mathematics-classical, mathematics, classical (concept). In N54F33XE07, index, section 9.8
History
- 2026-11-01: add by m2/v0.6.13
Contact conditions EV0X1AK30P
| URI | m2://inv/EV0X1AK30P |
|---|---|
| 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#UEH8, Contact conditions (statement). In 2Y47E704Z9/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
EV0XVQW3E6 EV0XVQW3E6
| URI | m2://inv/EV0XVQW3E6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-combperm.ptx#exercise-12 (exercise). In Y91XFCEVHQ, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
EV0YCP4RA9 EV0YCP4RA9
| URI | m2://inv/EV0YCP4RA9 |
|---|---|
| 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 2306.08237#JJAU (statement). In E22A2MFR4Y/e1, theorem 2.8
History
- 2026-10-27: add by m2/v0.3.6
Local rule EV10WTZTPE
| URI | m2://inv/EV10WTZTPE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25188#ADW0, Local rule (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definition EV15H60BWN
| URI | m2://inv/EV15H60BWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metaplectic group#QQ9F, Definition (definition)
History
- 2026-11-02: add by m2/dev
Plateau's problem EV173N5F52
| URI | m2://inv/EV173N5F52 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of variational topics#98QL, Plateau's problem (problem)
History
- 2026-11-02: add by m2/dev
EV1DKKGCYP EV1DKKGCYP
| URI | m2://inv/EV1DKKGCYP |
|---|---|
| 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.08956#ZZRA (statement). In DEE631KR3A/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
Linda Preiss Rothschild EV1SE2C5TY
| URI | m2://inv/EV1SE2C5TY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linda Preiss Rothschild, Linda Preiss Rothschild (topic). Also Wikidata Q1825887
History
- 2026-11-02: add by m2/dev
(Weeting #15) EV1YZM6GFW
| URI | m2://inv/EV1YZM6GFW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#WQAU, (Weeting #15) (unknown)
History
- 2026-11-02: add by m2/dev
Sperner's Theorem EV2263C15H
| URI | m2://inv/EV2263C15H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_posets_subset-lattice.ptx#thm_sperner, Sperner's Theorem (statement). In QKM9DD2H56, theorem, section 6.5.1
History
- 2026-11-01: add by m2/v0.6.13
EV2BXRBPW2 EV2BXRBPW2
| URI | m2://inv/EV2BXRBPW2 |
|---|---|
| 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.01899#7B36 (statement). In 638TEFBFGP/e1, corollary 1.3
History
- 2026-10-29: add by m2/v0.4.12
John Stuart Hunter EV2PDKZ5Y1
| URI | m2://inv/EV2PDKZ5Y1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#R2C3, John Stuart Hunter (topic)
History
- 2026-11-02: add by m2/dev
Definition EV2PSDZBQP
| URI | m2://inv/EV2PSDZBQP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Youden's J statistic#8IMZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples EV2QTFEQPA
| URI | m2://inv/EV2QTFEQPA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact element#0X9O, Examples (example)
History
- 2026-11-02: add by m2/dev
EV2SH5DBRE EV2SH5DBRE
| URI | m2://inv/EV2SH5DBRE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#PNM9 (statement). In CGA36VE1C5/e1, fact 5.2.1
History
- 2026-10-27: add by m2/v0.3.6
EV2VGYTCFC EV2VGYTCFC
| URI | m2://inv/EV2VGYTCFC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33704#DATR (statement). In STRVMT83HE/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
Extendability and the circumradius EV2Y66XEPZ
| URI | m2://inv/EV2Y66XEPZ |
|---|---|
| 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.25120#KIRL, Extendability and the circumradius (statement)
History
- 2026-11-01: add by m2/v0.6.15
Aron Simis EV32305SR7
| URI | m2://inv/EV32305SR7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aron Simis, Aron Simis (topic). Also Wikidata Q195729
History
- 2026-11-02: add by m2/dev
Itô process EV39H1MZJ9
| URI | m2://inv/EV39H1MZJ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Itô calculus#GARC, Itô process (unknown)
History
- 2026-11-02: add by m2/dev
EV3AYHEWZM EV3AYHEWZM
| URI | m2://inv/EV3AYHEWZM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09086#PTOM (statement). In JPC86V77CH/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
EV3DJSRQ72 EV3DJSRQ72
| URI | m2://inv/EV3DJSRQ72 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#example-9 (example). In E59CDZA4DP, example, section 6.3.1
History
- 2026-11-01: add by m2/v0.6.13
Definition EV3GC2GXFX
| URI | m2://inv/EV3GC2GXFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum flow problem#EZD6, Definition (definition)
History
- 2026-11-02: add by m2/dev
Algorithms for automated planning EV3K7XJXG2
| URI | m2://inv/EV3K7XJXG2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automated planning and scheduling#WI86, Algorithms for automated planning (unknown)
History
- 2026-11-02: add by m2/dev
EV3SQRVDX4 EV3SQRVDX4
| URI | m2://inv/EV3SQRVDX4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.16931#3VIJ (statement). In H7DMRWBBJN/e1, theorem 7.10
History
- 2026-10-28: add by m2/v0.4.2
homology manifold EV3SRG0MXT
| URI | m2://inv/EV3SRG0MXT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#9UT2, homology manifold (definition)
History
- 2026-11-02: add by m2/dev
Hardy–Littlewood conjectures EV3T9P2B58
| URI | m2://inv/EV3T9P2B58 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann zeta function#MHL6, Hardy–Littlewood conjectures (statement)
History
- 2026-11-02: add by m2/dev
Exponential polynomial tail EV3V7CY461
| URI | m2://inv/EV3V7CY461 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1007.0842#5R59, Exponential polynomial tail (statement). In SEBS9D5AC5/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
Nonlinear autoregressive exogenous model EV3W45RMA1
| URI | m2://inv/EV3W45RMA1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#90U5, Nonlinear autoregressive exogenous model (definition)
History
- 2026-11-02: add by m2/dev
Louis Leon Thurstone EV3YJ7XB4B
| URI | m2://inv/EV3YJ7XB4B |
|---|---|
| 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#2QDJ, Louis Leon Thurstone (unknown)
History
- 2026-11-02: add by m2/dev
Purity of middle convolution EV404DDJ2W
| URI | m2://inv/EV404DDJ2W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#882W, Purity of middle convolution (statement). In QPJ6FWG5HD/e1, lemma 2.96
History
- 2026-10-29: add by m2/v0.4.12
EV428ZZQS7 EV428ZZQS7
| URI | m2://inv/EV428ZZQS7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17276#IFW0 (statement). In GG14QF0JKJ/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
EV4679KX6M EV4679KX6M
| URI | m2://inv/EV4679KX6M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.06581#9CSX (statement). In WXJ2V3HA2R/e1, lemma D.7
History
- 2026-10-27: add by m2/v0.3.5
EV4CYN712G EV4CYN712G
| URI | m2://inv/EV4CYN712G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-36 (exercise). In E9HS8K3A52, exercise, section 9.3.4
History
- 2026-11-01: add by m2/v0.6.13
EV4DFGR7J9 EV4DFGR7J9
| URI | m2://inv/EV4DFGR7J9 |
|---|---|
| Kind | problem |
| 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 2609.26129#Y09I (problem)
History
- 2026-11-01: add by m2/v0.6.15
V. D. Mazurov EV4M1CR5SP
| URI | m2://inv/EV4M1CR5SP |
|---|---|
| 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#REPD, V. D. Mazurov (topic)
History
- 2026-11-02: add by m2/dev
EV4VP14NZW EV4VP14NZW
| URI | m2://inv/EV4VP14NZW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-3.xml#example-3 (example). In 649HGZKE96, example, section 4.3.2
History
- 2026-11-01: add by m2/v0.6.13
EV50DRKZBH EV50DRKZBH
| URI | m2://inv/EV50DRKZBH |
|---|---|
| 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.16680#ZHRM (statement). In H29YHXQZV6/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
EV5800ESE6 EV5800ESE6
| URI | m2://inv/EV5800ESE6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#example-2 (example). In P1C114YBXG, example, section H
History
- 2026-11-01: add by m2/v0.6.13
EV58NN964Q EV58NN964Q
| URI | m2://inv/EV58NN964Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04874#P3PH (statement). In X365951S4Q/e1, lemma 3.10
History
- 2026-10-29: add by m2/v0.4.12
Properties EV5TA5CKNP
| URI | m2://inv/EV5TA5CKNP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rees algebra#9E04, Properties (statement)
History
- 2026-11-02: add by m2/dev
Argument from love EV5TWPJ7WH
| URI | m2://inv/EV5TWPJ7WH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument from love, Argument from love (definition). Also Wikidata Q4789743
History
- 2026-11-02: add by m2/dev
Wick theorem EV5VQ9GFRB
| URI | m2://inv/EV5VQ9GFRB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feynman diagram#XAME, Wick theorem (statement)
History
- 2026-11-02: add by m2/dev
EV60QW2Y2C EV60QW2Y2C
| URI | m2://inv/EV60QW2Y2C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17547#DT55 (statement). In XJ59TDP4HA/e1, theorem 4.6
History
- 2026-10-28: add by m2/v0.4.2
Riemannian connection on a surface EV611BAY4N
| URI | m2://inv/EV611BAY4N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemannian connection on a surface, Riemannian connection on a surface (definition). Also Wikidata Q7333122
History
- 2026-11-02: add by m2/dev
EV61SKPN0M EV61SKPN0M
| URI | m2://inv/EV61SKPN0M |
|---|---|
| Kind | definition |
| 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.06440#0J0T (definition). In 5YB65RB13X/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
EV6FWD18C6 EV6FWD18C6
| URI | m2://inv/EV6FWD18C6 |
|---|---|
| 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 2211.16099#LQL3 (statement). In 91RRFW0K5D/e1, proposition 13
History
- 2026-10-27: add by m2/v0.3.5
EV6NWD0BFS EV6NWD0BFS
| URI | m2://inv/EV6NWD0BFS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11047#V88X (statement). In MNQAZ70XTH/e1, proposition 14.3
History
- 2026-10-28: add by m2/v0.4.3
EV6NZTCNTD EV6NZTCNTD
| URI | m2://inv/EV6NZTCNTD |
|---|---|
| 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 2602.19452#Q7UK (statement). In 3GF75S0XJ0/e1, corollary 3.9
History
- 2026-10-27: add by m2/v0.4.0
EV6SKDANAK EV6SKDANAK
| URI | m2://inv/EV6SKDANAK |
|---|---|
| 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 2303.10963#WCRT (statement). In F32XWYWG8E/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.3.5
Hilbert basis EV6SPMFS52
| URI | m2://inv/EV6SPMFS52 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91040691, Hilbert basis (unknown). Also MathWorld HilbertBasis
History
- 2026-10-26: add by m2/dev
Mark Kac EV712N6ATP
| URI | m2://inv/EV712N6ATP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#50R7, Mark Kac (topic)
History
- 2026-11-02: add by m2/dev
EV7262NWQN EV7262NWQN
| URI | m2://inv/EV7262NWQN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08052#S1CQ (statement). In 672XAVEQ34/e1, proposition 5.15
History
- 2026-10-29: add by m2/v0.4.10
Axiom of choice EV733FA6VJ
| URI | m2://inv/EV733FA6VJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kőnig's theorem (set theory)#6VIP, Axiom of choice (statement)
History
- 2026-11-02: add by m2/dev
Vilna Gaon EV7CVFNECR
| URI | m2://inv/EV7CVFNECR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#368J, Vilna Gaon (unknown)
History
- 2026-11-02: add by m2/dev
Mathematical principles EV7G8763AH
| URI | m2://inv/EV7G8763AH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gambling mathematics#BADO, Mathematical principles (statement)
History
- 2026-11-02: add by m2/dev
EV7R85V855 EV7R85V855
| URI | m2://inv/EV7R85V855 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InfiniteSets.tex#problem-2 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
Splitting of prime ideals in Galois extensions EV85PYXZHC
| URI | m2://inv/EV85PYXZHC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Splitting of prime ideals in Galois extensions, Splitting of prime ideals in Galois extensions (definition). Also Wikidata Q3042809
History
- 2026-11-02: add by m2/dev
EV8EQ1K6BR EV8EQ1K6BR
| URI | m2://inv/EV8EQ1K6BR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28143#2N3E (definition)
History
- 2026-11-01: add by m2/v0.6.15
Heuman lambda function EV8H429HRA
| URI | m2://inv/EV8H429HRA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q85929579, Heuman lambda function (unknown). Also MathWorld HeumanLambdaFunction
History
- 2026-10-26: add by m2/dev
Examples EV8HD098CW
| URI | m2://inv/EV8HD098CW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Privacy-Enhanced Mail#76QO, Examples (example)
History
- 2026-11-02: add by m2/dev
Example EV8KZ4NADM
| URI | m2://inv/EV8KZ4NADM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaprekar's routine#5DAQ, Example (example)
History
- 2026-11-02: add by m2/dev
Examples EV8XEQ8Y2Q
| URI | m2://inv/EV8XEQ8Y2Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach bundle (non-commutative geometry)#KBXB, Examples (example)
History
- 2026-11-02: add by m2/dev
path graph P5 EV95W95TQX
| URI | m2://inv/EV95W95TQX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q136049287, path graph P5 (unknown). Also House of Graphs 286
History
- 2026-10-26: add by m2/dev
Simplified rates of main effect estimators EV9DPXFE0M
| URI | m2://inv/EV9DPXFE0M |
|---|---|
| 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.18335#ZCMK, Simplified rates of main effect estimators (statement). In XKN1C8Y9SD/e1, corollary 6
History
- 2026-10-28: add by m2/v0.4.2
EV9F8G1JBY EV9F8G1JBY
| URI | m2://inv/EV9F8G1JBY |
|---|---|
| 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.14318#J0SA (statement). In HA4SZZJ831/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Richard Beals EV9Q4DDSPB
| URI | m2://inv/EV9Q4DDSPB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Beals (mathematician), Richard Beals (topic). Also Wikidata Q15429267
History
- 2026-11-02: add by m2/dev
EV9V276HZN EV9V276HZN
| URI | m2://inv/EV9V276HZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#VEME (statement). In X47RYAZF8P/e1, corollary 9.3
History
- 2026-10-28: add by m2/v0.4.2
persistent homology EV9W3K38KD
| URI | m2://inv/EV9W3K38KD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Persistent homology S8SNBHVPSP |
Mentions
- wikidata: Wikidata Q17099562, persistent homology (unknown). Also nLab persistent homology
- wikipedia: Wikipedia Persistent homology, Persistent homology (definition). Also Wikidata Q17099562
History
- 2026-10-26: add by m2/dev
EV9Z6R7BJP EV9Z6R7BJP
| URI | m2://inv/EV9Z6R7BJP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#9YX3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mordehai Milgrom EVA0GM8M8C
| URI | m2://inv/EVA0GM8M8C |
|---|---|
| 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 Q1389108, Mordehai Milgrom (unknown). Also nLab Mordehai Milgrom
History
- 2026-10-26: add by m2/dev
EVA8CCZ4KZ EVA8CCZ4KZ
| URI | m2://inv/EVA8CCZ4KZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06045#55D6 (statement). In SVKM0852RJ/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
Guido Bonatti EVACQJC7ED
| URI | m2://inv/EVACQJC7ED |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#61YW, Guido Bonatti (unknown)
History
- 2026-11-02: add by m2/dev
Convergence under a uniform finite-section resolvent bound EVAECB0ZF7
| URI | m2://inv/EVAECB0ZF7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#P493, Convergence under a uniform finite-section resolvent bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hans-Bjørn Foxby EVAN2V45KD
| URI | m2://inv/EVAN2V45KD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans-Bjørn Foxby, Hans-Bjørn Foxby (topic). Also Wikidata Q22294750
History
- 2026-11-02: add by m2/dev
EVAPZPWRPC EVAPZPWRPC
| URI | m2://inv/EVAPZPWRPC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2004.12552#HNT6 (example). In TWPE10CZ1S/e1, example 2.3
History
- 2026-10-27: add by m2/v0.3.5
Ogden hyperelastic model EVAS0ZSG8A
| URI | m2://inv/EVAS0ZSG8A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ogden hyperelastic model, Ogden hyperelastic model (definition). Also Wikidata Q7079901
History
- 2026-11-02: add by m2/dev
EVAV10HGKY EVAV10HGKY
| URI | m2://inv/EVAV10HGKY |
|---|---|
| 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.21781#F2HK (statement). In FEQ72D1AX6/e1, lemma 5.18
History
- 2026-10-27: add by m2/v0.4.2
EVB1GEE92T EVB1GEE92T
| URI | m2://inv/EVB1GEE92T |
|---|---|
| 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 2006.05158#LWU7 (statement). In 4VCW6SZQXK/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
Theorem EVBHDDEECS
| URI | m2://inv/EVBHDDEECS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eisenstein's theorem#Z5YJ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Kodaira vanishing theorem EVBWVG0238
| URI | m2://inv/EVBWVG0238 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#C79J, Kodaira vanishing theorem (statement)
History
- 2026-11-02: add by m2/dev
EVBXNNJ4N2 EVBXNNJ4N2
| URI | m2://inv/EVBXNNJ4N2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.20798#MKZM (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties EVBYF1ASSP
| URI | m2://inv/EVBYF1ASSP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-exponential#QUTR, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition EVCBKGVTPH
| URI | m2://inv/EVCBKGVTPH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classical Heisenberg model#VADW, Definition (definition)
History
- 2026-11-02: add by m2/dev
EVCKP40QDW EVCKP40QDW
| URI | m2://inv/EVCKP40QDW |
|---|---|
| Kind | definition |
| 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 1810.06028#DVVW (definition). In ZPFHH6YJG3/e1, definition 2.20
History
- 2026-10-27: add by m2/v0.3.5
Value EVCN1XW9X0
| URI | m2://inv/EVCN1XW9X0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Value (mathematics), Value (definition). Also Wikidata Q2912517
History
- 2026-11-02: add by m2/dev
EVCNE322YT EVCNE322YT
| URI | m2://inv/EVCNE322YT |
|---|---|
| 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#0LXB (statement). In F8RC6AENB0/e1, theorem 7.9
History
- 2026-10-27: add by m2/v0.3.5
EVCQDW6AN3 EVCQDW6AN3
| URI | m2://inv/EVCQDW6AN3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23279#V8KD (definition)
History
- 2026-11-02: add by m2/v0.6.17
EVCS5M4F9H EVCS5M4F9H
| URI | m2://inv/EVCS5M4F9H |
|---|---|
| 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 2610.13580#84MU (problem). In KEQ57N9N7Z/e1, problem 6.3
History
- 2026-10-28: add by m2/v0.4.2
Generalizations EVCVBKPAB0
| URI | m2://inv/EVCVBKPAB0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parallel curve#7I7G, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Iteration number EVCVVKG514
| URI | m2://inv/EVCVVKG514 |
|---|---|
| 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.40203#NQAE, Iteration number (statement). In ECH66J4Y43/e1, lemma 11
History
- 2026-10-30: add by m2/v0.4.12
Cramér–von Mises criterion EVD34V5NQV
| URI | m2://inv/EVD34V5NQV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FF08, Cramér–von Mises criterion (statement)
History
- 2026-11-02: add by m2/dev
Daniel W. Apley EVD5Y34AQ9
| URI | m2://inv/EVD5Y34AQ9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel W. Apley, Daniel W. Apley (topic). Also Wikidata Q137070553
History
- 2026-11-02: add by m2/dev
stationary point EVDASHZ7JP
| URI | m2://inv/EVDASHZ7JP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2500758, stationary point (unknown). Also MathWorld StationaryPoint
- wikipedia: Wikipedia Stationary point, Stationary point (definition). Also Wikidata Q2500758
History
- 2026-10-26: add by m2/dev
EVDBPT5PA9 EVDBPT5PA9
| URI | m2://inv/EVDBPT5PA9 |
|---|---|
| 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 1701.00517#ELF0 (statement). In JHPBT88FDW/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.3.5
EVDFRABJ9B EVDFRABJ9B
| URI | m2://inv/EVDFRABJ9B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.13510#Z7A5 (statement). In Y75MQW7CFV/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
Homogeneous amalgamation of component seeds EVDNP216BD
| URI | m2://inv/EVDNP216BD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2609.30637#7U52, Homogeneous amalgamation of component seeds (definition). In 6G1KBA0SXV/e1, definition 4.33
History
- 2026-10-31: add by m2/v0.5.6
Exact invariance under skeleton-preserving perturbations EVDQ1RSA3V
| URI | m2://inv/EVDQ1RSA3V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01937#OUV4, Exact invariance under skeleton-preserving perturbations (statement). In BAEDMM7YM5/e1, lemma 33
History
- 2026-10-29: add by m2/v0.4.12
EVE7BKZM50 EVE7BKZM50
| URI | m2://inv/EVE7BKZM50 |
|---|---|
| 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.08658#DQA5 (statement). In 7PK5WS7246/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
Graph reduction EVE9E421X4
| URI | m2://inv/EVE9E421X4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph reduction, Graph reduction (definition). Also Wikidata Q5597097
History
- 2026-11-02: add by m2/dev
EVEHGMS3N6 EVEHGMS3N6
| URI | m2://inv/EVEHGMS3N6 |
|---|---|
| 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 2109.09268#4G2H (statement). In SYZFEVFHC3/e1, theorem 3.11
History
- 2026-10-27: add by m2/v0.3.5
EVEKRVCMPN EVEKRVCMPN
| URI | m2://inv/EVEKRVCMPN |
|---|---|
| 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.11757#SZAJ (statement). In VSJRVTHWWA/e1, lemma 5.7
History
- 2026-10-28: add by m2/v0.4.3
Root independence for a fixed negaform EVEKZ02DSQ
| URI | m2://inv/EVEKZ02DSQ |
|---|---|
| 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.04027#KJQF, Root independence for a fixed negaform (statement). In DQB4YR2DFH/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.12
Lyn English EVEPZZTH1H
| URI | m2://inv/EVEPZZTH1H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lyn English, Lyn English (topic). Also Wikidata Q100152100
History
- 2026-11-02: add by m2/dev
EVEQKGTF5H EVEQKGTF5H
| URI | m2://inv/EVEQKGTF5H |
|---|---|
| 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 2609.24795#RD6F (definition)
History
- 2026-11-01: add by m2/v0.6.15
Howard Wainer EVERC7QR1D
| URI | m2://inv/EVERC7QR1D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#WQQU, Howard Wainer (topic)
History
- 2026-11-02: add by m2/dev
Ethnic groups in Sabah EVESENP24C
| URI | m2://inv/EVESENP24C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Sabah#ZB5K, Ethnic groups in Sabah (unknown)
History
- 2026-11-02: add by m2/dev
Orbitwise characterization EVETRXB138
| URI | m2://inv/EVETRXB138 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2510.05499#579E, Orbitwise characterization (statement). In WRMNCC8VBC/e1, lemma 30
History
- 2026-10-27: add by m2/v0.3.6
EVEXVRA433 EVEXVRA433
| URI | m2://inv/EVEXVRA433 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.13328#2WDZ (definition). In 736Q32FYCG/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.3.5
EVEYG56QVF EVEYG56QVF
| URI | m2://inv/EVEYG56QVF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21034#OJBL (statement)
History
- 2026-11-02: add by m2/v0.6.18
Alexandr Kostochka EVEYMJCKXE
| URI | m2://inv/EVEYMJCKXE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexandr Kostochka, Alexandr Kostochka (topic). Also Wikidata Q102109975
History
- 2026-11-02: add by m2/dev
EVF34TV170 EVF34TV170
| URI | m2://inv/EVF34TV170 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#OS5L (example). In 5KR3MHYVV6/e1, example 3.1
History
- 2026-10-28: add by m2/v0.4.2
EVFKA5ADPH EVFKA5ADPH
| URI | m2://inv/EVFKA5ADPH |
|---|---|
| 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.06326#4L4F (statement). In DPR6B6X0JX/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.10
Journal of Logic Programming EVFSR6RH6D
| URI | m2://inv/EVFSR6RH6D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#75YE, Journal of Logic Programming (unknown)
History
- 2026-11-02: add by m2/dev
EVFT35BTFR EVFT35BTFR
| URI | m2://inv/EVFT35BTFR |
|---|---|
| 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 2401.15490#J7P3 (statement). In AAY60GVERS/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
EVFT5XNBCW EVFT5XNBCW
| URI | m2://inv/EVFT5XNBCW |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/orders.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 80.4
History
- 2026-11-01: add by m2/v0.6.13
EVFTD18CEY EVFTD18CEY
| URI | m2://inv/EVFTD18CEY |
|---|---|
| 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.01247#WL31 (statement). In 6EVNCRZ118/e1, proposition 15
History
- 2026-10-29: add by m2/v0.4.12
EVFXGFJ45B EVFXGFJ45B
| URI | m2://inv/EVFXGFJ45B |
|---|---|
| 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.20588#OMRD (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition EVG5SDH53N
| URI | m2://inv/EVG5SDH53N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vampire number#9DIZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Statistical classification EVG78E9S0R
| URI | m2://inv/EVG78E9S0R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4CTZ, Statistical classification (definition)
History
- 2026-11-02: add by m2/dev
\textbf{Goldie's Theorem EVGJRHZ5SX
| URI | m2://inv/EVGJRHZ5SX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.37893#ST6L, \textbf{Goldie's Theorem (statement). In 8H0KHK7AMN/e1, theorem 4.19
History
- 2026-10-30: add by m2/v0.4.12
EVGJV2875W EVGJV2875W
| URI | m2://inv/EVGJV2875W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-starsbars.ptx#example-1 (example). In Y91XFCEVHQ, example, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
EVGK46KBKE EVGK46KBKE
| URI | m2://inv/EVGK46KBKE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38138#C3ZA (statement). In G97FA99ZEF/e1, lemma A.3
History
- 2026-10-30: add by m2/v0.4.12
Itala D'Ottaviano EVGV2Z6PZ9
| URI | m2://inv/EVGV2Z6PZ9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#VJX5, Itala D'Ottaviano (topic)
History
- 2026-11-02: add by m2/dev
EVGV5CVF2D EVGV5CVF2D
| URI | m2://inv/EVGV5CVF2D |
|---|---|
| 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.08912#ZG13 (statement). In DK5QY64NGH/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
EVH2BGR3BM EVH2BGR3BM
| URI | m2://inv/EVH2BGR3BM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00562#RSKJ (statement). In 99CQPHSSYF/e1, lemma \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
set theory, algebraic EVHAFY9SGM
| URI | m2://inv/EVHAFY9SGM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C/set-theory-algebraic, set theory, algebraic (concept). In N54F33XE07, index, section C
History
- 2026-11-01: add by m2/v0.6.13
EVHAMPQVMA EVHAMPQVMA
| URI | m2://inv/EVHAMPQVMA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#4RM9 (example). In 5KR3MHYVV6/e1, example 2.0
History
- 2026-10-28: add by m2/v0.4.2
EVHCB2H33P EVHCB2H33P
| URI | m2://inv/EVHCB2H33P |
|---|---|
| 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.22657#3Y7W (statement)
History
- 2026-11-02: add by m2/v0.6.17
EVHK2YMDA7 EVHK2YMDA7
| URI | m2://inv/EVHK2YMDA7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31907#G0NU (statement). In 6B2PCEGCYZ/e1, lemma 6.4
History
- 2026-10-31: add by m2/v0.5.6
Chinese remainder theorem EVHTKBE3ZW
| URI | m2://inv/EVHTKBE3ZW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diophantine equation#7AZ3, Chinese remainder theorem (statement)
History
- 2026-11-02: add by m2/dev
EVHVR6EPJX EVHVR6EPJX
| URI | m2://inv/EVHVR6EPJX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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 2609.25761#39X6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
EVJ0PSXSNZ EVJ0PSXSNZ
| URI | m2://inv/EVJ0PSXSNZ |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35102#1N1R (problem). In XK6H7F2F13/e1, problem 4
History
- 2026-10-30: add by m2/v0.4.12
EVJ320BAC5 EVJ320BAC5
| URI | m2://inv/EVJ320BAC5 |
|---|---|
| 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.21565#9901 (statement)
History
- 2026-11-02: add by m2/v0.6.18
EVJ8QA5VV7 EVJ8QA5VV7
| URI | m2://inv/EVJ8QA5VV7 |
|---|---|
| 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.33771#90T4 (statement). In ZXQA7QH0H0/e1, lemma 3.25
History
- 2026-10-30: add by m2/v0.4.12
Exponential (disambiguation) EVJ9DPN74H
| URI | m2://inv/EVJ9DPN74H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#CDQP, Exponential (disambiguation) (unknown)
History
- 2026-11-02: add by m2/dev
Wheel EVJ9WV9DAM
| URI | m2://inv/EVJ9WV9DAM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of circle topics#M7GD, Wheel (unknown)
History
- 2026-11-02: add by m2/dev
EVJF75WZ50 EVJF75WZ50
| URI | m2://inv/EVJF75WZ50 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/inner-form.tex#definition-7 (definition). In RZP28ERRZV, definition, section 60.4
History
- 2026-11-01: add by m2/v0.6.13
Michael Handel EVJFXY1JWF
| URI | m2://inv/EVJFXY1JWF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HOUH, Michael Handel (topic)
History
- 2026-11-02: add by m2/dev
EVJGM1HJGM EVJGM1HJGM
| URI | m2://inv/EVJGM1HJGM |
|---|---|
| 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#AZCZ (statement). In S7PNTM0GZC/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
EVJHX458D8 EVJHX458D8
| URI | m2://inv/EVJHX458D8 |
|---|---|
| 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.19464#306E (statement). In G8JCZ109A9/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
EVJPXAJPYH EVJPXAJPYH
| URI | m2://inv/EVJPXAJPYH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.05403#MR9N (statement). In PQGGCD09KP/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.10
elliptic surface EVK7BM0CDB
| URI | m2://inv/EVK7BM0CDB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Elliptic surface VSC3F53DX4 |
Mentions
- wikidata: Wikidata Q8519884, elliptic surface (unknown). Also EoM Elliptic_surface
- wikipedia: Wikipedia Elliptic surface, Elliptic surface (definition). Also Wikidata Q8519884
History
- 2026-10-26: add by m2/dev
EVKAP7PQBA EVKAP7PQBA
| URI | m2://inv/EVKAP7PQBA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#example-16 (example). In E59CDZA4DP, example, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
EVKCJJK278 EVKCJJK278
| URI | m2://inv/EVKCJJK278 |
|---|---|
| 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 2309.01359#ITRL (statement). In BFV19FC2G7/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.3.5
Fast Efficient & Lossless Image Compression System EVKP88J0HC
| URI | m2://inv/EVKP88J0HC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#4OQ6, Fast Efficient & Lossless Image Compression System (unknown)
History
- 2026-11-02: add by m2/dev
EVKV9YBNDJ EVKV9YBNDJ
| URI | m2://inv/EVKV9YBNDJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#TLDB (statement). In ESDKTYDHC8/e1, corollary 5
History
- 2026-10-29: add by m2/v0.4.12
EVKWG1KJVM EVKWG1KJVM
| URI | m2://inv/EVKWG1KJVM |
|---|---|
| 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.22784#5IOW (statement)
History
- 2026-11-02: add by m2/v0.6.17
Erdős–Nicolas number EVKZ6NF3RG
| URI | m2://inv/EVKZ6NF3RG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16334729, Erdős–Nicolas number (object). Also OEIS A194472
- wikipedia: Wikipedia Erdős–Nicolas number, Erdős–Nicolas number (definition). Also Wikidata Q16334729
History
- 2026-10-26: add by m2/dev
EVM9VHRD73 EVM9VHRD73
| URI | m2://inv/EVM9VHRD73 |
|---|---|
| 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.01915#WNUR (statement). In 6HJQXZS0A6/e1, lemma 3.10
History
- 2026-10-29: add by m2/v0.4.12
rational numbers EVMM1SQ2V9
| URI | m2://inv/EVMM1SQ2V9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#59QH, rational numbers (definition)
History
- 2026-11-02: add by m2/dev
Example EVMP491T1V
| URI | m2://inv/EVMP491T1V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine transformation#KRSJ, Example (example)
History
- 2026-11-02: add by m2/dev
EVMRMCZME4 EVMRMCZME4
| URI | m2://inv/EVMRMCZME4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise:bernoulliineq (exercise). In E59CDZA4DP, exercise, section 7.2.5
History
- 2026-11-01: add by m2/v0.6.13
EVMSA0QTSQ EVMSA0QTSQ
| URI | m2://inv/EVMSA0QTSQ |
|---|---|
| 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.19806#3DLV (statement). In 64WX3WHW4H/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
Examples EVMSNNYRCT
| URI | m2://inv/EVMSNNYRCT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Animistic fallacy#RMVD, Examples (example)
History
- 2026-11-02: add by m2/dev
EVN22WYT6S EVN22WYT6S
| URI | m2://inv/EVN22WYT6S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#JDHT (statement). In GHKR740SG3/e1, theorem 4.2
History
- 2026-10-31: add by m2/v0.5.6
Statement EVN38A0DBY
| URI | m2://inv/EVN38A0DBY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bony–Brezis theorem#JRSP, Statement (statement)
History
- 2026-11-02: add by m2/dev
The underlying space is $\spLt$ EVN6288WV9
| URI | m2://inv/EVN6288WV9 |
|---|---|
| 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 2609.29839#KONE, The underlying space is $\spLt$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
EVNBVF9FN1 EVNBVF9FN1
| URI | m2://inv/EVNBVF9FN1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#RWAL (statement). In AGJE43FTF8/e1, corollary 10.2
History
- 2026-10-27: add by m2/v0.4.2
EVNFM58F8J EVNFM58F8J
| URI | m2://inv/EVNFM58F8J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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 2311.00918#5NRW (statement). In 2SMJ5V7FZ7/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.5
EVNM87QAV3 EVNM87QAV3
| URI | m2://inv/EVNM87QAV3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.00589#40MU (statement). In C8JAGP8VCQ/e1, lemma 2.14
History
- 2026-10-27: add by m2/v0.3.5
Bundle metric EVNMC4WZ5C
| URI | m2://inv/EVNMC4WZ5C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bundle metric, Bundle metric (definition). Also Wikidata Q3333768
History
- 2026-11-02: add by m2/dev
EVNNYNGAJ7 EVNNYNGAJ7
| URI | m2://inv/EVNNYNGAJ7 |
|---|---|
| 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.08382#Q7F6 (statement). In GYMGDQS25R/e1, theorem 2.5
History
- 2026-10-29: add by m2/v0.4.10
John Perry EVNSY2RSYZ
| URI | m2://inv/EVNSY2RSYZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#LDHP, John Perry (topic)
History
- 2026-11-02: add by m2/dev
abstraction EVP0WVJSM1
| URI | m2://inv/EVP0WVJSM1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4669982, abstraction (unknown). Also EoM Abstraction,_mathematical, nLab abstraction
- wikipedia: Wikipedia Abstraction (mathematics), Abstraction (definition). Also Wikidata Q4669982
History
- 2026-10-26: add by m2/dev
List of Latin phrases EVP11GH45R
| URI | m2://inv/EVP11GH45R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Latin phrases (E), List of Latin phrases (topic). Also Wikidata Q1355267
History
- 2026-11-02: add by m2/dev
Sum-of-squares optimization EVP44W8FCX
| URI | m2://inv/EVP44W8FCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sum-of-squares optimization, Sum-of-squares optimization (definition). Also Wikidata Q7636875
History
- 2026-11-02: add by m2/dev
EVPF6Q1M68 EVPF6Q1M68
| URI | m2://inv/EVPF6Q1M68 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 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.10804#MSZI (statement). In 6M5WR7KB80/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.3
Euclid's orchard EVPMNH2PJD
| URI | m2://inv/EVPMNH2PJD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Euclid#ZMPO, Euclid's orchard (definition)
History
- 2026-11-02: add by m2/dev
EVPRJJ24SJ EVPRJJ24SJ
| URI | m2://inv/EVPRJJ24SJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26713#A31M (statement)
History
- 2026-11-01: add by m2/v0.6.15
EVPT37KJFY EVPT37KJFY
| URI | m2://inv/EVPT37KJFY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24584#FPM4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gauss composition law EVPYF8MPB3
| URI | m2://inv/EVPYF8MPB3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss composition law, Gauss composition law (statement). Also Wikidata Q116701549
History
- 2026-11-02: add by m2/dev
EVQ2BF4W2B EVQ2BF4W2B
| URI | m2://inv/EVQ2BF4W2B |
|---|---|
| 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 1905.00573#HFVE (statement). In 74RNQVBM2G/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
EVQ727V255 EVQ727V255
| URI | m2://inv/EVQ727V255 |
|---|---|
| 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.21298#1KZ6 (statement). In AXWM2MBYXV/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.2
EVQ90JHJNZ EVQ90JHJNZ
| URI | m2://inv/EVQ90JHJNZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#lem:inv-hprop (statement). In N54F33XE07, lem, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
EVQAKYFZ62 EVQAKYFZ62
| URI | m2://inv/EVQAKYFZ62 |
|---|---|
| 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.13691#KM6Z (statement). In 3YTKTYTHT6/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
EVQBFF84TS EVQBFF84TS
| URI | m2://inv/EVQBFF84TS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02042#EHA8 (statement). In P3HWTYFDBX/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
EVQC65FK44 EVQC65FK44
| URI | m2://inv/EVQC65FK44 |
|---|---|
| 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 2108.03672#RQ2T (definition). In EZZSZ1F071/e1, definition 1.10
History
- 2026-10-27: add by m2/v0.4.0
EVQN65CCWQ EVQN65CCWQ
| URI | m2://inv/EVQN65CCWQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphalgorithms_exercises.ptx#exercise-7 (exercise). In QKM9DD2H56, exercise, section 12
History
- 2026-11-01: add by m2/v0.6.13
1729 EVQR4DQ498
| URI | m2://inv/EVQR4DQ498 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q825176, 1729 (unknown). Also MathWorld 1729, MathWorld Hardy-RamanujanNumber
- wikipedia: Wikipedia 1729 (number), 1729 (definition). Also Wikidata Q825176
History
- 2026-10-26: add by m2/dev
EVQS212PF4 EVQS212PF4
| URI | m2://inv/EVQS212PF4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-conc.ptx#exercise-12 (exercise). In Y91XFCEVHQ, exercise, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
Definitions EVREFQF871
| URI | m2://inv/EVREFQF871 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simplicial complex#5LXM, Definitions (definition)
History
- 2026-11-02: add by m2/dev
EVRHN692E6 EVRHN692E6
| URI | m2://inv/EVRHN692E6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05672#6EL6 (statement). In BQGX0XE2A6/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Applications EVRQG327GH
| URI | m2://inv/EVRQG327GH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian hierarchical modeling#9VTV, Applications (example)
History
- 2026-11-02: add by m2/dev
EVRTMDH6D5 EVRTMDH6D5
| URI | m2://inv/EVRTMDH6D5 |
|---|---|
| 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.11002#SM8C (statement). In P55JSAYR3T/e1, theorem
History
- 2026-10-28: add by m2/v0.4.3
Polyhedral combinatorics EVSB174Q7N
| URI | m2://inv/EVSB174Q7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyhedral combinatorics, Polyhedral combinatorics (definition). Also Wikidata Q8348314
History
- 2026-11-02: add by m2/dev
logit metalog distribution EVSEGCSP58
| URI | m2://inv/EVSEGCSP58 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#ZU6T, logit metalog distribution (definition)
History
- 2026-11-02: add by m2/dev
Exponential dichotomy EVSJ109DRJ
| URI | m2://inv/EVSJ109DRJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18078#3NO3, Exponential dichotomy (definition). In YVK8EFSYNJ/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
First Orthogonality Relation EVSKH3VAA8
| URI | m2://inv/EVSKH3VAA8 |
|---|---|
| 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.13429#VHGS, First Orthogonality Relation (statement). In B2VB5T5WQD/e1, fact 2.10
History
- 2026-10-28: add by m2/v0.4.2
EVSMKE574M EVSMKE574M
| URI | m2://inv/EVSMKE574M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12108#EO4G (statement). In JQH3FHYPW3/e1, theorem 4.6
History
- 2026-10-28: add by m2/v0.4.2
Height EVSR46EKQJ
| URI | m2://inv/EVSR46EKQJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Height (abelian group), Height (definition). Also Wikidata Q5699059
History
- 2026-11-02: add by m2/dev
List of ODE solvers EVT2PPZ48W
| URI | m2://inv/EVT2PPZ48W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinary differential equation#S8YL, List of ODE solvers (unknown)
History
- 2026-11-02: add by m2/dev
Necessity EVT7EZJZ62
| URI | m2://inv/EVT7EZJZ62 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28993#20FX, Necessity (statement)
History
- 2026-11-01: add by m2/v0.6.15
EVT7XF0CNC EVT7XF0CNC
| URI | m2://inv/EVT7XF0CNC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25314#6BZ0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Samson Shatashvili EVTJZNF8YB
| URI | m2://inv/EVTJZNF8YB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ATPY, Samson Shatashvili (unknown)
- wikipedia: Wikipedia List of string theory topics#66VB, Samson Shatashvili (unknown)
History
- 2026-11-02: add by m2/dev
Antiderivative/Indefinite integral EVTPM8QEHD
| URI | m2://inv/EVTPM8QEHD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#KM3O, Antiderivative/Indefinite integral (definition)
History
- 2026-11-02: add by m2/dev
EVTW33X68Y EVTW33X68Y
| URI | m2://inv/EVTW33X68Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#21QL (statement). In GHKR740SG3/e1, theorem 8.2
History
- 2026-10-31: add by m2/v0.5.6
1-generic EVTWZ7564T
| URI | m2://inv/EVTWZ7564T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generic property#HB7Z, 1-generic (unknown)
History
- 2026-11-02: add by m2/dev
Henry Ludwell Moore EVV1Y5S2A6
| URI | m2://inv/EVV1Y5S2A6 |
|---|---|
| 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#UIWT, Henry Ludwell Moore (unknown)
History
- 2026-11-02: add by m2/dev
A quantitative removal bound EVV600KBZV
| URI | m2://inv/EVV600KBZV |
|---|---|
| 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#D8RJ, A quantitative removal bound (statement). In 9YAE8FNQST/e1, proposition 23.9
History
- 2026-10-30: add by m2/v0.4.12
Upper bound for Legendre--Hahn series estimator EVVCSDJ5KN
| URI | m2://inv/EVVCSDJ5KN |
|---|---|
| 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.04135#LCBR, Upper bound for Legendre--Hahn series estimator (statement). In 587PWJ6W5D/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.12
Measurement invariance EVVD76G634
| URI | m2://inv/EVVD76G634 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measurement invariance, Measurement invariance (definition). Also Wikidata Q6804207
History
- 2026-11-02: add by m2/dev
EVVMQT4HRB EVVMQT4HRB
| URI | m2://inv/EVVMQT4HRB |
|---|---|
| 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.11336#X8HH (statement). In X1R1GDAJ0Y/e1, corollary 2.24
History
- 2026-10-28: add by m2/v0.4.3
gilbert EVVSWFMAPH
| URI | m2://inv/EVVSWFMAPH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1413142, gilbert (definition). Also ProofWiki Definition:Gilbert
History
- 2026-10-26: add by m2/dev
EVVV438777 EVVV438777
| URI | m2://inv/EVVV438777 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-conc.ptx#exercise-1 (exercise). In Y91XFCEVHQ, exercise, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
Conway polyhedron notation EVVX9DKD6P
| URI | m2://inv/EVVX9DKD6P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after John Horton Conway#BCMH, Conway polyhedron notation (definition)
History
- 2026-11-02: add by m2/dev
EVVZ78YT5W EVVZ78YT5W
| URI | m2://inv/EVVZ78YT5W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#mv:exercise:pathpiece (exercise). In E59CDZA4DP, exercise, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
EVW1FVM8WC EVW1FVM8WC
| URI | m2://inv/EVW1FVM8WC |
|---|---|
| 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.06541#LJ98 (statement). In R604B78EVK/e1, corollary A.2
History
- 2026-10-29: add by m2/v0.4.10
Convection EVW4VBFS2F
| URI | m2://inv/EVW4VBFS2F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convection, Convection (definition). Also Wikidata Q160329
History
- 2026-11-02: add by m2/dev
EVWGVJK0BT EVWGVJK0BT
| URI | m2://inv/EVWGVJK0BT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18281#ZUMN (example). In QYD0EJM85G/e1, example 5.1
History
- 2026-10-28: add by m2/v0.4.2
concave up EVWJ0354WM
| URI | m2://inv/EVWJ0354WM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.6.4/concave-up, concave up (concept). In 907G4C4EJ1, index, section 1.6.4
History
- 2026-11-01: add by m2/v0.6.13
Paul Poulet EVWNPDD6D7
| URI | m2://inv/EVWNPDD6D7 |
|---|---|
| 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 Q3372032, Paul Poulet (unknown). Also ProofWiki Mathematician:Paul_Poulet
- wikipedia: Wikipedia Paul Poulet, Paul Poulet (topic). Also Wikidata Q3372032
History
- 2026-10-26: add by m2/dev
Division algorithm EVWVJH47SX
| URI | m2://inv/EVWVJH47SX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#S501, Division algorithm (definition)
History
- 2026-11-02: add by m2/dev
EVWWDS0G1F EVWWDS0G1F
| URI | m2://inv/EVWWDS0G1F |
|---|---|
| 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.07180#6STD (statement). In TM4H1RV0BQ/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
EVX8ZDBRWK EVX8ZDBRWK
| URI | m2://inv/EVX8ZDBRWK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#L3Z5 (statement). In WJD9YPGGYH/e1, lemma 8.6
History
- 2026-10-27: add by m2/v0.3.5
EVXANRE92R EVXANRE92R
| URI | m2://inv/EVXANRE92R |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-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.15099#AN88 (example). In PF5JJ9DS8Q/e1, example 5.1.2
History
- 2026-10-28: add by m2/v0.4.2
Mark Krein EVXBJ78VDJ
| URI | m2://inv/EVXBJ78VDJ |
|---|---|
| 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 Q950211, Mark Krein (unknown). Also ProofWiki Mathematician:Mark_Grigorievich_Krein
- wikipedia: Wikipedia Mark Krein, Mark Krein (topic). Also Wikidata Q950211
History
- 2026-10-26: add by m2/dev
Kim Plofker EVXMF5446Z
| URI | m2://inv/EVXMF5446Z |
|---|---|
| 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#I6LO, Kim Plofker (topic)
History
- 2026-11-02: add by m2/dev
EVXR1PWGCX EVXR1PWGCX
| URI | m2://inv/EVXR1PWGCX |
|---|---|
| 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 2301.04933#4VOI (statement). In Q70CTMCJTP/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.3.5
EVYEP3RR8N EVYEP3RR8N
| URI | m2://inv/EVYEP3RR8N |
|---|---|
| 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.05365#I6P9 (statement). In BKPSH4CD9K/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.10
EVYF84Y4SN EVYF84Y4SN
| URI | m2://inv/EVYF84Y4SN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#90OD (statement). In AGJE43FTF8/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.4.2
Absolute neighborhood retract EVYTZYH88T
| URI | m2://inv/EVYTZYH88T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute neighborhood retract, Absolute neighborhood retract (definition). Also Wikidata Q137596576
History
- 2026-11-02: add by m2/dev
Flemming Topsøe EVZ1MR4D0K
| URI | m2://inv/EVZ1MR4D0K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flemming Topsøe, Flemming Topsøe (topic). Also Wikidata Q12311605
History
- 2026-11-02: add by m2/dev
EVZGPPKHE3 EVZGPPKHE3
| URI | m2://inv/EVZGPPKHE3 |
|---|---|
| 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.21636#Q924 (statement). In Z1DGVEHKT6/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.2
Operators and theorems EVZKSGAWCC
| URI | m2://inv/EVZKSGAWCC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector calculus#Q5WC, Operators and theorems (statement)
History
- 2026-11-02: add by m2/dev
statistical physics EVZMHF4S3X
| URI | m2://inv/EVZMHF4S3X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q677916, statistical physics (definition). Also EoM Statistical_physics,_mathematical_problems_in, ProofWiki Definition:Statistical_Physics
History
- 2026-10-26: add by m2/dev
Jordan–Hölder theorem EVZVY94XSH
| URI | m2://inv/EVZVY94XSH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Length of a module#T711, Jordan–Hölder theorem (statement)
History
- 2026-11-02: add by m2/dev