Inventory rows VY
The cards of the rows of the inventory whose ids start with VY. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
VY009DYY73 VY009DYY73
| URI | m2://inv/VY009DYY73 |
|---|---|
| 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.06458#BSD8 (statement). In 4X93XG8NMD/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.10
Definition VY05CNBJBV
| URI | m2://inv/VY05CNBJBV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Descriptive complexity theory#RYO5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Dirichlet distribution VY0CY52CEH
| URI | m2://inv/VY0CY52CEH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#WP9H, Dirichlet distribution (definition)
History
- 2026-11-02: add by m2/dev
Laguerre transformations VY0YH0ZF9A
| URI | m2://inv/VY0YH0ZF9A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laguerre transformations, Laguerre transformations (definition). Also Wikidata Q97357520
History
- 2026-11-02: add by m2/dev
VY0ZFV03AW VY0ZFV03AW
| URI | m2://inv/VY0ZFV03AW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#thm-5 (statement). In N54F33XE07, thm, section C.3
History
- 2026-11-01: add by m2/v0.6.13
VY0ZWJ69EG VY0ZWJ69EG
| URI | m2://inv/VY0ZWJ69EG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.02961#JRYP (statement). In 986DENWM1D/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.12
VY12N98YY8 VY12N98YY8
| URI | m2://inv/VY12N98YY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#7U8W (statement). In WJD9YPGGYH/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
VY1F2ADYCW VY1F2ADYCW
| URI | m2://inv/VY1F2ADYCW |
|---|---|
| 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#FZID (statement). In E7W2HDNEKJ/e1, proposition 11.1
History
- 2026-10-30: add by m2/v0.4.12
VY1XDQZ55D VY1XDQZ55D
| URI | m2://inv/VY1XDQZ55D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34946#LK4H (statement). In Y27BAB2BB4/e1, proposition 2.4
History
- 2026-10-30: add by m2/v0.4.12
W. H. Clatworthy VY1XN2X9D1
| URI | m2://inv/VY1XN2X9D1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#5AVX, W. H. Clatworthy (unknown)
History
- 2026-11-02: add by m2/dev
Kumaraswamy distribution VY21EGRZFC
| URI | m2://inv/VY21EGRZFC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#4VPJ, Kumaraswamy distribution (definition)
History
- 2026-11-02: add by m2/dev
VY2BYFH75W VY2BYFH75W
| URI | m2://inv/VY2BYFH75W |
|---|---|
| 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 2610.22074#HJG8 (statement). In F3BKXXPR3K/e1, corollary 4.28
History
- 2026-10-27: add by m2/v0.4.2
VY2KRJT6ZQ VY2KRJT6ZQ
| URI | m2://inv/VY2KRJT6ZQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#cor-2 (statement). In E59CDZA4DP, cor, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
Louis Paul Émile Richard VY2KSJMN73
| URI | m2://inv/VY2KSJMN73 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louis Paul Émile Richard, Louis Paul Émile Richard (topic). Also Wikidata Q3263006
History
- 2026-11-02: add by m2/dev
Termination criterion VY2WD27K0E
| URI | m2://inv/VY2WD27K0E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computerized adaptive testing#GA7H, Termination criterion (statement)
History
- 2026-11-02: add by m2/dev
VY3F87CQRZ VY3F87CQRZ
| URI | m2://inv/VY3F87CQRZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24901#GBWS (statement)
History
- 2026-11-01: add by m2/v0.6.15
VY3JQ4FK47 VY3JQ4FK47
| URI | m2://inv/VY3JQ4FK47 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21005#7VAA (definition). In E63NRC7MBE/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.2
Definition VY3KN7DS37
| URI | m2://inv/VY3KN7DS37 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument (complex analysis)#DKBS, Definition (definition)
History
- 2026-11-02: add by m2/dev
quarkonium VY3SMQZF4P
| URI | m2://inv/VY3SMQZF4P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1540413, quarkonium (unknown). Also nLab quarkonium
History
- 2026-10-26: add by m2/dev
proof by contradiction VY3W75JEVC
| URI | m2://inv/VY3W75JEVC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/4.2.3/proof-by-contradiction, proof by contradiction (concept). In Y91XFCEVHQ, index, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
Formal definition VY3XA6EMZZ
| URI | m2://inv/VY3XA6EMZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius covariant#5VOG, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
VY40634QFQ VY40634QFQ
| URI | m2://inv/VY40634QFQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22272#I698 (statement). In 4VZV5V0YD6/e1, lemma 13
History
- 2026-10-27: add by m2/v0.4.0
VY47PKGQ4W VY47PKGQ4W
| URI | m2://inv/VY47PKGQ4W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/quantifiers.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 61.11
History
- 2026-11-01: add by m2/v0.6.13
VY4A81VY4B VY4A81VY4B
| URI | m2://inv/VY4A81VY4B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25435#EPG9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Even–Paz protocol VY4YBTPWRV
| URI | m2://inv/VY4YBTPWRV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Even–Paz protocol, Even–Paz protocol (definition). Also Wikidata Q18206922
History
- 2026-11-02: add by m2/dev
VY4YKC9Q25 VY4YKC9Q25
| URI | m2://inv/VY4YKC9Q25 |
|---|---|
| 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.01912#0PH9 (statement). In CTE1C9KYPY/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
Common-map dual certificate VY550MXJB5
| URI | m2://inv/VY550MXJB5 |
|---|---|
| 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#5Q18, Common-map dual certificate (statement). In DQB4YR2DFH/e1, proposition 9.4
History
- 2026-10-29: add by m2/v0.4.12
Example VY58G46MWV
| URI | m2://inv/VY58G46MWV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modified nodal analysis#SM5Y, Example (example)
History
- 2026-11-02: add by m2/dev
VY5GC3KZYK VY5GC3KZYK
| URI | m2://inv/VY5GC3KZYK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31527#NFZG (statement). In ZQ2YZ4P6P5/e1, lemma 2.4
History
- 2026-10-31: add by m2/v0.5.6
Weaire–Phelan structure VY5HBQ1KVQ
| URI | m2://inv/VY5HBQ1KVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weaire–Phelan structure, Weaire–Phelan structure (definition). Also Wikidata Q869539
History
- 2026-11-02: add by m2/dev
VY5KN2Q5GC VY5KN2Q5GC
| URI | m2://inv/VY5KN2Q5GC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24578#ST27 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Terminology VY5NKHNNCW
| URI | m2://inv/VY5NKHNNCW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rep-tile#WCX1, Terminology (definition)
History
- 2026-11-02: add by m2/dev
VY5P9K7J7R VY5P9K7J7R
| URI | m2://inv/VY5P9K7J7R |
|---|---|
| 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.11056#0A19 (statement). In 1NDB3SAG7K/e1, lemma 5.8
History
- 2026-10-28: add by m2/v0.4.3
Dmitrii Treschev VY5XGAJZES
| URI | m2://inv/VY5XGAJZES |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dmitrii Treschev, Dmitrii Treschev (topic). Also Wikidata Q4462790
History
- 2026-11-02: add by m2/dev
Thompson group (finite) VY5XMWGAS1
| URI | m2://inv/VY5XMWGAS1 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#5K4C, Thompson group (finite) (object)
History
- 2026-11-02: add by m2/dev
Example VY609PEJM0
| URI | m2://inv/VY609PEJM0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schreier refinement theorem#RL9I, Example (example)
History
- 2026-11-02: add by m2/dev
HOL VY63FTB65Y
| URI | m2://inv/VY63FTB65Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17030435, HOL (unknown). Also nLab HOL
History
- 2026-10-26: add by m2/dev
VY69BHV3A1 VY69BHV3A1
| URI | m2://inv/VY69BHV3A1 |
|---|---|
| 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.13898#6OYW (definition). In 44EVK9BPC9/e1, definition 1.4
History
- 2026-10-28: add by m2/v0.4.2
VY6BZPSBW8 VY6BZPSBW8
| URI | m2://inv/VY6BZPSBW8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00364#G7QR (statement). In ANR3DHYQPQ/e1, theorem D
History
- 2026-10-30: add by m2/v0.4.12
graph, $2$-colorable VY6EKWJFYX
| URI | m2://inv/VY6EKWJFYX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.4.1/graph-2-colorable, graph, $2$-colorable (concept). In QKM9DD2H56, index, section 5.4.1
History
- 2026-11-01: add by m2/v0.6.13
VY6EXR72M5 VY6EXR72M5
| URI | m2://inv/VY6EXR72M5 |
|---|---|
| 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.10576#3EBQ (statement). In N3ZA5MDZBW/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.10
Numerical relativity VY6MY2PYZ2
| URI | m2://inv/VY6MY2PYZ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical relativity, Numerical relativity (definition). Also Wikidata Q10359034
History
- 2026-11-02: add by m2/dev
VY6PH6DTPZ VY6PH6DTPZ
| URI | m2://inv/VY6PH6DTPZ |
|---|---|
| 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.07673#MX1S (statement). In 37B1MPV8GX/e1, theorem 4.7
History
- 2026-10-29: add by m2/v0.4.10
VY6R674ASF VY6R674ASF
| URI | m2://inv/VY6R674ASF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03422#TBRZ (statement). In SF88CM0957/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.12
VY6XSR0TV6 VY6XSR0TV6
| URI | m2://inv/VY6XSR0TV6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27152#H8W0 (definition)
History
- 2026-11-01: add by m2/v0.6.15
VY7FS2HSRC VY7FS2HSRC
| URI | m2://inv/VY7FS2HSRC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2012.06334#IY1H (statement). In QD725J6HV4/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
Objectivity illusion VY7N3A9F4F
| URI | m2://inv/VY7N3A9F4F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#P3TI, Objectivity illusion (unknown)
History
- 2026-11-02: add by m2/dev
CryptoBuddy VY7W0F8MN3
| URI | m2://inv/VY7W0F8MN3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CryptoBuddy, CryptoBuddy (definition). Also Wikidata Q5190789
History
- 2026-11-02: add by m2/dev
Weierstrass product inequality VY7X9SJCG3
| URI | m2://inv/VY7X9SJCG3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7979826, Weierstrass product inequality (unknown). Also MathWorld WeierstrassProductInequality
- wikipedia: Wikipedia Weierstrass product inequality, Weierstrass product inequality (statement). Also Wikidata Q7979826
History
- 2026-10-26: add by m2/dev
linear difference equation VY82R633JM
| URI | m2://inv/VY82R633JM |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 39A10 |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Linear recurrence with constant coefficients 0NDVHBVBXB |
Mentions
- wikidata: Wikidata Q364089, linear difference equation (topic). Also Mathlib LinearRecurrence
- wikipedia: Wikipedia Linear recurrence with constant coefficients, Linear recurrence with constant coefficients (definition). Also Wikidata Q364089
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
VY864RYYPD VY864RYYPD
| URI | m2://inv/VY864RYYPD |
|---|---|
| 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 2207.11097#NZ00 (definition). In 13H5BTAXHF/e1, definition 18
History
- 2026-10-27: add by m2/v0.3.5
VY8EM01ZF5 VY8EM01ZF5
| URI | m2://inv/VY8EM01ZF5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04431#5NSL (statement). In 3PSAWXCCJ8/e1, theorem 19
History
- 2026-10-29: add by m2/v0.4.12
Notation VY8G8J9AQY
| URI | m2://inv/VY8G8J9AQY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli number#9OLX, Notation (definition)
History
- 2026-11-02: add by m2/dev
Pappus' area theorem VY8PJRC5J6
| URI | m2://inv/VY8PJRC5J6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#WBCU, Pappus' area theorem (statement)
History
- 2026-11-02: add by m2/dev
Hat operator VY8PY8CSEK
| URI | m2://inv/VY8PY8CSEK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5680848, Hat operator (concept). Also MathWorld Hat
- wikipedia: Wikipedia Hat notation, Hat notation (definition). Also Wikidata Q5680848
History
- 2026-10-26: add by m2/dev
Slingshot argument VY8TPA85JG
| URI | m2://inv/VY8TPA85JG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slingshot argument, Slingshot argument (definition). Also Wikidata Q615322
History
- 2026-11-02: add by m2/dev
VY8VFWWNZS VY8VFWWNZS
| URI | m2://inv/VY8VFWWNZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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 2104.12015#760X (statement). In ZZ2P08DVQW/e1, theorem 10.3
History
- 2026-10-27: add by m2/v0.3.5
VY8Y9W2M0Q VY8Y9W2M0Q
| URI | m2://inv/VY8Y9W2M0Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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 2609.39254#6N3G (statement). In A59MZ9H284/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Multivariate Alexander Module VY8YFA0XR7
| URI | m2://inv/VY8YFA0XR7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX, 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 2609.30262#PLYI, Multivariate Alexander Module (definition). In FWA5QW6FCF/e1, definition 4.9
History
- 2026-10-31: add by m2/v0.5.6
Uniform antiprismatic prism VY92TDQW26
| URI | m2://inv/VY92TDQW26 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#3PCA, Uniform antiprismatic prism (definition)
History
- 2026-11-02: add by m2/dev
Decision Linear assumption VY98VB5KP5
| URI | m2://inv/VY98VB5KP5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decision Linear assumption, Decision Linear assumption (definition). Also Wikidata Q5249217
History
- 2026-11-02: add by m2/dev
Symmetric space VY9MZZN0MK
| URI | m2://inv/VY9MZZN0MK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#RSM8, Symmetric space (definition)
History
- 2026-11-02: add by m2/dev
VY9YQ7434J VY9YQ7434J
| URI | m2://inv/VY9YQ7434J |
|---|---|
| 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.12165#963C (statement). In 3JSE8A9CFH/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Digit sum VYA2Y06Y54
| URI | m2://inv/VYA2Y06Y54 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#ULHH, Digit sum (definition)
History
- 2026-11-02: add by m2/dev
VYASP4MA98 VYASP4MA98
| URI | m2://inv/VYASP4MA98 |
|---|---|
| Kind | definition |
| 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#AJHZ (definition). In AKB3CNDA0F/e1, definition C.1
History
- 2026-10-29: add by m2/v0.4.12
VYAT9XW655 VYAT9XW655
| URI | m2://inv/VYAT9XW655 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-62 (exercise). In E9HS8K3A52, exercise, section 4.4.1
History
- 2026-11-01: add by m2/v0.6.13
VYB4YEM4QA VYB4YEM4QA
| URI | m2://inv/VYB4YEM4QA |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#TN8F (unknown). In QNBFHFZ3H0/e1, unknown 54
History
- 2026-10-28: add by m2/v0.4.2
hydronium VYBABPQJAA
| URI | m2://inv/VYBABPQJAA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q849881, hydronium (definition). Also ProofWiki Definition:Hydronium_Ion
History
- 2026-10-26: add by m2/dev
Siegel identity VYBE3WJKXJ
| URI | m2://inv/VYBE3WJKXJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegel identity, Siegel identity (statement). Also Wikidata Q17103272
History
- 2026-11-02: add by m2/dev
Ralph Lazo VYBGBCXAJS
| URI | m2://inv/VYBGBCXAJS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#89AG, Ralph Lazo (unknown)
History
- 2026-11-02: add by m2/dev
MK VYBMQHDNQ3
| URI | m2://inv/VYBMQHDNQ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#BKI7, MK (definition)
History
- 2026-11-02: add by m2/dev
Topdrops VYBN78RVY1
| URI | m2://inv/VYBN78RVY1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topswops#OWMD, Topdrops (unknown)
History
- 2026-11-02: add by m2/dev
large cardinal VYC2CN6WV5
| URI | m2://inv/VYC2CN6WV5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Large cardinal X1FG7PSCTY |
Mentions
- wikidata: Wikidata Q1548262, large cardinal (unknown). Also nLab large cardinal
- wikipedia: Wikipedia Large cardinal, Large cardinal (definition). Also Wikidata Q1548262
History
- 2026-10-26: add by m2/dev
Power-test benchmark VYC3CED6WH
| URI | m2://inv/VYC3CED6WH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14069#5KJB, Power-test benchmark (statement). In ABYRBVNC3Y/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
VYC4N5HMXD VYC4N5HMXD
| URI | m2://inv/VYC4N5HMXD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24902#PMB6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
VYC54MKDPH VYC54MKDPH
| URI | m2://inv/VYC54MKDPH |
|---|---|
| Kind | definition |
| 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 2311.16205#VFQY (definition). In 3GE9PS9AH0/e1, definition 4.1.1
History
- 2026-10-27: add by m2/v0.3.5
Generalized $q$--Extension Interaction VYC5N7HV8E
| URI | m2://inv/VYC5N7HV8E |
|---|---|
| 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.21131#F6NO, Generalized $q$--Extension Interaction (statement). In CPYWHRTPKC/e1, lemma 2.28
History
- 2026-10-27: add by m2/v0.4.2
Strong-quantum-effects resolution to the paradox VYC93QGE3R
| URI | m2://inv/VYC93QGE3R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black hole information paradox#CAFQ, Strong-quantum-effects resolution to the paradox (statement)
History
- 2026-11-02: add by m2/dev
VYCHW0C7TN VYCHW0C7TN
| URI | m2://inv/VYCHW0C7TN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#MAXD (statement). In 6G1KBA0SXV/e1, lemma 3.16
History
- 2026-10-31: add by m2/v0.5.6
Seam carving VYCQ7JAC7E
| URI | m2://inv/VYCQ7JAC7E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#LXVL, Seam carving (unknown)
History
- 2026-11-02: add by m2/dev
Ralph Ernest Powers VYCTMHZHN4
| URI | m2://inv/VYCTMHZHN4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ralph Ernest Powers, Ralph Ernest Powers (topic). Also Wikidata Q7273603
History
- 2026-11-02: add by m2/dev
Properties VYCXG5YHBC
| URI | m2://inv/VYCXG5YHBC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giuga number#SRLN, Properties (statement)
History
- 2026-11-02: add by m2/dev
Conchospiral VYCYSYBHA9
| URI | m2://inv/VYCYSYBHA9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#SPKT, Conchospiral (definition)
- wikipedia: Wikipedia List of curves#DAET, Conchospiral (definition)
History
- 2026-11-02: add by m2/dev
VYD9BVZ8JB VYD9BVZ8JB
| URI | m2://inv/VYD9BVZ8JB |
|---|---|
| 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.14458#9TYN (statement). In WJ76MVYAZQ/e1, proposition 1.5
History
- 2026-10-28: add by m2/v0.4.2
VYD9EAWAX4 VYD9EAWAX4
| URI | m2://inv/VYD9EAWAX4 |
|---|---|
| Kind | definition |
| 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#ZBLH (definition)
History
- 2026-11-01: add by m2/v0.6.15
VYDAE3JJ2D VYDAE3JJ2D
| URI | m2://inv/VYDAE3JJ2D |
|---|---|
| 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.32439#3T1D (statement). In GD8D1YH7K4/e1, corollary 3.3
History
- 2026-10-31: add by m2/v0.5.6
Fundamental --- \textsc{Sub-Pi VYDANPG8NJ
| URI | m2://inv/VYDANPG8NJ |
|---|---|
| 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.21131#HSQ8, Fundamental --- \textsc{Sub-Pi (statement). In CPYWHRTPKC/e1, lemma 6.70
History
- 2026-10-27: add by m2/v0.4.2
Reeds–Sloane algorithm VYEFSRMMS5
| URI | m2://inv/VYEFSRMMS5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7306757, Reeds–Sloane algorithm (unknown). Also MathWorld Reeds-SloaneAlgorithm
History
- 2026-10-26: add by m2/dev
Dan Gusfield VYEMAQB6WV
| URI | m2://inv/VYEMAQB6WV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#P7IM, Dan Gusfield (unknown)
History
- 2026-11-02: add by m2/dev
VYENQFFBZM VYENQFFBZM
| URI | m2://inv/VYENQFFBZM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#example-1 (example). In E9HS8K3A52, example, section 9.1.2
History
- 2026-11-01: add by m2/v0.6.13
VYENWM6SPV VYENWM6SPV
| URI | m2://inv/VYENWM6SPV |
|---|---|
| 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 2606.23841#QQ36 (statement). In 67FPT1PG7R/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
Mimesis VYF19ME505
| URI | m2://inv/VYF19ME505 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mimesis (mathematics), Mimesis (definition). Also Wikidata Q6862071
History
- 2026-11-02: add by m2/dev
Wolfgang Stegmüller VYF29MXK6B
| URI | m2://inv/VYF29MXK6B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wolfgang Stegmüller, Wolfgang Stegmüller (topic). Also Wikidata Q215126
History
- 2026-11-02: add by m2/dev
Main principles VYF305GHZM
| URI | m2://inv/VYF305GHZM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial chaos#GR4D, Main principles (statement)
History
- 2026-11-02: add by m2/dev
VYFBC8PY1N VYFBC8PY1N
| URI | m2://inv/VYFBC8PY1N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-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.04314#SP2A (statement). In AKWTE0M6PE/e1, proposition 9
History
- 2026-10-29: add by m2/v0.4.12
VYFE7SBFFN VYFE7SBFFN
| URI | m2://inv/VYFE7SBFFN |
|---|---|
| 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.09171#309Z (definition). In 5ZPSZFE08Q/e1, definition 3.16
History
- 2026-10-29: add by m2/v0.4.10
Measure algebra VYFJ9AT3CF
| URI | m2://inv/VYFJ9AT3CF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measure algebra, Measure algebra (definition). Also Wikidata Q6804179
History
- 2026-11-02: add by m2/dev
Theorem (existence) VYFMZD522X
| URI | m2://inv/VYFMZD522X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randomness extractor#MAI1, Theorem (existence) (statement)
History
- 2026-11-02: add by m2/dev
VYFRG4F99Q VYFRG4F99Q
| URI | m2://inv/VYFRG4F99Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 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 2609.25080#ZQIL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Matti Lassas VYFTEPZNDK
| URI | m2://inv/VYFTEPZNDK |
|---|---|
| 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#SVUV, Matti Lassas (unknown)
History
- 2026-11-02: add by m2/dev
Riemann VYG5BVZZ1M
| URI | m2://inv/VYG5BVZZ1M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#9TEY, Riemann (definition)
History
- 2026-11-02: add by m2/dev
Theorem VYG7C20ZEE
| URI | m2://inv/VYG7C20ZEE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Green's theorem#00XB, Theorem (statement)
History
- 2026-11-02: add by m2/dev
VYGTEN6FJZ VYGTEN6FJZ
| URI | m2://inv/VYGTEN6FJZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00869#S1J1 (statement). In 63JMKC4GZE/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
VYGTR9QQVS VYGTR9QQVS
| URI | m2://inv/VYGTR9QQVS |
|---|---|
| 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.26307#IHLF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hardy's theorem VYGVXBSAXH
| URI | m2://inv/VYGVXBSAXH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#65V9, Hardy's theorem (statement)
History
- 2026-11-02: add by m2/dev
VYH67HT7VG VYH67HT7VG
| URI | m2://inv/VYH67HT7VG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#R8EQ (statement). In 7V3HG30ZGW/e1, proposition A.24
History
- 2026-10-27: add by m2/v0.4.0
Value estimation from paired samples VYHBJRXZ22
| URI | m2://inv/VYHBJRXZ22 |
|---|---|
| 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.17579#QHRD, Value estimation from paired samples (statement). In 1H021CTR3A/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
VYHM64N980 VYHM64N980
| URI | m2://inv/VYHM64N980 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03756#QDS4 (statement). In 2381M4GBTT/e1, corollary 6.3
History
- 2026-10-29: add by m2/v0.4.12
spectrum VYHN3NJFX9
| URI | m2://inv/VYHN3NJFX9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Spectrum of an operator BMKATJ802A |
Mentions
- wikidata: Wikidata Q1365748, spectrum (unknown). Also EoM Spectrum_of_an_operator, MathWorld OperatorSpectrum
- wikipedia: Wikipedia Spectrum (functional analysis), Spectrum (definition). Also Wikidata Q1365748
History
- 2026-10-26: add by m2/dev
VYHPNWE8K0 VYHPNWE8K0
| URI | m2://inv/VYHPNWE8K0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18847#7WS2 (statement). In DZ12XTTJSM/e1, lemma 2.24
History
- 2026-10-28: add by m2/v0.4.2
VYHR5CJYPA VYHR5CJYPA
| URI | m2://inv/VYHR5CJYPA |
|---|---|
| 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.15176#JW6Z (statement). In RKV0144CGA/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
VYHTF9V5EF VYHTF9V5EF
| URI | m2://inv/VYHTF9V5EF |
|---|---|
| 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.04809#KB04 (statement). In 2VHV0RNTNV/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.12
R.13 -- Eliahou's mod-\(64\) at \(L=167\) is sharp VYHWTPBX9W
| URI | m2://inv/VYHWTPBX9W |
|---|---|
| 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.25543#GFP3, R.13 -- Eliahou's mod-\(64\) at \(L=167\) is sharp (statement)
History
- 2026-11-01: add by m2/v0.6.15
Miles Reid VYHZ1GBMZE
| URI | m2://inv/VYHZ1GBMZE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1934663, Miles Reid (unknown). Also nLab Miles Reid
- wikipedia: Wikipedia Miles Reid, Miles Reid (topic). Also Wikidata Q1934663
History
- 2026-10-26: add by m2/dev
Positive linear functional VYHZDY6JN8
| URI | m2://inv/VYHZDY6JN8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive linear functional, Positive linear functional (definition). Also Wikidata Q7233279
History
- 2026-11-02: add by m2/dev
The Kochloukova--Zalesskii phenomenon VYJ50EZXCZ
| URI | m2://inv/VYJ50EZXCZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00021#PFY6, The Kochloukova--Zalesskii phenomenon (example). In EX42AVA7CV/e1, example 8.3
History
- 2026-10-30: add by m2/v0.4.12
Solvable but not virtually nilpotent VYJG8GMWQ2
| URI | m2://inv/VYJG8GMWQ2 |
|---|---|
| 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 2609.27204#KN50, Solvable but not virtually nilpotent (example)
History
- 2026-11-01: add by m2/v0.6.15
Austria VYJPEXDB82
| URI | m2://inv/VYJPEXDB82 |
|---|---|
| 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 Q40, Austria (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Austria
History
- 2026-10-26: add by m2/dev
VYJPYRW1E5 VYJPYRW1E5
| URI | m2://inv/VYJPYRW1E5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11700#VQYI (statement). In RW9AZQ1YZ2/e1, lemma 16
History
- 2026-10-28: add by m2/v0.4.3
Generalizations VYJVWTW7MF
| URI | m2://inv/VYJVWTW7MF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann's inequality#5635, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
VYJWG3WVN7 VYJWG3WVN7
| URI | m2://inv/VYJWG3WVN7 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37606#64H4 (problem). In WNFW6GY38C/e1, problem 12.5
History
- 2026-10-30: add by m2/v0.4.12
VYJYYPQJVX VYJYYPQJVX
| URI | m2://inv/VYJYYPQJVX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10469#XWZN (statement). In Q39BEKW6D9/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
Examples VYK1H13VHV
| URI | m2://inv/VYK1H13VHV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hessenberg matrix#39ZS, Examples (example)
History
- 2026-11-02: add by m2/dev
VYK7ZC7PJ9 VYK7ZC7PJ9
| URI | m2://inv/VYK7ZC7PJ9 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/differentiate.tex#proof-8 (proof). In RZP28ERRZV, proof, section 30.4
History
- 2026-11-01: add by m2/v0.6.13
Blaschke sum VYKYNKMQZ9
| URI | m2://inv/VYKYNKMQZ9 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blaschke sum, Blaschke sum (object). Also Wikidata Q104853629
History
- 2026-11-02: add by m2/dev
Construction VYM14SRMEZ
| URI | m2://inv/VYM14SRMEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lexicographic order topology on the unit square#35ZQ, Construction (definition)
History
- 2026-11-02: add by m2/dev
SFIP VYM42GGENG
| URI | m2://inv/VYM42GGENG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#PZ2T, SFIP (definition)
History
- 2026-11-02: add by m2/dev
Stability of Boolean networks VYM5H4VPWG
| URI | m2://inv/VYM5H4VPWG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean network#I3MX, Stability of Boolean networks (unknown)
History
- 2026-11-02: add by m2/dev
VYMH8B5Q69 VYMH8B5Q69
| URI | m2://inv/VYMH8B5Q69 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreQuantification.tex#problem-3 (exercise). In P1C114YBXG, problem, section F
History
- 2026-11-01: add by m2/v0.6.13
Allen–Cahn equation VYMJGD5VB7
| URI | m2://inv/VYMJGD5VB7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Allen–Cahn equation, Allen–Cahn equation (definition). Also Wikidata Q4732089
History
- 2026-11-02: add by m2/dev
VYMNQX7YJG VYMNQX7YJG
| URI | m2://inv/VYMNQX7YJG |
|---|---|
| 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 1103.1038#0X63 (statement). In T9VMNNPS0H/e1, corollary 4.3
History
- 2026-10-27: add by m2/v0.3.6
Pullback compatibility of the cohomological operators VYMNYRXCGG
| URI | m2://inv/VYMNYRXCGG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04179#J715, Pullback compatibility of the cohomological operators (statement). In D64RQ09KBP/e1, lemma 6.11
History
- 2026-10-29: add by m2/v0.4.12
Georges Gonthier VYMSDA0SJ7
| URI | m2://inv/VYMSDA0SJ7 |
|---|---|
| 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#S66C, Georges Gonthier (topic)
History
- 2026-11-02: add by m2/dev
Edmund Busche VYN1JVZN9S
| URI | m2://inv/VYN1JVZN9S |
|---|---|
| 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 Q95008167, Edmund Busche (unknown). Also ProofWiki Mathematician:Conrad_Heinrich_Edmund_Friedrich_Busche
History
- 2026-10-26: add by m2/dev
Variants VYN1R9ERAX
| URI | m2://inv/VYN1R9ERAX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Littlewood conjecture#DQP9, Variants (statement)
History
- 2026-11-02: add by m2/dev
Terry Donahue VYN1XZP26A
| URI | m2://inv/VYN1XZP26A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#AL5H, Terry Donahue (unknown)
History
- 2026-11-02: add by m2/dev
András Sárközy VYN85678GH
| URI | m2://inv/VYN85678GH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia András Sárközy, András Sárközy (topic). Also Wikidata Q716211
History
- 2026-11-02: add by m2/dev
Ralph Abraham VYNAFV2SQH
| URI | m2://inv/VYNAFV2SQH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ralph Abraham (mathematician), Ralph Abraham (topic). Also Wikidata Q973595
History
- 2026-11-02: add by m2/dev
VYNAPYQBYM VYNAPYQBYM
| URI | m2://inv/VYNAPYQBYM |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.10911#LVAZ (statement). In Y23VR7N90M/e1, lemma 21
History
- 2026-10-27: add by m2/v0.3.5
Global folded LCL profile VYNF352WKZ
| URI | m2://inv/VYNF352WKZ |
|---|---|
| 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.40252#VUY4, Global folded LCL profile (definition). In 7MVPNFPRKB/e1, definition 12.5
History
- 2026-10-30: add by m2/v0.4.12
Barbara Herman VYNMHGRNTY
| URI | m2://inv/VYNMHGRNTY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#MU4Y, Barbara Herman (unknown)
History
- 2026-11-02: add by m2/dev
Walter Gröbli VYNN24GBPA
| URI | m2://inv/VYNN24GBPA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Walter Gröbli, Walter Gröbli (topic). Also Wikidata Q37732838
History
- 2026-11-02: add by m2/dev
Rüdiger Valk VYNR1HN48P
| URI | m2://inv/VYNR1HN48P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#MA1K, Rüdiger Valk (topic)
History
- 2026-11-02: add by m2/dev
VYNSZJJGSE VYNSZJJGSE
| URI | m2://inv/VYNSZJJGSE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23527#IE7O (statement)
History
- 2026-11-02: add by m2/v0.6.17
Hongkai Zhao VYNWXWSZ99
| URI | m2://inv/VYNWXWSZ99 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hongkai Zhao, Hongkai Zhao (topic). Also Wikidata Q61067717
History
- 2026-11-02: add by m2/dev
Post correspondence problem VYNXQYW8KE
| URI | m2://inv/VYNXQYW8KE |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#7IR9, Post correspondence problem (problem)
History
- 2026-11-02: add by m2/dev
VYNZBWJED2 VYNZBWJED2
| URI | m2://inv/VYNZBWJED2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05327#MB8T (statement). In ZD7BWDKT84/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.10
VYP4KFFHBZ VYP4KFFHBZ
| URI | m2://inv/VYP4KFFHBZ |
|---|---|
| Kind | problem |
| 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.06466#75U6 (problem). In 6W451V3N75/e1, problem 1.2
History
- 2026-10-29: add by m2/v0.4.10
VYP565AGG3 VYP565AGG3
| URI | m2://inv/VYP565AGG3 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1509.00950#LHBY (proof). In MDZFW5GACV/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
VYP5RA680A VYP5RA680A
| URI | m2://inv/VYP5RA680A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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 2512.16003#VIOB (definition). In BJGS6ZCQ12/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.6
Free-air correction VYPAGV1T9A
| URI | m2://inv/VYPAGV1T9A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free-air gravity anomaly#11XC, Free-air correction (unknown)
History
- 2026-11-02: add by m2/dev
Challenging VYPCS68VTS
| URI | m2://inv/VYPCS68VTS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise:outermeasureofsumofrectangles, Challenging (exercise). In E59CDZA4DP, exercise, section 5.3.4
History
- 2026-11-01: add by m2/v0.6.13
Ivan Cherednik VYPHHX31NV
| URI | m2://inv/VYPHHX31NV |
|---|---|
| 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#HG2E, Ivan Cherednik (topic)
History
- 2026-11-02: add by m2/dev
fundamental, group, of circle VYPRCXRVQP
| URI | m2://inv/VYPRCXRVQP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7/fundamental-group-of-circle, fundamental, group, of circle (concept). In N54F33XE07, index, section 7
History
- 2026-11-01: add by m2/v0.6.13
VYPRJSN02S VYPRJSN02S
| URI | m2://inv/VYPRJSN02S |
|---|---|
| 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#0VVY (statement). In E7W2HDNEKJ/e1, corollary 9.19
History
- 2026-10-30: add by m2/v0.4.12
VYPT78S776 VYPT78S776
| URI | m2://inv/VYPT78S776 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#proof-2 (proof). In P1C114YBXG, proof, section H
History
- 2026-11-01: add by m2/v0.6.13
Systems of barycentric maps VYQ2MR0881
| URI | m2://inv/VYQ2MR0881 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20998#0V6E, Systems of barycentric maps (definition)
History
- 2026-11-02: add by m2/v0.6.18
Definitions VYQ5RY9JX9
| URI | m2://inv/VYQ5RY9JX9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Translation surface#3I7D, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Attribute grammar VYQ9RZ51R7
| URI | m2://inv/VYQ9RZ51R7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Attribute grammar, Attribute grammar (definition). Also Wikidata Q597455
History
- 2026-11-02: add by m2/dev
Emilie Virginia Haynsworth VYQR8KVMCY
| URI | m2://inv/VYQR8KVMCY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emilie Virginia Haynsworth, Emilie Virginia Haynsworth (topic). Also Wikidata Q67896999
History
- 2026-11-02: add by m2/dev
Example VYQVAHWSZB
| URI | m2://inv/VYQVAHWSZB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's totient function#D8BI, Example (example)
History
- 2026-11-02: add by m2/dev
VYQZASWNSF VYQZASWNSF
| URI | m2://inv/VYQZASWNSF |
|---|---|
| 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.40260#QFKW (statement). In 524FZAC6NB/e1, theorem 13
History
- 2026-10-30: add by m2/v0.4.12
VYR541AB7Z VYR541AB7Z
| URI | m2://inv/VYR541AB7Z |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-38 (proof). In N54F33XE07, proof, section B.6
History
- 2026-11-01: add by m2/v0.6.13
Brian Hartley VYR5H21SA1
| URI | m2://inv/VYR5H21SA1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brian Hartley (mathematician), Brian Hartley (topic). Also Wikidata Q3709964
History
- 2026-11-02: add by m2/dev
VYR6NTMFHM VYR6NTMFHM
| URI | m2://inv/VYR6NTMFHM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-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 2609.26762#2UUA (statement)
History
- 2026-11-01: add by m2/v0.6.15
VYRD1Q1HRG VYRD1Q1HRG
| URI | m2://inv/VYRD1Q1HRG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#UI8X (definition). In 9H45HQE7AZ/e1, definition 3.28
History
- 2026-10-27: add by m2/v0.3.5
Clifford theory VYRDJSK2F8
| URI | m2://inv/VYRDJSK2F8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clifford theory, Clifford theory (definition). Also Wikidata Q5133087
History
- 2026-11-02: add by m2/dev
VYRE7B29SK VYRE7B29SK
| URI | m2://inv/VYRE7B29SK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24860#QF1B (statement)
History
- 2026-11-01: add by m2/v0.6.15
Why clipping is necessary VYRFMZNCXH
| URI | m2://inv/VYRFMZNCXH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16510#S2BC, Why clipping is necessary (example). In V7SQ4VXCRX/e1, example 4.4
History
- 2026-10-28: add by m2/v0.4.2
VYRGDDTK7D VYRGDDTK7D
| URI | m2://inv/VYRGDDTK7D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23237#4229 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Broze, Laurence VYRNVSSPCM
| URI | m2://inv/VYRNVSSPCM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#56VI, Broze, Laurence (topic)
History
- 2026-11-02: add by m2/dev
VYRPYCKZDV VYRPYCKZDV
| URI | m2://inv/VYRPYCKZDV |
|---|---|
| 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 2202.10212#F8EO (statement). In E9ZQM8449P/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.6
VYRQZ422PD VYRQZ422PD
| URI | m2://inv/VYRQZ422PD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#LYYX (statement). In 9ZSNSJRJ5N/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.3.5
VYRT27JTFR VYRT27JTFR
| URI | m2://inv/VYRT27JTFR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#WAXP (statement). In WRE0P7V6Z3/e1, corollary 4.7
History
- 2026-10-30: add by m2/v0.4.12
Limit of the observable dual $W^{(p)}$ VYRT4BA6WT
| URI | m2://inv/VYRT4BA6WT |
|---|---|
| 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.20550#VCHQ, Limit of the observable dual $W^{(p)}$ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Generalizations VYRY99A7PS
| URI | m2://inv/VYRY99A7PS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karush–Kuhn–Tucker conditions#04WS, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
VYS5196GRV VYS5196GRV
| URI | m2://inv/VYS5196GRV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#08UO (definition). In 5KR3MHYVV6/e1, definition 3.10
History
- 2026-10-28: add by m2/v0.4.2
Batch deletion VYS7F4R977
| URI | m2://inv/VYS7F4R977 |
|---|---|
| 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.28160#861A, Batch deletion (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications VYSDGQSVCD
| URI | m2://inv/VYSDGQSVCD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uncertainty principle#THV2, Applications (example)
History
- 2026-11-02: add by m2/dev
Complete-word estimate on a Sobolev group scale VYSER6G9RR
| URI | m2://inv/VYSER6G9RR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16094#SBPP, Complete-word estimate on a Sobolev group scale (statement). In RHBS9QDHC3/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
VYSEXTVXMR VYSEXTVXMR
| URI | m2://inv/VYSEXTVXMR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03719#BWA4 (statement). In 8MDK189ZMB/e1, proposition 3.11
History
- 2026-10-29: add by m2/v0.4.12
Hans Dobbertin VYSHNWA4SN
| URI | m2://inv/VYSHNWA4SN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Dobbertin, Hans Dobbertin (topic). Also Wikidata Q73585
History
- 2026-11-02: add by m2/dev
Flow estimates VYSMX7HEAX
| URI | m2://inv/VYSMX7HEAX |
|---|---|
| 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.09278#XYOS, Flow estimates (statement). In XREKHJHAT7/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
VYSNB8WMPB VYSNB8WMPB
| URI | m2://inv/VYSNB8WMPB |
|---|---|
| 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.40023#HJHG (statement). In JW9ARS9AQE/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Ernst Jacobsthal VYSPYB9C3P
| URI | m2://inv/VYSPYB9C3P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#X3DI, Ernst Jacobsthal (topic)
History
- 2026-11-02: add by m2/dev
Half-flip $H$-set decomposition VYSWX0D1F8
| URI | m2://inv/VYSWX0D1F8 |
|---|---|
| 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.25543#WQKP, Half-flip $H$-set decomposition (statement)
History
- 2026-11-01: add by m2/v0.6.15
Probability plot correlation coefficient plot VYSZAG1M6K
| URI | m2://inv/VYSZAG1M6K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability plot correlation coefficient plot, Probability plot correlation coefficient plot (definition). Also Wikidata Q7246884
History
- 2026-11-02: add by m2/dev
Elaine Kasimatis VYT1HJ9YBT
| URI | m2://inv/VYT1HJ9YBT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elaine Kasimatis, Elaine Kasimatis (topic). Also Wikidata Q102245425
History
- 2026-11-02: add by m2/dev
Analysis Situs VYT598J88T
| URI | m2://inv/VYT598J88T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analysis Situs (book), Analysis Situs (definition). Also Wikidata Q4751093
History
- 2026-11-02: add by m2/dev
Examples VYT7E1KVK9
| URI | m2://inv/VYT7E1KVK9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smoothed-particle hydrodynamics#PZPW, Examples (example)
History
- 2026-11-02: add by m2/dev
VYTB30Y6NQ VYTB30Y6NQ
| URI | m2://inv/VYTB30Y6NQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02689#V2OE (example). In 7BWXR38MNE/e1, example 4.2
History
- 2026-10-29: add by m2/v0.4.12
power rule VYTBVX5T0K
| URI | m2://inv/VYTBVX5T0K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#LUDJ, power rule (definition)
History
- 2026-11-02: add by m2/dev
VYTCR31XPA VYTCR31XPA
| URI | m2://inv/VYTCR31XPA |
|---|---|
| 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.10452#MFXO (statement). In 2F4PNP1V3B/e1, corollary 3.14
History
- 2026-10-29: add by m2/v0.4.10
Formulation VYTD5EC40N
| URI | m2://inv/VYTD5EC40N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebotarev density theorem#VVTE, Formulation (definition)
History
- 2026-11-02: add by m2/dev
VYTF37Z5ZQ VYTF37Z5ZQ
| URI | m2://inv/VYTF37Z5ZQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-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.34845#HJTX (example). In SBZNH932ZV/e1, example 3.1
History
- 2026-10-30: add by m2/v0.4.12
Bicuspid curve VYTKSH2WB9
| URI | m2://inv/VYTKSH2WB9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plane quartic curve#MXTD, Bicuspid curve (unknown)
History
- 2026-11-02: add by m2/dev
VYTS9K7PER VYTS9K7PER
| URI | m2://inv/VYTS9K7PER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38436#WMSS (statement). In 702AF3E4AF/e1, theorem 7.6
History
- 2026-10-30: add by m2/v0.4.12
Implementations VYTYD11EK6
| URI | m2://inv/VYTYD11EK6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Debye function#TF5A, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Spigot algorithm VYV5ZS65XB
| URI | m2://inv/VYV5ZS65XB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#R134, Spigot algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Pythagorean letter VYVFPEX1DM
| URI | m2://inv/VYVFPEX1DM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Pythagoras#YWX6, Pythagorean letter (unknown)
History
- 2026-11-02: add by m2/dev
Binary classification VYVJ5FMKHA
| URI | m2://inv/VYVJ5FMKHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CG5W, Binary classification (definition)
History
- 2026-11-02: add by m2/dev
Discrete-time Fourier transform VYVK2NB7CK
| URI | m2://inv/VYVK2NB7CK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier-related transforms#TAP8, Discrete-time Fourier transform (definition)
History
- 2026-11-02: add by m2/dev
Hitchin–Thorpe inequality VYVQ50PRGD
| URI | m2://inv/VYVQ50PRGD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hitchin–Thorpe inequality, Hitchin–Thorpe inequality (statement). Also Wikidata Q5871872
History
- 2026-11-02: add by m2/dev
Definition VYVQRH9DA8
| URI | m2://inv/VYVQRH9DA8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bulk modulus#WOYF, Definition (definition)
History
- 2026-11-02: add by m2/dev
Frank Spitzer VYVYB00P0A
| URI | m2://inv/VYVYB00P0A |
|---|---|
| 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#26PV, Frank Spitzer (unknown)
History
- 2026-11-02: add by m2/dev
VYW33RS6ND VYW33RS6ND
| URI | m2://inv/VYW33RS6ND |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 16-XX, 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.03601#4HES (definition). In F7TDYCHCSE/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.5
VYW3KGGJE9 VYW3KGGJE9
| URI | m2://inv/VYW3KGGJE9 |
|---|---|
| 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.10576#LRQX (statement). In N3ZA5MDZBW/e1, corollary 10
History
- 2026-10-29: add by m2/v0.4.10
Brian Wandell VYW6MZRXS3
| URI | m2://inv/VYW6MZRXS3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ACB8, Brian Wandell (unknown)
History
- 2026-11-02: add by m2/dev
Glossary of game theory VYWE2X6KWB
| URI | m2://inv/VYWE2X6KWB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#U782, Glossary of game theory (topic)
History
- 2026-11-02: add by m2/dev
Function (set theory) VYWG3ZRRQ5
| URI | m2://inv/VYWG3ZRRQ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function (mathematics)#PVR6, Function (set theory) (unknown)
History
- 2026-11-02: add by m2/dev
VYWKNK5DM1 VYWKNK5DM1
| URI | m2://inv/VYWKNK5DM1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01467#G9HY (statement). In 10GZB25WAC/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.12
VYWT9XWNT6 VYWT9XWNT6
| URI | m2://inv/VYWT9XWNT6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0907.5545#BAF8 (definition). In K3GWCTV5YE/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
Almost everywhere convergence VYWVVNSYXZ
| URI | m2://inv/VYWVVNSYXZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pointwise convergence#YLR6, Almost everywhere convergence (unknown)
History
- 2026-11-02: add by m2/dev
S Factor VYX6YQ6BAB
| URI | m2://inv/VYX6YQ6BAB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gamow factor#98GO, S Factor (unknown)
History
- 2026-11-02: add by m2/dev
Fundamental theorem of poker VYX950FX2Y
| URI | m2://inv/VYX950FX2Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#7IC6, Fundamental theorem of poker (unknown)
History
- 2026-11-02: add by m2/dev
Properties VYXB036SJR
| URI | m2://inv/VYXB036SJR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linnik's theorem#PL0M, Properties (statement)
History
- 2026-11-02: add by m2/dev
Hydrograph VYXB0H1JZ1
| URI | m2://inv/VYXB0H1JZ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hydrograph, Hydrograph (definition). Also Wikidata Q320062
History
- 2026-11-02: add by m2/dev
List of isotoxal polyhedra and tilings VYXFNJF6QH
| URI | m2://inv/VYXFNJF6QH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of isotoxal polyhedra and tilings, List of isotoxal polyhedra and tilings (topic). Also Wikidata Q6624524
History
- 2026-11-02: add by m2/dev
VYXJMXNKT5 VYXJMXNKT5
| URI | m2://inv/VYXJMXNKT5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24623#87FK (statement)
History
- 2026-11-01: add by m2/v0.6.15
VYXKCGQ35S VYXKCGQ35S
| URI | m2://inv/VYXKCGQ35S |
|---|---|
| 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.01855#I4TQ (statement). In MM8P5CJR18/e1, proposition 4.6
History
- 2026-10-29: add by m2/v0.4.12
VYXPBMSXKS VYXPBMSXKS
| URI | m2://inv/VYXPBMSXKS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2304.03611#P24U (definition). In 75E8ZB1CBV/e1, definition 2.2.1
History
- 2026-10-27: add by m2/v0.4.0
Central Limit Theorem for the log-partition function VYXQMZ16M0
| URI | m2://inv/VYXQMZ16M0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2109.12716#QR0A, Central Limit Theorem for the log-partition function (statement). In 6X76XBE3HV/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
VYXS0YXG62 VYXS0YXG62
| URI | m2://inv/VYXS0YXG62 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2006.12475#L6TQ (definition). In 8YWBGQQGA3/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.5
VYXTV09PV0 VYXTV09PV0
| URI | m2://inv/VYXTV09PV0 |
|---|---|
| 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.33015#47PS (statement). In W6Y6NPK648/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
VYXTZJXJDY VYXTZJXJDY
| URI | m2://inv/VYXTZJXJDY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19590#9M8O (example). In AZFARX0CXG/e1, example 1.8
History
- 2026-10-28: add by m2/v0.4.2
Examples VYY35ZM14G
| URI | m2://inv/VYY35ZM14G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Criterion-referenced test#0AD1, Examples (example)
History
- 2026-11-02: add by m2/dev
VYY45KA881 VYY45KA881
| URI | m2://inv/VYY45KA881 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17541#F936 (example). In 9PHDBFMHH6/e1, example 5.10
History
- 2026-10-28: add by m2/v0.4.2
Louis Rosenhead VYY5C0358P
| URI | m2://inv/VYY5C0358P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louis Rosenhead, Louis Rosenhead (topic). Also Wikidata Q15994715
History
- 2026-11-02: add by m2/dev
VYYAGSDZTW VYYAGSDZTW
| URI | m2://inv/VYYAGSDZTW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#45VK (statement)
History
- 2026-11-01: add by m2/v0.6.15
VYYM3XZN11 VYYM3XZN11
| URI | m2://inv/VYYM3XZN11 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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 2512.16003#NNUN (definition). In BJGS6ZCQ12/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.6
Argument–deduction–proof distinctions VYYRN6HVF9
| URI | m2://inv/VYYRN6HVF9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument–deduction–proof distinctions, Argument–deduction–proof distinctions (definition). Also Wikidata Q17002328
History
- 2026-11-02: add by m2/dev
VYYSG6PP7X VYYSG6PP7X
| URI | m2://inv/VYYSG6PP7X |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#BDW4 (statement). In CY1FE8W1ZW/e1, lemma 0.196
History
- 2026-10-27: add by m2/v0.3.5
VYYX01AY8E VYYX01AY8E
| URI | m2://inv/VYYX01AY8E |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26201#GCZF (example)
History
- 2026-11-01: add by m2/v0.6.15
Morley–Wang–Xu element VYYYY522VH
| URI | m2://inv/VYYYY522VH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morley–Wang–Xu element, Morley–Wang–Xu element (definition). Also Wikidata Q85786306
History
- 2026-11-02: add by m2/dev
bottom quark VYZ2HP5VN1
| URI | m2://inv/VYZ2HP5VN1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6786, bottom quark (unknown). Also nLab bottom quark
History
- 2026-10-26: add by m2/dev
Paul Lévy VYZ32V1Y6Y
| URI | m2://inv/VYZ32V1Y6Y |
|---|---|
| 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#Q2E1, Paul Lévy (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SUCM, Paul Lévy (topic)
History
- 2026-11-02: add by m2/dev
VYZ7NX2MZ6 VYZ7NX2MZ6
| URI | m2://inv/VYZ7NX2MZ6 |
|---|---|
| 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#ICFQ (statement). In 3A4K47Y9F2/e1, theorem 2.14
History
- 2026-10-27: add by m2/v0.4.0
VYZDHVG987 VYZDHVG987
| URI | m2://inv/VYZDHVG987 |
|---|---|
| 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 2508.19709#JTJS (statement). In 57PQWSSZMY/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
VYZGY2FG2B VYZGY2FG2B
| URI | m2://inv/VYZGY2FG2B |
|---|---|
| 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.11271#W5XA (statement). In HF7J38T8Y6/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.3
Noether inequality VYZKRJTRBK
| URI | m2://inv/VYZKRJTRBK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#P7R6, Noether inequality (statement)
History
- 2026-11-02: add by m2/dev
Harry Schultz Vandiver VYZMF3G12H
| URI | m2://inv/VYZMF3G12H |
|---|---|
| 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#9TVV, Harry Schultz Vandiver (unknown)
History
- 2026-11-02: add by m2/dev
Poitou–Tate duality VYZWKT1XWQ
| URI | m2://inv/VYZWKT1XWQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#RQ5N, Poitou–Tate duality (definition)
History
- 2026-11-02: add by m2/dev
Borsuk's conjecture VYZWZR0MTG
| URI | m2://inv/VYZWZR0MTG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Borsuk's conjecture WTCP8A87P1 |
Mentions
- wikidata: Wikidata Q894242, Borsuk's conjecture (conjecture). Also MathWorld BorsuksConjecture
- wikipedia: Wikipedia Borsuk's conjecture, Borsuk's conjecture (statement). Also Wikidata Q894242
History
- 2026-10-26: add by m2/dev