Inventory rows YM
The cards of the rows of the inventory whose ids start with YM. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Laplacian Eigenbasis on the Extended Domain YM03WYWAWS
| URI | m2://inv/YM03WYWAWS |
|---|---|
| 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.13222#AATB, Laplacian Eigenbasis on the Extended Domain (definition). In Z6WA2R0J50/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
YM0579X50K YM0579X50K
| URI | m2://inv/YM0579X50K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.06581#O2Y2 (definition). In WXJ2V3HA2R/e1, definition E.4
History
- 2026-10-27: add by m2/v0.3.5
coroot YM05XM2CWJ
| URI | m2://inv/YM05XM2CWJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#NVKC, coroot (definition)
History
- 2026-11-02: add by m2/dev
Compatible harmonic smoothing YM086YZNSP
| URI | m2://inv/YM086YZNSP |
|---|---|
| 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.32680#QYWK, Compatible harmonic smoothing (statement). In XVJGVCZA7V/e1, theorem 6.1
History
- 2026-10-31: add by m2/v0.5.6
Definition YM0B2H9588
| URI | m2://inv/YM0B2H9588 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complementary sequences#XZGG, Definition (definition)
History
- 2026-11-02: add by m2/dev
YM0CFK4Y36 YM0CFK4Y36
| URI | m2://inv/YM0CFK4Y36 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.19866#C9JZ (statement). In 9F94CEQ1ZM/e1, lemma 5.8
History
- 2026-10-27: add by m2/v0.3.5
YM0XDA3FDZ YM0XDA3FDZ
| URI | m2://inv/YM0XDA3FDZ |
|---|---|
| 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 2011.12496#401B (statement). In 1DH15ZJFRZ/e1, lemma 11
History
- 2026-10-27: add by m2/v0.3.5
YM0XJ1HEPE YM0XJ1HEPE
| URI | m2://inv/YM0XJ1HEPE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-149 (exercise). In VNMV985MXX, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
YM0Z128QAH YM0Z128QAH
| URI | m2://inv/YM0Z128QAH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19534#67NB (statement). In 22G1ATP2RA/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
Kravchuk, Myhailo Pylypovych YM0ZN7S118
| URI | m2://inv/YM0ZN7S118 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians#LZQW, Kravchuk, Myhailo Pylypovych (unknown)
History
- 2026-11-02: add by m2/dev
YM1AM1CEVW YM1AM1CEVW
| URI | m2://inv/YM1AM1CEVW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#prop:inflimcompositions (statement). In E59CDZA4DP, prop, section 2.5.3
History
- 2026-11-01: add by m2/v0.6.13
W/w YM1BAD9QPB
| URI | m2://inv/YM1BAD9QPB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9964, W/w (unknown). Also ProofWiki Symbols:W
History
- 2026-10-26: add by m2/dev
YM1BTWBXB8 YM1BTWBXB8
| URI | m2://inv/YM1BTWBXB8 |
|---|---|
| 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.20513#UORZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
pascal YM1MS8CTFE
| URI | m2://inv/YM1MS8CTFE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q44395, pascal (definition). Also ProofWiki Definition:SI/Pressure/Pascal
History
- 2026-10-26: add by m2/dev
Topological dynamical system YM1VK6MFXJ
| URI | m2://inv/YM1VK6MFXJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#1EU6, Topological dynamical system (topic)
History
- 2026-11-02: add by m2/dev
YM22C9313V YM22C9313V
| URI | m2://inv/YM22C9313V |
|---|---|
| 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 2204.01073#TF5X (statement). In W4TYN4PGE8/e1, proposition 3.35
History
- 2026-10-27: add by m2/v0.3.5
Simon Newcomb YM24RJNASW
| URI | m2://inv/YM24RJNASW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0LZ4, Simon Newcomb (unknown)
History
- 2026-11-02: add by m2/dev
David Lovelock YM292FX5M6
| URI | m2://inv/YM292FX5M6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Lovelock, David Lovelock (topic). Also Wikidata Q21062228
History
- 2026-11-02: add by m2/dev
YM2A0BF2YS YM2A0BF2YS
| URI | m2://inv/YM2A0BF2YS |
|---|---|
| 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.13505#CN1V (definition). In 6Z1DDCYCQ8/e1, definition 4
History
- 2026-10-28: add by m2/v0.4.2
YM2AKZKX1N YM2AKZKX1N
| URI | m2://inv/YM2AKZKX1N |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34570#YT80 (example). In EVFX1R7ZDD/e1, example 14
History
- 2026-10-30: add by m2/v0.4.12
YM2AX530NG YM2AX530NG
| URI | m2://inv/YM2AX530NG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08638#2I2X (statement). In 113VZ5XX7J/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
connected subsets of $\R$ YM2DHNK5NF
| URI | m2://inv/YM2DHNK5NF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Topology of R > connected subsets of $\R$, connected subsets of $\R$ (unknown). Also Mathlib setOfPred_isPreconnected_eq_of_ordered
History
- 2026-10-26: add by m2/dev
YM2HEFNR52 YM2HEFNR52
| URI | m2://inv/YM2HEFNR52 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise-28 (exercise). In E59CDZA4DP, exercise, section 3.3.3
History
- 2026-11-01: add by m2/v0.6.13
Sharp mixed bounds for Haar shifts YM2YKEQQAY
| URI | m2://inv/YM2YKEQQAY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20531#V9WG, Sharp mixed bounds for Haar shifts (statement)
History
- 2026-11-02: add by m2/v0.6.18
Group of Lie type YM2ZZJHDGA
| URI | m2://inv/YM2ZZJHDGA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of finite-dimensional Nichols algebras#JMGY, Group of Lie type (definition)
History
- 2026-11-02: add by m2/dev
Examples YM3C93FSN6
| URI | m2://inv/YM3C93FSN6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H topology#M7HB, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples YM3DCRDSDZ
| URI | m2://inv/YM3DCRDSDZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Identifiability#716D, Examples (example)
History
- 2026-11-02: add by m2/dev
Proof of \olref{prop:rep-id} YM3DS0VNMM
| URI | m2://inv/YM3DS0VNMM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/basic-representable.tex#proof-2, Proof of \olref{prop:rep-id} (proof). In PKGMM3P5QY, proof, section 29.3
History
- 2026-11-01: add by m2/v0.6.13
YM3E62P45J YM3E62P45J
| URI | m2://inv/YM3E62P45J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30779#F76N (statement). In 64V4DXGBKB/e1, lemma 2.3
History
- 2026-10-31: add by m2/v0.5.6
Raymond O. Wells Jr. YM3E67FA8G
| URI | m2://inv/YM3E67FA8G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TPHE, Raymond O. Wells Jr. (topic)
History
- 2026-11-02: add by m2/dev
YM3HMD1Q5Z YM3HMD1Q5Z
| URI | m2://inv/YM3HMD1Q5Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07442#5O2H (statement). In 6SDC2Z8Y8M/e1, theorem 4.10
History
- 2026-10-29: add by m2/v0.4.10
YM3KEBSK7V YM3KEBSK7V
| URI | m2://inv/YM3KEBSK7V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#0RO9 (statement). In BDN507RN7J/e1, proposition 4.7.8
History
- 2026-10-30: add by m2/v0.4.12
Formal definition YM3Q54WV0G
| URI | m2://inv/YM3Q54WV0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic surface#XYSU, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Base YM3QZ3RETW
| URI | m2://inv/YM3QZ3RETW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#ZWFA, Base (definition)
History
- 2026-11-02: add by m2/dev
Properties YM3RQ2FZ7N
| URI | m2://inv/YM3RQ2FZ7N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sphenocorona#W4AZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
tree, binary YM3TWW2YGQ
| URI | m2://inv/YM3TWW2YGQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/9.7/tree-binary, tree, binary (concept). In QKM9DD2H56, index, section 9.7
History
- 2026-11-01: add by m2/v0.6.13
Definitions YM3W56N8H7
| URI | m2://inv/YM3W56N8H7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integrally convex set#58RO, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Ian Sloan YM3XEBNSHY
| URI | m2://inv/YM3XEBNSHY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ian Sloan (mathematician), Ian Sloan (topic). Also Wikidata Q18373767
History
- 2026-11-02: add by m2/dev
YM416RDX8V YM416RDX8V
| URI | m2://inv/YM416RDX8V |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-28: add by m2/v0.4.2
Formal definition YM46NJG3PK
| URI | m2://inv/YM46NJG3PK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Narrow class group#OY4B, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
The Pontryagin ring of $\loops K$ YM4BX77FC5
| URI | m2://inv/YM4BX77FC5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04164#TQ6B, The Pontryagin ring of $\loops K$ (statement). In KR7WXN4EWR/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.12
Truth-value semantics YM4KG8MRFC
| URI | m2://inv/YM4KG8MRFC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truth-value semantics, Truth-value semantics (definition). Also Wikidata Q14477759
History
- 2026-11-02: add by m2/dev
Example YM4P4EPBBD
| URI | m2://inv/YM4P4EPBBD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic combinatorics#W0UQ, Example (example)
History
- 2026-11-02: add by m2/dev
YM54GBS7EZ YM54GBS7EZ
| URI | m2://inv/YM54GBS7EZ |
|---|---|
| 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.18033#4CX9 (statement). In 59VRB6Y27N/e1, corollary 1.2
History
- 2026-10-28: add by m2/v0.4.2
Lyapunov function: Lyapunov's second method for stability YM579J3ZJG
| URI | m2://inv/YM579J3ZJG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#5UNY, Lyapunov function: Lyapunov's second method for stability (definition)
History
- 2026-11-02: add by m2/dev
center YM5CD56QDX
| URI | m2://inv/YM5CD56QDX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5062222, center (unknown). Also nLab Drinfeld center
- wikipedia: Wikipedia Center (category theory), Center (definition). Also Wikidata Q5062222
History
- 2026-10-26: add by m2/dev
Transfer and the absorbing constant YM5RJBQKT6
| URI | m2://inv/YM5RJBQKT6 |
|---|---|
| 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.12014#6O6F, Transfer and the absorbing constant (statement). In DR7BK4CQ0V/e1, lemma 5.14
History
- 2026-10-28: add by m2/v0.4.3
Steve Krulevitz YM5TEDFA2P
| URI | m2://inv/YM5TEDFA2P |
|---|---|
| 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#RRGN, Steve Krulevitz (unknown)
History
- 2026-11-02: add by m2/dev
YM5YB4JAHV YM5YB4JAHV
| URI | m2://inv/YM5YB4JAHV |
|---|---|
| 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.26455#ZY2Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example YM61QWQMGK
| URI | m2://inv/YM61QWQMGK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Golomb coding#ASJL, Example (example)
History
- 2026-11-02: add by m2/dev
YM6CSNDB34 YM6CSNDB34
| URI | m2://inv/YM6CSNDB34 |
|---|---|
| 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.04466#77BG (statement). In EHW82CK883/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
Rankit YM6H6136V2
| URI | m2://inv/YM6H6136V2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rankit, Rankit (definition). Also Wikidata Q7293312
History
- 2026-11-02: add by m2/dev
Exponential formula YM6M68GEFE
| URI | m2://inv/YM6M68GEFE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential formula, Exponential formula (statement). Also Wikidata Q5421523
History
- 2026-11-02: add by m2/dev
YM78X2X3SB YM78X2X3SB
| URI | m2://inv/YM78X2X3SB |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28669#GX1Q (problem)
History
- 2026-11-01: add by m2/v0.6.15
Birectified order-5 120-cell YM79GN2DVT
| URI | m2://inv/YM79GN2DVT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-5 120-cell honeycomb#PUS4, Birectified order-5 120-cell (unknown)
History
- 2026-11-02: add by m2/dev
Gluing YM79VPSSRE
| URI | m2://inv/YM79VPSSRE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17026#VHZT, Gluing (statement). In 76G7J23DNZ/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
YM7H7V9JNR YM7H7V9JNR
| URI | m2://inv/YM7H7V9JNR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-37 (exercise). In E59CDZA4DP, exercise, section 5.4.3
History
- 2026-11-01: add by m2/v0.6.13
Regular map YM7NX2EDWD
| URI | m2://inv/YM7NX2EDWD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12576#FOSM, Regular map (definition). In BVAWVRS3R9/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
YM7R4PAZ6C YM7R4PAZ6C
| URI | m2://inv/YM7R4PAZ6C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/proof-theoretic-notions.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 17.5
History
- 2026-11-01: add by m2/v0.6.13
Lajos Pósa YM7RY5ABDE
| URI | m2://inv/YM7RY5ABDE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lajos Pósa (mathematician), Lajos Pósa (topic). Also Wikidata Q456029
History
- 2026-11-02: add by m2/dev
YM7SAR9XBQ YM7SAR9XBQ
| URI | m2://inv/YM7SAR9XBQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#example-8 (example). In E59CDZA4DP, example, section 6.3.1
History
- 2026-11-01: add by m2/v0.6.13
A scalar spectral inequality YM7SSD0T54
| URI | m2://inv/YM7SSD0T54 |
|---|---|
| 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.32001#OLJC, A scalar spectral inequality (statement). In 5FZGDECW2R/e1, theorem 1.3
History
- 2026-10-31: add by m2/v0.5.6
Chevalley's theorem YM7WZFYMH3
| URI | m2://inv/YM7WZFYMH3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constructible set (topology)#3YGO, Chevalley's theorem (statement)
History
- 2026-11-02: add by m2/dev
YM80GP7ZW2 YM80GP7ZW2
| URI | m2://inv/YM80GP7ZW2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-XX, 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.28552#O6YV (definition)
History
- 2026-11-01: add by m2/v0.6.15
Olga Oleinik YM8FN7QGZ0
| URI | m2://inv/YM8FN7QGZ0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#O982, Olga Oleinik (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#N5AX, Olga Oleinik (topic)
History
- 2026-11-02: add by m2/dev
YM8G7GBHRS YM8G7GBHRS
| URI | m2://inv/YM8G7GBHRS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12053#QBU1 (statement). In MQ226ETRP6/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.3
non-reflexive relation YM8Y0ABJN4
| URI | m2://inv/YM8Y0ABJN4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q115136723, non-reflexive relation (definition). Also ProofWiki Definition:Non-Reflexive_Relation
History
- 2026-10-26: add by m2/dev
Short-vector endpoint polynomials YM8Y56YW2M
| URI | m2://inv/YM8Y56YW2M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37615#MTPM, Short-vector endpoint polynomials (statement). In T2B54J7121/e1, lemma B.1
History
- 2026-10-30: add by m2/v0.4.12
YM90R6JAME YM90R6JAME
| URI | m2://inv/YM90R6JAME |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03520#9Z7C (definition). In CSRZ9CWK69/e1, definition 8.1
History
- 2026-10-29: add by m2/v0.4.12
Noetherian YM93R4MDEK
| URI | m2://inv/YM93R4MDEK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#PQTP, Noetherian (definition)
- wikipedia: Wikipedia List of things named after Emmy Noether#9TDK, Noetherian (definition)
History
- 2026-11-02: add by m2/dev
YM9A4RNQR0 YM9A4RNQR0
| URI | m2://inv/YM9A4RNQR0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39981#C2TC (statement). In PMMV6YAEVR/e1, lemma 8
History
- 2026-10-30: add by m2/v0.4.12
EncFS YM9D3K91H1
| URI | m2://inv/YM9D3K91H1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia EncFS, EncFS (definition). Also Wikidata Q1339972
History
- 2026-11-02: add by m2/dev
YM9E35XET6 YM9E35XET6
| URI | m2://inv/YM9E35XET6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#prop:limrest (statement). In E59CDZA4DP, prop, section 2.1.4
History
- 2026-11-01: add by m2/v0.6.13
YM9HCM9A4W YM9HCM9A4W
| URI | m2://inv/YM9HCM9A4W |
|---|---|
| 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.14741#NE2V (statement). In RK1VPWWX9E/e1, proposition 4.14
History
- 2026-10-28: add by m2/v0.4.2
Socle of a module YM9M0C8Q2J
| URI | m2://inv/YM9M0C8Q2J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#LM5H, Socle of a module (definition)
History
- 2026-11-02: add by m2/dev
YM9MXTWP8N YM9MXTWP8N
| URI | m2://inv/YM9MXTWP8N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11905#GVCW (definition). In QQFXT31CA5/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.3
Computer Misuse Act 1990 YM9RF76BYC
| URI | m2://inv/YM9RF76BYC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#WUF0, Computer Misuse Act 1990 (unknown)
History
- 2026-11-02: add by m2/dev
relativistic dynamics YMA914656F
| URI | m2://inv/YMA914656F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7310826, relativistic dynamics (unknown). Also EoM Relativistic_dynamics
History
- 2026-10-26: add by m2/dev
Weierstrass–Enneper parameterization YMA9QNJB7G
| URI | m2://inv/YMA9QNJB7G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weierstrass–Enneper parameterization, Weierstrass–Enneper parameterization (definition). Also Wikidata Q7979830
History
- 2026-11-02: add by m2/dev
Convergent series YMAERCC6SZ
| URI | m2://inv/YMAERCC6SZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#1XBE, Convergent series (definition)
History
- 2026-11-02: add by m2/dev
YMAH8BGQZR YMAH8BGQZR
| URI | m2://inv/YMAH8BGQZR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27056#LOOK (example)
History
- 2026-11-01: add by m2/v0.6.15
Homotopy category of a model category YMAJBS8CKQ
| URI | m2://inv/YMAJBS8CKQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy category#KU5B, Homotopy category of a model category (unknown)
History
- 2026-11-02: add by m2/dev
YMAKEB0QH7 YMAKEB0QH7
| URI | m2://inv/YMAKEB0QH7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.17852#UVVS (statement). In 1WCXV5PVZA/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.4.0
YMAMKD3SYQ YMAMKD3SYQ
| URI | m2://inv/YMAMKD3SYQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-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.28814#URTL (statement)
History
- 2026-11-01: add by m2/v0.6.15
MAA Certificate of Merit YMB0QC70ZH
| URI | m2://inv/YMB0QC70ZH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MAA Certificate of Merit, MAA Certificate of Merit (definition). Also Wikidata Q65091285
History
- 2026-11-02: add by m2/dev
Mohr's second theorem YMB1EK25SD
| URI | m2://inv/YMB1EK25SD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theorem of three moments#1MUY, Mohr's second theorem (statement)
History
- 2026-11-02: add by m2/dev
Diane Watson YMB3TF364Y
| URI | m2://inv/YMB3TF364Y |
|---|---|
| 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#8A4H, Diane Watson (unknown)
History
- 2026-11-02: add by m2/dev
YMB8ZSKBPT YMB8ZSKBPT
| URI | m2://inv/YMB8ZSKBPT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12105#ZGXY (definition). In 289HM2RXT3/e1, definition 3.8
History
- 2026-10-28: add by m2/v0.4.3
Science Without Numbers YMBK3Y0NFF
| URI | m2://inv/YMBK3Y0NFF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Science Without Numbers, Science Without Numbers (definition). Also Wikidata Q134995787
History
- 2026-11-02: add by m2/dev
YMBN0EDBEN YMBN0EDBEN
| URI | m2://inv/YMBN0EDBEN |
|---|---|
| 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 2508.02432#WHRE (statement). In B366ACYB37/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.5
YMBN8M8AZ7 YMBN8M8AZ7
| URI | m2://inv/YMBN8M8AZ7 |
|---|---|
| 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.14741#5QJV (statement). In RK1VPWWX9E/e1, corollary 4.20
History
- 2026-10-28: add by m2/v0.4.2
YMBZS65MJY YMBZS65MJY
| URI | m2://inv/YMBZS65MJY |
|---|---|
| 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 2206.11471#OBEX (example). In 8387H919D5/e1, example 5
History
- 2026-10-27: add by m2/v0.3.5
Classical approaches to magnetic susceptibility and Bohr–van Leeuwen theorem YMC9DGABCD
| URI | m2://inv/YMC9DGABCD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curie–Weiss law#8BPH, Classical approaches to magnetic susceptibility and Bohr–van Leeuwen theorem (statement)
History
- 2026-11-02: add by m2/dev
YMCBPN0ZTP YMCBPN0ZTP
| URI | m2://inv/YMCBPN0ZTP |
|---|---|
| Kind | definition |
| 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.33531#OLDT (definition). In HNMJEAR2ER/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Snellius–Pothenot problem YMCDQJF3H5
| URI | m2://inv/YMCDQJF3H5 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17107808, Snellius–Pothenot problem (problem). Also MathWorld Snellius-PothenotProblem
- wikipedia: Wikipedia Snellius–Pothenot problem, Snellius–Pothenot problem (problem). Also Wikidata Q17107808
History
- 2026-10-26: add by m2/dev
Affine periodicity YMCHKKXSMF
| URI | m2://inv/YMCHKKXSMF |
|---|---|
| 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.22305#RSXH, Affine periodicity (statement). In P6FTXTV09Q/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.4.0
Antipedal triangle YMCTTHS3PM
| URI | m2://inv/YMCTTHS3PM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pedal triangle#B09Z, Antipedal triangle (unknown)
History
- 2026-11-02: add by m2/dev
Strong pointwise and locally-uniform small-dispersion asymptotics, \protect YMCV8H3F7R
| URI | m2://inv/YMCV8H3F7R |
|---|---|
| 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.00770#5X72, Strong pointwise and locally-uniform small-dispersion asymptotics, \protect (statement). In AYGRJSRG1M/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Berry--Esseen YMCVMA2FNB
| URI | m2://inv/YMCVMA2FNB |
|---|---|
| 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.17403#WKYA, Berry--Esseen (statement). In 9EMNMAW8YH/e1, theorem 8
History
- 2026-10-28: add by m2/v0.4.2
Decorrelation YMCXFV71AY
| URI | m2://inv/YMCXFV71AY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decorrelation, Decorrelation (definition). Also Wikidata Q788608
History
- 2026-11-02: add by m2/dev
Rotor YMD10EM73G
| URI | m2://inv/YMD10EM73G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rotor (mathematics), Rotor (definition). Also Wikidata Q7370585
History
- 2026-11-02: add by m2/dev
Littlewood subordination theorem YMD57HR2C6
| URI | m2://inv/YMD57HR2C6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Littlewood subordination theorem, Littlewood subordination theorem (statement). Also Wikidata Q6653168
History
- 2026-11-02: add by m2/dev
Global convergence YMD5SPSFRM
| URI | m2://inv/YMD5SPSFRM |
|---|---|
| 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.20539#O474, Global convergence (statement). In 94KNW375B9/e1, theorem 2
History
- 2026-10-27: add by m2/v0.4.2
Definition YMD7PMKSXJ
| URI | m2://inv/YMD7PMKSXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-isometry#VUO1, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definitions YMDCT19T31
| URI | m2://inv/YMDCT19T31 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientism#Y2IL, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Dedekind conjecture YMDQ0KTJ5T
| URI | m2://inv/YMDQ0KTJ5T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind zeta function#1ZKL, Dedekind conjecture (statement)
History
- 2026-11-02: add by m2/dev
Capped work rarely exceeds the margin YMDX37R0B4
| URI | m2://inv/YMDX37R0B4 |
|---|---|
| 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.17329#L1QK, Capped work rarely exceeds the margin (statement). In F6GD5JWK9M/e1, lemma 4.13
History
- 2026-10-28: add by m2/v0.4.2
YME313PT4W YME313PT4W
| URI | m2://inv/YME313PT4W |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00501#KDP9 (example). In FTPW1SZ8D3/e1, example 3.2
History
- 2026-10-30: add by m2/v0.4.12
join, in a lattice YME5RSY1XB
| URI | m2://inv/YME5RSY1XB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2/join-in-a-lattice, join, in a lattice (concept). In N54F33XE07, index, section B.2
History
- 2026-11-01: add by m2/v0.6.13
AI bias YMEE03FECY
| URI | m2://inv/YMEE03FECY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithmic bias#LD8U, AI bias (unknown)
History
- 2026-11-02: add by m2/dev
Dirac-discriminant structure YMEGTJNST3
| URI | m2://inv/YMEGTJNST3 |
|---|---|
| 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.20197#SGYU, Dirac-discriminant structure (statement)
History
- 2026-11-02: add by m2/v0.6.18
YMEK2855VE YMEK2855VE
| URI | m2://inv/YMEK2855VE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#def:hlevel (definition). In N54F33XE07, defn, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Novikov's compact leaf theorem YMER784M09
| URI | m2://inv/YMER784M09 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#38SJ, Novikov's compact leaf theorem (statement)
History
- 2026-11-02: add by m2/dev
YMESVEQ2AG YMESVEQ2AG
| URI | m2://inv/YMESVEQ2AG |
|---|---|
| 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 2209.08186#MC62 (statement). In X6VGVPQH8V/e1, theorem 5.5
History
- 2026-10-27: add by m2/v0.3.5
P versus NP YMEVJQZJSR
| URI | m2://inv/YMEVJQZJSR |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#9D03, P versus NP (conjecture)
History
- 2026-11-02: add by m2/dev
Theorem 2 YMEXE8QBWZ
| URI | m2://inv/YMEXE8QBWZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Density functional theory#66SK, Theorem 2 (statement)
History
- 2026-11-02: add by m2/dev
Population viability analysis YMFEXWBCWH
| URI | m2://inv/YMFEXWBCWH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#G2S1, Population viability analysis (definition)
History
- 2026-11-02: add by m2/dev
Definition YMFEZFF2A1
| URI | m2://inv/YMFEZFF2A1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruent isoscelizers point#9FGK, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples YMFF8VZTE2
| URI | m2://inv/YMFF8VZTE2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nth root#K6OF, Examples (example)
History
- 2026-11-02: add by m2/dev
Signed graph YMFFN4HPKK
| URI | m2://inv/YMFFN4HPKK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signed graph, Signed graph (definition). Also Wikidata Q11246292
History
- 2026-11-02: add by m2/dev
YMG00X6310 YMG00X6310
| URI | m2://inv/YMG00X6310 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#defn-9 (definition). In E59CDZA4DP, defn, section 10.5.1
History
- 2026-11-01: add by m2/v0.6.13
Noetherian module YMG414YJP8
| URI | m2://inv/YMG414YJP8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Emmy Noether#7HRY, Noetherian module (definition)
History
- 2026-11-02: add by m2/dev
Applications YMG4YX4KQ6
| URI | m2://inv/YMG4YX4KQ6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial Wigner–Ville distribution#WRGD, Applications (example)
History
- 2026-11-02: add by m2/dev
YMGAM2C56G YMGAM2C56G
| URI | m2://inv/YMGAM2C56G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24412#YC2I (statement)
History
- 2026-11-01: add by m2/v0.6.15
Angle bisector theorem YMGFTAFQVM
| URI | m2://inv/YMGFTAFQVM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#POPI, Angle bisector theorem (statement)
History
- 2026-11-02: add by m2/dev
Certified dominating set YMGGME29V3
| URI | m2://inv/YMGGME29V3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Certified dominating set, Certified dominating set (definition). Also Wikidata Q138034884
History
- 2026-11-02: add by m2/dev
YMGHVSRVTC YMGHVSRVTC
| URI | m2://inv/YMGHVSRVTC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21534#OZ7Y (statement)
History
- 2026-11-02: add by m2/v0.6.18
A bounded score detects full affine span YMGT0BP8TZ
| URI | m2://inv/YMGT0BP8TZ |
|---|---|
| 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#G1BE, A bounded score detects full affine span (statement). In 9YAE8FNQST/e1, lemma 10.9
History
- 2026-10-30: add by m2/v0.4.12
Schoof–Elkies–Atkin algorithm YMGTHH3NRM
| URI | m2://inv/YMGTHH3NRM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schoof–Elkies–Atkin algorithm, Schoof–Elkies–Atkin algorithm (definition). Also Wikidata Q6130349
History
- 2026-11-02: add by m2/dev
Cavalieri YMGZ3EZXMP
| URI | m2://inv/YMGZ3EZXMP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#F0NO, Cavalieri (definition)
History
- 2026-11-02: add by m2/dev
YMH16T5R7N YMH16T5R7N
| URI | m2://inv/YMH16T5R7N |
|---|---|
| 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.15169#OJ9S (statement). In V7SN19J84T/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
YMH3H64385 YMH3H64385
| URI | m2://inv/YMH3H64385 |
|---|---|
| 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 2205.09049#8TIF (definition). In 37S7MNMZ2F/e1, definition 83
History
- 2026-10-27: add by m2/v0.3.5
YMH4K0MEJ5 YMH4K0MEJ5
| URI | m2://inv/YMH4K0MEJ5 |
|---|---|
| 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#GAUG (definition). In Z7E16PFFCP/e1, definition 2.11
History
- 2026-10-30: add by m2/v0.4.12
YMH52F64H1 YMH52F64H1
| URI | m2://inv/YMH52F64H1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/PowerSets.tex#problem-1 (exercise). In P1C114YBXG, problem, section G
History
- 2026-11-01: add by m2/v0.6.13
Discrete observations YMH5JTFGGS
| URI | m2://inv/YMH5JTFGGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20090#DCQM, Discrete observations (statement). In 2RV3YSN1NX/e1, theorem 2
History
- 2026-10-27: add by m2/v0.4.2
Definition YMH9AAXEZX
| URI | m2://inv/YMH9AAXEZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Left recursion#2HY7, Definition (definition)
History
- 2026-11-02: add by m2/dev
List of mathematical theorems YMH9HMQWAD
| URI | m2://inv/YMH9HMQWAD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics reference tables#HES1, List of mathematical theorems (topic)
History
- 2026-11-02: add by m2/dev
YMHBNCCETF YMHBNCCETF
| URI | m2://inv/YMHBNCCETF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.28295#OOC2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
YMHD3QXDXZ YMHD3QXDXZ
| URI | m2://inv/YMHD3QXDXZ |
|---|---|
| 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.08288#VV7N (statement). In CHVWYJM7RM/e1, proposition 2.9
History
- 2026-10-29: add by m2/v0.4.10
YMHDB6XCRB YMHDB6XCRB
| URI | m2://inv/YMHDB6XCRB |
|---|---|
| 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 2103.12669#BU4L (statement). In ZA6XNBA90V/e1, theorem 0.2
History
- 2026-10-27: add by m2/v0.3.5
Examples YMHRXYMJZ1
| URI | m2://inv/YMHRXYMJZ1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Path (graph theory)#NOY9, Examples (example)
History
- 2026-11-02: add by m2/dev
Time domain YMJ5TB7TJR
| URI | m2://inv/YMJ5TB7TJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time domain, Time domain (definition). Also Wikidata Q185889
History
- 2026-11-02: add by m2/dev
Density matrix YMJ71VSRGT
| URI | m2://inv/YMJ71VSRGT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#3J5D, Density matrix (definition)
History
- 2026-11-02: add by m2/dev
C∞-algebra YMJAAB94J6
| URI | m2://inv/YMJAAB94J6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q85208389, C∞-algebra (unknown). Also nLab C-infinity algebra
History
- 2026-10-26: add by m2/dev
Reduction to projective $\mathcal C_2$ YMJCHKMAQ6
| URI | m2://inv/YMJCHKMAQ6 |
|---|---|
| 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.09341#NYMS, Reduction to projective $\mathcal C_2$ (statement). In DSXBMRYE0V/e1, lemma D.1
History
- 2026-10-29: add by m2/v0.4.10
Anderson's inequality YMJF9TA7JF
| URI | m2://inv/YMJF9TA7JF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39455#AO4I, Anderson's inequality (statement). In HW4Y4TMEZ3/e1, lemma 6.6
History
- 2026-10-30: add by m2/v0.4.12
Definition YMJH7C9DPK
| URI | m2://inv/YMJH7C9DPK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signature (topology)#OLV9, Definition (definition)
History
- 2026-11-02: add by m2/dev
Axiom YMJNK77N6R
| URI | m2://inv/YMJNK77N6R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Substitution (logic)#M05R, Axiom (statement)
History
- 2026-11-02: add by m2/dev
YMJV56WK4B YMJV56WK4B
| URI | m2://inv/YMJV56WK4B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37747#G0S4 (statement). In GEYDNVZEP7/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
Alok Bhargava YMJXR156GA
| URI | m2://inv/YMJXR156GA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#KQFT, Alok Bhargava (unknown)
History
- 2026-11-02: add by m2/dev
The method YMK0EVQBYT
| URI | m2://inv/YMK0EVQBYT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Describing function#8XCD, The method (definition)
History
- 2026-11-02: add by m2/dev
Stephen Cole Kleene YMK7GHAZGV
| URI | m2://inv/YMK7GHAZGV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#TF7J, Stephen Cole Kleene (topic)
History
- 2026-11-02: add by m2/dev
YMKGYT3V4R YMKGYT3V4R
| URI | m2://inv/YMKGYT3V4R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32977#ET1L (statement). In 4KT9TK3MG4/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
Definition YMKPGHKWZY
| URI | m2://inv/YMKPGHKWZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander–Spanier cohomology#21Y8, Definition (definition)
History
- 2026-11-02: add by m2/dev
Subjectivity and objectivity YMKWE3SGM1
| URI | m2://inv/YMKWE3SGM1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subjectivity and objectivity (philosophy), Subjectivity and objectivity (definition). Also Wikidata Q25396191
History
- 2026-11-02: add by m2/dev
Calculus of $\Gamma$ YMKY2SHA5P
| URI | m2://inv/YMKY2SHA5P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#XVAD, Calculus of $\Gamma$ (statement). In NKXTXH59P1/e1, lemma F.4
History
- 2026-10-29: add by m2/v0.4.10
Yun's algorithm YMKYNKBZ6B
| URI | m2://inv/YMKYNKBZ6B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square-free polynomial#ZSNE, Yun's algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Minimal model program YMKYZ8YXJ4
| URI | m2://inv/YMKYZ8YXJ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimal model program, Minimal model program (definition). Also Wikidata Q6865325
History
- 2026-11-02: add by m2/dev
Mahler's theorem YMM341CYG3
| URI | m2://inv/YMM341CYG3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-adic analysis#OS2T, Mahler's theorem (statement)
History
- 2026-11-02: add by m2/dev
YMM42M10NX YMM42M10NX
| URI | m2://inv/YMM42M10NX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-96 (exercise). In VNMV985MXX, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
0-1 Knapsack problem YMM4AJ9Q0K
| URI | m2://inv/YMM4AJ9Q0K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knapsack problem#CU1X, 0-1 Knapsack problem (unknown)
History
- 2026-11-02: add by m2/dev
Wess–Zumino model YMM7H05363
| URI | m2://inv/YMM7H05363 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wess–Zumino model, Wess–Zumino model (definition). Also Wikidata Q3859871
History
- 2026-11-02: add by m2/dev
YMMCQRT06J YMMCQRT06J
| URI | m2://inv/YMMCQRT06J |
|---|---|
| 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 2302.04470#124O (statement). In PVRF0WS223/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.3.6
YMMCTF6K6B YMMCTF6K6B
| URI | m2://inv/YMMCTF6K6B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/meromorphic.tex#proposition-1 (statement). In RZP28ERRZV, proposition, section 41.4
History
- 2026-11-01: add by m2/v0.6.13
Finite-sample exact support recovery, $L_0$ estimator YMMK408CJA
| URI | m2://inv/YMMK408CJA |
|---|---|
| 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.37944#W018, Finite-sample exact support recovery, $L_0$ estimator (statement). In KP94WJVJXY/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Elizabeth Margosches YMMQH35VX9
| URI | m2://inv/YMMQH35VX9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elizabeth Margosches, Elizabeth Margosches (topic). Also Wikidata Q60161896
History
- 2026-11-02: add by m2/dev
YMMTRATD2B YMMTRATD2B
| URI | m2://inv/YMMTRATD2B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11679#OVX2 (statement). In 30PZ8ZVR3A/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.3
Definition YMMWTTSN4B
| URI | m2://inv/YMMWTTSN4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Causal sets#M4UL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Relation to the Cauchy–Kowalevski theorem YMMWV5CCAP
| URI | m2://inv/YMMWV5CCAP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holmgren's uniqueness theorem#6N7A, Relation to the Cauchy–Kowalevski theorem (statement)
History
- 2026-11-02: add by m2/dev
YMN0D7PBPY YMN0D7PBPY
| URI | m2://inv/YMN0D7PBPY |
|---|---|
| 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-rules.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 55.7
History
- 2026-11-01: add by m2/v0.6.13
YMN4JAARTG YMN4JAARTG
| URI | m2://inv/YMN4JAARTG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.12846#LCMM (statement). In D6XA7JXZF3/e1, proposition 4.17
History
- 2026-10-27: add by m2/v0.3.5
YMNE4CG7B4 YMNE4CG7B4
| URI | m2://inv/YMNE4CG7B4 |
|---|---|
| Kind | example |
| 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.27775#QMC0 (example)
History
- 2026-11-01: add by m2/v0.6.15
YMNFSG2HT8 YMNFSG2HT8
| URI | m2://inv/YMNFSG2HT8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22952#FLEA (statement)
History
- 2026-11-02: add by m2/v0.6.17
Properties YMNNCWYQVG
| URI | m2://inv/YMNNCWYQVG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lexicographic product of graphs#UL03, Properties (statement)
History
- 2026-11-02: add by m2/dev
YMNNZMK9CM YMNNZMK9CM
| URI | m2://inv/YMNNZMK9CM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24206#5V82 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Klaus Heiner Kamps YMNP3MEZHP
| URI | m2://inv/YMNP3MEZHP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q64017153, Klaus Heiner Kamps (unknown). Also nLab Klaus Heiner Kamps
History
- 2026-10-26: add by m2/dev
Computerized classification test YMNPRHQS7P
| URI | m2://inv/YMNPRHQS7P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computerized classification test, Computerized classification test (definition). Also Wikidata Q5157604
History
- 2026-11-02: add by m2/dev
Annie Leuch-Reineck YMNQPHG37X
| URI | m2://inv/YMNQPHG37X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annie Leuch-Reineck, Annie Leuch-Reineck (topic). Also Wikidata Q566993
History
- 2026-11-02: add by m2/dev
Properties YMNTQ1JKSF
| URI | m2://inv/YMNTQ1JKSF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nondeterministic finite automaton#PN9I, Properties (statement)
History
- 2026-11-02: add by m2/dev
End YMNYWZ5S19
| URI | m2://inv/YMNYWZ5S19 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia End (graph theory), End (definition). Also Wikidata Q5375783
History
- 2026-11-02: add by m2/dev
Statistical ensemble YMP2BEFY3T
| URI | m2://inv/YMP2BEFY3T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#T6RO, Statistical ensemble (definition)
History
- 2026-11-02: add by m2/dev
Psychological statistics YMP55X4ADA
| URI | m2://inv/YMP55X4ADA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#H4VW, Psychological statistics (definition)
History
- 2026-11-02: add by m2/dev
YMP5FE0FW9 YMP5FE0FW9
| URI | m2://inv/YMP5FE0FW9 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21781#G5US (unknown). In FEQ72D1AX6/e1, unknown 5.3
History
- 2026-10-27: add by m2/v0.4.2
YMP5HHKZF5 YMP5HHKZF5
| URI | m2://inv/YMP5HHKZF5 |
|---|---|
| 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.23630#88S4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
YMP9NKBV18 YMP9NKBV18
| URI | m2://inv/YMP9NKBV18 |
|---|---|
| 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.40207#XVIU (statement). In JXTG8KP95P/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Stellated rhombic dodecahedral honeycomb YMPCSNKJZP
| URI | m2://inv/YMPCSNKJZP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First stellation of the rhombic dodecahedron#9ZKE, Stellated rhombic dodecahedral honeycomb (unknown)
History
- 2026-11-02: add by m2/dev
YMPHXQVVQY YMPHXQVVQY
| URI | m2://inv/YMPHXQVVQY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03728#F6D8 (statement). In NXR84SNM8F/e1, theorem A.7
History
- 2026-10-29: add by m2/v0.4.12
equal row sums YMPJA4MG7H
| URI | m2://inv/YMPJA4MG7H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02743#2P4A, equal row sums (statement). In GQH4ZPDWET/e1, theorem 11.2
History
- 2026-10-29: add by m2/v0.4.12
Khufu and Khafre YMPKRQZV7Z
| URI | m2://inv/YMPKRQZV7Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Khufu and Khafre, Khufu and Khafre (definition). Also Wikidata Q2329462
History
- 2026-11-02: add by m2/dev
YMPMDQW0E8 YMPMDQW0E8
| URI | m2://inv/YMPMDQW0E8 |
|---|---|
| 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.19288#WBAF (statement). In 1EA6AM9V01/e1, corollary 2.5
History
- 2026-10-28: add by m2/v0.4.2
Hardy's theorem YMQ6MC13V9
| URI | m2://inv/YMQ6MC13V9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4455037, Hardy's theorem (statement). Also Wikidata Q4455037
- thousand_plus: thousand_plus Q4455037, Hardy's theorem (statement). Also Wikidata Q4455037, Wikipedia Hardy's theorem
- wikipedia: Wikipedia Hardy's theorem, Hardy's theorem (statement). Also Wikidata Q4455037
History
- 2026-10-26: add by m2/dev
YMQAVDE1A1 YMQAVDE1A1
| URI | m2://inv/YMQAVDE1A1 |
|---|---|
| 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.02798#Z2CL (statement). In 446QW3DHTN/e1, lemma E.1
History
- 2026-10-29: add by m2/v0.4.12
YMQG37FZ5W YMQG37FZ5W
| URI | m2://inv/YMQG37FZ5W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 55-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.37524#1E7N (definition). In 4GTJAPF7Q3/e1, definition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Equivalence of optimal strategies of types $\distr(\calda)$ and $\cald \rightarrow \distr(\cala)$ in Game II YMQM50M5WV
| URI | m2://inv/YMQM50M5WV |
|---|---|
| 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#4GSZ, Equivalence of optimal strategies of types $\distr(\calda)$ and $\cald \rightarrow \distr(\cala)$ in Game II (statement). In 718SP8YERQ/e1, corollary A2
History
- 2026-10-27: add by m2/v0.3.5
Localized source-layer pressure YMQNDGSKV4
| URI | m2://inv/YMQNDGSKV4 |
|---|---|
| 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.10188#VTNF, Localized source-layer pressure (statement). In S608Z3ZBP6/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.10
information theory YMQQHP54BC
| URI | m2://inv/YMQQHP54BC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131222, information theory (unknown). Also MathWorld InformationTheory
- wikipedia: Wikipedia Information theory, Information theory (definition). Also Wikidata Q131222
History
- 2026-10-26: add by m2/dev
Application with Bayes’ Theorem YMQYSKPRFS
| URI | m2://inv/YMQYSKPRFS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classification rule#KSBI, Application with Bayes’ Theorem (statement)
History
- 2026-11-02: add by m2/dev
polynomial quotient YMQZ8NQ912
| URI | m2://inv/YMQZ8NQ912 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141145064, polynomial quotient (unknown). Also MathWorld PolynomialQuotient
History
- 2026-10-26: add by m2/dev
YMR1K2KWKA YMR1K2KWKA
| URI | m2://inv/YMR1K2KWKA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.00752#WMT8 (definition). In GGW2N4JHXM/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.5
Six Sigma YMR77TNSAQ
| URI | m2://inv/YMR77TNSAQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Six Sigma, Six Sigma (definition). Also Wikidata Q236908
History
- 2026-11-02: add by m2/dev
Population-conditional update discrepancy YMRANBRY8Z
| URI | m2://inv/YMRANBRY8Z |
|---|---|
| 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.14965#2RBZ, Population-conditional update discrepancy (statement). In HNJB1WHQGZ/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
YMRBCPH6QD YMRBCPH6QD
| URI | m2://inv/YMRBCPH6QD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#H4E9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
YMRF4P9T6S YMRF4P9T6S
| URI | m2://inv/YMRF4P9T6S |
|---|---|
| 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#S7SJ (statement). In PWXT7J9JX3/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
Properties of the gauge YMRM22A1Q0
| URI | m2://inv/YMRM22A1Q0 |
|---|---|
| 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.29605#L4MP, Properties of the gauge (statement)
History
- 2026-11-01: add by m2/v0.6.15
YMRPCWRM8Z YMRPCWRM8Z
| URI | m2://inv/YMRPCWRM8Z |
|---|---|
| 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 2405.02275#K799 (example). In 1QXCNGRWV1/e1, example 4.3
History
- 2026-10-27: add by m2/v0.3.5
YMRTJ7QB8E YMRTJ7QB8E
| URI | m2://inv/YMRTJ7QB8E |
|---|---|
| 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.26357#3C5O (statement)
History
- 2026-11-01: add by m2/v0.6.15
Data generating process YMS66MPCKP
| URI | m2://inv/YMS66MPCKP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data generating process, Data generating process (definition). Also Wikidata Q5227300
History
- 2026-11-02: add by m2/dev
Definitions YMS8SRD2N2
| URI | m2://inv/YMS8SRD2N2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double category#T7VW, Definitions (definition)
History
- 2026-11-02: add by m2/dev
YMSB2RH5VP YMSB2RH5VP
| URI | m2://inv/YMSB2RH5VP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#definition-5 (definition). In RZP28ERRZV, definition, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
Balázs Szegedy YMSEJJEXMN
| URI | m2://inv/YMSEJJEXMN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GAMR, Balázs Szegedy (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OP9G, Balázs Szegedy (topic)
History
- 2026-11-02: add by m2/dev
Definition YMSEPXAT3G
| URI | m2://inv/YMSEPXAT3G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tschirnhaus transformation#9525, Definition (definition)
History
- 2026-11-02: add by m2/dev
Wilhelm Winter YMSJS2VXTC
| URI | m2://inv/YMSJS2VXTC |
|---|---|
| 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#64GZ, Wilhelm Winter (topic)
History
- 2026-11-02: add by m2/dev
YMSR9T05Q4 YMSR9T05Q4
| URI | m2://inv/YMSR9T05Q4 |
|---|---|
| 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 2510.12502#GSX9 (statement). In 3A4K47Y9F2/e1, lemma 2.50
History
- 2026-10-27: add by m2/v0.4.0
homotopy YMSY1MDHB7
| URI | m2://inv/YMSY1MDHB7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.4/homotopy, homotopy (concept). In N54F33XE07, index, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Transfer to all nonzero vectors YMT17ZC4AW
| URI | m2://inv/YMT17ZC4AW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30808#Q9RB, Transfer to all nonzero vectors (statement). In 4JCFPV48VG/e1, corollary 4.3
History
- 2026-10-31: add by m2/v0.5.6
Hyperbolic substitution YMT4XNNVC8
| URI | m2://inv/YMT4XNNVC8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometric substitution#TA1E, Hyperbolic substitution (unknown)
History
- 2026-11-02: add by m2/dev
Eli Maor YMT64JF9YP
| URI | m2://inv/YMT64JF9YP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eli Maor, Eli Maor (topic). Also Wikidata Q971727
History
- 2026-11-02: add by m2/dev
Henstock–Kurzweil integral YMTGWB5ZX2
| URI | m2://inv/YMTGWB5ZX2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Henstock–Kurzweil integral FCGHXDGVV9 |
Mentions
- wikidata: Wikidata Q82029, Henstock–Kurzweil integral (concept). Also MathWorld HKIntegral, nLab Henstock integral
- wikipedia: Wikipedia Henstock–Kurzweil integral, Henstock–Kurzweil integral (definition). Also Wikidata Q82029
History
- 2026-10-26: add by m2/dev
elliptic integral YMTRS72KSY
| URI | m2://inv/YMTRS72KSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#QG57, elliptic integral (definition)
History
- 2026-11-02: add by m2/dev
Sharpness of the Clifford bound YMTSY34KVF
| URI | m2://inv/YMTSY34KVF |
|---|---|
| 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 2610.21093#6BRS, Sharpness of the Clifford bound (statement). In TBFPBPQV3G/e1, corollary 6.10
History
- 2026-10-27: add by m2/v0.4.2
YMTXJ97FBW YMTXJ97FBW
| URI | m2://inv/YMTXJ97FBW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12691#FQBZ (statement). In YVQKT91MYN/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
Generalizations YMTYM41EE3
| URI | m2://inv/YMTYM41EE3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean distance#XCOB, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
YMV0WEQ0X7 YMV0WEQ0X7
| URI | m2://inv/YMV0WEQ0X7 |
|---|---|
| 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 2610.02756#TI2W (example). In GCQ5YCQQHD/e1, example 2.1
History
- 2026-10-29: add by m2/v0.4.12
YMV3WFS1S6 YMV3WFS1S6
| URI | m2://inv/YMV3WFS1S6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00562#E8MH (statement). In 99CQPHSSYF/e1, corollary \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
Crossing changes and slice-torus link invariants YMVDV5Z9F9
| URI | m2://inv/YMVDV5Z9F9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10206#X1PE, Crossing changes and slice-torus link invariants (statement). In 8TRCP1482Q/e1, proposition B.25
History
- 2026-10-29: add by m2/v0.4.10
Transfer maps between Cartesian and block variables YMVFEX9WHZ
| URI | m2://inv/YMVFEX9WHZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24739#421G, Transfer maps between Cartesian and block variables (statement)
History
- 2026-11-01: add by m2/v0.6.15
General systems theory YMVFZ79J5N
| URI | m2://inv/YMVFZ79J5N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of systems theory#94O4, General systems theory (unknown)
History
- 2026-11-02: add by m2/dev
YMVHTS43BR YMVHTS43BR
| URI | m2://inv/YMVHTS43BR |
|---|---|
| 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 1905.00573#54R0 (statement). In 74RNQVBM2G/e1, proposition 3.14
History
- 2026-10-27: add by m2/v0.3.5
Evelyn Fix YMVRA35E81
| URI | m2://inv/YMVRA35E81 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evelyn Fix, Evelyn Fix (topic). Also Wikidata Q30556767
History
- 2026-11-02: add by m2/dev
YMVSY9SPVS YMVSY9SPVS
| URI | m2://inv/YMVSY9SPVS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06461#XSI6 (statement). In QXY3W2JV2N/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Loop deletion YMW6MY2PTT
| URI | m2://inv/YMW6MY2PTT |
|---|---|
| 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.35213#HR6P, Loop deletion (statement). In T5KCTZ3H08/e1, lemma 11
History
- 2026-10-30: add by m2/v0.4.12
YMWES9DJ8G YMWES9DJ8G
| URI | m2://inv/YMWES9DJ8G |
|---|---|
| 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 2504.00267#JO34 (statement). In 38XJWDZ2PH/e1, theorem 3.24
History
- 2026-10-27: add by m2/v0.3.5
compressible surface YMWJGFVJCK
| URI | m2://inv/YMWJGFVJCK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124644464, compressible surface (unknown). Also MathWorld CompressibleSurface
History
- 2026-10-26: add by m2/dev
YMWJXBWGT0 YMWJXBWGT0
| URI | m2://inv/YMWJXBWGT0 |
|---|---|
| Kind | definition |
| 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#EMPQ (definition). In 9VPMHV0M4R/e1, definition 1.1
History
- 2026-10-31: add by m2/v0.5.6
YMWM73MQWR YMWM73MQWR
| URI | m2://inv/YMWM73MQWR |
|---|---|
| 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 2404.05965#ADQA (statement). In GD1GED3FZ3/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
YMWSVA16XS YMWSVA16XS
| URI | m2://inv/YMWSVA16XS |
|---|---|
| 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 2411.02694#IUGF (statement). In A8EK2ARN5Q/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.0
Robert Tarjan YMX7DHM9XN
| URI | m2://inv/YMX7DHM9XN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SRRF, Robert Tarjan (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#W14K, Robert Tarjan (unknown)
History
- 2026-11-02: add by m2/dev
Logarithmic certificate YMX8081T5Y
| URI | m2://inv/YMX8081T5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22077#F9JK, Logarithmic certificate (statement)
History
- 2026-11-02: add by m2/v0.6.17
Theorem YMX8DQS5CB
| URI | m2://inv/YMX8DQS5CB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi's four-square theorem#C296, Theorem (statement)
History
- 2026-11-02: add by m2/dev
YMXR71DGBD YMXR71DGBD
| URI | m2://inv/YMXR71DGBD |
|---|---|
| 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 2110.06338#W0L7 (statement). In W1VVK7WDPK/e1, proposition 4.11
History
- 2026-10-27: add by m2/v0.4.0
Coordinate system transformation YMXY39VZ3B
| URI | m2://inv/YMXY39VZ3B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coordinate system#VK7O, Coordinate system transformation (unknown)
History
- 2026-11-02: add by m2/dev
Christina Eubanks-Turner YMXZG1MHEX
| URI | m2://inv/YMXZG1MHEX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christina Eubanks-Turner, Christina Eubanks-Turner (topic). Also Wikidata Q62082515
History
- 2026-11-02: add by m2/dev
Joanna McGrenere YMY6AGDGV7
| URI | m2://inv/YMY6AGDGV7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SD3R, Joanna McGrenere (unknown)
History
- 2026-11-02: add by m2/dev
Class function (set theory) YMYBFKB0C8
| URI | m2://inv/YMYBFKB0C8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Class (set theory)#31D6, Class function (set theory) (unknown)
History
- 2026-11-02: add by m2/dev
Single-slit diffraction using Huygens' principle YMYD9KHTNR
| URI | m2://inv/YMYD9KHTNR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fraunhofer diffraction#VBVM, Single-slit diffraction using Huygens' principle (statement)
History
- 2026-11-02: add by m2/dev
Lifted Golay codes YMYP3WWHEM
| URI | m2://inv/YMYP3WWHEM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04834#6DA5, Lifted Golay codes (example). In YZNK67K060/e1, example 4.10
History
- 2026-10-29: add by m2/v0.4.12
Freudenthal algebra YMZG93A40K
| URI | m2://inv/YMZG93A40K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#26G6, Freudenthal algebra (definition)
History
- 2026-11-02: add by m2/dev
YMZH0HB674 YMZH0HB674
| URI | m2://inv/YMZH0HB674 |
|---|---|
| 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 2401.05118#O0I4 (statement). In BT0T0QS2TN/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.4.0
Attacker's pure-strategy Nash equilibrium in Game VI YMZPG443CJ
| URI | m2://inv/YMZPG443CJ |
|---|---|
| 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#CCQZ, Attacker's pure-strategy Nash equilibrium in Game VI (statement). In 718SP8YERQ/e1, theorem A6
History
- 2026-10-27: add by m2/v0.3.5
YMZPT48CE9 YMZPT48CE9
| URI | m2://inv/YMZPT48CE9 |
|---|---|
| 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.22784#HD9Y (statement)
History
- 2026-11-02: add by m2/v0.6.17
YMZRDCKWXM YMZRDCKWXM
| URI | m2://inv/YMZRDCKWXM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06699#Y4T0 (statement). In GXHKRV5BPY/e1, lemma C.5
History
- 2026-10-29: add by m2/v0.4.10
complex exponentiation YMZWYDJTFD
| URI | m2://inv/YMZWYDJTFD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3062200, complex exponentiation (unknown). Also MathWorld ComplexExponentiation
History
- 2026-10-26: add by m2/dev