Inventory rows VH
The cards of the rows of the inventory whose ids start with VH. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
$\partial\bar\partial$-lemma VH03BR9EVG
| URI | m2://inv/VH03BR9EVG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-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 2609.23469#CR58, $\partial\bar\partial$-lemma (definition)
History
- 2026-11-02: add by m2/v0.6.17
VH0P12AP3E VH0P12AP3E
| URI | m2://inv/VH0P12AP3E |
|---|---|
| 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 2409.17318#3Q6B (statement). In 2P63T9MJ4P/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.3.5
FGLM algorithm VH107J0AAR
| URI | m2://inv/VH107J0AAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FGLM algorithm, FGLM algorithm (definition). Also Wikidata Q30596047
History
- 2026-11-02: add by m2/dev
VH14E54BV7 VH14E54BV7
| URI | m2://inv/VH14E54BV7 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#proof-33 (proof). In E59CDZA4DP, proof, section 1.8.6
History
- 2026-11-01: add by m2/v0.6.13
Electronic Journal of Probability VH179RE75R
| URI | m2://inv/VH179RE75R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability journals#PCK2, Electronic Journal of Probability (unknown)
History
- 2026-11-02: add by m2/dev
VH1E11P54B VH1E11P54B
| URI | m2://inv/VH1E11P54B |
|---|---|
| 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 2206.13822#4GBF (statement). In R9D4FQR3TA/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Wolfgang Sternberg VH1FZNNT0E
| URI | m2://inv/VH1FZNNT0E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wolfgang Sternberg, Wolfgang Sternberg (topic). Also Wikidata Q2591502
History
- 2026-11-02: add by m2/dev
Aleksander Akhiezer VH1JWA4FNZ
| URI | m2://inv/VH1JWA4FNZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#9Z7H, Aleksander Akhiezer (unknown)
History
- 2026-11-02: add by m2/dev
Brillouin zone VH1PK74J0R
| URI | m2://inv/VH1PK74J0R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brillouin zone, Brillouin zone (definition). Also Wikidata Q917246
History
- 2026-11-02: add by m2/dev
Example VH20W5ABT2
| URI | m2://inv/VH20W5ABT2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Z-matrix (mathematics)#EH3Z, Example (example)
History
- 2026-11-02: add by m2/dev
Cycloidal pendulum VH2DD71NGE
| URI | m2://inv/VH2DD71NGE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cycloid#KKV4, Cycloidal pendulum (unknown)
History
- 2026-11-02: add by m2/dev
VH2HBJPWP5 VH2HBJPWP5
| URI | m2://inv/VH2HBJPWP5 |
|---|---|
| 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#YK1K (statement). In Q39BEKW6D9/e1, theorem 4.9
History
- 2026-10-29: add by m2/v0.4.10
VH2K9A6V8E VH2K9A6V8E
| URI | m2://inv/VH2K9A6V8E |
|---|---|
| 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.12810#VOGH (statement). In DR35633CPN/e1, proposition 5.5
History
- 2026-10-28: add by m2/v0.4.2
differential calculus with duality VH2MW81M33
| URI | m2://inv/VH2MW81M33 |
|---|---|
| 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.08091#AI1K, differential calculus with duality (definition). In MS13WE3CSD/e1, definition 3.3
History
- 2026-10-29: add by m2/v0.4.10
VH2QG6ZD18 VH2QG6ZD18
| URI | m2://inv/VH2QG6ZD18 |
|---|---|
| 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.31757#FGU4 (statement). In KBJHAD5TTY/e1, corollary 1.3
History
- 2026-10-31: add by m2/v0.5.6
Generalizations VH2ZTV76TW
| URI | m2://inv/VH2ZTV76TW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freudenthal magic square#94V9, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Properties VH330XEEXD
| URI | m2://inv/VH330XEEXD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncommutative torus#MR1I, Properties (statement)
History
- 2026-11-02: add by m2/dev
VH37AH0HS2 VH37AH0HS2
| URI | m2://inv/VH37AH0HS2 |
|---|---|
| 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 2609.21305#9RLJ (definition)
History
- 2026-11-02: add by m2/v0.6.18
VH3V0R7FHZ VH3V0R7FHZ
| URI | m2://inv/VH3V0R7FHZ |
|---|---|
| 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#UZO7 (statement). In 9ZSNSJRJ5N/e1, proposition 8
History
- 2026-10-27: add by m2/v0.4.2
Faber-Krahn VH441ZER79
| URI | m2://inv/VH441ZER79 |
|---|---|
| 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.13180#PB6B, Faber-Krahn (statement). In 7TSVFYEGD8/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
Properties VH45GZF84X
| URI | m2://inv/VH45GZF84X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Productive matrix#9N6M, Properties (statement)
History
- 2026-11-02: add by m2/dev
Roemer model of political competition VH47GNDN04
| URI | m2://inv/VH47GNDN04 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roemer model of political competition, Roemer model of political competition (definition). Also Wikidata Q7357601
History
- 2026-11-02: add by m2/dev
VH4BGSX5XG VH4BGSX5XG
| URI | m2://inv/VH4BGSX5XG |
|---|---|
| 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#EF8Z (definition). In 13H5BTAXHF/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
Stokes–Cartan theorem VH4FH7B3QF
| URI | m2://inv/VH4FH7B3QF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Élie Cartan#QRJU, Stokes–Cartan theorem (statement)
History
- 2026-11-02: add by m2/dev
Factorized resolvents on uniformly local data VH4MX528Q1
| URI | m2://inv/VH4MX528Q1 |
|---|---|
| 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.29147#5DK7, Factorized resolvents on uniformly local data (statement)
History
- 2026-11-01: add by m2/v0.6.15
cricket graph VH4RHFT0FK
| URI | m2://inv/VH4RHFT0FK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115459, cricket graph (unknown). Also House of Graphs 985, MathWorld CricketGraph
History
- 2026-10-26: add by m2/dev
Willard D. James VH52BCEZ39
| URI | m2://inv/VH52BCEZ39 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Willard D. James, Willard D. James (topic). Also Wikidata Q102145850
History
- 2026-11-02: add by m2/dev
VH57TMZPXE VH57TMZPXE
| URI | m2://inv/VH57TMZPXE |
|---|---|
| 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 2308.05715#WCH2 (definition). In FC0SB9JFWH/e1, definition 4.9
History
- 2026-10-27: add by m2/v0.3.5
VH5A4D0CF5 VH5A4D0CF5
| URI | m2://inv/VH5A4D0CF5 |
|---|---|
| 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.17371#Q7A0 (statement). In FF92TNYHQR/e1, proposition 5
History
- 2026-10-28: add by m2/v0.4.2
Schroeder--Bernstein VH5AF11WCF
| URI | m2://inv/VH5AF11WCF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#thm-3, Schroeder--Bernstein (statement). In N54F33XE07, thm, section C.2
History
- 2026-11-01: add by m2/v0.6.13
Royal Spanish Mathematical Society VH5BE51NN0
| URI | m2://inv/VH5BE51NN0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Royal Spanish Mathematical Society, Royal Spanish Mathematical Society (definition). Also Wikidata Q6102145
History
- 2026-11-02: add by m2/dev
VH5HYBJ080 VH5HYBJ080
| URI | m2://inv/VH5HYBJ080 |
|---|---|
| Kind | definition |
| 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#MM0W (definition). In 7V3HG30ZGW/e1, definition A.22
History
- 2026-10-27: add by m2/v0.4.0
Definition VH5Q900WBK
| URI | m2://inv/VH5Q900WBK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov constant#5Q97, Definition (definition)
History
- 2026-11-02: add by m2/dev
Miscellanea Logica VH5RHVSM1F
| URI | m2://inv/VH5RHVSM1F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Miscellanea Logica, Miscellanea Logica (definition). Also Wikidata Q6875211
History
- 2026-11-02: add by m2/dev
VH5XCTQJ4P VH5XCTQJ4P
| URI | m2://inv/VH5XCTQJ4P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16241#796J (definition). In WNDHZVY4WK/e1, definition A.3
History
- 2026-10-28: add by m2/v0.4.2
Central product VH5ZRGASZ2
| URI | m2://inv/VH5ZRGASZ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central product, Central product (definition). Also Wikidata Q5062139
History
- 2026-11-02: add by m2/dev
Definition VH60HQC34F
| URI | m2://inv/VH60HQC34F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigged Hilbert space#PQ9M, Definition (definition)
History
- 2026-11-02: add by m2/dev
Symmetry in quantum mechanics VH61T4RV14
| URI | m2://inv/VH61T4RV14 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetry in quantum mechanics, Symmetry in quantum mechanics (definition). Also Wikidata Q16726095
History
- 2026-11-02: add by m2/dev
Bessel–Maitland function VH63S770C9
| URI | m2://inv/VH63S770C9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bessel–Maitland function, Bessel–Maitland function (definition). Also Wikidata Q4896411
History
- 2026-11-02: add by m2/dev
Adic space VH655FKR1D
| URI | m2://inv/VH655FKR1D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigid analytic space#AYIT, Adic space (unknown)
History
- 2026-11-02: add by m2/dev
Fuzzy logic VH66TJH06G
| URI | m2://inv/VH66TJH06G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of systems theory#59FU, Fuzzy logic (unknown)
History
- 2026-11-02: add by m2/dev
VH6DYFEK3Y VH6DYFEK3Y
| URI | m2://inv/VH6DYFEK3Y |
|---|---|
| Kind | counterexample |
| 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.21915#MX45 (counterexample)
History
- 2026-11-02: add by m2/v0.6.17
Statement VH6E41H438
| URI | m2://inv/VH6E41H438 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blackwell-Girshick equation#AVT2, Statement (statement)
History
- 2026-11-02: add by m2/dev
Hilbert–Poincaré series VH6GHB375Q
| URI | m2://inv/VH6GHB375Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Henri Poincaré#MRFK, Hilbert–Poincaré series (definition)
History
- 2026-11-02: add by m2/dev
Table 1 VH6QJ4W0DS
| URI | m2://inv/VH6QJ4W0DS |
|---|---|
| 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.25656#RVIC, Table 1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
VH6ZCF2ZBD VH6ZCF2ZBD
| URI | m2://inv/VH6ZCF2ZBD |
|---|---|
| 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.13745#6DNJ (statement). In CFJH0Q39FZ/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
VH6ZPJT295 VH6ZPJT295
| URI | m2://inv/VH6ZPJT295 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24023#LCHM (statement)
History
- 2026-11-02: add by m2/v0.6.17
Christoffel symbol VH723V70JM
| URI | m2://inv/VH723V70JM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Christoffel symbols FZBA1HA9ZM |
Mentions
- wikidata: Wikidata Q847816, Christoffel symbol (concept). Also EoM Christoffel_symbol, MathWorld ChristoffelSymbol, nLab Christoffel symbols
- wikipedia: Wikipedia Christoffel symbols, Christoffel symbols (definition). Also Wikidata Q847816
History
- 2026-10-26: add by m2/dev
Homotopy group with coefficients VH75JD3J7D
| URI | m2://inv/VH75JD3J7D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy group with coefficients, Homotopy group with coefficients (definition). Also Wikidata Q16928261
History
- 2026-11-02: add by m2/dev
John ellipsoid VH7CDK2R0N
| URI | m2://inv/VH7CDK2R0N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#RSD4, John ellipsoid (definition)
History
- 2026-11-02: add by m2/dev
Fried, 1985 VH7HTSEQ96
| URI | m2://inv/VH7HTSEQ96 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.13347#MPPD, Fried, 1985 (statement). In Z6QS82DPHE/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
The second Cauchy--Schwarz step VH7VGSTMBP
| URI | m2://inv/VH7VGSTMBP |
|---|---|
| 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.33365#CF55, The second Cauchy--Schwarz step (statement). In MCXCMR7V0T/e1, proposition 15
History
- 2026-10-30: add by m2/v0.4.12
Covariance limit VH842FC8ZJ
| URI | m2://inv/VH842FC8ZJ |
|---|---|
| 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.04452#0TTD, Covariance limit (statement). In ZV3ANMKJ0Y/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.12
Code signing VH847RXR51
| URI | m2://inv/VH847RXR51 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Code signing, Code signing (definition). Also Wikidata Q3338870
History
- 2026-11-02: add by m2/dev
VH8AQVA83J VH8AQVA83J
| URI | m2://inv/VH8AQVA83J |
|---|---|
| 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 2309.08900#4W3V (statement). In 8X74NB6XBC/e1, corollary 3.5
History
- 2026-10-27: add by m2/v0.4.0
Tom Banks VH8C7QQ2RN
| URI | m2://inv/VH8C7QQ2RN |
|---|---|
| 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 Q1383863, Tom Banks (unknown). Also nLab Tom Banks
History
- 2026-10-26: add by m2/dev
Symbolic language VH8N10X6AW
| URI | m2://inv/VH8N10X6AW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symbolic language (programming), Symbolic language (definition). Also Wikidata Q65085437
History
- 2026-11-02: add by m2/dev
Daniele C. Struppa VH8R1YX5EM
| URI | m2://inv/VH8R1YX5EM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniele C. Struppa, Daniele C. Struppa (topic). Also Wikidata Q93435913
History
- 2026-11-02: add by m2/dev
VH8S97QZ32 VH8S97QZ32
| URI | m2://inv/VH8S97QZ32 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2609.25449#ED8O (statement). In 9JHMTYGWFQ/e1, lemma 11.2
History
- 2026-10-27: add by m2/v0.3.6
Jenő Hunyady VH8SXA5WMV
| URI | m2://inv/VH8SXA5WMV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jenő Hunyady, Jenő Hunyady (topic). Also Wikidata Q6180075
History
- 2026-11-02: add by m2/dev
A measure extension theorem of Bierlein VH8WKDQQR1
| URI | m2://inv/VH8WKDQQR1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bierlein's measure extension theorem#4L10, A measure extension theorem of Bierlein (statement)
History
- 2026-11-02: add by m2/dev
clique VH951MF9TF
| URI | m2://inv/VH951MF9TF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#ELYW, clique (definition)
History
- 2026-11-02: add by m2/dev
VH978DP639 VH978DP639
| URI | m2://inv/VH978DP639 |
|---|---|
| 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 2609.38051#MX8Y (example). In 81CGKD8RTP/e1, example 4
History
- 2026-10-30: add by m2/v0.4.12
Known-spectrum optimum VH97DAHWS9
| URI | m2://inv/VH97DAHWS9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35986#7MUW, Known-spectrum optimum (statement). In PBX6AMPVT2/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Mérő, László VH99JB1233
| URI | m2://inv/VH99JB1233 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#4CWC, Mérő, László (unknown)
History
- 2026-11-02: add by m2/dev
VH9BAV3AS9 VH9BAV3AS9
| URI | m2://inv/VH9BAV3AS9 |
|---|---|
| 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.22657#GJN6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Casas-Alvero conjecture VH9F45KTFB
| URI | m2://inv/VH9F45KTFB |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#3ZE8, Casas-Alvero conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
William Mollison VH9F8YVANX
| URI | m2://inv/VH9F8YVANX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Mollison (mathematician), William Mollison (topic). Also Wikidata Q58847691
History
- 2026-11-02: add by m2/dev
Patrick Wilson VH9G7KG2CT
| URI | m2://inv/VH9G7KG2CT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Patrick Wilson (astronomer), Patrick Wilson (topic). Also Wikidata Q15994839
History
- 2026-11-02: add by m2/dev
Vikram Bhagvandas Mehta VH9KQPJV38
| URI | m2://inv/VH9KQPJV38 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#SB7Q, Vikram Bhagvandas Mehta (topic)
History
- 2026-11-02: add by m2/dev
Singular submodule VH9M8AGKSH
| URI | m2://inv/VH9M8AGKSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular submodule, Singular submodule (definition). Also Wikidata Q7524251
History
- 2026-11-02: add by m2/dev
VH9Q6KYQZX VH9Q6KYQZX
| URI | m2://inv/VH9Q6KYQZX |
|---|---|
| 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 2210.02261#LTKP (statement). In TT74R659T0/e1, theorem 0.26
History
- 2026-10-27: add by m2/v0.3.5
Two-point forms of differential privacy VH9QZQWT8P
| URI | m2://inv/VH9QZQWT8P |
|---|---|
| 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.09206#4IOX, Two-point forms of differential privacy (statement). In T7R1Q29DQK/e1, lemma F.1
History
- 2026-10-29: add by m2/v0.4.10
type, dependent function VH9SWG1QDH
| URI | m2://inv/VH9SWG1QDH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.4/type-dependent-function, type, dependent function (concept). In N54F33XE07, index, section A.4
History
- 2026-11-01: add by m2/v0.6.13
BLOSUM VH9WAN5839
| URI | m2://inv/VH9WAN5839 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BLOSUM, BLOSUM (definition). Also Wikidata Q796244
History
- 2026-11-02: add by m2/dev
Fundamental theorem of algebraic K-theory VHA2N6Y8DJ
| URI | m2://inv/VHA2N6Y8DJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#26RM, Fundamental theorem of algebraic K-theory (statement)
History
- 2026-11-02: add by m2/dev
Applications VHA4731DD6
| URI | m2://inv/VHA4731DD6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cap set#CODB, Applications (example)
History
- 2026-11-02: add by m2/dev
VHA99KY2PA VHA99KY2PA
| URI | m2://inv/VHA99KY2PA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12480#I3L2 (definition). In 585QYGX4X6/e1, definition 4
History
- 2026-10-28: add by m2/v0.4.2
Brigitte Jaumard VHA9D6HJ9M
| URI | m2://inv/VHA9D6HJ9M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#E6WT, Brigitte Jaumard (topic)
History
- 2026-11-02: add by m2/dev
Theorem VHATM8DW7N
| URI | m2://inv/VHATM8DW7N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflexive space#1U4T, Theorem (statement)
History
- 2026-11-02: add by m2/dev
VHB24HTPGV VHB24HTPGV
| URI | m2://inv/VHB24HTPGV |
|---|---|
| Kind | example |
| 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#5BL7 (example). In CY1FE8W1ZW/e1, example 0.60
History
- 2026-10-27: add by m2/v0.4.0
Mathematical induction VHBCABQ2PS
| URI | m2://inv/VHBCABQ2PS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#3LAT, Mathematical induction (definition)
History
- 2026-11-02: add by m2/dev
VHBD6ZPG7Z VHBD6ZPG7Z
| URI | m2://inv/VHBD6ZPG7Z |
|---|---|
| Kind | example |
| 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.36181#SHCF (example). In 1KSE33PVS6/e1, example 25
History
- 2026-10-30: add by m2/v0.4.12
epistemic vagueness VHBG1GNC7V
| URI | m2://inv/VHBG1GNC7V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#E1TI, epistemic vagueness (definition)
History
- 2026-11-02: add by m2/dev
VHBGW3RK2E VHBGW3RK2E
| URI | m2://inv/VHBGW3RK2E |
|---|---|
| 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.01433#BRCM (statement). In 160PQ7F1AS/e1, theorem 3.20
History
- 2026-10-29: add by m2/v0.4.12
Sudoku graph VHBKMHEDEG
| URI | m2://inv/VHBKMHEDEG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sudoku graph, Sudoku graph (definition). Also Wikidata Q62664144
History
- 2026-11-02: add by m2/dev
Properties VHC63TN67V
| URI | m2://inv/VHC63TN67V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular paperfolding sequence#A913, Properties (statement)
History
- 2026-11-02: add by m2/dev
Euler's partition theorem VHCBJ2RY1X
| URI | m2://inv/VHCBJ2RY1X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer partition#447U, Euler's partition theorem (unknown)
History
- 2026-11-02: add by m2/dev
VHCJBBE453 VHCJBBE453
| URI | m2://inv/VHCJBBE453 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13833#XW0J (example). In VD4JP4HVBX/e1, example 10.12
History
- 2026-10-28: add by m2/v0.4.2
Angular errors VHCQMM7E1E
| URI | m2://inv/VHCQMM7E1E |
|---|---|
| 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.10188#CHCS, Angular errors (statement). In S608Z3ZBP6/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
Special cases VHCRX8NNNT
| URI | m2://inv/VHCRX8NNNT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grönwall's inequality#2XAW, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Hazard function VHCTD82RK1
| URI | m2://inv/VHCTD82RK1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VOAA, Hazard function (definition)
History
- 2026-11-02: add by m2/dev
Whitehead's point-free geometry VHCTQPQ3GE
| URI | m2://inv/VHCTQPQ3GE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitehead's point-free geometry, Whitehead's point-free geometry (definition). Also Wikidata Q3760350
History
- 2026-11-02: add by m2/dev
Hellinger distance VHD5G4DA80
| URI | m2://inv/VHD5G4DA80 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6UXJ, Hellinger distance (definition)
- wikipedia: Wikipedia List of probability topics#9E9K, Hellinger distance (definition)
History
- 2026-11-02: add by m2/dev
Yury Yershov VHDEMZGS38
| URI | m2://inv/VHDEMZGS38 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yury Yershov, Yury Yershov (topic). Also Wikidata Q381315
History
- 2026-11-02: add by m2/dev
VHDJPG3STV VHDJPG3STV
| URI | m2://inv/VHDJPG3STV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40200#GT5F (statement). In VWNB6QJWFN/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Oscillator and trace-norm estimate VHDNX06F83
| URI | m2://inv/VHDNX06F83 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36016#XNGH, Oscillator and trace-norm estimate (statement). In NAM9ZMPHZ9/e1, lemma C.4
History
- 2026-10-30: add by m2/v0.4.12
Extensions VHDWFZAPJP
| URI | m2://inv/VHDWFZAPJP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Support vector machine#BBVH, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Uniform periodic band velocity VHE2FG37F1
| URI | m2://inv/VHE2FG37F1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19416#R7XW, Uniform periodic band velocity (statement). In TJVWQ0ZSGY/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
Apoorva Khare VHE3PQWWC8
| URI | m2://inv/VHE3PQWWC8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apoorva Khare, Apoorva Khare (topic). Also Wikidata Q102292947
History
- 2026-11-02: add by m2/dev
Simultaneous absence of boundary errors VHEB9VFS9V
| URI | m2://inv/VHEB9VFS9V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39699#ACZ0, Simultaneous absence of boundary errors (statement). In 6M4TMC8G6X/e1, lemma 14
History
- 2026-10-30: add by m2/v0.4.12
Obstruction below the endpoint VHEBNY5HP0
| URI | m2://inv/VHEBNY5HP0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27774#2RBA, Obstruction below the endpoint (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples VHEDF9J4PJ
| URI | m2://inv/VHEDF9J4PJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract m-space#Q43N, Examples (example)
History
- 2026-11-02: add by m2/dev
VHEQGJT8CX VHEQGJT8CX
| URI | m2://inv/VHEQGJT8CX |
|---|---|
| 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.17267#6764 (statement). In 5VWB4A47R5/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
VHEV1WJZY2 VHEV1WJZY2
| URI | m2://inv/VHEV1WJZY2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38556#60UX (definition). In GC2H0HS7ZM/e1, definition 6.3
History
- 2026-10-30: add by m2/v0.4.12
VHF5WTGX7P VHF5WTGX7P
| URI | m2://inv/VHF5WTGX7P |
|---|---|
| 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 2007.14459#Z3I7 (statement). In SGQ7VFEZ22/e1, fact 3.3
History
- 2026-10-27: add by m2/v0.3.5
VHF8NH4RYS VHF8NH4RYS
| URI | m2://inv/VHF8NH4RYS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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.27420#7KQQ (definition)
History
- 2026-11-01: add by m2/v0.6.15
KW-37 VHFYXMDMSC
| URI | m2://inv/VHFYXMDMSC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia KW-37, KW-37 (definition). Also Wikidata Q6340378
History
- 2026-11-02: add by m2/dev
Grauert VHG0V993Z3
| URI | m2://inv/VHG0V993Z3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#C79G, Grauert (definition)
History
- 2026-11-02: add by m2/dev
VHG3G73WYD VHG3G73WYD
| URI | m2://inv/VHG3G73WYD |
|---|---|
| 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.12736#9PSW (statement). In 5350Q52F6P/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
VHG3SR77YQ VHG3SR77YQ
| URI | m2://inv/VHG3SR77YQ |
|---|---|
| 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#M9FU (statement). In CY1FE8W1ZW/e1, corollary 0.74
History
- 2026-10-27: add by m2/v0.3.5
VHG539W7RJ VHG539W7RJ
| URI | m2://inv/VHG539W7RJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13972#3CFD (definition). In S1KHNS8XQM/e1, definition 1.3
History
- 2026-10-28: add by m2/v0.4.2
VHG60KPC5V VHG60KPC5V
| URI | m2://inv/VHG60KPC5V |
|---|---|
| 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.35287#E1SE (statement). In BPPBAWGPHJ/e1, corollary 7.6
History
- 2026-10-30: add by m2/v0.4.12
Variations VHGARVKQ4V
| URI | m2://inv/VHGARVKQ4V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Critical graph#O37U, Variations (statement)
History
- 2026-11-02: add by m2/dev
Two-level game theory VHGDDB5EQY
| URI | m2://inv/VHGDDB5EQY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-level game theory, Two-level game theory (definition). Also Wikidata Q7858724
History
- 2026-11-02: add by m2/dev
VHGDR33B4X VHGDR33B4X
| URI | m2://inv/VHGDR33B4X |
|---|---|
| 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#7ZJE (statement). In E7W2HDNEKJ/e1, theorem 7.6
History
- 2026-10-30: add by m2/v0.4.12
VHGF0FFB56 VHGF0FFB56
| URI | m2://inv/VHGF0FFB56 |
|---|---|
| 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.00512#L6FO (statement). In RB5QBG3MJY/e1, lemma 5.4
History
- 2026-10-30: add by m2/v0.4.12
Robins, James VHGMC01YYE
| URI | m2://inv/VHGMC01YYE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#8K10, Robins, James (topic)
History
- 2026-11-02: add by m2/dev
Barlow surface VHGMZBQGYX
| URI | m2://inv/VHGMZBQGYX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barlow surface, Barlow surface (definition). Also Wikidata Q4861234
History
- 2026-11-02: add by m2/dev
U-statistic VHGSCR4CD0
| URI | m2://inv/VHGSCR4CD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | U-statistic NTVQB1DC56 |
Mentions
- wikidata: Wikidata Q7862949, U-statistic (unknown). Also MathWorld U-Statistic
- wikipedia: Wikipedia U-statistic, U-statistic (definition). Also Wikidata Q7862949
History
- 2026-10-26: add by m2/dev
VHGSWW04CD VHGSWW04CD
| URI | m2://inv/VHGSWW04CD |
|---|---|
| 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.27168#R0Q8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Multi-criteria recommender system VHGTZ3S7SE
| URI | m2://inv/VHGTZ3S7SE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recommender system#NDYC, Multi-criteria recommender system (unknown)
History
- 2026-11-02: add by m2/dev
Statement VHH7BKP6HF
| URI | m2://inv/VHH7BKP6HF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tutte–Berge formula#JBKZ, Statement (statement)
History
- 2026-11-02: add by m2/dev
VHH7XFYWQW VHH7XFYWQW
| URI | m2://inv/VHH7XFYWQW |
|---|---|
| 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 2208.07490#DXS9 (statement). In EK9MF8KMFC/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.5
VHH8HKGJ12 VHH8HKGJ12
| URI | m2://inv/VHH8HKGJ12 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18226#4ALB (definition). In B3EHT1FRM5/e1, definition 3.8
History
- 2026-10-28: add by m2/v0.4.2
Combinatorial design VHH9VAVGCC
| URI | m2://inv/VHH9VAVGCC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MFH0, Combinatorial design (definition)
History
- 2026-11-02: add by m2/dev
The complex two-row endpoint VHHA6WGTH5
| URI | m2://inv/VHHA6WGTH5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04398#XEGA, The complex two-row endpoint (statement). In DFZWC9HY0T/e1, proposition 4.6
History
- 2026-10-29: add by m2/v0.4.12
Harold F. Dodge VHHBK6NFPP
| URI | m2://inv/VHHBK6NFPP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harold F. Dodge, Harold F. Dodge (topic). Also Wikidata Q3783431
History
- 2026-11-02: add by m2/dev
absolute vs conditional convergence of improper integrals VHHETT81AK
| URI | m2://inv/VHHETT81AK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Integration > absolute vs conditional convergence of improper integrals, absolute vs conditional convergence of improper integrals (unknown)
History
- 2026-10-26: add by m2/dev
VHHGD50M0J VHHGD50M0J
| URI | m2://inv/VHHGD50M0J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31781#P7YK (statement). In WTTVKKNPE6/e1, lemma 1
History
- 2026-10-31: add by m2/v0.5.6
Near-diagonal rational basis VHJ2MFGCSS
| URI | m2://inv/VHJ2MFGCSS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22027#OEU3, Near-diagonal rational basis (statement)
History
- 2026-11-02: add by m2/v0.6.17
derivative test VHJ2N282CT
| URI | m2://inv/VHJ2N282CT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#OL69, derivative test (definition)
History
- 2026-11-02: add by m2/dev
VHJ2YXPQ91 VHJ2YXPQ91
| URI | m2://inv/VHJ2YXPQ91 |
|---|---|
| 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.25656#FZF6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
VHJ5XXA18H VHJ5XXA18H
| URI | m2://inv/VHJ5XXA18H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02912#O8JI (statement). In 2GP3PK3A0C/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.12
VHJ5ZFJ7VX VHJ5ZFJ7VX
| URI | m2://inv/VHJ5ZFJ7VX |
|---|---|
| Kind | definition |
| 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#AA43 (definition). In X38P26DK6S/e1, definition 3.11
History
- 2026-10-27: add by m2/v0.4.0
Example VHK18A8YYB
| URI | m2://inv/VHK18A8YYB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matroid#XWKK, Example (example)
History
- 2026-11-02: add by m2/dev
VHK21BGS5Y VHK21BGS5Y
| URI | m2://inv/VHK21BGS5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0904.2839#TPIP (statement). In 2P34N0GWS1/e1, theorem 2.5.1
History
- 2026-10-27: add by m2/v0.3.5
Shape holomorphy of the EFIE VHK3WCXTA0
| URI | m2://inv/VHK3WCXTA0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14888#N5R9, Shape holomorphy of the EFIE (statement). In GN3ZT9DAD9/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
VHK6KG88KN VHK6KG88KN
| URI | m2://inv/VHK6KG88KN |
|---|---|
| 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#MN3I (statement). In D64RQ09KBP/e1, lemma 6.8
History
- 2026-10-29: add by m2/v0.4.12
VHK6THW2VK VHK6THW2VK
| URI | m2://inv/VHK6THW2VK |
|---|---|
| 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.23538#H152 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Banach VHKMKHMHRT
| URI | m2://inv/VHKMKHMHRT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#YTZH, Banach (definition)
History
- 2026-11-02: add by m2/dev
Sixth moment bound VHKWERZKBS
| URI | m2://inv/VHKWERZKBS |
|---|---|
| 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.01035#RMSR, Sixth moment bound (statement). In MVQWXFXWM7/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Polynomial decomposition VHM112VHSF
| URI | m2://inv/VHM112VHSF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial decomposition, Polynomial decomposition (definition). Also Wikidata Q22682116
History
- 2026-11-02: add by m2/dev
VHM1Y8NNDF VHM1Y8NNDF
| URI | m2://inv/VHM1Y8NNDF |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#proof-3 (proof). In E59CDZA4DP, proof, section 9.2.1
History
- 2026-11-01: add by m2/v0.6.13
VHM1ZSKYJC VHM1ZSKYJC
| URI | m2://inv/VHM1ZSKYJC |
|---|---|
| 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.11441#YNCR (statement). In RNXV4Q58TY/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.3
Darboux-Moser-Weinstein theorem VHM2ZP7KQ8
| URI | m2://inv/VHM2ZP7KQ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weinstein's neighbourhood theorem#EWCH, Darboux-Moser-Weinstein theorem (statement)
History
- 2026-11-02: add by m2/dev
Robert Kowalski VHM5C29N17
| URI | m2://inv/VHM5C29N17 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#CWYN, Robert Kowalski (topic)
History
- 2026-11-02: add by m2/dev
VHM61NMDJQ VHM61NMDJQ
| URI | m2://inv/VHM61NMDJQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09882#BZKK (statement). In 7XV6T4N79V/e1, lemma C.2
History
- 2026-10-29: add by m2/v0.4.10
Great Wall of China VHM91C3HJW
| URI | m2://inv/VHM91C3HJW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#ZAZJ, Great Wall of China (unknown)
History
- 2026-11-02: add by m2/dev
VHMAN45X8Z VHMAN45X8Z
| URI | m2://inv/VHMAN45X8Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03497#7K9S (definition). In RRNHC0CAC9/e1, definition
History
- 2026-10-29: add by m2/v0.4.12
Penrose stairs VHMBV1PJQY
| URI | m2://inv/VHMBV1PJQY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q58914, Penrose stairs (concept). Also MathWorld PenroseStairway
History
- 2026-10-26: add by m2/dev
Prolog atom VHMDBC0Y4T
| URI | m2://inv/VHMDBC0Y4T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prolog#9I4S, Prolog atom (unknown)
History
- 2026-11-02: add by m2/dev
Berndt–Hall–Hall–Hausman algorithm VHMDJ7RDFT
| URI | m2://inv/VHMDJ7RDFT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berndt–Hall–Hall–Hausman algorithm, Berndt–Hall–Hall–Hausman algorithm (definition). Also Wikidata Q4835588
History
- 2026-11-02: add by m2/dev
Realization of adjacent cuts VHMJ8QJT95
| URI | m2://inv/VHMJ8QJT95 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03763#H3PG, Realization of adjacent cuts (statement). In ARZ4X5PXXC/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
Flower of Life (geometry) VHMRYMPE27
| URI | m2://inv/VHMRYMPE27 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overlapping circles grid#H8ZT, Flower of Life (geometry) (unknown)
History
- 2026-11-02: add by m2/dev
VHMZ5V08AF VHMZ5V08AF
| URI | m2://inv/VHMZ5V08AF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03327#ELWP (statement). In EBNXA84CPM/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.12
Examples VHMZM64PG2
| URI | m2://inv/VHMZM64PG2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Little's law#PRBH, Examples (example)
History
- 2026-11-02: add by m2/dev
Szolem Mandelbrojt VHNB15EVG3
| URI | m2://inv/VHNB15EVG3 |
|---|---|
| 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#1DFH, Szolem Mandelbrojt (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GMLE, Szolem Mandelbrojt (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LPKP, Szolem Mandelbrojt (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#O1UQ, Szolem Mandelbrojt (topic)
History
- 2026-11-02: add by m2/dev
Statement VHNTSH82D3
| URI | m2://inv/VHNTSH82D3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Courant–Friedrichs–Lewy condition#Y3L7, Statement (statement)
History
- 2026-11-02: add by m2/dev
Geodetic effect VHP4G9XPQX
| URI | m2://inv/VHP4G9XPQX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodetic effect, Geodetic effect (definition). Also Wikidata Q2711882
History
- 2026-11-02: add by m2/dev
Terminology VHP6YH6F1T
| URI | m2://inv/VHP6YH6F1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mesh generation#4BC8, Terminology (definition)
History
- 2026-11-02: add by m2/dev
VHP87YJ8PX VHP87YJ8PX
| URI | m2://inv/VHP87YJ8PX |
|---|---|
| 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 2609.27518#M0JN (example)
History
- 2026-11-01: add by m2/v0.6.15
William Arthur VHP8DF6FKR
| URI | m2://inv/VHP8DF6FKR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Arthur (mathematician), William Arthur (topic). Also Wikidata Q8004575
History
- 2026-11-02: add by m2/dev
Alexander Lubotzky VHPCWBA304
| URI | m2://inv/VHPCWBA304 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EC32, Alexander Lubotzky (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VM0Z, Alexander Lubotzky (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WO3M, Alexander Lubotzky (topic)
History
- 2026-11-02: add by m2/dev
KOH identity VHPD7D9D04
| URI | m2://inv/VHPD7D9D04 |
|---|---|
| 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 2610.18377#1PFX, KOH identity (statement). In KYJJMC50SJ/e1, theorem 5.3
History
- 2026-10-28: add by m2/v0.4.2
neo-logicism VHPER0QC57
| URI | m2://inv/VHPER0QC57 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#8PLI, neo-logicism (definition)
History
- 2026-11-02: add by m2/dev
Mihalis Dafermos VHPFFYJY1V
| URI | m2://inv/VHPFFYJY1V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#IMGE, Mihalis Dafermos (topic)
History
- 2026-11-02: add by m2/dev
Kramers' opacity law VHPNQSSDQZ
| URI | m2://inv/VHPNQSSDQZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kramers' opacity law, Kramers' opacity law (statement). Also Wikidata Q17007596
History
- 2026-11-02: add by m2/dev
Plane partition VHPQFRMMJW
| URI | m2://inv/VHPQFRMMJW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7201015, Plane partition (concept). Also MathWorld PlanePartition
- wikipedia: Wikipedia Plane partition, Plane partition (definition). Also Wikidata Q7201015
History
- 2026-10-26: add by m2/dev
VHQ8EA2GZ8 VHQ8EA2GZ8
| URI | m2://inv/VHQ8EA2GZ8 |
|---|---|
| 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.29148#SWKQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Adapted atomic Hardy space VHQKREJ1M8
| URI | m2://inv/VHQKREJ1M8 |
|---|---|
| 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 2609.30090#S65N, Adapted atomic Hardy space (definition)
History
- 2026-11-01: add by m2/v0.6.15
VHQNPGB798 VHQNPGB798
| URI | m2://inv/VHQNPGB798 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-polyfit.ptx#exercise-4 (exercise). In Y91XFCEVHQ, exercise, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
MLC conjecture VHQTH9P4FM
| URI | m2://inv/VHQTH9P4FM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#9WZE, MLC conjecture (topic)
History
- 2026-11-02: add by m2/dev
VHQV17J52Q VHQV17J52Q
| URI | m2://inv/VHQV17J52Q |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/admissible-derivable.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 61.6
History
- 2026-11-01: add by m2/v0.6.13
Get-there-itis VHQV8GDACJ
| URI | m2://inv/VHQV8GDACJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sunk cost#KIV3, Get-there-itis (unknown)
History
- 2026-11-02: add by m2/dev
Eigenvalues/characteristic roots VHQWBFVTGP
| URI | m2://inv/VHQWBFVTGP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factor analysis#TW7F, Eigenvalues/characteristic roots (definition)
History
- 2026-11-02: add by m2/dev
Principle of moments VHRDPY7MDK
| URI | m2://inv/VHRDPY7MDK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torque#TNJD, Principle of moments (statement)
History
- 2026-11-02: add by m2/dev
VHRE8BRYQ0 VHRE8BRYQ0
| URI | m2://inv/VHRE8BRYQ0 |
|---|---|
| Kind | example |
| 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 2609.21052#NAUC (example)
History
- 2026-11-02: add by m2/v0.6.18
Purser's theorem VHRRJB3SY3
| URI | m2://inv/VHRRJB3SY3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18762467, Purser's theorem (statement). Also MathWorld PursersTheorem
History
- 2026-10-26: add by m2/dev
Quantum number VHRXHRWAVN
| URI | m2://inv/VHRXHRWAVN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#DK2P, Quantum number (unknown)
History
- 2026-11-02: add by m2/dev
VHS29DG83N VHS29DG83N
| URI | m2://inv/VHS29DG83N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07114#FM35 (statement). In HP3TM356J6/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
The $S$-matrix VHSC59NF60
| URI | m2://inv/VHSC59NF60 |
|---|---|
| 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 2610.18512#LS1K, The $S$-matrix (statement). In 11JNM66Z09/e1, proposition 19.3
History
- 2026-10-28: add by m2/v0.4.2
Pro-finite group VHSDSDXNYB
| URI | m2://inv/VHSDSDXNYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#TR0U, Pro-finite group (definition)
History
- 2026-11-02: add by m2/dev
VHSXS17R2A VHSXS17R2A
| URI | m2://inv/VHSXS17R2A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2609.25449#5DHX (statement). In 9JHMTYGWFQ/e1, proposition 13.1
History
- 2026-10-27: add by m2/v0.3.6
Annealed CLT for $\la U\ra_n$ VHT2TY7EQ3
| URI | m2://inv/VHT2TY7EQ3 |
|---|---|
| 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#Q5PR, Annealed CLT for $\la U\ra_n$ (statement). In 6X76XBE3HV/e1, theorem 1.6
History
- 2026-10-27: add by m2/v0.3.5
Otto Schilling VHT7FJQ4T4
| URI | m2://inv/VHT7FJQ4T4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Otto Schilling, Otto Schilling (topic). Also Wikidata Q84773
History
- 2026-11-02: add by m2/dev
Sam Roi Yot District VHTDXHGB5M
| URI | m2://inv/VHTDXHGB5M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#KE9G, Sam Roi Yot District (unknown)
History
- 2026-11-02: add by m2/dev
Symmetries VHTG3Y8XTD
| URI | m2://inv/VHTG3Y8XTD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petersen graph#A6A4, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
Space cardioid VHTQA15MFV
| URI | m2://inv/VHTQA15MFV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#SKR5, Space cardioid (unknown)
History
- 2026-11-02: add by m2/dev
David Abrahams VHV635Y9ZB
| URI | m2://inv/VHV635Y9ZB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Abrahams (mathematician), David Abrahams (topic). Also Wikidata Q5230581
History
- 2026-11-02: add by m2/dev
VHV96K82AK VHV96K82AK
| URI | m2://inv/VHV96K82AK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-81 (exercise). In E59CDZA4DP, exercise, section 10.6.6
History
- 2026-11-01: add by m2/v0.6.13
Consistency proof VHVDF9GW2C
| URI | m2://inv/VHVDF9GW2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#LAD8, Consistency proof (definition)
History
- 2026-11-02: add by m2/dev
maximum vertex degree VHVP2HB7NE
| URI | m2://inv/VHVP2HB7NE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9346061, maximum vertex degree (unknown). Also MathWorld MaximumVertexDegree
History
- 2026-10-26: add by m2/dev
VHVPN54VPB VHVPN54VPB
| URI | m2://inv/VHVPN54VPB |
|---|---|
| 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#BVQ4 (statement). In 2F4PNP1V3B/e1, theorem D
History
- 2026-10-29: add by m2/v0.4.10
Octic reciprocity VHVQ6XEKZK
| URI | m2://inv/VHVQ6XEKZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Octic reciprocity, Octic reciprocity (definition). Also Wikidata Q7076857
History
- 2026-11-02: add by m2/dev
VHW05KVWBS VHW05KVWBS
| URI | m2://inv/VHW05KVWBS |
|---|---|
| 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.11974#TK3J (statement). In AW6S4XZ9ZZ/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.3
Basic reproduction number VHW199QG5T
| URI | m2://inv/VHW199QG5T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basic reproduction number, Basic reproduction number (definition). Also Wikidata Q901464
History
- 2026-11-02: add by m2/dev
Examples VHW5Q5JXE8
| URI | m2://inv/VHW5Q5JXE8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph C*-algebra#3BFW, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties VHW7WK8HJ6
| URI | m2://inv/VHW7WK8HJ6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite topological space#Q09I, Properties (statement)
History
- 2026-11-02: add by m2/dev
Pierre Milman VHWDB5Q9W6
| URI | m2://inv/VHWDB5Q9W6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pierre Milman, Pierre Milman (topic). Also Wikidata Q2093709
History
- 2026-11-02: add by m2/dev
Alexander–Hirschowitz theorem VHWDQBYQ3Y
| URI | m2://inv/VHWDQBYQ3Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander–Hirschowitz theorem, Alexander–Hirschowitz theorem (statement). Also Wikidata Q105081875
History
- 2026-11-02: add by m2/dev
Tycho Brahe VHWGWED7TJ
| URI | m2://inv/VHWGWED7TJ |
|---|---|
| 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 Q36620, Tycho Brahe (unknown). Also ProofWiki Mathematician:Tycho_Brahe
History
- 2026-10-26: add by m2/dev
VHWPB5E941 VHWPB5E941
| URI | m2://inv/VHWPB5E941 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18929#M4VR (statement). In ZRJ2DZT6P1/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
VHWS3TCAF6 VHWS3TCAF6
| URI | m2://inv/VHWS3TCAF6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#prop-4 (statement). In E59CDZA4DP, prop, section 10.2.2
History
- 2026-11-01: add by m2/v0.6.13
William Feller VHX6CTJK53
| URI | m2://inv/VHX6CTJK53 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#224M, William Feller (topic)
History
- 2026-11-02: add by m2/dev
VHX7DTNQE4 VHX7DTNQE4
| URI | m2://inv/VHX7DTNQE4 |
|---|---|
| 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.20599#FZBU (statement)
History
- 2026-11-02: add by m2/v0.6.18
Geometry-adapted random-reshuffling momentum margin VHX8YMKDEM
| URI | m2://inv/VHX8YMKDEM |
|---|---|
| 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.11309#1MSS, Geometry-adapted random-reshuffling momentum margin (statement). In TTEAQA1XXR/e1, corollary B.12
History
- 2026-10-28: add by m2/v0.4.3
VHXA90RT86 VHXA90RT86
| URI | m2://inv/VHXA90RT86 |
|---|---|
| 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#C1AP (definition). In HX63A1PH1W/e1, definition 3.67
History
- 2026-10-28: add by m2/v0.4.3
Minimum eigenvalue VHXAW33E7N
| URI | m2://inv/VHXAW33E7N |
|---|---|
| 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.25120#HKTB, Minimum eigenvalue (statement)
History
- 2026-11-01: add by m2/v0.6.15
Trace inequalities VHXBG5MJ9Z
| URI | m2://inv/VHXBG5MJ9Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#DFGC, Trace inequalities (statement)
- wikipedia: Wikipedia List of inequalities#X9TN, Trace inequalities (statement)
History
- 2026-11-02: add by m2/dev
Statement VHXC9M03XD
| URI | m2://inv/VHXC9M03XD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solèr's theorem#OPPK, Statement (statement)
History
- 2026-11-02: add by m2/dev
VHXE8H447M VHXE8H447M
| URI | m2://inv/VHXE8H447M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-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.08638#8TG7 (statement). In 113VZ5XX7J/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.10
Gianluigi Rozza VHXKJVNTAH
| URI | m2://inv/VHXKJVNTAH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gianluigi Rozza, Gianluigi Rozza (topic). Also Wikidata Q57025903
History
- 2026-11-02: add by m2/dev
Golden–Thompson inequality VHXM0SFDAH
| URI | m2://inv/VHXM0SFDAH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Golden–Thompson inequality, Golden–Thompson inequality (statement). Also Wikidata Q1058622
History
- 2026-11-02: add by m2/dev
Discrete Applied Mathematics VHXQC983Q3
| URI | m2://inv/VHXQC983Q3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete Applied Mathematics, Discrete Applied Mathematics (definition). Also Wikidata Q5808319
History
- 2026-11-02: add by m2/dev
Multiscale geometric analysis VHXY8SSZSH
| URI | m2://inv/VHXY8SSZSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MA8Z, Multiscale geometric analysis (definition)
History
- 2026-11-02: add by m2/dev
Christine Heitsch VHY3JSDVY8
| URI | m2://inv/VHY3JSDVY8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christine Heitsch, Christine Heitsch (topic). Also Wikidata Q67900368
History
- 2026-11-02: add by m2/dev
Advances in Applied Probability VHY65FHA0F
| URI | m2://inv/VHY65FHA0F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability journals#WQ7S, Advances in Applied Probability (unknown)
History
- 2026-11-02: add by m2/dev
VHYAKW59GT VHYAKW59GT
| URI | m2://inv/VHYAKW59GT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/schemas.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 54.7
History
- 2026-11-01: add by m2/v0.6.13
Adrien-Marie Legendre VHYE1KNTS0
| URI | m2://inv/VHYE1KNTS0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#2EMG, Adrien-Marie Legendre (topic)
History
- 2026-11-02: add by m2/dev
Theorem 2 of 1960 VHYFPJHX1B
| URI | m2://inv/VHYFPJHX1B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Debreu's representation theorems#1TJ3, Theorem 2 of 1960 (statement)
History
- 2026-11-02: add by m2/dev
VHYGKRRPDB VHYGKRRPDB
| URI | m2://inv/VHYGKRRPDB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33300#0YT5 (statement). In AWF7ZHK4EM/e1, proposition 5.4
History
- 2026-10-30: add by m2/v0.4.12
The ``if'' direction of the tempered conjecture VHYKFQ5Q2E
| URI | m2://inv/VHYKFQ5Q2E |
|---|---|
| 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 2610.05364#TP6M, The ``if'' direction of the tempered conjecture (statement). In TPYRE2ARMD/e1, corollary 5.5
History
- 2026-10-29: add by m2/v0.4.10
VHYKQEZYBR VHYKQEZYBR
| URI | m2://inv/VHYKQEZYBR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.26410#VPTA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Anecdotal generalization VHYSX54TNN
| URI | m2://inv/VHYSX54TNN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inductive reasoning#Q4I6, Anecdotal generalization (unknown)
History
- 2026-11-02: add by m2/dev
Emma Castelnuovo VHYVM1G0JG
| URI | m2://inv/VHYVM1G0JG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#MGDG, Emma Castelnuovo (topic)
History
- 2026-11-02: add by m2/dev
VHYYP888CR VHYYP888CR
| URI | m2://inv/VHYYP888CR |
|---|---|
| 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.27635#SLVG (statement)
History
- 2026-11-01: add by m2/v0.6.15
modular form VHYZF6ZPTE
| URI | m2://inv/VHYZF6ZPTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#3VWB, modular form (definition)
History
- 2026-11-02: add by m2/dev
VHZ5RJZX93 VHZ5RJZX93
| URI | m2://inv/VHZ5RJZX93 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06521#PNDI (statement). In NVXWD513NM/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
Triangular matrix VHZF1ZT49Y
| URI | m2://inv/VHZF1ZT49Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#PEYL, Triangular matrix (definition)
History
- 2026-11-02: add by m2/dev
Wilfrid Norman Bailey VHZPFC0XGV
| URI | m2://inv/VHZPFC0XGV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilfrid Norman Bailey, Wilfrid Norman Bailey (topic). Also Wikidata Q8001972
History
- 2026-11-02: add by m2/dev
VHZVQ29K6W VHZVQ29K6W
| URI | m2://inv/VHZVQ29K6W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.34458#VNCR (statement). In 2KQ85H6MS4/e1, proposition 10
History
- 2026-10-30: add by m2/v0.4.12
VHZYZFKEV1 VHZYZFKEV1
| URI | m2://inv/VHZYZFKEV1 |
|---|---|
| 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.24325#381I (statement)
History
- 2026-11-01: add by m2/v0.6.15