Inventory rows VV
The cards of the rows of the inventory whose ids start with VV. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Jack box-sum identity VV01XBD8MW
| URI | m2://inv/VV01XBD8MW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#CWV0, Jack box-sum identity (statement). In 9S7HGSEX6Q/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
VV03NCN82X VV03NCN82X
| URI | m2://inv/VV03NCN82X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09201#GB5W (definition). In JQFPH09JG8/e1, definition 3.3
History
- 2026-10-29: add by m2/v0.4.10
VV0GSKK8XE VV0GSKK8XE
| URI | m2://inv/VV0GSKK8XE |
|---|---|
| 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.10902#D3B7 (statement). In 96T1K6C3NZ/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.3
The regularity theorem for factorial tracially complete $C^*$-algebras VV0WE6MYK2
| URI | m2://inv/VV0WE6MYK2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#9K5O, The regularity theorem for factorial tracially complete $C^*$-algebras (statement). In 7SSKW778T8/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.10
Adaptive system VV0XS2GW8F
| URI | m2://inv/VV0XS2GW8F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of systems theory#CGVP, Adaptive system (unknown)
History
- 2026-11-02: add by m2/dev
Welfare theorems for indivisible item assignment VV14HRPHWP
| URI | m2://inv/VV14HRPHWP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Competitive equilibrium#95G4, Welfare theorems for indivisible item assignment (statement)
History
- 2026-11-02: add by m2/dev
Lemma 2 VV18YTVDWG
| URI | m2://inv/VV18YTVDWG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Green's theorem#DPDV, Lemma 2 (statement)
History
- 2026-11-02: add by m2/dev
VV1E376XG7 VV1E376XG7
| URI | m2://inv/VV1E376XG7 |
|---|---|
| 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.09570#P7ZR (statement). In 6QAW01629C/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
Example VV1FAYZHFX
| URI | m2://inv/VV1FAYZHFX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbital stability#1SK5, Example (example)
History
- 2026-11-02: add by m2/dev
VV1P2RS0Z8 VV1P2RS0Z8
| URI | m2://inv/VV1P2RS0Z8 |
|---|---|
| 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.36613#W665 (statement). In GX0K0ZM700/e1, lemma 3.8
History
- 2026-10-30: add by m2/v0.4.12
Richard Dedekind VV261H2YSW
| URI | m2://inv/VV261H2YSW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#YWIG, Richard Dedekind (topic)
History
- 2026-11-02: add by m2/dev
308 (number) VV27Q0N8TC
| URI | m2://inv/VV27Q0N8TC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#RUSW, 308 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Methods VV27RWAFGJ
| URI | m2://inv/VV27RWAFGJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hybrid stochastic simulation#NCR8, Methods (definition)
History
- 2026-11-02: add by m2/dev
VV2DSS909D VV2DSS909D
| URI | m2://inv/VV2DSS909D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08426#A25C (definition). In YG2DPMNZ1N/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.10
VV2QB4FJBK VV2QB4FJBK
| URI | m2://inv/VV2QB4FJBK |
|---|---|
| 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.20460#CLAY (statement)
History
- 2026-11-02: add by m2/v0.6.18
VV2RY3NFFT VV2RY3NFFT
| URI | m2://inv/VV2RY3NFFT |
|---|---|
| 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.08697#8G3N (statement). In GJ4ZMDQF3C/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
Tres Alpes VV36EHFWS8
| URI | m2://inv/VV36EHFWS8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#HGE5, Tres Alpes (unknown)
History
- 2026-11-02: add by m2/dev
VV38DNA984 VV38DNA984
| URI | m2://inv/VV38DNA984 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25718#FB7Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lazy linear hybrid automaton VV3FC7W04S
| URI | m2://inv/VV3FC7W04S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lazy linear hybrid automaton, Lazy linear hybrid automaton (definition). Also Wikidata Q16938421
History
- 2026-11-02: add by m2/dev
orthogonal set VV3GXGM8KN
| URI | m2://inv/VV3GXGM8KN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/6.3.2/orthogonal-set, orthogonal set (concept). In 649HGZKE96, index, section 6.3.2
History
- 2026-11-01: add by m2/v0.6.13
VV3K814YKQ VV3K814YKQ
| URI | m2://inv/VV3K814YKQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25468#0Y6E (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition VV3N53YEZW
| URI | m2://inv/VV3N53YEZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chiral polytope#RKT1, Definition (definition)
History
- 2026-11-02: add by m2/dev
MISTY1 VV3YPFYJ8F
| URI | m2://inv/VV3YPFYJ8F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#QKVA, MISTY1 (unknown)
History
- 2026-11-02: add by m2/dev
William Francis Gray Swann VV3YW0ZZGJ
| URI | m2://inv/VV3YW0ZZGJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#70W0, William Francis Gray Swann (unknown)
History
- 2026-11-02: add by m2/dev
VV4AAT4JMB VV4AAT4JMB
| URI | m2://inv/VV4AAT4JMB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.15043#6LEA (example). In QDE21RT0T2/e1, example 3.1
History
- 2026-10-27: add by m2/v0.3.5
Annamalai Ramanathan VV4BX32SE4
| URI | m2://inv/VV4BX32SE4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annamalai Ramanathan, Annamalai Ramanathan (topic). Also Wikidata Q4767885
History
- 2026-11-02: add by m2/dev
Example VV4MVT8SV1
| URI | m2://inv/VV4MVT8SV1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factorization algebra#22Y3, Example (example)
History
- 2026-11-02: add by m2/dev
Propositions VV4N31VQ6G
| URI | m2://inv/VV4N31VQ6G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Book of Lemmas#FMMP, Propositions (statement)
History
- 2026-11-02: add by m2/dev
VV4YFK95KS VV4YFK95KS
| URI | m2://inv/VV4YFK95KS |
|---|---|
| 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.33241#LWTL (statement). In NX6QV01PCE/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
Feigon-Lapid-Offen VV52W97YBY
| URI | m2://inv/VV52W97YBY |
|---|---|
| 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.26477#21Q8, Feigon-Lapid-Offen (statement)
History
- 2026-11-01: add by m2/v0.6.15
generic point VV5MPMH250
| URI | m2://inv/VV5MPMH250 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Generic point 3A19C4YXGE |
Mentions
- wikidata: Wikidata Q449470, generic point (unknown). Also nLab generic point
- wikipedia: Wikipedia Generic point, Generic point (definition). Also Wikidata Q449470
History
- 2026-10-26: add by m2/dev
Applications VV5Y6VFTAK
| URI | m2://inv/VV5Y6VFTAK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinal data#R36T, Applications (example)
History
- 2026-11-02: add by m2/dev
David Wolfe VV5YJJ75RB
| URI | m2://inv/VV5YJJ75RB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Wolfe (mathematician), David Wolfe (topic). Also Wikidata Q56855523
History
- 2026-11-02: add by m2/dev
Axiom VV627Y6E5G
| URI | m2://inv/VV627Y6E5G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of choice#0GO8, Axiom (statement)
History
- 2026-11-02: add by m2/dev
Tao Te Ching VV62GQXH1T
| URI | m2://inv/VV62GQXH1T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book or a journal, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q134425, Tao Te Ching (unknown). Also nLab 道德經
History
- 2026-10-26: add by m2/dev
VV630A6RTW VV630A6RTW
| URI | m2://inv/VV630A6RTW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.02672#E59T (statement). In ETRT1R1CQ8/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.4.0
VV64GNR871 VV64GNR871
| URI | m2://inv/VV64GNR871 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18632#XLC5 (statement). In PTM5MVD4M0/e1, corollary A.3
History
- 2026-10-28: add by m2/v0.4.2
VV653QED87 VV653QED87
| URI | m2://inv/VV653QED87 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26592#PHSD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Erdős–Nagy theorem VV6AXXJKNX
| URI | m2://inv/VV6AXXJKNX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5NKG, Erdős–Nagy theorem (statement)
History
- 2026-11-02: add by m2/dev
Relative $L^2$ growth VV6C2B57T1
| URI | m2://inv/VV6C2B57T1 |
|---|---|
| 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.02714#4S7A, Relative $L^2$ growth (statement). In R9AXCJWK8F/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.12
VV6CWQY3RN VV6CWQY3RN
| URI | m2://inv/VV6CWQY3RN |
|---|---|
| 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 alg-geom/9506022#U6MF (statement). In AQGEM4XAKD/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
McNemar, Quinn VV6DPVCVW1
| URI | m2://inv/VV6DPVCVW1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#4FPX, McNemar, Quinn (topic)
History
- 2026-11-02: add by m2/dev
VV6FSKXEQN VV6FSKXEQN
| URI | m2://inv/VV6FSKXEQN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#1Z2S (statement). In B9EX6K51RD/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
VV6GHYS3W2 VV6GHYS3W2
| URI | m2://inv/VV6GHYS3W2 |
|---|---|
| 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 2301.02848#WZDW (statement). In G6WQDW52TJ/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.6
Terminology VV6JA8MQ0M
| URI | m2://inv/VV6JA8MQ0M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outline of regression analysis#H08B, Terminology (definition)
History
- 2026-11-02: add by m2/dev
VV6MFBWJXZ VV6MFBWJXZ
| URI | m2://inv/VV6MFBWJXZ |
|---|---|
| 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.06521#KOZ1 (statement). In NVXWD513NM/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
JFM (identifier) VV6SX3SNY6
| URI | m2://inv/VV6SX3SNY6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ZbMATH Open#D0TF, JFM (identifier) (unknown)
History
- 2026-11-02: add by m2/dev
VV73AQR8PC VV73AQR8PC
| URI | m2://inv/VV73AQR8PC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20049#2OL3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
VV763YS5T9 VV763YS5T9
| URI | m2://inv/VV763YS5T9 |
|---|---|
| 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#IG5L (statement). In SCSTR1Q1BW/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10
Surrogate model VV786JDRTK
| URI | m2://inv/VV786JDRTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#B55I, Surrogate model (definition)
History
- 2026-11-02: add by m2/dev
VV7BCQ7567 VV7BCQ7567
| URI | m2://inv/VV7BCQ7567 |
|---|---|
| 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.32475#4Y1X (statement). In 5N606WED8M/e1, corollary 6
History
- 2026-10-31: add by m2/v0.5.6
VV7KZV54RM VV7KZV54RM
| URI | m2://inv/VV7KZV54RM |
|---|---|
| Kind | definition |
| 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 1809.06512#1PHC (definition). In RY2X22P6XW/e1, definition 8
History
- 2026-10-27: add by m2/v0.3.5
VV7MTP02TA VV7MTP02TA
| URI | m2://inv/VV7MTP02TA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.19483#I4HZ (statement). In M2PEDAF7AX/e1, corollary 2.5
History
- 2026-10-27: add by m2/v0.3.5
counterpart theory VV7PS9B575
| URI | m2://inv/VV7PS9B575 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#GBYK, counterpart theory (definition)
History
- 2026-11-02: add by m2/dev
Upper leading-edge barrier VV7RZBERVK
| URI | m2://inv/VV7RZBERVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.33805#K7C0, Upper leading-edge barrier (statement). In XM98BX97RT/e1, lemma C.4
History
- 2026-10-30: add by m2/v0.4.12
Quantitative defect estimate VV7YY4YRCM
| URI | m2://inv/VV7YY4YRCM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16094#92LM, Quantitative defect estimate (statement). In RHBS9QDHC3/e1, lemma 5.12
History
- 2026-10-28: add by m2/v0.4.2
VV8B998Z33 VV8B998Z33
| URI | m2://inv/VV8B998Z33 |
|---|---|
| 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.25094#JWSA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Injury prevention VV8FNBWAA2
| URI | m2://inv/VV8FNBWAA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SK4N, Injury prevention (definition)
History
- 2026-11-02: add by m2/dev
VV8JR13K4S VV8JR13K4S
| URI | m2://inv/VV8JR13K4S |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/basic-representable.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 29.3
History
- 2026-11-01: add by m2/v0.6.13
Larson VV8N7KJTG8
| URI | m2://inv/VV8N7KJTG8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17547#T8YK, Larson (statement). In XJ59TDP4HA/e1, fact 2.9
History
- 2026-10-28: add by m2/v0.4.2
Example VV8NZ8YVAP
| URI | m2://inv/VV8NZ8YVAP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugacy class#F1IF, Example (example)
History
- 2026-11-02: add by m2/dev
De vi Centrifuga VV91J19TM0
| URI | m2://inv/VV91J19TM0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christiaan Huygens#EF51, De vi Centrifuga (unknown)
History
- 2026-11-02: add by m2/dev
Exact variety VV92BWGEMG
| URI | m2://inv/VV92BWGEMG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-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 2609.29683#UW0A, Exact variety (statement)
History
- 2026-11-01: add by m2/v0.6.15
VV98JVG3WQ VV98JVG3WQ
| URI | m2://inv/VV98JVG3WQ |
|---|---|
| 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.02912#LU4S (statement). In 2GP3PK3A0C/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.12
wave mechanics VV9B6NH144
| URI | m2://inv/VV9B6NH144 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3332153, wave mechanics (definition). Also ProofWiki Definition:Wave_Mechanics
History
- 2026-10-26: add by m2/dev
Topology Recovery Task VV9FGSJN89
| URI | m2://inv/VV9FGSJN89 |
|---|---|
| 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 2610.00019#I3QA, Topology Recovery Task (definition). In VJ09B3HRHQ/e1, definition 3
History
- 2026-10-30: add by m2/v0.4.12
Michael D. Atkinson VV9Q9S93KY
| URI | m2://inv/VV9Q9S93KY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LEJO, Michael D. Atkinson (topic)
History
- 2026-11-02: add by m2/dev
Theorem 1 of 1960 VV9RHFEGQQ
| URI | m2://inv/VV9RHFEGQQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Debreu's representation theorems#L03I, Theorem 1 of 1960 (statement)
History
- 2026-11-02: add by m2/dev
Expected extragradient step VV9WDDBFP7
| URI | m2://inv/VV9WDDBFP7 |
|---|---|
| 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.12641#IVO6, Expected extragradient step (statement). In X5BYGZZHPF/e1, lemma D.2
History
- 2026-10-28: add by m2/v0.4.2
Invertibility VV9YN53RFJ
| URI | m2://inv/VV9YN53RFJ |
|---|---|
| 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 2610.21675#FBNU, Invertibility (definition). In TB1294GY5X/e1, definition 1.3
History
- 2026-10-27: add by m2/v0.4.2
Examples VVA8KGN6SQ
| URI | m2://inv/VVA8KGN6SQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operad#1CMQ, Examples (example)
History
- 2026-11-02: add by m2/dev
geometric point VVA8MSE4DP
| URI | m2://inv/VVA8MSE4DP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#G77G, geometric point (definition)
History
- 2026-11-02: add by m2/dev
Orlicz–Pettis theorem VVAF6Y390J
| URI | m2://inv/VVAF6Y390J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#FSKO, Orlicz–Pettis theorem (statement)
History
- 2026-11-02: add by m2/dev
VVAMYVTHNX VVAMYVTHNX
| URI | m2://inv/VVAMYVTHNX |
|---|---|
| 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.08210#EDHQ (statement). In 7452X8HQ21/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
The actual unnormalized filter is admissible VVANGCRTP0
| URI | m2://inv/VVANGCRTP0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28985#M7PG, The actual unnormalized filter is admissible (statement)
History
- 2026-11-01: add by m2/v0.6.15
VVANGEYTX4 VVANGEYTX4
| URI | m2://inv/VVANGEYTX4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19464#V5JY (statement). In G8JCZ109A9/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Reduct VVARFT1S55
| URI | m2://inv/VVARFT1S55 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#MKEW, Reduct (definition)
History
- 2026-11-02: add by m2/dev
VVAY7THNPF VVAY7THNPF
| URI | m2://inv/VVAY7THNPF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.19483#H32N (statement). In M2PEDAF7AX/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
VVB27BC49F VVB27BC49F
| URI | m2://inv/VVB27BC49F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-8 (exercise). In E59CDZA4DP, exercise, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
Envelopes, regret, and sufficiency VVB3E0N3BN
| URI | m2://inv/VVB3E0N3BN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20789#Q6YI, Envelopes, regret, and sufficiency (statement)
History
- 2026-11-02: add by m2/v0.6.18
VVB5H87YGV VVB5H87YGV
| URI | m2://inv/VVB5H87YGV |
|---|---|
| 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.17411#F392 (statement). In 73QW05MWQB/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Henry Mann VVB7EZN340
| URI | m2://inv/VVB7EZN340 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#S6WD, Henry Mann (topic)
History
- 2026-11-02: add by m2/dev
VVBB2208TA VVBB2208TA
| URI | m2://inv/VVBB2208TA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/semantics/semantic-notions.tex#defn:restrict (definition). In PKGMM3P5QY, defn, section 32.6
History
- 2026-11-01: add by m2/v0.6.13
Induction on $\Nat$ VVBDQQWGB6
| URI | m2://inv/VVBDQQWGB6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/inductive-defs-proofs/introduction.tex#defn-3, Induction on $\Nat$ (definition). In PKGMM3P5QY, defn, section 79.4
History
- 2026-11-01: add by m2/v0.6.13
VVBJ2FXTW5 VVBJ2FXTW5
| URI | m2://inv/VVBJ2FXTW5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0804.0248#MB7F (example). In NG9HWAE79A/e1, example 4
History
- 2026-10-27: add by m2/v0.3.5
VVBKEWH65T VVBKEWH65T
| URI | m2://inv/VVBKEWH65T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39890#NE7V (definition). In GGVQ3B9KJ6/e1, definition 4
History
- 2026-10-30: add by m2/v0.4.12
VVBZGXJ3S0 VVBZGXJ3S0
| URI | m2://inv/VVBZGXJ3S0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01247#LJ8O (statement). In 6EVNCRZ118/e1, proposition 34
History
- 2026-10-29: add by m2/v0.4.12
Example VVC2AAMZVQ
| URI | m2://inv/VVC2AAMZVQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wheel factorization#MV2G, Example (example)
History
- 2026-11-02: add by m2/dev
Penrose Polynomial VVC323KAMJ
| URI | m2://inv/VVC323KAMJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q51159632, Penrose Polynomial (unknown). Also MathWorld PenrosePolynomial
History
- 2026-10-26: add by m2/dev
Early-stopping error, $\operatorname{TV}$ and $W_1$ VVC6S5SPQ0
| URI | m2://inv/VVC6S5SPQ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10875#0D7N, Early-stopping error, $\operatorname{TV}$ and $W_1$ (statement). In N91F15MHW1/e1, lemma 25
History
- 2026-10-28: add by m2/v0.4.3
VVC6XEJ64M VVC6XEJ64M
| URI | m2://inv/VVC6XEJ64M |
|---|---|
| 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.19288#15JF (statement). In 1EA6AM9V01/e1, theorem C.8
History
- 2026-10-28: add by m2/v0.4.2
Mari-Jo P. Ruiz VVC95NE04A
| URI | m2://inv/VVC95NE04A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mari-Jo P. Ruiz, Mari-Jo P. Ruiz (topic). Also Wikidata Q56437773
History
- 2026-11-02: add by m2/dev
Sacks's splitting theorem VVC9CQ28XQ
| URI | m2://inv/VVC9CQ28XQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedberg–Muchnik theorem#056P, Sacks's splitting theorem (statement)
History
- 2026-11-02: add by m2/dev
Harmonie universelle VVCDG0CZEN
| URI | m2://inv/VVCDG0CZEN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18857163, Harmonie universelle (unknown). Also ProofWiki Book:Marin_Mersenne/Harmonie_Universelle
History
- 2026-10-26: add by m2/dev
VVCE66B9A3 VVCE66B9A3
| URI | m2://inv/VVCE66B9A3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.13621#C3P1 (statement). In DG0EZ1BPV5/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
Theorem VVCH6PJS8N
| URI | m2://inv/VVCH6PJS8N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy's integral formula#J3K3, Theorem (statement)
History
- 2026-11-02: add by m2/dev
VVD0QRVPX5 VVD0QRVPX5
| URI | m2://inv/VVD0QRVPX5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13798#3JVG (definition). In GF2MA6Y29D/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
VVD1865W2K VVD1865W2K
| URI | m2://inv/VVD1865W2K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#defn-35 (definition). In VNMV985MXX, defn, section D
History
- 2026-11-01: add by m2/v0.6.13
Rolf Rannacher VVD680111S
| URI | m2://inv/VVD680111S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rolf Rannacher, Rolf Rannacher (topic). Also Wikidata Q23060124
History
- 2026-11-02: add by m2/dev
Conditional variance VVD9VZEK06
| URI | m2://inv/VVD9VZEK06 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MW5U, Conditional variance (definition)
History
- 2026-11-02: add by m2/dev
Time complexity VVDCR61ED7
| URI | m2://inv/VVDCR61ED7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time complexity, Time complexity (definition). Also Wikidata Q2393193
History
- 2026-11-02: add by m2/dev
Finite tomography VVDQZ08442
| URI | m2://inv/VVDQZ08442 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13951#ODT9, Finite tomography (statement). In BDV8G2CV16/e1, corollary 10
History
- 2026-10-28: add by m2/v0.4.2
Govindan Rangarajan VVDTFY2BFH
| URI | m2://inv/VVDTFY2BFH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Govindan Rangarajan, Govindan Rangarajan (topic). Also Wikidata Q97457577
History
- 2026-11-02: add by m2/dev
tail probability VVDVGT8N1Q
| URI | m2://inv/VVDVGT8N1Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122599145, tail probability (unknown). Also MathWorld TailProbability
History
- 2026-10-26: add by m2/dev
Example 2 VVDVXHSXQE
| URI | m2://inv/VVDVXHSXQE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic operator#H6NS, Example 2 (example)
History
- 2026-11-02: add by m2/dev
VVE0H27YKT VVE0H27YKT
| URI | m2://inv/VVE0H27YKT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#RG91 (statement). In WRE0P7V6Z3/e1, lemma 12.5
History
- 2026-10-30: add by m2/v0.4.12
VVE8CVD5DY VVE8CVD5DY
| URI | m2://inv/VVE8CVD5DY |
|---|---|
| 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.21632#DI7Z (statement). In Q4RZTN2EX6/e1, proposition 5.10
History
- 2026-10-27: add by m2/v0.4.2
Variance of level averages VVE97YFRG6
| URI | m2://inv/VVE97YFRG6 |
|---|---|
| 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#9INM, Variance of level averages (statement). In A20E8FZS21/e1, proposition 5.4
History
- 2026-10-28: add by m2/v0.4.2
VVEMTT9EDN VVEMTT9EDN
| URI | m2://inv/VVEMTT9EDN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00909#Z7L1 (statement). In Z4TD36VFPW/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
VVEPE8S4X6 VVEPE8S4X6
| URI | m2://inv/VVEPE8S4X6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#example-2 (example). In RZP28ERRZV, example, section 80.1
History
- 2026-11-01: add by m2/v0.6.13
Shoshichi Kobayashi VVET6XY8XF
| URI | m2://inv/VVET6XY8XF |
|---|---|
| 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#R2JL, Shoshichi Kobayashi (topic)
History
- 2026-11-02: add by m2/dev
VVEW2E9T0R VVEW2E9T0R
| URI | m2://inv/VVEW2E9T0R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28514#RRSR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Jury deliberation VVF0B0ST45
| URI | m2://inv/VVF0B0ST45 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deliberation#HG5D, Jury deliberation (unknown)
History
- 2026-11-02: add by m2/dev
VVFAD3ATEZ VVFAD3ATEZ
| URI | m2://inv/VVFAD3ATEZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17518#IGMR (statement). In YA4JEWTVS4/e1, theorem 6.6
History
- 2026-10-28: add by m2/v0.4.2
Dorothy Clarke VVFJZZTYGC
| URI | m2://inv/VVFJZZTYGC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Imitation Game#O8WX, Dorothy Clarke (unknown)
History
- 2026-11-02: add by m2/dev
Theorem VVFMYTKJWK
| URI | m2://inv/VVFMYTKJWK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach space#4PIS, Theorem (statement)
History
- 2026-11-02: add by m2/dev
VVFR8KB4S8 VVFR8KB4S8
| URI | m2://inv/VVFR8KB4S8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#prop-13 (statement). In E59CDZA4DP, prop, section 10.5.4
History
- 2026-11-01: add by m2/v0.6.13
GAUSS VVFTXQZR61
| URI | m2://inv/VVFTXQZR61 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#Q1PA, GAUSS (definition)
History
- 2026-11-02: add by m2/dev
Examples VVFWBARG1H
| URI | m2://inv/VVFWBARG1H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F-coalgebra#890D, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition VVG4RBJSYJ
| URI | m2://inv/VVG4RBJSYJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normed vector space#PC23, Definition (definition)
History
- 2026-11-02: add by m2/dev
VVG7DVTWJV VVG7DVTWJV
| URI | m2://inv/VVG7DVTWJV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11481#DBZI (statement). In 8XHK5ZCX7H/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.3
Boolean operations on polygons VVGCW5FFVZ
| URI | m2://inv/VVGCW5FFVZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean operations on polygons, Boolean operations on polygons (definition). Also Wikidata Q4943361
History
- 2026-11-02: add by m2/dev
Application VVGDVK5A4T
| URI | m2://inv/VVGDVK5A4T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torricelli's equation#OIMM, Application (example)
History
- 2026-11-02: add by m2/dev
VVGHF6BW30 VVGHF6BW30
| URI | m2://inv/VVGHF6BW30 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_posets_exercises.ptx#exercise-15 (exercise). In QKM9DD2H56, exercise, section 6
History
- 2026-11-01: add by m2/v0.6.13
bounded operator VVGJXZ5D34
| URI | m2://inv/VVGJXZ5D34 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2342396, bounded operator (unknown). Also EoM Bounded_operator, MathWorld BoundedOperator, nLab bounded operator
- wikipedia: Wikipedia Bounded operator, Bounded operator (definition). Also Wikidata Q2342396
History
- 2026-10-26: add by m2/dev
VVGNEQ3JFF VVGNEQ3JFF
| URI | m2://inv/VVGNEQ3JFF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#NKT6 (statement). In 9DQKY7KGE8/e1, proposition 4.21
History
- 2026-10-27: add by m2/v0.3.5
Computationally bounded adversary VVGQJSZZFW
| URI | m2://inv/VVGQJSZZFW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computationally bounded adversary, Computationally bounded adversary (definition). Also Wikidata Q17008711
History
- 2026-11-02: add by m2/dev
Example VVGX5DWPQV
| URI | m2://inv/VVGX5DWPQV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ershov number#BBLB, Example (example)
History
- 2026-11-02: add by m2/dev
Erdős–Gallai theorem VVH53XQCCG
| URI | m2://inv/VVH53XQCCG |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5385323, Erdős–Gallai theorem (statement). Also Wikidata Q5385323
- thousand_plus: thousand_plus Q5385323, Erdős–Gallai theorem (statement). Also Wikidata Q5385323, Wikipedia Erdős–Gallai theorem
- wikipedia: Wikipedia Erdős–Gallai theorem, Erdős–Gallai theorem (statement). Also Wikidata Q5385323
History
- 2026-10-26: add by m2/dev
VVH9027ERK VVH9027ERK
| URI | m2://inv/VVH9027ERK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30015#JHL3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Paul Kocher VVHA38PRFG
| URI | m2://inv/VVHA38PRFG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#I37Q, Paul Kocher (unknown)
History
- 2026-11-02: add by m2/dev
Dabeeru C. Rao VVHC5PPXMC
| URI | m2://inv/VVHC5PPXMC |
|---|---|
| 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#3B3I, Dabeeru C. Rao (unknown)
History
- 2026-11-02: add by m2/dev
Regina Liu VVHCFKAJDE
| URI | m2://inv/VVHCFKAJDE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#G19F, Regina Liu (topic)
History
- 2026-11-02: add by m2/dev
VVHHJJKD63 VVHHJJKD63
| URI | m2://inv/VVHHJJKD63 |
|---|---|
| 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 2604.05177#V9DF (statement). In G04BKQV6YM/e1, lemma 5.6
History
- 2026-10-27: add by m2/v0.3.5
Thomas Dyer Seeley VVHNFC8QF7
| URI | m2://inv/VVHNFC8QF7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0Z7V, Thomas Dyer Seeley (unknown)
History
- 2026-11-02: add by m2/dev
VVHT8FT9Q5 VVHT8FT9Q5
| URI | m2://inv/VVHT8FT9Q5 |
|---|---|
| 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 2108.09796#KNQM (statement). In NAA7WFQN20/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
VVJ05MZ2RS VVJ05MZ2RS
| URI | m2://inv/VVJ05MZ2RS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17139#OKP4 (definition). In AQWX60Z563/e1, definition A.8
History
- 2026-10-28: add by m2/v0.4.2
Smoothed Stark's Conjecture VVJ2NF6B4E
| URI | m2://inv/VVJ2NF6B4E |
|---|---|
| Kind | conjecture |
| 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#ADNR, Smoothed Stark's Conjecture (conjecture). In PRVQPSBVHK/e1, conjecture 3
History
- 2026-10-29: add by m2/v0.4.10
Relaxed arrival times in {{$\exgraph$ VVJ2T3H1K4
| URI | m2://inv/VVJ2T3H1K4 |
|---|---|
| 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.39269#TDIJ, Relaxed arrival times in {{$\exgraph$ (definition). In HS4X20TX33/e1, definition 0.32
History
- 2026-10-30: add by m2/v0.4.12
VVJ35JYG5K VVJ35JYG5K
| URI | m2://inv/VVJ35JYG5K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38206#MMGZ (statement). In F71MS1F637/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
VVJ35WH63H VVJ35WH63H
| URI | m2://inv/VVJ35WH63H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-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.21768#3LHQ (statement). In VD53W58DS1/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.4.2
Prime omega function VVJ3EYGVN5
| URI | m2://inv/VVJ3EYGVN5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime omega function, Prime omega function (definition). Also Wikidata Q55630466
History
- 2026-11-02: add by m2/dev
Sextic equation VVJD8SBW1Z
| URI | m2://inv/VVJD8SBW1Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sextic equation, Sextic equation (definition). Also Wikidata Q2083446
History
- 2026-11-02: add by m2/dev
Application: Newton's second law VVJMQFAZPQ
| URI | m2://inv/VVJMQFAZPQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Impulse (physics)#ATKS, Application: Newton's second law (statement)
History
- 2026-11-02: add by m2/dev
VVJSHNZJ4Z VVJSHNZJ4Z
| URI | m2://inv/VVJSHNZJ4Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#JNPS (statement). In RYWAX33Z51/e1, proposition 6.1
History
- 2026-10-31: add by m2/v0.5.6
Derivation of the CPT theorem VVJW2Y6QVH
| URI | m2://inv/VVJW2Y6QVH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CPT symmetry#A4Q0, Derivation of the CPT theorem (statement)
History
- 2026-11-02: add by m2/dev
Feedback linearization VVK2HC98T7
| URI | m2://inv/VVK2HC98T7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feedback linearization, Feedback linearization (definition). Also Wikidata Q672139
History
- 2026-11-02: add by m2/dev
VVKFYWKFZA VVKFYWKFZA
| URI | m2://inv/VVKFYWKFZA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40080#KVTU (statement). In 23PX5094CQ/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
VVM0VEED95 VVM0VEED95
| URI | m2://inv/VVM0VEED95 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/transpose.tex#prob:rank_Mdagger_M (exercise). In RZP28ERRZV, dproblem, section 61.6
History
- 2026-11-01: add by m2/v0.6.13
Random Liv\v sic Theorem VVM4KGJ9KN
| URI | m2://inv/VVM4KGJ9KN |
|---|---|
| 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 1612.08394#2F9H, Random Liv\v sic Theorem (statement). In 1P8D88DKG5/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
cardinality VVMHFR9P6A
| URI | m2://inv/VVMHFR9P6A |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.3.2/cardinality, cardinality (concept). In Y91XFCEVHQ, index, section 1.3.2
History
- 2026-11-01: add by m2/v0.6.13
VVNEXC0814 VVNEXC0814
| URI | m2://inv/VVNEXC0814 |
|---|---|
| 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.27393#54D4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
John Eccles VVNFQTQPH3
| URI | m2://inv/VVNFQTQPH3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#44QX, John Eccles (unknown)
History
- 2026-11-02: add by m2/dev
VVNMMY7NWC VVNMMY7NWC
| URI | m2://inv/VVNMMY7NWC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25435#JQ8L (definition)
History
- 2026-11-01: add by m2/v0.6.15
Further examples VVNP6DPD2P
| URI | m2://inv/VVNP6DPD2P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chain complex#T0IT, Further examples (example)
History
- 2026-11-02: add by m2/dev
Cramer–Shoup cryptosystem VVNVYEH8CT
| URI | m2://inv/VVNVYEH8CT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cramer–Shoup cryptosystem, Cramer–Shoup cryptosystem (definition). Also Wikidata Q1138784
History
- 2026-11-02: add by m2/dev
unimodular lattice VVNZGX5TW9
| URI | m2://inv/VVNZGX5TW9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2794475, unimodular lattice (unknown). Also LMFDB knowl lattice.unimodular
- wikipedia: Wikipedia Unimodular lattice, Unimodular lattice (definition). Also Wikidata Q2794475
History
- 2026-10-26: add by m2/dev
VVP0MQQVR6 VVP0MQQVR6
| URI | m2://inv/VVP0MQQVR6 |
|---|---|
| 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.16510#TF67 (statement). In V7SQ4VXCRX/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Pitman–Koopman–Darmois theorem VVP33SB413
| URI | m2://inv/VVP33SB413 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4LAO, Pitman–Koopman–Darmois theorem (definition)
History
- 2026-11-02: add by m2/dev
VVP821C1JP VVP821C1JP
| URI | m2://inv/VVP821C1JP |
|---|---|
| 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.35467#R4CL (statement). In FK89DQ9J4S/e1, lemma A.6
History
- 2026-10-30: add by m2/v0.4.12
multivariate kernel density estimation VVPBEGWNC4
| URI | m2://inv/VVPBEGWNC4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#55X4, multivariate kernel density estimation (definition)
History
- 2026-11-02: add by m2/dev
Hicksian demand function VVPEPRK3X9
| URI | m2://inv/VVPEPRK3X9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hicksian demand function, Hicksian demand function (definition). Also Wikidata Q204922
History
- 2026-11-02: add by m2/dev
Every query is the same location experiment VVPEYNNNTC
| URI | m2://inv/VVPEYNNNTC |
|---|---|
| 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.03633#YX86, Every query is the same location experiment (statement). In X3E4D61X4V/e1, lemma D.2
History
- 2026-10-29: add by m2/v0.4.12
List of topological invariants (topological properties) VVPPPEZX92
| URI | m2://inv/VVPPPEZX92 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#2Y4E, List of topological invariants (topological properties) (definition)
History
- 2026-11-02: add by m2/dev
topological space VVPYMNSKTA
| URI | m2://inv/VVPYMNSKTA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > topological space, topological space (unknown). Also Mathlib TopologicalSpace
History
- 2026-10-26: add by m2/dev
Largest-prime-norm decomposition VVQ6Z4CVRJ
| URI | m2://inv/VVQ6Z4CVRJ |
|---|---|
| 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.29748#PP5U, Largest-prime-norm decomposition (statement)
History
- 2026-11-01: add by m2/v0.6.15
VVQAE1181C VVQAE1181C
| URI | m2://inv/VVQAE1181C |
|---|---|
| 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.20656#PX1R (statement)
History
- 2026-11-02: add by m2/v0.6.18
Conforming realization of the counterexample VVQKR5FQD7
| URI | m2://inv/VVQKR5FQD7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29153#MO1P, Conforming realization of the counterexample (statement)
History
- 2026-11-01: add by m2/v0.6.15
Log-concavity VVQV7VXPVK
| URI | m2://inv/VVQV7VXPVK |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34260#7ZAC, Log-concavity (conjecture). In BBE69ZPVTF/e1, conjecture 6.1
History
- 2026-10-30: add by m2/v0.4.12
VVQX2EG1J9 VVQX2EG1J9
| URI | m2://inv/VVQX2EG1J9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04124#LP7V (statement). In DB9WCCW840/e1, corollary 0.3
History
- 2026-10-29: add by m2/v0.4.12
Elementary event VVQXDWMR19
| URI | m2://inv/VVQXDWMR19 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary event, Elementary event (definition). Also Wikidata Q1350385
History
- 2026-11-02: add by m2/dev
Necessity of identity VVQXQQD1Y4
| URI | m2://inv/VVQXQQD1Y4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruth Barcan Marcus#Q2I6, Necessity of identity (statement)
History
- 2026-11-02: add by m2/dev
Scale factor VVQZCCVEA3
| URI | m2://inv/VVQZCCVEA3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scale factor (cosmology), Scale factor (definition). Also Wikidata Q1332997
History
- 2026-11-02: add by m2/dev
Applications VVR35TWZV7
| URI | m2://inv/VVR35TWZV7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia D'Alembert operator#7IMT, Applications (example)
History
- 2026-11-02: add by m2/dev
Two directions with a common mixed derivative VVR4GWQWDQ
| URI | m2://inv/VVR4GWQWDQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#K86P, Two directions with a common mixed derivative (example). In 9YAE8FNQST/e1, example 20.5
History
- 2026-10-30: add by m2/v0.4.12
Raghunatha Siromani VVR8XK42C5
| URI | m2://inv/VVR8XK42C5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#VQ2F, Raghunatha Siromani (topic)
History
- 2026-11-02: add by m2/dev
Gravitational lens VVRHWXJP1S
| URI | m2://inv/VVRHWXJP1S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gravitational lens, Gravitational lens (definition). Also Wikidata Q185243
History
- 2026-11-02: add by m2/dev
Lazarus Fuchs VVRK1V3Z08
| URI | m2://inv/VVRK1V3Z08 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q61758, Lazarus Fuchs (unknown). Also nLab Lazarus Fuchs
- wikipedia: Wikipedia Lazarus Fuchs, Lazarus Fuchs (topic). Also Wikidata Q61758
History
- 2026-10-26: add by m2/dev
Outline of statistics VVRKBQQS5B
| URI | m2://inv/VVRKBQQS5B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outline of statistics, Outline of statistics (topic). Also Wikidata Q7112738
History
- 2026-11-02: add by m2/dev
Value distribution theory of holomorphic functions VVRS06YMVP
| URI | m2://inv/VVRS06YMVP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Value distribution theory of holomorphic functions, Value distribution theory of holomorphic functions (definition). Also Wikidata Q7912753
History
- 2026-11-02: add by m2/dev
VVS57MPT53 VVS57MPT53
| URI | m2://inv/VVS57MPT53 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20207#44MK (statement). In 1MPH7GCFJ2/e1, corollary 5.4
History
- 2026-10-27: add by m2/v0.4.2
VVS74S07CM VVS74S07CM
| URI | m2://inv/VVS74S07CM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19088#GA6J (statement). In 90QTB4CC31/e1, theorem 3.22
History
- 2026-10-28: add by m2/v0.4.2
finite-dimensionality VVS7GB44B6
| URI | m2://inv/VVS7GB44B6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Finite-dimensional vector spaces > finite-dimensionality, finite-dimensionality (unknown). Also Mathlib FiniteDimensional
- mathlib_undergrad: mathlib_undergrad Linear algebra > Finite-dimensional vector spaces > finite-dimensionality, finite-dimensionality (unknown). Also Mathlib FiniteDimensional
History
- 2026-10-26: add by m2/dev
VVSCM3KX3S VVSCM3KX3S
| URI | m2://inv/VVSCM3KX3S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23237#1R7Z (statement)
History
- 2026-11-02: add by m2/v0.6.17
Exact gauge reduction and unique ground state VVSFR38ZCH
| URI | m2://inv/VVSFR38ZCH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14081#2EKJ, Exact gauge reduction and unique ground state (statement). In DCCKKQ7Y21/e1, theorem IV.2
History
- 2026-10-28: add by m2/v0.4.2
A parking function with partial inverse descent set VVSH7VYR28
| URI | m2://inv/VVSH7VYR28 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 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 2609.20567#HBRJ, A parking function with partial inverse descent set (example)
History
- 2026-11-02: add by m2/v0.6.18
Small $t$ lower bound under trial heterogeneity VVSHG6QN4Q
| URI | m2://inv/VVSHG6QN4Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04135#NY1H, Small $t$ lower bound under trial heterogeneity (statement). In 587PWJ6W5D/e1, corollary 7
History
- 2026-10-29: add by m2/v0.4.12
Doubly triangular number VVSMQTJB8Y
| URI | m2://inv/VVSMQTJB8Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q105044211, Doubly triangular number (object). Also OEIS A002817
- wikipedia: Wikipedia Doubly triangular number, Doubly triangular number (definition). Also Wikidata Q105044211
History
- 2026-10-26: add by m2/dev
Markov inequality VVSRJ40WD4
| URI | m2://inv/VVSRJ40WD4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Convergence of a sequence of random variables > Markov inequality, Markov inequality (unknown). Also Mathlib MeasureTheory.mul_meas_ge_le_lintegral
- mathlib_undergrad: mathlib_undergrad Probability Theory > Convergence of a sequence of random variables > Markov inequality, Markov inequality (unknown). Also Mathlib MeasureTheory.mul_meas_ge_le_lintegral
History
- 2026-10-26: add by m2/dev
Neptune VVT0A8RYBR
| URI | m2://inv/VVT0A8RYBR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q332, Neptune (definition). Also ProofWiki Definition:Neptune
History
- 2026-10-26: add by m2/dev
VVT5142XRW VVT5142XRW
| URI | m2://inv/VVT5142XRW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#UL6Q (definition). In M4ZVJWM8YA/e1, definition 6.1
History
- 2026-10-27: add by m2/v0.4.2
VVTABKB7YC VVTABKB7YC
| URI | m2://inv/VVTABKB7YC |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 16-XX, 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13532#LYB0 (problem). In 9B0X8YPF3P/e1, problem 11.2
History
- 2026-10-28: add by m2/v0.4.2
Functional square root VVTE1NWR9H
| URI | m2://inv/VVTE1NWR9H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional square root, Functional square root (definition). Also Wikidata Q3890203
History
- 2026-11-02: add by m2/dev
VVTE50D3G3 VVTE50D3G3
| URI | m2://inv/VVTE50D3G3 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/bezout.tex#proof-3 (proof). In RZP28ERRZV, proof, section 20.2
History
- 2026-11-01: add by m2/v0.6.13
dimension VVTNRSW0W8
| URI | m2://inv/VVTNRSW0W8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6/dimension, dimension (concept). In QKM9DD2H56, index, section 6
History
- 2026-11-01: add by m2/v0.6.13
Locally finite rooted tree VVV82MG14D
| URI | m2://inv/VVV82MG14D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tree (graph theory)#5CG1, Locally finite rooted tree (unknown)
History
- 2026-11-02: add by m2/dev
VVVCD387XW VVVCD387XW
| URI | m2://inv/VVVCD387XW |
|---|---|
| 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.16989#ZATS (statement). In 4769XNDWYS/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
VVVEAZJEBD VVVEAZJEBD
| URI | m2://inv/VVVEAZJEBD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05973#RINK (statement). In APGTNJ233H/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
VVVG0CE4C3 VVVG0CE4C3
| URI | m2://inv/VVVG0CE4C3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07285#C4KV (statement). In S284XRA4WK/e1, lemma B.2
History
- 2026-10-29: add by m2/v0.4.10
VVVG5MT0ZN VVVG5MT0ZN
| URI | m2://inv/VVVG5MT0ZN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/inverses.tex#prop:left-right (statement). In PKGMM3P5QY, prop, section 79.1
History
- 2026-11-01: add by m2/v0.6.13
Offset logarithmic integral VVW3A3P87R
| URI | m2://inv/VVW3A3P87R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#S7T1, Offset logarithmic integral (definition)
History
- 2026-11-02: add by m2/dev
Definitions VVW883F1V4
| URI | m2://inv/VVW883F1V4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reduction strategy#LWA0, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Inoue–Hirzebruch surface VVW8VAPG55
| URI | m2://inv/VVW8VAPG55 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inoue–Hirzebruch surface, Inoue–Hirzebruch surface (definition). Also Wikidata Q6036692
History
- 2026-11-02: add by m2/dev
VVWK5KW5BH VVWK5KW5BH
| URI | m2://inv/VVWK5KW5BH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15847#HY9A (statement). In BTV3DAMX28/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
VVWMYSETS2 VVWMYSETS2
| URI | m2://inv/VVWMYSETS2 |
|---|---|
| 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.25291#JSS1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
VVWN63CMJ0 VVWN63CMJ0
| URI | m2://inv/VVWN63CMJ0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/fourier.tex#exercise-5 (exercise). In RZP28ERRZV, exercise, section 59.3.3
History
- 2026-11-01: add by m2/v0.6.13
VVWP2ZZ41Q VVWP2ZZ41Q
| URI | m2://inv/VVWP2ZZ41Q |
|---|---|
| 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 2303.14022#SQ8U (statement). In NSYR6W27FP/e1, lemma 2.13
History
- 2026-10-27: add by m2/v0.3.5
Sparse binary polynomial hashing VVWQ7KP79Q
| URI | m2://inv/VVWQ7KP79Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UWQ7, Sparse binary polynomial hashing (definition)
History
- 2026-11-02: add by m2/dev
VVXE03PMKT VVXE03PMKT
| URI | m2://inv/VVXE03PMKT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.00798#I6YQ (statement). In FANG3A8NZ9/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
VVXG1YH39B VVXG1YH39B
| URI | m2://inv/VVXG1YH39B |
|---|---|
| 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.09648#XF5B (statement). In WB9PTPN54H/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Thue--Siegel--Roth VVXM75NXCC
| URI | m2://inv/VVXM75NXCC |
|---|---|
| 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.17589#THXH, Thue--Siegel--Roth (statement). In GSTK4569X1/e1, lemma 7.2
History
- 2026-10-28: add by m2/v0.4.2
Conjunctive grammar VVXW8XZYM4
| URI | m2://inv/VVXW8XZYM4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjunctive grammar, Conjunctive grammar (definition). Also Wikidata Q5161176
History
- 2026-11-02: add by m2/dev
Hahn–Kolmogorov theorem VVXX6F9Z7W
| URI | m2://inv/VVXX6F9Z7W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#KV8T, Hahn–Kolmogorov theorem (statement)
History
- 2026-11-02: add by m2/dev
The group data used in surgery VVY139H2V5
| URI | m2://inv/VVY139H2V5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29839#0LHW, The group data used in surgery (statement)
History
- 2026-11-01: add by m2/v0.6.15
VVY3EZ5E7D VVY3EZ5E7D
| URI | m2://inv/VVY3EZ5E7D |
|---|---|
| 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.18270#NSHT (definition). In CPDMYJ0NJV/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Jekuthiel Ginsburg VVYE2WSMMK
| URI | m2://inv/VVYE2WSMMK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#HPIE, Jekuthiel Ginsburg (topic)
History
- 2026-11-02: add by m2/dev
VVYJREDX41 VVYJREDX41
| URI | m2://inv/VVYJREDX41 |
|---|---|
| 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#F22Q (statement). In WK2YHYEDZ9/e1, fact 2.1
History
- 2026-10-30: add by m2/v0.4.12
VVYK45E390 VVYK45E390
| URI | m2://inv/VVYK45E390 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13913#IMU9 (statement). In BW5GVH97JE/e1, proposition 3.11
History
- 2026-10-28: add by m2/v0.4.2
VVYP4JXBQC VVYP4JXBQC
| URI | m2://inv/VVYP4JXBQC |
|---|---|
| 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.31274#CM1E (statement). In RK0ZMDJ23T/e1, lemma 2.1.4
History
- 2026-10-31: add by m2/v0.5.6
VVYQNMGG8T VVYQNMGG8T
| URI | m2://inv/VVYQNMGG8T |
|---|---|
| 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 2404.06445#TH4C (statement). In 12JKZ8EN52/e1, corollary 8.17
History
- 2026-10-27: add by m2/v0.3.5
Tarski's problems for free groups VVYR0H9MW9
| URI | m2://inv/VVYR0H9MW9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alfred Tarski#3QAO, Tarski's problems for free groups (definition)
History
- 2026-11-02: add by m2/dev
VVYVCJ108T VVYVCJ108T
| URI | m2://inv/VVYVCJ108T |
|---|---|
| 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 1904.09810#OD1W (statement). In T1VFA7TXPA/e1, lemma 70
History
- 2026-10-27: add by m2/v0.3.5
Sorin Popa VVYY78DNAT
| URI | m2://inv/VVYY78DNAT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8DJY, Sorin Popa (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LNW8, Sorin Popa (unknown)
History
- 2026-11-02: add by m2/dev
Applications VVZ09ZE8KK
| URI | m2://inv/VVZ09ZE8KK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Motions in the time-frequency distribution#7XC0, Applications (example)
History
- 2026-11-02: add by m2/dev
Minimum-Norm Bound VVZ1HRNQ49
| URI | m2://inv/VVZ1HRNQ49 |
|---|---|
| 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.21935#ET7D, Minimum-Norm Bound (statement). In YDNK7E99JW/e1, lemma 4
History
- 2026-10-27: add by m2/v0.4.2
VVZF6DG4TD VVZF6DG4TD
| URI | m2://inv/VVZF6DG4TD |
|---|---|
| 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.27270#1ART (statement)
History
- 2026-11-01: add by m2/v0.6.15
VVZKVSY3RV VVZKVSY3RV
| URI | m2://inv/VVZKVSY3RV |
|---|---|
| Kind | statement |
| 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#4AI3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
VVZRRSE6J6 VVZRRSE6J6
| URI | m2://inv/VVZRRSE6J6 |
|---|---|
| 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.17691#6U11 (statement). In AT8VD3XB8M/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
VVZS1NSZFF VVZS1NSZFF
| URI | m2://inv/VVZS1NSZFF |
|---|---|
| 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.04583#3N67 (statement). In Y6774ZB8TE/e1, theorem A.1
History
- 2026-10-29: add by m2/v0.4.12