Inventory rows V0
The cards of the rows of the inventory whose ids start with V0. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
V001K3QZYK V001K3QZYK
| URI | m2://inv/V001K3QZYK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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 2304.07398#DQ5B (statement). In JS5FKV1S9T/e1, proposition B.2
History
- 2026-10-27: add by m2/v0.3.5
List of mathematical proofs V0053HZ3M2
| URI | m2://inv/V0053HZ3M2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs, List of mathematical proofs (topic). Also Wikidata Q6627330
History
- 2026-11-02: add by m2/dev
Fisher consistency V00BCJGN3R
| URI | m2://inv/V00BCJGN3R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#39S1, Fisher consistency (definition)
History
- 2026-11-02: add by m2/dev
Multidimensional analysis V00BW9V0J0
| URI | m2://inv/V00BW9V0J0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multidimensional analysis, Multidimensional analysis (definition). Also Wikidata Q1418353
History
- 2026-11-02: add by m2/dev
V00S4NYJY7 V00S4NYJY7
| URI | m2://inv/V00S4NYJY7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.07340#WTWL (statement). In 2HSB99DW4M/e1, proposition 7.5
History
- 2026-10-27: add by m2/v0.3.6
Locally cyclic graph V0178MW0Y6
| URI | m2://inv/V0178MW0Y6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neighbourhood (graph theory)#H72B, Locally cyclic graph (unknown)
History
- 2026-11-02: add by m2/dev
Uniform tilings in hyperbolic plane V018W5AHYZ
| URI | m2://inv/V018W5AHYZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform tilings in hyperbolic plane, Uniform tilings in hyperbolic plane (definition). Also Wikidata Q7885120
History
- 2026-11-02: add by m2/dev
V01CAPWN6Q V01CAPWN6Q
| URI | m2://inv/V01CAPWN6Q |
|---|---|
| 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.36412#8GE8 (statement). In 6HKGGCMBCK/e1, proposition 5.4
History
- 2026-10-30: add by m2/v0.4.12
V01FN5X5K1 V01FN5X5K1
| URI | m2://inv/V01FN5X5K1 |
|---|---|
| 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.30999#QEK1 (statement). In J1BWCKW2QK/e1, lemma 2.2
History
- 2026-10-31: add by m2/v0.5.6
V01J05DT2R V01J05DT2R
| URI | m2://inv/V01J05DT2R |
|---|---|
| Kind | definition |
| 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#D1A4 (definition). In 6M5WR7KB80/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.3
Faulhaber's formula in matrix form V020RFQF15
| URI | m2://inv/V020RFQF15 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faulhaber's formula#5GJB, Faulhaber's formula in matrix form (statement)
History
- 2026-11-02: add by m2/dev
Closed unbounded set V022CXMD0R
| URI | m2://inv/V022CXMD0R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exceptional set concepts#BNS5, Closed unbounded set (definition)
History
- 2026-11-02: add by m2/dev
Andrew S. C. Ehrenberg V02C1FPN5W
| URI | m2://inv/V02C1FPN5W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrew S. C. Ehrenberg, Andrew S. C. Ehrenberg (topic). Also Wikidata Q4758477
History
- 2026-11-02: add by m2/dev
conical coordinates V02GJB11W9
| URI | m2://inv/V02GJB11W9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5161034, conical coordinates (unknown). Also MathWorld ConicalCoordinates
- wikipedia: Wikipedia Conical coordinates, Conical coordinates (definition). Also Wikidata Q5161034
History
- 2026-10-26: add by m2/dev
Working–Hotelling procedure V02KBRBDNP
| URI | m2://inv/V02KBRBDNP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5UIE, Working–Hotelling procedure (definition)
History
- 2026-11-02: add by m2/dev
Irredundant support domain V02NNX1CD0
| URI | m2://inv/V02NNX1CD0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-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 2609.21670#VDCL, Irredundant support domain (definition)
History
- 2026-11-02: add by m2/v0.6.18
Approximations of the fast Fourier transform V02NRNP976
| URI | m2://inv/V02NRNP976 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fast Fourier transform#QQUG, Approximations of the fast Fourier transform (unknown)
History
- 2026-11-02: add by m2/dev
Sparsity V02WZNV0Y1
| URI | m2://inv/V02WZNV0Y1 |
|---|---|
| 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 2204.09167#C3BZ, Sparsity (statement). In S1MENYEAG5/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
Hyper-exponential distribution V0307EH2G1
| URI | m2://inv/V0307EH2G1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YJ0D, Hyper-exponential distribution (definition)
History
- 2026-11-02: add by m2/dev
V031K5XEXJ V031K5XEXJ
| URI | m2://inv/V031K5XEXJ |
|---|---|
| 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.17825#UGLA (statement). In T0ADPX1S05/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
V039SX3GWV V039SX3GWV
| URI | m2://inv/V039SX3GWV |
|---|---|
| Kind | statement |
| 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.14973#SK0K (statement). In 4AE59NXHC2/e1, corollary 1.5
History
- 2026-10-28: add by m2/v0.4.2
Olga Pendleton V03CW6P1J5
| URI | m2://inv/V03CW6P1J5 |
|---|---|
| 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#SL45, Olga Pendleton (unknown)
History
- 2026-11-02: add by m2/dev
Examples V03NCNC033
| URI | m2://inv/V03NCNC033 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial identity ring#B6ON, Examples (example)
History
- 2026-11-02: add by m2/dev
Argument by example V03SK98EHS
| URI | m2://inv/V03SK98EHS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument by example, Argument by example (definition). Also Wikidata Q4789733
History
- 2026-11-02: add by m2/dev
Catherine Greenhill V03VC7GSHC
| URI | m2://inv/V03VC7GSHC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catherine Greenhill, Catherine Greenhill (topic). Also Wikidata Q50147298
History
- 2026-11-02: add by m2/dev
LabVIEW V03X2KPWQQ
| URI | m2://inv/V03X2KPWQQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#I37E, LabVIEW (unknown)
History
- 2026-11-02: add by m2/dev
Universal instantiation V042THSGVZ
| URI | m2://inv/V042THSGVZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal instantiation, Universal instantiation (definition). Also Wikidata Q784645
History
- 2026-11-02: add by m2/dev
V0448NC47E V0448NC47E
| URI | m2://inv/V0448NC47E |
|---|---|
| Kind | example |
| 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 2207.11097#7V8Y (example). In 13H5BTAXHF/e1, example 2
History
- 2026-10-27: add by m2/v0.3.5
Average treatment effect V047G88JXM
| URI | m2://inv/V047G88JXM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PA4S, Average treatment effect (definition)
History
- 2026-11-02: add by m2/dev
The middle convolution is $\mathcal W_n$ on the line V04CXF4B5E
| URI | m2://inv/V04CXF4B5E |
|---|---|
| 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#PHMB, The middle convolution is $\mathcal W_n$ on the line (statement). In QPJ6FWG5HD/e1, proposition 2.97
History
- 2026-10-29: add by m2/v0.4.12
Total variation diminishing V04JQWPHJ1
| URI | m2://inv/V04JQWPHJ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#ZIF3, Total variation diminishing (definition)
History
- 2026-11-02: add by m2/dev
Matrix multiplication algorithm V04MSPXH4G
| URI | m2://inv/V04MSPXH4G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix multiplication algorithm, Matrix multiplication algorithm (definition). Also Wikidata Q17082383
History
- 2026-11-02: add by m2/dev
V04MY43V35 V04MY43V35
| URI | m2://inv/V04MY43V35 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.30679#BNWZ (definition). In Z31GMHMG7B/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Adrian Ioana V04PQYC0NV
| URI | m2://inv/V04PQYC0NV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XN8A, Adrian Ioana (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#K00H, Adrian Ioana (topic)
History
- 2026-11-02: add by m2/dev
Nonmonotone laws V056JPD4BA
| URI | m2://inv/V056JPD4BA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean algebra#SYNI, Nonmonotone laws (statement)
History
- 2026-11-02: add by m2/dev
V05B0R6R2M V05B0R6R2M
| URI | m2://inv/V05B0R6R2M |
|---|---|
| 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#8GCP (statement). In 6WJ0R9YEBR/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
homotopy, topological V05C0V4SS4
| URI | m2://inv/V05C0V4SS4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u1/homotopy-topological, homotopy, topological (concept). In N54F33XE07, index, section u1.u1
History
- 2026-11-01: add by m2/v0.6.13
V05D0QNQPC V05D0QNQPC
| URI | m2://inv/V05D0QNQPC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37778#Q5CQ (statement). In V399QB419P/e1, theorem B
History
- 2026-10-30: add by m2/v0.4.12
Dedekind–Kummer theorem V05G5PRQ7S
| URI | m2://inv/V05G5PRQ7S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind–Kummer theorem, Dedekind–Kummer theorem (statement). Also Wikidata Q110313202
History
- 2026-11-02: add by m2/dev
incidence V05J6RS9ZE
| URI | m2://inv/V05J6RS9ZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#WXY5, incidence (definition)
History
- 2026-11-02: add by m2/dev
noncommutative algebra V05TX0MR9Q
| URI | m2://inv/V05TX0MR9Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q61793851, noncommutative algebra (unknown). Also nLab noncommutative algebra
History
- 2026-10-26: add by m2/dev
Iwasawa decomposition V05WQZ51NZ
| URI | m2://inv/V05WQZ51NZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Iwasawa decomposition of a Lie group 4YDR9Q36DS |
Mentions
- wikidata: Wikidata Q750099, Iwasawa decomposition (unknown). Also MathWorld IwasawaDecomposition, nLab Iwasawa decomposition
- wikipedia: Wikipedia Iwasawa decomposition, Iwasawa decomposition (definition). Also Wikidata Q750099
History
- 2026-10-26: add by m2/dev
V06429KWTM V06429KWTM
| URI | m2://inv/V06429KWTM |
|---|---|
| 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.26521#KE90 (statement)
History
- 2026-11-01: add by m2/v0.6.15
V0682CHGM9 V0682CHGM9
| URI | m2://inv/V0682CHGM9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17569#TS3N (definition). In ERE1EWGZA3/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
V06G7YVX0D V06G7YVX0D
| URI | m2://inv/V06G7YVX0D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/caratheodory.tex#definition-5 (definition). In RZP28ERRZV, definition, section 63.3
History
- 2026-11-01: add by m2/v0.6.13
Multisymplectic integrator V06G8ET4B0
| URI | m2://inv/V06G8ET4B0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#UHKQ, Multisymplectic integrator (definition)
History
- 2026-11-02: add by m2/dev
Examples V06JKMG1N3
| URI | m2://inv/V06JKMG1N3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rao–Blackwell theorem#MXTA, Examples (example)
History
- 2026-11-02: add by m2/dev
Yahalom V06KR9JVM7
| URI | m2://inv/V06KR9JVM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yahalom (protocol), Yahalom (definition). Also Wikidata Q4053430
History
- 2026-11-02: add by m2/dev
Definition V06V05Y7A5
| URI | m2://inv/V06V05Y7A5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smooth structure#P7XZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Laws V06XVV41QP
| URI | m2://inv/V06XVV41QP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sine and cosine#VTT7, Laws (statement)
History
- 2026-11-02: add by m2/dev
instantaneous velocity V06Y20DDYQ
| URI | m2://inv/V06Y20DDYQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.1.3/instantaneous-velocity, instantaneous velocity (concept). In 907G4C4EJ1, index, section 1.1.3
History
- 2026-11-01: add by m2/v0.6.13
Genevieve Grotjan Feinstein V079DY0Y4M
| URI | m2://inv/V079DY0Y4M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#N7DY, Genevieve Grotjan Feinstein (topic)
History
- 2026-11-02: add by m2/dev
properly discontinuous V07B5RMEZR
| URI | m2://inv/V07B5RMEZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#7MWF, properly discontinuous (definition)
History
- 2026-11-02: add by m2/dev
Descent lemma for $\s$ V07D4SSXFZ
| URI | m2://inv/V07D4SSXFZ |
|---|---|
| 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.07290#7S2B, Descent lemma for $\s$ (statement). In WC7BN66XSN/e1, lemma 11
History
- 2026-10-29: add by m2/v0.4.10
resolution V07G8KABDF
| URI | m2://inv/V07G8KABDF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1051925, resolution (statement). Also MathWorld ResolutionPrinciple
- wikipedia: Wikipedia Resolution (logic), Resolution (definition). Also Wikidata Q1051925
History
- 2026-10-26: add by m2/dev
compact metric space V07HB7DHMS
| URI | m2://inv/V07HB7DHMS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124633554, compact metric space (unknown). Also MathWorld Compactum, nLab compact metrizable space
History
- 2026-10-26: add by m2/dev
COPSS Presidents' Award V07SJC9BN9
| URI | m2://inv/V07SJC9BN9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia COPSS Presidents' Award, COPSS Presidents' Award (definition). Also Wikidata Q5013454
History
- 2026-11-02: add by m2/dev
V08MZV3B7C V08MZV3B7C
| URI | m2://inv/V08MZV3B7C |
|---|---|
| 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.09522#HR5J (statement). In KKR9167FPT/e1, corollary 15
History
- 2026-10-29: add by m2/v0.4.10
V08XSNTJYG V08XSNTJYG
| URI | m2://inv/V08XSNTJYG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30067#CBYF (statement)
History
- 2026-11-01: add by m2/v0.6.15
V08Z633YAK V08Z633YAK
| URI | m2://inv/V08Z633YAK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12983#DP0F (statement). In M6TFZ6E060/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Open problems V091WQXT0H
| URI | m2://inv/V091WQXT0H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Egyptian fraction#2020, Open problems (statement)
History
- 2026-11-02: add by m2/dev
Alexander Beilinson V092XYXEHG
| URI | m2://inv/V092XYXEHG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#5VDV, Alexander Beilinson (topic)
History
- 2026-11-02: add by m2/dev
Treyfer V093JP5K6G
| URI | m2://inv/V093JP5K6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Treyfer, Treyfer (definition). Also Wikidata Q7839625
History
- 2026-11-02: add by m2/dev
V097FGTEY2 V097FGTEY2
| URI | m2://inv/V097FGTEY2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23238#5KMR (example)
History
- 2026-11-02: add by m2/v0.6.17
Efficient estimator V09BGZGRTY
| URI | m2://inv/V09BGZGRTY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#99DC, Efficient estimator (definition)
History
- 2026-11-02: add by m2/dev
V09BXCHZ6Q V09BXCHZ6Q
| URI | m2://inv/V09BXCHZ6Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-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.12054#JW8B (definition). In 1A01NFHBGA/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.3
V09EHYDR1M V09EHYDR1M
| URI | m2://inv/V09EHYDR1M |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22205#8RAM (problem). In 7REABAAQED/e1, problem
History
- 2026-10-27: add by m2/v0.4.0
V09EKC8A8C V09EKC8A8C
| URI | m2://inv/V09EKC8A8C |
|---|---|
| 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.38772#I5FR (statement). In 1C3R5NAQAP/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
V09KYFYRY6 V09KYFYRY6
| URI | m2://inv/V09KYFYRY6 |
|---|---|
| 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 2303.04321#CVTY (statement). In TE54S4QFW1/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
Extensions V09PSPZQ8J
| URI | m2://inv/V09PSPZQ8J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Merton's portfolio problem#6G1Y, Extensions (statement)
History
- 2026-11-02: add by m2/dev
V09S3FDCMT V09S3FDCMT
| URI | m2://inv/V09S3FDCMT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 57-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 2111.14699#C0Y8 (statement). In ES1CVGG59Y/e1, lemma 7.2
History
- 2026-10-27: add by m2/v0.3.5
Beck's monadicity theorem V09WZ9E8K8
| URI | m2://inv/V09WZ9E8K8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#7C1Z, Beck's monadicity theorem (statement)
History
- 2026-11-02: add by m2/dev
Charles Leedham-Green V0A3X53FKP
| URI | m2://inv/V0A3X53FKP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Leedham-Green, Charles Leedham-Green (topic). Also Wikidata Q5080162
History
- 2026-11-02: add by m2/dev
V0A4N8YT15 V0A4N8YT15
| URI | m2://inv/V0A4N8YT15 |
|---|---|
| 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.03568#52UA (statement). In TGNKGP0XNY/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
V0A7Z7BHW8 V0A7Z7BHW8
| URI | m2://inv/V0A7Z7BHW8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05850#FRJF (definition). In D424GB5MAW/e1, definition 1.3
History
- 2026-10-29: add by m2/v0.4.10
V0AC047HXB V0AC047HXB
| URI | m2://inv/V0AC047HXB |
|---|---|
| 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.22170#ZT53 (statement). In 74MMMHHPW5/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.4.0
Examples V0ADY898BK
| URI | m2://inv/V0ADY898BK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Map projection of the triaxial ellipsoid#80KG, Examples (example)
History
- 2026-11-02: add by m2/dev
Leo Marks V0AM2DW5KB
| URI | m2://inv/V0AM2DW5KB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leo Marks, Leo Marks (topic). Also Wikidata Q3229576
History
- 2026-11-02: add by m2/dev
V0ATTW7RJZ V0ATTW7RJZ
| URI | m2://inv/V0ATTW7RJZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/completeness/modalities-ccs.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 51.4
History
- 2026-11-01: add by m2/v0.6.13
The multiplicity formula V0AVEHPPYD
| URI | m2://inv/V0AVEHPPYD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kostant partition function#KYUO, The multiplicity formula (statement)
History
- 2026-11-02: add by m2/dev
Samuel Sanford Shapiro V0B2PKNRXK
| URI | m2://inv/V0B2PKNRXK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Samuel Sanford Shapiro, Samuel Sanford Shapiro (topic). Also Wikidata Q20675702
History
- 2026-11-02: add by m2/dev
V0BH1A4DAD V0BH1A4DAD
| URI | m2://inv/V0BH1A4DAD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36509#0CKP (statement). In DPJ15KW23C/e1, lemma 8.2
History
- 2026-10-30: add by m2/v0.4.12
V0BJ0YQWDY V0BJ0YQWDY
| URI | m2://inv/V0BJ0YQWDY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.08789#5F4F (statement). In 43AGRMP7T3/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.3.5
tetraquark V0BJRRAAMH
| URI | m2://inv/V0BJRRAAMH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q606387, tetraquark (unknown). Also nLab tetraquark
History
- 2026-10-26: add by m2/dev
Compact finite difference V0C75YDH95
| URI | m2://inv/V0C75YDH95 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact finite difference, Compact finite difference (definition). Also Wikidata Q25113057
History
- 2026-11-02: add by m2/dev
Sample path V0C8CXE3XT
| URI | m2://inv/V0C8CXE3XT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic process#Q58A, Sample path (unknown)
History
- 2026-11-02: add by m2/dev
V0CCDEAQ82 V0CCDEAQ82
| URI | m2://inv/V0CCDEAQ82 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24623#10RO (statement)
History
- 2026-11-01: add by m2/v0.6.15
V0CDFJ4VTW V0CDFJ4VTW
| URI | m2://inv/V0CDFJ4VTW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/pairing.tex#prob-9 (exercise). In PKGMM3P5QY, prob, section 83.11
History
- 2026-11-01: add by m2/v0.6.13
Network-based diffusion analysis V0CQ501715
| URI | m2://inv/V0CQ501715 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Network-based diffusion analysis, Network-based diffusion analysis (definition). Also Wikidata Q55624993
History
- 2026-11-02: add by m2/dev
Symmetries V0CRQ0K90T
| URI | m2://inv/V0CRQ0K90T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gudermannian function#87XR, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
V0CTHTAG1M V0CTHTAG1M
| URI | m2://inv/V0CTHTAG1M |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/cover-project.tex#proof-3 (proof). In RZP28ERRZV, proof, section 97.5
History
- 2026-11-01: add by m2/v0.6.13
strong aperiodicity under hierarchical enforcement and lattice registration V0CX6GNTWT
| URI | m2://inv/V0CX6GNTWT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00916#7E0E, strong aperiodicity under hierarchical enforcement and lattice registration (statement). In 3MMFCTKPPJ/e1, theorem 11.1
History
- 2026-10-29: add by m2/v0.4.12
V0CXCFX6CM V0CXCFX6CM
| URI | m2://inv/V0CXCFX6CM |
|---|---|
| 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.13792#NIYJ (statement). In ZH0PFTZ12Y/e1, lemma 4.13
History
- 2026-10-28: add by m2/v0.4.2
Prasolov point V0CXXRBZ60
| URI | m2://inv/V0CXXRBZ60 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130214596, Prasolov point (unknown). Also MathWorld PrasolovPoint
History
- 2026-10-26: add by m2/dev
V0CYRRJHGK V0CYRRJHGK
| URI | m2://inv/V0CYRRJHGK |
|---|---|
| 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 2206.12966#52RE (statement). In VH93X5QZDV/e1, lemma 1.2
History
- 2026-10-27: add by m2/v0.3.5
Patrick du Val V0D21Q96T7
| URI | m2://inv/V0D21Q96T7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#J34K, Patrick du Val (topic)
History
- 2026-11-02: add by m2/dev
V0DBTMCTTM V0DBTMCTTM
| URI | m2://inv/V0DBTMCTTM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0904.2839#OQ39 (statement). In 2P34N0GWS1/e1, lemma 3.1.2
History
- 2026-10-27: add by m2/v0.3.5
Georges-Henri Lemaître V0DE61PGT2
| URI | m2://inv/V0DE61PGT2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#PCDW, Georges-Henri Lemaître (unknown)
History
- 2026-11-02: add by m2/dev
V0DFGT7A1B V0DFGT7A1B
| URI | m2://inv/V0DFGT7A1B |
|---|---|
| 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#HFNG (statement). In GHKR740SG3/e1, theorem 6.2
History
- 2026-10-31: add by m2/v0.5.6
V0DHBC72VN V0DHBC72VN
| URI | m2://inv/V0DHBC72VN |
|---|---|
| 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.02743#O92S (statement). In GQH4ZPDWET/e1, corollary 6.1
History
- 2026-10-29: add by m2/v0.4.12
Superpermutation V0DJWNDTJP
| URI | m2://inv/V0DJWNDTJP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superpermutation, Superpermutation (definition). Also Wikidata Q17048413
History
- 2026-11-02: add by m2/dev
Jim Bell V0DMWRF4YB
| URI | m2://inv/V0DMWRF4YB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jim Bell, Jim Bell (topic). Also Wikidata Q557294
History
- 2026-11-02: add by m2/dev
Ian Grant V0DPYWN22F
| URI | m2://inv/V0DPYWN22F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#RTUE, Ian Grant (unknown)
History
- 2026-11-02: add by m2/dev
Number Theory Foundation V0DR1NKBK7
| URI | m2://inv/V0DR1NKBK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Number Theory Foundation, Number Theory Foundation (definition). Also Wikidata Q7069562
History
- 2026-11-02: add by m2/dev
Jane Menken V0DYHH41ER
| URI | m2://inv/V0DYHH41ER |
|---|---|
| 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#CUJJ, Jane Menken (unknown)
History
- 2026-11-02: add by m2/dev
Formal definition V0E07WVJGS
| URI | m2://inv/V0E07WVJGS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comb space#11WL, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Resolutions of the identity V0E16AY5BY
| URI | m2://inv/V0E16AY5BY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirac delta function#J1FS, Resolutions of the identity (statement)
History
- 2026-11-02: add by m2/dev
V0E5317CPT V0E5317CPT
| URI | m2://inv/V0E5317CPT |
|---|---|
| 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-11 (exercise). In QKM9DD2H56, exercise, section 12
History
- 2026-11-01: add by m2/v0.6.13
V0E5VXWQ04 V0E5VXWQ04
| URI | m2://inv/V0E5VXWQ04 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21931#3NF3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Viacheslav V. Nikulin V0E6WFA6TG
| URI | m2://inv/V0E6WFA6TG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viacheslav V. Nikulin, Viacheslav V. Nikulin (topic). Also Wikidata Q7924430
History
- 2026-11-02: add by m2/dev
Pastur, Leonid Andriyovych V0E7RQWWK2
| URI | m2://inv/V0E7RQWWK2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians#5TDR, Pastur, Leonid Andriyovych (unknown)
History
- 2026-11-02: add by m2/dev
The root-of-unity model is an instance V0ED66N8S8
| URI | m2://inv/V0ED66N8S8 |
|---|---|
| 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.39262#B539, The root-of-unity model is an instance (statement). In XA2NE2Z06S/e1, proposition 7.4
History
- 2026-10-30: add by m2/v0.4.12
Variants V0EFE9VSWG
| URI | m2://inv/V0EFE9VSWG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perceptron#X51X, Variants (statement)
History
- 2026-11-02: add by m2/dev
V0EK5V79B8 V0EK5V79B8
| URI | m2://inv/V0EK5V79B8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15160#0OGL (definition). In 6FV4CCY1NX/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
V0EQTMZZZG V0EQTMZZZG
| URI | m2://inv/V0EQTMZZZG |
|---|---|
| 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.09882#BRXC (statement). In 7XV6T4N79V/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.10
Knaster–Tarski theorem V0F346FR3Y
| URI | m2://inv/V0F346FR3Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alfred Tarski#YJRB, Knaster–Tarski theorem (statement)
History
- 2026-11-02: add by m2/dev
V0F3SW3MKR V0F3SW3MKR
| URI | m2://inv/V0F3SW3MKR |
|---|---|
| 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.23873#2G44 (statement)
History
- 2026-11-02: add by m2/v0.6.17
V0F5ZVX1RZ V0F5ZVX1RZ
| URI | m2://inv/V0F5ZVX1RZ |
|---|---|
| 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 2512.19872#2STN (statement). In DG9TF5X0EG/e1, theorem 14
History
- 2026-10-27: add by m2/v0.4.0
V0FDJRF5ZZ V0FDJRF5ZZ
| URI | m2://inv/V0FDJRF5ZZ |
|---|---|
| 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.09201#UZ4C (statement). In JQFPH09JG8/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.10
V0FG8Q8VPW V0FG8Q8VPW
| URI | m2://inv/V0FG8Q8VPW |
|---|---|
| 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 2609.39531#4NCU (statement). In SN9RSTHQ07/e1, lemma F.8
History
- 2026-10-30: add by m2/v0.4.12
V0FMG2VWX6 V0FMG2VWX6
| URI | m2://inv/V0FMG2VWX6 |
|---|---|
| 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 2609.27151#3GWI (statement)
History
- 2026-11-01: add by m2/v0.6.15
V0FQGK8HW6 V0FQGK8HW6
| URI | m2://inv/V0FQGK8HW6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23884#H8OG (statement)
History
- 2026-11-02: add by m2/v0.6.17
V0FYZFK591 V0FYZFK591
| URI | m2://inv/V0FYZFK591 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-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 2401.11433#ETNX (example). In JNA2B803FH/e1, example 2.2
History
- 2026-10-27: add by m2/v0.3.5
Applications V0G5D6JWBC
| URI | m2://inv/V0G5D6JWBC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shapley–Folkman lemma#LFTZ, Applications (example)
History
- 2026-11-02: add by m2/dev
V0G8GJ1AMR V0G8GJ1AMR
| URI | m2://inv/V0G8GJ1AMR |
|---|---|
| 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.17188#Y26B (statement). In KP3ZYTMAN9/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
Euler's theorem in geometry V0G99NENZ8
| URI | m2://inv/V0G99NENZ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | Euler's theorem in geometry RFCQT6TKZF |
Mentions
- mathlib_1000: mathlib_1000 Q1423818, Euler's theorem in geometry (statement). Also Wikidata Q1423818
- thousand_plus: thousand_plus Q1423818, Euler's theorem in geometry (statement). Also Wikidata Q1423818, Wikipedia Euler's theorem in geometry
- wikidata: Wikidata Q1423818, Euler's theorem in geometry (statement). Also MathWorld EulerTriangleFormula
- wikipedia: Wikipedia Euler's theorem in geometry, Euler's theorem in geometry (statement). Also Wikidata Q1423818
History
- 2026-10-26: add by m2/dev
V0GEMPAS1C V0GEMPAS1C
| URI | m2://inv/V0GEMPAS1C |
|---|---|
| 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.26961#R2HK (problem)
History
- 2026-11-01: add by m2/v0.6.15
Outline of regression analysis V0GG7GSX6Y
| URI | m2://inv/V0GG7GSX6Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#O3PA, Outline of regression analysis (topic)
- wikipedia: Wikipedia Lists of statistics topics#ROJR, Outline of regression analysis (topic)
History
- 2026-11-02: add by m2/dev
Properties V0GM5NKST0
| URI | m2://inv/V0GM5NKST0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie derivative#57Q6, Properties (statement)
History
- 2026-11-02: add by m2/dev
V0GSDKZTSP V0GSDKZTSP
| URI | m2://inv/V0GSDKZTSP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.17516#F9MH (statement). In Z16NBNM4AK/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
V0GVCN063M V0GVCN063M
| URI | m2://inv/V0GVCN063M |
|---|---|
| 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.29501#BZJX (statement)
History
- 2026-11-01: add by m2/v0.6.15
BQP V0GYG9E0AG
| URI | m2://inv/V0GYG9E0AG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#1T1O, BQP (definition)
History
- 2026-11-02: add by m2/dev
smooth boundary V0H2G7S4F7
| URI | m2://inv/V0H2G7S4F7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/2.2/smooth-boundary, smooth boundary (concept). In VNMV985MXX, index, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Hensel's lemma V0H2VWJDTA
| URI | m2://inv/V0H2VWJDTA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#8FBI, Hensel's lemma (statement)
History
- 2026-11-02: add by m2/dev
quantic V0H4TFCTQX
| URI | m2://inv/V0H4TFCTQX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#AKKL, quantic (definition)
History
- 2026-11-02: add by m2/dev
Xiangyu Zhou V0HJDSFD2J
| URI | m2://inv/V0HJDSFD2J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Xiangyu Zhou, Xiangyu Zhou (topic). Also Wikidata Q16336634
History
- 2026-11-02: add by m2/dev
kilobyte V0HMPKEJH1
| URI | m2://inv/V0HMPKEJH1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q79726, kilobyte (unknown). Also MathWorld Kilobyte
History
- 2026-10-26: add by m2/dev
König's lemma V0HN92GHK4
| URI | m2://inv/V0HN92GHK4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#V6HT, König's lemma (definition)
History
- 2026-11-02: add by m2/dev
Divergence of the sum of the reciprocals of the primes V0HXJRFYHD
| URI | m2://inv/V0HXJRFYHD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divergence of the sum of the reciprocals of the primes, Divergence of the sum of the reciprocals of the primes (definition). Also Wikidata Q1343972
History
- 2026-11-02: add by m2/dev
Examples V0HY84GWGP
| URI | m2://inv/V0HY84GWGP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternion-Kähler manifold#VB8R, Examples (example)
History
- 2026-11-02: add by m2/dev
Convergence rates in weighted norms V0JA27CP8H
| URI | m2://inv/V0JA27CP8H |
|---|---|
| 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 2609.23617#YP80, Convergence rates in weighted norms (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition V0JKX6J56T
| URI | m2://inv/V0JKX6J56T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler summation#S269, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bayes' theorem V0JRQW50JJ
| URI | m2://inv/V0JRQW50JJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#PBT6, Bayes' theorem (definition)
History
- 2026-11-02: add by m2/dev
Using the factor theorem V0JS5GPQ29
| URI | m2://inv/V0JS5GPQ29 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factorization#X4D6, Using the factor theorem (statement)
History
- 2026-11-02: add by m2/dev
Poncelet–Steiner theorem V0JS8YC4PM
| URI | m2://inv/V0JS8YC4PM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#F3WW, Poncelet–Steiner theorem (statement)
History
- 2026-11-02: add by m2/dev
V0JZJ1MBSR V0JZJ1MBSR
| URI | m2://inv/V0JZJ1MBSR |
|---|---|
| Kind | problem |
| 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.07508#6O7G (problem). In TPA3E67MKK/e1, problem 8.6
History
- 2026-10-29: add by m2/v0.4.10
Jasjeet S. Sekhon V0KBR3TG0Y
| URI | m2://inv/V0KBR3TG0Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#03RO, Jasjeet S. Sekhon (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#K25E, Jasjeet S. Sekhon (topic)
History
- 2026-11-02: add by m2/dev
Unconditional matching in the diffuse-prior limit V0KDY5QVFB
| URI | m2://inv/V0KDY5QVFB |
|---|---|
| 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.04671#LPAG, Unconditional matching in the diffuse-prior limit (statement). In BYP65TRGDT/e1, corollary 5.18
History
- 2026-10-29: add by m2/v0.4.12
V0KGYKWC3Q V0KGYKWC3Q
| URI | m2://inv/V0KGYKWC3Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12486#N410 (statement). In CWQ2YHT24E/e1, theorem 5.3
History
- 2026-10-28: add by m2/v0.4.2
Alternating harmonic series V0KHQG717N
| URI | m2://inv/V0KHQG717N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic series (mathematics)#DR7D, Alternating harmonic series (unknown)
History
- 2026-11-02: add by m2/dev
Paired backward sequence V0MH41FZXE
| URI | m2://inv/V0MH41FZXE |
|---|---|
| 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.33360#G9E3, Paired backward sequence (definition). In GH6FSDK4YB/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Coincidence $s=1$: Azagra-Le Gruyer-Mudarra Formula V0MMMWPRBC
| URI | m2://inv/V0MMMWPRBC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12239#CICW, Coincidence $s=1$: Azagra-Le Gruyer-Mudarra Formula (statement). In CW9MNA6K58/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
V0MQKRGC4N V0MQKRGC4N
| URI | m2://inv/V0MQKRGC4N |
|---|---|
| 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.33770#NNR1 (statement). In 7DJ3C4V66R/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
V0MRZCZD2D V0MRZCZD2D
| URI | m2://inv/V0MRZCZD2D |
|---|---|
| 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 2406.19866#08UW (definition). In 9F94CEQ1ZM/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.5
V0MYF5YJ72 V0MYF5YJ72
| URI | m2://inv/V0MYF5YJ72 |
|---|---|
| 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 2609.40207#6DXK (definition). In JXTG8KP95P/e1, definition 2.9
History
- 2026-10-30: add by m2/v0.4.12
The value at $q=0$ V0N9YCV59Y
| URI | m2://inv/V0N9YCV59Y |
|---|---|
| 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.18350#7QYK, The value at $q=0$ (statement). In A20E8FZS21/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
V0NCKWP0F4 V0NCKWP0F4
| URI | m2://inv/V0NCKWP0F4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24553#1FXO (statement)
History
- 2026-11-01: add by m2/v0.6.15
V0NHTJDE8E V0NHTJDE8E
| URI | m2://inv/V0NHTJDE8E |
|---|---|
| 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.38138#QX1T (problem). In G97FA99ZEF/e1, problem 1.1
History
- 2026-10-30: add by m2/v0.4.12
$\beta$-echoing, strong echoing word V0NNHGN0YE
| URI | m2://inv/V0NNHGN0YE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00856#CJND, $\beta$-echoing, strong echoing word (definition). In W6VHD4QBY4/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.12
V0NZETXTXS V0NZETXTXS
| URI | m2://inv/V0NZETXTXS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20542#A982 (statement). In 8PZXZ8Y9FK/e1, corollary 2.3
History
- 2026-10-27: add by m2/v0.4.2
Sainte-Laguë method V0P1KA19NM
| URI | m2://inv/V0P1KA19NM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#R3OV, Sainte-Laguë method (definition)
History
- 2026-11-02: add by m2/dev
The normalization credit V0P2EG8GVQ
| URI | m2://inv/V0P2EG8GVQ |
|---|---|
| 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 2610.16069#FGZ3, The normalization credit (statement). In MBJA03ES8N/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.2
V0P6G01JRG V0P6G01JRG
| URI | m2://inv/V0P6G01JRG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16362#5ZKX (statement). In 4NJ4T3DEQB/e1, theorem C
History
- 2026-10-28: add by m2/v0.4.2
V0PFPSZX8V V0PFPSZX8V
| URI | m2://inv/V0PFPSZX8V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#76JJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Charged EM: norm inflation V0PK8K8T9A
| URI | m2://inv/V0PK8K8T9A |
|---|---|
| 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.24481#LRPA, Charged EM: norm inflation (statement)
History
- 2026-11-01: add by m2/v0.6.15
V0PS18WQSP V0PS18WQSP
| URI | m2://inv/V0PS18WQSP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10329#2CJY (statement). In SCSTR1Q1BW/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.10
Isbell's zigzag theorem V0PSTR15DN
| URI | m2://inv/V0PSTR15DN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isbell's zigzag theorem#NBU8, Isbell's zigzag theorem (statement)
History
- 2026-11-02: add by m2/dev
The Karlin–Rubin theorem V0PTW59Y84
| URI | m2://inv/V0PTW59Y84 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniformly most powerful test#Q0AO, The Karlin–Rubin theorem (statement)
History
- 2026-11-02: add by m2/dev
Construction V0Q3XRRCXC
| URI | m2://inv/V0Q3XRRCXC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric cone#FE6O, Construction (definition)
History
- 2026-11-02: add by m2/dev
strict, order V0Q4GDAQC5
| URI | m2://inv/V0Q4GDAQC5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2.1/strict-order, strict, order (concept). In N54F33XE07, index, section B.2.1
History
- 2026-11-01: add by m2/v0.6.13
S-PLUS V0QBRAAJDM
| URI | m2://inv/V0QBRAAJDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#EF0N, S-PLUS (definition)
History
- 2026-11-02: add by m2/dev
Cantor dust V0QN9JPKSE
| URI | m2://inv/V0QN9JPKSE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#ACGA, Cantor dust (definition)
History
- 2026-11-02: add by m2/dev
V0QTHDRQ9P V0QTHDRQ9P
| URI | m2://inv/V0QTHDRQ9P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36306#14UY (statement). In NHQEAVMJE1/e1, theorem 11
History
- 2026-10-30: add by m2/v0.4.12
Formulation V0QV2SME43
| URI | m2://inv/V0QV2SME43 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Narrow escape problem#L4LH, Formulation (definition)
History
- 2026-11-02: add by m2/dev
V0QZES8QX4 V0QZES8QX4
| URI | m2://inv/V0QZES8QX4 |
|---|---|
| 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.30407#49DR (statement). In HNY6N561H5/e1, theorem 3.3
History
- 2026-10-31: add by m2/v0.5.6
Outcome-adaptive augmentation V0QZG6Z861
| URI | m2://inv/V0QZG6Z861 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09030#9MGB, Outcome-adaptive augmentation (definition). In BYN44C0X0C/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
V0QZMVTFAZ V0QZMVTFAZ
| URI | m2://inv/V0QZMVTFAZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04593#MRRQ (definition). In PEXJPV3NP8/e1, definition 2.9
History
- 2026-10-27: add by m2/v0.3.5
Crank of a partition V0R1E90RS7
| URI | m2://inv/V0R1E90RS7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crank of a partition, Crank of a partition (definition). Also Wikidata Q5182182
History
- 2026-11-02: add by m2/dev
Properties V0R4NG647V
| URI | m2://inv/V0R4NG647V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primitive part and content#9YXX, Properties (statement)
History
- 2026-11-02: add by m2/dev
simple extension V0R6EFDW81
| URI | m2://inv/V0R6EFDW81 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Simple extension 0N681SSTHC |
Mentions
- wikidata: Wikidata Q2628674, simple extension (unknown). Also MathWorld SimpleExtension
- wikipedia: Wikipedia Simple extension, Simple extension (definition). Also Wikidata Q2628674
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
V0R92VEGRK V0R92VEGRK
| URI | m2://inv/V0R92VEGRK |
|---|---|
| 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#ABRN (statement). In 6B2PCEGCYZ/e1, proposition 5.8
History
- 2026-10-31: add by m2/v0.5.6
Shelah's categoricity conjecture V0RAQZ304J
| URI | m2://inv/V0RAQZ304J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract elementary class#R0H6, Shelah's categoricity conjecture (statement)
History
- 2026-11-02: add by m2/dev
V0REMV5MFA V0REMV5MFA
| URI | m2://inv/V0REMV5MFA |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-30: add by m2/v0.4.12
Kernel composition V0RFH6HRKY
| URI | m2://inv/V0RFH6HRKY |
|---|---|
| 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#409J, Kernel composition (statement). In HA4SZZJ831/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
V0RPNMFB5G V0RPNMFB5G
| URI | m2://inv/V0RPNMFB5G |
|---|---|
| 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 2610.21627#DPKR (definition). In 4Z44S003HM/e1, definition 7
History
- 2026-10-27: add by m2/v0.4.2
Examples V0RPNPNP8G
| URI | m2://inv/V0RPNPNP8G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multipole expansion#9ETB, Examples (example)
History
- 2026-11-02: add by m2/dev
V0RV8BWDA8 V0RV8BWDA8
| URI | m2://inv/V0RV8BWDA8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2306.12846#58HY (statement). In D6XA7JXZF3/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
Chronology of computation of pi V0RZDQTXHK
| URI | m2://inv/V0RZDQTXHK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chronology of computation of pi, Chronology of computation of pi (definition). Also Wikidata Q4897101
History
- 2026-11-02: add by m2/dev
V0S32T89B6 V0S32T89B6
| URI | m2://inv/V0S32T89B6 |
|---|---|
| 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.21752#L9Z4 (statement). In E4DJTPKHAX/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.4.2
Ddbar lemma V0S5WKHXAH
| URI | m2://inv/V0S5WKHXAH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ddbar lemma, Ddbar lemma (statement). Also Wikidata Q115857977
History
- 2026-11-02: add by m2/dev
531 (number) V0SBX9VFC9
| URI | m2://inv/V0SBX9VFC9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#00QS, 531 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Continuum upper bound V0SDH72YX2
| URI | m2://inv/V0SDH72YX2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05421#FSZV, Continuum upper bound (statement). In 4R1MMSAAVK/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.10
V0SSA348KF V0SSA348KF
| URI | m2://inv/V0SSA348KF |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_kitchensink_online.ptx#proof-3 (proof). In QKM9DD2H56, proof, section 16.1.1
History
- 2026-11-01: add by m2/v0.6.13
India V0SWBX9FEA
| URI | m2://inv/V0SWBX9FEA |
|---|---|
| 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 Q668, India (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/India
History
- 2026-10-26: add by m2/dev
$\SU(2)$ and a spherical quotient V0T59EE3XN
| URI | m2://inv/V0T59EE3XN |
|---|---|
| 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.14582#S5M2, $\SU(2)$ and a spherical quotient (statement). In 6XP6PD2XZA/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
KPT correspondence V0T5Z5CZER
| URI | m2://inv/V0T5Z5CZER |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structural Ramsey theory#14VT, KPT correspondence (unknown)
History
- 2026-11-02: add by m2/dev
Definition V0T7RGMDA2
| URI | m2://inv/V0T7RGMDA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi form#T72C, Definition (definition)
History
- 2026-11-02: add by m2/dev
V0T916SMJQ V0T916SMJQ
| URI | m2://inv/V0T916SMJQ |
|---|---|
| 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.29943#3XI2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
V0T9GFDMN2 V0T9GFDMN2
| URI | m2://inv/V0T9GFDMN2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#XEX2 (definition). In 3A4K47Y9F2/e1, definition 2.46
History
- 2026-10-27: add by m2/v0.4.0
V0T9W0MD9A V0T9W0MD9A
| URI | m2://inv/V0T9W0MD9A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19288#Z46B (definition). In 1EA6AM9V01/e1, definition 1.5
History
- 2026-10-28: add by m2/v0.4.2
V0TD5JV8AR V0TD5JV8AR
| URI | m2://inv/V0TD5JV8AR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40251#Y8JT (statement). In 9J7TJYKGYX/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
unified threshold for flag ambient complexes V0TGK6ZPKV
| URI | m2://inv/V0TGK6ZPKV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#M61Z, unified threshold for flag ambient complexes (statement). In PCAS8S14J6/e1, theorem 5.5
History
- 2026-10-31: add by m2/v0.5.6
V0TGX0KVVG V0TGX0KVVG
| URI | m2://inv/V0TGX0KVVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40123#YWFW (statement). In WK2YHYEDZ9/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Block 6 V0THM3WSRM
| URI | m2://inv/V0THM3WSRM |
|---|---|
| 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.30302#R7AU, Block 6 (statement). In R6ABTE22G0/e1, lemma 24
History
- 2026-10-31: add by m2/v0.5.6
Functional equation from equidimensional sectors V0TNBP1SWZ
| URI | m2://inv/V0TNBP1SWZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33162#X35L, Functional equation from equidimensional sectors (statement). In RPC7VG3KHQ/e1, theorem 9.6
History
- 2026-10-30: add by m2/v0.4.12
Ideal theory V0TV3JKCYH
| URI | m2://inv/V0TV3JKCYH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideal theory, Ideal theory (topic). Also Wikidata Q1952929
History
- 2026-11-02: add by m2/dev
Centre of $\mathbb{C} [S_L]$ V0TW8EK03D
| URI | m2://inv/V0TW8EK03D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10745#L03W, Centre of $\mathbb{C} [S_L]$ (definition). In 5MJ4NJ5ZCV/e1, definition 2.13
History
- 2026-10-28: add by m2/v0.4.3
V0V0ZF4CAW V0V0ZF4CAW
| URI | m2://inv/V0V0ZF4CAW |
|---|---|
| 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.21036#IJ8N (statement). In G0M4N3E0CG/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
V0V19QKX20 V0V19QKX20
| URI | m2://inv/V0V19QKX20 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21098#2ENL (statement)
History
- 2026-11-02: add by m2/v0.6.18
V0VJQGABG1 V0VJQGABG1
| URI | m2://inv/V0VJQGABG1 |
|---|---|
| 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 2508.17181#1WGV (statement). In 2QR18WK8KH/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.6
Applications V0VNRP1PKQ
| URI | m2://inv/V0VNRP1PKQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clique (graph theory)#U0BM, Applications (example)
History
- 2026-11-02: add by m2/dev
Definition V0VXD1VTVJ
| URI | m2://inv/V0VXD1VTVJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GF(2)#APK6, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications V0W3JJNCW6
| URI | m2://inv/V0W3JJNCW6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor field#2B2D, Applications (example)
History
- 2026-11-02: add by m2/dev
V0W5BFFFV2 V0W5BFFFV2
| URI | m2://inv/V0W5BFFFV2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.12054#EKA9 (statement). In 1A01NFHBGA/e1, corollary 3
History
- 2026-10-28: add by m2/v0.4.3
V0WG5PJB3A V0WG5PJB3A
| URI | m2://inv/V0WG5PJB3A |
|---|---|
| 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.28669#MBVY (statement)
History
- 2026-11-01: add by m2/v0.6.15
V0WJZHDMF2 V0WJZHDMF2
| URI | m2://inv/V0WJZHDMF2 |
|---|---|
| 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.12013#JWTU (statement). In 3V26T0265C/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.3
Gérard Laumon V0WMSV4HA1
| URI | m2://inv/V0WMSV4HA1 |
|---|---|
| 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#ACL7, Gérard Laumon (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#EXNW, Gérard Laumon (topic)
History
- 2026-11-02: add by m2/dev
disjoint unions V0WNHXDACZ
| URI | m2://inv/V0WNHXDACZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20775#U3VW, disjoint unions (statement). In XG27B81T0G/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.4.2
Another formula V0WRR9HTRG
| URI | m2://inv/V0WRR9HTRG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distance from a point to a line#DUZ7, Another formula (statement)
History
- 2026-11-02: add by m2/dev
V0WS0J7GDD V0WS0J7GDD
| URI | m2://inv/V0WS0J7GDD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#Z8GH (definition). In RK0ZMDJ23T/e1, definition 4.1.5
History
- 2026-10-31: add by m2/v0.5.6
V0WSZCGP2H V0WSZCGP2H
| URI | m2://inv/V0WSZCGP2H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39317#JJ8Y (example). In QM1T8JDK4A/e1, example 5.16
History
- 2026-10-30: add by m2/v0.4.12
Backhouse's constant V0X5V2YXCY
| URI | m2://inv/V0X5V2YXCY |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4839668, Backhouse's constant (object). Also MathWorld BackhousesConstant, OEIS A072508
- wikipedia: Wikipedia Backhouse's constant, Backhouse's constant (object). Also Wikidata Q4839668
History
- 2026-10-26: add by m2/dev
V0X8D0B6TV V0X8D0B6TV
| URI | m2://inv/V0X8D0B6TV |
|---|---|
| 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.26813#TX5Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
V0XT2R66EA V0XT2R66EA
| URI | m2://inv/V0XT2R66EA |
|---|---|
| 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.01818#FMSI (statement). In DA31J9XJ4J/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.12
V0XVAEM71Z V0XVAEM71Z
| URI | m2://inv/V0XVAEM71Z |
|---|---|
| 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.10365#BS13 (statement). In PRVQPSBVHK/e1, proposition 13
History
- 2026-10-29: add by m2/v0.4.10
Stability under multiplicative convolution for compactly supported measures V0XX0JHJAP
| URI | m2://inv/V0XX0JHJAP |
|---|---|
| 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.18436#GLYC, Stability under multiplicative convolution for compactly supported measures (statement). In M0Z0XAXZYW/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
Benign degeneracy, informal V0Y3WPABC3
| URI | m2://inv/V0Y3WPABC3 |
|---|---|
| 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.20270#A6VE, Benign degeneracy, informal (statement). In GV0QGZH67P/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
Generalizations V0Y4TX3MC4
| URI | m2://inv/V0Y4TX3MC4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus on Euclidean space#FH4H, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
V0YK0MP13H V0YK0MP13H
| URI | m2://inv/V0YK0MP13H |
|---|---|
| Kind | conjecture |
| 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 1006.4617#I5JQ (conjecture). In VWACF4K16Q/e1, conjecture 6.1
History
- 2026-10-27: add by m2/v0.3.5
Notation V0YNHADKA9
| URI | m2://inv/V0YNHADKA9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence (geometry)#RC0N, Notation (definition)
History
- 2026-11-02: add by m2/dev
Implementations V0YQXXQSP8
| URI | m2://inv/V0YQXXQSP8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss–Kronrod quadrature formula#JR5P, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Traffic model V0YTKGR6Y7
| URI | m2://inv/V0YTKGR6Y7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Traffic model, Traffic model (definition). Also Wikidata Q28455493
History
- 2026-11-02: add by m2/dev
Examples V0YTQKN1E8
| URI | m2://inv/V0YTQKN1E8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complement (set theory)#OMEV, Examples (example)
History
- 2026-11-02: add by m2/dev
Quasi-Frobenius ring V0YWHHKVC2
| URI | m2://inv/V0YWHHKVC2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-Frobenius ring, Quasi-Frobenius ring (definition). Also Wikidata Q7269430
History
- 2026-11-02: add by m2/dev
Definition V0YXDKWQZK
| URI | m2://inv/V0YXDKWQZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fano factor#5IXQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Formal definition V0Z2VCYA2T
| URI | m2://inv/V0Z2VCYA2T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connection (principal bundle)#OEOT, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
0† V0Z38H27HR
| URI | m2://inv/V0Z38H27HR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 0†, 0† (definition). Also Wikidata Q8069582
History
- 2026-11-02: add by m2/dev
Baudhayana sutras V0Z6VDYQ9T
| URI | m2://inv/V0Z6VDYQ9T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#4Z6R, Baudhayana sutras (unknown)
History
- 2026-11-02: add by m2/dev
V0ZAVYBEF9 V0ZAVYBEF9
| URI | m2://inv/V0ZAVYBEF9 |
|---|---|
| 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#QHO3 (statement). In 6X76XBE3HV/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
V0ZF7TDJXC V0ZF7TDJXC
| URI | m2://inv/V0ZF7TDJXC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34852#5CLX (statement). In TZXEMCBK5V/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Application V0ZKTXA70A
| URI | m2://inv/V0ZKTXA70A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gyroelongated square bipyramid#D7XW, Application (example)
History
- 2026-11-02: add by m2/dev
Lê Dũng Tráng V0ZNEBAHK2
| URI | m2://inv/V0ZNEBAHK2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lê Dũng Tráng, Lê Dũng Tráng (topic). Also Wikidata Q15694557
History
- 2026-11-02: add by m2/dev
L∞ space V0ZQDNBRDW
| URI | m2://inv/V0ZQDNBRDW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | L-infinity space ZT01G7BTSV |
Mentions
- wikidata: Wikidata Q25109715, L∞ space (unknown). Also MathWorld L-Infinity-Space
- wikipedia: Wikipedia L-infinity, L-infinity (definition). Also Wikidata Q25109715
History
- 2026-10-26: add by m2/dev
logarithmic spiral V0ZSZREP6W
| URI | m2://inv/V0ZSZREP6W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q724944, logarithmic spiral (concept). Also MathWorld LogarithmicSpiral
- wikipedia: Wikipedia Logarithmic spiral, Logarithmic spiral (definition). Also Wikidata Q724944
History
- 2026-10-26: add by m2/dev
V0ZW6445R0 V0ZW6445R0
| URI | m2://inv/V0ZW6445R0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#cor:closednessofriemannintegrable (statement). In E59CDZA4DP, cor, section 5.4.2
History
- 2026-11-01: add by m2/v0.6.13
V0ZXB5MA8F V0ZXB5MA8F
| URI | m2://inv/V0ZXB5MA8F |
|---|---|
| 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.21715#3GY0 (statement). In QW0SV5D6MQ/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.4.2
Second category V0ZXHZYTR3
| URI | m2://inv/V0ZXHZYTR3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#GNRI, Second category (definition)
History
- 2026-11-02: add by m2/dev