Inventory rows GK
The cards of the rows of the inventory whose ids start with GK. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
GK000R9HFK GK000R9HFK
| URI | m2://inv/GK000R9HFK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2609.21611#NKU5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
minimum weight spanning trees, Prim's algorithm for GK00GXEJF2
| URI | m2://inv/GK00GXEJF2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/12.1.3/minimum-weight-spanning-trees-prim-s-algorithm-for, minimum weight spanning trees, Prim's algorithm for (concept). In QKM9DD2H56, index, section 12.1.3
History
- 2026-11-01: add by m2/v0.6.13
Improved entropy loss over very large fields GK06WK0486
| URI | m2://inv/GK06WK0486 |
|---|---|
| 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.20351#66JD, Improved entropy loss over very large fields (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties GK09G0QFPQ
| URI | m2://inv/GK09G0QFPQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deligne cohomology#G6FG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Cratylism GK0DFXVMW0
| URI | m2://inv/GK0DFXVMW0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cratylism, Cratylism (definition). Also Wikidata Q3002215
History
- 2026-11-02: add by m2/dev
Alternative hypothesis GK0GM9NXTD
| URI | m2://inv/GK0GM9NXTD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZWKJ, Alternative hypothesis (statement)
History
- 2026-11-02: add by m2/dev
GK11SXV68C GK11SXV68C
| URI | m2://inv/GK11SXV68C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20153#JESS (statement)
History
- 2026-11-02: add by m2/v0.6.18
GK19K4HW3H GK19K4HW3H
| URI | m2://inv/GK19K4HW3H |
|---|---|
| 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.32383#01XW (statement). In 94GZYA55Q5/e1, lemma 5
History
- 2026-10-31: add by m2/v0.5.6
GK1DZE54CA GK1DZE54CA
| URI | m2://inv/GK1DZE54CA |
|---|---|
| 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.15352#D2DJ (statement). In R39P7AFXM8/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
GK1HKTKBZ7 GK1HKTKBZ7
| URI | m2://inv/GK1HKTKBZ7 |
|---|---|
| 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.00103#8XFE (statement). In S7RDXJWP1A/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
GK23M5R2SH GK23M5R2SH
| URI | m2://inv/GK23M5R2SH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32090#3ORB (statement). In HJWWFBA63D/e1, theorem 1.4
History
- 2026-10-31: add by m2/v0.5.6
GK28P7S6S0 GK28P7S6S0
| URI | m2://inv/GK28P7S6S0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2512.16003#XRNM (statement). In BJGS6ZCQ12/e1, lemma 3.9
History
- 2026-10-27: add by m2/v0.3.6
Square-zero extension GK28YX2QYE
| URI | m2://inv/GK28YX2QYE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#7B9W, Square-zero extension (definition). In A1GWWGRXPA/e1, definition 3.38
History
- 2026-10-27: add by m2/v0.4.2
Brouncker's formula GK2CCQ9K08
| URI | m2://inv/GK2CCQ9K08 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Brouncker, 2nd Viscount Brouncker#3PGA, Brouncker's formula (statement)
History
- 2026-11-02: add by m2/dev
exponential function GK2H3ABC9K
| URI | m2://inv/GK2H3ABC9K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#7E5D, exponential function (definition)
History
- 2026-11-02: add by m2/dev
GK2MVZ3M7P GK2MVZ3M7P
| URI | m2://inv/GK2MVZ3M7P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04833#IM72 (statement). In AKB3CNDA0F/e1, proposition 3.30
- arxiv: arXiv 2610.09596#VMAQ (statement). In HXFA55BREZ/e1, proposition C.7
History
- 2026-10-29: add by m2/v0.4.10
Examples GK2W7TZ5RF
| URI | m2://inv/GK2W7TZ5RF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noetherian ring#EO3Q, Examples (example)
History
- 2026-11-02: add by m2/dev
The main sampler GK32KHMJAX
| URI | m2://inv/GK32KHMJAX |
|---|---|
| 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.10474#BERG, The main sampler (definition). In MB29RAAQMG/e1, definition 7.3
History
- 2026-10-29: add by m2/v0.4.10
David Nualart GK39S4W36Y
| URI | m2://inv/GK39S4W36Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Nualart, David Nualart (topic). Also Wikidata Q5238102
History
- 2026-11-02: add by m2/dev
DeepSeek GK39ZBDYRA
| URI | m2://inv/GK39ZBDYRA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DeepSeek, DeepSeek (definition). Also Wikidata Q131577453
History
- 2026-11-02: add by m2/dev
Jonathan Rosenberg GK3ER17Z6D
| URI | m2://inv/GK3ER17Z6D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jonathan Rosenberg (mathematician), Jonathan Rosenberg (topic). Also Wikidata Q15198608
History
- 2026-11-02: add by m2/dev
GK3EXREXJ7 GK3EXREXJ7
| URI | m2://inv/GK3EXREXJ7 |
|---|---|
| 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#040M (statement). In GV251MW5RP/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Converse implication GK3HQ7F8S6
| URI | m2://inv/GK3HQ7F8S6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of rules of inference#NDP5, Converse implication (definition)
History
- 2026-11-02: add by m2/dev
GK3S0NHG21 GK3S0NHG21
| URI | m2://inv/GK3S0NHG21 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#T5K8 (statement). In A1GWWGRXPA/e1, proposition 3.45
History
- 2026-10-27: add by m2/v0.4.2
First stellation of rhombic dodecahedron GK3V6A1G03
| URI | m2://inv/GK3V6A1G03 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16939273, First stellation of rhombic dodecahedron (object). Also MathWorld EschersSolid
- wikipedia: Wikipedia First stellation of the rhombic dodecahedron, First stellation of the rhombic dodecahedron (object). Also Wikidata Q16939273
History
- 2026-10-26: add by m2/dev
tanhc function GK3WRN1DMC
| URI | m2://inv/GK3WRN1DMC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19603577, tanhc function (unknown). Also MathWorld TanhcFunction
History
- 2026-10-26: add by m2/dev
GK46732A3S GK46732A3S
| URI | m2://inv/GK46732A3S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10881#MMZW (statement). In DC01XRB5YE/e1, lemma 20
History
- 2026-10-28: add by m2/v0.4.3
7427466391 GK4A3F01PQ
| URI | m2://inv/GK4A3F01PQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E (mathematical constant)#PA1S, 7427466391 (unknown)
History
- 2026-11-02: add by m2/dev
GK4A9H9G93 GK4A9H9G93
| URI | m2://inv/GK4A9H9G93 |
|---|---|
| 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.35631#TN90 (statement). In 9NCX0S6MTP/e1, lemma C.1
History
- 2026-10-30: add by m2/v0.4.12
Examples GK4BAXB0HF
| URI | m2://inv/GK4BAXB0HF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carleman linearization#U1M2, Examples (example)
History
- 2026-11-02: add by m2/dev
Parseval's theorem (MD) GK4K18VW76
| URI | m2://inv/GK4K18VW76 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multidimensional transform#RD2U, Parseval's theorem (MD) (statement)
History
- 2026-11-02: add by m2/dev
GK4N51H9WZ GK4N51H9WZ
| URI | m2://inv/GK4N51H9WZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/fourier.tex#example-2 (example). In RZP28ERRZV, example, section 59.3.2
History
- 2026-11-01: add by m2/v0.6.13
GK4WBMBNWT GK4WBMBNWT
| URI | m2://inv/GK4WBMBNWT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20469#T2YW (statement)
History
- 2026-11-02: add by m2/v0.6.18
n = 1 fallacy GK4XH0JWPP
| URI | m2://inv/GK4XH0JWPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TU47, n = 1 fallacy (definition)
History
- 2026-11-02: add by m2/dev
Katz GK51K2HWEX
| URI | m2://inv/GK51K2HWEX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08382#WM6Y, Katz (statement). In GYMGDQS25R/e1, corollary 6.7
History
- 2026-10-29: add by m2/v0.4.10
B-theorem GK54GCHZ2B
| URI | m2://inv/GK54GCHZ2B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia B-theorem, B-theorem (statement). Also Wikidata Q4833741
History
- 2026-11-02: add by m2/dev
Applications GK5B2NYZMS
| URI | m2://inv/GK5B2NYZMS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variogram#48HM, Applications (example)
History
- 2026-11-02: add by m2/dev
GK5SXCKKDE GK5SXCKKDE
| URI | m2://inv/GK5SXCKKDE |
|---|---|
| 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.33771#XWYK (statement). In ZXQA7QH0H0/e1, lemma 2.16
History
- 2026-10-30: add by m2/v0.4.12
GK5Y18P037 GK5Y18P037
| URI | m2://inv/GK5Y18P037 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32906#PNWJ (statement). In R589MXXHX4/e1, theorem 5.6
History
- 2026-10-31: add by m2/v0.5.6
Infinite skew polygon GK68FWKAGC
| URI | m2://inv/GK68FWKAGC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite skew polygon, Infinite skew polygon (definition). Also Wikidata Q25303803
History
- 2026-11-02: add by m2/dev
GK6ET12DZC GK6ET12DZC
| URI | m2://inv/GK6ET12DZC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX, 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18929#8DZN (example). In ZRJ2DZT6P1/e1, example 7.4
History
- 2026-10-28: add by m2/v0.4.2
GK6JK1DGB6 GK6JK1DGB6
| URI | m2://inv/GK6JK1DGB6 |
|---|---|
| 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.31798#ZD85 (statement). In HPHBJ4Y04B/e1, lemma 2.2
History
- 2026-10-31: add by m2/v0.5.6
Properties GK6P1DY71N
| URI | m2://inv/GK6P1DY71N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugate index#61NZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
GK6R3KYVKG GK6R3KYVKG
| URI | m2://inv/GK6R3KYVKG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.08272#Z44N (statement). In H72E12TYHA/e1, proposition 3.8
History
- 2026-10-27: add by m2/v0.4.0
Centraliser GK6VDNXX0Y
| URI | m2://inv/GK6VDNXX0Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#VJA4, Centraliser (definition)
History
- 2026-11-02: add by m2/dev
Linear-feedback shift register GK6X8BD5ED
| URI | m2://inv/GK6X8BD5ED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear-feedback shift register, Linear-feedback shift register (definition). Also Wikidata Q681101
History
- 2026-11-02: add by m2/dev
GK6ZP6A7P6 GK6ZP6A7P6
| URI | m2://inv/GK6ZP6A7P6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/cardinals/classing.tex#lem:NoLargestCardinal (statement). In PKGMM3P5QY, thm, section 70.2
History
- 2026-11-01: add by m2/v0.6.13
GK713TJVPG GK713TJVPG
| URI | m2://inv/GK713TJVPG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#9VL3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Three-level truncation limit GK76D4EVH0
| URI | m2://inv/GK76D4EVH0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00396#3ABV, Three-level truncation limit (statement). In V13TE1RWT9/e1, theorem A.6
History
- 2026-10-30: add by m2/v0.4.12
GK7B1BV5DG GK7B1BV5DG
| URI | m2://inv/GK7B1BV5DG |
|---|---|
| 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.08583#UC6O (statement). In 5EKTECQ2P1/e1, corollary 1.8
History
- 2026-10-29: add by m2/v0.4.10
Formulation GK7B7J8KAW
| URI | m2://inv/GK7B7J8KAW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector field reconstruction#WKTZ, Formulation (definition)
History
- 2026-11-02: add by m2/dev
GK7FZ9EHQB GK7FZ9EHQB
| URI | m2://inv/GK7FZ9EHQB |
|---|---|
| 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.33068#IX6E (statement). In V9Z9Z0V5Y0/e1, theorem 7
History
- 2026-10-30: add by m2/v0.4.12
GK7J0984RY GK7J0984RY
| URI | m2://inv/GK7J0984RY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2512.16003#AOXF (statement). In BJGS6ZCQ12/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.3.6
rational singularities GK7PTCZ59H
| URI | m2://inv/GK7PTCZ59H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#FC2U, rational singularities (definition)
History
- 2026-11-02: add by m2/dev
GK7QBPJ945 GK7QBPJ945
| URI | m2://inv/GK7QBPJ945 |
|---|---|
| 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.01818#GVPE (statement). In DA31J9XJ4J/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.12
A fixed zero-free half-plane GK7SMR4X1X
| URI | m2://inv/GK7SMR4X1X |
|---|---|
| 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.15559#68XU, A fixed zero-free half-plane (statement). In 6H7SHXGGQW/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Strike and dip GK7TVCVZXG
| URI | m2://inv/GK7TVCVZXG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strike and dip, Strike and dip (definition). Also Wikidata Q5988006
History
- 2026-11-02: add by m2/dev
Completeness of the real numbers GK7W5SMK5S
| URI | m2://inv/GK7W5SMK5S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#DKJQ, Completeness of the real numbers (definition)
History
- 2026-11-02: add by m2/dev
GK7ZE5TMXT GK7ZE5TMXT
| URI | m2://inv/GK7ZE5TMXT |
|---|---|
| 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 2111.01197#TIU5 (statement). In Z36XFKVTS0/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Welington de Melo GK7ZQZ8QNZ
| URI | m2://inv/GK7ZQZ8QNZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Welington de Melo, Welington de Melo (topic). Also Wikidata Q4121043
History
- 2026-11-02: add by m2/dev
GK825Y5J5C GK825Y5J5C
| URI | m2://inv/GK825Y5J5C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/caratheodory.tex#thm:construct_outer (statement). In RZP28ERRZV, theorem, section 63.2
History
- 2026-11-01: add by m2/v0.6.13
GK85KGD7NM GK85KGD7NM
| URI | m2://inv/GK85KGD7NM |
|---|---|
| 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.24931#2LQR (statement)
History
- 2026-11-01: add by m2/v0.6.15
GK8AD7KSTW GK8AD7KSTW
| URI | m2://inv/GK8AD7KSTW |
|---|---|
| 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.29723#WFA8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
GK8D04VQHT GK8D04VQHT
| URI | m2://inv/GK8D04VQHT |
|---|---|
| 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.21781#TMHG (statement). In FEQ72D1AX6/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
Definition GK8DJWAMZ7
| URI | m2://inv/GK8DJWAMZ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia QMA#SGMZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Creation and annihilation operators GK8TWVWZ6A
| URI | m2://inv/GK8TWVWZ6A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Creation and annihilation operators, Creation and annihilation operators (definition). Also Wikidata Q902336
History
- 2026-11-02: add by m2/dev
Rayleigh wave GK8VY8A9W6
| URI | m2://inv/GK8VY8A9W6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rayleigh wave, Rayleigh wave (definition). Also Wikidata Q2351144
History
- 2026-11-02: add by m2/dev
Birnbaum, Allan GK8ZPPDJJ9
| URI | m2://inv/GK8ZPPDJJ9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#8FJ3, Birnbaum, Allan (topic)
History
- 2026-11-02: add by m2/dev
List of statistical topics GK99E32VS0
| URI | m2://inv/GK99E32VS0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics reference tables#CDAL, List of statistical topics (topic)
History
- 2026-11-02: add by m2/dev
GK9F1YXW5A GK9F1YXW5A
| URI | m2://inv/GK9F1YXW5A |
|---|---|
| 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.16510#U7DN (statement). In V7SQ4VXCRX/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Definition GK9FS9WZV0
| URI | m2://inv/GK9FS9WZV0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function problem#HPEO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Mixed fraction GK9FXTD80M
| URI | m2://inv/GK9FXTD80M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fraction#V8CB, Mixed fraction (unknown)
History
- 2026-11-02: add by m2/dev
Euclid's, Pythagoras', and Plato's formulas GK9K4P363Q
| URI | m2://inv/GK9K4P363Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formulas for generating Pythagorean triples#58Y0, Euclid's, Pythagoras', and Plato's formulas (statement)
History
- 2026-11-02: add by m2/dev
implicit function theorem GK9NWPTC85
| URI | m2://inv/GK9NWPTC85 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/11.5.1/implicit-function-theorem, implicit function theorem (concept). In E59CDZA4DP, index, section 11.5.1
History
- 2026-11-01: add by m2/v0.6.13
GK9SJFYEBC GK9SJFYEBC
| URI | m2://inv/GK9SJFYEBC |
|---|---|
| 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 math/9802134#4SRE (statement). In 235B1J1ETB/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
David P. Dobkin GK9Z775X1X
| URI | m2://inv/GK9Z775X1X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#372K, David P. Dobkin (unknown)
History
- 2026-11-02: add by m2/dev
Speech act GK9ZMT93G2
| URI | m2://inv/GK9ZMT93G2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Speech act, Speech act (definition). Also Wikidata Q25481968
History
- 2026-11-02: add by m2/dev
GK9ZYZB4MW GK9ZYZB4MW
| URI | m2://inv/GK9ZYZB4MW |
|---|---|
| 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.13103#IH7Q (statement). In GG2ZZV6KEQ/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
bit GKA0EKP2C2
| URI | m2://inv/GKA0EKP2C2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8805, bit (definition). Also EoM Bit, MathWorld Bit, ProofWiki Definition:Bit
History
- 2026-10-26: add by m2/dev
GKA4M3NXV9 GKA4M3NXV9
| URI | m2://inv/GKA4M3NXV9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01208#I372 (statement). In 317GZJ38HS/e1, theorem 5.7
History
- 2026-10-29: add by m2/v0.4.12
Definition GKA6G60W0F
| URI | m2://inv/GKA6G60W0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discontinuous group#6EY7, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition GKA6R9Z52G
| URI | m2://inv/GKA6R9Z52G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unipotent#1K9S, Definition (definition)
History
- 2026-11-02: add by m2/dev
GKA8JNP9KS GKA8JNP9KS
| URI | m2://inv/GKA8JNP9KS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#HAD7 (definition). In VN084GGZGK/e1, definition 5.21
History
- 2026-10-28: add by m2/v0.4.3
Unregularized value bound GKABT4RC6B
| URI | m2://inv/GKABT4RC6B |
|---|---|
| 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.04638#JTH5, Unregularized value bound (statement). In 3YM5F3YHD5/e1, corollary 5.2
History
- 2026-10-29: add by m2/v0.4.12
Inside-outside segmentation GKANWDER5Z
| URI | m2://inv/GKANWDER5Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometry processing#UE1Q, Inside-outside segmentation (unknown)
History
- 2026-11-02: add by m2/dev
GKAVHK9VZV GKAVHK9VZV
| URI | m2://inv/GKAVHK9VZV |
|---|---|
| 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.33926#F8Y1 (statement). In 1XF3T5HXNV/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
Integrated gradient bound GKAYCH2TBX
| URI | m2://inv/GKAYCH2TBX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.20106#B48O, Integrated gradient bound (statement). In 6HMZ36ZBXA/e1, lemma 6.12
History
- 2026-10-27: add by m2/v0.4.2
Basic Linear Algebra Subprograms GKAZ4N1JEC
| URI | m2://inv/GKAZ4N1JEC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#VLGW, Basic Linear Algebra Subprograms (unknown)
History
- 2026-11-02: add by m2/dev
GKAZ8K6TDP GKAZ8K6TDP
| URI | m2://inv/GKAZ8K6TDP |
|---|---|
| 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 2506.21337#YDP7 (statement). In EPZN0JTG2Z/e1, lemma 3.9
History
- 2026-10-27: add by m2/v0.3.5
Easy GKB8T21X5E
| URI | m2://inv/GKB8T21X5E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-18, Easy (exercise). In E59CDZA4DP, exercise, section 10.1.4
History
- 2026-11-01: add by m2/v0.6.13
L10a140 link GKBJEWKMZJ
| URI | m2://inv/GKBJEWKMZJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L10a140 link, L10a140 link (definition). Also Wikidata Q6763481
History
- 2026-11-02: add by m2/dev
Gibbs variational principle GKBNX01Y06
| URI | m2://inv/GKBNX01Y06 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace inequality#9DAI, Gibbs variational principle (statement)
History
- 2026-11-02: add by m2/dev
GKBV36RMK3 GKBV36RMK3
| URI | m2://inv/GKBV36RMK3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37124#RNRZ (definition). In 2QF1YG9DD0/e1, definition 3.8
History
- 2026-10-30: add by m2/v0.4.12
operational semantics GKBVPKTCA6
| URI | m2://inv/GKBVPKTCA6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1930895, operational semantics (unknown). Also nLab operational semantics
- wikipedia: Wikipedia Operational semantics, Operational semantics (definition). Also Wikidata Q1930895
History
- 2026-10-26: add by m2/dev
Chosen-ciphertext attack GKBZQHDWTC
| URI | m2://inv/GKBZQHDWTC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chosen-ciphertext attack, Chosen-ciphertext attack (definition). Also Wikidata Q2420767
History
- 2026-11-02: add by m2/dev
GKC12WCG9S GKC12WCG9S
| URI | m2://inv/GKC12WCG9S |
|---|---|
| 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#DJPV (statement)
History
- 2026-11-02: add by m2/v0.6.18
GKC9HCRMNC GKC9HCRMNC
| URI | m2://inv/GKC9HCRMNC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-27 (exercise). In E59CDZA4DP, exercise, section 5.3.4
History
- 2026-11-01: add by m2/v0.6.13
GKCE5N7H9P GKCE5N7H9P
| URI | m2://inv/GKCE5N7H9P |
|---|---|
| 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.15257#FAO1 (statement). In 2R95BYW2V7/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
GKCHXFBZ7P GKCHXFBZ7P
| URI | m2://inv/GKCHXFBZ7P |
|---|---|
| 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#TIOW (statement). In PJAT9YDX7Y/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.4.0
Law of the iterated logarithm GKCJQG5CM4
| URI | m2://inv/GKCJQG5CM4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RRXL, Law of the iterated logarithm (statement)
- wikipedia: Wikipedia List of probability topics#52YH, Law of the iterated logarithm (statement)
History
- 2026-11-02: add by m2/dev
Three Mile, West Virginia GKCJXM2F1Y
| URI | m2://inv/GKCJXM2F1Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#4KUG, Three Mile, West Virginia (unknown)
History
- 2026-11-02: add by m2/dev
Polynomial method in combinatorics GKCQGWWDD0
| URI | m2://inv/GKCQGWWDD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial method in combinatorics, Polynomial method in combinatorics (definition). Also Wikidata Q97359605
History
- 2026-11-02: add by m2/dev
Power iteration GKDN4QAZ7X
| URI | m2://inv/GKDN4QAZ7X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#KHZD, Power iteration (definition)
History
- 2026-11-02: add by m2/dev
Method GKDYHPRCMN
| URI | m2://inv/GKDYHPRCMN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Process of elimination#OSGK, Method (definition)
History
- 2026-11-02: add by m2/dev
GKDZX7RDFN GKDZX7RDFN
| URI | m2://inv/GKDZX7RDFN |
|---|---|
| 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.21895#E3PL (statement)
History
- 2026-11-02: add by m2/v0.6.17
GKE04DP9CD GKE04DP9CD
| URI | m2://inv/GKE04DP9CD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03050#RDS8 (statement). In WXBRJN9PHQ/e1, corollary 4.3
History
- 2026-10-29: add by m2/v0.4.12
David L. Banks GKE57VPFXB
| URI | m2://inv/GKE57VPFXB |
|---|---|
| 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#ABWW, David L. Banks (unknown)
History
- 2026-11-02: add by m2/dev
Maximum row $\ell_2$ norm GKEB7Q3NKY
| URI | m2://inv/GKEB7Q3NKY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11834#DA6B, Maximum row $\ell_2$ norm (definition). In SMC03CWP4R/e1, definition 5
History
- 2026-10-28: add by m2/v0.4.3
Banach geometry and represented CFOs GKECB974N8
| URI | m2://inv/GKECB974N8 |
|---|---|
| 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#IC5B, Banach geometry and represented CFOs (statement)
History
- 2026-11-01: add by m2/v0.6.15
exponential GKEDE26Q9G
| URI | m2://inv/GKEDE26Q9G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#MB7N, exponential (definition)
History
- 2026-11-02: add by m2/dev
Definition GKEQK4GE8F
| URI | m2://inv/GKEQK4GE8F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peres–Horodecki criterion#UV9B, Definition (definition)
History
- 2026-11-02: add by m2/dev
GKEXQ1GZMT GKEXQ1GZMT
| URI | m2://inv/GKEXQ1GZMT |
|---|---|
| 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 2012.05048#CDMP (statement). In NY9HW1E6DY/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Stone–von Neumann theorem GKF3F2QTX7
| URI | m2://inv/GKF3F2QTX7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#ENOM, Stone–von Neumann theorem (statement)
- wikipedia: Wikipedia List of harmonic analysis topics#78AX, Stone–von Neumann theorem (statement)
History
- 2026-11-02: add by m2/dev
Example GKF4KEVB3D
| URI | m2://inv/GKF4KEVB3D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic set#1AWF, Example (example)
History
- 2026-11-02: add by m2/dev
Sturm separation theorem GKF5G7JKXE
| URI | m2://inv/GKF5G7JKXE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sturm separation theorem, Sturm separation theorem (statement). Also Wikidata Q7629089
History
- 2026-11-02: add by m2/dev
Residual estimate GKFGT3YGW0
| URI | m2://inv/GKFGT3YGW0 |
|---|---|
| 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.20414#QPLC, Residual estimate (statement). In X2NNNW8CX5/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.2
GKG57WB92S GKG57WB92S
| URI | m2://inv/GKG57WB92S |
|---|---|
| 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 1002.0879#VHRP (example). In M0SQY5EZN5/e1, example 5.1.6
History
- 2026-10-27: add by m2/v0.3.5
Comparison away from $\Sigma$ GKG8N33RT2
| URI | m2://inv/GKG8N33RT2 |
|---|---|
| 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.05064#DMUS, Comparison away from $\Sigma$ (statement). In 11SW7NAN7M/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
Poincaré lemma GKGBY3RKX1
| URI | m2://inv/GKGBY3RKX1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of misnamed theorems#ECI6, Poincaré lemma (statement)
History
- 2026-11-02: add by m2/dev
Outcome-space transfer GKGJ785BSV
| URI | m2://inv/GKGJ785BSV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04027#22PH, Outcome-space transfer (statement). In DQB4YR2DFH/e1, proposition K.1
History
- 2026-10-29: add by m2/v0.4.12
Journal of the Royal Statistical Society GKGK24P2QJ
| URI | m2://inv/GKGK24P2QJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of the Royal Statistical Society, Journal of the Royal Statistical Society (definition). Also Wikidata Q6296202
History
- 2026-11-02: add by m2/dev
GKGS46F4PN GKGS46F4PN
| URI | m2://inv/GKGS46F4PN |
|---|---|
| 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.12983#4HJX (statement). In M6TFZ6E060/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
GKGT30CP6H GKGT30CP6H
| URI | m2://inv/GKGT30CP6H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21934#ZICY (statement). In YKD51BX3XB/e1, lemma 8.3
History
- 2026-10-27: add by m2/v0.4.2
Real-time computer graphics GKH0PH76GP
| URI | m2://inv/GKH0PH76GP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#RHDK, Real-time computer graphics (unknown)
History
- 2026-11-02: add by m2/dev
BGG correspondence GKH30H1067
| URI | m2://inv/GKH30H1067 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BGG correspondence, BGG correspondence (definition). Also Wikidata Q135225065
History
- 2026-11-02: add by m2/dev
Strongly convex stochastic subgradient subroutine GKH3M0RKA5
| URI | m2://inv/GKH3M0RKA5 |
|---|---|
| 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.34099#WWGU, Strongly convex stochastic subgradient subroutine (statement). In 4X2SAM9HR2/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
GKH682JVXP GKH682JVXP
| URI | m2://inv/GKH682JVXP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-72 (exercise). In E9HS8K3A52, exercise, section 10.7.3
History
- 2026-11-01: add by m2/v0.6.13
Covering-number bounds for Shtarkov, posterior, and rank regret GKH69BWQZQ
| URI | m2://inv/GKH69BWQZQ |
|---|---|
| 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.29688#7341, Covering-number bounds for Shtarkov, posterior, and rank regret (statement)
History
- 2026-11-01: add by m2/v0.6.15
GKH6ER5TRT GKH6ER5TRT
| URI | m2://inv/GKH6ER5TRT |
|---|---|
| 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 math/9201244#RA62 (statement). In 7D3HCN21MK/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
BD-law GKH78XKBY6
| URI | m2://inv/GKH78XKBY6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributive law between monads#ET0D, BD-law (statement)
History
- 2026-11-02: add by m2/dev
GKH9SV5HB1 GKH9SV5HB1
| URI | m2://inv/GKH9SV5HB1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07001#4QVN (statement). In 5DFTVG7FFF/e1, lemma 2.18
History
- 2026-10-29: add by m2/v0.4.10
Parameter independence for the braid restriction GKHDBR4CNF
| URI | m2://inv/GKHDBR4CNF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25805#PT46, Parameter independence for the braid restriction (statement)
History
- 2026-11-01: add by m2/v0.6.15
Leon Chwistek GKHGJJ75FH
| URI | m2://inv/GKHGJJ75FH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leon Chwistek, Leon Chwistek (topic). Also Wikidata Q711431
History
- 2026-11-02: add by m2/dev
Lagrange's identity (boundary value problem) GKHJ6V18J1
| URI | m2://inv/GKHJ6V18J1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#TFJS, Lagrange's identity (boundary value problem) (statement)
History
- 2026-11-02: add by m2/dev
continued fraction GKHNV3ZWB9
| URI | m2://inv/GKHNV3ZWB9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Numbers > continued fraction, continued fraction (unknown). Also Mathlib ContFract
History
- 2026-10-26: add by m2/dev
Two New Sciences GKHVWJ5WGW
| URI | m2://inv/GKHVWJ5WGW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q575461, Two New Sciences (unknown). Also ProofWiki Book:Galileo_Galilei/Discorsi_e_Dimostrazioni_Matematiche_Intorno_a_Due_Nuove_Scienze
- wikipedia: Wikipedia Two New Sciences, Two New Sciences (definition). Also Wikidata Q575461
History
- 2026-10-26: add by m2/dev
Only the side of one half matters GKJ6E875BM
| URI | m2://inv/GKJ6E875BM |
|---|---|
| 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.21363#5WOZ, Only the side of one half matters (statement). In YPH7NS5AAQ/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
polynomial time GKJ7B0TBTN
| URI | m2://inv/GKJ7B0TBTN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1137573, polynomial time (unknown). Also MathWorld PolynomialTime
History
- 2026-10-26: add by m2/dev
GKJAB8YM9W GKJAB8YM9W
| URI | m2://inv/GKJAB8YM9W |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2201.10697#ZW1O (conjecture). In WN2Z20ZV49/e1, conjecture 7.2
History
- 2026-10-27: add by m2/v0.3.6
strictly upper triangular matrix GKJFKZTBJD
| URI | m2://inv/GKJFKZTBJD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77969871, strictly upper triangular matrix (unknown). Also MathWorld StrictlyUpperTriangularMatrix
History
- 2026-10-26: add by m2/dev
GKJGQ972FH GKJGQ972FH
| URI | m2://inv/GKJGQ972FH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30067#GIH7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
GKJHCFMRCP GKJHCFMRCP
| URI | m2://inv/GKJHCFMRCP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22077#ON1P (statement)
History
- 2026-11-02: add by m2/v0.6.17
GKJKY5D9K8 GKJKY5D9K8
| URI | m2://inv/GKJKY5D9K8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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.20460#35AB (definition)
History
- 2026-11-02: add by m2/v0.6.18
GKK2RKXB97 GKK2RKXB97
| URI | m2://inv/GKK2RKXB97 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.11038#UZBJ (statement). In M3E3ARMJXK/e1, lemma 4.11
History
- 2026-10-27: add by m2/v0.3.5
Definition GKK4DAGMAM
| URI | m2://inv/GKK4DAGMAM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group Hopf algebra#UA9R, Definition (definition)
History
- 2026-11-02: add by m2/dev
Cantor distribution GKK4H4Z1A6
| URI | m2://inv/GKK4H4Z1A6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#VYMI, Cantor distribution (definition)
History
- 2026-11-02: add by m2/dev
GKK8SF8CTA GKK8SF8CTA
| URI | m2://inv/GKK8SF8CTA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:biholholconvex (exercise). In VNMV985MXX, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
GKKE546CXP GKKE546CXP
| URI | m2://inv/GKKE546CXP |
|---|---|
| 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.38051#9J95 (statement). In 81CGKD8RTP/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
Applications GKKJ15J9AA
| URI | m2://inv/GKKJ15J9AA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia J-homomorphism#EDTS, Applications (example)
History
- 2026-11-02: add by m2/dev
GKKJJ7C2AS GKKJJ7C2AS
| URI | m2://inv/GKKJJ7C2AS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28323#2SWN (statement)
History
- 2026-11-01: add by m2/v0.6.15
GKKXCMCQGC GKKXCMCQGC
| URI | m2://inv/GKKXCMCQGC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#BEAM (statement). In WAXS6FS388/e1, theorem 10.4
History
- 2026-10-30: add by m2/v0.4.12
Dunnett, Charles GKM3D8QEY4
| URI | m2://inv/GKM3D8QEY4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#MW5S, Dunnett, Charles (unknown)
History
- 2026-11-02: add by m2/dev
Archimedean monoid GKMANEVNHH
| URI | m2://inv/GKMANEVNHH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Archimedean group#TOC0, Archimedean monoid (unknown)
History
- 2026-11-02: add by m2/dev
GKMF3Q4X66 GKMF3Q4X66
| URI | m2://inv/GKMF3Q4X66 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23528#H747 (statement)
History
- 2026-11-02: add by m2/v0.6.17
GKMY0JPWTN GKMY0JPWTN
| URI | m2://inv/GKMY0JPWTN |
|---|---|
| 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 2106.09601#N6BW (definition). In P26ZRC1QRZ/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Frederik Denef GKN9KZ9QZA
| URI | m2://inv/GKN9KZ9QZA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q102294016, Frederik Denef (unknown). Also nLab Frederik Denef
History
- 2026-10-26: add by m2/dev
Examples GKNCFB0Q4D
| URI | m2://inv/GKNCFB0Q4D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skew-symmetric graph#KQM0, Examples (example)
History
- 2026-11-02: add by m2/dev
GKNE50WQR8 GKNE50WQR8
| URI | m2://inv/GKNE50WQR8 |
|---|---|
| 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.21759#KSCD (statement). In AFC5D0H4GY/e1, proposition 1
History
- 2026-10-27: add by m2/v0.4.2
Aizerman's conjecture GKNEDNEGHN
| URI | m2://inv/GKNEDNEGHN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aizerman's conjecture, Aizerman's conjecture (statement). Also Wikidata Q4699429
History
- 2026-11-02: add by m2/dev
Laurent Lafforgue GKNFG89W4K
| URI | m2://inv/GKNFG89W4K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JJE7, Laurent Lafforgue (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#S5QE, Laurent Lafforgue (topic)
History
- 2026-11-02: add by m2/dev
Statistical modelling GKNHSFP9T3
| URI | m2://inv/GKNHSFP9T3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#XKR8, Statistical modelling (definition)
History
- 2026-11-02: add by m2/dev
jet group GKNM7TE5X9
| URI | m2://inv/GKNM7TE5X9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17098315, jet group (unknown). Also nLab jet group
- wikipedia: Wikipedia Jet group, Jet group (definition). Also Wikidata Q17098315
History
- 2026-10-26: add by m2/dev
GKNMNPTJWC GKNMNPTJWC
| URI | m2://inv/GKNMNPTJWC |
|---|---|
| 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.30895#FRID (statement). In B8D26BYA7T/e1, theorem 1
History
- 2026-10-31: add by m2/v0.5.6
GKP0VPMJR6 GKP0VPMJR6
| URI | m2://inv/GKP0VPMJR6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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.20725#17F9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Trident curve GKP0YGCSZ2
| URI | m2://inv/GKP0YGCSZ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#Z9O9, Trident curve (definition)
- wikipedia: Wikipedia List of curves#TDYQ, Trident curve (definition)
History
- 2026-11-02: add by m2/dev
general linear group GKP3QXWKH1
| URI | m2://inv/GKP3QXWKH1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | General linear group 0FCHE902D7 |
Mentions
- wikidata: Wikidata Q524607, general linear group (definition). Also MathWorld GeneralLinearGroup, nLab general linear group, ProofWiki Definition:General_Linear_Group
- wikipedia: Wikipedia General linear group, General linear group (definition). Also Wikidata Q524607
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
GKP51X45J9 GKP51X45J9
| URI | m2://inv/GKP51X45J9 |
|---|---|
| Kind | definition |
| 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.22268#J0P3 (definition). In 9ZD87293QS/e1, definition 3.25
History
- 2026-10-27: add by m2/v0.4.0
imaginary unit GKPB28DR2J
| URI | m2://inv/GKPB28DR2J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Imaginary unit 0ESCX36MMC |
Mentions
- wikidata: Wikidata Q193796, imaginary unit (object). Also MathWorld ImaginaryUnit, nLab imaginary unit, ProofWiki Definition:Complex_Number/Imaginary_Unit
- wikipedia: Wikipedia Imaginary unit, Imaginary unit (definition). Also Wikidata Q193796
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
height GKPBHWZHNT
| URI | m2://inv/GKPBHWZHNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 11G50 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q208826, height (topic). Also MathWorld Height, ProofWiki Definition:Linear_Measure/Height
- wikipedia: Wikipedia Height, Height (definition). Also Wikidata Q208826
History
- 2026-10-26: add by m2/dev
Virginia Halmos GKPKPMNF81
| URI | m2://inv/GKPKPMNF81 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virginia Halmos, Virginia Halmos (topic). Also Wikidata Q95706295
History
- 2026-11-02: add by m2/dev
cardinal GKPKX5T20N
| URI | m2://inv/GKPKX5T20N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#CVDW, cardinal (definition)
History
- 2026-11-02: add by m2/dev
Threema GKPMHE6QHM
| URI | m2://inv/GKPMHE6QHM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Threema, Threema (definition). Also Wikidata Q13512316
History
- 2026-11-02: add by m2/dev
tilde GKPMM39W3B
| URI | m2://inv/GKPMM39W3B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#6SML, tilde (definition)
History
- 2026-11-02: add by m2/dev
Definition GKPQ4JRCR0
| URI | m2://inv/GKPQ4JRCR0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-polynomial#B8GV, Definition (definition)
History
- 2026-11-02: add by m2/dev
σ-finite measure GKPQ7M6KK0
| URI | m2://inv/GKPQ7M6KK0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Sigma-finite measure WEBBT18D4X |
Mentions
- wikidata: Wikidata Q291430, σ-finite measure (definition). Also ProofWiki Definition:Sigma-Finite_Measure
- wikipedia: Wikipedia Σ-finite measure, Σ-finite measure (definition). Also Wikidata Q291430
History
- 2026-10-26: add by m2/dev
Saeid Abbasbandy GKPQVAYG4J
| URI | m2://inv/GKPQVAYG4J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Saeid Abbasbandy, Saeid Abbasbandy (topic). Also Wikidata Q7398270
History
- 2026-11-02: add by m2/dev
Richard Kilvington GKPV8S6DE6
| URI | m2://inv/GKPV8S6DE6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#MHE5, Richard Kilvington (unknown)
History
- 2026-11-02: add by m2/dev
GKPVBGWENC GKPVBGWENC
| URI | m2://inv/GKPVBGWENC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/pontryagin.tex#prob:LCA_compact (exercise). In RZP28ERRZV, problem, section 68.6
History
- 2026-11-01: add by m2/v0.6.13
Bôcher Memorial Prize GKPVDNA78A
| URI | m2://inv/GKPVDNA78A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bôcher Memorial Prize, Bôcher Memorial Prize (definition). Also Wikidata Q301837
History
- 2026-11-02: add by m2/dev
David Salsburg GKQ33S3HPQ
| URI | m2://inv/GKQ33S3HPQ |
|---|---|
| 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#BNQ7, David Salsburg (topic)
History
- 2026-11-02: add by m2/dev
Recurrent states of the controllers GKQ7THM23Z
| URI | m2://inv/GKQ7THM23Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12434#Y7E3, Recurrent states of the controllers (statement). In YCRZC9SDCE/e1, lemma 9.1
History
- 2026-10-28: add by m2/v0.4.2
Examples GKQ8PCPM5H
| URI | m2://inv/GKQ8PCPM5H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dispersive partial differential equation#DUQ2, Examples (example)
History
- 2026-11-02: add by m2/dev
GKQDZMQWQ3 GKQDZMQWQ3
| URI | m2://inv/GKQDZMQWQ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#ZOBK (statement)
History
- 2026-11-01: add by m2/v0.6.15
GKR2SQ1VKB GKR2SQ1VKB
| URI | m2://inv/GKR2SQ1VKB |
|---|---|
| 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.04809#FE2J (statement). In 2VHV0RNTNV/e1, corollary 3.16
History
- 2026-10-29: add by m2/v0.4.12
GKRD77TJN7 GKRD77TJN7
| URI | m2://inv/GKRD77TJN7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15099#W8FN (example). In PF5JJ9DS8Q/e1, example 3.3.1
History
- 2026-10-28: add by m2/v0.4.2
Geometrically decaying type-II error bounds for log-bounded conditional \Ev-variables GKRGPHT7AX
| URI | m2://inv/GKRGPHT7AX |
|---|---|
| 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.08210#7WVR, Geometrically decaying type-II error bounds for log-bounded conditional \Ev-variables (statement). In 7452X8HQ21/e1, theorem 2.8
History
- 2026-10-29: add by m2/v0.4.10
Scaled score GKRQQXVDA0
| URI | m2://inv/GKRQQXVDA0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Test score#2135, Scaled score (unknown)
History
- 2026-11-02: add by m2/dev
Example GKS1QMTNH8
| URI | m2://inv/GKS1QMTNH8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular distribution#Q8H3, Example (example)
History
- 2026-11-02: add by m2/dev
Definition GKS51F5XJQ
| URI | m2://inv/GKS51F5XJQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-arithmetic mean#S6MT, Definition (definition)
History
- 2026-11-02: add by m2/dev
Example GKS8M3HNYG
| URI | m2://inv/GKS8M3HNYG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prenex normal form#7IZE, Example (example)
History
- 2026-11-02: add by m2/dev
Statistica Neerlandica GKSDRDZP1Q
| URI | m2://inv/GKSDRDZP1Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#6MZ5, Statistica Neerlandica (unknown)
History
- 2026-11-02: add by m2/dev
Energy comparisons GKSDXEQW2M
| URI | m2://inv/GKSDXEQW2M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12203#4GR1, Energy comparisons (statement). In F4YTAZSCS2/e1, lemma A.2
History
- 2026-10-28: add by m2/v0.4.2
Algorithms GKSG5D8STM
| URI | m2://inv/GKSG5D8STM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simpson's rule#AKP8, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Exponentially weighted operator drift GKSNHT91DT
| URI | m2://inv/GKSNHT91DT |
|---|---|
| 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.39837#MSDA, Exponentially weighted operator drift (statement). In MDQXTBEK0F/e1, lemma B.5
History
- 2026-10-30: add by m2/v0.4.12
Exact one-way crossings GKSQ9V9K48
| URI | m2://inv/GKSQ9V9K48 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21268#58U1, Exact one-way crossings (statement). In 9W2YX5X4AX/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
Clay Mathematics Institute GKSQPM45YQ
| URI | m2://inv/GKSQPM45YQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clay Mathematics Institute, Clay Mathematics Institute (definition). Also Wikidata Q857975
History
- 2026-11-02: add by m2/dev
GKSV07G862 GKSV07G862
| URI | m2://inv/GKSV07G862 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30067#SDMW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example GKT1PCYF0H
| URI | m2://inv/GKT1PCYF0H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum bottleneck spanning tree#JUBI, Example (example)
History
- 2026-11-02: add by m2/dev
GKT4JPQ314 GKT4JPQ314
| URI | m2://inv/GKT4JPQ314 |
|---|---|
| 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 1810.06028#ECRZ (statement). In ZPFHH6YJG3/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
cubic surface GKT67RWD4X
| URI | m2://inv/GKT67RWD4X |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 4 |
| Outcome | open |
| Node | Cubic surface KDEVJ69P10 |
Mentions
- mathlib_1000: mathlib_1000 Q3505260, Cayley–Salmon theorem (statement). Also Wikidata Q3505260
- thousand_plus: thousand_plus Q3505260, Cayley–Salmon theorem (statement). Also Wikidata Q3505260, Wikipedia Cayley–Salmon theorem
- wikidata: Wikidata Q3505260, cubic surface (unknown). Also MathWorld CubicSurface
- wikipedia: Wikipedia Cubic surface, Cubic surface (definition). Also Wikidata Q3505260
History
- 2026-10-26: add by m2/dev
GKT71EAYXK GKT71EAYXK
| URI | m2://inv/GKT71EAYXK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#Q508 (statement). In WRE0P7V6Z3/e1, proposition 5.7
History
- 2026-10-30: add by m2/v0.4.12
Rao–Blackwell theorem GKTA3FPAVA
| URI | m2://inv/GKTA3FPAVA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HKCW, Rao–Blackwell theorem (statement)
History
- 2026-11-02: add by m2/dev
Rank selection by carries GKTDR2VRZ9
| URI | m2://inv/GKTDR2VRZ9 |
|---|---|
| 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.13365#E9NG, Rank selection by carries (statement). In YMBTSX10FF/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
GKTQE39ABF GKTQE39ABF
| URI | m2://inv/GKTQE39ABF |
|---|---|
| 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 2306.16411#X61O (statement). In QQ222ZDZC0/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Kepler conjecture GKTRN9VK8H
| URI | m2://inv/GKTRN9VK8H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of long mathematical proofs#9BG3, Kepler conjecture (statement)
History
- 2026-11-02: add by m2/dev
knights GKTVNNFCM9
| URI | m2://inv/GKTVNNFCM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#B9VC, knights (definition)
History
- 2026-11-02: add by m2/dev
Michele Rajna GKTYD6P4XD
| URI | m2://inv/GKTYD6P4XD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michele Rajna, Michele Rajna (topic). Also Wikidata Q3856766
History
- 2026-11-02: add by m2/dev
GKTYV90PE7 GKTYV90PE7
| URI | m2://inv/GKTYV90PE7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21900#FZFU (statement)
History
- 2026-11-02: add by m2/v0.6.17
Oriented site second moment GKVQDSJAPF
| URI | m2://inv/GKVQDSJAPF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#4WC3, Oriented site second moment (statement)
History
- 2026-11-02: add by m2/v0.6.17
Exact nonlocal Cheeger dual GKVVMR49RQ
| URI | m2://inv/GKVVMR49RQ |
|---|---|
| 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#WPSM, Exact nonlocal Cheeger dual (statement). In 9YAE8FNQST/e1, theorem 20.1
History
- 2026-10-30: add by m2/v0.4.12
Pavel Materna GKVWV7PZJA
| URI | m2://inv/GKVWV7PZJA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#AS65, Pavel Materna (unknown)
History
- 2026-11-02: add by m2/dev
Exact minimax posterior-rank ordering GKW04P7SSV
| URI | m2://inv/GKW04P7SSV |
|---|---|
| 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.29688#G93J, Exact minimax posterior-rank ordering (statement)
History
- 2026-11-01: add by m2/v0.6.15
GKW3QZ5MWB GKW3QZ5MWB
| URI | m2://inv/GKW3QZ5MWB |
|---|---|
| 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.24412#VO0L (statement)
History
- 2026-11-01: add by m2/v0.6.15
GKWDKHC4CT GKWDKHC4CT
| URI | m2://inv/GKWDKHC4CT |
|---|---|
| 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 2610.16123#ULEG (statement). In 6VR4TY5BGV/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
Bernays-Tarski axiom system GKWPHETPSE
| URI | m2://inv/GKWPHETPSE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alfred Tarski#6VND, Bernays-Tarski axiom system (definition)
History
- 2026-11-02: add by m2/dev
equality, definitional GKWYSW21SE
| URI | m2://inv/GKWYSW21SE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.2/equality-definitional, equality, definitional (concept). In N54F33XE07, index, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
GKWZ780MDG GKWZ780MDG
| URI | m2://inv/GKWZ780MDG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28203#PLGA (statement)
History
- 2026-11-01: add by m2/v0.6.15
GKWZZ600RY GKWZZ600RY
| URI | m2://inv/GKWZZ600RY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34339#IKPX (statement). In 9WFSTGMQ4E/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Lars Hesselholt GKX6A0N3NY
| URI | m2://inv/GKX6A0N3NY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VJQJ, Lars Hesselholt (topic)
History
- 2026-11-02: add by m2/dev
Chen--Mohar--Wu GKXBJC66QM
| URI | m2://inv/GKXBJC66QM |
|---|---|
| Kind | conjecture |
| 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.30315#5833, Chen--Mohar--Wu (conjecture). In FXTCVHYW5S/e1, conjecture 1.3
History
- 2026-10-31: add by m2/v0.5.6
GKXJ3ARRBG GKXJ3ARRBG
| URI | m2://inv/GKXJ3ARRBG |
|---|---|
| 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.30976#CB69 (statement). In 4QY9J1A0KT/e1, theorem 8
History
- 2026-10-31: add by m2/v0.5.6
Armenian Mathematical Union GKXJYJK4Z6
| URI | m2://inv/GKXJYJK4Z6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#4LU1, Armenian Mathematical Union (definition)
History
- 2026-11-02: add by m2/dev
Elasticity tensor GKXMCB37HA
| URI | m2://inv/GKXMCB37HA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elasticity tensor, Elasticity tensor (definition). Also Wikidata Q18708823
History
- 2026-11-02: add by m2/dev
Rational ellipticity GKXVVXVFGV
| URI | m2://inv/GKXVVXVFGV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14065#JDIC, Rational ellipticity (statement). In PV7V3X78JH/e1, corollary 1.4
History
- 2026-10-28: add by m2/v0.4.2
William A. Massey GKY7AZFBFE
| URI | m2://inv/GKY7AZFBFE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William A. Massey (mathematician), William A. Massey (topic). Also Wikidata Q8004000
History
- 2026-11-02: add by m2/dev
GKYG0PGTQZ GKYG0PGTQZ
| URI | m2://inv/GKYG0PGTQZ |
|---|---|
| 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.16886#OZ0W (statement). In Y8QQAH7VCF/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
GKYJGQ7K8M GKYJGQ7K8M
| URI | m2://inv/GKYJGQ7K8M |
|---|---|
| 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.24569#UUOX (statement)
History
- 2026-11-01: add by m2/v0.6.15
elliptic function GKYN9ABT8Y
| URI | m2://inv/GKYN9ABT8Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 33E05 |
| Sources | 2 |
| Outcome | open |
| Node | Elliptic function FF9ZPCZ59K |
Mentions
- wikidata: Wikidata Q938102, elliptic function (topic). Also MathWorld EllipticFunction, nLab elliptic function
- wikipedia: Wikipedia Elliptic function, Elliptic function (definition). Also Wikidata Q938102
History
- 2026-10-26: add by m2/dev
GKYQ5WCB1D GKYQ5WCB1D
| URI | m2://inv/GKYQ5WCB1D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.02672#3EYA (statement). In ETRT1R1CQ8/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.4.0
GKZ7XHWVCE GKZ7XHWVCE
| URI | m2://inv/GKZ7XHWVCE |
|---|---|
| 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.06895#764X (statement). In PBB3PSDP0S/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
imaginary error function GKZ9J1RK3M
| URI | m2://inv/GKZ9J1RK3M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#R4HR, imaginary error function (definition)
History
- 2026-11-02: add by m2/dev
Identity-based cryptography GKZF68NM35
| URI | m2://inv/GKZF68NM35 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Identity-based cryptography, Identity-based cryptography (statement). Also Wikidata Q582616
History
- 2026-11-02: add by m2/dev
GKZGQZJ208 GKZGQZJ208
| URI | m2://inv/GKZGQZJ208 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02692#UI9M (statement). In P482WJSQSN/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.12
Yao's Millionaires' problem GKZQZ46J2H
| URI | m2://inv/GKZQZ46J2H |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yao's Millionaires' problem, Yao's Millionaires' problem (problem). Also Wikidata Q2599574
History
- 2026-11-02: add by m2/dev
Caustic GKZXC6EMSF
| URI | m2://inv/GKZXC6EMSF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#JT4A, Caustic (definition)
- wikipedia: Wikipedia List of curves topics#HMCA, Caustic (definition)
History
- 2026-11-02: add by m2/dev