Inventory rows 7Z
The cards of the rows of the inventory whose ids start with 7Z. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Yamada–Watanabe theorem 7Z0DG1AEAE
| URI | m2://inv/7Z0DG1AEAE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yamada–Watanabe theorem, Yamada–Watanabe theorem (statement). Also Wikidata Q124423070
History
- 2026-11-02: add by m2/dev
7Z0DRYSHWT 7Z0DRYSHWT
| URI | m2://inv/7Z0DRYSHWT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/eigenvalues.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 58.3
History
- 2026-11-01: add by m2/v0.6.13
Localisation of a module 7Z0K5ENC57
| URI | m2://inv/7Z0K5ENC57 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Localization (commutative algebra)#THLF, Localisation of a module (unknown)
History
- 2026-11-02: add by m2/dev
Commutators of matched pairs 7Z0YH6NYD9
| URI | m2://inv/7Z0YH6NYD9 |
|---|---|
| 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.14509#OY5Y, Commutators of matched pairs (statement). In N6GD8392QB/e1, proposition 6.4
History
- 2026-10-28: add by m2/v0.4.2
Matteo Mainardi 7Z0ZPBKSYZ
| URI | m2://inv/7Z0ZPBKSYZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matteo Mainardi, Matteo Mainardi (topic). Also Wikidata Q18945665
History
- 2026-11-02: add by m2/dev
7Z10T9WD53 7Z10T9WD53
| URI | m2://inv/7Z10T9WD53 |
|---|---|
| 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.22344#UH03 (statement)
History
- 2026-11-02: add by m2/v0.6.17
7Z15F3NTTH 7Z15F3NTTH
| URI | m2://inv/7Z15F3NTTH |
|---|---|
| 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.17677#VQOS (statement). In 5E9G06XJKC/e1, lemma C.17
History
- 2026-10-28: add by m2/v0.4.2
Cayley graph 7Z16GB0C2F
| URI | m2://inv/7Z16GB0C2F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Arthur Cayley#NTW4, Cayley graph (definition)
History
- 2026-11-02: add by m2/dev
7Z17C01NA7 7Z17C01NA7
| URI | m2://inv/7Z17C01NA7 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/compactness-direct.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 9.8
History
- 2026-11-01: add by m2/v0.6.13
7Z19MD2FB9 7Z19MD2FB9
| URI | m2://inv/7Z19MD2FB9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompositionsInverses.tex#definition-1 (definition). In P1C114YBXG, definition, section 1
History
- 2026-11-01: add by m2/v0.6.13
Tamar Ziegler 7Z1E7RC2G2
| URI | m2://inv/7Z1E7RC2G2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RJ2E, Tamar Ziegler (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9Q1V, Tamar Ziegler (topic)
History
- 2026-11-02: add by m2/dev
SUTVA 7Z1GGE6X17
| URI | m2://inv/7Z1GGE6X17 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rubin causal model#SE81, SUTVA (unknown)
History
- 2026-11-02: add by m2/dev
Lester Dubins 7Z1GNJ778Z
| URI | m2://inv/7Z1GNJ778Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6HX4, Lester Dubins (topic)
History
- 2026-11-02: add by m2/dev
Ray transform 7Z1JM1YVPG
| URI | m2://inv/7Z1JM1YVPG |
|---|---|
| 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.15262#3DMT, Ray transform (statement). In C44HVXWYRF/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
PER $\textsf{Nat}$ 7Z1JMNJ25G
| URI | m2://inv/7Z1JMNJ25G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#7ZCR, PER $\textsf{Nat}$ (definition). In CPYWHRTPKC/e1, definition 6.6
History
- 2026-10-27: add by m2/v0.4.2
The Groundwork of Eugenics 7Z1RRP8PYF
| URI | m2://inv/7Z1RRP8PYF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl Pearson#14VW, The Groundwork of Eugenics (unknown)
History
- 2026-11-02: add by m2/dev
Davis--Kahan $\sin(\theta)$ theorem 7Z1S8P81QJ
| URI | m2://inv/7Z1S8P81QJ |
|---|---|
| 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.30957#XAHJ, Davis--Kahan $\sin(\theta)$ theorem (statement). In P5YB6R0RK3/e1, lemma D.12
History
- 2026-10-31: add by m2/v0.5.6
Static key 7Z20C1CB4B
| URI | m2://inv/7Z20C1CB4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Static key, Static key (definition). Also Wikidata Q7604170
History
- 2026-11-02: add by m2/dev
Two output images 7Z21QJ5YXA
| URI | m2://inv/7Z21QJ5YXA |
|---|---|
| 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.09472#L03A, Two output images (statement). In 35925M9GJW/e1, corollary 7
History
- 2026-10-29: add by m2/v0.4.10
7Z238KAJ03 7Z238KAJ03
| URI | m2://inv/7Z238KAJ03 |
|---|---|
| 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 2512.07340#QW6D (statement). In WXE3PVAZBT/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
Stimulus-dependent affine flows give Gaussian Fisher information 7Z2EXX4BB0
| URI | m2://inv/7Z2EXX4BB0 |
|---|---|
| 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.31544#EGVR, Stimulus-dependent affine flows give Gaussian Fisher information (statement). In TX449S1VZV/e1, proposition A.7
History
- 2026-10-31: add by m2/v0.5.6
7Z2KPJNBSM 7Z2KPJNBSM
| URI | m2://inv/7Z2KPJNBSM |
|---|---|
| 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.08837#HTHB (statement). In KBH265QSBT/e1, theorem 8.13
History
- 2026-10-29: add by m2/v0.4.10
Martin Aigner 7Z2S9WJR7X
| URI | m2://inv/7Z2S9WJR7X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VNU5, Martin Aigner (topic)
History
- 2026-11-02: add by m2/dev
7Z2WHN21B0 7Z2WHN21B0
| URI | m2://inv/7Z2WHN21B0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/proofs-in-K.tex#prop-3 (statement). In PKGMM3P5QY, prop, section 50.8
History
- 2026-11-01: add by m2/v0.6.13
Yuan-Shih Chow 7Z2ZC9WMJX
| URI | m2://inv/7Z2ZC9WMJX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yuan-Shih Chow, Yuan-Shih Chow (topic). Also Wikidata Q8060007
History
- 2026-11-02: add by m2/dev
7Z2ZGDBYCP 7Z2ZGDBYCP
| URI | m2://inv/7Z2ZGDBYCP |
|---|---|
| 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.25880#NMS3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uniform local quadratic expansion 7Z309S4Q11
| URI | m2://inv/7Z309S4Q11 |
|---|---|
| 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.10080#ZLP0, Uniform local quadratic expansion (statement). In N6EBNRZCYX/e1, lemma A.14
History
- 2026-10-29: add by m2/v0.4.10
LEM 7Z30TRVT0F
| URI | m2://inv/7Z30TRVT0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#WS3G, LEM (definition)
History
- 2026-11-02: add by m2/dev
Inquisitive semantics 7Z3484FD9R
| URI | m2://inv/7Z3484FD9R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inquisitive semantics, Inquisitive semantics (definition). Also Wikidata Q60741432
History
- 2026-11-02: add by m2/dev
Memory-dimension lower bound 7Z35HZC7RP
| URI | m2://inv/7Z35HZC7RP |
|---|---|
| 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.40281#T3JW, Memory-dimension lower bound (statement). In C8V8XGDKDF/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
large 7Z381TA20K
| URI | m2://inv/7Z381TA20K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#3PQ0, large (definition)
History
- 2026-11-02: add by m2/dev
Zigzag cycle 7Z3ATABJYZ
| URI | m2://inv/7Z3ATABJYZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.21337#CWGX, Zigzag cycle (definition). In EPZN0JTG2Z/e1, definition 21
History
- 2026-10-27: add by m2/v0.3.5
Emilio Artom 7Z3AX14C91
| URI | m2://inv/7Z3AX14C91 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#37IK, Emilio Artom (topic)
History
- 2026-11-02: add by m2/dev
7Z3FFHQZX6 7Z3FFHQZX6
| URI | m2://inv/7Z3FFHQZX6 |
|---|---|
| Kind | definition |
| 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 1607.01095#FN9W (definition). In W3T1ZAT3GC/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
elongated square pyramid 7Z3FTPNKCX
| URI | m2://inv/7Z3FTPNKCX |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q143124, elongated square pyramid (object). Also MathWorld ElongatedSquarePyramid
- wikipedia: Wikipedia Elongated square pyramid, Elongated square pyramid (object). Also Wikidata Q143124
History
- 2026-10-26: add by m2/dev
7Z3K38G6BF 7Z3K38G6BF
| URI | m2://inv/7Z3K38G6BF |
|---|---|
| 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 2607.00323#7KQV (statement). In BPRFEQY7W4/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.3.6
carrier 7Z3VM0CZHF
| URI | m2://inv/7Z3VM0CZHF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.14/carrier, carrier (concept). In N54F33XE07, index, section 1.14
History
- 2026-11-01: add by m2/v0.6.13
7Z45QHYQ3C 7Z45QHYQ3C
| URI | m2://inv/7Z45QHYQ3C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 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.04870#U4J9 (definition). In X765ZXXVC3/e1, definition 5.6
History
- 2026-10-29: add by m2/v0.4.12
7Z4FWN94PB 7Z4FWN94PB
| URI | m2://inv/7Z4FWN94PB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#G5N1 (statement). In QHFP0837Q8/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.12
7Z4GDFN3VD 7Z4GDFN3VD
| URI | m2://inv/7Z4GDFN3VD |
|---|---|
| Kind | problem |
| 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 2504.14383#MN88 (problem). In QD0X3XJS6T/e1, problem 1.14
History
- 2026-10-27: add by m2/v0.3.5
Legendre's theorem on continued fractions 7Z4KQ3JJYJ
| URI | m2://inv/7Z4KQ3JJYJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet's approximation theorem#SZ5R, Legendre's theorem on continued fractions (statement)
History
- 2026-11-02: add by m2/dev
7Z4V2EXMM6 7Z4V2EXMM6
| URI | m2://inv/7Z4V2EXMM6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#HYDW (definition). In 5KR3MHYVV6/e1, definition 3.0
History
- 2026-10-28: add by m2/v0.4.2
Betti number 7Z4Y2AYYWB
| URI | m2://inv/7Z4Y2AYYWB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#EB1L, Betti number (definition)
History
- 2026-11-02: add by m2/dev
7Z4ZVF3G1E 7Z4ZVF3G1E
| URI | m2://inv/7Z4ZVF3G1E |
|---|---|
| Kind | example |
| 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.36827#3O2T (example). In VSHAQTB2CA/e1, example 3.3
History
- 2026-10-30: add by m2/v0.4.12
Natural merge sort 7Z5245QC0Z
| URI | m2://inv/7Z5245QC0Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Merge sort#PX94, Natural merge sort (unknown)
History
- 2026-11-02: add by m2/dev
Examples 7Z563559H2
| URI | m2://inv/7Z563559H2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohen's kappa#LQ1S, Examples (example)
History
- 2026-11-02: add by m2/dev
7Z5CMS48WJ 7Z5CMS48WJ
| URI | m2://inv/7Z5CMS48WJ |
|---|---|
| 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#HYYQ (statement). In B366ACYB37/e1, corollary 3.26
History
- 2026-10-27: add by m2/v0.3.5
7Z5DBMJSP7 7Z5DBMJSP7
| URI | m2://inv/7Z5DBMJSP7 |
|---|---|
| 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.23287#4XOZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
7Z5DKABB7W 7Z5DKABB7W
| URI | m2://inv/7Z5DKABB7W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29450#CUBI (statement)
History
- 2026-11-01: add by m2/v0.6.15
7Z5PNCNE9H 7Z5PNCNE9H
| URI | m2://inv/7Z5PNCNE9H |
|---|---|
| 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.38069#SURH (statement). In K0E0H4RV6Y/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
7Z5T3WNG4A 7Z5T3WNG4A
| URI | m2://inv/7Z5T3WNG4A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12612#MWF2 (statement). In 8A0VZV8PBN/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.2
Asymptotic Weyl dimension 7Z60NPX09S
| URI | m2://inv/7Z60NPX09S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-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.06742#WCEQ, Asymptotic Weyl dimension (statement). In 24FJ7C8WPN/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
Personal identity 7Z62Y6BCW7
| URI | m2://inv/7Z62Y6BCW7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic philosophy#BXO9, Personal identity (statement)
History
- 2026-11-02: add by m2/dev
Postnikov square 7Z63KMZAE4
| URI | m2://inv/7Z63KMZAE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Postnikov square, Postnikov square (definition). Also Wikidata Q7234407
History
- 2026-11-02: add by m2/dev
Hilbert–Schmidt theorem 7Z651KB6TW
| URI | m2://inv/7Z651KB6TW |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 35-XX, 46-XX, 47-XX, 49-XX, 58-XX, 65-XX, 90-XX, 93-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13629#G867, The Hilbert-Schmidt theorem (statement). In PQNYA0C510/e1, theorem
- mathlib_1000: mathlib_1000 Q2022775, Hilbert–Schmidt theorem (statement). Also Wikidata Q2022775
- thousand_plus: thousand_plus Q2022775, Hilbert–Schmidt theorem (statement). Also Wikidata Q2022775, Wikipedia Hilbert–Schmidt theorem
- wikipedia: Wikipedia Hilbert–Schmidt theorem, Hilbert–Schmidt theorem (statement). Also Wikidata Q2022775
History
- 2026-10-26: add by m2/dev
- 2026-10-31: merge by m2/v0.5.6
7Z66CZ690N 7Z66CZ690N
| URI | m2://inv/7Z66CZ690N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_intro.ptx#example-1 (example). In QKM9DD2H56, example, section B.1
History
- 2026-11-01: add by m2/v0.6.13
Injective incident owners 7Z6E487A0H
| URI | m2://inv/7Z6E487A0H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31811#IOI6, Injective incident owners (statement). In A8ZBZW9RNA/e1, lemma 5.3
History
- 2026-10-31: add by m2/v0.5.6
Seifert matrix 7Z6F5P07JC
| URI | m2://inv/7Z6F5P07JC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121120498, Seifert matrix (concept). Also EoM Seifert_matrix, MathWorld SeifertMatrix, ProofWiki Definition:Seifert_Matrix
History
- 2026-10-26: add by m2/dev
Variations 7Z728GWR90
| URI | m2://inv/7Z728GWR90 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Langlands classification#9YYG, Variations (statement)
History
- 2026-11-02: add by m2/dev
Data assimilation 7Z7P84J1BZ
| URI | m2://inv/7Z7P84J1BZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MYR6, Data assimilation (definition)
History
- 2026-11-02: add by m2/dev
7Z7YTGKNVF 7Z7YTGKNVF
| URI | m2://inv/7Z7YTGKNVF |
|---|---|
| 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.03719#H6PZ (statement). In 8MDK189ZMB/e1, proposition 2.7
History
- 2026-10-29: add by m2/v0.4.12
Flattening lemma 7Z82NRXG75
| URI | m2://inv/7Z82NRXG75 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#thm:flattening, Flattening lemma (statement). In N54F33XE07, lem, section 5.12
History
- 2026-11-01: add by m2/v0.6.13
Black hole information paradox 7Z832NCNT5
| URI | m2://inv/7Z832NCNT5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia AdS/CFT correspondence#9VCO, Black hole information paradox (statement)
History
- 2026-11-02: add by m2/dev
The unrestricted comparison 7Z877JTZ9P
| URI | m2://inv/7Z877JTZ9P |
|---|---|
| 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.30663#CL5J, The unrestricted comparison (statement). In 3JZDKWS8NK/e1, theorem B
History
- 2026-10-31: add by m2/v0.5.6
Strategy space 7Z8E8WPNAK
| URI | m2://inv/7Z8E8WPNAK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of game theory#SOR5, Strategy space (definition)
History
- 2026-11-02: add by m2/dev
7Z8NP2NVFV 7Z8NP2NVFV
| URI | m2://inv/7Z8NP2NVFV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03835#EEWW (statement). In KAYGQMQPGS/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
7Z8TEGN272 7Z8TEGN272
| URI | m2://inv/7Z8TEGN272 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25255#BDYC (statement)
History
- 2026-11-01: add by m2/v0.6.15
7Z936MVGJJ 7Z936MVGJJ
| URI | m2://inv/7Z936MVGJJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#6XW6 (statement). In X3RFXWN6FW/e1, proposition 4.7
History
- 2026-10-27: add by m2/v0.3.6
Main conjecture of Iwasawa theory 7Z9AEHVC31
| URI | m2://inv/7Z9AEHVC31 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Main conjecture of Iwasawa theory#8JLR, Main conjecture of Iwasawa theory (statement)
History
- 2026-11-02: add by m2/dev
7Z9B0W4A08 7Z9B0W4A08
| URI | m2://inv/7Z9B0W4A08 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0808.1331#IFBE (statement). In RB2B1N73P0/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
7Z9B3F60GM 7Z9B3F60GM
| URI | m2://inv/7Z9B3F60GM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07164#O9A9 (statement). In Q1XJ5VWE1N/e1, theorem 4.6
History
- 2026-10-29: add by m2/v0.4.10
Congruence 7Z9JAJ05H1
| URI | m2://inv/7Z9JAJ05H1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence (manifolds), Congruence (definition). Also Wikidata Q5160993
History
- 2026-11-02: add by m2/dev
Dirichlet kernel 7Z9RCYHFD7
| URI | m2://inv/7Z9RCYHFD7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet kernel, Dirichlet kernel (definition). Also Wikidata Q906024
History
- 2026-11-02: add by m2/dev
Global CLT 7ZA2P3GR3E
| URI | m2://inv/7ZA2P3GR3E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25301#MX57, Global CLT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Chapman–Robbins bound 7ZA310RWAS
| URI | m2://inv/7ZA310RWAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chapman–Robbins bound, Chapman–Robbins bound (definition). Also Wikidata Q5073346
History
- 2026-11-02: add by m2/dev
7ZA6RQ4T2B 7ZA6RQ4T2B
| URI | m2://inv/7ZA6RQ4T2B |
|---|---|
| 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 2609.24580#Q8QA (definition)
History
- 2026-11-01: add by m2/v0.6.15
Road curve 7ZA8MB0AYW
| URI | m2://inv/7ZA8MB0AYW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#VDLM, Road curve (unknown)
History
- 2026-11-02: add by m2/dev
7ZADYNPYDV 7ZADYNPYDV
| URI | m2://inv/7ZADYNPYDV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/manifolds.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 44.7.3
History
- 2026-11-01: add by m2/v0.6.13
What the Tortoise Said to Achilles 7ZAETA5S2B
| URI | m2://inv/7ZAETA5S2B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia What the Tortoise Said to Achilles, What the Tortoise Said to Achilles (definition). Also Wikidata Q2915663
History
- 2026-11-02: add by m2/dev
Definition 7ZAKXFZ8ZW
| URI | m2://inv/7ZAKXFZ8ZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CLs method (particle physics)#G7XK, Definition (definition)
History
- 2026-11-02: add by m2/dev
Axioms 7ZAP4ZX7C8
| URI | m2://inv/7ZAP4ZX7C8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-ary group#392L, Axioms (statement)
History
- 2026-11-02: add by m2/dev
Examples 7ZATBWQ2AE
| URI | m2://inv/7ZATBWQ2AE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completely multiplicative function#OKPI, Examples (example)
History
- 2026-11-02: add by m2/dev
7ZB263YCPP 7ZB263YCPP
| URI | m2://inv/7ZB263YCPP |
|---|---|
| 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.11199#68VD (statement). In RQ51P6W9C0/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.3
Mathematical Citation Quotient 7ZB71E8G7R
| URI | m2://inv/7ZB71E8G7R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical Reviews#9CY5, Mathematical Citation Quotient (unknown)
History
- 2026-11-02: add by m2/dev
Alternating conditional expectations 7ZB79KVA48
| URI | m2://inv/7ZB79KVA48 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternating conditional expectations, Alternating conditional expectations (definition). Also Wikidata Q56274052
History
- 2026-11-02: add by m2/dev
7ZB7A2V43Z 7ZB7A2V43Z
| URI | m2://inv/7ZB7A2V43Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#MZP1 (statement). In JWNYJVH8XG/e1, corollary 6.11
History
- 2026-10-29: add by m2/v0.4.10
Avogadro constant 7ZB7VAKS3F
| URI | m2://inv/7ZB7VAKS3F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#D9DF, Avogadro constant (unknown)
History
- 2026-11-02: add by m2/dev
7ZBHBES9ZD 7ZBHBES9ZD
| URI | m2://inv/7ZBHBES9ZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25742#QJQM (statement)
History
- 2026-11-01: add by m2/v0.6.15
7ZBMCK4RB8 7ZBMCK4RB8
| URI | m2://inv/7ZBMCK4RB8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#TDB8 (statement). In 7CK21JGM5A/e1, proposition 5.17
History
- 2026-10-27: add by m2/v0.4.2
7ZC6C5H7M5 7ZC6C5H7M5
| URI | m2://inv/7ZC6C5H7M5 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-24 (proof). In N54F33XE07, proof, section 7.5.3
History
- 2026-11-01: add by m2/v0.6.13
7ZCAAJ89Q3 7ZCAAJ89Q3
| URI | m2://inv/7ZCAAJ89Q3 |
|---|---|
| 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.08912#VVWI (statement). In DK5QY64NGH/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
7ZCENZ1H9Y 7ZCENZ1H9Y
| URI | m2://inv/7ZCENZ1H9Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15926#KNAQ (statement). In G0J92BSX4A/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.2
7ZCZ6JFW7P 7ZCZ6JFW7P
| URI | m2://inv/7ZCZ6JFW7P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#example:nlin-1b-example (example). In E9HS8K3A52, example, section 8.1.1
History
- 2026-11-01: add by m2/v0.6.13
7ZD2WEVNZ5 7ZD2WEVNZ5
| URI | m2://inv/7ZD2WEVNZ5 |
|---|---|
| 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.31489#U8OV (statement). In ZKBG58PN1J/e1, theorem 4.6
History
- 2026-10-31: add by m2/v0.5.6
7ZD9G19KSP 7ZD9G19KSP
| URI | m2://inv/7ZD9G19KSP |
|---|---|
| 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.20760#J5MG (statement). In 6G9JSJ5JMP/e1, corollary 13
History
- 2026-10-27: add by m2/v0.4.2
Content Information 7ZDAJF2W3N
| URI | m2://inv/7ZDAJF2W3N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.19614#F0BG, Content Information (definition). In F5NDAFW801/e1, definition 5
History
- 2026-10-27: add by m2/v0.3.5
Riemannian cubic polynomials 7ZDFR92CGZ
| URI | m2://inv/7ZDFR92CGZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#YO5J, Riemannian cubic polynomials (unknown)
History
- 2026-11-02: add by m2/dev
The sum rule for every word 7ZDQMQ6M5R
| URI | m2://inv/7ZDQMQ6M5R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#BUFT, The sum rule for every word (statement). In 11JNM66Z09/e1, proposition 11.2
History
- 2026-10-28: add by m2/v0.4.2
Chi-bounded 7ZDTNDEFD2
| URI | m2://inv/7ZDTNDEFD2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chi-bounded, Chi-bounded (definition). Also Wikidata Q48999677
History
- 2026-11-02: add by m2/dev
7ZDWS7TK2Q 7ZDWS7TK2Q
| URI | m2://inv/7ZDWS7TK2Q |
|---|---|
| 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.19845#95AM (statement). In A8Y7B1MD91/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
Strong equivariant log-concavity 7ZDXVZVEBB
| URI | m2://inv/7ZDXVZVEBB |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34260#R7TG, Strong equivariant log-concavity (conjecture). In BBE69ZPVTF/e1, conjecture 6.3
History
- 2026-10-30: add by m2/v0.4.12
Welch method 7ZDZNP96RG
| URI | m2://inv/7ZDZNP96RG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of harmonic analysis topics#Q3YI, Welch method (definition)
History
- 2026-11-02: add by m2/dev
Edward George Effros 7ZE1CWTM2N
| URI | m2://inv/7ZE1CWTM2N |
|---|---|
| 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#CFZW, Edward George Effros (topic)
History
- 2026-11-02: add by m2/dev
Basic properties 7ZE1QMTHEH
| URI | m2://inv/7ZE1QMTHEH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wirtinger derivatives#H8EY, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Maximum a posteriori estimation 7ZE4BNJMVR
| URI | m2://inv/7ZE4BNJMVR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LBY2, Maximum a posteriori estimation (definition)
History
- 2026-11-02: add by m2/dev
7ZE6P100VC 7ZE6P100VC
| URI | m2://inv/7ZE6P100VC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-coloring.ptx#exercise-9 (exercise). In Y91XFCEVHQ, exercise, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
Point stabilizers 7ZE76F5KHN
| URI | m2://inv/7ZE76F5KHN |
|---|---|
| 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.04271#TY8R, Point stabilizers (statement). In WBXAW9G4JB/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.12
Whitehead link 7ZED251ZAC
| URI | m2://inv/7ZED251ZAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#ICY1, Whitehead link (definition)
History
- 2026-11-02: add by m2/dev
Martin Maechler 7ZEEF82S6T
| URI | m2://inv/7ZEEF82S6T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Martin Maechler, Martin Maechler (topic). Also Wikidata Q58183492
History
- 2026-11-02: add by m2/dev
Timeline of WhatsApp 7ZEH29Q97K
| URI | m2://inv/7ZEH29Q97K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia WhatsApp#46K5, Timeline of WhatsApp (unknown)
History
- 2026-11-02: add by m2/dev
invertible matrix 7ZEY2R8SCW
| URI | m2://inv/7ZEY2R8SCW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/2.2.5/invertible-matrix, invertible matrix (concept). In E9HS8K3A52, index, section 2.2.5
History
- 2026-11-01: add by m2/v0.6.13
7ZF21D7XQA 7ZF21D7XQA
| URI | m2://inv/7ZF21D7XQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 30-XX, 32-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30014#VU6P (statement)
History
- 2026-11-01: add by m2/v0.6.15
7ZF6N1MRQK 7ZF6N1MRQK
| URI | m2://inv/7ZF6N1MRQK |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#DF75 (statement). In CY1FE8W1ZW/e1, lemma 0.174
History
- 2026-10-27: add by m2/v0.3.5
7ZFAGADAW3 7ZFAGADAW3
| URI | m2://inv/7ZFAGADAW3 |
|---|---|
| Kind | definition |
| 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#G7AR (definition). In W1VVK7WDPK/e1, definition 2.13
History
- 2026-10-27: add by m2/v0.4.0
Branched transport cost 7ZFNA3PTW9
| URI | m2://inv/7ZFNA3PTW9 |
|---|---|
| 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 2609.24451#GCQB, Branched transport cost (definition)
History
- 2026-11-01: add by m2/v0.6.15
7ZFW72781H 7ZFW72781H
| URI | m2://inv/7ZFW72781H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#65T0 (statement). In 67GE5M1GGD/e1, statement 5.16
History
- 2026-10-30: add by m2/v0.4.12
Physical cosmology 7ZG1DM41W1
| URI | m2://inv/7ZG1DM41W1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Physical cosmology, Physical cosmology (topic). Also Wikidata Q18346
History
- 2026-11-02: add by m2/dev
Representation 7ZG2A3TET1
| URI | m2://inv/7ZG2A3TET1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum logic gate#6GNQ, Representation (definition)
History
- 2026-11-02: add by m2/dev
Properties 7ZG8HA9Z9T
| URI | m2://inv/7ZG8HA9Z9T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed set#S0UO, Properties (statement)
History
- 2026-11-02: add by m2/dev
7ZGB683KYX 7ZGB683KYX
| URI | m2://inv/7ZGB683KYX |
|---|---|
| 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.28509#V660 (statement)
History
- 2026-11-01: add by m2/v0.6.15
two-sample, informal 7ZGBHPG9CC
| URI | m2://inv/7ZGBHPG9CC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30565#IORF, two-sample, informal (statement). In TP0R6GK9AX/e1, corollary 3
History
- 2026-10-31: add by m2/v0.5.6
Examples 7ZGD9B2HQ4
| URI | m2://inv/7ZGD9B2HQ4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degree of a field extension#CLJE, Examples (example)
History
- 2026-11-02: add by m2/dev
Bernhard Riemann 7ZGJ8CYT8X
| URI | m2://inv/7ZGJ8CYT8X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#WRTP, Bernhard Riemann (topic)
- wikipedia: Wikipedia List of mathematicians born in the 19th century#KVAR, Bernhard Riemann (topic)
History
- 2026-11-02: add by m2/dev
7ZGTTVRC19 7ZGTTVRC19
| URI | m2://inv/7ZGTTVRC19 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00909#ZI3C (statement). In Z4TD36VFPW/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
Definition 7ZGWA2DWDG
| URI | m2://inv/7ZGWA2DWDG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Back-and-forth method#SA26, Definition (definition)
History
- 2026-11-02: add by m2/dev
Coprime set 7ZHC9YHVJH
| URI | m2://inv/7ZHC9YHVJH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coprime integers#O4BB, Coprime set (unknown)
History
- 2026-11-02: add by m2/dev
7ZHD7CSJE8 7ZHD7CSJE8
| URI | m2://inv/7ZHD7CSJE8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.03601#296Q (definition). In F7TDYCHCSE/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.3.5
7ZHDHYGVBG 7ZHDHYGVBG
| URI | m2://inv/7ZHDHYGVBG |
|---|---|
| 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.10406#46SX (statement). In VQA35Q7C00/e1, theorem 2.12
History
- 2026-10-29: add by m2/v0.4.10
Results 7ZHF4ST8F5
| URI | m2://inv/7ZHF4ST8F5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract elementary class#04C9, Results (statement)
History
- 2026-11-02: add by m2/dev
7ZHND3FTKZ 7ZHND3FTKZ
| URI | m2://inv/7ZHND3FTKZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03222#MS1C (statement). In BB0JGNK4YF/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Applications 7ZHVZH2RDF
| URI | m2://inv/7ZHVZH2RDF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Safe and Sophie Germain primes#FL27, Applications (example)
History
- 2026-11-02: add by m2/dev
Properties 7ZHWBKK8A8
| URI | m2://inv/7ZHWBKK8A8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F-distribution#6DZF, Properties (statement)
History
- 2026-11-02: add by m2/dev
7ZJ6DZE9WH 7ZJ6DZE9WH
| URI | m2://inv/7ZJ6DZE9WH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-1 (exercise). In E9HS8K3A52, exercise, section 2.1.3
History
- 2026-11-01: add by m2/v0.6.13
interrogative 7ZJ85KX0WN
| URI | m2://inv/7ZJ85KX0WN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#D6NT, interrogative (definition)
History
- 2026-11-02: add by m2/dev
translation functor 7ZJ8SBGVZD
| URI | m2://inv/7ZJ8SBGVZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7834527, translation functor (unknown). Also nLab translation functor
- wikipedia: Wikipedia Translation functor, Translation functor (definition). Also Wikidata Q7834527
History
- 2026-10-26: add by m2/dev
leaf 7ZJ9ZSAKVF
| URI | m2://inv/7ZJ9ZSAKVF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.1/leaf, leaf (concept). In QKM9DD2H56, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
7ZJBJGQ1Y1 7ZJBJGQ1Y1
| URI | m2://inv/7ZJBJGQ1Y1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#61T2 (statement). In JWNYJVH8XG/e1, corollary 4.5
History
- 2026-10-29: add by m2/v0.4.10
Nicomachus 7ZJDGV0BKK
| URI | m2://inv/7ZJDGV0BKK |
|---|---|
| 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 Q360366, Nicomachus (unknown). Also ProofWiki Mathematician:Nicomachus_of_Gerasa
History
- 2026-10-26: add by m2/dev
7ZJJ182C5R 7ZJJ182C5R
| URI | m2://inv/7ZJJ182C5R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-XX, 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.01586#DZBM (definition). In P39MF3ZJC0/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.3.5
Robert S. Boyer 7ZJP86ZXJ1
| URI | m2://inv/7ZJP86ZXJ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NJZ8, Robert S. Boyer (topic)
History
- 2026-11-02: add by m2/dev
Basic properties 7ZJWDJ1ECY
| URI | m2://inv/7ZJWDJ1ECY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category of Markov kernels#P1JP, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
uniform continuity 7ZJYA8EKE9
| URI | m2://inv/7ZJYA8EKE9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Uniform continuity 0M4JJT780X |
Mentions
- wikidata: Wikidata Q741865, uniform continuity (concept). Also EoM Uniform_continuity, MathWorld UniformlyContinuous
- wikipedia: Wikipedia Uniform continuity, Uniform continuity (definition). Also Wikidata Q741865
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
absorbing element 7ZKA397D4G
| URI | m2://inv/7ZKA397D4G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Absorbing element PJ61DXYG2C |
Mentions
- wikidata: Wikidata Q187420, absorbing element (unknown). Also EoM Absorbing_element
- wikipedia: Wikipedia Absorbing element, Absorbing element (definition). Also Wikidata Q187420
History
- 2026-10-26: add by m2/dev
Antiparallelogram 7ZKBMBWV3K
| URI | m2://inv/7ZKBMBWV3K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antiparallelogram, Antiparallelogram (definition). Also Wikidata Q581094
History
- 2026-11-02: add by m2/dev
Definitions 7ZKK40A7ZQ
| URI | m2://inv/7ZKK40A7ZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kernel smoother#IRPM, Definitions (definition)
History
- 2026-11-02: add by m2/dev
7ZKNTMQMFD 7ZKNTMQMFD
| URI | m2://inv/7ZKNTMQMFD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07695#FAKC (definition). In 8Z47D12KSX/e1, definition 8.1
History
- 2026-10-29: add by m2/v0.4.10
minimum vertex cover 7ZKR6X44V8
| URI | m2://inv/7ZKR6X44V8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93604649, minimum vertex cover (unknown). Also MathWorld MinimumVertexCover
History
- 2026-10-26: add by m2/dev
7ZKRV6944S 7ZKRV6944S
| URI | m2://inv/7ZKRV6944S |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#L5IC (unknown). In QNBFHFZ3H0/e1, unknown 131
History
- 2026-10-28: add by m2/v0.4.2
7ZKS9QFK1Q 7ZKS9QFK1Q
| URI | m2://inv/7ZKS9QFK1Q |
|---|---|
| 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.13618#O4KM (statement). In XDQAEGH345/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
7ZKY776A5S 7ZKY776A5S
| URI | m2://inv/7ZKY776A5S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17817#ORLQ (statement). In M8TSJ24RC2/e1, proposition 3.11
History
- 2026-10-28: add by m2/v0.4.2
7ZM7CQAKEH 7ZM7CQAKEH
| URI | m2://inv/7ZM7CQAKEH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36412#VK67 (statement). In 6HKGGCMBCK/e1, lemma 10.1
History
- 2026-10-30: add by m2/v0.4.12
7ZM7GT0PR1 7ZM7GT0PR1
| URI | m2://inv/7ZM7GT0PR1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25129#IMP6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sima Marković 7ZMEM723VE
| URI | m2://inv/7ZMEM723VE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sima Marković, Sima Marković (topic). Also Wikidata Q1267207
History
- 2026-11-02: add by m2/dev
Subspace complements 7ZMH9Q769A
| URI | m2://inv/7ZMH9Q769A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09341#JC7E, Subspace complements (definition). In DSXBMRYE0V/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
Schur's theorem 7ZMKGTG9P5
| URI | m2://inv/7ZMKGTG9P5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#QLI7, Schur's theorem (statement)
History
- 2026-11-02: add by m2/dev
Robust Model Predictive Control 7ZMQW4XFSS
| URI | m2://inv/7ZMQW4XFSS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Model predictive control#KX3D, Robust Model Predictive Control (unknown)
History
- 2026-11-02: add by m2/dev
Example 7ZN2G21QEE
| URI | m2://inv/7ZN2G21QEE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncontracting grammar#099Y, Example (example)
History
- 2026-11-02: add by m2/dev
Infrabarrelled space 7ZN51PNX3X
| URI | m2://inv/7ZN51PNX3X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infrabarrelled space, Infrabarrelled space (definition). Also Wikidata Q96382146
History
- 2026-11-02: add by m2/dev
Triangular coefficient construction and mean compatibility 7ZPG82EX6Z
| URI | m2://inv/7ZPG82EX6Z |
|---|---|
| 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.06544#9YCH, Triangular coefficient construction and mean compatibility (statement). In VCRB27RMN6/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.10
7ZPGM0X89R 7ZPGM0X89R
| URI | m2://inv/7ZPGM0X89R |
|---|---|
| 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.02199#7KWO (statement). In A8Q52DFW6S/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.12
7ZPGPZYMPC 7ZPGPZYMPC
| URI | m2://inv/7ZPGPZYMPC |
|---|---|
| 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 2608.19483#MES2 (statement). In M2PEDAF7AX/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
7ZPM823J8R 7ZPM823J8R
| URI | m2://inv/7ZPM823J8R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/FundamentalTheoremArithmetic.tex#problem-5 (exercise). In P1C114YBXG, problem, section C
History
- 2026-11-01: add by m2/v0.6.13
WikiLeaks 7ZPMS66VZK
| URI | m2://inv/7ZPMS66VZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia WikiLeaks, WikiLeaks (definition). Also Wikidata Q359
History
- 2026-11-02: add by m2/dev
7ZPQWRKWA7 7ZPQWRKWA7
| URI | m2://inv/7ZPQWRKWA7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 55-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31919#N3OU (example). In RHN12PW9P9/e1, example 3.1
History
- 2026-10-31: add by m2/v0.5.6
7ZQ2186ZWM 7ZQ2186ZWM
| URI | m2://inv/7ZQ2186ZWM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26515#1IOT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lifting and smoothing criterion 7ZQ5SZRZY0
| URI | m2://inv/7ZQ5SZRZY0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06225#WPEI, Lifting and smoothing criterion (statement). In RQVG8V4FJA/e1, theorem B
History
- 2026-10-29: add by m2/v0.4.10
Disjunctive sequence 7ZQ90NZW27
| URI | m2://inv/7ZQ90NZW27 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disjunctive sequence, Disjunctive sequence (definition). Also Wikidata Q5282272
History
- 2026-11-02: add by m2/dev
7ZQ9DMQ5ZT 7ZQ9DMQ5ZT
| URI | m2://inv/7ZQ9DMQ5ZT |
|---|---|
| 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.30663#NOG2 (statement). In 3JZDKWS8NK/e1, lemma 7.2
History
- 2026-10-31: add by m2/v0.5.6
Certificate 7ZQE5JWBZQ
| URI | m2://inv/7ZQE5JWBZQ |
|---|---|
| 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.40203#MFE0, Certificate (statement). In ECH66J4Y43/e1, lemma 10
History
- 2026-10-30: add by m2/v0.4.12
Pulley Problem 7ZQH03BEM3
| URI | m2://inv/7ZQH03BEM3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Belt problem#2NCS, Pulley Problem (unknown)
History
- 2026-11-02: add by m2/dev
7ZQJMX1JYV 7ZQJMX1JYV
| URI | m2://inv/7ZQJMX1JYV |
|---|---|
| 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.02489#RIO9 (statement). In ZCJDWDR16Z/e1, theorem 7.1
History
- 2026-10-29: add by m2/v0.4.12
bullet-nose curve 7ZQK3EJVMM
| URI | m2://inv/7ZQK3EJVMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3822077, bullet-nose curve (unknown). Also MathWorld BulletNose
- wikipedia: Wikipedia Bullet-nose curve, Bullet-nose curve (definition). Also Wikidata Q3822077
History
- 2026-10-26: add by m2/dev
7ZQK5SX9K3 7ZQK5SX9K3
| URI | m2://inv/7ZQK5SX9K3 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/pontryagin.tex#proof-1 (proof). In RZP28ERRZV, proof, section 68.2
History
- 2026-11-01: add by m2/v0.6.13
Maxwell-type necessary count 7ZQKJJFAVV
| URI | m2://inv/7ZQKJJFAVV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17004#A4RZ, Maxwell-type necessary count (statement). In XNJGNMS6H0/e1, corollary 3.10
History
- 2026-10-28: add by m2/v0.4.2
Pointwise bounds 7ZQPSM8QE4
| URI | m2://inv/7ZQPSM8QE4 |
|---|---|
| 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 1905.02785#K4RZ, Pointwise bounds (statement). In PF9KV74Q02/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
Polynomial conjoint measurement 7ZQRVTBN0G
| URI | m2://inv/7ZQRVTBN0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial conjoint measurement, Polynomial conjoint measurement (definition). Also Wikidata Q7226638
History
- 2026-11-02: add by m2/dev
7ZQSB8SJRQ 7ZQSB8SJRQ
| URI | m2://inv/7ZQSB8SJRQ |
|---|---|
| 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.16060#WJ23 (statement). In X0BTF9HPGM/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
Spectral theorem 7ZQX5CQ2Y3
| URI | m2://inv/7ZQX5CQ2Y3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional analysis#Q5TI, Spectral theorem (statement)
History
- 2026-11-02: add by m2/dev
7ZR1V2352S 7ZR1V2352S
| URI | m2://inv/7ZR1V2352S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31523#U9BA (statement). In 2BET1RE1F6/e1, theorem 3.22
History
- 2026-10-31: add by m2/v0.5.6
7ZR213EZGZ 7ZR213EZGZ
| URI | m2://inv/7ZR213EZGZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35421#UTHS (statement). In KE8B8KMDJJ/e1, proposition 7
History
- 2026-10-30: add by m2/v0.4.12
Werner Romberg 7ZR67NGTRD
| URI | m2://inv/7ZR67NGTRD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Werner Romberg, Werner Romberg (topic). Also Wikidata Q1291561
History
- 2026-11-02: add by m2/dev
7ZRFVE9T2Y 7ZRFVE9T2Y
| URI | m2://inv/7ZRFVE9T2Y |
|---|---|
| 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.38749#NHM3 (statement). In 3ZPVZE3GZH/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
7ZRJQBM5YB 7ZRJQBM5YB
| URI | m2://inv/7ZRJQBM5YB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24185#4SKN (definition)
History
- 2026-11-01: add by m2/v0.6.15
Applications 7ZRM2VQHJA
| URI | m2://inv/7ZRM2VQHJA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fredholm operator#UCAG, Applications (example)
History
- 2026-11-02: add by m2/dev
7ZRT9MD3E9 7ZRT9MD3E9
| URI | m2://inv/7ZRT9MD3E9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25151#9ECZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
7ZRZME96N9 7ZRZME96N9
| URI | m2://inv/7ZRZME96N9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13385#XYUZ (statement). In J99CBQ3QYD/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
isospin 7ZSHHWCKNT
| URI | m2://inv/7ZSHHWCKNT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q836938, isospin (unknown). Also nLab isospin
History
- 2026-10-26: add by m2/dev
Ramanujan IT City 7ZSWPNZQ7Y
| URI | m2://inv/7ZSWPNZQ7Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#EY6C, Ramanujan IT City (unknown)
History
- 2026-11-02: add by m2/dev
7ZSYF6V2J0 7ZSYF6V2J0
| URI | m2://inv/7ZSYF6V2J0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30165#LB7Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
annihilator 7ZSYYY6W1X
| URI | m2://inv/7ZSYYY6W1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Annihilator HB4XDKJTW8 |
Mentions
- wikidata: Wikidata Q567083, annihilator (unknown). Also MathWorld Annihilator
- wikipedia: Wikipedia Annihilator (ring theory), Annihilator (definition). Also Wikidata Q567083
History
- 2026-10-26: add by m2/dev
7ZT220ZJ7S 7ZT220ZJ7S
| URI | m2://inv/7ZT220ZJ7S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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.26572#0NJK (statement)
History
- 2026-11-01: add by m2/v0.6.15
7ZTFANP9TV 7ZTFANP9TV
| URI | m2://inv/7ZTFANP9TV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00247#7NDO (statement). In ZAM4S2XS9F/e1, proposition A.6
History
- 2026-10-30: add by m2/v0.4.12
7ZTMM61ECK 7ZTMM61ECK
| URI | m2://inv/7ZTMM61ECK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33679#O7WU (statement). In 3N9E9T6AF5/e1, corollary 1.8
History
- 2026-10-30: add by m2/v0.4.12
differential equation 7ZTSD68C41
| URI | m2://inv/7ZTSD68C41 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/9.3.1/differential-equation, differential equation (concept). In E59CDZA4DP, index, section 9.3.1
History
- 2026-11-01: add by m2/v0.6.13
hypervariety 7ZV2MMCNK9
| URI | m2://inv/7ZV2MMCNK9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/6.6/hypervariety, hypervariety (concept). In VNMV985MXX, index, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
Global warming 7ZV92VTM43
| URI | m2://inv/7ZV92VTM43 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#6DYY, Global warming (unknown)
History
- 2026-11-02: add by m2/dev
Implicit in , Theorem 1 7ZVGD1M0QS
| URI | m2://inv/7ZVGD1M0QS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.05198#RKX7, Implicit in , Theorem 1 (statement). In NJWY6HPFHG/e1, lemma 8
History
- 2026-10-27: add by m2/v0.3.5
7ZVHEX5PFM 7ZVHEX5PFM
| URI | m2://inv/7ZVHEX5PFM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21528#Y5EJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
7ZVNKF3K6C 7ZVNKF3K6C
| URI | m2://inv/7ZVNKF3K6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16541#ZB46 (statement). In D0XH7W96T3/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Unistochastic matrix 7ZVQBCDS2C
| URI | m2://inv/7ZVQBCDS2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#5Z0X, Unistochastic matrix (definition)
History
- 2026-11-02: add by m2/dev
The construction formula 7ZVVB5A8WH
| URI | m2://inv/7ZVVB5A8WH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ADHM construction#USTW, The construction formula (statement)
History
- 2026-11-02: add by m2/dev
ℵ 7ZVWH54FSE
| URI | m2://inv/7ZVWH54FSE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#L7ZF, ℵ (definition)
History
- 2026-11-02: add by m2/dev
Construction 7ZW2TF37K0
| URI | m2://inv/7ZW2TF37K0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bipartite double cover#D9QX, Construction (definition)
History
- 2026-11-02: add by m2/dev
Homomorphism 7ZW3YA9Z9D
| URI | m2://inv/7ZW3YA9Z9D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#RKM3, Homomorphism (definition)
History
- 2026-11-02: add by m2/dev
CUR matrix approximation 7ZW4AHEX7A
| URI | m2://inv/7ZW4AHEX7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CUR matrix approximation, CUR matrix approximation (definition). Also Wikidata Q5014719
History
- 2026-11-02: add by m2/dev
7ZW9EDZ7VB 7ZW9EDZ7VB
| URI | m2://inv/7ZW9EDZ7VB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28374#SQC9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Forty Fort, Pennsylvania 7ZWNC3XXBW
| URI | m2://inv/7ZWNC3XXBW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#QDAN, Forty Fort, Pennsylvania (unknown)
History
- 2026-11-02: add by m2/dev
Initialization of the criterion, score, and information 7ZWNQ5941S
| URI | m2://inv/7ZWNQ5941S |
|---|---|
| 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.19421#XN8C, Initialization of the criterion, score, and information (statement). In 3S1VFGYWQE/e1, lemma 20
History
- 2026-10-28: add by m2/v0.4.2
7ZWPD5AM9B 7ZWPD5AM9B
| URI | m2://inv/7ZWPD5AM9B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11902#4EK6 (statement). In K66QKM4N5E/e1, lemma 3.10
History
- 2026-10-28: add by m2/v0.4.3
Sergei Sobolev 7ZWT2A29DB
| URI | m2://inv/7ZWT2A29DB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XDZA, Sergei Sobolev (topic)
History
- 2026-11-02: add by m2/dev
Heath–Jarrow–Morton framework 7ZWZ24G438
| URI | m2://inv/7ZWZ24G438 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heath–Jarrow–Morton framework, Heath–Jarrow–Morton framework (definition). Also Wikidata Q1563747
History
- 2026-11-02: add by m2/dev
Trudinger's theorem 7ZWZBHJBTF
| URI | m2://inv/7ZWZBHJBTF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#KTCZ, Trudinger's theorem (statement)
History
- 2026-11-02: add by m2/dev
7ZX1PGC50X 7ZX1PGC50X
| URI | m2://inv/7ZX1PGC50X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28323#DAZQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
algebraic number theory 7ZX3ASG8QG
| URI | m2://inv/7ZX3ASG8QG |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 11Rxx |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q613048, algebraic number theory (topic). Also EoM Algebraic_number_theory, MathWorld AlgebraicNumberTheory, nLab algebraic number theory, ProofWiki Definition:Algebraic_Number_Theory
- wikipedia: Wikipedia Algebraic number theory, Algebraic number theory (topic). Also Wikidata Q613048
History
- 2026-10-26: add by m2/dev
Extended Riemann hypothesis (ERH) 7ZXAH0B3WS
| URI | m2://inv/7ZXAH0B3WS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Riemann hypothesis#NSHC, Extended Riemann hypothesis (ERH) (statement)
History
- 2026-11-02: add by m2/dev
invariant 7ZXBHWVVKN
| URI | m2://inv/7ZXBHWVVKN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#3VR0, invariant (definition)
History
- 2026-11-02: add by m2/dev
Uses 7ZXE6K93A2
| URI | m2://inv/7ZXE6K93A2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ratio estimator#A6QH, Uses (example)
History
- 2026-11-02: add by m2/dev
7ZXPB32QYH 7ZXPB32QYH
| URI | m2://inv/7ZXPB32QYH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16606#FQ6R (definition). In A798V7TX99/e1, definition 4.3
History
- 2026-10-28: add by m2/v0.4.2
Riemannian volume form 7ZXR35K1CN
| URI | m2://inv/7ZXR35K1CN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#LGPZ, Riemannian volume form (definition)
History
- 2026-11-02: add by m2/dev
Forcing conjecture 7ZXR8FADW7
| URI | m2://inv/7ZXR8FADW7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forcing graph#RAZM, Forcing conjecture (statement)
History
- 2026-11-02: add by m2/dev
7ZXXN5HE8A 7ZXXN5HE8A
| URI | m2://inv/7ZXXN5HE8A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#OG7N (statement). In G02N9D40B9/e1, corollary 4.3.5
History
- 2026-10-29: add by m2/v0.4.10
Bhama Srinivasan 7ZXYERQ582
| URI | m2://inv/7ZXYERQ582 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8RSD, Bhama Srinivasan (topic)
History
- 2026-11-02: add by m2/dev
Hessian (algebraic curve) 7ZY01VPACA
| URI | m2://inv/7ZY01VPACA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar curve#2ZTV, Hessian (algebraic curve) (unknown)
History
- 2026-11-02: add by m2/dev
Cauchy–Lipschitz theorem 7ZY10G3BDT
| URI | m2://inv/7ZY10G3BDT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#1Y6V, Cauchy–Lipschitz theorem (statement)
History
- 2026-11-02: add by m2/dev
Mahan Mj 7ZY5QD67NQ
| URI | m2://inv/7ZY5QD67NQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#WDNY, Mahan Mj (topic)
History
- 2026-11-02: add by m2/dev
Statement of the inequality 7ZY60ZNER7
| URI | m2://inv/7ZY60ZNER7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milman's reverse Brunn–Minkowski inequality#ID4Q, Statement of the inequality (statement)
History
- 2026-11-02: add by m2/dev
Indeterminate form 7ZY7P8KD5W
| URI | m2://inv/7ZY7P8KD5W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#IPVW, Indeterminate form (definition)
History
- 2026-11-02: add by m2/dev
Definitions 7ZY7W41JE2
| URI | m2://inv/7ZY7W41JE2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reliability engineering#9IHA, Definitions (definition)
History
- 2026-11-02: add by m2/dev
7ZYASMF0WE 7ZYASMF0WE
| URI | m2://inv/7ZYASMF0WE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#063J (statement). In ESDKTYDHC8/e1, theorem 14
History
- 2026-10-29: add by m2/v0.4.12
7ZYCXTYK21 7ZYCXTYK21
| URI | m2://inv/7ZYCXTYK21 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.29624#Q605 (statement). In TAD5A4R089/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.3.5
Karl Kunisch 7ZYJ04X09K
| URI | m2://inv/7ZYJ04X09K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl Kunisch, Karl Kunisch (topic). Also Wikidata Q102124218
History
- 2026-11-02: add by m2/dev
Knot group 7ZYTV3TPA3
| URI | m2://inv/7ZYTV3TPA3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#B80P, Knot group (definition)
History
- 2026-11-02: add by m2/dev
Vector Manifold 7ZZ5NF7WTP
| URI | m2://inv/7ZZ5NF7WTP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal geometric algebra#KC4Q, Vector Manifold (unknown)
History
- 2026-11-02: add by m2/dev
Action variation and flux balance 7ZZAKSK8FX
| URI | m2://inv/7ZZAKSK8FX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10790#JS19, Action variation and flux balance (statement). In HHQ6P3RRB8/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.3
Brieskorn 3-manifolds 7ZZB2FTYG2
| URI | m2://inv/7ZZB2FTYG2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11189#7Z4N, Brieskorn 3-manifolds (definition). In Q27FWV48RX/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.3
7ZZMEFHXKE 7ZZMEFHXKE
| URI | m2://inv/7ZZMEFHXKE |
|---|---|
| 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 2405.05684#S0W5 (statement). In 1PR73ECTZB/e1, proposition 23
History
- 2026-10-27: add by m2/v0.3.5
Data processing inequality 7ZZMNT5445
| URI | m2://inv/7ZZMNT5445 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14615#07X3, Data processing inequality (statement). In 7D5MMP8XB5/e1, fact 2.9
History
- 2026-10-28: add by m2/v0.4.2
7ZZX0JW8Y7 7ZZX0JW8Y7
| URI | m2://inv/7ZZX0JW8Y7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#ex:HopfJr (exercise). In N54F33XE07, ex, section 7.10
History
- 2026-11-01: add by m2/v0.6.13