Inventory rows VZ
The cards of the rows of the inventory whose ids start with VZ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
VZ01465SA4 VZ01465SA4
| URI | m2://inv/VZ01465SA4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-starsbars.ptx#investigation-1 (exercise). In Y91XFCEVHQ, investigation, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
VZ03QR8PGS VZ03QR8PGS
| URI | m2://inv/VZ03QR8PGS |
|---|---|
| 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.06381#LYFY (statement). In X9JKBDHACW/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.10
small dodecicosacron VZ08NH5AR1
| URI | m2://inv/VZ08NH5AR1 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7543046, small dodecicosacron (unknown). Also MathWorld SmallDodecicosacron
- wikipedia: Wikipedia Small dodecicosacron, Small dodecicosacron (object). Also Wikidata Q7543046
History
- 2026-10-26: add by m2/dev
Continuity of mass VZ0A6V4YGJ
| URI | m2://inv/VZ0A6V4YGJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuity equation#E0ED, Continuity of mass (unknown)
History
- 2026-11-02: add by m2/dev
VZ0DXBWZQG VZ0DXBWZQG
| URI | m2://inv/VZ0DXBWZQG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9201244#06D4 (statement). In 7D3HCN21MK/e1, theorem 3.12
History
- 2026-10-27: add by m2/v0.3.5
Hsien Chung Wang VZ0FDC34YE
| URI | m2://inv/VZ0FDC34YE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hsien Chung Wang, Hsien Chung Wang (topic). Also Wikidata Q17008733
History
- 2026-11-02: add by m2/dev
Marden's theorem VZ0FK88A2E
| URI | m2://inv/VZ0FK88A2E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#3176, Marden's theorem (statement)
History
- 2026-11-02: add by m2/dev
VZ0GZAJYYH VZ0GZAJYYH
| URI | m2://inv/VZ0GZAJYYH |
|---|---|
| Kind | example |
| 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 2609.28824#SHZY (example)
History
- 2026-11-01: add by m2/v0.6.15
VZ0HJG51V2 VZ0HJG51V2
| URI | m2://inv/VZ0HJG51V2 |
|---|---|
| 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 2408.03317#8MFA (statement). In T2ESY2PE1R/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Jean Dieudonné VZ0PYTC0F7
| URI | m2://inv/VZ0PYTC0F7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q371957, Jean Dieudonné (unknown). Also nLab Jean Dieudonné
- wikipedia: Wikipedia Jean Dieudonné, Jean Dieudonné (topic). Also Wikidata Q371957
History
- 2026-10-26: add by m2/dev
Definition VZ0SHKF1GV
| URI | m2://inv/VZ0SHKF1GV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zeta distribution#UK30, Definition (definition)
History
- 2026-11-02: add by m2/dev
VZ0YT01R1V VZ0YT01R1V
| URI | m2://inv/VZ0YT01R1V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32174#FZDE (statement). In GHKR740SG3/e1, corollary 9.5
History
- 2026-10-31: add by m2/v0.5.6
VZ0YVHA99N VZ0YVHA99N
| URI | m2://inv/VZ0YVHA99N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.01237#2WU6 (statement). In M9VHCG48HB/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
Ross Prentice VZ13KDF8RT
| URI | m2://inv/VZ13KDF8RT |
|---|---|
| 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#35K8, Ross Prentice (unknown)
History
- 2026-11-02: add by m2/dev
Global Probabilistic GC Capacity VZ19MEZ8MR
| URI | m2://inv/VZ19MEZ8MR |
|---|---|
| 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.09998#5OMD, Global Probabilistic GC Capacity (statement). In AFMB05H7A6/e1, theorem 13
History
- 2026-10-29: add by m2/v0.4.10
Uniform local extension VZ1FBHWVF0
| URI | m2://inv/VZ1FBHWVF0 |
|---|---|
| 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.26665#LGDP, Uniform local extension (statement)
History
- 2026-11-01: add by m2/v0.6.15
Spatial decay of the stabilizing Kalman covariance VZ1FNAPDPX
| URI | m2://inv/VZ1FNAPDPX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 62-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23927#7CT0, Spatial decay of the stabilizing Kalman covariance (statement)
History
- 2026-11-02: add by m2/v0.6.17
Factor graph VZ1J4MVG3D
| URI | m2://inv/VZ1J4MVG3D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factor graph, Factor graph (definition). Also Wikidata Q5428725
History
- 2026-11-02: add by m2/dev
VZ1KVQVHSC VZ1KVQVHSC
| URI | m2://inv/VZ1KVQVHSC |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/applications.tex#proof-3 (proof). In RZP28ERRZV, proof, section 78.2
History
- 2026-11-01: add by m2/v0.6.13
VZ1M0QWE1M VZ1M0QWE1M
| URI | m2://inv/VZ1M0QWE1M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.05529#C55G (statement). In 9VPMHV0M4R/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
Constituents of the Discrete Equation VZ1P7VAMKT
| URI | m2://inv/VZ1P7VAMKT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13355#NBS5, Constituents of the Discrete Equation (definition). In QJ1G1HBC6C/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
derivative of a composition of functions VZ22MKW0FH
| URI | m2://inv/VZ22MKW0FH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Differentiability > derivative of a composition of functions, derivative of a composition of functions (unknown). Also Mathlib HasFDerivAt.comp
History
- 2026-10-26: add by m2/dev
VZ2FQ0XFSB VZ2FQ0XFSB
| URI | m2://inv/VZ2FQ0XFSB |
|---|---|
| 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 2607.28337#LAME (statement). In 7ZJFWBTBKM/e1, proposition 4.2.1
History
- 2026-10-27: add by m2/v0.3.6
Coordinate-wise versus elliptical heavy tails VZ2GN7TSHK
| URI | m2://inv/VZ2GN7TSHK |
|---|---|
| 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.07637#2EQZ, Coordinate-wise versus elliptical heavy tails (statement). In ERR2F5FXC3/e1, theorem 8
History
- 2026-10-29: add by m2/v0.4.10
Weak dual VZ2PM2R8ZD
| URI | m2://inv/VZ2PM2R8ZD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual graph#34RU, Weak dual (unknown)
History
- 2026-11-02: add by m2/dev
VZ2RW3EX1Q VZ2RW3EX1Q
| URI | m2://inv/VZ2RW3EX1Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09678#FJ2P (statement). In 9VG7PNZHZT/e1, corollary 5.9
History
- 2026-10-29: add by m2/v0.4.10
VZ2SWA3NCQ VZ2SWA3NCQ
| URI | m2://inv/VZ2SWA3NCQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26401#AIB6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition VZ2VW054E8
| URI | m2://inv/VZ2VW054E8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arc length#GYZ3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Pass lengths, phase by phase VZ2Y09VEZV
| URI | m2://inv/VZ2Y09VEZV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12713#FMR9, Pass lengths, phase by phase (statement). In F14A5HX20Q/e1, lemma D.2.1
History
- 2026-10-28: add by m2/v0.4.2
VZ30RZ3343 VZ30RZ3343
| URI | m2://inv/VZ30RZ3343 |
|---|---|
| Kind | example |
| 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.30519#4KDS (example). In GQQZNRYK15/e1, example 3.19
History
- 2026-10-31: add by m2/v0.5.6
Monomial symmetric polynomial VZ35QKV3F5
| URI | m2://inv/VZ35QKV3F5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric polynomial#YN6Z, Monomial symmetric polynomial (unknown)
History
- 2026-11-02: add by m2/dev
Noise at a fixed pair budget VZ36G3A9X2
| URI | m2://inv/VZ36G3A9X2 |
|---|---|
| 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#XQH8, Noise at a fixed pair budget (statement). In X1FPG0KYBM/e1, corollary W.5
History
- 2026-10-28: add by m2/v0.4.2
Erdős–Fuchs theorem VZ37FVBR78
| URI | m2://inv/VZ37FVBR78 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Fuchs theorem, Erdős–Fuchs theorem (statement). Also Wikidata Q3526980
History
- 2026-11-02: add by m2/dev
Alexander Murray MacBeath VZ3BE9D9BV
| URI | m2://inv/VZ3BE9D9BV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Murray MacBeath, Alexander Murray MacBeath (topic). Also Wikidata Q17285521
History
- 2026-11-02: add by m2/dev
VZ3NVK0V6Y VZ3NVK0V6Y
| URI | m2://inv/VZ3NVK0V6Y |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/complement-ce.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
VZ3WCBSP6G VZ3WCBSP6G
| URI | m2://inv/VZ3WCBSP6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompositionsInverses.tex#def:inverse of a function (definition). In P1C114YBXG, definition, section 1
History
- 2026-11-01: add by m2/v0.6.13
VZ3ZG1QV4H VZ3ZG1QV4H
| URI | m2://inv/VZ3ZG1QV4H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.10958#X7F8 (definition). In 4W55AH5T6R/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Erdős conjecture on arithmetic progressions VZ41JVH0T9
| URI | m2://inv/VZ41JVH0T9 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Erdős conjecture on arithmetic progressions FN978TDX67 |
Mentions
- wikidata: Wikidata Q1991239, Erdős conjecture on arithmetic progressions (conjecture). Also Erdős problem 3
- wikipedia: Wikipedia Erdős conjecture on arithmetic progressions, Erdős conjecture on arithmetic progressions (conjecture). Also Wikidata Q1991239
History
- 2026-10-26: add by m2/dev
2000 Estonian census VZ459246T6
| URI | m2://inv/VZ459246T6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2000 Estonian census, 2000 Estonian census (definition). Also Wikidata Q16408935
History
- 2026-11-02: add by m2/dev
VZ47DPQW4R VZ47DPQW4R
| URI | m2://inv/VZ47DPQW4R |
|---|---|
| Kind | problem |
| 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.31387#IVNR (problem). In GBD60VB1JX/e1, problem 21
History
- 2026-10-31: add by m2/v0.5.6
VZ4KVT8YEM VZ4KVT8YEM
| URI | m2://inv/VZ4KVT8YEM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33656#GTBR (statement). In 8PXDPT3X9P/e1, lemma 12
History
- 2026-10-30: add by m2/v0.4.12
VZ4WMRK2S9 VZ4WMRK2S9
| URI | m2://inv/VZ4WMRK2S9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20285#76R1 (example). In RQA728RB77/e1, example 11
History
- 2026-10-27: add by m2/v0.4.2
VZ4XAMS2EC VZ4XAMS2EC
| URI | m2://inv/VZ4XAMS2EC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#3Z93 (definition). In Z7E16PFFCP/e1, definition 4.5
History
- 2026-10-30: add by m2/v0.4.12
VZ4XFJQHXT VZ4XFJQHXT
| URI | m2://inv/VZ4XFJQHXT |
|---|---|
| Kind | definition |
| 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.26496#4734 (definition)
History
- 2026-11-01: add by m2/v0.6.15
VZ4YJ603XV VZ4YJ603XV
| URI | m2://inv/VZ4YJ603XV |
|---|---|
| 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 2610.22247#YH2U (statement). In SBNH1MWND8/e1, theorem 15
History
- 2026-10-27: add by m2/v0.4.0
Erdős VZ54T89YZG
| URI | m2://inv/VZ54T89YZG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_ramsey_girth.ptx#thm_girth, Erdős (statement). In QKM9DD2H56, theorem, section 11.6
History
- 2026-11-01: add by m2/v0.6.13
PRESS statistic VZ58G73PKD
| URI | m2://inv/VZ58G73PKD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PGW5, PRESS statistic (definition)
History
- 2026-11-02: add by m2/dev
Terminology VZ5FE50ESF
| URI | m2://inv/VZ5FE50ESF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trajectory optimization#3G8Q, Terminology (definition)
History
- 2026-11-02: add by m2/dev
VZ5HYCJHZH VZ5HYCJHZH
| URI | m2://inv/VZ5HYCJHZH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04809#B5HH (statement). In 2VHV0RNTNV/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.12
Problem #6 at IMO 1988 VZ5PH4CN6A
| URI | m2://inv/VZ5PH4CN6A |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vieta jumping#0GUU, Problem #6 at IMO 1988 (problem)
History
- 2026-11-02: add by m2/dev
VZ5PYM6D5P VZ5PYM6D5P
| URI | m2://inv/VZ5PYM6D5P |
|---|---|
| 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-107 (exercise). In E9HS8K3A52, exercise, section 4.8.3
History
- 2026-11-01: add by m2/v0.6.13
VZ5Q3W2VNX VZ5Q3W2VNX
| URI | m2://inv/VZ5Q3W2VNX |
|---|---|
| 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.01858#CEJQ (statement). In NXSV14WJKJ/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.12
VZ5R1SA8VT VZ5R1SA8VT
| URI | m2://inv/VZ5R1SA8VT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12831#T899 (statement). In 7ZBQ8WGQVB/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Computation VZ5S3QZ5BG
| URI | m2://inv/VZ5S3QZ5BG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extended phase graph#14KQ, Computation (definition)
History
- 2026-11-02: add by m2/dev
VZ5X39CBDQ VZ5X39CBDQ
| URI | m2://inv/VZ5X39CBDQ |
|---|---|
| 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.12716#MH9M (statement). In M6BCSQSM3R/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
Examples VZ5XYC18N5
| URI | m2://inv/VZ5XYC18N5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CR manifold#EKYB, Examples (example)
History
- 2026-11-02: add by m2/dev
Point selection VZ60FRPHCJ
| URI | m2://inv/VZ60FRPHCJ |
|---|---|
| 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.00337#F1T2, Point selection (statement). In 5STQ3ABZ60/e1, proposition 7.1
History
- 2026-10-30: add by m2/v0.4.12
Lift and projection VZ61HMQXNF
| URI | m2://inv/VZ61HMQXNF |
|---|---|
| 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#69ME, Lift and projection (definition). In HV9KKEBBDD/e1, definition IV.6
History
- 2026-10-28: add by m2/v0.4.2
VZ68FBMMXN VZ68FBMMXN
| URI | m2://inv/VZ68FBMMXN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#thm:retract-contr (statement). In N54F33XE07, lem, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Bessel function VZ6C0H6GY8
| URI | m2://inv/VZ6C0H6GY8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109546200, Bessel function (definition). Also MathWorld BesselFunctionoftheFirstKind, ProofWiki Definition:Bessel_Function/First_Kind
History
- 2026-10-26: add by m2/dev
VZ6CSF2QYR VZ6CSF2QYR
| URI | m2://inv/VZ6CSF2QYR |
|---|---|
| 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 2303.00676#O5ZK (statement). In 5351H04TJY/e1, proposition 1.5
History
- 2026-10-27: add by m2/v0.4.0
VZ6SXPW04K VZ6SXPW04K
| URI | m2://inv/VZ6SXPW04K |
|---|---|
| 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.13833#JM14 (statement). In VD4JP4HVBX/e1, proposition 3.14
History
- 2026-10-28: add by m2/v0.4.2
VZ6YT4BPC3 VZ6YT4BPC3
| URI | m2://inv/VZ6YT4BPC3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13629#HKQW (statement). In PQNYA0C510/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Relation to Hubble's law VZ72SCAK2G
| URI | m2://inv/VZ72SCAK2G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scale factor (cosmology)#GDSU, Relation to Hubble's law (statement)
History
- 2026-11-02: add by m2/dev
Affine preferential attachment VZ74V8A2NR
| URI | m2://inv/VZ74V8A2NR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30098#S49G, Affine preferential attachment (statement)
History
- 2026-11-01: add by m2/v0.6.15
VZ769RH09Q VZ769RH09Q
| URI | m2://inv/VZ769RH09Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30363#32YI (statement). In QHBBP180QJ/e1, lemma 2
History
- 2026-10-31: add by m2/v0.5.6
VZ76B473FD VZ76B473FD
| URI | m2://inv/VZ76B473FD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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.11869#FO4K (statement). In B5GGGWNJA6/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.3
Peter C. Aichelburg VZ78G913SJ
| URI | m2://inv/VZ78G913SJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#M9TF, Peter C. Aichelburg (unknown)
History
- 2026-11-02: add by m2/dev
Kottke VZ78NSJSKB
| URI | m2://inv/VZ78NSJSKB |
|---|---|
| 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 2609.27799#2TIJ, Kottke (statement)
History
- 2026-11-01: add by m2/v0.6.15
VZ78YMY2JZ VZ78YMY2JZ
| URI | m2://inv/VZ78YMY2JZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#ZE0S (definition). In WD2NCBV9F0/e1, definition 12.8
History
- 2026-10-27: add by m2/v0.3.5
VZ7AH1XK2W VZ7AH1XK2W
| URI | m2://inv/VZ7AH1XK2W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02579#CLL0 (definition). In CBTJDYHH34/e1, definition 17
History
- 2026-10-29: add by m2/v0.4.12
VZ7KF73N6X VZ7KF73N6X
| URI | m2://inv/VZ7KF73N6X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-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.01694#FDV3 (statement). In EBMHYN0XK9/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.12
Length time bias VZ7NZVS296
| URI | m2://inv/VZ7NZVS296 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8SXM, Length time bias (definition)
History
- 2026-11-02: add by m2/dev
VZ7V6XZTF1 VZ7V6XZTF1
| URI | m2://inv/VZ7V6XZTF1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02901#Q9UG (definition). In NSP90G5XCQ/e1, definition 2.14
History
- 2026-10-29: add by m2/v0.4.12
Adrien-Marie Legendre VZ80XTV062
| URI | m2://inv/VZ80XTV062 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q191021, Adrien-Marie Legendre (unknown). Also EoM Legendre,_Adrien-Marie, nLab Adrien-Marie Legendre, ProofWiki Mathematician:Adrien-Marie_Legendre
- wikipedia: Wikipedia Adrien-Marie Legendre, Adrien-Marie Legendre (topic). Also Wikidata Q191021
History
- 2026-10-26: add by m2/dev
VZ81GSCS62 VZ81GSCS62
| URI | m2://inv/VZ81GSCS62 |
|---|---|
| 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 0809.0068#FYKD (statement). In MBKYGM01FK/e1, proposition 1.7
History
- 2026-10-27: add by m2/v0.3.5
VZ87XA0541 VZ87XA0541
| URI | m2://inv/VZ87XA0541 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29677#FHBN (statement)
History
- 2026-11-01: add by m2/v0.6.15
VZ8EN0GZ6N VZ8EN0GZ6N
| URI | m2://inv/VZ8EN0GZ6N |
|---|---|
| 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.25656#VJ8O (example)
History
- 2026-11-01: add by m2/v0.6.15
VZ8QQNMTFY VZ8QQNMTFY
| URI | m2://inv/VZ8QQNMTFY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40355#G1RO (statement). In SBP98GWKC8/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
Coercivity of the fixed exterior VZ8WND8ND7
| URI | m2://inv/VZ8WND8ND7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11077#KZMN, Coercivity of the fixed exterior (statement). In 4333A6G5K5/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.3
Equivalent relational criteria VZ98BPJWNR
| URI | m2://inv/VZ98BPJWNR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01329#8Q68, Equivalent relational criteria (statement). In 7XEVYJKJ5C/e1, corollary 4.6
History
- 2026-10-29: add by m2/v0.4.12
VZ9BA1T7PF VZ9BA1T7PF
| URI | m2://inv/VZ9BA1T7PF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04434#JZ1E (definition). In EY0QS456EC/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
VZ9CEWPJYR VZ9CEWPJYR
| URI | m2://inv/VZ9CEWPJYR |
|---|---|
| Kind | example |
| 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.12489#0LHN (example). In FDWFVD08SE/e1, example 2.8
History
- 2026-10-28: add by m2/v0.4.2
Homogenization (climate) VZ9DPJFBTE
| URI | m2://inv/VZ9DPJFBTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5R3B, Homogenization (climate) (definition)
History
- 2026-11-02: add by m2/dev
Properties VZ9SEDYGFB
| URI | m2://inv/VZ9SEDYGFB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimal polynomial (field theory)#O3DT, Properties (statement)
History
- 2026-11-02: add by m2/dev
VZA2GNDB6D VZA2GNDB6D
| URI | m2://inv/VZA2GNDB6D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05602#52W5 (statement). In W88890HB4Z/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
Iwasawa theory VZA43JTPDN
| URI | m2://inv/VZA43JTPDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#CZPH, Iwasawa theory (definition)
History
- 2026-11-02: add by m2/dev
VZA69GW32E VZA69GW32E
| URI | m2://inv/VZA69GW32E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37706#2IKA (statement). In 6YY27KRJFN/e1, proposition 3.8
History
- 2026-10-30: add by m2/v0.4.12
Division Algorithm VZA6BW9J4J
| URI | m2://inv/VZA6BW9J4J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/FundamentalTheoremArithmetic.tex#thm:DivisonAlgorthm, Division Algorithm (statement). In P1C114YBXG, theorem, section C
History
- 2026-11-01: add by m2/v0.6.13
Large deviations theory VZA6WTHTTB
| URI | m2://inv/VZA6WTHTTB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Large deviations theory, Large deviations theory (topic). Also Wikidata Q3403615
History
- 2026-11-02: add by m2/dev
PID VZA82TBQ9H
| URI | m2://inv/VZA82TBQ9H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#0TCE, PID (definition)
History
- 2026-11-02: add by m2/dev
Giovanni Gerolamo Saccheri VZA85WNVBC
| URI | m2://inv/VZA85WNVBC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#KXNG, Giovanni Gerolamo Saccheri (topic)
History
- 2026-11-02: add by m2/dev
First Fundamental Theorem of Invariant Theory VZABE15PQZ
| URI | m2://inv/VZABE15PQZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transvectant#AGVD, First Fundamental Theorem of Invariant Theory (statement)
History
- 2026-11-02: add by m2/dev
VZACNPVDY8 VZACNPVDY8
| URI | m2://inv/VZACNPVDY8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#RYHB (definition). In GW23NX78SB/e1, definition 2.7
History
- 2026-10-28: add by m2/v0.4.2
Rauzy fractal VZAE48AMFJ
| URI | m2://inv/VZAE48AMFJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#ANLU, Rauzy fractal (definition)
History
- 2026-11-02: add by m2/dev
local coefficient VZAFY0079H
| URI | m2://inv/VZAFY0079H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#D00Z, local coefficient (definition)
History
- 2026-11-02: add by m2/dev
Strategies as Street fibrations VZAH3AN0PX
| URI | m2://inv/VZAH3AN0PX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37815#NDI1, Strategies as Street fibrations (statement). In SVJYA0171G/e1, theorem 6.15
History
- 2026-10-30: add by m2/v0.4.12
Proposition VZAK9RQFGT
| URI | m2://inv/VZAK9RQFGT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rokhlin lemma#4SUY, Proposition (statement)
History
- 2026-11-02: add by m2/dev
VZAKEC1WD3 VZAKEC1WD3
| URI | m2://inv/VZAKEC1WD3 |
|---|---|
| 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.07040#J9IG (statement). In KMNXNW7FHP/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.10
Norm--logarithm congruences VZB14EPX67
| URI | m2://inv/VZB14EPX67 |
|---|---|
| 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#HXTC, Norm--logarithm congruences (statement). In 7NS75J7HAM/e1, lemma 5.6
History
- 2026-10-31: add by m2/v0.5.6
VZB4SXCCD2 VZB4SXCCD2
| URI | m2://inv/VZB4SXCCD2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-96 (exercise). In E9HS8K3A52, exercise, section 5.8.5
History
- 2026-11-01: add by m2/v0.6.13
Noether's theorem on rationality for surfaces VZB4WDWN5J
| URI | m2://inv/VZB4WDWN5J |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7047379, Noether's theorem on rationality for surfaces (statement). Also Wikidata Q7047379
- thousand_plus: thousand_plus Q7047379, Noether's theorem on rationality for surfaces (statement). Also Wikidata Q7047379, Wikipedia Noether's theorem on rationality for surfaces
- wikipedia: Wikipedia Noether's theorem on rationality for surfaces, Noether's theorem on rationality for surfaces (statement). Also Wikidata Q7047379
History
- 2026-10-26: add by m2/dev
TeX VZBEMJBYJJ
| URI | m2://inv/VZBEMJBYJJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#QKEV, TeX (unknown)
History
- 2026-11-02: add by m2/dev
Integral capacities and inequalities VZBEXKX0V6
| URI | m2://inv/VZBEXKX0V6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#S8PZ, Integral capacities and inequalities (statement). In 9YAE8FNQST/e1, corollary 5.3
History
- 2026-10-30: add by m2/v0.4.12
Pairs S73--S76 VZBJDCM2M8
| URI | m2://inv/VZBJDCM2M8 |
|---|---|
| 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.08865#Q4P5, Pairs S73--S76 (statement). In SJ5JKGH94M/e1, theorem 28
History
- 2026-10-29: add by m2/v0.4.10
VZBQW412JQ VZBQW412JQ
| URI | m2://inv/VZBQW412JQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#WBF2 (statement). In X3RFXWN6FW/e1, lemma 3.10
History
- 2026-10-27: add by m2/v0.3.6
VZBZ7RV6FM VZBZ7RV6FM
| URI | m2://inv/VZBZ7RV6FM |
|---|---|
| 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.22040#6TSD (statement). In 2QP93JHYNB/e1, corollary 6.14
History
- 2026-10-27: add by m2/v0.4.2
Lévy's modulus of continuity theorem VZC3MCNH8E
| URI | m2://inv/VZC3MCNH8E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#DO2X, Lévy's modulus of continuity theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples VZC6WPF9B0
| URI | m2://inv/VZC6WPF9B0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix product state#DZ7Z, Examples (example)
History
- 2026-11-02: add by m2/dev
Big-little-big lemma VZCEB6MK44
| URI | m2://inv/VZCEB6MK44 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Big-little-big lemma, Big-little-big lemma (statement). Also Wikidata Q96373521
History
- 2026-11-02: add by m2/dev
VZCEP4YR8E VZCEP4YR8E
| URI | m2://inv/VZCEP4YR8E |
|---|---|
| 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 0809.4587#X4B0 (statement). In KQ8JPHDKKE/e1, proposition 9.8.12
History
- 2026-10-27: add by m2/v0.3.5
Construction VZCNJJRNX5
| URI | m2://inv/VZCNJJRNX5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cuboctahedron#XIXL, Construction (definition)
History
- 2026-11-02: add by m2/dev
Peter Winkler VZCNV1Q44A
| URI | m2://inv/VZCNV1Q44A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Winkler, Peter Winkler (topic). Also Wikidata Q10348970
History
- 2026-11-02: add by m2/dev
Florian Pop VZD8HTPS21
| URI | m2://inv/VZD8HTPS21 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#AXP0, Florian Pop (topic)
History
- 2026-11-02: add by m2/dev
Properties VZDQKSYPG5
| URI | m2://inv/VZDQKSYPG5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klein–Gordon equation#HWER, Properties (statement)
History
- 2026-11-02: add by m2/dev
Blackadar--Handelman, {; see also the proof sketched VZDTST6N6W
| URI | m2://inv/VZDTST6N6W |
|---|---|
| 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 2610.09390#RD2W, Blackadar--Handelman, {; see also the proof sketched (statement). In 7SSKW778T8/e1, proposition 2.7
History
- 2026-10-29: add by m2/v0.4.10
solid harmonics VZDVK4A1XT
| URI | m2://inv/VZDVK4A1XT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7557904, solid harmonics (unknown). Also MathWorld SolidHarmonic
- wikipedia: Wikipedia Solid harmonics, Solid harmonics (definition). Also Wikidata Q7557904
History
- 2026-10-26: add by m2/dev
VZDYNKXRQJ VZDYNKXRQJ
| URI | m2://inv/VZDYNKXRQJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23472#58WR (statement)
History
- 2026-11-02: add by m2/v0.6.17
VZE09NT4VQ VZE09NT4VQ
| URI | m2://inv/VZE09NT4VQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20894#3EIE (statement)
History
- 2026-11-02: add by m2/v0.6.18
Restriction estimate VZE9QBXC9J
| URI | m2://inv/VZE9QBXC9J |
|---|---|
| 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 1806.05002#0BW8, Restriction estimate (statement). In JBAQ7DTW7B/e1, lemma 12.5
History
- 2026-10-27: add by m2/v0.3.5
VZEADXVPAC VZEADXVPAC
| URI | m2://inv/VZEADXVPAC |
|---|---|
| Kind | conjecture |
| 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 2506.09840#SID2 (conjecture). In Y7TWHSF2HC/e1, conjecture 2.13
History
- 2026-10-27: add by m2/v0.3.5
VZEAPF0R80 VZEAPF0R80
| URI | m2://inv/VZEAPF0R80 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33771#KH37 (definition). In ZXQA7QH0H0/e1, definition 3.7
History
- 2026-10-30: add by m2/v0.4.12
Pyomo VZEGGPSKZ2
| URI | m2://inv/VZEGGPSKZ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#YDWW, Pyomo (unknown)
History
- 2026-11-02: add by m2/dev
VZEKYSHHSY VZEKYSHHSY
| URI | m2://inv/VZEKYSHHSY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.26376#JCZI (statement). In PJAT9YDX7Y/e1, proposition 4.7
History
- 2026-10-27: add by m2/v0.4.0
Doron Zeilberger VZEPW68314
| URI | m2://inv/VZEPW68314 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6W8J, Doron Zeilberger (topic)
History
- 2026-11-02: add by m2/dev
Constraint algorithm VZESC51XHP
| URI | m2://inv/VZESC51XHP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#OT9U, Constraint algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Hexaflake VZF33N22VH
| URI | m2://inv/VZF33N22VH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-flake#TEK2, Hexaflake (unknown)
History
- 2026-11-02: add by m2/dev
VZF3W6YKKK VZF3W6YKKK
| URI | m2://inv/VZF3W6YKKK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/more-soundness.tex#prob-4 (exercise). In PKGMM3P5QY, prob, section 55.8
History
- 2026-11-01: add by m2/v0.6.13
VZF4JYNJQS VZF4JYNJQS
| URI | m2://inv/VZF4JYNJQS |
|---|---|
| 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.02663#TSKR (statement). In PGAZ70WGMG/e1, lemma 9
History
- 2026-10-29: add by m2/v0.4.12
VZF5DC90TT VZF5DC90TT
| URI | m2://inv/VZF5DC90TT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#SRLE (statement). In B9EX6K51RD/e1, proposition 4.13
History
- 2026-10-28: add by m2/v0.4.2
Robin Thomas VZF6225565
| URI | m2://inv/VZF6225565 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WDO7, Robin Thomas (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#U9OS, Robin Thomas (topic)
History
- 2026-11-02: add by m2/dev
VZFEYD94D4 VZFEYD94D4
| URI | m2://inv/VZFEYD94D4 |
|---|---|
| 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 2610.19333#QMFS (statement). In 5Y3HF693YB/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
Definition VZFGY83M2S
| URI | m2://inv/VZFGY83M2S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fisher transformation#EGX3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Status quo bias VZFZX43W8W
| URI | m2://inv/VZFZX43W8W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#MZI4, Status quo bias (unknown)
History
- 2026-11-02: add by m2/dev
Davidon–Fletcher–Powell formula VZFZYH75M3
| URI | m2://inv/VZFZYH75M3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum likelihood estimation#BDOE, Davidon–Fletcher–Powell formula (statement)
History
- 2026-11-02: add by m2/dev
Howard Percy Robertson VZG0GV381X
| URI | m2://inv/VZG0GV381X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#EM94, Howard Percy Robertson (unknown)
History
- 2026-11-02: add by m2/dev
Spectral signing with bounded signed degrees VZGNY8VYR9
| URI | m2://inv/VZGNY8VYR9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#DLL4, Spectral signing with bounded signed degrees (statement). In 9YAE8FNQST/e1, corollary 7.8
History
- 2026-10-30: add by m2/v0.4.12
kepstrum VZGRRNSZKJ
| URI | m2://inv/VZGRRNSZKJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cepstrum#ZDPK, kepstrum (definition)
History
- 2026-11-02: add by m2/dev
VZGTD961Y2 VZGTD961Y2
| URI | m2://inv/VZGTD961Y2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/zariski.tex#definition-6 (definition). In RZP28ERRZV, definition, section 29.7
History
- 2026-11-01: add by m2/v0.6.13
VZGTKWZF3R VZGTKWZF3R
| URI | m2://inv/VZGTKWZF3R |
|---|---|
| Kind | example |
| 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 2401.05118#T2RB (example). In BT0T0QS2TN/e1, example 3.5
History
- 2026-10-27: add by m2/v0.4.0
VZGWWK8XKD VZGWWK8XKD
| URI | m2://inv/VZGWWK8XKD |
|---|---|
| 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 alg-geom/9506022#2OBC (statement). In AQGEM4XAKD/e1, theorem 0.4
History
- 2026-10-27: add by m2/v0.3.5
Theorem (Chen) VZH383M1MY
| URI | m2://inv/VZH383M1MY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski plane#6R97, Theorem (Chen) (statement)
History
- 2026-11-02: add by m2/dev
VZH45E2C5H VZH45E2C5H
| URI | m2://inv/VZH45E2C5H |
|---|---|
| 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.26089#UAQK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Boole polynomials VZH6VDRHT6
| URI | m2://inv/VZH6VDRHT6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boole polynomials, Boole polynomials (definition). Also Wikidata Q4943346
History
- 2026-11-02: add by m2/dev
VZH7P5BGEC VZH7P5BGEC
| URI | m2://inv/VZH7P5BGEC |
|---|---|
| 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.39246#FGA2 (statement). In FVK0J9CFEF/e1, lemma 4.12
History
- 2026-10-30: add by m2/v0.4.12
Applications VZHA5ERZHJ
| URI | m2://inv/VZHA5ERZHJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schnorr group#M98E, Applications (example)
History
- 2026-11-02: add by m2/dev
VZHB1PB9AH VZHB1PB9AH
| URI | m2://inv/VZHB1PB9AH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#S76J (statement). In PWXT7J9JX3/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Cuatro Ciénegas VZHJQ7E1VB
| URI | m2://inv/VZHJQ7E1VB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#LUUW, Cuatro Ciénegas (unknown)
History
- 2026-11-02: add by m2/dev
VZHYXHTD99 VZHYXHTD99
| URI | m2://inv/VZHYXHTD99 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12116#ME7T (statement). In WB3F0S794F/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
A boundary-independent \(q=0\) edge VZHZS2QXYA
| URI | m2://inv/VZHZS2QXYA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24541#GQDC, A boundary-independent \(q=0\) edge (statement)
History
- 2026-11-01: add by m2/v0.6.15
VZJ0Q25RZK VZJ0Q25RZK
| URI | m2://inv/VZJ0Q25RZK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.16606#46P1 (statement). In A798V7TX99/e1, proposition 5.9
History
- 2026-10-28: add by m2/v0.4.2
Yoneda's lemma VZJ70GA07C
| URI | m2://inv/VZJ70GA07C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hom functor#YDYU, Yoneda's lemma (statement)
History
- 2026-11-02: add by m2/dev
Peter McMullen VZJCFB2H3N
| URI | m2://inv/VZJCFB2H3N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter McMullen, Peter McMullen (topic). Also Wikidata Q2076988
History
- 2026-11-02: add by m2/dev
Valerie Matsumoto VZJHF88WRH
| URI | m2://inv/VZJHF88WRH |
|---|---|
| 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#ON5M, Valerie Matsumoto (unknown)
History
- 2026-11-02: add by m2/dev
Chow group of a stack VZJSDCB931
| URI | m2://inv/VZJSDCB931 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chow group of a stack, Chow group of a stack (definition). Also Wikidata Q25105422
History
- 2026-11-02: add by m2/dev
Theorem VZK3TJ5SS3
| URI | m2://inv/VZK3TJ5SS3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective tensor product#D9M2, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Covariance group VZK57ZJ507
| URI | m2://inv/VZK57ZJ507 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covariance group, Covariance group (definition). Also Wikidata Q5178896
History
- 2026-11-02: add by m2/dev
\wisc \textbf{(Products of set-valued sized functors are sized VZKGZSFGEH
| URI | m2://inv/VZKGZSFGEH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2105.03252#DMKG, \wisc \textbf{(Products of set-valued sized functors are sized (statement). In 2E47BDDDR4/e1, theorem 4.13
History
- 2026-10-27: add by m2/v0.3.5
VZKJJ7GJP5 VZKJJ7GJP5
| URI | m2://inv/VZKJJ7GJP5 |
|---|---|
| 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#HWF1 (statement). In RYWAX33Z51/e1, lemma 4.17
History
- 2026-10-31: add by m2/v0.5.6
Definitions for the Continuous Equations VZKKJZVAEF
| URI | m2://inv/VZKKJZVAEF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13355#55IA, Definitions for the Continuous Equations (definition). In QJ1G1HBC6C/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Theorem VZKQJ6JPKZ
| URI | m2://inv/VZKQJ6JPKZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fidelity of quantum states#1D6M, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Negative cycle VZKVK3ZQCG
| URI | m2://inv/VZKVK3ZQCG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shortest path problem#MG6C, Negative cycle (unknown)
History
- 2026-11-02: add by m2/dev
configuration VZKXHSY9Z5
| URI | m2://inv/VZKXHSY9Z5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Configuration Q2QFXPP9EE |
Mentions
- wikidata: Wikidata Q1866689, configuration (unknown). Also MathWorld Configuration
- wikipedia: Wikipedia Configuration (geometry), Configuration (definition). Also Wikidata Q1866689
History
- 2026-10-26: add by m2/dev
VZKZTAJNWJ VZKZTAJNWJ
| URI | m2://inv/VZKZTAJNWJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40096#5HDR (statement). In XFE35F9NEV/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Lifting positive zero-divisor sums through quotients VZM11RRH12
| URI | m2://inv/VZM11RRH12 |
|---|---|
| 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 2610.15167#JREG, Lifting positive zero-divisor sums through quotients (statement). In 4ME94TPA7R/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Albin Herzog VZM18SX0HS
| URI | m2://inv/VZM18SX0HS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albin Herzog, Albin Herzog (topic). Also Wikidata Q37733307
History
- 2026-11-02: add by m2/dev
Independent equation VZM1S7FRGF
| URI | m2://inv/VZM1S7FRGF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Independent equation, Independent equation (definition). Also Wikidata Q16979193
History
- 2026-11-02: add by m2/dev
spanning VZM3QN9JKF
| URI | m2://inv/VZM3QN9JKF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#KK1K, spanning (definition)
History
- 2026-11-02: add by m2/dev
VZM6FYAWCQ VZM6FYAWCQ
| URI | m2://inv/VZM6FYAWCQ |
|---|---|
| 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.04844#OC0E (statement). In 5MX3N62ENP/e1, corollary 6
History
- 2026-10-29: add by m2/v0.4.12
VZMCK3EVS1 VZMCK3EVS1
| URI | m2://inv/VZMCK3EVS1 |
|---|---|
| Kind | definition |
| 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.21037#G743 (definition). In PYB2RFYVVE/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.4.2
Dipendra Prasad VZMCQBSNXR
| URI | m2://inv/VZMCQBSNXR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dipendra Prasad, Dipendra Prasad (topic). Also Wikidata Q5279720
History
- 2026-11-02: add by m2/dev
Boyer's Law VZMH4EVG59
| URI | m2://inv/VZMH4EVG59 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stigler's law of eponymy#O28O, Boyer's Law (unknown)
History
- 2026-11-02: add by m2/dev
Thomassen graph 41 VZMM0XGXAY
| URI | m2://inv/VZMM0XGXAY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2816743, Thomassen graph 41 (unknown). Also House of Graphs 1355
History
- 2026-10-26: add by m2/dev
Hain, Proposition 2.9 VZMRH66Z3F
| URI | m2://inv/VZMRH66Z3F |
|---|---|
| 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 0909.0714#W86P, Hain, Proposition 2.9 (statement). In XNNM92X6A8/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
VZMTPW6GBC VZMTPW6GBC
| URI | m2://inv/VZMTPW6GBC |
|---|---|
| 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 2104.05191#LQ1T (statement). In CCNH3FK8YZ/e1, corollary 5.4
History
- 2026-10-27: add by m2/v0.3.5
VZMWCHFNH6 VZMWCHFNH6
| URI | m2://inv/VZMWCHFNH6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03835#VGT6 (statement). In KAYGQMQPGS/e1, corollary 5.9
History
- 2026-10-29: add by m2/v0.4.12
Statement VZN54G98NX
| URI | m2://inv/VZN54G98NX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liouville–Arnold theorem#N4ZO, Statement (statement)
History
- 2026-11-02: add by m2/dev
Dorit Hammerling VZNG5F4YJB
| URI | m2://inv/VZNG5F4YJB |
|---|---|
| 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#VSOK, Dorit Hammerling (unknown)
History
- 2026-11-02: add by m2/dev
Three Rivers East VZNJB1V0GY
| URI | m2://inv/VZNJB1V0GY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#XLZY, Three Rivers East (unknown)
History
- 2026-11-02: add by m2/dev
More sparsity implies more grokking VZNZG0R1DK
| URI | m2://inv/VZNZG0R1DK |
|---|---|
| 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.38453#U95N, More sparsity implies more grokking (statement). In DWKWF242Y0/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
Worst-case leakage and duality VZP15TAW08
| URI | m2://inv/VZP15TAW08 |
|---|---|
| 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.15184#TDRP, Worst-case leakage and duality (statement). In S8A7ZM40DN/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
Properties VZP2KZ4AQM
| URI | m2://inv/VZP2KZ4AQM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyconvex function#4N9K, Properties (statement)
History
- 2026-11-02: add by m2/dev
Hexacontagon VZP7N9W9JV
| URI | m2://inv/VZP7N9W9JV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#3BCL, Hexacontagon (definition)
History
- 2026-11-02: add by m2/dev
VZPASF10N4 VZPASF10N4
| URI | m2://inv/VZPASF10N4 |
|---|---|
| Kind | definition |
| 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#7WMB (definition). In BDN507RN7J/e1, definition 3.7.8
History
- 2026-10-30: add by m2/v0.4.12
VZPB5Q0J0Z VZPB5Q0J0Z
| URI | m2://inv/VZPB5Q0J0Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#UVJ6 (definition). In 13H5BTAXHF/e1, definition 13
History
- 2026-10-27: add by m2/v0.3.5
Wold, Herman VZPDFS2M8H
| URI | m2://inv/VZPDFS2M8H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#NGQP, Wold, Herman (topic)
History
- 2026-11-02: add by m2/dev
Definition VZPHSJNZ8D
| URI | m2://inv/VZPHSJNZ8D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digit sum#V1GY, Definition (definition)
History
- 2026-11-02: add by m2/dev
Statement of the theorem VZPQ2XVC9G
| URI | m2://inv/VZPQ2XVC9G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taylor's theorem#8TG2, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Minkowski inequality VZPVGYBSJF
| URI | m2://inv/VZPVGYBSJF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Minkowski inequality N4QZS912MT |
Mentions
- wikidata: Wikidata Q755092, Minkowski inequality (statement). Also EoM Minkowski_inequality, MathWorld MinkowskisInequalities
- wikipedia: Wikipedia Minkowski inequality, Minkowski inequality (statement). Also Wikidata Q755092
History
- 2026-10-26: add by m2/dev
Graeme Milton VZQ1J8T7HE
| URI | m2://inv/VZQ1J8T7HE |
|---|---|
| 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#R4GN, Graeme Milton (topic)
History
- 2026-11-02: add by m2/dev
VZQ1KA1YVJ VZQ1KA1YVJ
| URI | m2://inv/VZQ1KA1YVJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30067#X0QZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hans Jörg Stetter VZQ2RMENRJ
| URI | m2://inv/VZQ2RMENRJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Jörg Stetter, Hans Jörg Stetter (topic). Also Wikidata Q21029052
History
- 2026-11-02: add by m2/dev
Ian Foster VZQ4CWSTDW
| URI | m2://inv/VZQ4CWSTDW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JEN4, Ian Foster (unknown)
History
- 2026-11-02: add by m2/dev
Greeks in Istanbul VZQJ331ACW
| URI | m2://inv/VZQJ331ACW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Istanbul#NHVT, Greeks in Istanbul (unknown)
History
- 2026-11-02: add by m2/dev
Isidor Natanson VZQPZ4VRFN
| URI | m2://inv/VZQPZ4VRFN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#XSBC, Isidor Natanson (topic)
History
- 2026-11-02: add by m2/dev
VZQRDWJSYJ VZQRDWJSYJ
| URI | m2://inv/VZQRDWJSYJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23128#K2NN (statement)
History
- 2026-11-02: add by m2/v0.6.17
Maximum principle VZR0QDD7D2
| URI | m2://inv/VZR0QDD7D2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-3, Maximum principle (statement). In VNMV985MXX, thm, section 1
History
- 2026-11-01: add by m2/v0.6.13
Ad hominem VZR6PVF9AG
| URI | m2://inv/VZR6PVF9AG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ad hominem, Ad hominem (definition). Also Wikidata Q189183
History
- 2026-11-02: add by m2/dev
Error exponents in hypothesis testing VZR8R36E9H
| URI | m2://inv/VZR8R36E9H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Error exponents in hypothesis testing, Error exponents in hypothesis testing (statement). Also Wikidata Q65058902
History
- 2026-11-02: add by m2/dev
VZRDVC7YD3 VZRDVC7YD3
| URI | m2://inv/VZRDVC7YD3 |
|---|---|
| Kind | example |
| 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.20944#AJG7 (example). In DRRKZR6CQC/e1, example 2
History
- 2026-10-27: add by m2/v0.4.2
Hall VZRFB4GQND
| URI | m2://inv/VZRFB4GQND |
|---|---|
| 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.16258#ZS49, Hall (statement). In AZ6QMVKFHD/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Werner Fenchel VZRFE5VARQ
| URI | m2://inv/VZRFE5VARQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#5Q5I, Werner Fenchel (topic)
History
- 2026-11-02: add by m2/dev
Chain rule, Lemma 3.4 VZRH1TEQR8
| URI | m2://inv/VZRH1TEQR8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36016#MK7R, Chain rule, Lemma 3.4 (statement). In NAM9ZMPHZ9/e1, proposition D.7
History
- 2026-10-30: add by m2/v0.4.12
Mathias Lerch VZRKNJAW2N
| URI | m2://inv/VZRKNJAW2N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78826, Mathias Lerch (unknown). Also ProofWiki Mathematician:Mathias_Lerch
- wikipedia: Wikipedia Mathias Lerch, Mathias Lerch (topic). Also Wikidata Q78826
History
- 2026-10-26: add by m2/dev
BROJA unique and union information VZRNJDJZ38
| URI | m2://inv/VZRNJDJZ38 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13464#QD3A, BROJA unique and union information (definition). In P40KK40XFP/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.2
Washington State University VZRSMTDRAQ
| URI | m2://inv/VZRSMTDRAQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of schools for quantitative psychology#3NTK, Washington State University (unknown)
History
- 2026-11-02: add by m2/dev
Modified Szpiro conjecture VZS5Q17HAF
| URI | m2://inv/VZS5Q17HAF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Szpiro's conjecture#GZKW, Modified Szpiro conjecture (statement)
History
- 2026-11-02: add by m2/dev
VZS9CCGM0N VZS9CCGM0N
| URI | m2://inv/VZS9CCGM0N |
|---|---|
| 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.10968#649K (statement). In KJRV9ZW833/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.3
Applications VZS9E1NQWP
| URI | m2://inv/VZS9E1NQWP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lennard-Jones potential#QMTM, Applications (example)
History
- 2026-11-02: add by m2/dev
Definitions VZS9P73AQV
| URI | m2://inv/VZS9P73AQV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete topological vector space#HNGF, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Properties VZSA9HPSWB
| URI | m2://inv/VZSA9HPSWB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bicyclic semigroup#VIPS, Properties (statement)
History
- 2026-11-02: add by m2/dev
Convexity/linearity of posterior vulnerability w.r.t. choices VZSAXWC3C3
| URI | m2://inv/VZSAXWC3C3 |
|---|---|
| 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 1803.10042#7Y8J, Convexity/linearity of posterior vulnerability w.r.t. choices (statement). In 718SP8YERQ/e1, theorem A2
History
- 2026-10-27: add by m2/v0.3.5
Tensor product of algebras VZSCDQJ3ZK
| URI | m2://inv/VZSCDQJ3ZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor product of algebras, Tensor product of algebras (definition). Also Wikidata Q7700713
History
- 2026-11-02: add by m2/dev
Paul Chester Kainen VZSDK5EX6S
| URI | m2://inv/VZSDK5EX6S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#M5DG, Paul Chester Kainen (topic)
History
- 2026-11-02: add by m2/dev
Weiss's conjecture VZSE7BQTTJ
| URI | m2://inv/VZSE7BQTTJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperfinite equivalence relation#P1KG, Weiss's conjecture (statement)
History
- 2026-11-02: add by m2/dev
VZSEEXGP2N VZSEEXGP2N
| URI | m2://inv/VZSEEXGP2N |
|---|---|
| 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#HZ0X (statement). In 6HKGGCMBCK/e1, proposition 1.10
History
- 2026-10-30: add by m2/v0.4.12
Properties VZSKGQ1CNK
| URI | m2://inv/VZSKGQ1CNK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tsen rank#DK0S, Properties (statement)
History
- 2026-11-02: add by m2/dev
ACE Encrypt VZSMZ74XT3
| URI | m2://inv/VZSMZ74XT3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ACE Encrypt, ACE Encrypt (definition). Also Wikidata Q4032885
History
- 2026-11-02: add by m2/dev
Type I and type II errors VZSN9YA9CX
| URI | m2://inv/VZSN9YA9CX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6654, Type I and type II errors (definition)
History
- 2026-11-02: add by m2/dev
VZSTXWDZJ8 VZSTXWDZJ8
| URI | m2://inv/VZSTXWDZJ8 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 49.1
History
- 2026-11-01: add by m2/v0.6.13
Hotelling's rule VZT200QVZA
| URI | m2://inv/VZT200QVZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hotelling's rule, Hotelling's rule (definition). Also Wikidata Q443972
History
- 2026-11-02: add by m2/dev
Acceptable quality limit VZT6186J7S
| URI | m2://inv/VZT6186J7S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acceptable quality limit, Acceptable quality limit (definition). Also Wikidata Q4672371
History
- 2026-11-02: add by m2/dev
VZT7NHGN4M VZT7NHGN4M
| URI | m2://inv/VZT7NHGN4M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21080#3B6Y (statement). In DGE917KQSQ/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
Mandelbox VZTB15MSG0
| URI | m2://inv/VZTB15MSG0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mandelbox, Mandelbox (definition). Also Wikidata Q3285485
History
- 2026-11-02: add by m2/dev
Example VZTF5HPRTH
| URI | m2://inv/VZTF5HPRTH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Imaginary hyperelliptic curve#L3JE, Example (example)
History
- 2026-11-02: add by m2/dev
Puck puzzle VZTJMFQ80M
| URI | m2://inv/VZTJMFQ80M |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Puck puzzle, Puck puzzle (problem). Also Wikidata Q1124035
History
- 2026-11-02: add by m2/dev
VZTN8FKS4S VZTN8FKS4S
| URI | m2://inv/VZTN8FKS4S |
|---|---|
| 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#DWA6 (statement). In 9JZJTRRVR1/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.12
VZTR05TCCZ VZTR05TCCZ
| URI | m2://inv/VZTR05TCCZ |
|---|---|
| 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.10525#B3J1 (statement). In N3K26VPX0R/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.10
linear PDE VZTT6HMK7M
| URI | m2://inv/VZTT6HMK7M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/5.6/linear-pde, linear PDE (concept). In E9HS8K3A52, index, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
VZV0KCZ5PF VZV0KCZ5PF
| URI | m2://inv/VZV0KCZ5PF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#7IL9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
VZV5A2001P VZV5A2001P
| URI | m2://inv/VZV5A2001P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09314#P4BR (definition). In Z04N0B3R0V/e1, definition 2.12
History
- 2026-10-29: add by m2/v0.4.10
VZV895BPFA VZV895BPFA
| URI | m2://inv/VZV895BPFA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20050#QG60 (definition). In T41GD0Y0GX/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.4.2
VZVKA0QNPV VZVKA0QNPV
| URI | m2://inv/VZVKA0QNPV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34295#EYYV (statement). In A93R925Z24/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Geach-Kaplan sentence VZVQPVS68B
| URI | m2://inv/VZVQPVS68B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#LF9N, Geach-Kaplan sentence (definition)
History
- 2026-11-02: add by m2/dev
VZVQQRWVF3 VZVQQRWVF3
| URI | m2://inv/VZVQQRWVF3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#JEOB (statement). In G1RP4JY5PE/e1, theorem 1.3.1
History
- 2026-10-31: add by m2/v0.5.6
VZVYZ9Q6V1 VZVYZ9Q6V1
| URI | m2://inv/VZVYZ9Q6V1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#1M4P (definition). In VN084GGZGK/e1, definition 4.5
History
- 2026-10-28: add by m2/v0.4.3
Hilbert's tenth problem VZW04HQ0PW
| URI | m2://inv/VZW04HQ0PW |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's tenth problem, Hilbert's tenth problem (problem). Also Wikidata Q986147
History
- 2026-11-02: add by m2/dev
Elaine Youngs VZW5FFZ8Q9
| URI | m2://inv/VZW5FFZ8Q9 |
|---|---|
| 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#8HIX, Elaine Youngs (unknown)
History
- 2026-11-02: add by m2/dev
VZWC1SMN9T VZWC1SMN9T
| URI | m2://inv/VZWC1SMN9T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.21914#8HIM (statement)
History
- 2026-11-02: add by m2/v0.6.17
Entin's Chebotarev density theorem VZWJVQMXBN
| URI | m2://inv/VZWJVQMXBN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.13042#4YXG, Entin's Chebotarev density theorem (statement). In 4QA108C07Y/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
Ivan Orlov VZWK2RFKR0
| URI | m2://inv/VZWK2RFKR0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ivan Orlov (philosopher), Ivan Orlov (topic). Also Wikidata Q6097133
History
- 2026-11-02: add by m2/dev
VZWNQH0K7V VZWNQH0K7V
| URI | m2://inv/VZWNQH0K7V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#ex:pullback-pasting (exercise). In N54F33XE07, ex, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
fine-structure constant VZWPK8SHTK
| URI | m2://inv/VZWPK8SHTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5997, fine-structure constant (definition). Also ProofWiki Definition:Fine-Structure_Constant
History
- 2026-10-26: add by m2/dev
General definition VZWPQ8YWAQ
| URI | m2://inv/VZWPQ8YWAQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial greatest common divisor#DIWZ, General definition (definition)
History
- 2026-11-02: add by m2/dev
C-Thru Ruler VZWQRR8WG4
| URI | m2://inv/VZWQRR8WG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia C-Thru Ruler, C-Thru Ruler (definition). Also Wikidata Q5005926
History
- 2026-11-02: add by m2/dev
VZX0QK1FV5 VZX0QK1FV5
| URI | m2://inv/VZX0QK1FV5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-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.03138#N1C0 (definition). In P5SY7AVP5E/e1, definition 6.6
History
- 2026-10-29: add by m2/v0.4.12
Partition of sums of squares VZX678XX1S
| URI | m2://inv/VZX678XX1S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partition of sums of squares, Partition of sums of squares (definition). Also Wikidata Q7140649
History
- 2026-11-02: add by m2/dev
VZX8BBKKPZ VZX8BBKKPZ
| URI | m2://inv/VZX8BBKKPZ |
|---|---|
| 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#F0VM (statement)
History
- 2026-11-01: add by m2/v0.6.15
The exceptional order five VZX9A56KWN
| URI | m2://inv/VZX9A56KWN |
|---|---|
| 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.10950#D2FG, The exceptional order five (statement). In P392PEVRAY/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.3
VZXDEJ02M9 VZXDEJ02M9
| URI | m2://inv/VZXDEJ02M9 |
|---|---|
| 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.40261#JXLI (statement). In KAVANCCYJW/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
product rule VZXJK0HNZZ
| URI | m2://inv/VZXJK0HNZZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/3.1.1/product-rule, product rule (concept). In E59CDZA4DP, index, section 3.1.1
History
- 2026-11-01: add by m2/v0.6.13
Hong Kong Mathematics Olympiad VZXKSXA79Z
| URI | m2://inv/VZXKSXA79Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#7OYW, Hong Kong Mathematics Olympiad (unknown)
History
- 2026-11-02: add by m2/dev
gauss VZXMKEPE27
| URI | m2://inv/VZXMKEPE27 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q177493, gauss (definition). Also ProofWiki Definition:Gauss_(Unit)
History
- 2026-10-26: add by m2/dev
VZXV2W62AJ VZXV2W62AJ
| URI | m2://inv/VZXV2W62AJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.31413#7N14 (statement). In 1C68G64QZS/e1, theorem 1
History
- 2026-10-31: add by m2/v0.5.6
VZXZW4EKVD VZXZW4EKVD
| URI | m2://inv/VZXZW4EKVD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15674#WHQQ (definition). In JCTZTK951T/e1, definition 1.2
History
- 2026-10-28: add by m2/v0.4.2
Properties VZY19FM3NM
| URI | m2://inv/VZY19FM3NM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjoint functors#8FCE, Properties (statement)
History
- 2026-11-02: add by m2/dev
VZY22XMJAV VZY22XMJAV
| URI | m2://inv/VZY22XMJAV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:2cat (exercise). In N54F33XE07, ex, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
James C. Hickman VZY5B739GV
| URI | m2://inv/VZY5B739GV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#YPRC, James C. Hickman (topic)
History
- 2026-11-02: add by m2/dev
VZYAPD9S8E VZYAPD9S8E
| URI | m2://inv/VZYAPD9S8E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#U3Z0 (statement). In 47WN78VDDF/e1, proposition 3.8
History
- 2026-10-30: add by m2/v0.4.12
VZYBNQF5RC VZYBNQF5RC
| URI | m2://inv/VZYBNQF5RC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9602216#BJD8 (statement). In SD43497T8C/e1, theorem 2.10
History
- 2026-10-27: add by m2/v0.3.5
Langevin dynamics VZYCDPG19X
| URI | m2://inv/VZYCDPG19X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Langevin dynamics, Langevin dynamics (definition). Also Wikidata Q6485978
History
- 2026-11-02: add by m2/dev
Breaking the Code VZYE2H2212
| URI | m2://inv/VZYE2H2212 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#ABM8, Breaking the Code (unknown)
History
- 2026-11-02: add by m2/dev
Carr\'e du Champ Operators VZYF3X9X28
| URI | m2://inv/VZYF3X9X28 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23994#SL9K, Carr\'e du Champ Operators (definition)
History
- 2026-11-02: add by m2/v0.6.17
VZYP9VRWA9 VZYP9VRWA9
| URI | m2://inv/VZYP9VRWA9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01208#1HXC (definition). In 317GZJ38HS/e1, definition 5.3
History
- 2026-10-29: add by m2/v0.4.12
A convex domain for best Gaussian approximators with bounded photon number VZYPDEJFZW
| URI | m2://inv/VZYPDEJFZW |
|---|---|
| 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.06810#UNOM, A convex domain for best Gaussian approximators with bounded photon number (statement). In 1NY2SA03XF/e1, lemma 4.10
History
- 2026-10-29: add by m2/v0.4.10
Base change over a disc of $\partial\bar\partial$-fibers VZYZDP7KKP
| URI | m2://inv/VZYZDP7KKP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.02022#57VF, Base change over a disc of $\partial\bar\partial$-fibers (statement). In RZDNWV9E29/e1, lemma 2.14
History
- 2026-10-27: add by m2/v0.3.6
VZZ1AQ5Q2T VZZ1AQ5Q2T
| URI | m2://inv/VZZ1AQ5Q2T |
|---|---|
| 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.03488#YI1G (statement). In 9GXR1WEYWT/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.12
Propositions VZZ4E1HDYX
| URI | m2://inv/VZZ4E1HDYX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf bifurcation#990O, Propositions (statement)
History
- 2026-11-02: add by m2/dev
Applications VZZCZJG9RK
| URI | m2://inv/VZZCZJG9RK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polybius square#93IF, Applications (example)
History
- 2026-11-02: add by m2/dev
VZZDJGNSXA VZZDJGNSXA
| URI | m2://inv/VZZDJGNSXA |
|---|---|
| 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.33027#JD3H (statement). In E2AF84709B/e1, corollary 39
History
- 2026-10-31: add by m2/v0.5.6