Inventory rows 1V
The cards of the rows of the inventory whose ids start with 1V. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Jack Yung Chang 1V002Z2HQW
| URI | m2://inv/1V002Z2HQW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jack Yung Chang, Jack Yung Chang (topic). Also Wikidata Q16906473
History
- 2026-11-02: add by m2/dev
Hilbert basis (linear programming) 1V01S58PJZ
| URI | m2://inv/1V01S58PJZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#7K16, Hilbert basis (linear programming) (definition)
History
- 2026-11-02: add by m2/dev
Fourth moment 1V04YRG5E8
| URI | m2://inv/1V04YRG5E8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#ZQO4, Fourth moment (statement). In QPJ6FWG5HD/e1, theorem 2.25
History
- 2026-10-29: add by m2/v0.4.12
1V05DNHVSY 1V05DNHVSY
| URI | m2://inv/1V05DNHVSY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.20663#NW8Q (statement). In AZMX0CY5NE/e1, lemma 2
History
- 2026-10-27: add by m2/v0.4.2
1V05FSSAVK 1V05FSSAVK
| URI | m2://inv/1V05FSSAVK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_rigorous.ptx#thm_advance (statement). In QKM9DD2H56, theorem, section 9.5.1
History
- 2026-11-01: add by m2/v0.6.13
Quasi-maximum likelihood 1V0DQGXSSG
| URI | m2://inv/1V0DQGXSSG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZWFY, Quasi-maximum likelihood (definition)
History
- 2026-11-02: add by m2/dev
1V0SEBE6Y4 1V0SEBE6Y4
| URI | m2://inv/1V0SEBE6Y4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32233#1Q2S (statement). In V42PPD7SWH/e1, lemma 7.6
History
- 2026-10-31: add by m2/v0.5.6
1V0WSGKS8M 1V0WSGKS8M
| URI | m2://inv/1V0WSGKS8M |
|---|---|
| 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#4YIX (statement). In JWNYJVH8XG/e1, corollary 3.26
History
- 2026-10-29: add by m2/v0.4.10
W. T. Martin 1V0YEN33PY
| URI | m2://inv/1V0YEN33PY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia W. T. Martin, W. T. Martin (topic). Also Wikidata Q7946010
History
- 2026-11-02: add by m2/dev
Zhao Youqin's π algorithm 1V193WG8GC
| URI | m2://inv/1V193WG8GC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zhao Youqin's π algorithm, Zhao Youqin's π algorithm (definition). Also Wikidata Q17278655
History
- 2026-11-02: add by m2/dev
Generalizations 1V1AZBP5ZW
| URI | m2://inv/1V1AZBP5ZW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berger's sphere#30TX, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
1V1CB0ZCP7 1V1CB0ZCP7
| URI | m2://inv/1V1CB0ZCP7 |
|---|---|
| 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.12014#BIJJ (statement). In DR7BK4CQ0V/e1, proposition 6.10
History
- 2026-10-28: add by m2/v0.4.3
the vortex core 1V1E2QW8EV
| URI | m2://inv/1V1E2QW8EV |
|---|---|
| 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.22513#03RI, the vortex core (statement)
History
- 2026-11-02: add by m2/v0.6.17
Affine geometry of curves 1V1G0VET1Y
| URI | m2://inv/1V1G0VET1Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#QW6E, Affine geometry of curves (definition)
History
- 2026-11-02: add by m2/dev
1V1N3EWC67 1V1N3EWC67
| URI | m2://inv/1V1N3EWC67 |
|---|---|
| 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.10477#RU79 (statement). In 1NZSZ241WE/e1, corollary 2.3
History
- 2026-10-29: add by m2/v0.4.10
1V28NRSFVV 1V28NRSFVV
| URI | m2://inv/1V28NRSFVV |
|---|---|
| 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.15525#Q6Y7 (statement). In EFDRME13PT/e1, lemma 7.2
History
- 2026-10-28: add by m2/v0.4.2
1V2GQT9ARS 1V2GQT9ARS
| URI | m2://inv/1V2GQT9ARS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10570#6S41 (statement). In V0MA250K2P/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.10
1V2PQX5YXT 1V2PQX5YXT
| URI | m2://inv/1V2PQX5YXT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-trees.ptx#proof-3 (proof). In Y91XFCEVHQ, proof, section 5.2.1
History
- 2026-11-01: add by m2/v0.6.13
1V2RT3XN8F 1V2RT3XN8F
| URI | m2://inv/1V2RT3XN8F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00135#Y2UO (statement). In PXWXV92SJY/e1, corollary 4.7
History
- 2026-10-30: add by m2/v0.4.12
David Emmanuel 1V2S4RSE05
| URI | m2://inv/1V2S4RSE05 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#GR6V, David Emmanuel (topic)
History
- 2026-11-02: add by m2/dev
Corollary 1V32Q8PXXZ
| URI | m2://inv/1V32Q8PXXZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Models of DNA evolution#KO7P, Corollary (statement)
History
- 2026-11-02: add by m2/dev
1V356F6QV3 1V356F6QV3
| URI | m2://inv/1V356F6QV3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/compactness-direct.tex#prob-8 (exercise). In PKGMM3P5QY, prob, section 9.8
History
- 2026-11-01: add by m2/v0.6.13
Kushner equation 1V39RTFEY0
| URI | m2://inv/1V39RTFEY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Z8JX, Kushner equation (definition)
History
- 2026-11-02: add by m2/dev
1V3CVQGDGM 1V3CVQGDGM
| URI | m2://inv/1V3CVQGDGM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.35597#N3UK (statement). In K424GCJ50P/e1, proposition 9.3
History
- 2026-10-30: add by m2/v0.4.12
1V3JF00D00 1V3JF00D00
| URI | m2://inv/1V3JF00D00 |
|---|---|
| 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.29510#H97W (statement)
History
- 2026-11-01: add by m2/v0.6.15
Higman's lemma 1V3M97E50F
| URI | m2://inv/1V3M97E50F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#TKSA, Higman's lemma (statement)
History
- 2026-11-02: add by m2/dev
Formula for partition size 1V3N9R6ZWT
| URI | m2://inv/1V3N9R6ZWT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matroid partitioning#IZHL, Formula for partition size (statement)
History
- 2026-11-02: add by m2/dev
1V3W48ZZMA 1V3W48ZZMA
| URI | m2://inv/1V3W48ZZMA |
|---|---|
| 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 2411.05198#2TVY (statement). In NJWY6HPFHG/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
Definition 1V3YG35JC7
| URI | m2://inv/1V3YG35JC7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burau representation#44DU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Korteweg-de Vries-Burgers-Fisher equation 1V3ZGD2Y9W
| URI | m2://inv/1V3ZGD2Y9W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Korteweg-de Vries-Burgers-Fisher equation, Korteweg-de Vries-Burgers-Fisher equation (definition). Also Wikidata Q141284716
History
- 2026-11-02: add by m2/dev
Charles Sims 1V42RQDKX9
| URI | m2://inv/1V42RQDKX9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Sims (mathematician), Charles Sims (topic). Also Wikidata Q166504
History
- 2026-11-02: add by m2/dev
Quotient-minor gap 1V43JYSR9R
| URI | m2://inv/1V43JYSR9R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#H5AZ, Quotient-minor gap (definition). In 7MVPNFPRKB/e1, definition 4.3
History
- 2026-10-30: add by m2/v0.4.12
Euclidean geometry 1V47ZZAE84
| URI | m2://inv/1V47ZZAE84 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Euclid#3FZH, Euclidean geometry (definition)
History
- 2026-11-02: add by m2/dev
Abstract family of acceptors 1V49HXAHJ8
| URI | m2://inv/1V49HXAHJ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract family of acceptors, Abstract family of acceptors (definition). Also Wikidata Q4669946
History
- 2026-11-02: add by m2/dev
Heesch's tiling problem 1V4DR2NJ8E
| URI | m2://inv/1V4DR2NJ8E |
|---|---|
| Kind | problem |
| 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.02579#HKNB, Heesch's tiling problem (problem). In CBTJDYHH34/e1, problem 3
History
- 2026-10-29: add by m2/v0.4.12
Definition 1V4EYGJ3GQ
| URI | m2://inv/1V4EYGJ3GQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mayer f-function#BHMJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Rank-two linear--quadratic aliases 1V4NFP3Y8Y
| URI | m2://inv/1V4NFP3Y8Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31689#IH6D, Rank-two linear--quadratic aliases (statement). In Z7M2JSF6HA/e1, theorem 8.3
History
- 2026-10-31: add by m2/v0.5.6
split 1V4NWFZGGE
| URI | m2://inv/1V4NWFZGGE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#UVMV, split (definition)
History
- 2026-11-02: add by m2/dev
1V4SB510J0 1V4SB510J0
| URI | m2://inv/1V4SB510J0 |
|---|---|
| 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#ZF2Z (statement). In 4F8QRV05BV/e1, theorem 4.4
History
- 2026-10-30: add by m2/v0.4.12
continuity of monotone functions 1V4T40XZQG
| URI | m2://inv/1V4T40XZQG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Real-valued functions defined on a subset of $\R$ > continuity of monotone functions, continuity of monotone functions (unknown). Also Mathlib OrderIso.continuous
History
- 2026-10-26: add by m2/dev
Homicidal chauffeur problem 1V4V664GQ7
| URI | m2://inv/1V4V664GQ7 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homicidal chauffeur problem, Homicidal chauffeur problem (problem). Also Wikidata Q5890773
History
- 2026-11-02: add by m2/dev
1V51BGAYHX 1V51BGAYHX
| URI | m2://inv/1V51BGAYHX |
|---|---|
| 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.32058#FEXP (statement). In N0G73NM4WC/e1, lemma A.1
History
- 2026-10-31: add by m2/v0.5.6
The nonperturbative ambiguity does not amplify 1V54N44H7Z
| URI | m2://inv/1V54N44H7Z |
|---|---|
| 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.29605#QX7E, The nonperturbative ambiguity does not amplify (statement)
History
- 2026-11-01: add by m2/v0.6.15
Imaginary unit 1V5A17VC03
| URI | m2://inv/1V5A17VC03 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#ENSL, Imaginary unit (definition)
History
- 2026-11-02: add by m2/dev
Applications 1V5C723HH3
| URI | m2://inv/1V5C723HH3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John ellipsoid#OGT1, Applications (example)
History
- 2026-11-02: add by m2/dev
O. I. Bogoyavlensky 1V5FMY0VCG
| URI | m2://inv/1V5FMY0VCG |
|---|---|
| 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#VQIG, O. I. Bogoyavlensky (unknown)
History
- 2026-11-02: add by m2/dev
Theorem 1V5JG6P0TY
| URI | m2://inv/1V5JG6P0TY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outer measure#0Z3L, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Chaocipher 1V5W61WMKW
| URI | m2://inv/1V5W61WMKW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chaocipher, Chaocipher (definition). Also Wikidata Q281598
History
- 2026-11-02: add by m2/dev
Data compression 1V5XKM9Q5E
| URI | m2://inv/1V5XKM9Q5E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#N366, Data compression (definition)
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#NB9M, Data compression (definition)
History
- 2026-11-02: add by m2/dev
Montel's theorem 1V5XQ7E6VD
| URI | m2://inv/1V5XQ7E6VD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#13WU, Montel's theorem (statement)
History
- 2026-11-02: add by m2/dev
Andrew Granville 1V5ZJSY8DX
| URI | m2://inv/1V5ZJSY8DX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrew Granville, Andrew Granville (topic). Also Wikidata Q504907
History
- 2026-11-02: add by m2/dev
Tau additivity 1V68B47VGB
| URI | m2://inv/1V68B47VGB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tau additivity, Tau additivity (definition). Also Wikidata Q8083996
History
- 2026-11-02: add by m2/dev
Definition 1V69B5BW4S
| URI | m2://inv/1V69B5BW4S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plünnecke–Ruzsa inequality#944P, Definition (definition)
History
- 2026-11-02: add by m2/dev
L\'evy-reference realization 1V6NJXH3QB
| URI | m2://inv/1V6NJXH3QB |
|---|---|
| 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.38228#586A, L\'evy-reference realization (statement). In 9YAE8FNQST/e1, theorem 17.24
History
- 2026-10-30: add by m2/v0.4.12
Sijue Wu 1V6R172DPR
| URI | m2://inv/1V6R172DPR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sijue Wu, Sijue Wu (topic). Also Wikidata Q2285525
History
- 2026-11-02: add by m2/dev
Bitcoin difficulty adjustment 1V6WZCZQ7C
| URI | m2://inv/1V6WZCZQ7C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bitcoin#WLUN, Bitcoin difficulty adjustment (unknown)
History
- 2026-11-02: add by m2/dev
removable singularity 1V6YX6GYB3
| URI | m2://inv/1V6YX6GYB3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Complex analysis > removable singularity, removable singularity (unknown). Also Mathlib Complex.differentiableOn_update_limUnder_insert_of_isLittleO
History
- 2026-10-26: add by m2/dev
1V71YYC0W8 1V71YYC0W8
| URI | m2://inv/1V71YYC0W8 |
|---|---|
| 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 2310.02073#N3TP (statement). In 3PNCRG6J62/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
Longuerre's theorem 1V759S7DYD
| URI | m2://inv/1V759S7DYD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Longuerre's theorem, Longuerre's theorem (statement). Also Wikidata Q133190296
History
- 2026-11-02: add by m2/dev
Corank-two structure and low-dimensional classification 1V7MA35DDS
| URI | m2://inv/1V7MA35DDS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31689#22HM, Corank-two structure and low-dimensional classification (statement). In Z7M2JSF6HA/e1, theorem 1.4
History
- 2026-10-31: add by m2/v0.5.6
1V7PXS80JP 1V7PXS80JP
| URI | m2://inv/1V7PXS80JP |
|---|---|
| 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 2308.02672#CPDC (definition). In ETRT1R1CQ8/e1, definition 1.5
History
- 2026-10-27: add by m2/v0.4.0
axiom, of choice 1V7XESQ563
| URI | m2://inv/1V7XESQ563 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u7/axiom-of-choice, axiom, of choice (concept). In N54F33XE07, index, section u1.u7
History
- 2026-11-01: add by m2/v0.6.13
Distance-dependent sample complexity 1V7Y8CQ8X9
| URI | m2://inv/1V7Y8CQ8X9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-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.40271#TY4G, Distance-dependent sample complexity (definition). In 9MXMRKFKDW/e1, definition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Kendall Houk 1V8022CJF5
| URI | m2://inv/1V8022CJF5 |
|---|---|
| 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#J4EB, Kendall Houk (unknown)
History
- 2026-11-02: add by m2/dev
1V809CPPM9 1V809CPPM9
| URI | m2://inv/1V809CPPM9 |
|---|---|
| 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.29489#5XFK (statement)
History
- 2026-11-01: add by m2/v0.6.15
All models are wrong 1V82YYZAWM
| URI | m2://inv/1V82YYZAWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#URRA, All models are wrong (definition)
History
- 2026-11-02: add by m2/dev
1V83PHQT5Z 1V83PHQT5Z
| URI | m2://inv/1V83PHQT5Z |
|---|---|
| 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.07741#R5O9 (statement). In K4YV2SF9MG/e1, proposition A.7
History
- 2026-10-29: add by m2/v0.4.10
Cartan connection 1V85H1KREF
| URI | m2://inv/1V85H1KREF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#HGS4, Cartan connection (definition)
History
- 2026-11-02: add by m2/dev
Banach–Mazur theorem 1V86A1PN4E
| URI | m2://inv/1V86A1PN4E |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2226610, Banach–Mazur theorem (statement). Also Wikidata Q2226610
- thousand_plus: thousand_plus Q2226610, Banach–Mazur theorem (statement). Also Wikidata Q2226610, Wikipedia Banach–Mazur theorem
- wikipedia: Wikipedia Banach–Mazur theorem, Banach–Mazur theorem (statement). Also Wikidata Q2226610
History
- 2026-10-26: add by m2/dev
Example 1V87XSWW03
| URI | m2://inv/1V87XSWW03 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haar wavelet#WOOH, Example (example)
History
- 2026-11-02: add by m2/dev
Robert Bernecky 1V8C2GYTV5
| URI | m2://inv/1V8C2GYTV5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KPBZ, Robert Bernecky (unknown)
History
- 2026-11-02: add by m2/dev
Paul Cohn 1V8PCQH5PS
| URI | m2://inv/1V8PCQH5PS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#Y8X3, Paul Cohn (topic)
History
- 2026-11-02: add by m2/dev
Graph structure theorem 1V8QG78CGQ
| URI | m2://inv/1V8QG78CGQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#BH1T, Graph structure theorem (statement)
History
- 2026-11-02: add by m2/dev
Limited dependent variable 1V8TR36AFH
| URI | m2://inv/1V8TR36AFH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4SJ1, Limited dependent variable (definition)
History
- 2026-11-02: add by m2/dev
1V8V3EQD16 1V8V3EQD16
| URI | m2://inv/1V8V3EQD16 |
|---|---|
| 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.08198#5BEF (statement). In 50K0H8HRED/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Roberts's triangle theorem 1V92FJ5FEA
| URI | m2://inv/1V92FJ5FEA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roberts's triangle theorem, Roberts's triangle theorem (statement). Also Wikidata Q30891709
History
- 2026-11-02: add by m2/dev
1V93AFBCM0 1V93AFBCM0
| URI | m2://inv/1V93AFBCM0 |
|---|---|
| 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.22847#3W5Z (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples 1V9BBZH2PZ
| URI | m2://inv/1V9BBZH2PZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kazhdan–Lusztig polynomial#5JV6, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples 1V9E70VHDK
| URI | m2://inv/1V9E70VHDK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Verschiebung operator#7C86, Examples (example)
History
- 2026-11-02: add by m2/dev
Emily Riehl 1V9G8SYD46
| URI | m2://inv/1V9G8SYD46 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MNWY, Emily Riehl (topic)
History
- 2026-11-02: add by m2/dev
Projective transformations 1V9GJZ45DP
| URI | m2://inv/1V9GJZ45DP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18154#OXD3, Projective transformations (example). In 4W7ARR1DAR/e1, example 3.8
History
- 2026-10-28: add by m2/v0.4.2
Donald Andrew Dawson 1V9VJFFZY8
| URI | m2://inv/1V9VJFFZY8 |
|---|---|
| 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#6T8R, Donald Andrew Dawson (unknown)
History
- 2026-11-02: add by m2/dev
1V9X7WQZ3P 1V9X7WQZ3P
| URI | m2://inv/1V9X7WQZ3P |
|---|---|
| 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.36389#HDIO (statement). In N1S169J2MV/e1, proposition 6
History
- 2026-10-30: add by m2/v0.4.12
Lazar Lyusternik 1VA53CMSWX
| URI | m2://inv/1VA53CMSWX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#F5ON, Lazar Lyusternik (topic)
History
- 2026-11-02: add by m2/dev
Regularity bootstrap 1VACQTXKWK
| URI | m2://inv/1VACQTXKWK |
|---|---|
| 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.00033#S05K, Regularity bootstrap (statement). In SHMMW4JXZ1/e1, lemma 16
History
- 2026-10-30: add by m2/v0.4.12
Mishmar HaShiv'a 1VANY688C7
| URI | m2://inv/1VANY688C7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#CYI7, Mishmar HaShiv'a (unknown)
History
- 2026-11-02: add by m2/dev
Strong set order 1VASWFWF22
| URI | m2://inv/1VASWFWF22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong set order, Strong set order (definition). Also Wikidata Q141352977
History
- 2026-11-02: add by m2/dev
Leonhard Euler 1VAW03Z1SX
| URI | m2://inv/1VAW03Z1SX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#9S2M, Leonhard Euler (topic)
History
- 2026-11-02: add by m2/dev
Extreme-energy cosmic ray 1VB5WRS4V9
| URI | m2://inv/1VB5WRS4V9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#I86K, Extreme-energy cosmic ray (unknown)
History
- 2026-11-02: add by m2/dev
Halite structure 1VBAWJ5V0K
| URI | m2://inv/1VBAWJ5V0K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic crystal system#R1TW, Halite structure (unknown)
History
- 2026-11-02: add by m2/dev
Ordination (statistics) 1VBAYZYXP0
| URI | m2://inv/1VBAYZYXP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FOPQ, Ordination (statistics) (definition)
History
- 2026-11-02: add by m2/dev
M-separation 1VBDZB57Y8
| URI | m2://inv/1VBDZB57Y8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#X6HI, M-separation (definition)
History
- 2026-11-02: add by m2/dev
StatsDirect 1VBGN4CMNQ
| URI | m2://inv/1VBGN4CMNQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia StatsDirect, StatsDirect (definition). Also Wikidata Q17048686
History
- 2026-11-02: add by m2/dev
1VBHGNDGX1 1VBHGNDGX1
| URI | m2://inv/1VBHGNDGX1 |
|---|---|
| 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 2306.08237#47DK (statement). In E22A2MFR4Y/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.6
1VBNE47RCT 1VBNE47RCT
| URI | m2://inv/1VBNE47RCT |
|---|---|
| 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 1011.5443#PW96 (statement). In VQ0K2GV62A/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.3.5
Alexandrov maximum principle 1VBX97M0P1
| URI | m2://inv/1VBX97M0P1 |
|---|---|
| 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.17519#9836, Alexandrov maximum principle (statement). In H2DNTQ5MKV/e1, proposition 3.12
History
- 2026-10-28: add by m2/v0.4.2
Jorge Urrutia Galicia 1VBZA2ST9S
| URI | m2://inv/1VBZA2ST9S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jorge Urrutia Galicia, Jorge Urrutia Galicia (topic). Also Wikidata Q20006950
History
- 2026-11-02: add by m2/dev
N-skeleton 1VCEHQPVNG
| URI | m2://inv/1VCEHQPVNG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | n-skeleton VBM8ZYTT2X |
Mentions
- wikidata: Wikidata Q5154570, N-skeleton (unknown). Also MathWorld Skeleton
- wikipedia: Wikipedia N-skeleton, N-skeleton (definition). Also Wikidata Q5154570
History
- 2026-10-26: add by m2/dev
Properties of the scaled pair 1VCPKPYAQ2
| URI | m2://inv/1VCPKPYAQ2 |
|---|---|
| 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.01843#UHE3, Properties of the scaled pair (statement). In EDG9ZFDSWK/e1, proposition B.6
History
- 2026-10-29: add by m2/v0.4.12
Data Encryption Standard 1VCQQDK5J7
| URI | m2://inv/1VCQQDK5J7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data Encryption Standard, Data Encryption Standard (definition). Also Wikidata Q135035
History
- 2026-11-02: add by m2/dev
Full $D^L$ and $D^Q$ spectra 1VCTSC1RQ9
| URI | m2://inv/1VCTSC1RQ9 |
|---|---|
| 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.13429#N1TO, Full $D^L$ and $D^Q$ spectra (statement). In B2VB5T5WQD/e1, corollary 3.3
History
- 2026-10-28: add by m2/v0.4.2
Non-uniform rational B-spline 1VCTSKFQDW
| URI | m2://inv/1VCTSKFQDW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#GFDA, Non-uniform rational B-spline (definition)
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#2CH3, Non-uniform rational B-spline (definition)
History
- 2026-11-02: add by m2/dev
1VCWJ6NNWB 1VCWJ6NNWB
| URI | m2://inv/1VCWJ6NNWB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1209.5343#WG3I (statement). In 4SPYEGKZ8J/e1, proposition 2.12
History
- 2026-10-27: add by m2/v0.3.5
One-sided energy propagation 1VCXFR978F
| URI | m2://inv/1VCXFR978F |
|---|---|
| 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.28937#V0YU, One-sided energy propagation (statement)
History
- 2026-11-01: add by m2/v0.6.15
1VCZ0CQQ98 1VCZ0CQQ98
| URI | m2://inv/1VCZ0CQQ98 |
|---|---|
| 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.20488#UQ2W (statement)
History
- 2026-11-02: add by m2/v0.6.18
1VD0HZST98 1VD0HZST98
| URI | m2://inv/1VD0HZST98 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/semantic-notions.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 19.15
History
- 2026-11-01: add by m2/v0.6.13
Jordan–Dedekind lattice 1VDCH1Q620
| URI | m2://inv/1VDCH1Q620 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Richard Dedekind#ASNB, Jordan–Dedekind lattice (definition)
History
- 2026-11-02: add by m2/dev
1VDCPEHW9H 1VDCPEHW9H
| URI | m2://inv/1VDCPEHW9H |
|---|---|
| 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 math/0411039#SDZJ (statement). In ZTBDXSKFFW/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
Generalizations 1VDQ30ZCW8
| URI | m2://inv/1VDQ30ZCW8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection-valued measure#JK9V, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Binary tiling 1VDQ7HNPJD
| URI | m2://inv/1VDQ7HNPJD |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary tiling, Binary tiling (object). Also Wikidata Q48816008
History
- 2026-11-02: add by m2/dev
Regression dilution 1VDQJD2QWC
| URI | m2://inv/1VDQJD2QWC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regression dilution, Regression dilution (definition). Also Wikidata Q7309537
History
- 2026-11-02: add by m2/dev
1VE16P7P3T 1VE16P7P3T
| URI | m2://inv/1VE16P7P3T |
|---|---|
| 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 2104.00162#8MU8 (definition). In HVGT9D84WV/e1, definition 1.4
History
- 2026-10-27: add by m2/v0.3.5
1VE228KWJH 1VE228KWJH
| URI | m2://inv/1VE228KWJH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/basic.tex#corordtransitiveord (statement). In PKGMM3P5QY, cor, section 72.2
History
- 2026-11-01: add by m2/v0.6.13
Isomorphism conjectures in K-theory 1VE9RPQEFW
| URI | m2://inv/1VE9RPQEFW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unifying theories in mathematics#GA1O, Isomorphism conjectures in K-theory (statement)
History
- 2026-11-02: add by m2/dev
Polygon-circle graph 1VEQ0PBQK6
| URI | m2://inv/1VEQ0PBQK6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polygon-circle graph, Polygon-circle graph (definition). Also Wikidata Q7226422
History
- 2026-11-02: add by m2/dev
1VERS9EQSD 1VERS9EQSD
| URI | m2://inv/1VERS9EQSD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19088#7WRC (definition). In 90QTB4CC31/e1, definition 4.11
History
- 2026-10-28: add by m2/v0.4.2
Applications 1VERSS3DWQ
| URI | m2://inv/1VERSS3DWQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shapley–Shubik power index#4LX8, Applications (example)
History
- 2026-11-02: add by m2/dev
Bullet-riddled square 1VEWVPCZ8Q
| URI | m2://inv/1VEWVPCZ8Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#QIAR, Bullet-riddled square (unknown)
History
- 2026-11-02: add by m2/dev
1VEYTGFSJ8 1VEYTGFSJ8
| URI | m2://inv/1VEYTGFSJ8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_distributions.ptx#exa_genfunction_multisets (example). In QKM9DD2H56, example, section 8.2
History
- 2026-11-01: add by m2/v0.6.13
Deterministic pass length 1VF9RD5R6G
| URI | m2://inv/1VF9RD5R6G |
|---|---|
| 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.12713#N919, Deterministic pass length (statement). In F14A5HX20Q/e1, theorem D.4.1
History
- 2026-10-28: add by m2/v0.4.2
1VFB98CBY0 1VFB98CBY0
| URI | m2://inv/1VFB98CBY0 |
|---|---|
| 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.30961#09JV (statement). In FFG2DDWEVB/e1, theorem 5.4
History
- 2026-10-31: add by m2/v0.5.6
1VFK0EJMN0 1VFK0EJMN0
| URI | m2://inv/1VFK0EJMN0 |
|---|---|
| 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.29531#SW9J (statement)
History
- 2026-11-01: add by m2/v0.6.15
1VFP9PWBVC 1VFP9PWBVC
| URI | m2://inv/1VFP9PWBVC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.12486#3DKO (statement). In CWQ2YHT24E/e1, theorem 6.7
History
- 2026-10-28: add by m2/v0.4.2
Haar moment bounds 1VFQC15GT6
| URI | m2://inv/1VFQC15GT6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39992#WO75, Haar moment bounds (statement). In WF64CGYVK1/e1, lemma S1
History
- 2026-10-30: add by m2/v0.4.12
Wannier function 1VFYAM7DJZ
| URI | m2://inv/1VFYAM7DJZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wannier function, Wannier function (definition). Also Wikidata Q1152058
History
- 2026-11-02: add by m2/dev
Examples 1VG6DNVAQX
| URI | m2://inv/1VG6DNVAQX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet distance#4K0S, Examples (example)
History
- 2026-11-02: add by m2/dev
1VG71KE9KT 1VG71KE9KT
| URI | m2://inv/1VG71KE9KT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 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.04870#W9DC (definition). In X765ZXXVC3/e1, definition 6.5
History
- 2026-10-29: add by m2/v0.4.12
Prime ideals in a cyclotomic field 1VG74T390A
| URI | m2://inv/1VG74T390A |
|---|---|
| Kind | example |
| 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.17137#ZB21, Prime ideals in a cyclotomic field (example). In GKHSE92M91/e1, example 20
History
- 2026-10-28: add by m2/v0.4.2
Hedberg 1VG7BR1S4A
| URI | m2://inv/1VG7BR1S4A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#thm:hedberg, Hedberg (statement). In N54F33XE07, thm, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Welch's t-test 1VGC7SETA5
| URI | m2://inv/1VGC7SETA5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Welch's t-test, Welch's t-test (definition). Also Wikidata Q716189
History
- 2026-11-02: add by m2/dev
1VGCFVP361 1VGCFVP361
| URI | m2://inv/1VGCFVP361 |
|---|---|
| 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.03292#UBJW (statement). In SN2PBM95HT/e1, lemma 2.9
History
- 2026-10-29: add by m2/v0.4.12
Robert Kozma 1VGS42X3AD
| URI | m2://inv/1VGS42X3AD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Kozma (professor), Robert Kozma (topic). Also Wikidata Q7346458
History
- 2026-11-02: add by m2/dev
Cellularity 1VGYPZ8G0R
| URI | m2://inv/1VGYPZ8G0R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardinal function#BFI5, Cellularity (unknown)
History
- 2026-11-02: add by m2/dev
1VH4ZXR8J2 1VH4ZXR8J2
| URI | m2://inv/1VH4ZXR8J2 |
|---|---|
| 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.30933#3XI7 (statement). In KXWYE4SJY3/e1, theorem 4
- arxiv: arXiv 2610.20192#H733 (statement). In QBD4R4RPFE/e1, proposition 1.1
- arxiv: arXiv 2610.20192#HDWY (statement). In QBD4R4RPFE/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.2
- 2026-10-31: merge by m2/v0.5.6
1VH9NTHP0S 1VH9NTHP0S
| URI | m2://inv/1VH9NTHP0S |
|---|---|
| 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.16203#6GQ9 (statement). In 43TBS9P2PX/e1, lemma 2.11
History
- 2026-10-28: add by m2/v0.4.2
1VHNSKRX6B 1VHNSKRX6B
| URI | m2://inv/1VHNSKRX6B |
|---|---|
| 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.28898#5RD9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
1VHPNMRW9C 1VHPNMRW9C
| URI | m2://inv/1VHPNMRW9C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#31L2 (statement). In CGA36VE1C5/e1, corollary 2.1.1
History
- 2026-10-27: add by m2/v0.3.6
Buckling 1VHRNCAADS
| URI | m2://inv/1VHRNCAADS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formulae involving π#PQOX, Buckling (definition)
History
- 2026-11-02: add by m2/dev
Alfred Korzybski 1VJ5CD1MT9
| URI | m2://inv/1VJ5CD1MT9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfred Korzybski, Alfred Korzybski (topic). Also Wikidata Q333402
History
- 2026-11-02: add by m2/dev
Cauchy horizon 1VJ9PG0ADM
| URI | m2://inv/1VJ9PG0ADM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#ENHG, Cauchy horizon (unknown)
- wikipedia: Wikipedia List of mathematical topics in relativity#7CQM, Cauchy horizon (unknown)
History
- 2026-11-02: add by m2/dev
1VJCX2FD34 1VJCX2FD34
| URI | m2://inv/1VJCX2FD34 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/orders.tex#ex-1 (example). In PKGMM3P5QY, ex, section 80.4
History
- 2026-11-01: add by m2/v0.6.13
Examples 1VJDY6EA32
| URI | m2://inv/1VJDY6EA32 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective cover#FRN0, Examples (example)
History
- 2026-11-02: add by m2/dev
Theorem 1VJHHCBD99
| URI | m2://inv/1VJHHCBD99 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Stokes theorem#3BX7, Theorem (statement)
History
- 2026-11-02: add by m2/dev
1VJKGP3SKE 1VJKGP3SKE
| URI | m2://inv/1VJKGP3SKE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13883#YKXA (statement). In F3PQ8P7R2B/e1, lemma 14
History
- 2026-10-28: add by m2/v0.4.2
Integral Equations and Operator Theory 1VJNMSJ8W1
| URI | m2://inv/1VJNMSJ8W1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral Equations and Operator Theory, Integral Equations and Operator Theory (definition). Also Wikidata Q6042651
History
- 2026-11-02: add by m2/dev
The ultrafilter lemma 1VJPMZSZ2A
| URI | m2://inv/1VJPMZSZ2A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean prime ideal theorem#AR0Q, The ultrafilter lemma (statement)
History
- 2026-11-02: add by m2/dev
International Mathematical Modeling Challenge 1VJQ6JWDNR
| URI | m2://inv/1VJQ6JWDNR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Mathematical Modeling Challenge, International Mathematical Modeling Challenge (definition). Also Wikidata Q25304236
History
- 2026-11-02: add by m2/dev
Example 1VJQ9XS49F
| URI | m2://inv/1VJQ9XS49F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nihilist cipher#V7YO, Example (example)
History
- 2026-11-02: add by m2/dev
1VJW16FTZ3 1VJW16FTZ3
| URI | m2://inv/1VJW16FTZ3 |
|---|---|
| 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 2207.07461#CN2T (statement). In GAG532VMPF/e1, corollary 3.4.11
History
- 2026-10-27: add by m2/v0.3.5
1VJWBYSVW7 1VJWBYSVW7
| URI | m2://inv/1VJWBYSVW7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-5.xml#definition-1 (definition). In 649HGZKE96, definition, section 2.5.2
History
- 2026-11-01: add by m2/v0.6.13
Existence and uniqueness 1VJWEPNH68
| URI | m2://inv/1VJWEPNH68 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ricci flow#W594, Existence and uniqueness (statement)
History
- 2026-11-02: add by m2/dev
Quaternion 1VJZJSMFQT
| URI | m2://inv/1VJZJSMFQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#U9LK, Quaternion (definition)
History
- 2026-11-02: add by m2/dev
Riemann series theorem 1VKD86MZEN
| URI | m2://inv/1VKD86MZEN |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 40-XX |
| Sources | 4 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Riemann rearrangement theorem 0E7VBYGFF7 |
Mentions
- mathlib_1000: mathlib_1000 Q1752516, Riemann series theorem (statement). Also Wikidata Q1752516
- thousand_plus: thousand_plus Q1752516, Riemann series theorem (statement). Also Wikidata Q1752516, Wikipedia Riemann series theorem
- wikidata: Wikidata Q1752516, Riemann series theorem (statement). Also MathWorld RiemannSeriesTheorem
- wikipedia: Wikipedia Riemann series theorem, Riemann series theorem (statement). Also Wikidata Q1752516
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Quotient associative algebra 1VKN3YAQND
| URI | m2://inv/1VKN3YAQND |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient ring#S99H, Quotient associative algebra (unknown)
History
- 2026-11-02: add by m2/dev
latus rectum 1VKP8D4MVP
| URI | m2://inv/1VKP8D4MVP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10316509, latus rectum (concept). Also MathWorld LatusRectum
History
- 2026-10-26: add by m2/dev
1VKV741TAZ 1VKV741TAZ
| URI | m2://inv/1VKV741TAZ |
|---|---|
| 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#L5CN (statement). In N4M6B8EMCW/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
Uniform extension 1VKWQB0EMF
| URI | m2://inv/1VKWQB0EMF |
|---|---|
| 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.19908#GDGW, Uniform extension (statement). In AS5GND6D32/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
Examples 1VKZY07TYV
| URI | m2://inv/1VKZY07TYV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Authenticator#U6ID, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples 1VM8Z77C1G
| URI | m2://inv/1VM8Z77C1G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completeness (statistics)#6PA8, Examples (example)
History
- 2026-11-02: add by m2/dev
1VMQG1B027 1VMQG1B027
| URI | m2://inv/1VMQG1B027 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26450#TR60 (definition)
History
- 2026-11-01: add by m2/v0.6.15
1VN4P9ZK8W 1VN4P9ZK8W
| URI | m2://inv/1VN4P9ZK8W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-intro.tex#exercise-6 (exercise). In E9HS8K3A52, exercise, section 6.8.5
History
- 2026-11-01: add by m2/v0.6.13
$\aleph_0$ is regular 1VN5YRMMTC
| URI | m2://inv/1VN5YRMMTC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/cardinal.tex#example-4, $\aleph_0$ is regular (example). In RZP28ERRZV, example, section 89.6
History
- 2026-11-01: add by m2/v0.6.13
Uniform 7-polytope 1VNP5AB1PA
| URI | m2://inv/1VNP5AB1PA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform 7-polytope, Uniform 7-polytope (definition). Also Wikidata Q7885002
History
- 2026-11-02: add by m2/dev
Weighted Paley--Zygmund bound for macrostep paths 1VNPNKP72C
| URI | m2://inv/1VNPNKP72C |
|---|---|
| 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#K148, Weighted Paley--Zygmund bound for macrostep paths (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples 1VP1P5PQ2V
| URI | m2://inv/1VP1P5PQ2V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie algebra#C8JI, Examples (example)
History
- 2026-11-02: add by m2/dev
1VPC7YXRFD 1VPC7YXRFD
| URI | m2://inv/1VPC7YXRFD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18329#D4JS (definition). In 3VWEPEFHN3/e1, definition 3.14
History
- 2026-10-28: add by m2/v0.4.2
Face diagonal 1VPD3CYPPQ
| URI | m2://inv/1VPD3CYPPQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Face diagonal, Face diagonal (definition). Also Wikidata Q386387
History
- 2026-11-02: add by m2/dev
Cylindrical-data uniqueness 1VPE916NWV
| URI | m2://inv/1VPE916NWV |
|---|---|
| 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.17519#JA48, Cylindrical-data uniqueness (statement). In H2DNTQ5MKV/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
1VPEA2FV7B 1VPEA2FV7B
| URI | m2://inv/1VPEA2FV7B |
|---|---|
| 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 1809.06512#8Q6M (statement). In RY2X22P6XW/e1, corollary 10
History
- 2026-10-27: add by m2/v0.3.5
Frequency domain 1VPJETV0NC
| URI | m2://inv/1VPJETV0NC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frequency domain, Frequency domain (definition). Also Wikidata Q786423
History
- 2026-11-02: add by m2/dev
Construction 1VPJSHMCBN
| URI | m2://inv/1VPJSHMCBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Octadecagon#X23X, Construction (definition)
History
- 2026-11-02: add by m2/dev
Grandview 1VPPN0AA5D
| URI | m2://inv/1VPPN0AA5D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#G1DD, Grandview (unknown)
History
- 2026-11-02: add by m2/dev
1VQCSX5T84 1VQCSX5T84
| URI | m2://inv/1VQCSX5T84 |
|---|---|
| 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#4N44 (statement). In 8H0KHK7AMN/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
Properties 1VQHR34GT2
| URI | m2://inv/1VQHR34GT2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular extension#UEDX, Properties (statement)
History
- 2026-11-02: add by m2/dev
Carrowmore, County Cavan 1VQNS675R2
| URI | m2://inv/1VQNS675R2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#1I8E, Carrowmore, County Cavan (unknown)
History
- 2026-11-02: add by m2/dev
Mixing time 1VQPQRYM06
| URI | m2://inv/1VQPQRYM06 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34731#XQ83, Mixing time (definition). In MH54AS0Y61/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
Precision after satisfying the diagnostics 1VQTN3AGG7
| URI | m2://inv/1VQTN3AGG7 |
|---|---|
| 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.20020#ZG8H, Precision after satisfying the diagnostics (statement). In TGYC3SE8XM/e1, corollary 7
History
- 2026-10-27: add by m2/v0.4.2
H. J. Sussmann 1VQVYD1HX1
| URI | m2://inv/1VQVYD1HX1 |
|---|---|
| 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#27NO, H. J. Sussmann (unknown)
History
- 2026-11-02: add by m2/dev
1VQXDG2PXR 1VQXDG2PXR
| URI | m2://inv/1VQXDG2PXR |
|---|---|
| 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.03628#YFAQ (statement). In P8KT6JV9N1/e1, fact 2.6
History
- 2026-10-29: add by m2/v0.4.12
1VQY0A75JM 1VQY0A75JM
| URI | m2://inv/1VQY0A75JM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/dedekind.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 10.5
History
- 2026-11-01: add by m2/v0.6.13
Bayesian hierarchical modeling 1VQYT8ZY5J
| URI | m2://inv/1VQYT8ZY5J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian hierarchical modeling, Bayesian hierarchical modeling (definition). Also Wikidata Q17100952
History
- 2026-11-02: add by m2/dev
Shrikhande, S. S. 1VQZ44MGP3
| URI | m2://inv/1VQZ44MGP3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#8POU, Shrikhande, S. S. (topic)
History
- 2026-11-02: add by m2/dev
1VQZDK16JV 1VQZDK16JV
| URI | m2://inv/1VQZDK16JV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.28774#QUE6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
quasi-isomorphism 1VQZS6RMS4
| URI | m2://inv/1VQZS6RMS4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Quasi-isomorphism C9JEC2WQKV |
Mentions
- wikidata: Wikidata Q3413378, quasi-isomorphism (unknown). Also nLab quasi-isomorphism
- wikipedia: Wikipedia Quasi-isomorphism, Quasi-isomorphism (definition). Also Wikidata Q3413378
History
- 2026-10-26: add by m2/dev
1VR452HD58 1VR452HD58
| URI | m2://inv/1VR452HD58 |
|---|---|
| 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.34339#PJQK (statement). In 9WFSTGMQ4E/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
1VR7QBR9B1 1VR7QBR9B1
| URI | m2://inv/1VR7QBR9B1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.03746#FW62 (statement). In 4E1D0NS89S/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.12
abelianization 1VRAZ8FKZH
| URI | m2://inv/1VRAZ8FKZH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Group theory > abelianization, abelianization (unknown). Also Mathlib Abelianization
History
- 2026-10-26: add by m2/dev
separating vertex 1VRH2DCF41
| URI | m2://inv/1VRH2DCF41 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#3ILA, separating vertex (definition)
History
- 2026-11-02: add by m2/dev
G. Phillips Bevan 1VRHDMYJH1
| URI | m2://inv/1VRHDMYJH1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia G. Phillips Bevan, G. Phillips Bevan (topic). Also Wikidata Q15994452
History
- 2026-11-02: add by m2/dev
1VRM41M1AQ 1VRM41M1AQ
| URI | m2://inv/1VRM41M1AQ |
|---|---|
| Kind | problem |
| 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.00934#GEN7 (problem). In SHCQDPCF2J/e1, problem 1.2
History
- 2026-10-29: add by m2/v0.4.12
1VRNMDP31N 1VRNMDP31N
| URI | m2://inv/1VRNMDP31N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13260#X1C6 (statement). In ZBQX9341RV/e1, theorem 6.2
History
- 2026-10-28: add by m2/v0.4.2
Cross-cap 1VRV0RKB37
| URI | m2://inv/1VRV0RKB37 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1788284, Cross-cap (unknown). Also MathWorld Cross-Cap
History
- 2026-10-26: add by m2/dev
1VRV5QBEKB 1VRV5QBEKB
| URI | m2://inv/1VRV5QBEKB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.14022#1MJJ (statement). In NSYR6W27FP/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.3.5
1VRY1MC3MT 1VRY1MC3MT
| URI | m2://inv/1VRY1MC3MT |
|---|---|
| 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 0805.4273#5QYS (statement). In ZX3NV58FRX/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
Symmetrization methods 1VRZHHP8EE
| URI | m2://inv/1VRZHHP8EE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetrization methods, Symmetrization methods (definition). Also Wikidata Q25304378
History
- 2026-11-02: add by m2/dev
LIBSVM 1VS0W8PPYF
| URI | m2://inv/1VS0W8PPYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LIBSVM, LIBSVM (definition). Also Wikidata Q17064545
History
- 2026-11-02: add by m2/dev
George Murray Burnett 1VS9Z77SC2
| URI | m2://inv/1VS9Z77SC2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Murray Burnett, George Murray Burnett (topic). Also Wikidata Q20638873
History
- 2026-11-02: add by m2/dev
1VSA9HKNK0 1VSA9HKNK0
| URI | m2://inv/1VSA9HKNK0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20531#RGJZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
1VSCD9GEAY 1VSCD9GEAY
| URI | m2://inv/1VSCD9GEAY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.02672#Z29A (statement). In ETRT1R1CQ8/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.0
dual space 1VSCT03XH9
| URI | m2://inv/1VSCT03XH9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#9RER, dual space (definition)
History
- 2026-11-02: add by m2/dev
De Gua's theorem 1VSH4478V6
| URI | m2://inv/1VSH4478V6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#6SUM, De Gua's theorem (statement)
History
- 2026-11-02: add by m2/dev
Limiting absorption principle 1VSRHGDJ1Q
| URI | m2://inv/1VSRHGDJ1Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limiting absorption principle, Limiting absorption principle (statement). Also Wikidata Q65051463
History
- 2026-11-02: add by m2/dev
1VST7X9JCF 1VST7X9JCF
| URI | m2://inv/1VST7X9JCF |
|---|---|
| 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.22847#XBBO (statement)
History
- 2026-11-02: add by m2/v0.6.17
superfactorial 1VSTMQZ6FK
| URI | m2://inv/1VSTMQZ6FK |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18449138, superfactorial (object). Also OEIS A000178
History
- 2026-10-26: add by m2/dev
1VSXJ9KTKX 1VSXJ9KTKX
| URI | m2://inv/1VSXJ9KTKX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02686#IYBL (statement). In 5QWPNXQ32J/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
1VT1WGWD6J 1VT1WGWD6J
| URI | m2://inv/1VT1WGWD6J |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.13523#CPM4 (example). In DDA62XQTWW/e1, example 2.16
History
- 2026-10-27: add by m2/v0.3.5
1VT2PQF5J0 1VT2PQF5J0
| URI | m2://inv/1VT2PQF5J0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-3.xml#definition-4 (definition). In 649HGZKE96, definition, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
1VT7F58NKR 1VT7F58NKR
| URI | m2://inv/1VT7F58NKR |
|---|---|
| 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.16785#37UQ (statement). In SXQQZ2MYKV/e1, lemma 11
History
- 2026-10-28: add by m2/v0.4.2
outerplanar graph 1VT9MF3S1C
| URI | m2://inv/1VT9MF3S1C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115604, outerplanar graph (unknown). Also MathWorld OuterplanarGraph
- wikipedia: Wikipedia Outerplanar graph, Outerplanar graph (definition). Also Wikidata Q3115604
History
- 2026-10-26: add by m2/dev
Caroline Colijn 1VTB6HD226
| URI | m2://inv/1VTB6HD226 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caroline Colijn, Caroline Colijn (topic). Also Wikidata Q41044022
History
- 2026-11-02: add by m2/dev
1VTHGWRYGG 1VTHGWRYGG
| URI | m2://inv/1VTHGWRYGG |
|---|---|
| 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 2203.10220#UOQZ (statement). In FX2SD1GFHT/e1, corollary 3
History
- 2026-10-27: add by m2/v0.3.5
1VTHKA8A90 1VTHKA8A90
| URI | m2://inv/1VTHKA8A90 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00019#2RLK (statement). In VJ09B3HRHQ/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
1VTJZ2RBSC 1VTJZ2RBSC
| URI | m2://inv/1VTJZ2RBSC |
|---|---|
| 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.02213#S6IQ (statement). In 43B5W08GMR/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
counting measure 1VTPEDF1VS
| URI | m2://inv/1VTPEDF1VS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Measure theory > counting measure, counting measure (unknown). Also Mathlib MeasureTheory.Measure.count
History
- 2026-10-26: add by m2/dev
Irena Swanson 1VTR46XH5J
| URI | m2://inv/1VTR46XH5J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irena Swanson, Irena Swanson (topic). Also Wikidata Q58416624
History
- 2026-11-02: add by m2/dev
Generalizations 1VTTR6R630
| URI | m2://inv/1VTTR6R630 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie conformal algebra#GPUG, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
1VTV2MY1A9 1VTV2MY1A9
| URI | m2://inv/1VTV2MY1A9 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#2837 (unknown). In QNBFHFZ3H0/e1, unknown 16
History
- 2026-10-28: add by m2/v0.4.2
1VTVZG6GQS 1VTVZG6GQS
| URI | m2://inv/1VTVZG6GQS |
|---|---|
| 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.32906#8RX5 (statement). In R589MXXHX4/e1, corollary 4.3
History
- 2026-10-31: add by m2/v0.5.6
1VTYCFYW56 1VTYCFYW56
| URI | m2://inv/1VTYCFYW56 |
|---|---|
| Kind | definition |
| 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.25111#LIPX (definition)
History
- 2026-11-01: add by m2/v0.6.15
1VV1FP359T 1VV1FP359T
| URI | m2://inv/1VV1FP359T |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28893#6C4L (unknown)
History
- 2026-11-01: add by m2/v0.6.15
Symbolic-numeric computation 1VV2PYSC1Y
| URI | m2://inv/1VV2PYSC1Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#IXVF, Symbolic-numeric computation (unknown)
History
- 2026-11-02: add by m2/dev
1VV6BYWVX3 1VV6BYWVX3
| URI | m2://inv/1VV6BYWVX3 |
|---|---|
| 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.06899#C6L6 (statement). In 5Z2K9JGFSS/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
An example 1VV95NBT5A
| URI | m2://inv/1VV95NBT5A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cerf theory#NHTZ, An example (example)
History
- 2026-11-02: add by m2/dev
1VV9BEXAA6 1VV9BEXAA6
| URI | m2://inv/1VV9BEXAA6 |
|---|---|
| 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 2004.02766#HP0L (statement). In HY652RA1NJ/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
Zomma 1VVPRDKGC9
| URI | m2://inv/1VVPRDKGC9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greeks (finance)#QFVE, Zomma (unknown)
History
- 2026-11-02: add by m2/dev
1VVSB6AYRM 1VVSB6AYRM
| URI | m2://inv/1VVSB6AYRM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.01567#YLG2 (definition). In GB0V23Q6C5/e1, definition 6.4
History
- 2026-10-27: add by m2/v0.3.5
Fisher's fundamental theorem of natural selection 1VW2V216AK
| URI | m2://inv/1VW2V216AK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#7LR1, Fisher's fundamental theorem of natural selection (statement)
History
- 2026-11-02: add by m2/dev
NordVPN 1VWC1RG7E0
| URI | m2://inv/1VWC1RG7E0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NordVPN, NordVPN (definition). Also Wikidata Q48816099
History
- 2026-11-02: add by m2/dev
Notations 1VWHABN9VF
| URI | m2://inv/1VWHABN9VF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex polytope#QC22, Notations (definition)
History
- 2026-11-02: add by m2/dev
Properties 1VX04DGB9N
| URI | m2://inv/1VX04DGB9N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snub dodecahedron#OQAM, Properties (statement)
History
- 2026-11-02: add by m2/dev
Tangential and normal components 1VX063N40A
| URI | m2://inv/1VX063N40A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tangential and normal components, Tangential and normal components (definition). Also Wikidata Q7682878
History
- 2026-11-02: add by m2/dev
the smallest open case of Ledet's conjecture 1VX5NCB078
| URI | m2://inv/1VX5NCB078 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09298#2HIJ, the smallest open case of Ledet's conjecture (problem). In 1SPQ4J3AWY/e1, problem 9.1
History
- 2026-10-29: add by m2/v0.4.10
Nathaniel Bowditch 1VXB0Z3MSH
| URI | m2://inv/1VXB0Z3MSH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#S8XO, Nathaniel Bowditch (topic)
History
- 2026-11-02: add by m2/dev
1VXGGKACF6 1VXGGKACF6
| URI | m2://inv/1VXGGKACF6 |
|---|---|
| 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.05784#0L7I (statement). In 6NVP3YRWVA/e1, theorem 2.10
History
- 2026-10-29: add by m2/v0.4.10
1VXHTNQKDH 1VXHTNQKDH
| URI | m2://inv/1VXHTNQKDH |
|---|---|
| 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.37901#W18I (statement). In 363WNMSDMA/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
Population variance 1VXK9GDJMY
| URI | m2://inv/1VXK9GDJMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#V9ZV, Population variance (definition)
History
- 2026-11-02: add by m2/dev
Braids, Links, and Mapping Class Groups 1VXV1BZANC
| URI | m2://inv/1VXV1BZANC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Braids, Links, and Mapping Class Groups, Braids, Links, and Mapping Class Groups (definition). Also Wikidata Q104902957
History
- 2026-11-02: add by m2/dev
1VXV8DD3ZM 1VXV8DD3ZM
| URI | m2://inv/1VXV8DD3ZM |
|---|---|
| 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.14323#XU71 (statement). In VAWEP32BEX/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
James Dugundji 1VXY3Y7V9B
| URI | m2://inv/1VXY3Y7V9B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8MQX, James Dugundji (topic)
History
- 2026-11-02: add by m2/dev
1VY157B47C 1VY157B47C
| URI | m2://inv/1VY157B47C |
|---|---|
| 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.25524#KAUL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lou Spanos 1VY3VX5DT3
| URI | m2://inv/1VY3VX5DT3 |
|---|---|
| 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#5NIN, Lou Spanos (unknown)
History
- 2026-11-02: add by m2/dev
1VYA83XHQE 1VYA83XHQE
| URI | m2://inv/1VYA83XHQE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#ques-5 (exercise). In RZP28ERRZV, ques, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
1VYCW5HS7J 1VYCW5HS7J
| URI | m2://inv/1VYCW5HS7J |
|---|---|
| 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.28306#5ZAC (statement)
History
- 2026-11-01: add by m2/v0.6.15
1VYD7AT5EB 1VYD7AT5EB
| URI | m2://inv/1VYD7AT5EB |
|---|---|
| Kind | problem |
| 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.07546#SDUQ (problem). In H9YE46CGFN/e1, problem 1
History
- 2026-10-29: add by m2/v0.4.10
1VYE39WBG4 1VYE39WBG4
| URI | m2://inv/1VYE39WBG4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19088#X7HL (statement). In 90QTB4CC31/e1, lemma 4.10
History
- 2026-10-28: add by m2/v0.4.2
One-coordinate initialization 1VYNH13EQA
| URI | m2://inv/1VYNH13EQA |
|---|---|
| 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#L1FY, One-coordinate initialization (statement). In 65TJENWK7X/e1, lemma 35
History
- 2026-10-29: add by m2/v0.4.10
1VYQ4QBS3V 1VYQ4QBS3V
| URI | m2://inv/1VYQ4QBS3V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.26619#KEAG (statement)
History
- 2026-11-01: add by m2/v0.6.15
1VYQNM74GX 1VYQNM74GX
| URI | m2://inv/1VYQNM74GX |
|---|---|
| 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 1809.06512#5Q6T (statement). In RY2X22P6XW/e1, corollary 44
History
- 2026-10-27: add by m2/v0.3.5
1VYRF0HH0W 1VYRF0HH0W
| URI | m2://inv/1VYRF0HH0W |
|---|---|
| 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.20134#JUJ8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
1VYTPVF92S 1VYTPVF92S
| URI | m2://inv/1VYTPVF92S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38206#5SOL (statement). In F71MS1F637/e1, proposition 3.19
History
- 2026-10-30: add by m2/v0.4.12
Generalizations 1VYVBPGBBX
| URI | m2://inv/1VYVBPGBBX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kronecker delta#4QZ5, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
1VYY657A9D 1VYY657A9D
| URI | m2://inv/1VYY657A9D |
|---|---|
| Kind | definition |
| 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#T58P (definition). In 4F8QRV05BV/e1, definition 2.16
History
- 2026-10-30: add by m2/v0.4.12
Castigliano's second theorem – for displacements in a linearly elastic structure 1VZCJ0SZ5Q
| URI | m2://inv/1VZCJ0SZ5Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Castigliano's method#WOAG, Castigliano's second theorem – for displacements in a linearly elastic structure (statement)
History
- 2026-11-02: add by m2/dev
Chords suffice 1VZFQAK1MB
| URI | m2://inv/1VZFQAK1MB |
|---|---|
| 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#J86D, Chords suffice (statement)
History
- 2026-11-02: add by m2/v0.6.17
1VZJ0BK74H 1VZJ0BK74H
| URI | m2://inv/1VZJ0BK74H |
|---|---|
| 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.27414#6BP6 (example)
History
- 2026-11-01: add by m2/v0.6.15
1VZQCH2Z9F 1VZQCH2Z9F
| URI | m2://inv/1VZQCH2Z9F |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/excision.tex#proof-3 (proof). In RZP28ERRZV, proof, section 53.5
History
- 2026-11-01: add by m2/v0.6.13
1VZR6S3BFR 1VZR6S3BFR
| URI | m2://inv/1VZR6S3BFR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19010#D2Y1 (statement). In 6315NJBYJM/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
Grammar induction 1VZTJD0856
| URI | m2://inv/1VZTJD0856 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#P32K, Grammar induction (unknown)
History
- 2026-11-02: add by m2/dev
Solomon Buber 1VZWP24AH4
| URI | m2://inv/1VZWP24AH4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#F9KZ, Solomon Buber (unknown)
History
- 2026-11-02: add by m2/dev
Strong Carmichael number 1VZZFZHZCE
| URI | m2://inv/1VZZFZHZCE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong pseudoprime#E634, Strong Carmichael number (unknown)
History
- 2026-11-02: add by m2/dev