Inventory rows FG
The cards of the rows of the inventory whose ids start with FG. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Measure Concentration in the Sphere FG07A5MWXJ
| URI | m2://inv/FG07A5MWXJ |
|---|---|
| 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.05056#CQKM, Measure Concentration in the Sphere (statement). In 4PF04DW3YP/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Theorem FG0984W5Q8
| URI | m2://inv/FG0984W5Q8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-adjoint operator#F37L, Theorem (statement)
History
- 2026-11-02: add by m2/dev
FG0PEKYS2K FG0PEKYS2K
| URI | m2://inv/FG0PEKYS2K |
|---|---|
| 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.07370#27UV (statement). In Q94QXG67CK/e1, theorem IV.1
History
- 2026-10-29: add by m2/v0.4.10
Uniformity is free, once the constants are uniform FG0VWXDZ32
| URI | m2://inv/FG0VWXDZ32 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27766#EYGM, Uniformity is free, once the constants are uniform (statement)
History
- 2026-11-01: add by m2/v0.6.15
FG0W54Z74T FG0W54Z74T
| URI | m2://inv/FG0W54Z74T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26410#VWT3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Remark FG0WRRJE6E
| URI | m2://inv/FG0WRRJE6E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operator theory#9IPI, Remark (unknown)
History
- 2026-11-02: add by m2/dev
Simultaneous prediction bands FG0WXMSDSM
| URI | m2://inv/FG0WXMSDSM |
|---|---|
| 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.23617#PQ1B, Simultaneous prediction bands (statement)
History
- 2026-11-02: add by m2/v0.6.17
Cryptography FG0XWD8WY6
| URI | m2://inv/FG0XWD8WY6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#HXVW, Cryptography (definition)
History
- 2026-11-02: add by m2/dev
Statement of Hilbert's program FG0YEG625G
| URI | m2://inv/FG0YEG625G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's program#DCLF, Statement of Hilbert's program (statement)
History
- 2026-11-02: add by m2/dev
FG1032GDYX FG1032GDYX
| URI | m2://inv/FG1032GDYX |
|---|---|
| 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.03222#4ONW (statement). In BB0JGNK4YF/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.12
Hua Luogeng FG14949A4J
| URI | m2://inv/FG14949A4J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PZ43, Hua Luogeng (topic)
History
- 2026-11-02: add by m2/dev
FG1A68KSGH FG1A68KSGH
| URI | m2://inv/FG1A68KSGH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09945#T5EJ (statement). In V7VCEA0VAA/e1, proposition 3.11
History
- 2026-10-29: add by m2/v0.4.10
Fuzzy merging FG1BDYNGFM
| URI | m2://inv/FG1BDYNGFM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Record linkage#E5KN, Fuzzy merging (unknown)
History
- 2026-11-02: add by m2/dev
FG1D51VN8W FG1D51VN8W
| URI | m2://inv/FG1D51VN8W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02961#W6XH (definition). In 986DENWM1D/e1, definition 3.7
History
- 2026-10-29: add by m2/v0.4.12
Boolean differential calculus FG1DA1KG6B
| URI | m2://inv/FG1DA1KG6B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#3OCZ, Boolean differential calculus (definition)
History
- 2026-11-02: add by m2/dev
Ikeda map FG1F3YH13K
| URI | m2://inv/FG1F3YH13K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ikeda map, Ikeda map (definition). Also Wikidata Q115565
History
- 2026-11-02: add by m2/dev
FG1FVK9X9P FG1FVK9X9P
| URI | m2://inv/FG1FVK9X9P |
|---|---|
| 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.07049#K9KM (statement). In GMF552ESG6/e1, theorem A.1
History
- 2026-10-29: add by m2/v0.4.10
Symmetry of context PER FG1HGZR2XH
| URI | m2://inv/FG1HGZR2XH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#HXEU, Symmetry of context PER (statement). In CPYWHRTPKC/e1, lemma 6.22
History
- 2026-10-27: add by m2/v0.4.2
Applications FG1NDZ3DVR
| URI | m2://inv/FG1NDZ3DVR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic–geometric mean#5IWN, Applications (example)
History
- 2026-11-02: add by m2/dev
Law of comparative judgment FG1NKJZRPY
| URI | m2://inv/FG1NKJZRPY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#H9T4, Law of comparative judgment (statement)
History
- 2026-11-02: add by m2/dev
Upper {Hausdorff dimension} estimate FG1QYDTVMP
| URI | m2://inv/FG1QYDTVMP |
|---|---|
| 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.36412#89A1, Upper {Hausdorff dimension} estimate (statement). In 6HKGGCMBCK/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Corollary of Poisson integral formula FG1S3Q33AX
| URI | m2://inv/FG1S3Q33AX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwarz integral formula#LD6G, Corollary of Poisson integral formula (statement)
History
- 2026-11-02: add by m2/dev
FG1TC2HKBG FG1TC2HKBG
| URI | m2://inv/FG1TC2HKBG |
|---|---|
| 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.04772#OJXI (statement). In WW08CYN4D4/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Trace representation of $\Delta_K$ FG1TE836EA
| URI | m2://inv/FG1TE836EA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/discriminant.tex#sproblem-1, Trace representation of $\Delta_K$ (exercise). In RZP28ERRZV, sproblem, section 11
History
- 2026-11-01: add by m2/v0.6.13
FG22565AMZ FG22565AMZ
| URI | m2://inv/FG22565AMZ |
|---|---|
| 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.23004#PUPR (statement)
History
- 2026-11-02: add by m2/v0.6.17
FG259VPHKQ FG259VPHKQ
| URI | m2://inv/FG259VPHKQ |
|---|---|
| Kind | statement |
| 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#AO0F (statement)
History
- 2026-11-01: add by m2/v0.6.15
FG2GAKK09Y FG2GAKK09Y
| URI | m2://inv/FG2GAKK09Y |
|---|---|
| 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 2208.06310#WP1L (statement). In 9YR0E0T9XA/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.3.5
Generalizations FG2HSCMRFZ
| URI | m2://inv/FG2HSCMRFZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fiber bundle#OHUT, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
FG2P4PPWVT FG2P4PPWVT
| URI | m2://inv/FG2P4PPWVT |
|---|---|
| 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.34852#NVD0 (statement). In TZXEMCBK5V/e1, lemma 7.12
History
- 2026-10-30: add by m2/v0.4.12
Properties FG2P59DM6B
| URI | m2://inv/FG2P59DM6B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohen–Macaulay ring#NXGF, Properties (statement)
History
- 2026-11-02: add by m2/dev
FG2VV46GE0 FG2VV46GE0
| URI | m2://inv/FG2VV46GE0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19470#0NU8 (statement). In Y24F6WTV90/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
Products of odd spheres FG2XEG6386
| URI | m2://inv/FG2XEG6386 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04164#D8V6, Products of odd spheres (statement). In KR7WXN4EWR/e1, proposition 8.2
History
- 2026-10-29: add by m2/v0.4.12
FG2XWSGN9Q FG2XWSGN9Q
| URI | m2://inv/FG2XWSGN9Q |
|---|---|
| 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 2609.37967#HP5Q (statement). In BR2E3CXQE0/e1, theorem 12
History
- 2026-10-30: add by m2/v0.4.12
Dynamic reduction FG32XG7M2S
| URI | m2://inv/FG32XG7M2S |
|---|---|
| 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.21565#MXSL, Dynamic reduction (statement)
History
- 2026-11-02: add by m2/v0.6.18
FG3Q8H2CSH FG3Q8H2CSH
| URI | m2://inv/FG3Q8H2CSH |
|---|---|
| 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.13214#8JJT (statement). In 4GRNWWH88J/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Formal definition FG44MANV8X
| URI | m2://inv/FG44MANV8X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dependent type#Z3AI, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
KKM Lemma FG46ESYCCE
| URI | m2://inv/FG46ESYCCE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.20998#I5PX, KKM Lemma (statement)
History
- 2026-11-02: add by m2/v0.6.18
Complete risk scaling of the offset family FG47EKW2KJ
| URI | m2://inv/FG47EKW2KJ |
|---|---|
| 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.03633#5V2Y, Complete risk scaling of the offset family (statement). In X3E4D61X4V/e1, theorem D.3
History
- 2026-10-29: add by m2/v0.4.12
Melissa Begg FG4B8B5SY4
| URI | m2://inv/FG4B8B5SY4 |
|---|---|
| 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#WP0V, Melissa Begg (unknown)
History
- 2026-11-02: add by m2/dev
Euler's totient function FG4CHRZ5C7
| URI | m2://inv/FG4CHRZ5C7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#EFYR, Euler's totient function (definition)
- wikipedia: Wikipedia List of topics named after Leonhard Euler#ZC5O, Euler's totient function (definition)
History
- 2026-11-02: add by m2/dev
Zero-respecting algorithm FG4EM2HJFY
| URI | m2://inv/FG4EM2HJFY |
|---|---|
| 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.30877#GXBX, Zero-respecting algorithm (definition). In QKNE21ABF3/e1, definition 2
History
- 2026-10-31: add by m2/v0.5.6
The Algorithm FG4M1GNHRQ
| URI | m2://inv/FG4M1GNHRQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faddeev–LeVerrier algorithm#R14Z, The Algorithm (definition)
History
- 2026-11-02: add by m2/dev
FG4P0ES1TX FG4P0ES1TX
| URI | m2://inv/FG4P0ES1TX |
|---|---|
| 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.13981#4266 (statement). In V78F5DK90W/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
FG4PCRFHMC FG4PCRFHMC
| URI | m2://inv/FG4PCRFHMC |
|---|---|
| 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 2607.28337#EAUT (definition). In 7ZJFWBTBKM/e1, definition 3.2.1
History
- 2026-10-27: add by m2/v0.3.6
FG4WA93YN2 FG4WA93YN2
| URI | m2://inv/FG4WA93YN2 |
|---|---|
| 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.16358#N89J (statement). In RJA3YJ9NYK/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
sine–Gordon equation FG4YNYV29R
| URI | m2://inv/FG4YNYV29R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Sine-Gordon equation 802QSF9NM3 |
Mentions
- wikidata: Wikidata Q2558473, sine–Gordon equation (concept). Also EoM Sine-Gordon_equation, MathWorld Sine-GordonEquation
- wikipedia: Wikipedia Sine-Gordon equation, Sine-Gordon equation (definition). Also Wikidata Q2558473
History
- 2026-10-26: add by m2/dev
Tensor product of representations FG57WNC6NA
| URI | m2://inv/FG57WNC6NA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor product#OJ37, Tensor product of representations (definition)
History
- 2026-11-02: add by m2/dev
Rostislav Grigorchuk FG5878AT5J
| URI | m2://inv/FG5878AT5J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rostislav Grigorchuk, Rostislav Grigorchuk (topic). Also Wikidata Q4149226
History
- 2026-11-02: add by m2/dev
Formula FG58EV2RVP
| URI | m2://inv/FG58EV2RVP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/syntax-and-semantics/formulas.tex#defn:formulas, Formula (definition). In PKGMM3P5QY, defn, section 41.3
History
- 2026-11-01: add by m2/v0.6.13
Exact interval certificate FG5BRH5KX3
| URI | m2://inv/FG5BRH5KX3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25027#DB1Y, Exact interval certificate (statement)
History
- 2026-11-01: add by m2/v0.6.15
Continuity FG5CY5ZBXN
| URI | m2://inv/FG5CY5ZBXN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Net (mathematics)#4KLM, Continuity (statement)
History
- 2026-11-02: add by m2/dev
FG5N4JFR5S FG5N4JFR5S
| URI | m2://inv/FG5N4JFR5S |
|---|---|
| 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.20273#HGFI (statement). In AEGHDSD5S7/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.4.2
FG5NZ6J5AG FG5NZ6J5AG
| URI | m2://inv/FG5NZ6J5AG |
|---|---|
| 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.20119#TYZA (statement)
History
- 2026-11-02: add by m2/v0.6.18
Robert M. Anderson FG5Q3PB3X1
| URI | m2://inv/FG5Q3PB3X1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert M. Anderson (mathematician), Robert M. Anderson (topic). Also Wikidata Q7347086
History
- 2026-11-02: add by m2/dev
Boundedness Theorem FG5QFG4CBS
| URI | m2://inv/FG5QFG4CBS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extreme value theorem#SRYI, Boundedness Theorem (statement)
History
- 2026-11-02: add by m2/dev
FG5QQP3XVJ FG5QQP3XVJ
| URI | m2://inv/FG5QQP3XVJ |
|---|---|
| Kind | definition |
| 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.26434#A9I1 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Grouped matrix FG5W4K8CNA
| URI | m2://inv/FG5W4K8CNA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.02407#50TD, Grouped matrix (statement). In ZZER8ZBSCR/e1, lemma 6.24
History
- 2026-10-29: add by m2/v0.4.12
Mandart inellipse FG65R510CH
| URI | m2://inv/FG65R510CH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3798421, Mandart inellipse (unknown). Also MathWorld MandartInellipse
- wikipedia: Wikipedia Mandart inellipse, Mandart inellipse (definition). Also Wikidata Q3798421
History
- 2026-10-26: add by m2/dev
FG6A1RKKAM FG6A1RKKAM
| URI | m2://inv/FG6A1RKKAM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/infinite/dedekind-induction.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 79.7
History
- 2026-11-01: add by m2/v0.6.13
Examples FG6BW20P50
| URI | m2://inv/FG6BW20P50 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero-divisor graph#URO9, Examples (example)
History
- 2026-11-02: add by m2/dev
FG6CN46PTM FG6CN46PTM
| URI | m2://inv/FG6CN46PTM |
|---|---|
| Kind | definition |
| 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 alg-geom/9506022#Z9H7 (definition). In AQGEM4XAKD/e1, definition 0.1
History
- 2026-10-27: add by m2/v0.3.5
FG6EBFMX0D FG6EBFMX0D
| URI | m2://inv/FG6EBFMX0D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37893#YS2W (statement). In 8H0KHK7AMN/e1, proposition 2.13
History
- 2026-10-30: add by m2/v0.4.12
unit of measurement FG6H2M3T2S
| URI | m2://inv/FG6H2M3T2S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q47574, unit of measurement (definition). Also ProofWiki Definition:Unit_of_Measurement
History
- 2026-10-26: add by m2/dev
Multiplicity of emergence at exceptional weights FG6HF5N34W
| URI | m2://inv/FG6HF5N34W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14310#SOL4, Multiplicity of emergence at exceptional weights (statement). In 8GSG7024NW/e1, theorem 7.11
History
- 2026-10-28: add by m2/v0.4.2
Applications FG6M5WWE6S
| URI | m2://inv/FG6M5WWE6S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck–Riemann–Roch theorem#45I7, Applications (example)
History
- 2026-11-02: add by m2/dev
FG6NV5S2TB FG6NV5S2TB
| URI | m2://inv/FG6NV5S2TB |
|---|---|
| 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 2609.25167#XGNP (statement)
History
- 2026-11-01: add by m2/v0.6.15
FG6QN5R3TP FG6QN5R3TP
| URI | m2://inv/FG6QN5R3TP |
|---|---|
| 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 2609.27056#UIBL (example)
History
- 2026-11-01: add by m2/v0.6.15
divisorial FG6R4ZM5PC
| URI | m2://inv/FG6R4ZM5PC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#VXCC, divisorial (definition)
History
- 2026-11-02: add by m2/dev
FG6ZXJCS41 FG6ZXJCS41
| URI | m2://inv/FG6ZXJCS41 |
|---|---|
| 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.14616#OT4P (statement). In 17ACAG0N9C/e1, corollary 8.6
History
- 2026-10-28: add by m2/v0.4.2
Sharpness of the derivative trace FG713NTC6V
| URI | m2://inv/FG713NTC6V |
|---|---|
| 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.00292#GPS5, Sharpness of the derivative trace (statement). In NX3EFW0D0X/e1, corollary 5.3
History
- 2026-10-30: add by m2/v0.4.12
FG791B2RAY FG791B2RAY
| URI | m2://inv/FG791B2RAY |
|---|---|
| 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 2506.16491#HRRL (statement). In P9J6P06Y40/e1, theorem 5.11
History
- 2026-10-27: add by m2/v0.3.5
Graded Jacobson--Morozov Theorem FG79H8201A
| URI | m2://inv/FG79H8201A |
|---|---|
| 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.16931#WU40, Graded Jacobson--Morozov Theorem (statement). In H7DMRWBBJN/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
FG7AMZT9VX FG7AMZT9VX
| URI | m2://inv/FG7AMZT9VX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-70 (exercise). In E9HS8K3A52, exercise, section 2.6.1
History
- 2026-11-01: add by m2/v0.6.13
Algebraic modeling language FG7FCX0SAK
| URI | m2://inv/FG7FCX0SAK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic modeling language, Algebraic modeling language (definition). Also Wikidata Q4724010
History
- 2026-11-02: add by m2/dev
cycle FG7P2CAS81
| URI | m2://inv/FG7P2CAS81 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78323458, cycle (unknown). Also MathWorld HomologyCycle
History
- 2026-10-26: add by m2/dev
FG805DDWES FG805DDWES
| URI | m2://inv/FG805DDWES |
|---|---|
| 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.01247#Z3VM (statement). In 6EVNCRZ118/e1, lemma 27
History
- 2026-10-29: add by m2/v0.4.12
noon FG81KPR3M7
| URI | m2://inv/FG81KPR3M7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q168182, noon (definition). Also ProofWiki Definition:Twelve_O'Clock/Noon
History
- 2026-10-26: add by m2/dev
Fractional matching FG8279NVJY
| URI | m2://inv/FG8279NVJY |
|---|---|
| Kind | definition |
| 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.09810#0QF9, Fractional matching (definition). In B6PCH930FV/e1, definition 14
History
- 2026-10-29: add by m2/v0.4.10
Hamilton's principle FG8CD48XXG
| URI | m2://inv/FG8CD48XXG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian optics#4FHB, Hamilton's principle (statement)
History
- 2026-11-02: add by m2/dev
Free-by-cyclic group FG8GMNXS7J
| URI | m2://inv/FG8GMNXS7J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free-by-cyclic group, Free-by-cyclic group (definition). Also Wikidata Q5499608
History
- 2026-11-02: add by m2/dev
Guy Hirsch FG8JM1H02Z
| URI | m2://inv/FG8JM1H02Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guy Hirsch, Guy Hirsch (topic). Also Wikidata Q15453312
History
- 2026-11-02: add by m2/dev
Consistency and detection above a fixed error tolerance FG8PGPTD67
| URI | m2://inv/FG8PGPTD67 |
|---|---|
| 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 2609.32652#BB90, Consistency and detection above a fixed error tolerance (statement). In 6KAZWJ8RFX/e1, corollary 2.6
History
- 2026-10-31: add by m2/v0.5.6
FG8PPCVXRE FG8PPCVXRE
| URI | m2://inv/FG8PPCVXRE |
|---|---|
| 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#M4H3 (statement). In E7W2HDNEKJ/e1, theorem 5.25
History
- 2026-10-30: add by m2/v0.4.12
Affine shifts adapted to a polar radical FG8SJSKER5
| URI | m2://inv/FG8SJSKER5 |
|---|---|
| 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.15815#ZG1B, Affine shifts adapted to a polar radical (statement). In 9C75CTY5C3/e1, lemma 5.8
History
- 2026-10-28: add by m2/v0.4.2
Journal of Applied Probability FG8VHJ82MQ
| URI | m2://inv/FG8VHJ82MQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability journals#9NDV, Journal of Applied Probability (unknown)
History
- 2026-11-02: add by m2/dev
FG8YT3YK5J FG8YT3YK5J
| URI | m2://inv/FG8YT3YK5J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16554#Y8HH (statement). In GWNT8HEZG1/e1, proposition 3.33
History
- 2026-10-27: add by m2/v0.3.6
FG90T93TJX FG90T93TJX
| URI | m2://inv/FG90T93TJX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-10 (exercise). In E9HS8K3A52, exercise, section 8.1.3
History
- 2026-11-01: add by m2/v0.6.13
Clasper FG97AXMR7S
| URI | m2://inv/FG97AXMR7S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clasper (mathematics), Clasper (definition). Also Wikidata Q5127839
History
- 2026-11-02: add by m2/dev
Möbius ladder FG9CGS541A
| URI | m2://inv/FG9CGS541A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4307303, Möbius ladder (unknown). Also MathWorld MoebiusLadder
- wikipedia: Wikipedia Möbius ladder, Möbius ladder (definition). Also Wikidata Q4307303
History
- 2026-10-26: add by m2/dev
Pointwise prediction bands FG9DD0AF86
| URI | m2://inv/FG9DD0AF86 |
|---|---|
| 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.23617#5ED8, Pointwise prediction bands (statement)
History
- 2026-11-02: add by m2/v0.6.17
FG9DV9EBPZ FG9DV9EBPZ
| URI | m2://inv/FG9DV9EBPZ |
|---|---|
| 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 2609.37967#ZIYO (statement). In BR2E3CXQE0/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
Applications FG9DYD04KY
| URI | m2://inv/FG9DYD04KY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adian–Rabin theorem#LENQ, Applications (example)
History
- 2026-11-02: add by m2/dev
Axiom of union FG9GQ725FK
| URI | m2://inv/FG9GQ725FK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann–Bernays–Gödel set theory#3WKJ, Axiom of union (statement)
History
- 2026-11-02: add by m2/dev
FGA0K7JQS1 FGA0K7JQS1
| URI | m2://inv/FGA0K7JQS1 |
|---|---|
| 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 2609.28014#55IC (definition)
History
- 2026-11-01: add by m2/v0.6.15
Discrete inf--sup condition FGA9JB94EK
| URI | m2://inv/FGA9JB94EK |
|---|---|
| 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.36141#M0FG, Discrete inf--sup condition (statement). In F1WNDBMKSZ/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Goldstone boson FGAR8M8MW5
| URI | m2://inv/FGAR8M8MW5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1153441, Goldstone's theorem (statement). Also Wikidata Q1153441
- thousand_plus: thousand_plus Q1153441, Goldstone's theorem (statement). Also Wikidata Q1153441, Wikipedia Goldstone's theorem
- wikidata: Wikidata Q1153441, Goldstone boson (unknown). Also nLab Goldstone boson
- wikipedia: Wikipedia Goldstone boson, Goldstone boson (definition). Also Wikidata Q1153441
History
- 2026-10-26: add by m2/dev
Thin set (analysis) FGB15QH8CQ
| URI | m2://inv/FGB15QH8CQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fine topology (potential theory)#37W1, Thin set (analysis) (unknown)
History
- 2026-11-02: add by m2/dev
Order-5 cubic honeycomb FGB1QYZZ9Y
| URI | m2://inv/FGB1QYZZ9Y |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#KZ0Z, Order-5 cubic honeycomb (object)
- wikipedia: Wikipedia List of mathematical shapes#YA7F, Order-5 cubic honeycomb (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#ZAEU, Order-5 cubic honeycomb (object)
History
- 2026-11-02: add by m2/dev
Examples FGB5E0WAYV
| URI | m2://inv/FGB5E0WAYV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact semigroup#NXVT, Examples (example)
History
- 2026-11-02: add by m2/dev
FGBBPVWTNB FGBBPVWTNB
| URI | m2://inv/FGBBPVWTNB |
|---|---|
| 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.21097#AIIH (statement). In Y1KA940FPZ/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.4.2
Uniform high-side remainder FGBQ42A24X
| URI | m2://inv/FGBQ42A24X |
|---|---|
| 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.15291#D6JF, Uniform high-side remainder (statement). In YVS8268AG8/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
Notation FGBSCTRV13
| URI | m2://inv/FGBSCTRV13 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect totient number#L5AX, Notation (definition)
History
- 2026-11-02: add by m2/dev
metric space FGBWEWECD6
| URI | m2://inv/FGBWEWECD6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.5/metric-space, metric space (concept). In N54F33XE07, index, section B.5
History
- 2026-11-01: add by m2/v0.6.13
Important theorems FGC3GXCGHE
| URI | m2://inv/FGC3GXCGHE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian curvature#OF17, Important theorems (statement)
History
- 2026-11-02: add by m2/dev
Hyperbolic system and conservation laws FGC4ACZ2S2
| URI | m2://inv/FGC4ACZ2S2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic partial differential equation#DX4U, Hyperbolic system and conservation laws (statement)
History
- 2026-11-02: add by m2/dev
FGC8EHC0N2 FGC8EHC0N2
| URI | m2://inv/FGC8EHC0N2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28898#0W75 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Variations FGCSMEF78N
| URI | m2://inv/FGCSMEF78N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amorphous set#958N, Variations (statement)
History
- 2026-11-02: add by m2/dev
Igor D. Novikov FGCTZ7KT5F
| URI | m2://inv/FGCTZ7KT5F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#4DZO, Igor D. Novikov (unknown)
History
- 2026-11-02: add by m2/dev
Effective average action FGCZ43707M
| URI | m2://inv/FGCZ43707M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Renormalization group#WISP, Effective average action (unknown)
History
- 2026-11-02: add by m2/dev
Characterizations FGD4TNQYGW
| URI | m2://inv/FGD4TNQYGW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trapezoid#M106, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Structural set theory FGDB4DAVAN
| URI | m2://inv/FGDB4DAVAN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structural set theory, Structural set theory (definition). Also Wikidata Q131515501
History
- 2026-11-02: add by m2/dev
Minimal rational surface FGDY7XBPJY
| URI | m2://inv/FGDY7XBPJY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational surface#DTCV, Minimal rational surface (unknown)
History
- 2026-11-02: add by m2/dev
FGEA3RWF5W FGEA3RWF5W
| URI | m2://inv/FGEA3RWF5W |
|---|---|
| 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.38118#VE3G (statement). In K4KKTYYKKH/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
compact FGF08ZYSZG
| URI | m2://inv/FGF08ZYSZG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#TEQY, compact (definition)
History
- 2026-11-02: add by m2/dev
Erling Sverdrup FGF60QH2M9
| URI | m2://inv/FGF60QH2M9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erling Sverdrup, Erling Sverdrup (topic). Also Wikidata Q11967858
History
- 2026-11-02: add by m2/dev
Remmert–Stein theorem FGFBTEFNHG
| URI | m2://inv/FGFBTEFNHG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#QWMG, Remmert–Stein theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition FGFGDXEYQ4
| URI | m2://inv/FGFGDXEYQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-Thue system#6YO8, Definition (definition)
History
- 2026-11-02: add by m2/dev
Full occupancy does not make the criteria agree FGFKVCFFQ2
| URI | m2://inv/FGFKVCFFQ2 |
|---|---|
| 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.05442#JXMD, Full occupancy does not make the criteria agree (statement). In WEPE51JCHZ/e1, proposition 5.7
History
- 2026-10-29: add by m2/v0.4.10
Support and possible solutions to the paradox FGFTNAG3PM
| URI | m2://inv/FGFTNAG3PM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paradox of enrichment#9CJA, Support and possible solutions to the paradox (statement)
History
- 2026-11-02: add by m2/dev
Rodolphe Raclis FGG39NMSSJ
| URI | m2://inv/FGG39NMSSJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TBNG, Rodolphe Raclis (unknown)
History
- 2026-11-02: add by m2/dev
Gibbs measure FGGABRBWK0
| URI | m2://inv/FGGABRBWK0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gibbs measure, Gibbs measure (definition). Also Wikidata Q2510435
History
- 2026-11-02: add by m2/dev
Mariya Shcherbina FGGBKYSJPF
| URI | m2://inv/FGGBKYSJPF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WB4G, Mariya Shcherbina (unknown)
History
- 2026-11-02: add by m2/dev
Equivalence class FGGJZ4022P
| URI | m2://inv/FGGJZ4022P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#RRT3, Equivalence class (definition)
History
- 2026-11-02: add by m2/dev
Henryk Iwaniec FGGP0A030E
| URI | m2://inv/FGGP0A030E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henryk Iwaniec, Henryk Iwaniec (topic). Also Wikidata Q370944
History
- 2026-11-02: add by m2/dev
FGH2XTB4Y1 FGH2XTB4Y1
| URI | m2://inv/FGH2XTB4Y1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01216#3ZE2 (statement). In 59016RQTW6/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
The Whitehead model FGH46YH8P9
| URI | m2://inv/FGH46YH8P9 |
|---|---|
| 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.29839#KTAN, The Whitehead model (statement)
History
- 2026-11-01: add by m2/v0.6.15
FGH5WPW3KR FGH5WPW3KR
| URI | m2://inv/FGH5WPW3KR |
|---|---|
| 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 2609.40191#YS00 (statement). In F0D8VSM4Z4/e1, theorem 6.3
History
- 2026-10-30: add by m2/v0.4.12
FGH7P5WD56 FGH7P5WD56
| URI | m2://inv/FGH7P5WD56 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-16 (exercise). In E9HS8K3A52, exercise, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
Stages, values and admissible corruption FGH7RW7B10
| URI | m2://inv/FGH7RW7B10 |
|---|---|
| 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.15202#PWXV, Stages, values and admissible corruption (statement). In X1FPG0KYBM/e1, corollary W.2
History
- 2026-10-28: add by m2/v0.4.2
Mackey functions FGHEJ4E3NE
| URI | m2://inv/FGHEJ4E3NE |
|---|---|
| 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 2610.13892#6D5E, Mackey functions (definition). In HV9KKEBBDD/e1, definition IV.4
History
- 2026-10-28: add by m2/v0.4.2
FGHG6CPH25 FGHG6CPH25
| URI | m2://inv/FGHG6CPH25 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 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.03730#0VUQ (conjecture). In 5YE2W9BE0M/e1, conjecture 3
History
- 2026-10-29: add by m2/v0.4.12
Valuative criterion of properness FGJ4PFMWRQ
| URI | m2://inv/FGJ4PFMWRQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proper morphism#S3B1, Valuative criterion of properness (statement)
History
- 2026-11-02: add by m2/dev
Casimir operator FGJ8NW7WXS
| URI | m2://inv/FGJ8NW7WXS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of harmonic analysis topics#5EE9, Casimir operator (definition)
History
- 2026-11-02: add by m2/dev
FGJM5FFRXF FGJM5FFRXF
| URI | m2://inv/FGJM5FFRXF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27931#QSQS (statement)
History
- 2026-11-01: add by m2/v0.6.15
FGJT0T33HD FGJT0T33HD
| URI | m2://inv/FGJT0T33HD |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13869#JDT3 (conjecture). In AM0K62YRZ3/e1, conjecture A
History
- 2026-10-28: add by m2/v0.4.2
FGJTSKYR1P FGJTSKYR1P
| URI | m2://inv/FGJTSKYR1P |
|---|---|
| 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.12357#6VNV (statement). In 1F26AF81XP/e1, theorem 7.7
History
- 2026-10-28: add by m2/v0.4.2
Scheffé's lemma FGJXZC5NY9
| URI | m2://inv/FGJXZC5NY9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scheffé's lemma, Scheffé's lemma (statement). Also Wikidata Q3229344
History
- 2026-11-02: add by m2/dev
Modular tensor category FGJYSNB5FE
| URI | m2://inv/FGJYSNB5FE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular tensor category, Modular tensor category (definition). Also Wikidata Q133155047
History
- 2026-11-02: add by m2/dev
Affine type FGK0HKW868
| URI | m2://inv/FGK0HKW868 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Substructural type system#L39F, Affine type (unknown)
History
- 2026-11-02: add by m2/dev
By Hardy’s inequality FGK7DB4DG9
| URI | m2://inv/FGK7DB4DG9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carleman's inequality#7RRS, By Hardy’s inequality (statement)
History
- 2026-11-02: add by m2/dev
FGK9A77FXF FGK9A77FXF
| URI | m2://inv/FGK9A77FXF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18346#3QH5 (statement). In QVPNGHTMEX/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
FGKKGR0NPX FGKKGR0NPX
| URI | m2://inv/FGKKGR0NPX |
|---|---|
| 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 0810.0962#JADU (statement). In 80YMRN5KS9/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Proofs of convergence of random variables FGKSNG961X
| URI | m2://inv/FGKSNG961X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proofs of convergence of random variables, Proofs of convergence of random variables (definition). Also Wikidata Q7250031
History
- 2026-11-02: add by m2/dev
Algorithm FGM1V4485K
| URI | m2://inv/FGM1V4485K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semidefinite embedding#I705, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
FGM37W2N9H FGM37W2N9H
| URI | m2://inv/FGM37W2N9H |
|---|---|
| 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.06707#9CNG (statement). In 9TR5E527P5/e1, lemma 1.3
History
- 2026-10-29: add by m2/v0.4.10
Stef Tijs FGM4MFZ145
| URI | m2://inv/FGM4MFZ145 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stef Tijs, Stef Tijs (topic). Also Wikidata Q21698154
History
- 2026-11-02: add by m2/dev
Lev Pontryagin FGM52GKRQ2
| URI | m2://inv/FGM52GKRQ2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BT17, Lev Pontryagin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#E7CJ, Lev Pontryagin (topic)
History
- 2026-11-02: add by m2/dev
Transformation geometry FGM7YFSSDG
| URI | m2://inv/FGM7YFSSDG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#04CS, Transformation geometry (definition)
History
- 2026-11-02: add by m2/dev
Pseudo-Euclidean space FGM8GS7PY6
| URI | m2://inv/FGM8GS7PY6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-Euclidean space, Pseudo-Euclidean space (definition). Also Wikidata Q2344309
History
- 2026-11-02: add by m2/dev
FGMGTT1YQV FGMGTT1YQV
| URI | m2://inv/FGMGTT1YQV |
|---|---|
| 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.03555#PTBZ (statement). In 9JZJTRRVR1/e1, lemma 4.13
History
- 2026-10-29: add by m2/v0.4.12
Model characters at minimal conductors FGMJ8BX15P
| URI | m2://inv/FGMJ8BX15P |
|---|---|
| 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.30301#0KSF, Model characters at minimal conductors (statement). In 7NS75J7HAM/e1, proposition 9.15
History
- 2026-10-31: add by m2/v0.5.6
Small relative phases within the new block FGMMWQW7WC
| URI | m2://inv/FGMMWQW7WC |
|---|---|
| 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.37164#8HYN, Small relative phases within the new block (statement). In B2PG75FSQJ/e1, lemma 8.5
History
- 2026-10-30: add by m2/v0.4.12
FGMPBQ95TT FGMPBQ95TT
| URI | m2://inv/FGMPBQ95TT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36181#1U3F (example). In 1KSE33PVS6/e1, example 9
History
- 2026-10-30: add by m2/v0.4.12
FGMS76KTS8 FGMS76KTS8
| URI | m2://inv/FGMS76KTS8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.21717#WHXF (statement). In CE603VK92S/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
Diagonal forms FGMV46RE7K
| URI | m2://inv/FGMV46RE7K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#R5AE, Diagonal forms (definition)
History
- 2026-11-02: add by m2/dev
FGN5PVNM99 FGN5PVNM99
| URI | m2://inv/FGN5PVNM99 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.05391#CK06 (statement). In 9B5TNEBJHV/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
FGNE30F8XJ FGNE30F8XJ
| URI | m2://inv/FGNE30F8XJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/proof-theoretic-notions.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 22.5
History
- 2026-11-01: add by m2/v0.6.13
fundamental solution FGNGAW3K46
| URI | m2://inv/FGNGAW3K46 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Fundamental solution K2NK9A8M5F |
Mentions
- wikidata: Wikidata Q1474123, fundamental solution (unknown). Also EoM Fundamental_solution, nLab fundamental solution
- wikipedia: Wikipedia Fundamental solution, Fundamental solution (definition). Also Wikidata Q1474123
History
- 2026-10-26: add by m2/dev
FGNPJVH3H8 FGNPJVH3H8
| URI | m2://inv/FGNPJVH3H8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21181#7L2Q (example). In 3D0GJXDY11/e1, example 3.5
History
- 2026-10-27: add by m2/v0.4.2
Dictionary FGNRX8Y0WP
| URI | m2://inv/FGNRX8Y0WP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14189#71OH, Dictionary (statement). In 39VAB08YDJ/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Mathematical formulation of Itô's lemma FGNWK6GCVT
| URI | m2://inv/FGNWK6GCVT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Itô's lemma#YUXY, Mathematical formulation of Itô's lemma (statement)
History
- 2026-11-02: add by m2/dev
FGP2B0GTJD FGP2B0GTJD
| URI | m2://inv/FGP2B0GTJD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37368#KT14 (statement). In FRMCKEGVJZ/e1, corollary 5
History
- 2026-10-30: add by m2/v0.4.12
FGP44N7NJW FGP44N7NJW
| URI | m2://inv/FGP44N7NJW |
|---|---|
| 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.01273#FB1Y (statement). In RAT41DDR51/e1, lemma 5.7
History
- 2026-10-29: add by m2/v0.4.12
Examples FGPHJBEJ0P
| URI | m2://inv/FGPHJBEJ0P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular arithmetic#FTFF, Examples (example)
History
- 2026-11-02: add by m2/dev
Automorphic form FGPHZ6F03B
| URI | m2://inv/FGPHZ6F03B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#TZDM, Automorphic form (definition)
History
- 2026-11-02: add by m2/dev
FGPKD7SF2B FGPKD7SF2B
| URI | m2://inv/FGPKD7SF2B |
|---|---|
| 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.20013#0XMB (statement). In SC5JZQKZH6/e1, lemma 8.1
History
- 2026-10-27: add by m2/v0.4.2
FGPM5PYXJJ FGPM5PYXJJ
| URI | m2://inv/FGPM5PYXJJ |
|---|---|
| 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.11772#SBG8 (statement). In 2GW9HYGZ8S/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.3
Basic properties FGPNNRCFBG
| URI | m2://inv/FGPNNRCFBG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic subgroup#S4J0, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Gustavo Arellano FGPVDSAP53
| URI | m2://inv/FGPVDSAP53 |
|---|---|
| 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#ODLP, Gustavo Arellano (unknown)
History
- 2026-11-02: add by m2/dev
FGPY4GCTC5 FGPY4GCTC5
| URI | m2://inv/FGPY4GCTC5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#T5EA (example). In XGPZ0G9E1Q/e1, example 6.3
History
- 2026-10-29: add by m2/v0.4.12
Frequency principle/spectral bias FGPY5E1GKP
| URI | m2://inv/FGPY5E1GKP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frequency principle/spectral bias, Frequency principle/spectral bias (statement). Also Wikidata Q125469832
History
- 2026-11-02: add by m2/dev
Maximum fiber degree FGPZBFQ2FJ
| URI | m2://inv/FGPZBFQ2FJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20520#2PZ0, Maximum fiber degree (statement)
History
- 2026-11-02: add by m2/v0.6.18
FGQ3XNWWA7 FGQ3XNWWA7
| URI | m2://inv/FGQ3XNWWA7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39317#7S3Y (statement). In QM1T8JDK4A/e1, proposition 6.21
History
- 2026-10-30: add by m2/v0.4.12
Klein–Gordon equation FGQ6ZH1KJK
| URI | m2://inv/FGQ6ZH1KJK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Klein–Gordon equation AYCCDQWCJF |
Mentions
- wikidata: Wikidata Q868967, Klein–Gordon equation (unknown). Also MathWorld Klein-GordonEquation
- wikipedia: Wikipedia Klein–Gordon equation, Klein–Gordon equation (definition). Also Wikidata Q868967
History
- 2026-10-26: add by m2/dev
ineffable cardinal FGQ6ZTW9QK
| URI | m2://inv/FGQ6ZTW9QK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#QRI0, ineffable cardinal (definition)
History
- 2026-11-02: add by m2/dev
Jacob Tamarkin FGQD0BZPZQ
| URI | m2://inv/FGQD0BZPZQ |
|---|---|
| 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#YJ20, Jacob Tamarkin (topic)
History
- 2026-11-02: add by m2/dev
Value FGQJGM64SS
| URI | m2://inv/FGQJGM64SS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of game theory#HSBU, Value (definition)
History
- 2026-11-02: add by m2/dev
FGQKB7M5PR FGQKB7M5PR
| URI | m2://inv/FGQKB7M5PR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.02634#XH8O (statement). In EZ6PAF0MXH/e1, corollary 6.4
History
- 2026-10-27: add by m2/v0.3.5
FGQNVDQ1V3 FGQNVDQ1V3
| URI | m2://inv/FGQNVDQ1V3 |
|---|---|
| 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.35927#CJP8 (statement). In 7S0DWBCNS8/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
FGQPM9CQCM FGQPM9CQCM
| URI | m2://inv/FGQPM9CQCM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.22560#FUKD (statement)
History
- 2026-11-02: add by m2/v0.6.17
Application FGQTDA22RE
| URI | m2://inv/FGQTDA22RE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dot planimeter#WKX8, Application (example)
History
- 2026-11-02: add by m2/dev
FGQTTZR4RF FGQTTZR4RF
| URI | m2://inv/FGQTTZR4RF |
|---|---|
| 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.11336#PLWD (statement). In X1R1GDAJ0Y/e1, corollary 2.11
History
- 2026-10-28: add by m2/v0.4.3
Isoscelizer FGQX45M99N
| URI | m2://inv/FGQX45M99N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yff center of congruence#BF4L, Isoscelizer (unknown)
History
- 2026-11-02: add by m2/dev
List of q-analogs FGQXDSM1PW
| URI | m2://inv/FGQXDSM1PW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of q-analogs, List of q-analogs (topic). Also Wikidata Q20311369
History
- 2026-11-02: add by m2/dev
FGR32HQHPW FGR32HQHPW
| URI | m2://inv/FGR32HQHPW |
|---|---|
| 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.03081#4K5B (statement). In TX0H26X4VX/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.12
Paul Vojta FGR3R94W2W
| URI | m2://inv/FGR3R94W2W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KRDJ, Paul Vojta (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KZYH, Paul Vojta (topic)
History
- 2026-11-02: add by m2/dev
Waldemar Haffkine FGR74WPDZX
| URI | m2://inv/FGR74WPDZX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#66SF, Waldemar Haffkine (unknown)
History
- 2026-11-02: add by m2/dev
FGR7KP9407 FGR7KP9407
| URI | m2://inv/FGR7KP9407 |
|---|---|
| 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.22924#LJRP (statement)
History
- 2026-11-02: add by m2/v0.6.17
invariant FGRC1HD2QQ
| URI | m2://inv/FGRC1HD2QQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#8A62, invariant (definition)
History
- 2026-11-02: add by m2/dev
Trachette Jackson FGREGK28GJ
| URI | m2://inv/FGREGK28GJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trachette Jackson, Trachette Jackson (topic). Also Wikidata Q20563429
History
- 2026-11-02: add by m2/dev
FGRKCTZRCD FGRKCTZRCD
| URI | m2://inv/FGRKCTZRCD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#5P7K (statement). In PA6JQDSKQT/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
FGRMPWJ4RA FGRMPWJ4RA
| URI | m2://inv/FGRMPWJ4RA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#definition-7 (definition). In RZP28ERRZV, definition, section 52.8
History
- 2026-11-01: add by m2/v0.6.13
Władysław Ślebodziński FGS7X669Y5
| URI | m2://inv/FGS7X669Y5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Władysław Ślebodziński, Władysław Ślebodziński (topic). Also Wikidata Q323299
History
- 2026-11-02: add by m2/dev
Bost--Charles, 2022 FGSCGQDJWP
| URI | m2://inv/FGSCGQDJWP |
|---|---|
| Kind | problem |
| 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.06461#WRPB, Bost--Charles, 2022 (problem). In QXY3W2JV2N/e1, problem Question
History
- 2026-10-29: add by m2/v0.4.10
FGSNE6N2T6 FGSNE6N2T6
| URI | m2://inv/FGSNE6N2T6 |
|---|---|
| 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.28306#QHTO (definition)
History
- 2026-11-01: add by m2/v0.6.15
Comparison in codimension two FGSR3EGZ59
| URI | m2://inv/FGSR3EGZ59 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.00490#1GSO, Comparison in codimension two (statement). In PZJDV6SJ9E/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Alessandro Figà Talamanca FGSZAA3W6M
| URI | m2://inv/FGSZAA3W6M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#ZRR0, Alessandro Figà Talamanca (topic)
History
- 2026-11-02: add by m2/dev
Timeline of women in mathematics FGT0PBGMFJ
| URI | m2://inv/FGT0PBGMFJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Timeline of women in mathematics, Timeline of women in mathematics (topic). Also Wikidata Q16000509
History
- 2026-11-02: add by m2/dev
Set-valued function FGT2FPYVCQ
| URI | m2://inv/FGT2FPYVCQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set-valued function, Set-valued function (definition). Also Wikidata Q115988076
History
- 2026-11-02: add by m2/dev
FGTA6JKTS1 FGTA6JKTS1
| URI | m2://inv/FGTA6JKTS1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#GMFA (statement). In GXHKRV5BPY/e1, lemma A.3
History
- 2026-10-29: add by m2/v0.4.10
FGTD3SQ4V7 FGTD3SQ4V7
| URI | m2://inv/FGTD3SQ4V7 |
|---|---|
| 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#BQOZ (statement). In 4QY9J1A0KT/e1, proposition 2
History
- 2026-10-31: add by m2/v0.5.6
FGTDJY6ZJX FGTDJY6ZJX
| URI | m2://inv/FGTDJY6ZJX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.29838#HG6B (statement). In KP0X1RKKKB/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.0
Fiber fuse FGTQQK91VT
| URI | m2://inv/FGTQQK91VT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optical fiber#9HB2, Fiber fuse (unknown)
History
- 2026-11-02: add by m2/dev
FGTVA1CPGY FGTVA1CPGY
| URI | m2://inv/FGTVA1CPGY |
|---|---|
| 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.00386#120H (statement). In 7EDY2549HF/e1, proposition 10
History
- 2026-10-30: add by m2/v0.4.12
Carathéodory metric FGVB2V0X5A
| URI | m2://inv/FGVB2V0X5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carathéodory metric, Carathéodory metric (definition). Also Wikidata Q5037756
History
- 2026-11-02: add by m2/dev
Ofelia Teresa Alas FGVCCNDG4G
| URI | m2://inv/FGVCCNDG4G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ofelia Teresa Alas, Ofelia Teresa Alas (topic). Also Wikidata Q102175732
History
- 2026-11-02: add by m2/dev
Item-total correlation FGVGHREQGW
| URI | m2://inv/FGVGHREQGW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#2EHN, Item-total correlation (definition)
History
- 2026-11-02: add by m2/dev
Definition FGVQCCXJVW
| URI | m2://inv/FGVQCCXJVW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleene algebra#7J1D, Definition (definition)
History
- 2026-11-02: add by m2/dev
Uniform convergence of $\Ric$ FGW46F0MJ1
| URI | m2://inv/FGW46F0MJ1 |
|---|---|
| Kind | statement |
| 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 2610.11911#PUHI, Uniform convergence of $\Ric$ (statement). In 5BYE5NYB89/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.3
FGW78R49W0 FGW78R49W0
| URI | m2://inv/FGW78R49W0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-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.30579#ZMB1 (statement). In FDYZFDHZH9/e1, lemma 4.11
History
- 2026-10-31: add by m2/v0.5.6
FGWEH7AR85 FGWEH7AR85
| URI | m2://inv/FGWEH7AR85 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10973#ASQF (statement). In H8NGNDP0XT/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.3
FGWKG87JZY FGWKG87JZY
| URI | m2://inv/FGWKG87JZY |
|---|---|
| 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.32829#VWS8 (statement). In RYWAX33Z51/e1, proposition F.3
History
- 2026-10-31: add by m2/v0.5.6
Properties FGWMB5DWTZ
| URI | m2://inv/FGWMB5DWTZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-topology#Y9CG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples FGWNKAFQ5M
| URI | m2://inv/FGWNKAFQ5M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Appell's equation of motion#BVOO, Examples (example)
History
- 2026-11-02: add by m2/dev
Far regime FGWTPTS43V
| URI | m2://inv/FGWTPTS43V |
|---|---|
| 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.32977#6G5R, Far regime (statement). In 4KT9TK3MG4/e1, lemma D.20
History
- 2026-10-31: add by m2/v0.5.6
Noetic Learning math contest FGWY88EC3N
| URI | m2://inv/FGWY88EC3N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#8UU6, Noetic Learning math contest (unknown)
- wikipedia: Wikipedia List of mathematics competitions#SOB5, Noetic Learning math contest (unknown)
History
- 2026-11-02: add by m2/dev
FGX4VKBTB3 FGX4VKBTB3
| URI | m2://inv/FGX4VKBTB3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12683#J193 (statement). In N5ZFFWV3RX/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
cycle graph FGX5EMZAW0
| URI | m2://inv/FGX5EMZAW0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1012802, cycle graph (unknown). Also MathWorld GroupCycleGraph
- wikipedia: Wikipedia Cycle graph (algebra), Cycle graph (definition). Also Wikidata Q1012802
History
- 2026-10-26: add by m2/dev
Zariski's connectedness theorem FGX90YYD14
| URI | m2://inv/FGX90YYD14 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q17080564, Zariski's connectedness theorem (statement). Also Wikidata Q17080564
- thousand_plus: thousand_plus Q17080564, Zariski's connectedness theorem (statement). Also Wikidata Q17080564, Wikipedia Zariski's connectedness theorem
- wikipedia: Wikipedia Zariski's connectedness theorem, Zariski's connectedness theorem (statement). Also Wikidata Q17080564
History
- 2026-10-26: add by m2/dev
Definition and examples FGXCMB25TS
| URI | m2://inv/FGXCMB25TS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl group#B6C2, Definition and examples (definition)
History
- 2026-11-02: add by m2/dev
Edoardo Vesentini FGXE4WWSWT
| URI | m2://inv/FGXE4WWSWT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edoardo Vesentini, Edoardo Vesentini (topic). Also Wikidata Q823446
History
- 2026-11-02: add by m2/dev
FGXM7F98QX FGXM7F98QX
| URI | m2://inv/FGXM7F98QX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#ZY8Q (statement). In BDN507RN7J/e1, theorem C
History
- 2026-10-30: add by m2/v0.4.12
FGXN26R3X9 FGXN26R3X9
| URI | m2://inv/FGXN26R3X9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02481#3NZ8 (statement). In 5HACFNFY0P/e1, proposition 4.5
History
- 2026-10-29: add by m2/v0.4.12
FGXY0V61KA FGXY0V61KA
| URI | m2://inv/FGXY0V61KA |
|---|---|
| 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.06755#M8RE (statement). In DKEX05SEXS/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
OpenBSD Cryptographic Framework FGY2YM6EYB
| URI | m2://inv/FGY2YM6EYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia OpenBSD Cryptographic Framework, OpenBSD Cryptographic Framework (definition). Also Wikidata Q7095738
History
- 2026-11-02: add by m2/dev
FGYG1E50WJ FGYG1E50WJ
| URI | m2://inv/FGYG1E50WJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompositionsInverses.tex#thm:unique inverse (statement). In P1C114YBXG, theorem, section 1
History
- 2026-11-01: add by m2/v0.6.13
computer verification FGYTEYGZ1Z
| URI | m2://inv/FGYTEYGZ1Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01753#B1NF, computer verification (statement). In JY50YXMH5N/e1, proposition 44
History
- 2026-10-29: add by m2/v0.4.12
Zeno of Elea FGYTK57EAZ
| URI | m2://inv/FGYTK57EAZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#WQAE, Zeno of Elea (topic)
History
- 2026-11-02: add by m2/dev
FGYXDKTQ1X FGYXDKTQ1X
| URI | m2://inv/FGYXDKTQ1X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08655#3TEF (statement). In ZT7H1ZDN96/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
Formulations FGYYVGVS5P
| URI | m2://inv/FGYYVGVS5P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclid's lemma#HV4Z, Formulations (definition)
History
- 2026-11-02: add by m2/dev
FGZ6P4PSA2 FGZ6P4PSA2
| URI | m2://inv/FGZ6P4PSA2 |
|---|---|
| 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 2609.34570#OUMI (statement). In EVFX1R7ZDD/e1, corollary 2
History
- 2026-10-30: add by m2/v0.4.12
Cadaeic Cadenza FGZ6YXKJ4J
| URI | m2://inv/FGZ6YXKJ4J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pilish#ARMC, Cadaeic Cadenza (unknown)
History
- 2026-11-02: add by m2/dev
Arnold Schönhage FGZDBBZVM2
| URI | m2://inv/FGZDBBZVM2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PNGM, Arnold Schönhage (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CWYA, Arnold Schönhage (topic)
- wikipedia: Wikipedia List of German mathematicians#0QVP, Arnold Schönhage (topic)
History
- 2026-11-02: add by m2/dev
surjective function FGZF3KWEKX
| URI | m2://inv/FGZF3KWEKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Surjective function 01RVCMSN5N |
Mentions
- wikidata: Wikidata Q229102, surjective function (unknown). Also LMFDB knowl modlgal.surjective, MathWorld Surjection
- wikipedia: Wikipedia Surjective function, Surjective function (definition). Also Wikidata Q229102
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
FGZPDQK1WB FGZPDQK1WB
| URI | m2://inv/FGZPDQK1WB |
|---|---|
| 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.23941#ST0H (statement)
History
- 2026-11-02: add by m2/v0.6.17
FGZPX9Q7AF FGZPX9Q7AF
| URI | m2://inv/FGZPX9Q7AF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2411.00562#309A (statement). In 99CQPHSSYF/e1, lemma \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
FGZQ4CGHFR FGZQ4CGHFR
| URI | m2://inv/FGZQ4CGHFR |
|---|---|
| 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 0906.4245#RM39 (statement). In GPVBE4SEVF/e1, corollary 1.1
History
- 2026-10-27: add by m2/v0.3.5
FGZVW3ZRXA FGZVW3ZRXA
| URI | m2://inv/FGZVW3ZRXA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:limsupsubharmonic (exercise). In VNMV985MXX, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13