Inventory rows VQ
The cards of the rows of the inventory whose ids start with VQ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Uses VQ02G1YDTF
| URI | m2://inv/VQ02G1YDTF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amplitwist#3740, Uses (example)
History
- 2026-11-02: add by m2/dev
VQ02HG7MYY VQ02HG7MYY
| URI | m2://inv/VQ02HG7MYY |
|---|---|
| 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#G102 (statement). In E4DJTPKHAX/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.4.2
VQ0331XTVW VQ0331XTVW
| URI | m2://inv/VQ0331XTVW |
|---|---|
| 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.24353#99BO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Zu Gengzhi VQ04P989E3
| URI | m2://inv/VQ04P989E3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#3U7X, Zu Gengzhi (topic)
History
- 2026-11-02: add by m2/dev
VQ06PE5T29 VQ06PE5T29
| URI | m2://inv/VQ06PE5T29 |
|---|---|
| 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#G7EH (statement). In R6ABTE22G0/e1, lemma 18
History
- 2026-10-31: add by m2/v0.5.6
VQ07KMRB0M VQ07KMRB0M
| URI | m2://inv/VQ07KMRB0M |
|---|---|
| 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 2409.19687#8ZFX (statement). In GWP0HYMDE3/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.6
Minimum Sudoku problem VQ0B2M8EBV
| URI | m2://inv/VQ0B2M8EBV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Experimental mathematics#SZ28, Minimum Sudoku problem (unknown)
History
- 2026-11-02: add by m2/dev
VQ0BVANCAV VQ0BVANCAV
| URI | m2://inv/VQ0BVANCAV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20894#N880 (statement)
History
- 2026-11-02: add by m2/v0.6.18
VQ0J9R9ZH2 VQ0J9R9ZH2
| URI | m2://inv/VQ0J9R9ZH2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#A1JY (definition). In A1GWWGRXPA/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.2
apocopated VQ0JX64SAA
| URI | m2://inv/VQ0JX64SAA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#W3DP, apocopated (definition)
History
- 2026-11-02: add by m2/dev
Statement VQ0VNRMJ2N
| URI | m2://inv/VQ0VNRMJ2N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bennett's inequality#OCYA, Statement (statement)
History
- 2026-11-02: add by m2/dev
Zhu Shijie VQ0X2MZ5KJ
| URI | m2://inv/VQ0X2MZ5KJ |
|---|---|
| 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 Q198126, Zhu Shijie (unknown). Also ProofWiki Mathematician:Chu_Shih-Chieh
History
- 2026-10-26: add by m2/dev
Relation to Gauss's inequality VQ1A0SW3AX
| URI | m2://inv/VQ1A0SW3AX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vysochanskij–Petunin inequality#Y4QT, Relation to Gauss's inequality (statement)
History
- 2026-11-02: add by m2/dev
Beno Eckmann VQ1B2R1CA7
| URI | m2://inv/VQ1B2R1CA7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#J39I, Beno Eckmann (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SDZ9, Beno Eckmann (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#X2SG, Beno Eckmann (topic)
History
- 2026-11-02: add by m2/dev
Statistical arbitrage VQ1G2VZCJH
| URI | m2://inv/VQ1G2VZCJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TT5D, Statistical arbitrage (definition)
History
- 2026-11-02: add by m2/dev
VQ1PCR8K23 VQ1PCR8K23
| URI | m2://inv/VQ1PCR8K23 |
|---|---|
| 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.36300#HNCS (statement). In MNWD3Y6W56/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Exact reduction of clause (v) to clause (iv VQ1QDWDVK7
| URI | m2://inv/VQ1QDWDVK7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#CHJY, Exact reduction of clause (v) to clause (iv (statement)
History
- 2026-11-01: add by m2/v0.6.15
An example VQ1T6FW4W5
| URI | m2://inv/VQ1T6FW4W5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Packing dimension#NT9D, An example (example)
History
- 2026-11-02: add by m2/dev
Ruth Pfeiffer VQ1X9GK422
| URI | m2://inv/VQ1X9GK422 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruth Pfeiffer, Ruth Pfeiffer (topic). Also Wikidata Q90909936
History
- 2026-11-02: add by m2/dev
pullback of the basis functions, Bernstein VQ2AAEA6H5
| URI | m2://inv/VQ2AAEA6H5 |
|---|---|
| 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.39511#TSXG, pullback of the basis functions, Bernstein (statement). In 6W9H24A378/e1, corollary 10
History
- 2026-10-30: add by m2/v0.4.12
Miriam Cohen VQ2CD3792A
| URI | m2://inv/VQ2CD3792A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#CUDI, Miriam Cohen (topic)
History
- 2026-11-02: add by m2/dev
VQ2P8WDTS5 VQ2P8WDTS5
| URI | m2://inv/VQ2P8WDTS5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 35-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26058#NIJO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Orlicz sequence space VQ2S9PHJPB
| URI | m2://inv/VQ2S9PHJPB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orlicz sequence space, Orlicz sequence space (definition). Also Wikidata Q65083627
History
- 2026-11-02: add by m2/dev
Formulas VQ353E6Z40
| URI | m2://inv/VQ353E6Z40 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great icosahedron#C5U9, Formulas (statement)
History
- 2026-11-02: add by m2/dev
Four Buttes, Montana VQ3BZ3XQWM
| URI | m2://inv/VQ3BZ3XQWM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#2H7N, Four Buttes, Montana (unknown)
History
- 2026-11-02: add by m2/dev
Theorem (Milnor, 1958) VQ3D7609Y5
| URI | m2://inv/VQ3D7609Y5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milnor–Wood inequality#FXK1, Theorem (Milnor, 1958) (statement)
History
- 2026-11-02: add by m2/dev
Examples VQ3QX04EMV
| URI | m2://inv/VQ3QX04EMV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Càdlàg#44ET, Examples (example)
History
- 2026-11-02: add by m2/dev
Formulation VQ3RFBNCDT
| URI | m2://inv/VQ3RFBNCDT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sommerfeld radiation condition#PRSX, Formulation (definition)
History
- 2026-11-02: add by m2/dev
VQ3TT9Y4EQ VQ3TT9Y4EQ
| URI | m2://inv/VQ3TT9Y4EQ |
|---|---|
| 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.09506#G1C2 (statement). In AQC7E6RAT4/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
VQ3WDRVHJH VQ3WDRVHJH
| URI | m2://inv/VQ3WDRVHJH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22082#AA8N (statement). In 7PACGDW3N7/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.4.0
VQ3XNJP9V5 VQ3XNJP9V5
| URI | m2://inv/VQ3XNJP9V5 |
|---|---|
| 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.03081#IV7S (statement). In TX0H26X4VX/e1, proposition 6.9
History
- 2026-10-29: add by m2/v0.4.12
VQ49BW1X64 VQ49BW1X64
| URI | m2://inv/VQ49BW1X64 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/sequences.tex#prop-2 (statement). In PKGMM3P5QY, prop, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
VQ4CKD3YRN VQ4CKD3YRN
| URI | m2://inv/VQ4CKD3YRN |
|---|---|
| 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.35030#AY30 (statement). In DPT4P2BTEW/e1, proposition 2.8
History
- 2026-10-30: add by m2/v0.4.12
VQ4DFRPA80 VQ4DFRPA80
| URI | m2://inv/VQ4DFRPA80 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#0JON (statement). In CGA36VE1C5/e1, lemma 3.8.3
History
- 2026-10-27: add by m2/v0.3.6
``Energy-Independent" Tomography via Iterative Unsqueezing, Theorem 3 VQ4Q8HBYNK
| URI | m2://inv/VQ4Q8HBYNK |
|---|---|
| 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.06810#NFRF, ``Energy-Independent" Tomography via Iterative Unsqueezing, Theorem 3 (statement). In 1NY2SA03XF/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
Colding--Minicozzi VQ4QTDB0GT
| URI | m2://inv/VQ4QTDB0GT |
|---|---|
| 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.01324#ID0C, Colding--Minicozzi (statement). In XKXG49TNXH/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.6
VQ4ZM6CBXY VQ4ZM6CBXY
| URI | m2://inv/VQ4ZM6CBXY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00562#M7AQ (definition). In 99CQPHSSYF/e1, definition Definition
History
- 2026-10-27: add by m2/v0.3.5
VQ5533RAC7 VQ5533RAC7
| URI | m2://inv/VQ5533RAC7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2503.19528#H19D (statement). In EM5955MDHN/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.3.5
Exact moments VQ5F2TFEEK
| URI | m2://inv/VQ5F2TFEEK |
|---|---|
| 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.27200#Y8EZ, Exact moments (statement)
History
- 2026-11-01: add by m2/v0.6.15
Inner Loop Feasibility VQ5RWYJHF5
| URI | m2://inv/VQ5RWYJHF5 |
|---|---|
| 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.00738#VSVB, Inner Loop Feasibility (statement). In 4TF7XCXPZ2/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
Reducedness under morphisms in \(\mathbf{UBP}\ VQ5VVNWF1Q
| URI | m2://inv/VQ5VVNWF1Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#CVU9, Reducedness under morphisms in \(\mathbf{UBP}\ (statement). In HX63A1PH1W/e1, proposition 5.42
History
- 2026-10-28: add by m2/v0.4.3
Properties VQ5ZDBKV6P
| URI | m2://inv/VQ5ZDBKV6P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snub square antiprism#GJMG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Vector autoregressive model VQ63ZD233A
| URI | m2://inv/VQ63ZD233A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#F2NS, Vector autoregressive model (definition)
History
- 2026-11-02: add by m2/dev
Informal VQ669GVGKG
| URI | m2://inv/VQ669GVGKG |
|---|---|
| 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.16705#OR5J, Informal (statement). In B48YQVGAF5/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
VQ66G3ZATY VQ66G3ZATY
| URI | m2://inv/VQ66G3ZATY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.16669#3ESQ (statement). In 1463YCCRP5/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.4.0
Tube domain VQ6BDVVN98
| URI | m2://inv/VQ6BDVVN98 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tube domain, Tube domain (definition). Also Wikidata Q17104332
History
- 2026-11-02: add by m2/dev
HP-45 VQ6BS47BDH
| URI | m2://inv/VQ6BS47BDH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HP-45, HP-45 (definition). Also Wikidata Q5635557
History
- 2026-11-02: add by m2/dev
VQ6DAAKPT9 VQ6DAAKPT9
| URI | m2://inv/VQ6DAAKPT9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05299#R107 (statement). In 68AE571S4P/e1, proposition 4.17
History
- 2026-10-29: add by m2/v0.4.10
Point-normal triangle VQ6NGK6DSH
| URI | m2://inv/VQ6NGK6DSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point-normal triangle, Point-normal triangle (definition). Also Wikidata Q55648500
History
- 2026-11-02: add by m2/dev
Paula Williamson VQ6PAFTM6R
| URI | m2://inv/VQ6PAFTM6R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paula Williamson, Paula Williamson (topic). Also Wikidata Q21264497
History
- 2026-11-02: add by m2/dev
Blotto games VQ6R7BM3CH
| URI | m2://inv/VQ6R7BM3CH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1280481, Blotto games (definition). Also ProofWiki Definition:Blotto
- wikipedia: Wikipedia Blotto game, Blotto game (definition). Also Wikidata Q1280481
History
- 2026-10-26: add by m2/dev
VQ6W1JSG1H VQ6W1JSG1H
| URI | m2://inv/VQ6W1JSG1H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13518#Y5MK (statement). In 613TY6V089/e1, lemma 12
History
- 2026-10-28: add by m2/v0.4.2
VQ6ZKF2PNC VQ6ZKF2PNC
| URI | m2://inv/VQ6ZKF2PNC |
|---|---|
| Kind | example |
| 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.23605#Q9P4 (example)
History
- 2026-11-02: add by m2/v0.6.17
Bierlein's measure extension theorem VQ70R3QZF4
| URI | m2://inv/VQ70R3QZF4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bierlein's measure extension theorem, Bierlein's measure extension theorem (statement). Also Wikidata Q124326556
History
- 2026-11-02: add by m2/dev
Ludwig van Beethoven VQ71GCZPD7
| URI | m2://inv/VQ71GCZPD7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works designed with the golden ratio#XA2H, Ludwig van Beethoven (unknown)
History
- 2026-11-02: add by m2/dev
free points on faithful curves VQ71SVK319
| URI | m2://inv/VQ71SVK319 |
|---|---|
| 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.09298#RCPG, free points on faithful curves (statement). In 1SPQ4J3AWY/e1, corollary 4.10
History
- 2026-10-29: add by m2/v0.4.10
VQ73H83JHV VQ73H83JHV
| URI | m2://inv/VQ73H83JHV |
|---|---|
| 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 2609.23202#6QZ2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
VQ75NFXGT5 VQ75NFXGT5
| URI | m2://inv/VQ75NFXGT5 |
|---|---|
| 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 2112.14455#WM1Y (statement). In VDE5R8HBS1/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
VQ7B40WDJ6 VQ7B40WDJ6
| URI | m2://inv/VQ7B40WDJ6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20894#53TQ (definition)
History
- 2026-11-02: add by m2/v0.6.18
Topkis' Theorem VQ7C8WYSET
| URI | m2://inv/VQ7C8WYSET |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong set order#J853, Topkis' Theorem (statement)
History
- 2026-11-02: add by m2/dev
VQ7JHZHX0G VQ7JHZHX0G
| URI | m2://inv/VQ7JHZHX0G |
|---|---|
| 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.03011#LA40 (definition). In VE8FB6K8EN/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Breakdown point VQ7JJF83M2
| URI | m2://inv/VQ7JJF83M2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robust statistics#O08L, Breakdown point (unknown)
History
- 2026-11-02: add by m2/dev
Price’s theorem VQ7SS352ZA
| URI | m2://inv/VQ7SS352ZA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard H. Price#5NRH, Price’s theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition VQ7SSF28C5
| URI | m2://inv/VQ7SSF28C5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cantor function#U2UP, Definition (definition)
History
- 2026-11-02: add by m2/dev
Metallic mean VQ7W55RAC6
| URI | m2://inv/VQ7W55RAC6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metallic mean, Metallic mean (definition). Also Wikidata Q11634820
History
- 2026-11-02: add by m2/dev
VQ7ZBZFV3H VQ7ZBZFV3H
| URI | m2://inv/VQ7ZBZFV3H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34813#UQRG (statement). In P3V3ZGCHV7/e1, proposition 3.8
History
- 2026-10-30: add by m2/v0.4.12
Symplectic Cutting and Gluing Law VQ801SM94D
| URI | m2://inv/VQ801SM94D |
|---|---|
| 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.03384#7R7S, Symplectic Cutting and Gluing Law (statement). In J55JTTKG84/e1, proposition 5.4
History
- 2026-10-29: add by m2/v0.4.12
undamped motion VQ81VW3RN5
| URI | m2://inv/VQ81VW3RN5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.4.1/undamped-motion, undamped motion (concept). In E9HS8K3A52, index, section 6.4.1
History
- 2026-11-01: add by m2/v0.6.13
Ordinal number VQ81ZRZVP3
| URI | m2://inv/VQ81ZRZVP3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#R6MJ, Ordinal number (definition)
History
- 2026-11-02: add by m2/dev
Notation VQ83H2S0J2
| URI | m2://inv/VQ83H2S0J2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamilton–Jacobi equation#9EL7, Notation (definition)
History
- 2026-11-02: add by m2/dev
Definition and properties VQ8B4N11EV
| URI | m2://inv/VQ8B4N11EV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circulation (physics)#WZC1, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
VQ8NNNEVA2 VQ8NNNEVA2
| URI | m2://inv/VQ8NNNEVA2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2608.17785#QWAQ (statement). In H3FDP8S1Z7/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Markov chain Monte Carlo VQ8QNXNXA7
| URI | m2://inv/VQ8QNXNXA7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4JG0, Markov chain Monte Carlo (definition)
History
- 2026-11-02: add by m2/dev
VQ8TKZ611K VQ8TKZ611K
| URI | m2://inv/VQ8TKZ611K |
|---|---|
| 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.18358#EIZV (definition). In SPZ446XNDW/e1, definition 3.3
History
- 2026-10-28: add by m2/v0.4.2
VQ8VZ3B4TP VQ8VZ3B4TP
| URI | m2://inv/VQ8VZ3B4TP |
|---|---|
| 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.21513#QU46 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Ionel--Parker VQ8XC4JFZP
| URI | m2://inv/VQ8XC4JFZP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10828#O6W9, Ionel--Parker (statement). In 8PTDFHV8SQ/e1, theorem 14.11
History
- 2026-10-28: add by m2/v0.4.3
VQ947E20JQ VQ947E20JQ
| URI | m2://inv/VQ947E20JQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08658#9BS5 (statement). In 7PK5WS7246/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
ABA digital signature guidelines VQ9Z81PDET
| URI | m2://inv/VQ9Z81PDET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ABA digital signature guidelines, ABA digital signature guidelines (definition). Also Wikidata Q4650025
History
- 2026-11-02: add by m2/dev
Elashoff, Janet D. VQA2MC79DP
| URI | m2://inv/VQA2MC79DP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#WI4P, Elashoff, Janet D. (topic)
History
- 2026-11-02: add by m2/dev
Kuratowski's Theorem VQABFTHRW7
| URI | m2://inv/VQABFTHRW7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_planar.ptx#thm_kuratowski, Kuratowski's Theorem (statement). In QKM9DD2H56, theorem, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
Text analytics VQAJSDQPH4
| URI | m2://inv/VQAJSDQPH4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#67BM, Text analytics (definition)
History
- 2026-11-02: add by m2/dev
Gardner-Altman plot VQANTTMTQ8
| URI | m2://inv/VQANTTMTQ8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Estimation statistics#7WUK, Gardner-Altman plot (unknown)
History
- 2026-11-02: add by m2/dev
Applications VQAP4F2JHR
| URI | m2://inv/VQAP4F2JHR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Funk transform#DTM6, Applications (example)
History
- 2026-11-02: add by m2/dev
Spectral gap conjecture VQAPVYKV57
| URI | m2://inv/VQAPVYKV57 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral gap conjecture, Spectral gap conjecture (statement). Also Wikidata Q138775663
History
- 2026-11-02: add by m2/dev
VQASDH57TM VQASDH57TM
| URI | m2://inv/VQASDH57TM |
|---|---|
| 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.16235#ZDDN (statement). In RNGNWGMX85/e1, proposition 3.14
History
- 2026-10-28: add by m2/v0.4.2
VQAT07Y3FZ VQAT07Y3FZ
| URI | m2://inv/VQAT07Y3FZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/quasi-proj.tex#thm:affine_global_polynomial (statement). In RZP28ERRZV, theorem, section 24.2.1
History
- 2026-11-01: add by m2/v0.6.13
Implementations VQAVF4YMEM
| URI | m2://inv/VQAVF4YMEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Davies–Bouldin index#UC79, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Vanishing of the Lee-derivative contraction VQAW9J6YHH
| URI | m2://inv/VQAW9J6YHH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#DC15, Vanishing of the Lee-derivative contraction (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples VQAWZ0P03G
| URI | m2://inv/VQAWZ0P03G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chabauty topology#CTBS, Examples (example)
History
- 2026-11-02: add by m2/dev
Heun lower bounds on an oscillatory target VQAXGKS0NF
| URI | m2://inv/VQAXGKS0NF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06308#NTF9, Heun lower bounds on an oscillatory target (statement). In HTWSDDAWGS/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
VQAZKGGHZQ VQAZKGGHZQ
| URI | m2://inv/VQAZKGGHZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20991#U1WY (statement). In H98ZC5YBSD/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.4.2
Mark Haiman VQB436JGXW
| URI | m2://inv/VQB436JGXW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XDA6, Mark Haiman (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QCUE, Mark Haiman (unknown)
History
- 2026-11-02: add by m2/dev
Log-determinant stability VQB4444S51
| URI | m2://inv/VQB4444S51 |
|---|---|
| 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.08152#3VG4, Log-determinant stability (statement). In T1GYQ6SCCZ/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Inheritances of isomorphism conjectures VQBDHM6JV3
| URI | m2://inv/VQBDHM6JV3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Farrell–Jones conjecture#ZXK3, Inheritances of isomorphism conjectures (statement)
History
- 2026-11-02: add by m2/dev
normal jumps carried by the scalar potential VQBP4CFAK3
| URI | m2://inv/VQBP4CFAK3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08016#8O60, normal jumps carried by the scalar potential (statement). In YR3CSTYEJW/e1, proposition 5.8
History
- 2026-10-29: add by m2/v0.4.10
recursion principle, for truncation VQBRAEBYBR
| URI | m2://inv/VQBRAEBYBR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.3/recursion-principle-for-truncation, recursion principle, for truncation (concept). In N54F33XE07, index, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
VQBX0GHJC2 VQBX0GHJC2
| URI | m2://inv/VQBX0GHJC2 |
|---|---|
| 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#E9PP (statement)
History
- 2026-11-01: add by m2/v0.6.15
VQBXNV0WT8 VQBXNV0WT8
| URI | m2://inv/VQBXNV0WT8 |
|---|---|
| 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.00443#0GZ6 (statement). In ZRNVBFH3ZS/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
A cut move VQBZCEVNVM
| URI | m2://inv/VQBZCEVNVM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.03763#8A7D, A cut move (statement). In ARZ4X5PXXC/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.12
Definition VQC52EFECZ
| URI | m2://inv/VQC52EFECZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lexicographic order#IH8Y, Definition (definition)
History
- 2026-11-02: add by m2/dev
VQC6TW3QRN VQC6TW3QRN
| URI | m2://inv/VQC6TW3QRN |
|---|---|
| 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 2610.18287#VF0P (example). In ZXZN6RMN38/e1, example 2
History
- 2026-10-28: add by m2/v0.4.2
removable discontinuity VQCC3A499V
| URI | m2://inv/VQCC3A499V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Removable discontinuity 0K96Z2S699 |
Mentions
- wikidata: Wikidata Q77871472, removable discontinuity (unknown). Also MathWorld RemovableDiscontinuity
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
VQCDD6HAD6 VQCDD6HAD6
| URI | m2://inv/VQCDD6HAD6 |
|---|---|
| Kind | example |
| 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.16731#K4MB (example). In D68KBZQ4Q6/e1, example 4.8
History
- 2026-10-28: add by m2/v0.4.2
Inverse Pythagorean theorem VQCJ2HH87T
| URI | m2://inv/VQCJ2HH87T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse Pythagorean theorem, Inverse Pythagorean theorem (statement). Also Wikidata Q85769835
History
- 2026-11-02: add by m2/dev
Juan Gutiérrez de Gualda VQCMWPDT3X
| URI | m2://inv/VQCMWPDT3X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Juan Gutiérrez de Gualda, Juan Gutiérrez de Gualda (topic). Also Wikidata Q21184587
History
- 2026-11-02: add by m2/dev
Variations VQCNDXDTEY
| URI | m2://inv/VQCNDXDTEY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lawvere theory#A1DH, Variations (statement)
History
- 2026-11-02: add by m2/dev
Differential Privacy for Best Arm Identification VQCT3R21E1
| URI | m2://inv/VQCT3R21E1 |
|---|---|
| Kind | definition |
| 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.04600#BHY3, Differential Privacy for Best Arm Identification (definition). In 4V64K0DYSV/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.12
VQD26QX4ER VQD26QX4ER
| URI | m2://inv/VQD26QX4ER |
|---|---|
| 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 2504.00267#LVYT (statement). In 38XJWDZ2PH/e1, proposition 3.17
History
- 2026-10-27: add by m2/v0.3.5
VQD8HEN373 VQD8HEN373
| URI | m2://inv/VQD8HEN373 |
|---|---|
| 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 2607.26169#I3EQ (statement). In Q46QV3B0NF/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Principles VQDD9D1AQH
| URI | m2://inv/VQDD9D1AQH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Error detection and correction#B7ZZ, Principles (statement)
History
- 2026-11-02: add by m2/dev
VQDGMWFYPT VQDGMWFYPT
| URI | m2://inv/VQDGMWFYPT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 19.8
History
- 2026-11-01: add by m2/v0.6.13
One-step SDE approximation VQDM83T1S8
| URI | m2://inv/VQDM83T1S8 |
|---|---|
| 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.18739#NL2U, One-step SDE approximation (statement). In VGJXQRC44C/e1, lemma 11
History
- 2026-10-28: add by m2/v0.4.2
VQDPFCPQYQ VQDPFCPQYQ
| URI | m2://inv/VQDPFCPQYQ |
|---|---|
| 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 2412.12141#IQ1X (statement). In V980ZMH759/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.0
VQDVB3ZS44 VQDVB3ZS44
| URI | m2://inv/VQDVB3ZS44 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/models-theories/expressing-relations.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 12.9
History
- 2026-11-01: add by m2/v0.6.13
Notation VQE0NZW2Q2
| URI | m2://inv/VQE0NZW2Q2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Udwadia–Kalaba formulation#D4P1, Notation (definition)
History
- 2026-11-02: add by m2/dev
strong completeness VQE7RJSEBN
| URI | m2://inv/VQE7RJSEBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#2GQN, strong completeness (definition)
History
- 2026-11-02: add by m2/dev
Exact $N$-independent gap VQEA6F9PFB
| URI | m2://inv/VQEA6F9PFB |
|---|---|
| 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#OAUC, Exact $N$-independent gap (statement). In DCCKKQ7Y21/e1, theorem IV.4
History
- 2026-10-28: add by m2/v0.4.2
Zero-respecting algorithm VQETTW1VYH
| URI | m2://inv/VQETTW1VYH |
|---|---|
| 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 2610.04944#XF6X, Zero-respecting algorithm (definition). In BHSY6QQCVK/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.12
David Rees VQEWA4WJ79
| URI | m2://inv/VQEWA4WJ79 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9D45, David Rees (topic)
History
- 2026-11-02: add by m2/dev
Peter Zograf VQEXK2WABQ
| URI | m2://inv/VQEXK2WABQ |
|---|---|
| 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#T74X, Peter Zograf (unknown)
History
- 2026-11-02: add by m2/dev
Igusa variety VQF55QYSEW
| URI | m2://inv/VQF55QYSEW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Igusa variety, Igusa variety (definition). Also Wikidata Q16983725
History
- 2026-11-02: add by m2/dev
Finite-horizon convergence for PE guidance VQF8SCC3DR
| URI | m2://inv/VQF8SCC3DR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38133#7BMA, Finite-horizon convergence for PE guidance (statement). In RHRA5FMMYG/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
VQF9NGHB7M VQF9NGHB7M
| URI | m2://inv/VQF9NGHB7M |
|---|---|
| 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.03814#6MUF (statement). In STPNP83RJS/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
VQFA5SW40A VQFA5SW40A
| URI | m2://inv/VQFA5SW40A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.16114#1M36 (statement). In JZZ3FJ382R/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
VQFDPAN49F VQFDPAN49F
| URI | m2://inv/VQFDPAN49F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/sheaves.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 25.6
History
- 2026-11-01: add by m2/v0.6.13
logical conjunction VQFFGWMKZD
| URI | m2://inv/VQFFGWMKZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Conjunction 025YZN3VJW |
Mentions
- wikidata: Wikidata Q191081, logical conjunction (unknown). Also EoM Conjunction, MathWorld Conjunction, nLab logical conjunction
- wikipedia: Wikipedia Logical conjunction, Logical conjunction (definition). Also Wikidata Q191081
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
VQFP6V69QK VQFP6V69QK
| URI | m2://inv/VQFP6V69QK |
|---|---|
| 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 2510.12502#WMIY (statement). In 3A4K47Y9F2/e1, theorem 4.23
History
- 2026-10-27: add by m2/v0.4.0
VQFQRGRBZ1 VQFQRGRBZ1
| URI | m2://inv/VQFQRGRBZ1 |
|---|---|
| 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.16339#TR93 (statement). In ER5EH4W919/e1, proposition 8.2
History
- 2026-10-28: add by m2/v0.4.2
VQFQWKK3XC VQFQWKK3XC
| URI | m2://inv/VQFQWKK3XC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-sheaf.tex#example-3 (example). In RZP28ERRZV, example, section 27.3.1
History
- 2026-11-01: add by m2/v0.6.13
VQFR053YEQ VQFR053YEQ
| URI | m2://inv/VQFR053YEQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2009.11127#0G18 (statement). In QEFS0Y021A/e1, corollary 7.2
History
- 2026-10-27: add by m2/v0.3.5
VQFR06KQZS VQFR06KQZS
| URI | m2://inv/VQFR06KQZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#KOOY (statement)
History
- 2026-11-01: add by m2/v0.6.15
VQG0778WEM VQG0778WEM
| URI | m2://inv/VQG0778WEM |
|---|---|
| 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.21278#X3BL (statement). In DCH1JJGGYH/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.2
duration VQG4AF20BG
| URI | m2://inv/VQG4AF20BG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2199864, duration (definition). Also ProofWiki Definition:Time/Length
History
- 2026-10-26: add by m2/dev
Reading of the dimension formula VQGEJ9B3E0
| URI | m2://inv/VQGEJ9B3E0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27966#SQVF, Reading of the dimension formula (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hayyim Selig Slonimski VQGKB127PF
| URI | m2://inv/VQGKB127PF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#8ABS, Hayyim Selig Slonimski (unknown)
History
- 2026-11-02: add by m2/dev
Margaret Armstrong VQH004FTCV
| URI | m2://inv/VQH004FTCV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Margaret Armstrong (geostatistician), Margaret Armstrong (topic). Also Wikidata Q63692876
History
- 2026-11-02: add by m2/dev
Allen's interval algebra VQH3P654YE
| URI | m2://inv/VQH3P654YE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Allen's interval algebra, Allen's interval algebra (definition). Also Wikidata Q1305544
History
- 2026-11-02: add by m2/dev
Vaughan's identity VQH4YEGWPP
| URI | m2://inv/VQH4YEGWPP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vaughan's identity, Vaughan's identity (statement). Also Wikidata Q7917272
History
- 2026-11-02: add by m2/dev
Applications VQHB2H6RN0
| URI | m2://inv/VQHB2H6RN0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Astrolabe#S44B, Applications (example)
History
- 2026-11-02: add by m2/dev
VQHB723TN9 VQHB723TN9
| URI | m2://inv/VQHB723TN9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33941#YPHR (statement). In 64YCRQCKZN/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
VQHMRTZ7PX VQHMRTZ7PX
| URI | m2://inv/VQHMRTZ7PX |
|---|---|
| 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#H1HC (statement). In DPJ15KW23C/e1, lemma 7.9
History
- 2026-10-30: add by m2/v0.4.12
VQHVKQ972S VQHVKQ972S
| URI | m2://inv/VQHVKQ972S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2409.01237#E9Z5 (statement). In M9VHCG48HB/e1, proposition 6.2
History
- 2026-10-27: add by m2/v0.3.5
Special group VQJ2C8N42R
| URI | m2://inv/VQJ2C8N42R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Special group (finite group theory), Special group (definition). Also Wikidata Q7574823
History
- 2026-11-02: add by m2/dev
VQJCXDB6T8 VQJCXDB6T8
| URI | m2://inv/VQJCXDB6T8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-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.09422#G6YQ (definition). In MS7M2BJS9X/e1, definition 7.6
History
- 2026-10-29: add by m2/v0.4.10
Feuerbach's theorem VQJGME2EKD
| URI | m2://inv/VQJGME2EKD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#DXF4, Feuerbach's theorem (definition)
History
- 2026-11-02: add by m2/dev
Rule 54 VQK0JTG8VC
| URI | m2://inv/VQK0JTG8VC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary cellular automaton#X63E, Rule 54 (unknown)
History
- 2026-11-02: add by m2/dev
Median-of-means estimation of $p_{\mathrm{sym}}^{(k)}$ with an approximate Schur transform VQK8PKG5RC
| URI | m2://inv/VQK8PKG5RC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39992#W3RC, Median-of-means estimation of $p_{\mathrm{sym}}^{(k)}$ with an approximate Schur transform (statement). In WF64CGYVK1/e1, lemma S16
History
- 2026-10-30: add by m2/v0.4.12
Sperner's lemma VQKF904DWW
| URI | m2://inv/VQKF904DWW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PPAD-complete problems#XI67, Sperner's lemma (statement)
- wikipedia: Wikipedia List of general topology topics#4PA9, Sperner's lemma (statement)
- wikipedia: Wikipedia List of lemmas#D2L6, Sperner's lemma (statement)
History
- 2026-11-02: add by m2/dev
Hall's Marriage Theorem VQKG38RXQG
| URI | m2://inv/VQKG38RXQG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hall's marriage theorem#ELSR, Hall's Marriage Theorem (statement)
History
- 2026-11-02: add by m2/dev
Mutual term interpretations VQKGK2Y22F
| URI | m2://inv/VQKGK2Y22F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#FKIA, Mutual term interpretations (statement). In E7W2HDNEKJ/e1, proposition 2.9
History
- 2026-10-30: add by m2/v0.4.12
Perceptron cycling theorem VQKH5J1ZV6
| URI | m2://inv/VQKH5J1ZV6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perceptron#DG89, Perceptron cycling theorem (statement)
History
- 2026-11-02: add by m2/dev
VQKHXCHZR0 VQKHXCHZR0
| URI | m2://inv/VQKHXCHZR0 |
|---|---|
| Kind | example |
| 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 2305.10921#B6PC (example). In PD5PJ0EYG6/e1, example 5.10
History
- 2026-10-27: add by m2/v0.3.5
Heuristic VQKQXSWQQ1
| URI | m2://inv/VQKQXSWQQ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heuristic (computer science), Heuristic (definition). Also Wikidata Q1981968
History
- 2026-11-02: add by m2/dev
VQKW1ER8EA VQKW1ER8EA
| URI | m2://inv/VQKW1ER8EA |
|---|---|
| Kind | example |
| 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#0QFC (example). In 6WJ0R9YEBR/e1, example 3.28
History
- 2026-10-28: add by m2/v0.4.2
David Crighton Medal VQM0P32H04
| URI | m2://inv/VQM0P32H04 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Crighton Medal, David Crighton Medal (definition). Also Wikidata Q46015597
History
- 2026-11-02: add by m2/dev
Applications VQM95B8E0D
| URI | m2://inv/VQM95B8E0D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coordinate descent#GKGX, Applications (example)
History
- 2026-11-02: add by m2/dev
Exact cardinality closure VQMHGCFKW1
| URI | m2://inv/VQMHGCFKW1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04027#9UYW, Exact cardinality closure (statement). In DQB4YR2DFH/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.12
David Kinderlehrer VQMPR5H25E
| URI | m2://inv/VQMPR5H25E |
|---|---|
| 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#0KBX, David Kinderlehrer (topic)
History
- 2026-11-02: add by m2/dev
VQMTWMP8GC VQMTWMP8GC
| URI | m2://inv/VQMTWMP8GC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00596#VWRX (statement). In F8RC6AENB0/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
Type-I guarantee VQMWA1ETBC
| URI | m2://inv/VQMWA1ETBC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#CZM8, Type-I guarantee (statement)
History
- 2026-11-01: add by m2/v0.6.15
Robert C. Elston VQMYST21W0
| URI | m2://inv/VQMYST21W0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert C. Elston, Robert C. Elston (topic). Also Wikidata Q7342597
History
- 2026-11-02: add by m2/dev
VQN6MBEADD VQN6MBEADD
| URI | m2://inv/VQN6MBEADD |
|---|---|
| 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.04833#4MRN (statement). In AKB3CNDA0F/e1, proposition B.2
History
- 2026-10-29: add by m2/v0.4.12
General definition VQN8V4WSAY
| URI | m2://inv/VQN8V4WSAY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal bundle#QA1R, General definition (definition)
History
- 2026-11-02: add by m2/dev
Al-Isharat wa al-Tanbihat VQNEJXK4AR
| URI | m2://inv/VQNEJXK4AR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Al-Isharat wa al-Tanbihat, Al-Isharat wa al-Tanbihat (definition). Also Wikidata Q22948618
History
- 2026-11-02: add by m2/dev
Marjorie Rice VQNGGWWH9Y
| URI | m2://inv/VQNGGWWH9Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marjorie Rice, Marjorie Rice (topic). Also Wikidata Q3710503
History
- 2026-11-02: add by m2/dev
VQNJV7KTXV VQNJV7KTXV
| URI | m2://inv/VQNJV7KTXV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26713#TLCY (statement)
History
- 2026-11-01: add by m2/v0.6.15
VQNN3DC16T VQNN3DC16T
| URI | m2://inv/VQNN3DC16T |
|---|---|
| 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 2312.14445#4DOT (statement). In V56MKF0KW2/e1, lemma A.4
History
- 2026-10-27: add by m2/v0.3.5
Tribonacci number VQNVNQJ6C7
| URI | m2://inv/VQNVNQJ6C7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalizations of Fibonacci numbers#C4GR, Tribonacci number (unknown)
History
- 2026-11-02: add by m2/dev
extensional, type theory VQNY3FJ146
| URI | m2://inv/VQNY3FJ146 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.12.3/extensional-type-theory, extensional, type theory (concept). In N54F33XE07, index, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
VQP1M0N21C VQP1M0N21C
| URI | m2://inv/VQP1M0N21C |
|---|---|
| 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.29170#BF34 (statement)
History
- 2026-11-01: add by m2/v0.6.15
NbE VQP9WWJ7RA
| URI | m2://inv/VQP9WWJ7RA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#W5O6, NbE (definition). In CPYWHRTPKC/e1, definition 5.5
History
- 2026-10-27: add by m2/v0.4.2
VQP9X7CAHN VQP9X7CAHN
| URI | m2://inv/VQP9X7CAHN |
|---|---|
| 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 2503.08488#35ME (statement). In QH5MZXMXQH/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.3.5
Great disnub dirhombidodecacron VQPAYVEZWF
| URI | m2://inv/VQPAYVEZWF |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#8KUP, Great disnub dirhombidodecacron (object)
History
- 2026-11-02: add by m2/dev
VQPMJGZ5YV VQPMJGZ5YV
| URI | m2://inv/VQPMJGZ5YV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.00589#CPN5 (statement). In C8JAGP8VCQ/e1, lemma 8.5
History
- 2026-10-27: add by m2/v0.3.5
Definition VQPN1P5JYZ
| URI | m2://inv/VQPN1P5JYZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Picard–Fuchs equation#BORQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Hypercomplex analysis VQQ0NT434B
| URI | m2://inv/VQQ0NT434B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#B4HX, Hypercomplex analysis (definition)
History
- 2026-11-02: add by m2/dev
Critical norm polynomial at a wild break VQQ4HTRQR9
| URI | m2://inv/VQQ4HTRQR9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#NV1F, Critical norm polynomial at a wild break (statement). In 5BZQS1KY9A/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Carolina Araujo VQQPR3RP58
| URI | m2://inv/VQQPR3RP58 |
|---|---|
| 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#38SO, Carolina Araujo (topic)
History
- 2026-11-02: add by m2/dev
VQQRWQK2CT VQQRWQK2CT
| URI | m2://inv/VQQRWQK2CT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 51-XX, 52-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 2503.00560#DNA1 (statement). In KH1H3TSWPS/e1, proposition 4.12
History
- 2026-10-27: add by m2/v0.3.6
VQRHXBPABX VQRHXBPABX
| URI | m2://inv/VQRHXBPABX |
|---|---|
| Kind | example |
| 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 2508.03972#07ST (example). In 2JD3KNKJ1P/e1, example 3.8
History
- 2026-10-27: add by m2/v0.3.5
VQRMJR6MVS VQRMJR6MVS
| URI | m2://inv/VQRMJR6MVS |
|---|---|
| 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 2508.16102#3RPV (statement). In 55QFMZQ5HM/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.6
atomic model VQRQSNQ5DM
| URI | m2://inv/VQRQSNQ5DM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#DBD3, atomic model (definition)
History
- 2026-11-02: add by m2/dev
VQRTVJZ7S5 VQRTVJZ7S5
| URI | m2://inv/VQRTVJZ7S5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33383#6FET (statement). In 8AHWRHTP5G/e1, lemma 23
History
- 2026-10-30: add by m2/v0.4.12
Necessary condition analysis VQRW5M5RH2
| URI | m2://inv/VQRW5M5RH2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Necessary condition analysis, Necessary condition analysis (definition). Also Wikidata Q115805547
History
- 2026-11-02: add by m2/dev
Three subgroups lemma VQRZ4A19AH
| URI | m2://inv/VQRZ4A19AH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Three subgroups lemma, Three subgroups lemma (statement). Also Wikidata Q7798010
History
- 2026-11-02: add by m2/dev
VQS04N70VX VQS04N70VX
| URI | m2://inv/VQS04N70VX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03688#A0H4 (example). In HMWJQY9NAP/e1, example 3
History
- 2026-10-29: add by m2/v0.4.12
VQS120A45R VQS120A45R
| URI | m2://inv/VQS120A45R |
|---|---|
| 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.15405#ZEH0 (statement). In 9QCYCXVF5W/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
nonlinear dynamics VQS3CS28W6
| URI | m2://inv/VQS3CS28W6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1985198, nonlinear dynamics (topic). Also ProofWiki Definition:Nonlinear_Dynamics
History
- 2026-10-26: add by m2/dev
Definition VQS7ZH22X7
| URI | m2://inv/VQS7ZH22X7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuramoto model#TEVL, Definition (definition)
History
- 2026-11-02: add by m2/dev
VQSCZWD7T2 VQSCZWD7T2
| URI | m2://inv/VQSCZWD7T2 |
|---|---|
| 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.08210#ZP3F (definition). In 7452X8HQ21/e1, definition 3.3
History
- 2026-10-29: add by m2/v0.4.10
operator space VQSD4VB873
| URI | m2://inv/VQSD4VB873 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 46L07 |
| Sources | 2 |
| Outcome | open |
| Node | Operator space VB1J9AA4WX |
Mentions
- wikidata: Wikidata Q7097841, operator space (topic)
- wikipedia: Wikipedia Operator space, Operator space (definition). Also Wikidata Q7097841
History
- 2026-10-26: add by m2/dev
VQSKVK4Q5S VQSKVK4Q5S
| URI | m2://inv/VQSKVK4Q5S |
|---|---|
| Kind | example |
| 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.20087#RJ5L (example). In ZRE2WQR5XA/e1, example IV.12
History
- 2026-10-27: add by m2/v0.4.2
VQSY07EDKA VQSY07EDKA
| URI | m2://inv/VQSY07EDKA |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39990#ZGYX (problem). In SH78APY2T8/e1, problem
History
- 2026-10-30: add by m2/v0.4.12
VQSZVHDBDS VQSZVHDBDS
| URI | m2://inv/VQSZVHDBDS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#3NF7 (example)
History
- 2026-11-01: add by m2/v0.6.15
VQT4ZYN19Y VQT4ZYN19Y
| URI | m2://inv/VQT4ZYN19Y |
|---|---|
| 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#0222 (statement). In S284XRA4WK/e1, lemma B.3
History
- 2026-10-29: add by m2/v0.4.10
VQT61B99JA VQT61B99JA
| URI | m2://inv/VQT61B99JA |
|---|---|
| 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.13631#DAFI (statement). In N6PQQSYN73/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
VQT6J4D9EF VQT6J4D9EF
| URI | m2://inv/VQT6J4D9EF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11276#U8DB (example). In KMTQRFFYZY/e1, example 4.1
History
- 2026-10-28: add by m2/v0.4.3
non-expanding function VQTDR30KPW
| URI | m2://inv/VQTDR30KPW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3.3/non-expanding-function, non-expanding function (concept). In N54F33XE07, index, section B.3.3
History
- 2026-11-01: add by m2/v0.6.13
WWW Interactive Multipurpose Server VQTE8AYE9R
| URI | m2://inv/VQTE8AYE9R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia WWW Interactive Multipurpose Server, WWW Interactive Multipurpose Server (definition). Also Wikidata Q3569246
History
- 2026-11-02: add by m2/dev
VQTH44VG3K VQTH44VG3K
| URI | m2://inv/VQTH44VG3K |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/fourier.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 59.2
History
- 2026-11-01: add by m2/v0.6.13
VQTMMXSC12 VQTMMXSC12
| URI | m2://inv/VQTMMXSC12 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#OVF1 (definition). In BDN507RN7J/e1, definition 3.6.24
History
- 2026-10-30: add by m2/v0.4.12
Dual-code decoding radius VQTXE4EZSJ
| URI | m2://inv/VQTXE4EZSJ |
|---|---|
| Kind | definition |
| 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.31484#CO5X, Dual-code decoding radius (definition). In 1RDQ10G87W/e1, definition 2.2
History
- 2026-10-31: add by m2/v0.5.6
Comonotonicity VQTZ2W77CH
| URI | m2://inv/VQTZ2W77CH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2609.27843#XYPG, Comonotonicity (statement)
History
- 2026-11-01: add by m2/v0.6.15
member VQV6C4SKHG
| URI | m2://inv/VQV6C4SKHG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#787X, member (definition)
History
- 2026-11-02: add by m2/dev
VQV7BQ8JJ0 VQV7BQ8JJ0
| URI | m2://inv/VQV7BQ8JJ0 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#proof-32 (proof). In N54F33XE07, proof, section 5.12
History
- 2026-11-01: add by m2/v0.6.13
Ronald Coifman VQVAWARC73
| URI | m2://inv/VQVAWARC73 |
|---|---|
| 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#XVPH, Ronald Coifman (topic)
History
- 2026-11-02: add by m2/dev
VQVH9Q26R6 VQVH9Q26R6
| URI | m2://inv/VQVH9Q26R6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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 2609.25151#P2S3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Exact solutions of nonlinear partial differential equations VQVK829NM6
| URI | m2://inv/VQVK829NM6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear partial differential equation#H951, Exact solutions of nonlinear partial differential equations (unknown)
History
- 2026-11-02: add by m2/dev
GENERIC formalism VQVMAT24BV
| URI | m2://inv/VQVMAT24BV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GENERIC formalism, GENERIC formalism (definition). Also Wikidata Q4491865
History
- 2026-11-02: add by m2/dev
VQVMMRGTRT VQVMMRGTRT
| URI | m2://inv/VQVMMRGTRT |
|---|---|
| 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.03555#VOTF (statement). In 9JZJTRRVR1/e1, corollary 2.17
History
- 2026-10-29: add by m2/v0.4.12
proper ideal VQVS93ZDE5
| URI | m2://inv/VQVS93ZDE5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q132227547, proper ideal (definition). Also MathWorld ProperIdeal, ProofWiki Definition:Ideal_of_Ring/Proper_Ideal
History
- 2026-10-26: add by m2/dev
\ac{UPC-QP VQVSKPSJ7J
| URI | m2://inv/VQVSKPSJ7J |
|---|---|
| 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.21580#EAAJ, \ac{UPC-QP (definition)
History
- 2026-11-02: add by m2/v0.6.18
VQW0714EYQ VQW0714EYQ
| URI | m2://inv/VQW0714EYQ |
|---|---|
| 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 2008.10035#HCHB (statement). In 29EH04FH4B/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.3.5
VQW3VSP0FV VQW3VSP0FV
| URI | m2://inv/VQW3VSP0FV |
|---|---|
| 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.15217#LG4P (statement). In G70Q2FB591/e1, lemma 3.21
History
- 2026-10-28: add by m2/v0.4.2
Theorem VQWAAC1YSW
| URI | m2://inv/VQWAAC1YSW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Auxiliary normed space#OACN, Theorem (statement)
History
- 2026-11-02: add by m2/dev
VQWC5V2NM6 VQWC5V2NM6
| URI | m2://inv/VQWC5V2NM6 |
|---|---|
| Kind | example |
| 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#H6C1 (example). In 2HSB99DW4M/e1, example 6.2
History
- 2026-10-27: add by m2/v0.3.6
Lyapunov function VQWNC7DEJR
| URI | m2://inv/VQWNC7DEJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Lyapunov function 01REYCJ371 |
Mentions
- wikidata: Wikidata Q2337858, Lyapunov function (unknown). Also EoM Lyapunov_function, MathWorld LyapunovFunction
- wikipedia: Wikipedia Lyapunov function, Lyapunov function (definition). Also Wikidata Q2337858
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Special cases VQWX8CY77E
| URI | m2://inv/VQWX8CY77E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coequalizer#4USY, Special cases (statement)
History
- 2026-11-02: add by m2/dev
The cyclic five vertex family VQWZCKP21Y
| URI | m2://inv/VQWZCKP21Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01216#W2P9, The cyclic five vertex family (statement). In 59016RQTW6/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.12
Spherical hiding VQX224JJWX
| URI | m2://inv/VQX224JJWX |
|---|---|
| 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.15202#NLTL, Spherical hiding (statement). In X1FPG0KYBM/e1, lemma Z.1
History
- 2026-10-28: add by m2/v0.4.2
Baumgartner's axiom VQXBYX6V9S
| URI | m2://inv/VQXBYX6V9S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baumgartner's axiom, Baumgartner's axiom (statement). Also Wikidata Q18205464
History
- 2026-11-02: add by m2/dev
VQXK3AKDY3 VQXK3AKDY3
| URI | m2://inv/VQXK3AKDY3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01073#7IUS (statement). In W4TYN4PGE8/e1, lemma 2.15
History
- 2026-10-27: add by m2/v0.3.5
linearization VQXM376R0J
| URI | m2://inv/VQXM376R0J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#Y2W8, linearization (definition)
History
- 2026-11-02: add by m2/dev
VQXQY2NTFY VQXQY2NTFY
| URI | m2://inv/VQXQY2NTFY |
|---|---|
| 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 0810.0962#17NK (statement). In 80YMRN5KS9/e1, proposition 23
History
- 2026-10-27: add by m2/v0.3.5
VQXW7M09AW VQXW7M09AW
| URI | m2://inv/VQXW7M09AW |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/rank.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 74.4
History
- 2026-11-01: add by m2/v0.6.13
VQY0ERJ8S1 VQY0ERJ8S1
| URI | m2://inv/VQY0ERJ8S1 |
|---|---|
| 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 2601.18223#V2W2 (statement). In ZRXE7EJA93/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
VQY347QN7H VQY347QN7H
| URI | m2://inv/VQY347QN7H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08211#75C4 (statement). In 1QRK9HXJWT/e1, proposition 2.6
History
- 2026-10-29: add by m2/v0.4.10
Marcel-Paul Schützenberger VQY3QWR1WW
| URI | m2://inv/VQY3QWR1WW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marcel-Paul Schützenberger, Marcel-Paul Schützenberger (topic). Also Wikidata Q1384896
History
- 2026-11-02: add by m2/dev
Cremona–Richmond configuration VQY6S41TZX
| URI | m2://inv/VQY6S41TZX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5184103, Cremona–Richmond configuration (concept). Also MathWorld Cremona-RichmondConfiguration
History
- 2026-10-26: add by m2/dev
Drama theory VQYMR6JXVH
| URI | m2://inv/VQYMR6JXVH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Drama theory, Drama theory (definition). Also Wikidata Q5305746
History
- 2026-11-02: add by m2/dev
VQYP9JJS5K VQYP9JJS5K
| URI | m2://inv/VQYP9JJS5K |
|---|---|
| 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#SLZ4 (statement). In XJ59TDP4HA/e1, theorem 3.7
History
- 2026-10-28: add by m2/v0.4.2
Exact trace moments VQYQB7DEV2
| URI | m2://inv/VQYQB7DEV2 |
|---|---|
| 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.37762#99QW, Exact trace moments (statement). In 6YPMRQHMR5/e1, lemma 14
History
- 2026-10-30: add by m2/v0.4.12
Ogievetsky--Shlosman conjecture VQZB17JCVQ
| URI | m2://inv/VQZB17JCVQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13972#SMIE, Ogievetsky--Shlosman conjecture (statement). In S1KHNS8XQM/e1, theorem 1.7
History
- 2026-10-28: add by m2/v0.4.2
cf.\ VQZH7YP5RK
| URI | m2://inv/VQZH7YP5RK |
|---|---|
| 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#KDZW, cf.\ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Weak acylindricity VQZXBW0HDS
| URI | m2://inv/VQZXBW0HDS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19787#CLW4, Weak acylindricity (definition). In A4VP56CT7B/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2