Inventory rows V7
The cards of the rows of the inventory whose ids start with V7. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Nate Ackerman V702A07CR1
| URI | m2://inv/V702A07CR1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nate Ackerman, Nate Ackerman (topic). Also Wikidata Q1966677
History
- 2026-11-02: add by m2/dev
V70NM74DVH V70NM74DVH
| URI | m2://inv/V70NM74DVH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37897#8UKQ (statement). In RBQ5FNCVNZ/e1, lemma 7.12
History
- 2026-10-30: add by m2/v0.4.12
Regularity of the paths and their lifts V70VWDX4JX
| URI | m2://inv/V70VWDX4JX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14065#MZHF, Regularity of the paths and their lifts (statement). In PV7V3X78JH/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
topological group V70W1V8NY7
| URI | m2://inv/V70W1V8NY7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 22Axx |
| Sources | 2 |
| Outcome | open |
| Node | Topological group 92700QAB5Y |
Mentions
- wikidata: Wikidata Q1046291, topological group (topic). Also EoM Topological_group, MathWorld TopologicalGroup, nLab topological group, ProofWiki Definition:Topological_Group
- wikipedia: Wikipedia Topological group, Topological group (definition). Also Wikidata Q1046291
History
- 2026-10-26: add by m2/dev
V70XTFJ1C3 V70XTFJ1C3
| URI | m2://inv/V70XTFJ1C3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#3OKH (statement). In X3RFXWN6FW/e1, corollary 3.9
History
- 2026-10-27: add by m2/v0.3.6
V712FP4XNT V712FP4XNT
| URI | m2://inv/V712FP4XNT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13908#S2DX (statement). In 9C684206F0/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Dan Eldon V7170DP6T4
| URI | m2://inv/V7170DP6T4 |
|---|---|
| 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#981T, Dan Eldon (unknown)
History
- 2026-11-02: add by m2/dev
Joan Bagaria V717942EHE
| URI | m2://inv/V717942EHE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3MXM, Joan Bagaria (topic)
History
- 2026-11-02: add by m2/dev
A. A. Razborov V71PWRBVH5
| URI | m2://inv/V71PWRBVH5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2GDN, A. A. Razborov (topic)
History
- 2026-11-02: add by m2/dev
Leo Ornstein V71XBJ609X
| URI | m2://inv/V71XBJ609X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#JW0V, Leo Ornstein (unknown)
History
- 2026-11-02: add by m2/dev
V724VR19PK V724VR19PK
| URI | m2://inv/V724VR19PK |
|---|---|
| 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.20153#0ONT (statement)
History
- 2026-11-02: add by m2/v0.6.18
V729XK72CZ V729XK72CZ
| URI | m2://inv/V729XK72CZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27360#H0B9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Glued comparison on a sphere or a shell V72A1E5XZY
| URI | m2://inv/V72A1E5XZY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#5GMB, Glued comparison on a sphere or a shell (statement). In NKXTXH59P1/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
V72A9PE2EJ V72A9PE2EJ
| URI | m2://inv/V72A9PE2EJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#66DT (statement). In X38P26DK6S/e1, proposition 5.24
History
- 2026-10-27: add by m2/v0.4.0
consistency V72B2XPT6Z
| URI | m2://inv/V72B2XPT6Z |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4/consistency, consistency (concept). In N54F33XE07, index, section 4
History
- 2026-11-01: add by m2/v0.6.13
V72RT9HFFR V72RT9HFFR
| URI | m2://inv/V72RT9HFFR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_exercises.ptx#exercise-11 (exercise). In QKM9DD2H56, exercise, section 8
History
- 2026-11-01: add by m2/v0.6.13
Flat function V72SR4KYDH
| URI | m2://inv/V72SR4KYDH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flat function, Flat function (definition). Also Wikidata Q5457836
History
- 2026-11-02: add by m2/dev
cinquefoil knot V72WDW1KV0
| URI | m2://inv/V72WDW1KV0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5121087, cinquefoil knot (unknown). Also MathWorld SolomonsSealKnot
- wikipedia: Wikipedia Cinquefoil knot, Cinquefoil knot (definition). Also Wikidata Q5121087
History
- 2026-10-26: add by m2/dev
Brian Kernighan V73136JRQ3
| URI | m2://inv/V73136JRQ3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#N3LF, Brian Kernighan (unknown)
History
- 2026-11-02: add by m2/dev
Variations V735WAYCM2
| URI | m2://inv/V735WAYCM2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Young tableau#IDZ2, Variations (statement)
History
- 2026-11-02: add by m2/dev
V73AFCMYRG V73AFCMYRG
| URI | m2://inv/V73AFCMYRG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-117 (exercise). In E9HS8K3A52, exercise, section 5.10.4
History
- 2026-11-01: add by m2/v0.6.13
Chain rule for Kolmogorov complexity V73BZA8A0E
| URI | m2://inv/V73BZA8A0E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chain rule for Kolmogorov complexity, Chain rule for Kolmogorov complexity (definition). Also Wikidata Q5067959
History
- 2026-11-02: add by m2/dev
V73KJS4NZF V73KJS4NZF
| URI | m2://inv/V73KJS4NZF |
|---|---|
| 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.16554#RNQS (statement). In GWNT8HEZG1/e1, corollary 3.23
History
- 2026-10-27: add by m2/v0.3.6
Affine Wang--Sun reduction V73Q9NMF22
| URI | m2://inv/V73Q9NMF22 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02806#LQOO, Affine Wang--Sun reduction (statement). In F4A354Y5NC/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.12
Bulk marginality at degenerate contacts V73TEEYXSB
| URI | m2://inv/V73TEEYXSB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#JEJ7, Bulk marginality at degenerate contacts (statement). In NKXTXH59P1/e1, corollary 4.8
History
- 2026-10-29: add by m2/v0.4.10
Firstview, Colorado V73X1SCY8Y
| URI | m2://inv/V73X1SCY8Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#SOWY, Firstview, Colorado (unknown)
History
- 2026-11-02: add by m2/dev
V7473PG6CR V7473PG6CR
| URI | m2://inv/V7473PG6CR |
|---|---|
| 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.39782#WHCX (statement). In JF4188WVV0/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Solution V74D6GZP5J
| URI | m2://inv/V74D6GZP5J |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/frobenius.tex#proof-7, Solution (proof). In RZP28ERRZV, proof, section 13.8
History
- 2026-11-01: add by m2/v0.6.13
irreflexivity, of $<$ for reals V74J39DBBY
| URI | m2://inv/V74J39DBBY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2.1/irreflexivity-of-for-reals, irreflexivity, of $<$ for reals (concept). In N54F33XE07, index, section B.2.1
History
- 2026-11-01: add by m2/v0.6.13
V74S19XNMX V74S19XNMX
| URI | m2://inv/V74S19XNMX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10152#YAAM (statement). In KCJ53C7AXY/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
Quantifier rank V74T8GKSHX
| URI | m2://inv/V74T8GKSHX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantifier rank, Quantifier rank (definition). Also Wikidata Q7268912
History
- 2026-11-02: add by m2/dev
V74VJZ2VA8 V74VJZ2VA8
| URI | m2://inv/V74VJZ2VA8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22077#J0FQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
V752K26AFS V752K26AFS
| URI | m2://inv/V752K26AFS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#A4U5 (statement). In GHKR740SG3/e1, corollary 14.5
History
- 2026-10-31: add by m2/v0.5.6
Additive Markov chain V75A4192M8
| URI | m2://inv/V75A4192M8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive Markov chain, Additive Markov chain (definition). Also Wikidata Q17003273
History
- 2026-11-02: add by m2/dev
Barcan formula V75ENFXT0V
| URI | m2://inv/V75ENFXT0V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#JNZO, Barcan formula (definition)
History
- 2026-11-02: add by m2/dev
Both symmetric or skew-symmetric pair V75QM0XSAG
| URI | m2://inv/V75QM0XSAG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08980#TDYF, Both symmetric or skew-symmetric pair (statement). In X407M6WFNR/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Wave surface V75SB5DQ2F
| URI | m2://inv/V75SB5DQ2F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wave surface, Wave surface (definition). Also Wikidata Q7975333
History
- 2026-11-02: add by m2/dev
Uniform degree-moment bounds V75TRDZDFP
| URI | m2://inv/V75TRDZDFP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40077#KYYE, Uniform degree-moment bounds (statement). In F0HMNYB8WB/e1, lemma 7.2
History
- 2026-10-30: add by m2/v0.4.12
V7609XKQ41 V7609XKQ41
| URI | m2://inv/V7609XKQ41 |
|---|---|
| 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 2307.13930#QHLA (statement). In SVDPVAKW4P/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
V76AF1SY2R V76AF1SY2R
| URI | m2://inv/V76AF1SY2R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05320#K4J7 (statement). In MVXZWHKEX8/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
Experiment V76CNQX433
| URI | m2://inv/V76CNQX433 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MDGD, Experiment (definition)
History
- 2026-11-02: add by m2/dev
Geodesic flow V76ESR0VSF
| URI | m2://inv/V76ESR0VSF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#R4T1, Geodesic flow (definition)
History
- 2026-11-02: add by m2/dev
Hamming weight V76JACTHV7
| URI | m2://inv/V76JACTHV7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#IALM, Hamming weight (definition)
History
- 2026-11-02: add by m2/dev
greatest common divisor V76NT16JHA
| URI | m2://inv/V76NT16JHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#QVOL, greatest common divisor (definition)
History
- 2026-11-02: add by m2/dev
V76XEW6GWC V76XEW6GWC
| URI | m2://inv/V76XEW6GWC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12203#5XWI (statement). In F4YTAZSCS2/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
V77AF60E3J V77AF60E3J
| URI | m2://inv/V77AF60E3J |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/long-exact.tex#proof-1 (proof). In RZP28ERRZV, proof, section 54.2
History
- 2026-11-01: add by m2/v0.6.13
Life without Death V77E7FJDV0
| URI | m2://inv/V77E7FJDV0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Life without Death, Life without Death (definition). Also Wikidata Q6545331
History
- 2026-11-02: add by m2/dev
Hub transition asymptotic V77K0ZKVGZ
| URI | m2://inv/V77K0ZKVGZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27335#35FX, Hub transition asymptotic (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties V77S00R133
| URI | m2://inv/V77S00R133 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smith–Volterra–Cantor set#B9VP, Properties (statement)
History
- 2026-11-02: add by m2/dev
V78087MQPE V78087MQPE
| URI | m2://inv/V78087MQPE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#QQ6M (statement)
History
- 2026-11-01: add by m2/v0.6.15
V782S9TKJ7 V782S9TKJ7
| URI | m2://inv/V782S9TKJ7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27360#QNIK (definition)
History
- 2026-11-01: add by m2/v0.6.15
Special case: Kernel ridge balancing weights; eq. 8 V784EF113T
| URI | m2://inv/V784EF113T |
|---|---|
| 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 2102.11076#SYXK, Special case: Kernel ridge balancing weights; eq. 8 (statement). In T9HZXHTQBJ/e1, corollary 4
History
- 2026-10-27: add by m2/v0.3.6
V789KZGS8S V789KZGS8S
| URI | m2://inv/V789KZGS8S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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.03704#ITC9 (definition). In 22PZM74WT5/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.12
V78BZK8XXD V78BZK8XXD
| URI | m2://inv/V78BZK8XXD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-17 (exercise). In E9HS8K3A52, exercise, section 5.2.4
History
- 2026-11-01: add by m2/v0.6.13
Divisor of the genus-zero differential V78J0Y4TV9
| URI | m2://inv/V78J0Y4TV9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20572#K0YF, Divisor of the genus-zero differential (statement)
History
- 2026-11-02: add by m2/v0.6.18
V78N7C2E81 V78N7C2E81
| URI | m2://inv/V78N7C2E81 |
|---|---|
| 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.21937#CF2X (statement)
History
- 2026-11-02: add by m2/v0.6.17
V78QMZBC65 V78QMZBC65
| URI | m2://inv/V78QMZBC65 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2310.01868#NM7P (statement). In MQ8S73F6X7/e1, theorem 16
History
- 2026-10-27: add by m2/v0.3.6
V78VJK1STF V78VJK1STF
| URI | m2://inv/V78VJK1STF |
|---|---|
| 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 2605.30285#E13F (statement). In YMY0NNSM27/e1, lemma 5.10
History
- 2026-10-27: add by m2/v0.3.6
V7931NSV9P V7931NSV9P
| URI | m2://inv/V7931NSV9P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26600#8UVX (definition)
History
- 2026-11-01: add by m2/v0.6.15
V795V68GAT V795V68GAT
| URI | m2://inv/V795V68GAT |
|---|---|
| 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#MIMP (statement). In V42PPD7SWH/e1, lemma 4.2
History
- 2026-10-31: add by m2/v0.5.6
Special right triangle V796YTSN8V
| URI | m2://inv/V796YTSN8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Special right triangle, Special right triangle (definition). Also Wikidata Q3222962
History
- 2026-11-02: add by m2/dev
V79G4CSNG3 V79G4CSNG3
| URI | m2://inv/V79G4CSNG3 |
|---|---|
| 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.14681#XCSU (statement). In 459W0NBS5Q/e1, theorem 10
History
- 2026-10-28: add by m2/v0.4.2
monotone V79GJNXWAV
| URI | m2://inv/V79GJNXWAV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#RY0T, monotone (definition)
History
- 2026-11-02: add by m2/dev
V79QYNAR99 V79QYNAR99
| URI | m2://inv/V79QYNAR99 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39675#B9J6 (definition). In VM16G3PPH3/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Abhorchdienst V7A631PP3R
| URI | m2://inv/V7A631PP3R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abhorchdienst, Abhorchdienst (definition). Also Wikidata Q4667487
History
- 2026-11-02: add by m2/dev
V7A6R4PBS8 V7A6R4PBS8
| URI | m2://inv/V7A6R4PBS8 |
|---|---|
| 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.26896#705W (statement)
History
- 2026-11-01: add by m2/v0.6.15
Haskell V7A86YSJQ8
| URI | m2://inv/V7A86YSJQ8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.7/haskell, Haskell (concept). In N54F33XE07, index, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Lorden's inequality V7A94WW2NV
| URI | m2://inv/V7A94WW2NV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lorden's inequality, Lorden's inequality (statement). Also Wikidata Q6680142
History
- 2026-11-02: add by m2/dev
V7AQ04WABT V7AQ04WABT
| URI | m2://inv/V7AQ04WABT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.19468#9TMF (statement). In EY54F2SX08/e1, proposition 6.8
History
- 2026-10-27: add by m2/v0.3.5
Absence of Spurious Stationary Points V7AWVXMR1V
| URI | m2://inv/V7AWVXMR1V |
|---|---|
| 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.10927#YZ9B, Absence of Spurious Stationary Points (statement). In DHEJP3YATV/e1, proposition 13
History
- 2026-10-28: add by m2/v0.4.3
V7B05D97D2 V7B05D97D2
| URI | m2://inv/V7B05D97D2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08357#9803 (example). In R9GRCAWHG0/e1, example 4.9
History
- 2026-10-29: add by m2/v0.4.10
Bang's theorem on tetrahedra V7BBDCGYYZ
| URI | m2://inv/V7BBDCGYYZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bang's theorem on tetrahedra, Bang's theorem on tetrahedra (statement). Also Wikidata Q30591105
History
- 2026-11-02: add by m2/dev
Applications V7BEQKCM56
| URI | m2://inv/V7BEQKCM56 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curve25519#AVLS, Applications (example)
History
- 2026-11-02: add by m2/dev
Bound on the anisotropy V7BF4WT6MN
| URI | m2://inv/V7BF4WT6MN |
|---|---|
| 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.25301#MJ2J, Bound on the anisotropy (statement)
History
- 2026-11-01: add by m2/v0.6.15
V7BFACTEXZ V7BFACTEXZ
| URI | m2://inv/V7BFACTEXZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06152#AUYW (statement). In HH35K7S17H/e1, lemma 6.11
History
- 2026-10-29: add by m2/v0.4.10
Definition V7BPGE8BVN
| URI | m2://inv/V7BPGE8BVN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwarz–Christoffel mapping#JHK7, Definition (definition)
History
- 2026-11-02: add by m2/dev
Stephanie Shipp V7BTJRH95Z
| URI | m2://inv/V7BTJRH95Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephanie Shipp, Stephanie Shipp (topic). Also Wikidata Q60161916
History
- 2026-11-02: add by m2/dev
V7C2QJZMR3 V7C2QJZMR3
| URI | m2://inv/V7C2QJZMR3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23526#QEWH (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition V7C8HTCQXV
| URI | m2://inv/V7C8HTCQXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LP-type problem#WPTK, Definition (definition)
History
- 2026-11-02: add by m2/dev
One-dimensional tails and recursive DGS V7CAZW7CSR
| URI | m2://inv/V7CAZW7CSR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37482#KC5C, One-dimensional tails and recursive DGS (statement). In 9QDRMZX8EY/e1, lemma 9
History
- 2026-10-30: add by m2/v0.4.12
Parametric programming V7CBWG8D0S
| URI | m2://inv/V7CBWG8D0S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parametric programming, Parametric programming (definition). Also Wikidata Q25111241
History
- 2026-11-02: add by m2/dev
V7CDBNSMYE V7CDBNSMYE
| URI | m2://inv/V7CDBNSMYE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/pr-relations.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 3.31
History
- 2026-11-01: add by m2/v0.6.13
The Atiyah and Guillemin-Sternberg theorem V7CE6XM94S
| URI | m2://inv/V7CE6XM94S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toric manifold#5DEH, The Atiyah and Guillemin-Sternberg theorem (statement)
History
- 2026-11-02: add by m2/dev
celestial mechanics V7CEEPCXZP
| URI | m2://inv/V7CEEPCXZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q184274, celestial mechanics (definition). Also EoM Classical_celestial_mechanics,_mathematical_problems_in, ProofWiki Definition:Celestial_Mechanics
- wikipedia: Wikipedia Celestial mechanics, Celestial mechanics (topic). Also Wikidata Q184274
History
- 2026-10-26: add by m2/dev
Applications V7CFD369BK
| URI | m2://inv/V7CFD369BK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimism bias#VL3N, Applications (example)
History
- 2026-11-02: add by m2/dev
V7CGZ8J6VH V7CGZ8J6VH
| URI | m2://inv/V7CGZ8J6VH |
|---|---|
| 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.17129#Z4B7 (statement). In TCZWAMNYCV/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
V7CH8QB5HM V7CH8QB5HM
| URI | m2://inv/V7CH8QB5HM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17759#G7JE (statement). In 7MWKMG2V8A/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
partition, of an integer V7CQ5JB84H
| URI | m2://inv/V7CQ5JB84H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/8.5/partition-of-an-integer, partition, of an integer (concept). In QKM9DD2H56, index, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
Hilary Putnam V7CW6XZ5F3
| URI | m2://inv/V7CW6XZ5F3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q221697, Hilary Putnam (unknown). Also ProofWiki Mathematician:Hilary_Whitehall_Putnam
- wikipedia: Wikipedia Hilary Putnam, Hilary Putnam (topic). Also Wikidata Q221697
History
- 2026-10-26: add by m2/dev
Applications V7CWNTH5E5
| URI | m2://inv/V7CWNTH5E5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Auslander–Buchsbaum formula#GXKL, Applications (example)
History
- 2026-11-02: add by m2/dev
A feasible density below the sine energy V7D3FKR4X4
| URI | m2://inv/V7D3FKR4X4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05164#VGSV, A feasible density below the sine energy (statement). In JY6RYSNXMJ/e1, corollary 3
History
- 2026-10-29: add by m2/v0.4.10
Definition V7DBB8YEVX
| URI | m2://inv/V7DBB8YEVX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial Wigner–Ville distribution#G79Q, Definition (definition)
History
- 2026-11-02: add by m2/dev
Cubical generating sets V7DCFCCP6R
| URI | m2://inv/V7DCFCCP6R |
|---|---|
| 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.28028#OZP1, Cubical generating sets (definition)
History
- 2026-11-01: add by m2/v0.6.15
Uniformly most powerful test V7DCWEH6VN
| URI | m2://inv/V7DCWEH6VN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#N1IX, Uniformly most powerful test (definition)
History
- 2026-11-02: add by m2/dev
Distance matrices in phylogeny V7DHPE4VHP
| URI | m2://inv/V7DHPE4VHP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distance matrices in phylogeny, Distance matrices in phylogeny (definition). Also Wikidata Q5282866
History
- 2026-11-02: add by m2/dev
V7DHPRCR9G V7DHPRCR9G
| URI | m2://inv/V7DHPRCR9G |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 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.35102#8Y62 (problem). In XK6H7F2F13/e1, problem 1
History
- 2026-10-30: add by m2/v0.4.12
V7DN0BYHS7 V7DN0BYHS7
| URI | m2://inv/V7DN0BYHS7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07451#GOC2 (definition). In P7KT88N75Q/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
constant function V7DNJ79JQM
| URI | m2://inv/V7DNJ79JQM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#TTM8, constant function (definition)
History
- 2026-11-02: add by m2/dev
V7DSP5JWNH V7DSP5JWNH
| URI | m2://inv/V7DSP5JWNH |
|---|---|
| Kind | definition |
| 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.01924#LT4G (definition). In CB89152EQW/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.12
Implementation V7DX8617GB
| URI | m2://inv/V7DX8617GB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular mean#GKLT, Implementation (definition)
History
- 2026-11-02: add by m2/dev
loop space V7ED15MZH7
| URI | m2://inv/V7ED15MZH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#2N35, loop space (definition)
History
- 2026-11-02: add by m2/dev
Abért V7EM340VZE
| URI | m2://inv/V7EM340VZE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probabilistic proofs of non-probabilistic theorems#16GO, Abért (unknown)
History
- 2026-11-02: add by m2/dev
V7ENST3SPR V7ENST3SPR
| URI | m2://inv/V7ENST3SPR |
|---|---|
| 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#YSJ1 (statement). In EFDRME13PT/e1, proposition 9.1
History
- 2026-10-28: add by m2/v0.4.2
zero object V7EVRXFXRH
| URI | m2://inv/V7EVRXFXRH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91432807, zero object (definition). Also nLab zero object, ProofWiki Definition:Zero_Object
History
- 2026-10-26: add by m2/dev
Whipple's index V7EXKKW6SX
| URI | m2://inv/V7EXKKW6SX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whipple's index, Whipple's index (definition). Also Wikidata Q7993739
History
- 2026-11-02: add by m2/dev
V7EY7M9E5W V7EY7M9E5W
| URI | m2://inv/V7EY7M9E5W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31883#IM0K (definition). In XBHQRTBH62/e1, definition 1.2
History
- 2026-10-31: add by m2/v0.5.6
acoustics V7F480VFVK
| URI | m2://inv/V7F480VFVK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q82811, acoustics (definition). Also ProofWiki Definition:Acoustics
History
- 2026-10-26: add by m2/dev
Nullity of the boundary slope image V7FA25MN4B
| URI | m2://inv/V7FA25MN4B |
|---|---|
| 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#QQSE, Nullity of the boundary slope image (statement). In H2DNTQ5MKV/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
Constructions V7FB2SV7V7
| URI | m2://inv/V7FB2SV7V7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex cone#E2QI, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Ami Harten V7FJGF1A3G
| URI | m2://inv/V7FJGF1A3G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ami Harten, Ami Harten (topic). Also Wikidata Q470700
History
- 2026-11-02: add by m2/dev
V7FQ7AHGG1 V7FQ7AHGG1
| URI | m2://inv/V7FQ7AHGG1 |
|---|---|
| Kind | example |
| 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.28265#F56W (example)
History
- 2026-11-01: add by m2/v0.6.15
Examples V7FQF7PY9B
| URI | m2://inv/V7FQF7PY9B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-separated morphism#OZ1F, Examples (example)
History
- 2026-11-02: add by m2/dev
James G. Kalbfleisch V7FVAJM4T1
| URI | m2://inv/V7FVAJM4T1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#ZZFA, James G. Kalbfleisch (unknown)
History
- 2026-11-02: add by m2/dev
Verschiebung operator V7GB8Q26F7
| URI | m2://inv/V7GB8Q26F7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Verschiebung operator, Verschiebung operator (definition). Also Wikidata Q30704537
History
- 2026-11-02: add by m2/dev
Krein's theorem on non-negative self-adjoint extensions V7GFP746VS
| URI | m2://inv/V7GFP746VS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedrichs extension#4LRW, Krein's theorem on non-negative self-adjoint extensions (statement)
History
- 2026-11-02: add by m2/dev
V7GJ2P85JV V7GJ2P85JV
| URI | m2://inv/V7GJ2P85JV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25718#Q78Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
V7GXJEN7KR V7GXJEN7KR
| URI | m2://inv/V7GXJEN7KR |
|---|---|
| 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 2608.23797#RNY7 (statement). In PZCA01JXVR/e1, proposition 2.10
History
- 2026-10-27: add by m2/v0.3.5
Linear congruential generator V7H3ZF9PKZ
| URI | m2://inv/V7H3ZF9PKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear congruential generator, Linear congruential generator (definition). Also Wikidata Q1190228
History
- 2026-11-02: add by m2/dev
numerical aspects of Cauchy's problem V7HGMMRQCJ
| URI | m2://inv/V7HGMMRQCJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Ordinary differential equations > numerical aspects of Cauchy's problem, numerical aspects of Cauchy's problem (unknown)
History
- 2026-10-26: add by m2/dev
V7HJAS10F0 V7HJAS10F0
| URI | m2://inv/V7HJAS10F0 |
|---|---|
| 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 2610.11652#TX7Y (statement). In VEXM27M8Q1/e1, lemma 4.11
History
- 2026-10-28: add by m2/v0.4.3
V7HN3K6JS0 V7HN3K6JS0
| URI | m2://inv/V7HN3K6JS0 |
|---|---|
| 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.14217#HKBH (statement). In K0DHYQC5B7/e1, fact 3.2
History
- 2026-10-28: add by m2/v0.4.2
Transport representation V7HQ7T3GZB
| URI | m2://inv/V7HQ7T3GZB |
|---|---|
| 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.11619#4YXJ, Transport representation (statement). In HT2K76Y9WS/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.3
Vizing's theorem V7HQF2P9VV
| URI | m2://inv/V7HQF2P9VV |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | Vizing's theorem B99049JPY6 |
Mentions
- arxiv: arXiv 2609.33108#DS2O, Vizing's theorem (statement). In 5JK5N2RRMS/e1, theorem 1.1
- wikidata: Wikidata Q2226822, Vizing's theorem (statement). Also MathWorld VizingsTheorem
- wikipedia: Wikipedia Vizing's theorem, Vizing's theorem (statement). Also Wikidata Q2226822
History
- 2026-10-26: add by m2/dev
- 2026-10-31: merge by m2/v0.5.6
V7HSD25X8K V7HSD25X8K
| URI | m2://inv/V7HSD25X8K |
|---|---|
| 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.13741#G73E (statement). In Q43F8N7XDE/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.2
V7HWPP5J8M V7HWPP5J8M
| URI | m2://inv/V7HWPP5J8M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.10268#0CIC (statement). In YR15TN4V4F/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
Signed distance function V7HY7ERX6B
| URI | m2://inv/V7HY7ERX6B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signed distance function, Signed distance function (definition). Also Wikidata Q7512907
History
- 2026-11-02: add by m2/dev
Moment-cumulant formulas V7HZ2N1VXF
| URI | m2://inv/V7HZ2N1VXF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#UFVK, Moment-cumulant formulas (statement). In 7V3HG30ZGW/e1, theorem 3.11
History
- 2026-10-27: add by m2/v0.4.0
representative manifold V7HZ3PFH4D
| URI | m2://inv/V7HZ3PFH4D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#O2S0, representative manifold (definition)
History
- 2026-11-02: add by m2/dev
Point spectrum V7J25W3J1V
| URI | m2://inv/V7J25W3J1V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectrum (functional analysis)#1API, Point spectrum (unknown)
History
- 2026-11-02: add by m2/dev
Taylor's theorem V7J9RAH97Z
| URI | m2://inv/V7J9RAH97Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#1WAB, Taylor's theorem (statement)
- wikipedia: Wikipedia List of multivariable calculus topics#GCA9, Taylor's theorem (statement)
History
- 2026-11-02: add by m2/dev
V7JBV3BR50 V7JBV3BR50
| URI | m2://inv/V7JBV3BR50 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-26 (exercise). In E9HS8K3A52, exercise, section 2.2.8
History
- 2026-11-01: add by m2/v0.6.13
Ellipsoidal volume V7JD48VDMK
| URI | m2://inv/V7JD48VDMK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellipsoid#4B6E, Ellipsoidal volume (unknown)
History
- 2026-11-02: add by m2/dev
Extrinsic Geometric Flows V7JEGQQMR3
| URI | m2://inv/V7JEGQQMR3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extrinsic Geometric Flows, Extrinsic Geometric Flows (definition). Also Wikidata Q115815672
History
- 2026-11-02: add by m2/dev
V7JF777KFT V7JF777KFT
| URI | m2://inv/V7JF777KFT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25703#A561 (definition)
History
- 2026-11-01: add by m2/v0.6.15
The scalar Gaussian profiles V7JJYZ4T61
| URI | m2://inv/V7JJYZ4T61 |
|---|---|
| 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.13613#QA5I, The scalar Gaussian profiles (statement). In 3HCT4TQ5PM/e1, lemma 8.6
History
- 2026-10-28: add by m2/v0.4.2
Mori dream space V7JZYD4NWY
| URI | m2://inv/V7JZYD4NWY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mori dream space, Mori dream space (definition). Also Wikidata Q6912118
History
- 2026-11-02: add by m2/dev
Algebra V7KH450P8Q
| URI | m2://inv/V7KH450P8Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#8MJ9, Algebra (definition)
History
- 2026-11-02: add by m2/dev
V7KHM39KKJ V7KHM39KKJ
| URI | m2://inv/V7KHM39KKJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17477#YYY1 (definition). In 3A92NCWYN3/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
Quaternion algebra V7KSXQB9FK
| URI | m2://inv/V7KSXQB9FK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternion algebra, Quaternion algebra (definition). Also Wikidata Q2835967
History
- 2026-11-02: add by m2/dev
V7M0MQVS6X V7M0MQVS6X
| URI | m2://inv/V7M0MQVS6X |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#proof-18 (proof). In E59CDZA4DP, proof, section 2.5.1
History
- 2026-11-01: add by m2/v0.6.13
Angus Macintyre V7M2QCXZBC
| URI | m2://inv/V7M2QCXZBC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angus Macintyre, Angus Macintyre (topic). Also Wikidata Q544512
History
- 2026-11-02: add by m2/dev
Applications V7M321JMS5
| URI | m2://inv/V7M321JMS5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur's lemma (Riemannian geometry)#W9AB, Applications (example)
History
- 2026-11-02: add by m2/dev
V7MH7RKKFA V7MH7RKKFA
| URI | m2://inv/V7MH7RKKFA |
|---|---|
| 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.11043#OFLP (statement). In R3NJYPZH52/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.3
finite-open upgrade V7MMMSA0GE
| URI | m2://inv/V7MMMSA0GE |
|---|---|
| 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.08335#LT60, finite-open upgrade (statement). In HK3YR0QKCV/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Cooper, Mubayi V7MNQGBJ6H
| URI | m2://inv/V7MNQGBJ6H |
|---|---|
| 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 2406.01499#ZNLB, Cooper, Mubayi (statement). In B32K3KBEKC/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
V7MT65KQCR V7MT65KQCR
| URI | m2://inv/V7MT65KQCR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#problem-5 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
V7MTHF4QCP V7MTHF4QCP
| URI | m2://inv/V7MTHF4QCP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-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.19469#4ZOV (statement). In QK9FT9AKHN/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
V7MVCPFS4H V7MVCPFS4H
| URI | m2://inv/V7MVCPFS4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12413#MTO1 (statement). In 6EJ8J60SP8/e1, corollary 15
History
- 2026-10-28: add by m2/v0.4.2
Salsa20-Poly1305 V7MXG63P5F
| URI | m2://inv/V7MXG63P5F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ChaCha20-Poly1305#FFXM, Salsa20-Poly1305 (unknown)
History
- 2026-11-02: add by m2/dev
extensional function V7N9KW905F
| URI | m2://inv/V7N9KW905F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#NGYL, extensional function (definition)
History
- 2026-11-02: add by m2/dev
Alexander Aigner V7NDE46F39
| URI | m2://inv/V7NDE46F39 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Aigner, Alexander Aigner (topic). Also Wikidata Q2641681
History
- 2026-11-02: add by m2/dev
V7NDXJY8R7 V7NDXJY8R7
| URI | m2://inv/V7NDXJY8R7 |
|---|---|
| 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 2507.13548#4J6K (definition). In 4NVVK50D1P/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
Ross paradox V7NFDT2XQ4
| URI | m2://inv/V7NFDT2XQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#H4F9, Ross paradox (definition)
History
- 2026-11-02: add by m2/dev
Cubic normal form V7NG2EMWK9
| URI | m2://inv/V7NG2EMWK9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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 2610.12434#5TCQ, Cubic normal form (statement). In YCRZC9SDCE/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Artin root number V7NHYNE1KG
| URI | m2://inv/V7NHYNE1KG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin L-function#W4RV, Artin root number (unknown)
History
- 2026-11-02: add by m2/dev
Pappus's hexagon theorem V7NREHE3N8
| URI | m2://inv/V7NREHE3N8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 4 |
| Outcome | open |
| Node | Pappus's hexagon theorem B6C3J2GJWP |
Mentions
- mathlib_1000: mathlib_1000 Q851166, Pappus's hexagon theorem (statement). Also Wikidata Q851166
- thousand_plus: thousand_plus Q851166, Pappus's hexagon theorem (statement). Also Wikidata Q851166, Wikipedia Pappus's hexagon theorem
- wikidata: Wikidata Q851166, Pappus's hexagon theorem (statement). Also MathWorld PappussHexagonTheorem
- wikipedia: Wikipedia Pappus's hexagon theorem, Pappus's hexagon theorem (statement). Also Wikidata Q851166
History
- 2026-10-26: add by m2/dev
Rotational invariance V7NZNRSWF8
| URI | m2://inv/V7NZNRSWF8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rotational invariance, Rotational invariance (definition). Also Wikidata Q108537107
History
- 2026-11-02: add by m2/dev
Powerful p-group V7P4JR91E5
| URI | m2://inv/V7P4JR91E5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Powerful p-group, Powerful p-group (definition). Also Wikidata Q7236705
History
- 2026-11-02: add by m2/dev
Square trisection V7P592EGM7
| URI | m2://inv/V7P592EGM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square trisection, Square trisection (definition). Also Wikidata Q3539591
History
- 2026-11-02: add by m2/dev
midpoint polygon V7PESDGYTK
| URI | m2://inv/V7PESDGYTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6842962, midpoint polygon (unknown). Also MathWorld MidpointPolygon
- wikipedia: Wikipedia Midpoint polygon, Midpoint polygon (definition). Also Wikidata Q6842962
History
- 2026-10-26: add by m2/dev
Kṛṣṇa Daivajña V7PPEWN8N9
| URI | m2://inv/V7PPEWN8N9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#VUQK, Kṛṣṇa Daivajña (definition)
History
- 2026-11-02: add by m2/dev
A/a V7Q79JNKRS
| URI | m2://inv/V7Q79JNKRS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9659, A/a (unknown). Also ProofWiki Symbols:A
History
- 2026-10-26: add by m2/dev
Reflexivity V7Q94M60SF
| URI | m2://inv/V7Q94M60SF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/proof-theoretic-notions.tex#prop:reflexivity, Reflexivity (statement). In PKGMM3P5QY, prop, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
V7QDWT6XK3 V7QDWT6XK3
| URI | m2://inv/V7QDWT6XK3 |
|---|---|
| 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.36613#JK82 (statement). In GX0K0ZM700/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
Ak singularity V7QPTTSX0Y
| URI | m2://inv/V7QPTTSX0Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ak singularity, Ak singularity (definition). Also Wikidata Q4700045
History
- 2026-11-02: add by m2/dev
Biased random walk (biochemistry) V7QR4XTEKC
| URI | m2://inv/V7QR4XTEKC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UHU1, Biased random walk (biochemistry) (definition)
History
- 2026-11-02: add by m2/dev
Theorem V7QSTBDKHA
| URI | m2://inv/V7QSTBDKHA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Short integer solution problem#2OT1, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Example V7QTAYW8DC
| URI | m2://inv/V7QTAYW8DC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Auslander–Reiten theory#W9OE, Example (example)
History
- 2026-11-02: add by m2/dev
binary cyclic group V7R5NMDM3S
| URI | m2://inv/V7R5NMDM3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2790210, binary cyclic group (unknown). Also nLab binary cyclic group
- wikipedia: Wikipedia Binary cyclic group, Binary cyclic group (definition). Also Wikidata Q2790210
History
- 2026-10-26: add by m2/dev
V7R6A4B7R5 V7R6A4B7R5
| URI | m2://inv/V7R6A4B7R5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1011.4141#A0QM (statement). In YQ4JYF18NH/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
V7R81PCVGX V7R81PCVGX
| URI | m2://inv/V7R81PCVGX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01473#1ILR (example). In ABS9M47F4K/e1, example 4.3
History
- 2026-10-27: add by m2/v0.3.6
Dominating decision rule V7RCP2KTS2
| URI | m2://inv/V7RCP2KTS2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2W4D, Dominating decision rule (definition)
History
- 2026-11-02: add by m2/dev
Karamata's characterization theorem V7RKRDNXZS
| URI | m2://inv/V7RKRDNXZS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slowly varying function#DEXV, Karamata's characterization theorem (statement)
History
- 2026-11-02: add by m2/dev
642 symmetry V7RPZ6CCJD
| URI | m2://inv/V7RPZ6CCJD |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform tilings on the sphere, plane, and hyperbolic plane#4RP2, 642 symmetry (object)
History
- 2026-11-02: add by m2/dev
V7RRVXMKFB V7RRVXMKFB
| URI | m2://inv/V7RRVXMKFB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#IAZI (statement). In RK0ZMDJ23T/e1, lemma 4.1.8
History
- 2026-10-31: add by m2/v0.5.6
Examples V7RXK7DRJF
| URI | m2://inv/V7RXK7DRJF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kappa calculus#RK5H, Examples (example)
History
- 2026-11-02: add by m2/dev
Cubic Legendre symbol subsumed by Artin symbol V7RYGSA1RK
| URI | m2://inv/V7RYGSA1RK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/artin.tex#ex:cubic_legendre_artin, Cubic Legendre symbol subsumed by Artin symbol (example). In RZP28ERRZV, example, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
parametric form V7S0AZ12HN
| URI | m2://inv/V7S0AZ12HN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parametric equation#5W92, parametric form (definition)
History
- 2026-11-02: add by m2/dev
Fixed-radius inference V7S6W94TVE
| URI | m2://inv/V7S6W94TVE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27961#7PSU, Fixed-radius inference (statement)
History
- 2026-11-01: add by m2/v0.6.15
Whitney Covering Lemma V7SCBV9D83
| URI | m2://inv/V7SCBV9D83 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitney covering lemma#9AR2, Whitney Covering Lemma (statement)
History
- 2026-11-02: add by m2/dev
V7SE40R65R V7SE40R65R
| URI | m2://inv/V7SE40R65R |
|---|---|
| Kind | example |
| 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.10546#P1UA (example). In K5R5RRPMQ5/e1, example 2.1
History
- 2026-10-29: add by m2/v0.4.10
V7SGPVX8FP V7SGPVX8FP
| URI | m2://inv/V7SGPVX8FP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_exercises.ptx#exercise-1 (exercise). In QKM9DD2H56, exercise, section 9
History
- 2026-11-01: add by m2/v0.6.13
V7SH9ZR7GM V7SH9ZR7GM
| URI | m2://inv/V7SH9ZR7GM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#FJ4W (statement). In CY1FE8W1ZW/e1, theorem 0.4
History
- 2026-10-27: add by m2/v0.3.5
V7SHNGM61J V7SHNGM61J
| URI | m2://inv/V7SHNGM61J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18219#3LI0 (statement). In X1AGBB90EH/e1, lemma 8.1
History
- 2026-10-28: add by m2/v0.4.2
Levinson recursion V7SPG0WF1E
| URI | m2://inv/V7SPG0WF1E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#7CU3, Levinson recursion (definition)
History
- 2026-11-02: add by m2/dev
V7SXR0WGYV V7SXR0WGYV
| URI | m2://inv/V7SXR0WGYV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26600#6LFH (definition)
History
- 2026-11-01: add by m2/v0.6.15
Mean dimension V7T008M769
| URI | m2://inv/V7T008M769 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean dimension, Mean dimension (definition). Also Wikidata Q25304147
History
- 2026-11-02: add by m2/dev
Pentic 6-cubes V7T6K15HPQ
| URI | m2://inv/V7T6K15HPQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentic 6-cubes, Pentic 6-cubes (definition). Also Wikidata Q7611314
History
- 2026-11-02: add by m2/dev
category of groups V7TDB8YSGB
| URI | m2://inv/V7TDB8YSGB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Category of groups 2CX7RPPXA9 |
Mentions
- wikidata: Wikidata Q3912012, category of groups (definition). Also ProofWiki Definition:Category_of_Groups
- wikipedia: Wikipedia Category of groups, Category of groups (definition). Also Wikidata Q3912012
History
- 2026-10-26: add by m2/dev
Assume for the sake of contradiction V7TEJBQGDP
| URI | m2://inv/V7TEJBQGDP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#SEXC, Assume for the sake of contradiction (definition)
History
- 2026-11-02: add by m2/dev
Suborbit reduction V7TNKNY3NH
| URI | m2://inv/V7TNKNY3NH |
|---|---|
| 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.15340#GEDD, Suborbit reduction (statement). In 9NVKKW8HDH/e1, lemma 2.11
History
- 2026-10-28: add by m2/v0.4.2
Monotonicity of the normalized closing mismatch V7TREZXX8J
| URI | m2://inv/V7TREZXX8J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38041#MU57, Monotonicity of the normalized closing mismatch (statement). In 54NQGN1BWM/e1, lemma A.4
History
- 2026-10-30: add by m2/v0.4.12
V7TTXNHXBD V7TTXNHXBD
| URI | m2://inv/V7TTXNHXBD |
|---|---|
| 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.17303#N34W (statement). In PHD4ABS8WH/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
V7TZF76HM3 V7TZF76HM3
| URI | m2://inv/V7TZF76HM3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07285#A0CP (statement). In S284XRA4WK/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
Linear Volterra equations V7V4VQQ7BD
| URI | m2://inv/V7V4VQQ7BD |
|---|---|
| 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.32585#ATYL, Linear Volterra equations (statement). In FJFJ3WR1SS/e1, lemma B.3
History
- 2026-10-31: add by m2/v0.5.6
Euler's equations V7V6V9QHH2
| URI | m2://inv/V7V6V9QHH2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q996383, Euler's equations (statement). Also ProofWiki Euler's_Equations_of_Motion_for_Rotation_of_Rigid_Body
- wikipedia: Wikipedia Euler's equations (rigid body dynamics), Euler's equations (definition). Also Wikidata Q996383
History
- 2026-10-26: add by m2/dev
Formal statement V7V9ATEJSK
| URI | m2://inv/V7V9ATEJSK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stone's theorem on one-parameter unitary groups#5V4H, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Analog theorems V7VBGVCR68
| URI | m2://inv/V7VBGVCR68 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rauch comparison theorem#UL2L, Analog theorems (statement)
History
- 2026-11-02: add by m2/dev
V7VCXT4VK0 V7VCXT4VK0
| URI | m2://inv/V7VCXT4VK0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28254#KJ77 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Watson's theorem V7VMXYK80F
| URI | m2://inv/V7VMXYK80F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel summation#V3OD, Watson's theorem (statement)
History
- 2026-11-02: add by m2/dev
Zero-respecting algorithm V7VQHA4Y7K
| URI | m2://inv/V7VQHA4Y7K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02355#TL0Q, Zero-respecting algorithm (definition). In 1AXXV9ZT11/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.12
Generalizations V7VVFPSXYF
| URI | m2://inv/V7VVFPSXYF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blichfeldt's theorem#0EWF, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Unbiased spectral graph sparsification V7W91HZ2RV
| URI | m2://inv/V7W91HZ2RV |
|---|---|
| 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#W0T9, Unbiased spectral graph sparsification (statement). In 9YAE8FNQST/e1, corollary 7.13
History
- 2026-10-30: add by m2/v0.4.12
V7WEGG88WS V7WEGG88WS
| URI | m2://inv/V7WEGG88WS |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-24 (proof). In N54F33XE07, proof, section C.3
History
- 2026-11-01: add by m2/v0.6.13
Example V7WJ8M29J1
| URI | m2://inv/V7WJ8M29J1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Attribute grammar#1TEC, Example (example)
History
- 2026-11-02: add by m2/dev
1HQ3Go3ggs8pFnXuHVHRytPCq5fGG8Hbhx V7WM6DAW44
| URI | m2://inv/V7WM6DAW44 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Silk Road (marketplace)#X3VC, 1HQ3Go3ggs8pFnXuHVHRytPCq5fGG8Hbhx (unknown)
History
- 2026-11-02: add by m2/dev
Definitions and formula V7WP0Q0XNM
| URI | m2://inv/V7WP0Q0XNM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ceyuan haijing#4RHU, Definitions and formula (definition)
History
- 2026-11-02: add by m2/dev
V7WQVW1398 V7WQVW1398
| URI | m2://inv/V7WQVW1398 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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 2607.00146#ZLJD (statement). In 6KR7Z5ETRY/e1, lemma 2.44
History
- 2026-10-27: add by m2/v0.3.5
boundary V7X4DB3X0V
| URI | m2://inv/V7X4DB3X0V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probabilistic proofs of non-probabilistic theorems#DCUZ, boundary (definition)
History
- 2026-11-02: add by m2/dev
Consistent block-based variance estimator V7X4XXKTH7
| URI | m2://inv/V7X4XXKTH7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33868#IKNM, Consistent block-based variance estimator (statement). In 7TQ3XH3X79/e1, proposition 4
History
- 2026-10-30: add by m2/v0.4.12
Ken Kamrin V7X7XGAG65
| URI | m2://inv/V7X7XGAG65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ken Kamrin, Ken Kamrin (definition). Also Wikidata Q102350939
History
- 2026-11-02: add by m2/dev
SECG V7XA9D9PXV
| URI | m2://inv/V7XA9D9PXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SECG, SECG (definition). Also Wikidata Q7389596
History
- 2026-11-02: add by m2/dev
V7XBNM4T1S V7XBNM4T1S
| URI | m2://inv/V7XBNM4T1S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22381#FDHT (definition)
History
- 2026-11-02: add by m2/v0.6.17
V7XBV0FGJJ V7XBV0FGJJ
| URI | m2://inv/V7XBV0FGJJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33015#0AB6 (statement). In W6Y6NPK648/e1, theorem 5.7
History
- 2026-10-27: add by m2/v0.3.5
complex variety V7XCPMGS3T
| URI | m2://inv/V7XCPMGS3T |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/6.5/complex-variety, complex variety (concept). In VNMV985MXX, index, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
V7XD7BV3H4 V7XD7BV3H4
| URI | m2://inv/V7XD7BV3H4 |
|---|---|
| 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.16554#B6Y3 (statement). In GWNT8HEZG1/e1, lemma 2.17
History
- 2026-10-27: add by m2/v0.3.6
V7XDB6YAPA V7XDB6YAPA
| URI | m2://inv/V7XDB6YAPA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04164#8F6E (statement). In KR7WXN4EWR/e1, lemma 8.1
History
- 2026-10-29: add by m2/v0.4.12
Integral representation V7XKSP8R9H
| URI | m2://inv/V7XKSP8R9H |
|---|---|
| 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 2509.22289#5YBN, Integral representation (statement). In BF5Y4V84GV/e1, proposition 1
History
- 2026-10-27: add by m2/v0.4.0
V7XMA1GQZ7 V7XMA1GQZ7
| URI | m2://inv/V7XMA1GQZ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38596#H9FX (statement). In ZYGQAV8FD3/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
V7XP9XEPVS V7XP9XEPVS
| URI | m2://inv/V7XP9XEPVS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18302#DBM6 (definition). In VJTRH1S4JA/e1, definition 5.15
History
- 2026-10-28: add by m2/v0.4.2
Mutual absorption V7XZ44W66H
| URI | m2://inv/V7XZ44W66H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#UNCC, Mutual absorption (statement). In E7W2HDNEKJ/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
perigon V7Y3BN0J4X
| URI | m2://inv/V7Y3BN0J4X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17154097, perigon (unknown). Also MathWorld FullAngle
- wikidata: Wikidata Q304479, turn (unknown). Also MathWorld FullAngle
- wikipedia: Wikipedia Turn (angle), Turn (definition). Also Wikidata Q304479
History
- 2026-10-26: add by m2/dev
Alvin Hansen V7Y4PXQG2M
| URI | m2://inv/V7Y4PXQG2M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#2WW9, Alvin Hansen (unknown)
History
- 2026-11-02: add by m2/dev
Stahl's theorem V7Y5HB479H
| URI | m2://inv/V7Y5HB479H |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 15-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q97359729, Stahl's theorem (statement). Also Wikidata Q97359729
- thousand_plus: thousand_plus Q97359729, Stahl's theorem (statement). Also Wikidata Q97359729, Wikipedia Stahl's theorem
- wikipedia: Wikipedia Stahl's theorem, Stahl's theorem (statement). Also Wikidata Q97359729
History
- 2026-10-26: add by m2/dev
Upper semi-continuity of $\gamma$ V7Y7868VE1
| URI | m2://inv/V7Y7868VE1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21985#V0C9, Upper semi-continuity of $\gamma$ (statement)
History
- 2026-11-02: add by m2/v0.6.17
V7YBS7ZWSJ V7YBS7ZWSJ
| URI | m2://inv/V7YBS7ZWSJ |
|---|---|
| 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 2212.11038#9CGY (statement). In M3E3ARMJXK/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
Variations V7YDS0JJ2A
| URI | m2://inv/V7YDS0JJ2A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K shortest path routing#0IRA, Variations (statement)
History
- 2026-11-02: add by m2/dev
cubic polynomial V7YG4RP9SC
| URI | m2://inv/V7YG4RP9SC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141150044, cubic polynomial (unknown). Also MathWorld CubicPolynomial
History
- 2026-10-26: add by m2/dev
V7YNQRJNZG V7YNQRJNZG
| URI | m2://inv/V7YNQRJNZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#JWHF (statement). In 9H45HQE7AZ/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Clifford Witnesses V7YX7R51R6
| URI | m2://inv/V7YX7R51R6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27042#GAF0, Clifford Witnesses (definition)
History
- 2026-11-01: add by m2/v0.6.15
V7YXPPGAMH V7YXPPGAMH
| URI | m2://inv/V7YXPPGAMH |
|---|---|
| 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.23671#O6HT (statement)
History
- 2026-11-02: add by m2/v0.6.17
Degree of a projective variety and Bézout's theorem V7YYE06J53
| URI | m2://inv/V7YYE06J53 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert series and Hilbert polynomial#STOY, Degree of a projective variety and Bézout's theorem (statement)
History
- 2026-11-02: add by m2/dev
Proposition V7Z04TY7C5
| URI | m2://inv/V7Z04TY7C5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signed area#TXKW, Proposition (statement)
History
- 2026-11-02: add by m2/dev
List of polynomial topics V7Z74NEZBE
| URI | m2://inv/V7Z74NEZBE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics, List of polynomial topics (topic). Also Wikidata Q1862940
History
- 2026-11-02: add by m2/dev
Tally stick V7ZFQJ4PMC
| URI | m2://inv/V7ZFQJ4PMC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tally stick, Tally stick (definition). Also Wikidata Q933008
History
- 2026-11-02: add by m2/dev
V7ZSC96968 V7ZSC96968
| URI | m2://inv/V7ZSC96968 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02852#5UPG (statement). In HX6FXCYGKA/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.12
Crossed products by transfer operators of finite type V7ZXAYEM9J
| URI | m2://inv/V7ZXAYEM9J |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#424N, Crossed products by transfer operators of finite type (example)
History
- 2026-11-01: add by m2/v0.6.15
V7ZYZNXQAB V7ZYZNXQAB
| URI | m2://inv/V7ZYZNXQAB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.07511#5Z07 (definition). In 652CJVBF7C/e1, definition 1.3
History
- 2026-10-27: add by m2/v0.3.6
Definitions V7ZZ741CWB
| URI | m2://inv/V7ZZ741CWB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rao–Blackwell theorem#HGBU, Definitions (definition)
History
- 2026-11-02: add by m2/dev