Inventory rows G2
The cards of the rows of the inventory whose ids start with G2. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
G202R889CH G202R889CH
| URI | m2://inv/G202R889CH |
|---|---|
| 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.21016#UFGL (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition G206HWJ8YE
| URI | m2://inv/G206HWJ8YE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indicator function#422J, Definition (definition)
History
- 2026-11-02: add by m2/dev
G20DJ1ZS3C G20DJ1ZS3C
| URI | m2://inv/G20DJ1ZS3C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#XPIZ (statement). In CC6S1HVK0T/e1, lemma 5.23
History
- 2026-10-28: add by m2/v0.4.2
Nikki Caldwell G20EWT1KWE
| URI | m2://inv/G20EWT1KWE |
|---|---|
| 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#OBOU, Nikki Caldwell (unknown)
History
- 2026-11-02: add by m2/dev
G20EYXW70N G20EYXW70N
| URI | m2://inv/G20EYXW70N |
|---|---|
| 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 2205.09049#ZOQY (statement). In 37S7MNMZ2F/e1, proposition 46
History
- 2026-10-27: add by m2/v0.3.5
Nasik magic hypercube G20MYY40J1
| URI | m2://inv/G20MYY40J1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magic hypercube#UF12, Nasik magic hypercube (unknown)
History
- 2026-11-02: add by m2/dev
G20Q122EBT G20Q122EBT
| URI | m2://inv/G20Q122EBT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#K7TX (example). In HX63A1PH1W/e1, example 7.6
History
- 2026-10-28: add by m2/v0.4.3
Further examples G20SZASX43
| URI | m2://inv/G20SZASX43 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Model category#A1UV, Further examples (example)
History
- 2026-11-02: add by m2/dev
orthogonal complement G20Z36F7VP
| URI | m2://inv/G20Z36F7VP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Orthogonal complement 079D68S3AW |
Mentions
- mathlib_overview: mathlib_overview Analysis > Hilbert spaces > orthogonal complement, orthogonal complement (unknown). Also Mathlib Submodule.orthogonal
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Euclidean and Hermitian spaces > orthogonal complement, orthogonal complement (unknown). Also Mathlib Submodule.orthogonal
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Kolmogorov's inequality G2129122E4
| URI | m2://inv/G2129122E4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov's inequality, Kolmogorov's inequality (statement). Also Wikidata Q1747439
History
- 2026-11-02: add by m2/dev
G213AP8XY4 G213AP8XY4
| URI | m2://inv/G213AP8XY4 |
|---|---|
| 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#OT9G (statement). In YR15TN4V4F/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.5
Mixed identity for $\nabla''W$ G219MMAG1F
| URI | m2://inv/G219MMAG1F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#NYUN, Mixed identity for $\nabla''W$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Four Forks, Richland Parish, Louisiana G21BVX9QMA
| URI | m2://inv/G21BVX9QMA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#XGBS, Four Forks, Richland Parish, Louisiana (unknown)
History
- 2026-11-02: add by m2/dev
G21ECDA9RT G21ECDA9RT
| URI | m2://inv/G21ECDA9RT |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32650#J6QE (problem). In PHXJ87HKYB/e1, problem 4.6
History
- 2026-10-31: add by m2/v0.5.6
Second-order arithmetic G21FMTBDAJ
| URI | m2://inv/G21FMTBDAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#KCQ2, Second-order arithmetic (definition)
History
- 2026-11-02: add by m2/dev
Jacob Grommer G21GJ727P7
| URI | m2://inv/G21GJ727P7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacob Grommer, Jacob Grommer (topic). Also Wikidata Q102156210
History
- 2026-11-02: add by m2/dev
Formal definition G21MBKG7DW
| URI | m2://inv/G21MBKG7DW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sunflower (mathematics)#PUBO, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Zig-Zag Collision-Free Convergence G21MVYVP05
| URI | m2://inv/G21MVYVP05 |
|---|---|
| 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.17677#3UBO, Zig-Zag Collision-Free Convergence (definition). In 5E9G06XJKC/e1, definition C.14
History
- 2026-10-28: add by m2/v0.4.2
G21S1483TM G21S1483TM
| URI | m2://inv/G21S1483TM |
|---|---|
| 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-5 (exercise). In QKM9DD2H56, exercise, section 9
History
- 2026-11-01: add by m2/v0.6.13
G21S67ZMPF G21S67ZMPF
| URI | m2://inv/G21S67ZMPF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#R86Q (definition). In WJD9YPGGYH/e1, definition 7.1
History
- 2026-10-27: add by m2/v0.3.5
Forbidden classes mod $7$ G2229S155V
| URI | m2://inv/G2229S155V |
|---|---|
| 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 2606.18859#ULNI, Forbidden classes mod $7$ (statement). In EVRAASXEDY/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.4.0
G22CBPV0SQ G22CBPV0SQ
| URI | m2://inv/G22CBPV0SQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2109.12716#S7Q6 (statement). In 6X76XBE3HV/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.5
Short-time stability in \(\dot H^{-1}\ G22TV06Q3Z
| URI | m2://inv/G22TV06Q3Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06308#ZI6R, Short-time stability in \(\dot H^{-1}\ (statement). In HTWSDDAWGS/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.10
G22W3YHFSM G22W3YHFSM
| URI | m2://inv/G22W3YHFSM |
|---|---|
| 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.13114#NN08 (statement). In 38RG49M1NB/e1, theorem 2.10
History
- 2026-10-28: add by m2/v0.4.2
$\kappa$-neighborhood G22WH2Q25X
| URI | m2://inv/G22WH2Q25X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-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.25468#YOOL, $\kappa$-neighborhood (definition)
History
- 2026-11-01: add by m2/v0.6.15
Proof of the theorem of Baouendi--Tr{\`e}ves G230ZCTA37
| URI | m2://inv/G230ZCTA37 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-48, Proof of the theorem of Baouendi--Tr{\`e}ves (proof). In VNMV985MXX, proof, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
Artinian module G232510GT5
| URI | m2://inv/G232510GT5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Emil Artin#2Z9H, Artinian module (definition)
History
- 2026-11-02: add by m2/dev
G237SS96RV G237SS96RV
| URI | m2://inv/G237SS96RV |
|---|---|
| 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.24323#WITL (statement)
History
- 2026-11-01: add by m2/v0.6.15
quasi-category G238RA3FW6
| URI | m2://inv/G238RA3FW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Quasi-category 9328WEVJEK |
Mentions
- wikidata: Wikidata Q7269442, quasi-category (unknown). Also nLab quasi-category
- wikipedia: Wikipedia Quasi-category, Quasi-category (definition). Also Wikidata Q7269442
History
- 2026-10-26: add by m2/dev
Definitions G239FF5RC7
| URI | m2://inv/G239FF5RC7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasigroup#XMII, Definitions (definition)
History
- 2026-11-02: add by m2/dev
G23DC3SY5M G23DC3SY5M
| URI | m2://inv/G23DC3SY5M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05804#AKY8 (statement). In 8CBVCXJ17A/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
G23GEXEJV9 G23GEXEJV9
| URI | m2://inv/G23GEXEJV9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.04317#RWPZ (statement). In 49V3ANDZTY/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.3.5
G23HMXZKHB G23HMXZKHB
| URI | m2://inv/G23HMXZKHB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31300#F59T (statement). In ERHQDB8M41/e1, lemma 3.4
History
- 2026-10-31: add by m2/v0.5.6
Cochran–Mantel–Haenszel statistics G23N3G6FP4
| URI | m2://inv/G23N3G6FP4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#SKLK, Cochran–Mantel–Haenszel statistics (definition)
- wikipedia: Wikipedia List of statistics articles#NPG3, Cochran–Mantel–Haenszel statistics (definition)
History
- 2026-11-02: add by m2/dev
Reduction to a conjectural correlation inequality G23PH5VQCK
| URI | m2://inv/G23PH5VQCK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dying percolation conjecture#R80A, Reduction to a conjectural correlation inequality (statement)
History
- 2026-11-02: add by m2/dev
flabby sheaf G23R6HTNPB
| URI | m2://inv/G23R6HTNPB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20641813, flabby sheaf (unknown). Also EoM Flabby_sheaf, nLab flabby sheaf
History
- 2026-10-26: add by m2/dev
G23WHJHCPA G23WHJHCPA
| URI | m2://inv/G23WHJHCPA |
|---|---|
| Kind | example |
| 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 2508.03972#43VT (example). In 2JD3KNKJ1P/e1, example 4.13
History
- 2026-10-27: add by m2/v0.3.5
G23YG9ZHF1 G23YG9ZHF1
| URI | m2://inv/G23YG9ZHF1 |
|---|---|
| Kind | example |
| 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.01858#1WQ3 (example). In NXSV14WJKJ/e1, example 4.1
History
- 2026-10-29: add by m2/v0.4.12
∞¹, ∞², ... G23ZNG6EPP
| URI | m2://inv/G23ZNG6EPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#WO00, ∞¹, ∞², ... (definition)
History
- 2026-11-02: add by m2/dev
G23ZZ2YCYH G23ZZ2YCYH
| URI | m2://inv/G23ZZ2YCYH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20900#32SV (statement)
History
- 2026-11-02: add by m2/v0.6.18
symmetry of a metric G23ZZJK4E0
| URI | m2://inv/G23ZZJK4E0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/4.1/symmetry-of-a-metric, symmetry of a metric (concept). In E59CDZA4DP, index, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
G241R1B7VE G241R1B7VE
| URI | m2://inv/G241R1B7VE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18329#Y5S6 (statement). In 3VWEPEFHN3/e1, theorem 3.12
History
- 2026-10-28: add by m2/v0.4.2
First-order logic formulas G249M7YKYF
| URI | m2://inv/G249M7YKYF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Context-free grammar#OO61, First-order logic formulas (statement)
History
- 2026-11-02: add by m2/dev
Pasco G24BVH5Q1Z
| URI | m2://inv/G24BVH5Q1Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#LMOD, Pasco (unknown)
History
- 2026-11-02: add by m2/dev
Ceva's theorem G24DCADN95
| URI | m2://inv/G24DCADN95 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of misnamed theorems#ZM77, Ceva's theorem (statement)
History
- 2026-11-02: add by m2/dev
G24ERESRHT G24ERESRHT
| URI | m2://inv/G24ERESRHT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-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.28220#ACO3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
G24F5WXVPX G24F5WXVPX
| URI | m2://inv/G24F5WXVPX |
|---|---|
| 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.14555#MN2K (statement). In NHW0VEJ09F/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
G24FXS79NG G24FXS79NG
| URI | m2://inv/G24FXS79NG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31910#QRV1 (statement). In E4EK1XXPY4/e1, proposition 4.2
History
- 2026-10-31: add by m2/v0.5.6
G24HET2PN9 G24HET2PN9
| URI | m2://inv/G24HET2PN9 |
|---|---|
| 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 2610.16178#5H91 (statement). In 698X5RE1AB/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
equivalence, as bi-invertible function G24MFXK3E0
| URI | m2://inv/G24MFXK3E0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/3.3/equivalence-as-bi-invertible-function, equivalence, as bi-invertible function (concept). In N54F33XE07, index, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
Properties G25FPB4N47
| URI | m2://inv/G25FPB4N47 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bell polynomials#IYDK, Properties (statement)
History
- 2026-11-02: add by m2/dev
Second-order flex G25JM754SG
| URI | m2://inv/G25JM754SG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17004#WGLW, Second-order flex (definition). In XNJGNMS6H0/e1, definition 5.3
History
- 2026-10-28: add by m2/v0.4.2
Generalized RLF G25MK743MX
| URI | m2://inv/G25MK743MX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17129#O4R9, Generalized RLF (definition). In TCZWAMNYCV/e1, definition 3.3
History
- 2026-10-28: add by m2/v0.4.2
G25MRE9XBV G25MRE9XBV
| URI | m2://inv/G25MRE9XBV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.26376#1BQJ (statement). In PJAT9YDX7Y/e1, theorem 5.6
History
- 2026-10-27: add by m2/v0.4.0
Meyniel graph G25R2BQFK7
| URI | m2://inv/G25R2BQFK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28455105, Meyniel graph (unknown). Also MathWorld MeynielGraph
- wikipedia: Wikipedia Meyniel graph, Meyniel graph (definition). Also Wikidata Q28455105
History
- 2026-10-26: add by m2/dev
Malta Mathematical Society G260XRN1ZK
| URI | m2://inv/G260XRN1ZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#S26B, Malta Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
Gregory Chow G263A0VPTR
| URI | m2://inv/G263A0VPTR |
|---|---|
| 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#BLVS, Gregory Chow (unknown)
History
- 2026-11-02: add by m2/dev
Enumeration G263YXTWTE
| URI | m2://inv/G263YXTWTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudoforest#EIA7, Enumeration (definition)
History
- 2026-11-02: add by m2/dev
Cretaceous Long Normal G269Q2F469
| URI | m2://inv/G269Q2F469 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geomagnetic reversal#1WEJ, Cretaceous Long Normal (unknown)
History
- 2026-11-02: add by m2/dev
Alexander Guts G26FM3PWM4
| URI | m2://inv/G26FM3PWM4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Guts, Alexander Guts (topic). Also Wikidata Q109489657
History
- 2026-11-02: add by m2/dev
Property G26P2RHMNX
| URI | m2://inv/G26P2RHMNX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haar wavelet#K2MP, Property (statement)
History
- 2026-11-02: add by m2/dev
Doubly stochastic matrix G26VWN138K
| URI | m2://inv/G26VWN138K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#N2RN, Doubly stochastic matrix (definition)
History
- 2026-11-02: add by m2/dev
Definition G2727MK0WB
| URI | m2://inv/G2727MK0WB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-Riemannian manifold#87UY, Definition (definition)
History
- 2026-11-02: add by m2/dev
Spheres G275VZKH7E
| URI | m2://inv/G275VZKH7E |
|---|---|
| Kind | example |
| 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 2510.23812#B9OS, Spheres (example). In D8XZBXJPR5/e1, example 3.14
History
- 2026-10-27: add by m2/v0.3.5
Digital Library of Mathematical Functions G277S3Y2WT
| URI | m2://inv/G277S3Y2WT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital Library of Mathematical Functions, Digital Library of Mathematical Functions (definition). Also Wikidata Q24534
History
- 2026-11-02: add by m2/dev
Dynkin index G27A0NNKAY
| URI | m2://inv/G27A0NNKAY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynkin index, Dynkin index (definition). Also Wikidata Q1269186
History
- 2026-11-02: add by m2/dev
Temperley–Lieb algebra G27A2GBBJB
| URI | m2://inv/G27A2GBBJB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#2H59, Temperley–Lieb algebra (definition)
History
- 2026-11-02: add by m2/dev
G27BZ88XHD G27BZ88XHD
| URI | m2://inv/G27BZ88XHD |
|---|---|
| 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.02901#AGAK (statement). In NSP90G5XCQ/e1, lemma 2.20
History
- 2026-10-29: add by m2/v0.4.12
G27J7YMM0M G27J7YMM0M
| URI | m2://inv/G27J7YMM0M |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09739#0ULW (example). In ZYNZ95FSFD/e1, example 3.5
History
- 2026-10-29: add by m2/v0.4.10
G27XHCN82C G27XHCN82C
| URI | m2://inv/G27XHCN82C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32946#BHI5 (statement). In 6AEBXNK614/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
Lancaster University School of Mathematics G27Z0K4GTG
| URI | m2://inv/G27Z0K4GTG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lancaster University School of Mathematics, Lancaster University School of Mathematics (definition). Also Wikidata Q111944592
History
- 2026-11-02: add by m2/dev
G280H7NCVN G280H7NCVN
| URI | m2://inv/G280H7NCVN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23833#XB1M (statement)
History
- 2026-11-02: add by m2/v0.6.17
G280R4GMVC G280R4GMVC
| URI | m2://inv/G280R4GMVC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 19-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 2610.02017#9H1E (example). In F6C80AEXC1/e1, example 2.6
History
- 2026-10-29: add by m2/v0.4.12
G283ZPZ284 G283ZPZ284
| URI | m2://inv/G283ZPZ284 |
|---|---|
| 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.10233#OS7V (statement). In QR9WE79ERQ/e1, lemma 7.6
History
- 2026-10-29: add by m2/v0.4.10
Hasse-function lift G28A8ZB5QA
| URI | m2://inv/G28A8ZB5QA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#HI6L, Hasse-function lift (statement). In 5BZQS1KY9A/e1, theorem 5.4
History
- 2026-10-29: add by m2/v0.4.10
G28EBYQBP4 G28EBYQBP4
| URI | m2://inv/G28EBYQBP4 |
|---|---|
| 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 2610.15454#L6OB (statement). In RGQZVNXWM5/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
statistical population G28ETHSKJE
| URI | m2://inv/G28ETHSKJE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#YNBD, statistical population (definition)
History
- 2026-11-02: add by m2/dev
G28PR8V1Y9 G28PR8V1Y9
| URI | m2://inv/G28PR8V1Y9 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20225#7DBV (problem)
History
- 2026-11-02: add by m2/v0.6.18
Examples G28RNDB4QM
| URI | m2://inv/G28RNDB4QM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kobon triangle problem#4QDB, Examples (example)
History
- 2026-11-02: add by m2/dev
Seed equivalence G28S0DWXVT
| URI | m2://inv/G28S0DWXVT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17441#YTY3, Seed equivalence (definition). In 9Q8S0NWHP2/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.2
SegWit G28W5HXCAV
| URI | m2://inv/G28W5HXCAV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SegWit, SegWit (definition). Also Wikidata Q30327698
History
- 2026-11-02: add by m2/dev
Nadeschda Gernet G293KAC01X
| URI | m2://inv/G293KAC01X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nadeschda Gernet, Nadeschda Gernet (topic). Also Wikidata Q4137362
History
- 2026-11-02: add by m2/dev
G295VRAFZN G295VRAFZN
| URI | m2://inv/G295VRAFZN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01858#LNIW (definition). In NXSV14WJKJ/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
G2984T1DCT G2984T1DCT
| URI | m2://inv/G2984T1DCT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/normalization/permutations.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 59.1
History
- 2026-11-01: add by m2/v0.6.13
G29DMYSE6A G29DMYSE6A
| URI | m2://inv/G29DMYSE6A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.05198#NZV9 (statement). In NJWY6HPFHG/e1, fact 5
History
- 2026-10-27: add by m2/v0.3.5
topological graph G29FNM9ABB
| URI | m2://inv/G29FNM9ABB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17104195, topological graph (concept). Also MathWorld TopologicalGraph
- wikipedia: Wikipedia Topological graph, Topological graph (definition). Also Wikidata Q17104195
History
- 2026-10-26: add by m2/dev
Avila G29PSA1SPG
| URI | m2://inv/G29PSA1SPG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23972#7H75, Avila (statement)
History
- 2026-11-02: add by m2/v0.6.17
G29V2JXQWF G29V2JXQWF
| URI | m2://inv/G29V2JXQWF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book formal.tex#thm-1 (statement). In N54F33XE07, thm, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Bipolar violation G29WPF8DA2
| URI | m2://inv/G29WPF8DA2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#JVXA, Bipolar violation (unknown)
History
- 2026-11-02: add by m2/dev
2e Valthermond G2A281AY4W
| URI | m2://inv/G2A281AY4W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#OLIM, 2e Valthermond (unknown)
History
- 2026-11-02: add by m2/dev
G2A534WD68 G2A534WD68
| URI | m2://inv/G2A534WD68 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#FH58 (statement). In KZ71GXT2B0/e1, proposition 2.42
History
- 2026-10-28: add by m2/v0.4.2
Definition G2ADSSK207
| URI | m2://inv/G2ADSSK207 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Darboux frame#OOFL, Definition (definition)
History
- 2026-11-02: add by m2/dev
archimedean G2AJJB51RB
| URI | m2://inv/G2AJJB51RB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#Z7TM, archimedean (definition)
History
- 2026-11-02: add by m2/dev
Definition G2ANGWGYXX
| URI | m2://inv/G2ANGWGYXX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind sum#6PAS, Definition (definition)
History
- 2026-11-02: add by m2/dev
G2ARN3JWE6 G2ARN3JWE6
| URI | m2://inv/G2ARN3JWE6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 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.22078#NDOJ (statement). In NRF7379N9J/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.0
G2AVH1422W G2AVH1422W
| URI | m2://inv/G2AVH1422W |
|---|---|
| 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#M8Q5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Nancy Kopell G2AYFZ2A8G
| URI | m2://inv/G2AYFZ2A8G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nancy Kopell, Nancy Kopell (topic). Also Wikidata Q516854
History
- 2026-11-02: add by m2/dev
G2AZDJ0JBP G2AZDJ0JBP
| URI | m2://inv/G2AZDJ0JBP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/sheaves.tex#definition-9 (definition). In RZP28ERRZV, definition, section 25.6
History
- 2026-11-01: add by m2/v0.6.13
G2B67A5XBC G2B67A5XBC
| URI | m2://inv/G2B67A5XBC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03144#A2SU (statement). In 9QW88325GS/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
G2B9Z8TGHF G2B9Z8TGHF
| URI | m2://inv/G2B9Z8TGHF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20558#YRDQ (definition). In 46370P3Y9S/e1, definition 5.15
History
- 2026-10-27: add by m2/v0.4.2
Formulation G2BBVGN85R
| URI | m2://inv/G2BBVGN85R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric mean#SJHI, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Elektronika MK-18M G2BQTM5B3C
| URI | m2://inv/G2BQTM5B3C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elektronika MK-18M, Elektronika MK-18M (definition). Also Wikidata Q4530970
History
- 2026-11-02: add by m2/dev
G2BWDA7E51 G2BWDA7E51
| URI | m2://inv/G2BWDA7E51 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15432#YKQ0 (statement). In D1DFM4WYEW/e1, lemma 7.6
History
- 2026-10-28: add by m2/v0.4.2
Depth-first search G2BY08R0YK
| URI | m2://inv/G2BY08R0YK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#TBUW, Depth-first search (definition)
History
- 2026-11-02: add by m2/dev
Properties G2BZWYDETM
| URI | m2://inv/G2BZWYDETM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral sequence#ZWOP, Properties (statement)
History
- 2026-11-02: add by m2/dev
G2C3CQDWSA G2C3CQDWSA
| URI | m2://inv/G2C3CQDWSA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09561#G9OJ (statement). In WDV5E2CVTR/e1, corollary 3.11
History
- 2026-10-29: add by m2/v0.4.10
Equitability G2CCBMGQB1
| URI | m2://inv/G2CCBMGQB1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equitability, Equitability (definition). Also Wikidata Q107750653
History
- 2026-11-02: add by m2/dev
General formulas G2CN00JFE0
| URI | m2://inv/G2CN00JFE0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Area#0BYE, General formulas (statement)
History
- 2026-11-02: add by m2/dev
G2CVA0BPG9 G2CVA0BPG9
| URI | m2://inv/G2CVA0BPG9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10925#L732 (statement). In 9604WYX0BW/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.3
G2D1GD2733 G2D1GD2733
| URI | m2://inv/G2D1GD2733 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10581#31HK (statement). In 6V42A71SPC/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
G2D1PMMD19 G2D1PMMD19
| URI | m2://inv/G2D1PMMD19 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#WFNM (definition). In M0SQY5EZN5/e1, definition 1.1.11
History
- 2026-10-27: add by m2/v0.3.5
Example G2D8TFD869
| URI | m2://inv/G2D8TFD869 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual control theory#YD7N, Example (example)
History
- 2026-11-02: add by m2/dev
G2DAJJPSA8 G2DAJJPSA8
| URI | m2://inv/G2DAJJPSA8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27974#ZPR3 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Corollary G2DC2QYCBX
| URI | m2://inv/G2DC2QYCBX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Midy's theorem#BCQ5, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Verónica Martínez de la Vega G2DDQ9VKCW
| URI | m2://inv/G2DDQ9VKCW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Verónica Martínez de la Vega, Verónica Martínez de la Vega (topic). Also Wikidata Q102409896
History
- 2026-11-02: add by m2/dev
Order-4 square tiling honeycomb G2DHQM2F5J
| URI | m2://inv/G2DHQM2F5J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#8PAC, Order-4 square tiling honeycomb (definition)
History
- 2026-11-02: add by m2/dev
Applications G2DN156BXN
| URI | m2://inv/G2DN156BXN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primorial#X60U, Applications (example)
History
- 2026-11-02: add by m2/dev
G2DSDSP87M G2DSDSP87M
| URI | m2://inv/G2DSDSP87M |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-79 (exercise). In E9HS8K3A52, exercise, section 6.6.3
History
- 2026-11-01: add by m2/v0.6.13
G2DTC9KZX7 G2DTC9KZX7
| URI | m2://inv/G2DTC9KZX7 |
|---|---|
| Kind | statement |
| 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 2610.04730#RUDG (statement). In QHFP0837Q8/e1, proposition 5.14
History
- 2026-10-29: add by m2/v0.4.12
Unseen species problem G2E04KBD11
| URI | m2://inv/G2E04KBD11 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DU1A, Unseen species problem (problem)
History
- 2026-11-02: add by m2/dev
G2E6NSJPZX G2E6NSJPZX
| URI | m2://inv/G2E6NSJPZX |
|---|---|
| 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 2610.20302#1FGF (definition). In GN8JWKH956/e1, definition
History
- 2026-10-27: add by m2/v0.4.2
Coarea Formula, \protect G2ERKY0G3E
| URI | m2://inv/G2ERKY0G3E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.22681#461C, Coarea Formula, \protect (statement). In 68VEQQX68G/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.0
G2EVFH41ZF G2EVFH41ZF
| URI | m2://inv/G2EVFH41ZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24795#ODCS (statement)
History
- 2026-11-01: add by m2/v0.6.15
G2EWTMSSZH G2EWTMSSZH
| URI | m2://inv/G2EWTMSSZH |
|---|---|
| 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.14236#TZ32 (statement). In XEQD21EBTT/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
Émile Merlin G2EY4NDKDZ
| URI | m2://inv/G2EY4NDKDZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Émile Merlin, Émile Merlin (topic). Also Wikidata Q16831210
History
- 2026-11-02: add by m2/dev
General definition G2F04EB9EE
| URI | m2://inv/G2F04EB9EE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinary differential equation#MPEO, General definition (definition)
History
- 2026-11-02: add by m2/dev
G2F14J255H G2F14J255H
| URI | m2://inv/G2F14J255H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16541#HES6 (definition). In D0XH7W96T3/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Data stream clustering G2F1TZ2C98
| URI | m2://inv/G2F1TZ2C98 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#18Z2, Data stream clustering (definition)
History
- 2026-11-02: add by m2/dev
3 31 honeycomb G2F65PHEMZ
| URI | m2://inv/G2F65PHEMZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3 31 honeycomb, 3 31 honeycomb (definition). Also Wikidata Q4636460
History
- 2026-11-02: add by m2/dev
G2F887CTXK G2F887CTXK
| URI | m2://inv/G2F887CTXK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05486#QVTG (statement). In 5Z46AK2XTC/e1, lemma B.2
History
- 2026-10-29: add by m2/v0.4.10
G2F9CJ6HTT G2F9CJ6HTT
| URI | m2://inv/G2F9CJ6HTT |
|---|---|
| Kind | example |
| 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 2302.05529#P7Y5 (example). In 9VPMHV0M4R/e1, example 2.3
History
- 2026-10-31: add by m2/v0.5.6
Circle packing in an equilateral triangle G2FEJJ41SY
| URI | m2://inv/G2FEJJ41SY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circle packing in an equilateral triangle, Circle packing in an equilateral triangle (definition). Also Wikidata Q5121502
History
- 2026-11-02: add by m2/dev
Examples G2FK6VWWCR
| URI | m2://inv/G2FK6VWWCR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Admissible decision rule#59PV, Examples (example)
History
- 2026-11-02: add by m2/dev
History of cryptography G2FQ65FRSE
| URI | m2://inv/G2FQ65FRSE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of cryptography, History of cryptography (definition). Also Wikidata Q467928
History
- 2026-11-02: add by m2/dev
G2FSBBGWPV G2FSBBGWPV
| URI | m2://inv/G2FSBBGWPV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-intro.ptx#investigation-1 (exercise). In Y91XFCEVHQ, investigation, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Developable space G2FWHTA082
| URI | m2://inv/G2FWHTA082 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#MTV3, Developable space (definition)
History
- 2026-11-02: add by m2/dev
G2FXSMDF3C G2FXSMDF3C
| URI | m2://inv/G2FXSMDF3C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2209.00108#RHME (statement). In V2G422ZMPW/e1, lemma 13
History
- 2026-10-27: add by m2/v0.3.5
Implementation G2GDYDSQW2
| URI | m2://inv/G2GDYDSQW2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Difference in differences#9RBX, Implementation (definition)
History
- 2026-11-02: add by m2/dev
G2GK9T1DK7 G2GK9T1DK7
| URI | m2://inv/G2GK9T1DK7 |
|---|---|
| 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.30113#ZFZL (statement)
History
- 2026-11-01: add by m2/v0.6.15
G2GM52BV19 G2GM52BV19
| URI | m2://inv/G2GM52BV19 |
|---|---|
| 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.08664#CN3W (statement). In 1YY0P4ZS0T/e1, lemma 26
History
- 2026-10-29: add by m2/v0.4.10
General consequence for samplers with logarithmic state G2GM8Q36WW
| URI | m2://inv/G2GM8Q36WW |
|---|---|
| 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.14615#XA1G, General consequence for samplers with logarithmic state (statement). In 7D5MMP8XB5/e1, corollary 8.1
History
- 2026-10-28: add by m2/v0.4.2
Michael Starbird G2GZXDB5EY
| URI | m2://inv/G2GZXDB5EY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Starbird, Michael Starbird (topic). Also Wikidata Q6834581
History
- 2026-11-02: add by m2/dev
G2H4CFD3Q3 G2H4CFD3Q3
| URI | m2://inv/G2H4CFD3Q3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19357#FDO2 (statement). In RGXQ50RWXV/e1, corollary 4.8
History
- 2026-10-28: add by m2/v0.4.2
Generalizations G2HQ8DNMTJ
| URI | m2://inv/G2HQ8DNMTJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Focus (geometry)#I0TA, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
G2HXAXD40E G2HXAXD40E
| URI | m2://inv/G2HXAXD40E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12053#A1Z6 (statement). In MQ226ETRP6/e1, lemma 2.15
History
- 2026-10-28: add by m2/v0.4.3
G2HZW50SRK G2HZW50SRK
| URI | m2://inv/G2HZW50SRK |
|---|---|
| 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.21005#TPAF (statement). In E63NRC7MBE/e1, proposition 2.14
History
- 2026-10-27: add by m2/v0.4.2
Spectral covariance G2J6M55RG1
| URI | m2://inv/G2J6M55RG1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24807#X5DF, Spectral covariance (statement)
History
- 2026-11-01: add by m2/v0.6.15
G2J8H7CX81 G2J8H7CX81
| URI | m2://inv/G2J8H7CX81 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-63 (exercise). In E59CDZA4DP, exercise, section 4.5.6
History
- 2026-11-01: add by m2/v0.6.13
GRIM test G2J91CZGM9
| URI | m2://inv/G2J91CZGM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GRIM test, GRIM test (definition). Also Wikidata Q48998113
History
- 2026-11-02: add by m2/dev
Corollary 1 G2JA1NV16K
| URI | m2://inv/G2JA1NV16K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential forms on a Riemann surface#NJSO, Corollary 1 (statement)
History
- 2026-11-02: add by m2/dev
G2JB17R1VV G2JB17R1VV
| URI | m2://inv/G2JB17R1VV |
|---|---|
| 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.19309#Y3NJ (statement). In XKENQH35DW/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
G2JDKBQW8Y G2JDKBQW8Y
| URI | m2://inv/G2JDKBQW8Y |
|---|---|
| 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.04172#7FG2 (statement). In 9Q1D1NMTTS/e1, lemma 14
History
- 2026-10-29: add by m2/v0.4.12
G2JDYKN2M5 G2JDYKN2M5
| URI | m2://inv/G2JDYKN2M5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.01036#5Z96 (definition). In 6VX2G6RTH7/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
spheroid G2JFFKGCTP
| URI | m2://inv/G2JFFKGCTP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q208395, spheroid (unknown). Also MathWorld Spheroid
- wikipedia: Wikipedia Spheroid, Spheroid (definition). Also Wikidata Q208395
History
- 2026-10-26: add by m2/dev
David Kazhdan G2JJQDMWNT
| URI | m2://inv/G2JJQDMWNT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#WD6V, David Kazhdan (topic)
History
- 2026-11-02: add by m2/dev
topological G2JK5ZBG86
| URI | m2://inv/G2JK5ZBG86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#JCKB, topological (definition)
History
- 2026-11-02: add by m2/dev
Fundamental theorem G2JW6EQBAM
| URI | m2://inv/G2JW6EQBAM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension theory (algebra)#LV4G, Fundamental theorem (statement)
History
- 2026-11-02: add by m2/dev
Algorithm G2K87W986Y
| URI | m2://inv/G2K87W986Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quicksort#Q1RL, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Lemma G2KF3NPXX7
| URI | m2://inv/G2KF3NPXX7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Descartes's rule of signs#93ZA, Lemma (statement)
History
- 2026-11-02: add by m2/dev
G2KK9DZAQC G2KK9DZAQC
| URI | m2://inv/G2KK9DZAQC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.19658#J4V3 (statement). In G00EYA9DXG/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
G2KMK6PQVT G2KMK6PQVT
| URI | m2://inv/G2KMK6PQVT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2610.06455#E1XJ (statement). In N6GB5J5BAY/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
triangular function G2KT419N60
| URI | m2://inv/G2KT419N60 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1257483, triangular function (unknown). Also MathWorld TriangleFunction
- wikipedia: Wikipedia Triangular function, Triangular function (definition). Also Wikidata Q1257483
History
- 2026-10-26: add by m2/dev
G2M306V4VS G2M306V4VS
| URI | m2://inv/G2M306V4VS |
|---|---|
| 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#69W2 (statement). In E7W2HDNEKJ/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
G2M6ADWS8B G2M6ADWS8B
| URI | m2://inv/G2M6ADWS8B |
|---|---|
| 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 math/0003117#WGIG (definition). In WD2NCBV9F0/e1, definition 9.19
History
- 2026-10-27: add by m2/v0.3.5
Graphs and connected graphs G2M7YSFBK7
| URI | m2://inv/G2M7YSFBK7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1905.02785#FC8B, Graphs and connected graphs (definition). In PF9KV74Q02/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Redington, Frank G2M9BEQ4ZN
| URI | m2://inv/G2M9BEQ4ZN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#N58K, Redington, Frank (unknown)
History
- 2026-11-02: add by m2/dev
sample space G2MBS3KKW0
| URI | m2://inv/G2MBS3KKW0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#D1DM, sample space (definition)
History
- 2026-11-02: add by m2/dev
$x^2-5y^2 = \pm 1$ G2MJA1E156
| URI | m2://inv/G2MJA1E156 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/pell.tex#example-4, $x^2-5y^2 = \pm 1$ (example). In RZP28ERRZV, example, section 17.4
History
- 2026-11-01: add by m2/v0.6.13
G2MJHKJ1KZ G2MJHKJ1KZ
| URI | m2://inv/G2MJHKJ1KZ |
|---|---|
| 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.14434#ZXSZ (statement). In TW93XZXMHE/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
G2MTQCERAQ G2MTQCERAQ
| URI | m2://inv/G2MTQCERAQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#thm:abs value less than or equal to iff squeezed by plus minus (statement). In P1C114YBXG, theorem, section u1
History
- 2026-11-01: add by m2/v0.6.13
Attainment and an arbitrary entropy budget G2MWQHZRD7
| URI | m2://inv/G2MWQHZRD7 |
|---|---|
| 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#3RGO, Attainment and an arbitrary entropy budget (statement). In 9YAE8FNQST/e1, corollary 28.9
History
- 2026-10-30: add by m2/v0.4.12
George Dantzig G2MY30WMH0
| URI | m2://inv/G2MY30WMH0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#2GKT, George Dantzig (topic)
History
- 2026-11-02: add by m2/dev
Finite set G2MYT5F9WW
| URI | m2://inv/G2MYT5F9WW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of sets#9GX7, Finite set (definition)
History
- 2026-11-02: add by m2/dev
Kazuoki Azuma G2MZZZW6DY
| URI | m2://inv/G2MZZZW6DY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kazuoki Azuma, Kazuoki Azuma (topic). Also Wikidata Q6381690
History
- 2026-11-02: add by m2/dev
G2N2SK5A78 G2N2SK5A78
| URI | m2://inv/G2N2SK5A78 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31278#2HMK (statement). In KEP21CZFV9/e1, proposition #1
History
- 2026-10-31: add by m2/v0.5.6
Principle of induction G2N3JB62AX
| URI | m2://inv/G2N3JB62AX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#induction:thm, Principle of induction (statement). In E59CDZA4DP, thm, section 11.9.2
History
- 2026-11-01: add by m2/v0.6.13
G2N3PTV4TR G2N3PTV4TR
| URI | m2://inv/G2N3PTV4TR |
|---|---|
| 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 2610.07530#Z9W8 (definition). In C7QZ0VPBC8/e1, definition 2.12
History
- 2026-10-29: add by m2/v0.4.10
G2N557BF79 G2N557BF79
| URI | m2://inv/G2N557BF79 |
|---|---|
| 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.26324#XGH3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
G2NK2WKSF1 G2NK2WKSF1
| URI | m2://inv/G2NK2WKSF1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22338#8QKF (statement)
History
- 2026-11-02: add by m2/v0.6.17
G2NNV374GG G2NNV374GG
| URI | m2://inv/G2NNV374GG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24610#YQ6W (statement)
History
- 2026-11-01: add by m2/v0.6.15
Basic Block Simulation G2NSSM41CH
| URI | m2://inv/G2NSSM41CH |
|---|---|
| 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 math/0003117#YMDN, Basic Block Simulation (statement). In WD2NCBV9F0/e1, theorem 16
History
- 2026-10-27: add by m2/v0.3.5
G2PTDYTZ34 G2PTDYTZ34
| URI | m2://inv/G2PTDYTZ34 |
|---|---|
| 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.01812#L0TQ (statement). In FQPVSYXAGC/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
Uniform cap Dirichlet estimate G2PW9467N0
| URI | m2://inv/G2PW9467N0 |
|---|---|
| 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.11077#E0GO, Uniform cap Dirichlet estimate (statement). In 4333A6G5K5/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.3
Robert Myers G2PWP8FX3Y
| URI | m2://inv/G2PWP8FX3Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#WHMG, Robert Myers (unknown)
History
- 2026-11-02: add by m2/dev
Example G2Q18GFDQK
| URI | m2://inv/G2Q18GFDQK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bit-reversal permutation#GNKH, Example (example)
History
- 2026-11-02: add by m2/dev
G2Q2DY1RPD G2Q2DY1RPD
| URI | m2://inv/G2Q2DY1RPD |
|---|---|
| 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.23779#V6W8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
G2Q345JZ5G G2Q345JZ5G
| URI | m2://inv/G2Q345JZ5G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26337#RZDY (statement)
History
- 2026-11-01: add by m2/v0.6.15
G2Q3HCJ1T1 G2Q3HCJ1T1
| URI | m2://inv/G2Q3HCJ1T1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29469#EKJI (statement)
History
- 2026-11-01: add by m2/v0.6.15
G2QG1C3SEN G2QG1C3SEN
| URI | m2://inv/G2QG1C3SEN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1904.08413#URGR (definition). In X88HPQ0W8C/e1, definition 2.29
History
- 2026-10-27: add by m2/v0.3.5
Examples G2QTFZT6X1
| URI | m2://inv/G2QTFZT6X1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherically complete field#E6ZQ, Examples (example)
History
- 2026-11-02: add by m2/dev
G2QWXWEHGD G2QWXWEHGD
| URI | m2://inv/G2QWXWEHGD |
|---|---|
| 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.24523#6LRZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algorithm G2R51CPGJQ
| URI | m2://inv/G2R51CPGJQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection non-emptiness problem#GUY4, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
The case $\mu=\nu=(1)$ G2R6VSV6B3
| URI | m2://inv/G2R6VSV6B3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 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.12326#LMCW, The case $\mu=\nu=(1)$ (example). In 9S7HGSEX6Q/e1, example 7.1
History
- 2026-10-28: add by m2/v0.4.2
G2RGR7DH3K G2RGR7DH3K
| URI | m2://inv/G2RGR7DH3K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX, 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 2610.16157#BEKI (statement). In GV251MW5RP/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Line-intercept sampling G2RJFXXYRN
| URI | m2://inv/G2RJFXXYRN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line-intercept sampling, Line-intercept sampling (definition). Also Wikidata Q16964971
History
- 2026-11-02: add by m2/dev
Algebraic form G2RK1RTZDH
| URI | m2://inv/G2RK1RTZDH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#1VYE, Algebraic form (definition)
History
- 2026-11-02: add by m2/dev
Brown's representability theorem G2RN24PAND
| URI | m2://inv/G2RN24PAND |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#OR21, Brown's representability theorem (statement)
History
- 2026-11-02: add by m2/dev
Homogenized Maz'ya--Shaposhnikova G2RP6AV4BF
| URI | m2://inv/G2RP6AV4BF |
|---|---|
| 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.10935#WMI4, Homogenized Maz'ya--Shaposhnikova (statement). In 7X27KRAHCE/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.3
Heteroclinic bifurcation G2RPWNRWEZ
| URI | m2://inv/G2RPWNRWEZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bifurcation theory#845Q, Heteroclinic bifurcation (unknown)
History
- 2026-11-02: add by m2/dev
Bitcoin G2RRRD5VWR
| URI | m2://inv/G2RRRD5VWR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131723, Bitcoin (unknown). Also nLab bitcoin
- wikipedia: Wikipedia Bitcoin, Bitcoin (definition). Also Wikidata Q131723
History
- 2026-10-26: add by m2/dev
Leon Henkin G2S17NK14P
| URI | m2://inv/G2S17NK14P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leon Henkin, Leon Henkin (topic). Also Wikidata Q111637
History
- 2026-11-02: add by m2/dev
G2S6QD4PQV G2S6QD4PQV
| URI | m2://inv/G2S6QD4PQV |
|---|---|
| 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.09704#OC0Z (statement). In FNG4B47MRV/e1, corollary 3.9
History
- 2026-10-29: add by m2/v0.4.10
G2S8HCZZHJ G2S8HCZZHJ
| URI | m2://inv/G2S8HCZZHJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38323#88DA (statement). In MER0S03A77/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
David Luenberger G2S9Y2X0K0
| URI | m2://inv/G2S9Y2X0K0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Luenberger, David Luenberger (topic). Also Wikidata Q93060
History
- 2026-11-02: add by m2/dev
Hilbert–Pólya conjecture G2SA6W8HQ8
| URI | m2://inv/G2SA6W8HQ8 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert–Pólya conjecture, Hilbert–Pólya conjecture (conjecture). Also Wikidata Q2993323
History
- 2026-11-02: add by m2/dev
Orthogonal neighboring branches G2SAE2P9M3
| URI | m2://inv/G2SAE2P9M3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16069#XJWW, Orthogonal neighboring branches (statement). In MBJA03ES8N/e1, corollary 8.7
History
- 2026-10-28: add by m2/v0.4.2
Peripatetic school G2SJRY8Y3N
| URI | m2://inv/G2SJRY8Y3N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peripatetic school, Peripatetic school (definition). Also Wikidata Q194414
History
- 2026-11-02: add by m2/dev
Arthur Ashe G2SYY4Y66W
| URI | m2://inv/G2SYY4Y66W |
|---|---|
| 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#Q9PM, Arthur Ashe (unknown)
History
- 2026-11-02: add by m2/dev
G2T26E64YZ G2T26E64YZ
| URI | m2://inv/G2T26E64YZ |
|---|---|
| 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 2610.11800#13GF (statement). In 8TSZ2E32K3/e1, corollary 4.11
History
- 2026-10-28: add by m2/v0.4.3
\emph{Optimal Solution G2T5S1X1S0
| URI | m2://inv/G2T5S1X1S0 |
|---|---|
| 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.13424#1Y6U, \emph{Optimal Solution (statement). In RBCXCDNPAN/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
distributive law between monads G2TC5GTCBB
| URI | m2://inv/G2TC5GTCBB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5283215, distributive law between monads (unknown). Also nLab distributive law
- wikipedia: Wikipedia Distributive law between monads, Distributive law between monads (statement). Also Wikidata Q5283215
History
- 2026-10-26: add by m2/dev
Theorem G2TCZ307R2
| URI | m2://inv/G2TCZ307R2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aliasing (factorial experiments)#68VU, Theorem (statement)
History
- 2026-11-02: add by m2/dev
G2TF42JVGE G2TF42JVGE
| URI | m2://inv/G2TF42JVGE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.09319#M2PO (statement). In GMRT5GHBZS/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.10
G2TJ3Y6G5C G2TJ3Y6G5C
| URI | m2://inv/G2TJ3Y6G5C |
|---|---|
| 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.33241#4IKD (statement). In NX6QV01PCE/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
G2TK0ZHGWA G2TK0ZHGWA
| URI | m2://inv/G2TK0ZHGWA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39254#5YWF (definition). In A59MZ9H284/e1, definition 4.8
History
- 2026-10-30: add by m2/v0.4.12
Topologically graded regular inclusions G2TN47FEA4
| URI | m2://inv/G2TN47FEA4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#FV1V, Topologically graded regular inclusions (statement)
History
- 2026-11-01: add by m2/v0.6.15
G2TP4KQN59 G2TP4KQN59
| URI | m2://inv/G2TP4KQN59 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35030#P1PV (statement). In DPT4P2BTEW/e1, proposition 5.15
History
- 2026-10-30: add by m2/v0.4.12
Anna Zofia Krygowska G2TTS3SCZT
| URI | m2://inv/G2TTS3SCZT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anna Zofia Krygowska, Anna Zofia Krygowska (topic). Also Wikidata Q9155842
History
- 2026-11-02: add by m2/dev
Marc G. Genton G2V39WB1GX
| URI | m2://inv/G2V39WB1GX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#8UCT, Marc G. Genton (topic)
History
- 2026-11-02: add by m2/dev
The Mirror Has Two Faces G2V3FV9195
| URI | m2://inv/G2V3FV9195 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#CGW3, The Mirror Has Two Faces (unknown)
History
- 2026-11-02: add by m2/dev
G2V3MM540R G2V3MM540R
| URI | m2://inv/G2V3MM540R |
|---|---|
| Kind | example |
| 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 1803.10042#KLIU (example). In 718SP8YERQ/e1, example A10
History
- 2026-10-27: add by m2/v0.3.5
G2V922RYBJ G2V922RYBJ
| URI | m2://inv/G2V922RYBJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04179#7W1B (statement). In D64RQ09KBP/e1, corollary 4.11
History
- 2026-10-29: add by m2/v0.4.12
Finite-angle positivity, $m=3$ triangle swap G2VH4QNYBQ
| URI | m2://inv/G2VH4QNYBQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#ABBX, Finite-angle positivity, $m=3$ triangle swap (statement)
History
- 2026-11-01: add by m2/v0.6.15
G2VK9GCH08 G2VK9GCH08
| URI | m2://inv/G2VK9GCH08 |
|---|---|
| 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.07442#4DUB (statement). In 6SDC2Z8Y8M/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
Weyl–Kac character formula G2VSGT7YG5
| URI | m2://inv/G2VSGT7YG5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl character formula#411K, Weyl–Kac character formula (statement)
History
- 2026-11-02: add by m2/dev
G2VYC2DGE8 G2VYC2DGE8
| URI | m2://inv/G2VYC2DGE8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/taylor.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 34.7
History
- 2026-11-01: add by m2/v0.6.13
Algorithm G2W1D6H4KN
| URI | m2://inv/G2W1D6H4KN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fast marching method#NFSM, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Example G2W3J8MTAX
| URI | m2://inv/G2W3J8MTAX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dominance-based rough set approach#LPME, Example (example)
History
- 2026-11-02: add by m2/dev
Schröder–Bernstein property G2W6NGJ1X2
| URI | m2://inv/G2W6NGJ1X2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schröder–Bernstein property, Schröder–Bernstein property (definition). Also Wikidata Q7432917
History
- 2026-11-02: add by m2/dev
A Biography of Maria Gaetana Agnesi G2W7KWZ3PB
| URI | m2://inv/G2W7KWZ3PB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A Biography of Maria Gaetana Agnesi, A Biography of Maria Gaetana Agnesi (definition). Also Wikidata Q106555049
History
- 2026-11-02: add by m2/dev
String graph G2WB96VR4A
| URI | m2://inv/G2WB96VR4A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#YQY9, String graph (definition)
History
- 2026-11-02: add by m2/dev
Triangle problem G2WE57W3M0
| URI | m2://inv/G2WE57W3M0 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14373#JRS9, Triangle problem (problem). In 77TK7M3B9Y/e1, problem 4
History
- 2026-10-28: add by m2/v0.4.2
Examples G2WG2WGAPW
| URI | m2://inv/G2WG2WGAPW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stress concentration#8VY9, Examples (example)
History
- 2026-11-02: add by m2/dev
Antoni Zygmund G2WH8HFXV0
| URI | m2://inv/G2WH8HFXV0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antoni Zygmund, Antoni Zygmund (topic). Also Wikidata Q598132
History
- 2026-11-02: add by m2/dev
G2WHSQYMA4 G2WHSQYMA4
| URI | m2://inv/G2WHSQYMA4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2609.31783#Y0AZ (statement). In CGNVT4C47F/e1, theorem 3.3
History
- 2026-10-31: add by m2/v0.5.6
G2WMVSGE73 G2WMVSGE73
| URI | m2://inv/G2WMVSGE73 |
|---|---|
| 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#2WEX (statement). In E7W2HDNEKJ/e1, theorem 5.16
History
- 2026-10-30: add by m2/v0.4.12
nullity G2WQ7BGNMN
| URI | m2://inv/G2WQ7BGNMN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigenvalues and eigenvectors#6CBJ, nullity (definition)
History
- 2026-11-02: add by m2/dev
G2X5NKQX83 G2X5NKQX83
| URI | m2://inv/G2X5NKQX83 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25742#TYSA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Variants G2XDJNEEXP
| URI | m2://inv/G2XDJNEEXP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Masyu#KL7W, Variants (statement)
History
- 2026-11-02: add by m2/dev
canonical form G2XNNM3B9B
| URI | m2://inv/G2XNNM3B9B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1152398, canonical form (unknown). Also MathWorld CanonicalForm, MathWorld NormalForm
- wikipedia: Wikipedia Canonical form, Canonical form (definition). Also Wikidata Q1152398
History
- 2026-10-26: add by m2/dev
Formulation G2XQ55B022
| URI | m2://inv/G2XQ55B022 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frequency (statistics)#M648, Formulation (definition)
History
- 2026-11-02: add by m2/dev
G2XRMR1R2B G2XRMR1R2B
| URI | m2://inv/G2XRMR1R2B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-10 (exercise). In QKM9DD2H56, exercise, section 7
History
- 2026-11-01: add by m2/v0.6.13
Heat martingale of a Lipschitz transport G2XSS3SYJX
| URI | m2://inv/G2XSS3SYJX |
|---|---|
| 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#WU3D, Heat martingale of a Lipschitz transport (statement). In 9YAE8FNQST/e1, lemma 15.4
History
- 2026-10-30: add by m2/v0.4.12
G2XTEJ96W9 G2XTEJ96W9
| URI | m2://inv/G2XTEJ96W9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9602216#YJOD (definition). In SD43497T8C/e1, definition 1.24
History
- 2026-10-27: add by m2/v0.3.5
Applications G2XW1KM6F4
| URI | m2://inv/G2XW1KM6F4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conic section#5XQH, Applications (example)
History
- 2026-11-02: add by m2/dev
Newton's laws G2XW9FWV3B
| URI | m2://inv/G2XW9FWV3B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrangian mechanics#OM9Y, Newton's laws (statement)
History
- 2026-11-02: add by m2/dev
Dirichlet process G2XZWRTFQZ
| URI | m2://inv/G2XZWRTFQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet process, Dirichlet process (definition). Also Wikidata Q5280766
History
- 2026-11-02: add by m2/dev
Kolmogorov–Smirnov test G2Y01EC187
| URI | m2://inv/G2Y01EC187 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1WBW, Kolmogorov–Smirnov test (definition)
History
- 2026-11-02: add by m2/dev
Absolute minima G2Y5JV00T6
| URI | m2://inv/G2Y5JV00T6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19953#ZADV, Absolute minima (statement). In CHPJWBREES/e1, corollary 4.4
History
- 2026-10-28: add by m2/v0.4.2
Call by copy-restore G2YBR3ZHEN
| URI | m2://inv/G2YBR3ZHEN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evaluation strategy#45HQ, Call by copy-restore (unknown)
History
- 2026-11-02: add by m2/dev
G2YCY23TR4 G2YCY23TR4
| URI | m2://inv/G2YCY23TR4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00512#MHW6 (example). In RB5QBG3MJY/e1, example 5.12
History
- 2026-10-30: add by m2/v0.4.12
G2YDY3WVD5 G2YDY3WVD5
| URI | m2://inv/G2YDY3WVD5 |
|---|---|
| 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#39E8 (statement). In 3HCT4TQ5PM/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
G2YPNYSTA0 G2YPNYSTA0
| URI | m2://inv/G2YPNYSTA0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04325#CDAG (statement). In 42XHT97E64/e1, theorem 5.2
History
- 2026-10-29: add by m2/v0.4.12
Properties G2YSBAG0XB
| URI | m2://inv/G2YSBAG0XB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factoriangular number#0LC2, Properties (statement)
History
- 2026-11-02: add by m2/dev
G2YTAPR0ZC G2YTAPR0ZC
| URI | m2://inv/G2YTAPR0ZC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 55-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31919#VIJY (definition). In RHN12PW9P9/e1, definition 4.3
History
- 2026-10-31: add by m2/v0.5.6
G2YV7GVKX2 G2YV7GVKX2
| URI | m2://inv/G2YV7GVKX2 |
|---|---|
| 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.00144#ZVY5 (statement). In HAZGBX88B3/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Edward Witten G2ZPBPJ73A
| URI | m2://inv/G2ZPBPJ73A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#D7DH, Edward Witten (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DMWL, Edward Witten (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YY5U, Edward Witten (topic)
- wikipedia: Wikipedia List of string theory topics#G0QA, Edward Witten (topic)
History
- 2026-11-02: add by m2/dev
Coupling growth G2ZPTFZS36
| URI | m2://inv/G2ZPTFZS36 |
|---|---|
| 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.38220#7C6O, Coupling growth (statement). In 1AC4S19925/e1, theorem 6.9
History
- 2026-10-30: add by m2/v0.4.12
G2ZT293E8K G2ZT293E8K
| URI | m2://inv/G2ZT293E8K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#N707 (definition)
History
- 2026-11-01: add by m2/v0.6.15
G2ZTBQZKJ0 G2ZTBQZKJ0
| URI | m2://inv/G2ZTBQZKJ0 |
|---|---|
| Kind | definition |
| 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.18016#DPRE (definition). In V5PVKDKGGG/e1, definition 2.7
History
- 2026-10-28: add by m2/v0.4.2
G2ZWH1HVMQ G2ZWH1HVMQ
| URI | m2://inv/G2ZWH1HVMQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30600#SI7C (statement). In BKGWH9ZN4J/e1, lemma 5.1
History
- 2026-10-31: add by m2/v0.5.6