Inventory rows 7M
The cards of the rows of the inventory whose ids start with 7M. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Karl Edwin Gustafson 7M047GJ467
| URI | m2://inv/7M047GJ467 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl Edwin Gustafson, Karl Edwin Gustafson (topic). Also Wikidata Q102163830
History
- 2026-11-02: add by m2/dev
7M0AK34KSW 7M0AK34KSW
| URI | m2://inv/7M0AK34KSW |
|---|---|
| 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.33124#7GF2 (definition). In P27HYGQDAN/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
7M0CWZZ43H 7M0CWZZ43H
| URI | m2://inv/7M0CWZZ43H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#799Y (definition). In Q5Z178SAHP/e1, definition 4.11
History
- 2026-10-30: add by m2/v0.4.12
Verlinde algebra 7M0D6QVN4T
| URI | m2://inv/7M0D6QVN4T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Verlinde algebra, Verlinde algebra (definition). Also Wikidata Q7921501
History
- 2026-11-02: add by m2/dev
Explicit-input NP-hardness 7M0FT6C1YY
| URI | m2://inv/7M0FT6C1YY |
|---|---|
| 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#4RBD, Explicit-input NP-hardness (statement). In DQB4YR2DFH/e1, theorem 13.1
History
- 2026-10-29: add by m2/v0.4.12
Binary logarithm 7M0PN3RVK7
| URI | m2://inv/7M0PN3RVK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#7P5L, Binary logarithm (definition)
History
- 2026-11-02: add by m2/dev
7M0PPWE5D4 7M0PPWE5D4
| URI | m2://inv/7M0PPWE5D4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24314#CTES (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 7M0WEJMKR7
| URI | m2://inv/7M0WEJMKR7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternating series test#XQUA, Examples (example)
History
- 2026-11-02: add by m2/dev
Straight line mission 7M0YES51GZ
| URI | m2://inv/7M0YES51GZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Straight line mission, Straight line mission (definition). Also Wikidata Q110885400
History
- 2026-11-02: add by m2/dev
Abel function 7M125QN5H6
| URI | m2://inv/7M125QN5H6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Niels Henrik Abel#VYRV, Abel function (definition)
History
- 2026-11-02: add by m2/dev
Extensions 7M162F0QTQ
| URI | m2://inv/7M162F0QTQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bonferroni correction#7SFG, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Thomas Joannes Stieltjes 7M1F1EYWNS
| URI | m2://inv/7M1F1EYWNS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#VLJ2, Thomas Joannes Stieltjes (topic)
History
- 2026-11-02: add by m2/dev
Empirical-Bernstein floor and an observable rejection time 7M1FF92N1B
| URI | m2://inv/7M1FF92N1B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27766#LMTB, Empirical-Bernstein floor and an observable rejection time (statement)
History
- 2026-11-01: add by m2/v0.6.15
Proof compression 7M1FV5ZW2J
| URI | m2://inv/7M1FV5ZW2J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof compression, Proof compression (definition). Also Wikidata Q7250001
History
- 2026-11-02: add by m2/dev
impredicative, encoding of a $\w$-type 7M1KDBCRA0
| URI | m2://inv/7M1KDBCRA0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.8/impredicative-encoding-of-a-w-type, impredicative, encoding of a $\w$-type (concept). In N54F33XE07, index, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
7M1QD3ARZX 7M1QD3ARZX
| URI | m2://inv/7M1QD3ARZX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-47 (exercise). In E9HS8K3A52, exercise, section 7.3.4
History
- 2026-11-01: add by m2/v0.6.13
Example 7M1YFRGZPV
| URI | m2://inv/7M1YFRGZPV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smith normal form#HYR1, Example (example)
History
- 2026-11-02: add by m2/dev
Colin J. Bushnell 7M22RER84R
| URI | m2://inv/7M22RER84R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Colin J. Bushnell, Colin J. Bushnell (topic). Also Wikidata Q1690887
History
- 2026-11-02: add by m2/dev
Good event 7M22RFXM25
| URI | m2://inv/7M22RFXM25 |
|---|---|
| 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.14988#A6AZ, Good event (statement). In B29M4E6KGC/e1, lemma H.22
History
- 2026-10-28: add by m2/v0.4.2
Montanaro--Osborne 7M295SY3GD
| URI | m2://inv/7M295SY3GD |
|---|---|
| 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.21900#NI73, Montanaro--Osborne (statement)
History
- 2026-11-02: add by m2/v0.6.17
polynomial equation 7M2ZQ304RM
| URI | m2://inv/7M2ZQ304RM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3782059, polynomial equation (unknown). Also MathWorld PolynomialEquation
History
- 2026-10-26: add by m2/dev
Topological field 7M3ANHBSX8
| URI | m2://inv/7M3ANHBSX8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Field (mathematics)#RX08, Topological field (unknown)
History
- 2026-11-02: add by m2/dev
7M3BXSWKVP 7M3BXSWKVP
| URI | m2://inv/7M3BXSWKVP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/machines-computations/disciplined-machines.tex#ex-1 (example). In PKGMM3P5QY, ex, section 85.5
History
- 2026-11-01: add by m2/v0.6.13
Vincent Bugliosi 7M3DGAPY1K
| URI | m2://inv/7M3DGAPY1K |
|---|---|
| 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#OPXY, Vincent Bugliosi (unknown)
History
- 2026-11-02: add by m2/dev
Finite resonance data recalled from previous work 7M3GNP71V1
| URI | m2://inv/7M3GNP71V1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25925#Z7SK, Finite resonance data recalled from previous work (statement)
History
- 2026-11-01: add by m2/v0.6.15
7M3HSQDHHF 7M3HSQDHHF
| URI | m2://inv/7M3HSQDHHF |
|---|---|
| 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.35421#VZHT (statement). In KE8B8KMDJJ/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
7M3PEG6141 7M3PEG6141
| URI | m2://inv/7M3PEG6141 |
|---|---|
| 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 2011.06637#LKT7 (statement). In KFCJ5CFP3G/e1, corollary 1.5
History
- 2026-10-27: add by m2/v0.3.5
PowerVu 7M3RYMZ1VR
| URI | m2://inv/7M3RYMZ1VR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PowerVu, PowerVu (definition). Also Wikidata Q972718
History
- 2026-11-02: add by m2/dev
7M3TTE5VXV 7M3TTE5VXV
| URI | m2://inv/7M3TTE5VXV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35577#8CPB (statement). In 4F8QRV05BV/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
Effros's theorem and its extension 7M3X2VMG7N
| URI | m2://inv/7M3X2VMG7N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace inequality#6CYS, Effros's theorem and its extension (statement)
History
- 2026-11-02: add by m2/dev
Definition 7M43EPX7NM
| URI | m2://inv/7M43EPX7NM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inserter category#MVJN, Definition (definition)
History
- 2026-11-02: add by m2/dev
7M44H1F4H9 7M44H1F4H9
| URI | m2://inv/7M44H1F4H9 |
|---|---|
| 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.16875#B4K6 (statement). In KS30K5JXGB/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
block 7M451JRZK6
| URI | m2://inv/7M451JRZK6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#FA8Y, block (definition)
History
- 2026-11-02: add by m2/dev
The special spiral 7M485N5JXR
| URI | m2://inv/7M485N5JXR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#RP4V, The special spiral (statement). In 65TJENWK7X/e1, proposition 10
History
- 2026-10-29: add by m2/v0.4.10
7M4A6T42X1 7M4A6T42X1
| URI | m2://inv/7M4A6T42X1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21475#5LK0 (statement). In TTRSZVT4VX/e1, proposition 4.10
History
- 2026-10-27: add by m2/v0.4.2
7M4D4VK7R7 7M4D4VK7R7
| URI | m2://inv/7M4D4VK7R7 |
|---|---|
| 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.04675#WIEE (statement). In RDXNFF2CZP/e1, proposition 15
History
- 2026-10-29: add by m2/v0.4.12
7M4E76ZRSA 7M4E76ZRSA
| URI | m2://inv/7M4E76ZRSA |
|---|---|
| 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.09650#CWHJ (statement). In 628KM8869P/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.10
Guiding principles 7M4M631TYT
| URI | m2://inv/7M4M631TYT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Association of Teachers of Mathematics#O3QW, Guiding principles (statement)
History
- 2026-11-02: add by m2/dev
Number of degree-$r$ places 7M4M8R7E0Y
| URI | m2://inv/7M4M8R7E0Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32834#MX1S, Number of degree-$r$ places (statement). In N4M6B8EMCW/e1, corollary 2.9
History
- 2026-10-31: add by m2/v0.5.6
Sucharit Sarkar 7M4Q2EBE9Q
| URI | m2://inv/7M4Q2EBE9Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sucharit Sarkar, Sucharit Sarkar (topic). Also Wikidata Q7632861
History
- 2026-11-02: add by m2/dev
Field of sets 7M4SM5CCTP
| URI | m2://inv/7M4SM5CCTP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Field of sets, Field of sets (definition). Also Wikidata Q246506
History
- 2026-11-02: add by m2/dev
Caterpillar tree 7M505H5T3F
| URI | m2://inv/7M505H5T3F |
|---|---|
| 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 2602.03909#J2XL, Caterpillar tree (definition). In WWFAVFGPQQ/e1, definition 1
History
- 2026-10-27: add by m2/v0.4.0
7M52H4W80A 7M52H4W80A
| URI | m2://inv/7M52H4W80A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21552#YIF2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Formal group laws 7M53CKAASN
| URI | m2://inv/7M53CKAASN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex cobordism#0GHZ, Formal group laws (statement)
History
- 2026-11-02: add by m2/dev
7M5KEBDX8K 7M5KEBDX8K
| URI | m2://inv/7M5KEBDX8K |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26813#92MQ (example)
History
- 2026-11-01: add by m2/v0.6.15
Jon Elster 7M5R2EZZ36
| URI | m2://inv/7M5R2EZZ36 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jon Elster, Jon Elster (topic). Also Wikidata Q468043
History
- 2026-11-02: add by m2/dev
7M5T2078PK 7M5T2078PK
| URI | m2://inv/7M5T2078PK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29653#84Z4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
British Tunny 7M64MESS43
| URI | m2://inv/7M64MESS43 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptanalysis of the Lorenz cipher#KCY1, British Tunny (unknown)
History
- 2026-11-02: add by m2/dev
Marilyn Carlson 7M6DKV6M03
| URI | m2://inv/7M6DKV6M03 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marilyn Carlson, Marilyn Carlson (topic). Also Wikidata Q102232809
History
- 2026-11-02: add by m2/dev
Hecke ring 7M6JB268GK
| URI | m2://inv/7M6JB268GK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Erich Hecke#0J6M, Hecke ring (unknown)
History
- 2026-11-02: add by m2/dev
7M6MTF5JKQ 7M6MTF5JKQ
| URI | m2://inv/7M6MTF5JKQ |
|---|---|
| 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.10221#7L9T (statement). In 9Z5M655EPV/e1, proposition 5.4
History
- 2026-10-29: add by m2/v0.4.10
Properties 7M6QAP2T59
| URI | m2://inv/7M6QAP2T59 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix t-distribution#Q6KT, Properties (statement)
History
- 2026-11-02: add by m2/dev
eigenspace 7M6REFR83G
| URI | m2://inv/7M6REFR83G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1303223, eigenspace (unknown). Also MathWorld Eigenspace, nLab eigenspace
History
- 2026-10-26: add by m2/dev
7M6Y8Y6EFE 7M6Y8Y6EFE
| URI | m2://inv/7M6Y8Y6EFE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33231#L792 (statement). In WPDRT63QNW/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
7M6Y8ZJ24P 7M6Y8ZJ24P
| URI | m2://inv/7M6Y8ZJ24P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24353#T04H (statement)
History
- 2026-11-01: add by m2/v0.6.15
7M78E8M2PC 7M78E8M2PC
| URI | m2://inv/7M78E8M2PC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24584#UHI9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
7M79YB4FSN 7M79YB4FSN
| URI | m2://inv/7M79YB4FSN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-1-8-2.xml#act-1-8-2 (exercise). In 907G4C4EJ1, activity, section 1.8.3
History
- 2026-11-01: add by m2/v0.6.13
7M7AM4FAEN 7M7AM4FAEN
| URI | m2://inv/7M7AM4FAEN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10248#XZHT (statement). In TMV74X2725/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Recursive excess bound 7M7D4JDTFQ
| URI | m2://inv/7M7D4JDTFQ |
|---|---|
| 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.00525#A4O4, Recursive excess bound (statement). In JN34PDDXH8/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
direct product 7M7H0D5P4A
| URI | m2://inv/7M7H0D5P4A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 8887) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#RRYE, direct product (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Approximation of strong energy condition 7M7H8J0JYE
| URI | m2://inv/7M7H8J0JYE |
|---|---|
| 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.11911#K1WO, Approximation of strong energy condition (statement). In 5BYE5NYB89/e1, proposition 1.3
History
- 2026-10-28: add by m2/v0.4.3
Generalizations 7M7VQRK16T
| URI | m2://inv/7M7VQRK16T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gilbreath's conjecture#OKEU, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
7M82X1XEXC 7M82X1XEXC
| URI | m2://inv/7M82X1XEXC |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 34-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114704219 (topic)
History
- 2026-10-26: add by m2/dev
Soundness Theorem 7M8A7X8JNC
| URI | m2://inv/7M8A7X8JNC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/soundness.tex#thm:soundness, Soundness Theorem (statement). In PKGMM3P5QY, thm, section 50.12
History
- 2026-11-01: add by m2/v0.6.13
Cardinality 7M8H7N37ZE
| URI | m2://inv/7M8H7N37ZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#6AD1, Cardinality (definition)
History
- 2026-11-02: add by m2/dev
Greenwood, Cindy 7M8PQJY5R4
| URI | m2://inv/7M8PQJY5R4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#E4CB, Greenwood, Cindy (topic)
History
- 2026-11-02: add by m2/dev
7M940MBE0G 7M940MBE0G
| URI | m2://inv/7M940MBE0G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#exercise-8 (exercise). In RZP28ERRZV, exercise, section 9.9.3
History
- 2026-11-01: add by m2/v0.6.13
7M94J7W3X5 7M94J7W3X5
| URI | m2://inv/7M94J7W3X5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21017#A5SB (statement). In 8KKYZ4NKT2/e1, proposition 38
History
- 2026-10-27: add by m2/v0.4.2
7M94XPMRA2 7M94XPMRA2
| URI | m2://inv/7M94XPMRA2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29877#U3N7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
7M98E7T0WK 7M98E7T0WK
| URI | m2://inv/7M98E7T0WK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#proposition-4 (statement). In RZP28ERRZV, proposition, section 22.11
History
- 2026-11-01: add by m2/v0.6.13
Tetrahemihexahedron 7M9AHGD3YN
| URI | m2://inv/7M9AHGD3YN |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#RGKD, Tetrahemihexahedron (object)
History
- 2026-11-02: add by m2/dev
Constructions 7M9ZR6GVS7
| URI | m2://inv/7M9ZR6GVS7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Induced representation#RCP8, Constructions (definition)
History
- 2026-11-02: add by m2/dev
central moment 7MA57S80HB
| URI | m2://inv/7MA57S80HB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Central moment 09753QQDCK |
Mentions
- wikidata: Wikidata Q1088747, central moment (unknown). Also MathWorld CentralMoment
- wikipedia: Wikipedia Central moment, Central moment (definition). Also Wikidata Q1088747
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Sukhotin's algorithm 7MAAJ796T7
| URI | m2://inv/7MAAJ796T7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#FLQ1, Sukhotin's algorithm (unknown)
History
- 2026-11-02: add by m2/dev
7MACF0S36Y 7MACF0S36Y
| URI | m2://inv/7MACF0S36Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20466#B6KP (statement). In M4ZVJWM8YA/e1, proposition 3.19
History
- 2026-10-27: add by m2/v0.4.2
7MAJ0PY66K 7MAJ0PY66K
| URI | m2://inv/7MAJ0PY66K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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 2409.03461#HY1A (statement). In XJVZSGCX5V/e1, proposition 6
History
- 2026-10-27: add by m2/v0.3.5
7MANKAABH2 7MANKAABH2
| URI | m2://inv/7MANKAABH2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.17785#PCNU (statement). In H3FDP8S1Z7/e1, corollary 2.3
History
- 2026-10-27: add by m2/v0.3.5
Continuous-time recurrent neural network 7MAVR17BE8
| URI | m2://inv/7MAVR17BE8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recurrent neural network#T3PJ, Continuous-time recurrent neural network (unknown)
History
- 2026-11-02: add by m2/dev
Properties of $\Lambda_\Omega$ 7MB58QFVG2
| URI | m2://inv/7MB58QFVG2 |
|---|---|
| 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.14988#UYMA, Properties of $\Lambda_\Omega$ (statement). In B29M4E6KGC/e1, lemma G.1
History
- 2026-10-28: add by m2/v0.4.2
Horndeski's theory 7MB6C2K6MJ
| URI | m2://inv/7MB6C2K6MJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Horndeski's theory, Horndeski's theory (definition). Also Wikidata Q48998302
History
- 2026-11-02: add by m2/dev
Construction 7MB88TN241
| URI | m2://inv/7MB88TN241 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1 32 polytope#5PUE, Construction (definition)
History
- 2026-11-02: add by m2/dev
Centering and the upper spectral endpoint 7MB9BD0J18
| URI | m2://inv/7MB9BD0J18 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX, 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.08568#NA11, Centering and the upper spectral endpoint (statement). In FDDA562VCA/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10
Quaternion Association 7MBA05FSX7
| URI | m2://inv/7MBA05FSX7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternion Association, Quaternion Association (topic). Also Wikidata Q7269565
History
- 2026-11-02: add by m2/dev
Applications 7MBC28WBK5
| URI | m2://inv/7MBC28WBK5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covariance matrix#WUFX, Applications (example)
History
- 2026-11-02: add by m2/dev
Stanisław Krystyn Zaremba 7MBEC50JSR
| URI | m2://inv/7MBEC50JSR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#M3OK, Stanisław Krystyn Zaremba (topic)
History
- 2026-11-02: add by m2/dev
7MBEXGDYYT 7MBEXGDYYT
| URI | m2://inv/7MBEXGDYYT |
|---|---|
| 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.11145#MENZ (statement). In 2KME4YY99M/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.3
7MBTEVTCVZ 7MBTEVTCVZ
| URI | m2://inv/7MBTEVTCVZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#cor-5 (statement). In N54F33XE07, cor, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Examples 7MBTNT9ZJK
| URI | m2://inv/7MBTNT9ZJK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whewell equation#6QZT, Examples (example)
History
- 2026-11-02: add by m2/dev
Health-adjusted life expectancy 7MC3H1797T
| URI | m2://inv/7MC3H1797T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Life expectancy#UVMZ, Health-adjusted life expectancy (unknown)
History
- 2026-11-02: add by m2/dev
7MC59TT5A7 7MC59TT5A7
| URI | m2://inv/7MC59TT5A7 |
|---|---|
| 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 2211.10816#1M0I (definition). In 8VNN8PX49Y/e1, definition 5
History
- 2026-10-27: add by m2/v0.3.6
The centering lift 7MCB6SMC4S
| URI | m2://inv/7MCB6SMC4S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#9LUC, The centering lift (statement). In JY6RYSNXMJ/e1, theorem A.1
History
- 2026-10-29: add by m2/v0.4.10
7MCS6QAXW0 7MCS6QAXW0
| URI | m2://inv/7MCS6QAXW0 |
|---|---|
| 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 2509.10268#IVCD (statement). In YR15TN4V4F/e1, lemma S6
History
- 2026-10-27: add by m2/v0.3.5
Alexander Kiselev 7MCSCGS7M2
| URI | m2://inv/7MCSCGS7M2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Kiselev (mathematician), Alexander Kiselev (topic). Also Wikidata Q30541322
History
- 2026-11-02: add by m2/dev
1 E -20 m 7MCW99NMGF
| URI | m2://inv/7MCW99NMGF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (length)#9W0X, 1 E -20 m (unknown)
History
- 2026-11-02: add by m2/dev
Philip Rabinowitz 7MCZEJ7RN8
| URI | m2://inv/7MCZEJ7RN8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#AGL5, Philip Rabinowitz (topic)
History
- 2026-11-02: add by m2/dev
resonance bound 7MD0BJ02KK
| URI | m2://inv/7MD0BJ02KK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04000#X0DR, resonance bound (statement). In CBCCH5VTMQ/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.12
Feedback 7MD2EG6NVY
| URI | m2://inv/7MD2EG6NVY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feedback, Feedback (definition). Also Wikidata Q183635
History
- 2026-11-02: add by m2/dev
7MD30RD9DC 7MD30RD9DC
| URI | m2://inv/7MD30RD9DC |
|---|---|
| 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.28808#REBJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
index set 7MD5K07DB7
| URI | m2://inv/7MD5K07DB7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q21285678, index set (concept). Also MathWorld IndexSet, ProofWiki Definition:Indexing_Set
- wikipedia: Wikipedia Index set, Index set (definition). Also Wikidata Q21285678
History
- 2026-10-26: add by m2/dev
Virtual reduction 7MDAPA7Y5D
| URI | m2://inv/7MDAPA7Y5D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10828#7CWJ, Virtual reduction (statement). In 8PTDFHV8SQ/e1, theorem 5.5
History
- 2026-10-28: add by m2/v0.4.3
Meixner polynomials 7MDCJWBNSS
| URI | m2://inv/7MDCJWBNSS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meixner polynomials, Meixner polynomials (definition). Also Wikidata Q6810444
History
- 2026-11-02: add by m2/dev
Imbalance forces ordinary overlap order 7MDDX6Z384
| URI | m2://inv/7MDDX6Z384 |
|---|---|
| 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 2609.22301#Q1IZ, Imbalance forces ordinary overlap order (statement)
History
- 2026-11-02: add by m2/v0.6.17
mathematics, predicative 7MDE0W6EV9
| URI | m2://inv/7MDE0W6EV9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.4/mathematics-predicative, mathematics, predicative (concept). In N54F33XE07, index, section C.1.4
History
- 2026-11-01: add by m2/v0.6.13
Polarization of an algebraic form 7MDMDN2PZ8
| URI | m2://inv/7MDMDN2PZ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polarization of an algebraic form, Polarization of an algebraic form (definition). Also Wikidata Q7209160
History
- 2026-11-02: add by m2/dev
Seasonal subseries plot 7MDPDK84TR
| URI | m2://inv/7MDPDK84TR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GCZ7, Seasonal subseries plot (definition)
- wikipedia: Wikipedia List of graphical methods#VQUQ, Seasonal subseries plot (definition)
History
- 2026-11-02: add by m2/dev
Wayne A. Fuller 7MDPEX8MQ2
| URI | m2://inv/7MDPEX8MQ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OJ63, Wayne A. Fuller (unknown)
History
- 2026-11-02: add by m2/dev
Steven Pemberton 7MDTB3GVQ6
| URI | m2://inv/7MDTB3GVQ6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#P3JI, Steven Pemberton (unknown)
History
- 2026-11-02: add by m2/dev
Digital Orrery 7MDXP07WM7
| URI | m2://inv/7MDXP07WM7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stability of the Solar System#4DGZ, Digital Orrery (unknown)
History
- 2026-11-02: add by m2/dev
Statement 7ME2J3ZKKZ
| URI | m2://inv/7ME2J3ZKKZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hasse–Arf theorem#RY0H, Statement (statement)
History
- 2026-11-02: add by m2/dev
Projection pursuit 7ME91VJ3YQ
| URI | m2://inv/7ME91VJ3YQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection pursuit, Projection pursuit (definition). Also Wikidata Q382970
History
- 2026-11-02: add by m2/dev
Worpitzky's theorem 7MF0RM9CNJ
| URI | m2://inv/7MF0RM9CNJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergence problem#K3X8, Worpitzky's theorem (statement)
History
- 2026-11-02: add by m2/dev
Curse of knowledge 7MFRFPJ7SN
| URI | m2://inv/7MFRFPJ7SN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#M22D, Curse of knowledge (unknown)
History
- 2026-11-02: add by m2/dev
7MFY7X9N64 7MFY7X9N64
| URI | m2://inv/7MFY7X9N64 |
|---|---|
| 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#4PX8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Local uniformization 7MG5GB434S
| URI | m2://inv/7MG5GB434S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local uniformization, Local uniformization (definition). Also Wikidata Q17098591
History
- 2026-11-02: add by m2/dev
uniform polyhedron 7MG9WN8ZCZ
| URI | m2://inv/7MG9WN8ZCZ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2471563, uniform polyhedron (unknown). Also MathWorld UniformPolyhedron
- wikipedia: Wikipedia Uniform polyhedron, Uniform polyhedron (object). Also Wikidata Q2471563
History
- 2026-10-26: add by m2/dev
Root certificate 7MGCEX3G9G
| URI | m2://inv/7MGCEX3G9G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Root certificate, Root certificate (definition). Also Wikidata Q7366568
History
- 2026-11-02: add by m2/dev
7MGCZ816QK 7MGCZ816QK
| URI | m2://inv/7MGCZ816QK |
|---|---|
| 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 2609.30444#0PVD (definition). In RZWJ0AT8W5/e1, definition 1.2
History
- 2026-10-31: add by m2/v0.5.6
7MGE81QWAZ 7MGE81QWAZ
| URI | m2://inv/7MGE81QWAZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.05499#28ZB (definition). In WRMNCC8VBC/e1, definition 15
History
- 2026-10-27: add by m2/v0.3.6
Example 7MGEA04RC3
| URI | m2://inv/7MGEA04RC3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karmarkar's algorithm#EZ82, Example (example)
History
- 2026-11-02: add by m2/dev
Ratios of consecutive gaps 7MGG3930WZ
| URI | m2://inv/7MGG3930WZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06944#MKV0, Ratios of consecutive gaps (statement). In 1HSWBXDXWV/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
7MGHKEGTHS 7MGHKEGTHS
| URI | m2://inv/7MGHKEGTHS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25897#2RY8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Questionnaire construction 7MGM3N4F5D
| URI | m2://inv/7MGM3N4F5D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Questionnaire construction, Questionnaire construction (definition). Also Wikidata Q7271541
History
- 2026-11-02: add by m2/dev
7MGQG99GR9 7MGQG99GR9
| URI | m2://inv/7MGQG99GR9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16563#JQZN (statement). In V51HCA9ZAA/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Constrained generalized inverse 7MGQNDDNV8
| URI | m2://inv/7MGQNDDNV8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constrained generalized inverse, Constrained generalized inverse (definition). Also Wikidata Q5164361
History
- 2026-11-02: add by m2/dev
Charles Haros 7MGX9T95JR
| URI | m2://inv/7MGX9T95JR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Haros, Charles Haros (topic). Also Wikidata Q5078784
History
- 2026-11-02: add by m2/dev
7MGY81FMNH 7MGY81FMNH
| URI | m2://inv/7MGY81FMNH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_intro-functions.ptx#example-10 (example). In Y91XFCEVHQ, example, section 1.4.3
History
- 2026-11-01: add by m2/v0.6.13
Example 7MGY9KKE3Z
| URI | m2://inv/7MGY9KKE3Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arboricity#9DXX, Example (example)
History
- 2026-11-02: add by m2/dev
7MGZP48R4X 7MGZP48R4X
| URI | m2://inv/7MGZP48R4X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 math/0406514#JWCF (statement). In CY1FE8W1ZW/e1, lemma 0.207
History
- 2026-10-27: add by m2/v0.3.5
Apollonius of Perga 7MH8BDJ4PT
| URI | m2://inv/7MH8BDJ4PT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#XT1B, Apollonius of Perga (topic)
History
- 2026-11-02: add by m2/dev
Theorem 7MHBAS36NC
| URI | m2://inv/7MHBAS36NC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topologies on spaces of linear maps#L2H2, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Weak subslope 7MHBXC33RF
| URI | m2://inv/7MHBXC33RF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#79MB, Weak subslope (definition). In KM3Q791JY0/e1, definition 4.8
History
- 2026-10-27: add by m2/v0.4.2
Examples 7MHDH7QV2P
| URI | m2://inv/7MHDH7QV2P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lulu smoothing#AB1Y, Examples (example)
History
- 2026-11-02: add by m2/dev
7MHGADCZN8 7MHGADCZN8
| URI | m2://inv/7MHGADCZN8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28189#YKI0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
7MHJJAZMXC 7MHJJAZMXC
| URI | m2://inv/7MHJJAZMXC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.01057#Z6AK (statement). In 69QFBXJENW/e1, corollary 3.16
History
- 2026-10-27: add by m2/v0.3.5
Generalized criterion 7MHTZ3X52V
| URI | m2://inv/7MHTZ3X52V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eisenstein's criterion#SKTW, Generalized criterion (statement)
History
- 2026-11-02: add by m2/dev
7MJ1ANN8GV 7MJ1ANN8GV
| URI | m2://inv/7MJ1ANN8GV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/lambda-definability/primitive-recursive-functions.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 38.6
History
- 2026-11-01: add by m2/v0.6.13
Exterior dimension 7MJ3V8C8B1
| URI | m2://inv/7MJ3V8C8B1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exterior dimension, Exterior dimension (definition). Also Wikidata Q5421986
History
- 2026-11-02: add by m2/dev
Single-Deletion Systematic Codes 7MJ55ZT3CV
| URI | m2://inv/7MJ55ZT3CV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37578#PW5W, Single-Deletion Systematic Codes (statement). In D7NDCWSDJE/e1, corollary 2
History
- 2026-10-30: add by m2/v0.4.12
7MJB8JDDPR 7MJB8JDDPR
| URI | m2://inv/7MJB8JDDPR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-2.xml#exercise-6 (exercise). In 649HGZKE96, exercise, section 7.2
History
- 2026-11-01: add by m2/v0.6.13
Errors from an inexact Moreau evaluation 7MJKHR61F0
| URI | m2://inv/7MJKHR61F0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39736#FF1E, Errors from an inexact Moreau evaluation (statement). In BB1XJ47PVW/e1, lemma 11
History
- 2026-10-30: add by m2/v0.4.12
7MJWY74X0M 7MJWY74X0M
| URI | m2://inv/7MJWY74X0M |
|---|---|
| Kind | definition |
| 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#HJAP (definition). In WJD9YPGGYH/e1, definition 5.5
History
- 2026-10-27: add by m2/v0.3.5
7MJY9MDT4S 7MJY9MDT4S
| URI | m2://inv/7MJY9MDT4S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12831#THDL (statement). In 7ZBQ8WGQVB/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
Discrete wavelet transform 7MJYWTFSFK
| URI | m2://inv/7MJYWTFSFK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of wavelet-related transforms#LMP8, Discrete wavelet transform (definition)
History
- 2026-11-02: add by m2/dev
simple module 7MK2GVWWSH
| URI | m2://inv/7MK2GVWWSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Simple module G00C22AEDH |
Mentions
- wikidata: Wikidata Q956233, simple module (unknown). Also MathWorld IrreducibleModule
- wikipedia: Wikipedia Simple module, Simple module (definition). Also Wikidata Q956233
History
- 2026-10-26: add by m2/dev
Pcf theory 7MK4K7QD5Z
| URI | m2://inv/7MK4K7QD5Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pcf theory, Pcf theory (definition). Also Wikidata Q589250
History
- 2026-11-02: add by m2/dev
Optimality for universal sampling with known source rates 7MK5VB9QVG
| URI | m2://inv/7MK5VB9QVG |
|---|---|
| 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.31607#NQXI, Optimality for universal sampling with known source rates (statement). In H9X9WZ17TT/e1, proposition 22
History
- 2026-10-31: add by m2/v0.5.6
7MKBAYKA33 7MKBAYKA33
| URI | m2://inv/7MKBAYKA33 |
|---|---|
| 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 2411.16655#TIQO (statement). In EJHAXRV685/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Dicyclic group 7MKRKSC2CD
| URI | m2://inv/7MKRKSC2CD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#TUTU, Dicyclic group (definition)
History
- 2026-11-02: add by m2/dev
7MKYZEPBMB 7MKYZEPBMB
| URI | m2://inv/7MKYZEPBMB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37893#U0CP (statement). In 8H0KHK7AMN/e1, corollary 2.10
History
- 2026-10-30: add by m2/v0.4.12
Admissible gap and tail lengths 7MM4VCSSRH
| URI | m2://inv/7MM4VCSSRH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31535#QVMJ, Admissible gap and tail lengths (statement). In BAWCMJQGVA/e1, lemma 5.5
History
- 2026-10-31: add by m2/v0.5.6
ICH E9(R1) addendum on estimands and sensitivity analyses in clinical trials 7MM8GEKG4Z
| URI | m2://inv/7MM8GEKG4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ICH E9(R1) addendum on estimands and sensitivity analyses in clinical trials, ICH E9(R1) addendum on estimands and sensitivity analyses in clinical trials (definition). Also Wikidata Q140068503
History
- 2026-11-02: add by m2/dev
Finitary monad 7MMHGDPF1R
| URI | m2://inv/7MMHGDPF1R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#QQYJ, Finitary monad (definition). In HX63A1PH1W/e1, definition 3.34
History
- 2026-10-28: add by m2/v0.4.3
Log-Concave Distributions 7MMNPE8FMX
| URI | m2://inv/7MMNPE8FMX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30105#C1RB, Log-Concave Distributions (definition)
History
- 2026-11-01: add by m2/v0.6.15
Standard inputs for right equivalence 7MMVVVENB1
| URI | m2://inv/7MMVVVENB1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#C7LR, Standard inputs for right equivalence (statement). In JWNYJVH8XG/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
7MMXF1626Z 7MMXF1626Z
| URI | m2://inv/7MMXF1626Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 65-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.02901#EEBD (definition). In NSP90G5XCQ/e1, definition 2.21
History
- 2026-10-29: add by m2/v0.4.12
Main theorem 7MN45XT2TW
| URI | m2://inv/7MN45XT2TW |
|---|---|
| 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.17608#9GLU, Main theorem (statement). In VAGWC38NSF/e1, theorem 0.1
History
- 2026-10-28: add by m2/v0.4.2
7MN4DWAQTS 7MN4DWAQTS
| URI | m2://inv/7MN4DWAQTS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20410#WL8N (statement)
History
- 2026-11-02: add by m2/v0.6.18
Bivariate function 7MN7NGR34N
| URI | m2://inv/7MN7NGR34N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function (mathematics)#1PVQ, Bivariate function (unknown)
History
- 2026-11-02: add by m2/dev
Short noncommuting witnesses in quantum non-CSS Lee-LDPC codes 7MNQMQW7MK
| URI | m2://inv/7MNQMQW7MK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04834#VDYQ, Short noncommuting witnesses in quantum non-CSS Lee-LDPC codes (statement). In YZNK67K060/e1, theorem 7.4
History
- 2026-10-29: add by m2/v0.4.12
Formal definition 7MNQSC7M99
| URI | m2://inv/7MNQSC7M99 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free lattice#DHH5, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
equivalence, induction 7MNWBEG3YJ
| URI | m2://inv/7MNWBEG3YJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.8/equivalence-induction, equivalence, induction (concept). In N54F33XE07, index, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
7MNXNPRFXT 7MNXNPRFXT
| URI | m2://inv/7MNXNPRFXT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29501#8HOG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lagrange (crater) 7MP4GDYDJG
| URI | m2://inv/7MP4GDYDJG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#D94F, Lagrange (crater) (unknown)
History
- 2026-11-02: add by m2/dev
tempered 7MP61B76DG
| URI | m2://inv/7MP61B76DG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#936J, tempered (definition)
History
- 2026-11-02: add by m2/dev
7MP8JF3BWB 7MP8JF3BWB
| URI | m2://inv/7MP8JF3BWB |
|---|---|
| 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.03520#0U6G (statement). In CSRZ9CWK69/e1, theorem 8.11
History
- 2026-10-29: add by m2/v0.4.12
7MPET2G1YD 7MPET2G1YD
| URI | m2://inv/7MPET2G1YD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#CAQE (statement). In TC5QA4AB4Z/e1, proposition 4.23
History
- 2026-10-30: add by m2/v0.4.12
7MPFH2VHES 7MPFH2VHES
| URI | m2://inv/7MPFH2VHES |
|---|---|
| Kind | example |
| 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 2610.09739#KDSL (example). In ZYNZ95FSFD/e1, example 2.4
History
- 2026-10-29: add by m2/v0.4.10
7MPNC309Q9 7MPNC309Q9
| URI | m2://inv/7MPNC309Q9 |
|---|---|
| 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.40207#NF4G (statement). In JXTG8KP95P/e1, lemma A.3
History
- 2026-10-30: add by m2/v0.4.12
James I Land 7MPQESR365
| URI | m2://inv/7MPQESR365 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#YFM7, James I Land (unknown)
History
- 2026-11-02: add by m2/dev
Union-closed sets conjecture 7MPQRGDZHX
| URI | m2://inv/7MPQRGDZHX |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Union-closed sets conjecture 4628Z96WVZ |
Mentions
- wikidata: Wikidata Q2993338, Union-closed sets conjecture (conjecture). Also MathWorld Union-ClosedSetsConjecture
- wikipedia: Wikipedia Union-closed sets conjecture, Union-closed sets conjecture (conjecture). Also Wikidata Q2993338
History
- 2026-10-26: add by m2/dev
Mordell–Weil theorem 7MPR26YMSB
| URI | m2://inv/7MPR26YMSB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after André Weil#WVWP, Mordell–Weil theorem (statement)
History
- 2026-11-02: add by m2/dev
Galatia Prima 7MPSD31TAB
| URI | m2://inv/7MPSD31TAB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#QZKQ, Galatia Prima (unknown)
History
- 2026-11-02: add by m2/dev
7MPXB30N06 7MPXB30N06
| URI | m2://inv/7MPXB30N06 |
|---|---|
| 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 2412.14956#JDHF (example). In T8BQ6HHZYT/e1, example 2.5
History
- 2026-10-27: add by m2/v0.3.5
Quotition and partition 7MQ45CEQ2Y
| URI | m2://inv/7MQ45CEQ2Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partition topics#JHC1, Quotition and partition (definition)
History
- 2026-11-02: add by m2/dev
Order of integration 7MQAT3K014
| URI | m2://inv/7MQAT3K014 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order of integration, Order of integration (definition). Also Wikidata Q7100625
History
- 2026-11-02: add by m2/dev
Applications 7MQC1CQF5D
| URI | m2://inv/7MQC1CQF5D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear system of conics#TXC1, Applications (example)
History
- 2026-11-02: add by m2/dev
7MQJCME936 7MQJCME936
| URI | m2://inv/7MQJCME936 |
|---|---|
| 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.17408#0FMR (statement). In QR8H4M1X4N/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
7MQKCK03HB 7MQKCK03HB
| URI | m2://inv/7MQKCK03HB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11772#HP2P (definition). In 2GW9HYGZ8S/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.3
Idempotent function 7MQQVBMNS5
| URI | m2://inv/7MQQVBMNS5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Idempotence#Y8Y9, Idempotent function (unknown)
History
- 2026-11-02: add by m2/dev
Punnett square 7MQZ32JN1C
| URI | m2://inv/7MQZ32JN1C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#D7SQ, Punnett square (unknown)
- wikipedia: Wikipedia List of probability topics#NHEY, Punnett square (unknown)
History
- 2026-11-02: add by m2/dev
Encyclopedia of Triangle Centers 7MR3YNH3Q3
| URI | m2://inv/7MR3YNH3Q3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1340177, Encyclopedia of Triangle Centers (unknown). Also MathWorld KimberlingCenter
- wikipedia: Wikipedia Encyclopedia of Triangle Centers, Encyclopedia of Triangle Centers (definition). Also Wikidata Q1340177
History
- 2026-10-26: add by m2/dev
7MR420B3DJ 7MR420B3DJ
| URI | m2://inv/7MR420B3DJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.22288#ZLY4 (statement). In X38P26DK6S/e1, corollary 5.36
History
- 2026-10-27: add by m2/v0.4.0
Alexandra Seceleanu 7MR69X9FME
| URI | m2://inv/7MR69X9FME |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexandra Seceleanu, Alexandra Seceleanu (topic). Also Wikidata Q125123911
History
- 2026-11-02: add by m2/dev
7MRD604MA4 7MRD604MA4
| URI | m2://inv/7MRD604MA4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36212#6TVQ (statement). In N1GH8M0BVW/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
7MREE6EAZR 7MREE6EAZR
| URI | m2://inv/7MREE6EAZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35577#GXK3 (statement). In 4F8QRV05BV/e1, lemma 2.21
History
- 2026-10-30: add by m2/v0.4.12
Population (ecology) 7MRFHGZJ6E
| URI | m2://inv/7MRFHGZJ6E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Population (biology)#4QZZ, Population (ecology) (unknown)
History
- 2026-11-02: add by m2/dev
Paul S. Wesson 7MRJ6GRQ0Q
| URI | m2://inv/7MRJ6GRQ0Q |
|---|---|
| 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 Q7153398, Paul S. Wesson (unknown). Also nLab Paul Wesson
History
- 2026-10-26: add by m2/dev
James Renegar 7MRKSTDA33
| URI | m2://inv/7MRKSTDA33 |
|---|---|
| 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#4NMA, James Renegar (unknown)
History
- 2026-11-02: add by m2/dev
7MRTAK1SN6 7MRTAK1SN6
| URI | m2://inv/7MRTAK1SN6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#OJQ4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Poisson process 7MS0K4HG29
| URI | m2://inv/7MS0K4HG29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#Q2WG, Poisson process (definition)
- wikipedia: Wikipedia List of statistics articles#3GW9, Poisson process (definition)
- wikipedia: Wikipedia List of probability topics#OP8S, Poisson process (definition)
History
- 2026-11-02: add by m2/dev
7MS0KJGP1S 7MS0KJGP1S
| URI | m2://inv/7MS0KJGP1S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/measure-space.tex#definition-3 (definition). In RZP28ERRZV, definition, section 67.5
History
- 2026-11-01: add by m2/v0.6.13
Variants 7MS1DD80ZM
| URI | m2://inv/7MS1DD80ZM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krivine–Stengle Positivstellensatz#X9E6, Variants (statement)
History
- 2026-11-02: add by m2/dev
7MS3JNTD36 7MS3JNTD36
| URI | m2://inv/7MS3JNTD36 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39104#ATUC (statement). In V2NTW27MSJ/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
7MSK70DB5V 7MSK70DB5V
| URI | m2://inv/7MSK70DB5V |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1408.1555#AJ28 (proof). In S1F2QW24YW/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Joseph Polchinski 7MSQTE780V
| URI | m2://inv/7MSQTE780V |
|---|---|
| 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 Q1156878, Joseph Polchinski (unknown). Also nLab Joseph Polchinski
History
- 2026-10-26: add by m2/dev
Canonical quotient form 7MSSAXW69G
| URI | m2://inv/7MSSAXW69G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-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.25805#HAJ5, Canonical quotient form (definition)
History
- 2026-11-01: add by m2/v0.6.15
fundamental class 7MSYJWX66Z
| URI | m2://inv/7MSYJWX66Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Fundamental class ZEA0PEM3B2 |
Mentions
- wikidata: Wikidata Q4493388, fundamental class (unknown). Also EoM Fundamental_class, MathWorld FundamentalClass, nLab fundamental class
- wikipedia: Wikipedia Fundamental class, Fundamental class (definition). Also Wikidata Q4493388
History
- 2026-10-26: add by m2/dev
Critical target endpoint 7MTD54E58X
| URI | m2://inv/7MTD54E58X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22345#YNYT, Critical target endpoint (statement)
History
- 2026-11-02: add by m2/v0.6.17
7MTJ38QDQY 7MTJ38QDQY
| URI | m2://inv/7MTJ38QDQY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.08839#CUO0 (statement). In HJPDS53MX4/e1, corollary 5.4
History
- 2026-10-27: add by m2/v0.4.0
7MTR2SWR03 7MTR2SWR03
| URI | m2://inv/7MTR2SWR03 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35030#59W0 (statement). In DPT4P2BTEW/e1, lemma 9.7
History
- 2026-10-30: add by m2/v0.4.12
7MV8BY7MH6 7MV8BY7MH6
| URI | m2://inv/7MV8BY7MH6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00914#IN57 (statement). In TQ9CKHBTWN/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.12
7MVBN2TDK6 7MVBN2TDK6
| URI | m2://inv/7MVBN2TDK6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.08839#2V3Q (statement). In HJPDS53MX4/e1, proposition 6.1
History
- 2026-10-27: add by m2/v0.4.0
7MVR1964VX 7MVR1964VX
| URI | m2://inv/7MVR1964VX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06152#H55H (statement). In HH35K7S17H/e1, lemma A.19
History
- 2026-10-29: add by m2/v0.4.10
Electronic Journal of Statistics 7MVWA1609R
| URI | m2://inv/7MVWA1609R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#BYK7, Electronic Journal of Statistics (unknown)
History
- 2026-11-02: add by m2/dev
7MW9AR3ED2 7MW9AR3ED2
| URI | m2://inv/7MW9AR3ED2 |
|---|---|
| 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 2204.13401#AX9F (statement). In B8MJT0GGW8/e1, lemma 4.34
History
- 2026-10-27: add by m2/v0.4.0
Peter Gavin Hall 7MWAMSCK62
| URI | m2://inv/7MWAMSCK62 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Gavin Hall, Peter Gavin Hall (topic). Also Wikidata Q7174192
History
- 2026-11-02: add by m2/dev
7MWAXEM81Z 7MWAXEM81Z
| URI | m2://inv/7MWAXEM81Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#O4CZ (statement). In GHKR740SG3/e1, corollary 20.3
History
- 2026-10-31: add by m2/v0.5.6
Von Neumann neighborhood 7MWCQAABAD
| URI | m2://inv/7MWCQAABAD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1554323, Von Neumann neighborhood (unknown). Also MathWorld vonNeumannNeighborhood
- wikipedia: Wikipedia Von Neumann neighborhood, Von Neumann neighborhood (definition). Also Wikidata Q1554323
History
- 2026-10-26: add by m2/dev
Jiongmin Yong 7MWDBC4DVA
| URI | m2://inv/7MWDBC4DVA |
|---|---|
| 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#3YPW, Jiongmin Yong (unknown)
History
- 2026-11-02: add by m2/dev
7MWDGB7SKY 7MWDGB7SKY
| URI | m2://inv/7MWDGB7SKY |
|---|---|
| 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 2207.11097#XC6C (statement). In 13H5BTAXHF/e1, lemma 12
History
- 2026-10-27: add by m2/v0.3.5
Column generation 7MWEMT8A2P
| URI | m2://inv/7MWEMT8A2P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Column generation, Column generation (definition). Also Wikidata Q3123181
History
- 2026-11-02: add by m2/dev
Properties 7MWEQEMZFM
| URI | m2://inv/7MWEQEMZFM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential poset#2XC2, Properties (statement)
History
- 2026-11-02: add by m2/dev
7MWM4VEQD1 7MWM4VEQD1
| URI | m2://inv/7MWM4VEQD1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.14445#Z1RG (statement). In V56MKF0KW2/e1, corollary C.3
History
- 2026-10-27: add by m2/v0.3.5
Invariant latitude 7MWN76GR5S
| URI | m2://inv/7MWN76GR5S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dipole model of Earth's magnetic field#25KN, Invariant latitude (unknown)
History
- 2026-11-02: add by m2/dev
Quickselect 7MWR5A96X6
| URI | m2://inv/7MWR5A96X6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#RNOB, Quickselect (unknown)
History
- 2026-11-02: add by m2/dev
Holmgren's uniqueness theorem 7MWXFKR2PQ
| URI | m2://inv/7MWXFKR2PQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holmgren's uniqueness theorem, Holmgren's uniqueness theorem (statement). Also Wikidata Q5883744
History
- 2026-11-02: add by m2/dev
7MX8VTAPX5 7MX8VTAPX5
| URI | m2://inv/7MX8VTAPX5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27056#W2BN (example)
History
- 2026-11-01: add by m2/v0.6.15
Infinite matrix amplification 7MX9HE6YSC
| URI | m2://inv/7MX9HE6YSC |
|---|---|
| Kind | example |
| 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.00789#LODI, Infinite matrix amplification (example). In 4WPYBTARS2/e1, example 6.5
History
- 2026-10-29: add by m2/v0.4.12
Applications 7MX9T74XT4
| URI | m2://inv/7MX9T74XT4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zig-zag product#97VS, Applications (example)
History
- 2026-11-02: add by m2/dev
Longin Jan Latecki 7MXB5DBJ3K
| URI | m2://inv/7MXB5DBJ3K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5TQ9, Longin Jan Latecki (unknown)
History
- 2026-11-02: add by m2/dev
Hessian matrix 7MXD9T333V
| URI | m2://inv/7MXD9T333V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Hessian matrix 0693Y2METT |
Mentions
- wikidata: Wikidata Q620495, Hessian matrix (concept). Also MathWorld Hessian
- wikipedia: Wikipedia Hessian matrix, Hessian matrix (definition). Also Wikidata Q620495
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
7MXH2C31V4 7MXH2C31V4
| URI | m2://inv/7MXH2C31V4 |
|---|---|
| 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.18270#CM6B (statement). In CPDMYJ0NJV/e1, lemma 7.8
History
- 2026-10-28: add by m2/v0.4.2
Test score 7MXHPXSWYW
| URI | m2://inv/7MXHPXSWYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Test score, Test score (definition). Also Wikidata Q7705804
History
- 2026-11-02: add by m2/dev
7MY61Z371B 7MY61Z371B
| URI | m2://inv/7MY61Z371B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.31445#3Y1I (statement). In 7V2PVZS04C/e1, lemma 3.6
History
- 2026-10-31: add by m2/v0.5.6
7MY9Z0G0EW 7MY9Z0G0EW
| URI | m2://inv/7MY9Z0G0EW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19251#B8HI (statement). In CSW6NG0FRN/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
Johnson solid 7MYBT3AKKG
| URI | m2://inv/7MYBT3AKKG |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Johnson solid ZSA992C21V |
Mentions
- wikidata: Wikidata Q1059659, Johnson solid (unknown). Also MathWorld JohnsonSolid
- wikipedia: Wikipedia Johnson solid, Johnson solid (object). Also Wikidata Q1059659
History
- 2026-10-26: add by m2/dev
7MZ5G9WCYE 7MZ5G9WCYE
| URI | m2://inv/7MZ5G9WCYE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27103#BPCN (statement)
History
- 2026-11-01: add by m2/v0.6.15
7MZ5MD9F11 7MZ5MD9F11
| URI | m2://inv/7MZ5MD9F11 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-paths.ptx#exercise-8 (exercise). In Y91XFCEVHQ, exercise, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
Properties 7MZ63S7804
| URI | m2://inv/7MZ63S7804 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pure submodule#I3B4, Properties (statement)
History
- 2026-11-02: add by m2/dev
7MZBNPXTB8 7MZBNPXTB8
| URI | m2://inv/7MZBNPXTB8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#4TYZ (definition). In X47RYAZF8P/e1, definition 6.4
History
- 2026-10-28: add by m2/v0.4.2
7MZQEZZP2M 7MZQEZZP2M
| URI | m2://inv/7MZQEZZP2M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20077#4CBY (statement). In W5XRKWDADE/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.4.2
7MZS6B3M69 7MZS6B3M69
| URI | m2://inv/7MZS6B3M69 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25703#YSS8 (statement)
History
- 2026-11-01: add by m2/v0.6.15