Inventory rows 1C
The cards of the rows of the inventory whose ids start with 1C. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
William Threlfall 1C0BT2PXQQ
| URI | m2://inv/1C0BT2PXQQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Threlfall, William Threlfall (topic). Also Wikidata Q87109
History
- 2026-11-02: add by m2/dev
Danskin's theorem 1C0GA07JDM
| URI | m2://inv/1C0GA07JDM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#GPPI, Danskin's theorem (statement)
History
- 2026-11-02: add by m2/dev
Global dynamics with period mismatch 1C0H9XAXC9
| URI | m2://inv/1C0H9XAXC9 |
|---|---|
| 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.15686#WZKB, Global dynamics with period mismatch (statement). In 4HCK722M2G/e1, corollary 6.5
History
- 2026-10-28: add by m2/v0.4.2
Trace theory 1C0S93BADA
| URI | m2://inv/1C0S93BADA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace theory, Trace theory (topic). Also Wikidata Q7831167
History
- 2026-11-02: add by m2/dev
Zico Kolter 1C0SKP738V
| URI | m2://inv/1C0SKP738V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zico Kolter, Zico Kolter (topic). Also Wikidata Q103250619
History
- 2026-11-02: add by m2/dev
Carathéodory's theorem (measure theory) 1C0XAW0JQ4
| URI | m2://inv/1C0XAW0JQ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15831518, Carathéodory's theorem (measure theory) (statement). Also ProofWiki Carathéodory's_Theorem_(Measure_Theory)
History
- 2026-10-26: add by m2/dev
Notation 1C0ZKWS7GN
| URI | m2://inv/1C0ZKWS7GN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neyman Type A distribution#TD7W, Notation (definition)
History
- 2026-11-02: add by m2/dev
Threshold Map 1C1114MHCQ
| URI | m2://inv/1C1114MHCQ |
|---|---|
| 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.30279#DB8N, Threshold Map (definition). In DPWKG7FD0H/e1, definition 3.3
History
- 2026-10-31: add by m2/v0.5.6
1C120N45M3 1C120N45M3
| URI | m2://inv/1C120N45M3 |
|---|---|
| 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.11395#STJU (example). In T3W7SMWQ73/e1, example 13
History
- 2026-10-28: add by m2/v0.4.3
Snell's law 1C13E58CZH
| URI | m2://inv/1C13E58CZH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q208391, Snell's law (statement). Also ProofWiki Snell-Descartes_Law
- wikipedia: Wikipedia Snell's law, Snell's law (statement). Also Wikidata Q208391
History
- 2026-10-26: add by m2/dev
1C1479BS5W 1C1479BS5W
| URI | m2://inv/1C1479BS5W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/arithmetization/cuts.tex#realcompleteness (statement). In PKGMM3P5QY, thm, section 78.3
History
- 2026-11-01: add by m2/v0.6.13
1C15GFQSS0 1C15GFQSS0
| URI | m2://inv/1C15GFQSS0 |
|---|---|
| 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.04452#XOUO (statement). In ZV3ANMKJ0Y/e1, proposition 1.2
History
- 2026-10-29: add by m2/v0.4.12
Exact quadratics 1C182QJDW2
| URI | m2://inv/1C182QJDW2 |
|---|---|
| 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.12641#8NRJ, Exact quadratics (statement). In X5BYGZZHPF/e1, lemma N.1
History
- 2026-10-28: add by m2/v0.4.2
1C19BN4GWB 1C19BN4GWB
| URI | m2://inv/1C19BN4GWB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13103#2DAN (statement). In GG2ZZV6KEQ/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Pattern search 1C1P9ZCD04
| URI | m2://inv/1C1P9ZCD04 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pattern search (optimization), Pattern search (definition). Also Wikidata Q4291856
History
- 2026-11-02: add by m2/dev
1C1TWF87NC 1C1TWF87NC
| URI | m2://inv/1C1TWF87NC |
|---|---|
| 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.26477#8QV1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
1C1XVHE6M0 1C1XVHE6M0
| URI | m2://inv/1C1XVHE6M0 |
|---|---|
| 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.18324#IB6M (statement). In C0EG2EY0M4/e1, corollary 2.6
History
- 2026-10-28: add by m2/v0.4.2
Compactness theorem 1C2CRVJ0BV
| URI | m2://inv/1C2CRVJ0BV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#A1J3, Compactness theorem (statement)
History
- 2026-11-02: add by m2/dev
gravity train 1C2D1E3KV1
| URI | m2://inv/1C2D1E3KV1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q966914, gravity train (unknown). Also MathWorld SpherewithTunnel
History
- 2026-10-26: add by m2/dev
Definition 1C2D424RKG
| URI | m2://inv/1C2D424RKG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phonon#0MPR, Definition (definition)
History
- 2026-11-02: add by m2/dev
Conditional Kraft rank bound 1C32RZ7440
| URI | m2://inv/1C32RZ7440 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29688#SAL6, Conditional Kraft rank bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition 1C35D8BDQK
| URI | m2://inv/1C35D8BDQK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal fan#Y8ZY, Definition (definition)
History
- 2026-11-02: add by m2/dev
Statement 1C37ETJHPC
| URI | m2://inv/1C37ETJHPC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Upper bound theorem#7XYA, Statement (statement)
History
- 2026-11-02: add by m2/dev
1C391PSQ01 1C391PSQ01
| URI | m2://inv/1C391PSQ01 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Union-closed sets conjecture#ZQAO (problem)
History
- 2026-11-02: add by m2/dev
Data availability (cryptography) 1C3AHGNS43
| URI | m2://inv/1C3AHGNS43 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-repudiation#F72Z, Data availability (cryptography) (unknown)
History
- 2026-11-02: add by m2/dev
1C3G78PARY 1C3G78PARY
| URI | m2://inv/1C3G78PARY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/artin.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
Robert James Blattner 1C3JERMBVV
| URI | m2://inv/1C3JERMBVV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert James Blattner, Robert James Blattner (topic). Also Wikidata Q7346032
History
- 2026-11-02: add by m2/dev
R. Balasubramanian 1C3SVRX2SM
| URI | m2://inv/1C3SVRX2SM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#EHVB, R. Balasubramanian (topic)
History
- 2026-11-02: add by m2/dev
Riemann conditions 1C3TFNJV4Q
| URI | m2://inv/1C3TFNJV4Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#NM91, Riemann conditions (definition)
History
- 2026-11-02: add by m2/dev
Ambient one-point theory in Chow groups 1C3X3AAYVP
| URI | m2://inv/1C3X3AAYVP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10828#NSVB, Ambient one-point theory in Chow groups (statement). In 8PTDFHV8SQ/e1, theorem 15.1
History
- 2026-10-28: add by m2/v0.4.3
Adapted process 1C3YT10PRH
| URI | m2://inv/1C3YT10PRH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adapted process, Adapted process (definition). Also Wikidata Q4680695
History
- 2026-11-02: add by m2/dev
$A_2$ in type $F_4$ 1C433AR4MS
| URI | m2://inv/1C433AR4MS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16931#TCBC, $A_2$ in type $F_4$ (example). In H7DMRWBBJN/e1, example 8.14
History
- 2026-10-28: add by m2/v0.4.2
1C44VKZDQ1 1C44VKZDQ1
| URI | m2://inv/1C44VKZDQ1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-73 (proof). In VNMV985MXX, proof, section 6.4
History
- 2026-11-01: add by m2/v0.6.13
Short-truncation imaginary identity 1C46AEFKM8
| URI | m2://inv/1C46AEFKM8 |
|---|---|
| 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.12853#3OY8, Short-truncation imaginary identity (statement). In GAX7MSHJE0/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
1C48RX25J6 1C48RX25J6
| URI | m2://inv/1C48RX25J6 |
|---|---|
| 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.05327#U0AF (statement). In ZD7BWDKT84/e1, proposition 5.6
History
- 2026-10-29: add by m2/v0.4.10
Definition 1C49M13ZSZ
| URI | m2://inv/1C49M13ZSZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classifying space for SU(n)#81PI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples 1C4BG58B0Y
| URI | m2://inv/1C4BG58B0Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shrinkage (statistics)#YM0F, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition 1C4SQ8WC0N
| URI | m2://inv/1C4SQ8WC0N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Russo–Vallois integral#6GZP, Definition (definition)
History
- 2026-11-02: add by m2/dev
1C4SVE8FYG 1C4SVE8FYG
| URI | m2://inv/1C4SVE8FYG |
|---|---|
| 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 2609.38556#2QIQ (statement). In GC2H0HS7ZM/e1, lemma 6.8
History
- 2026-10-30: add by m2/v0.4.12
1C4V2K0179 1C4V2K0179
| URI | m2://inv/1C4V2K0179 |
|---|---|
| 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.01467#U39L (statement). In 10GZB25WAC/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.12
1C4ZHFH9M4 1C4ZHFH9M4
| URI | m2://inv/1C4ZHFH9M4 |
|---|---|
| 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.13505#95ET (statement). In 6Z1DDCYCQ8/e1, lemma 14
History
- 2026-10-28: add by m2/v0.4.2
1C50F2JZ04 1C50F2JZ04
| URI | m2://inv/1C50F2JZ04 |
|---|---|
| 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.30685#BIF6 (statement). In WNNNWV7741/e1, proposition 5.1
History
- 2026-10-31: add by m2/v0.5.6
decomposition 1C523A8TBP
| URI | m2://inv/1C523A8TBP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#YCKZ, decomposition (definition)
History
- 2026-11-02: add by m2/dev
1C52A7EM0V 1C52A7EM0V
| URI | m2://inv/1C52A7EM0V |
|---|---|
| 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.19590#SVOP (statement). In AZFARX0CXG/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
1C55EXNVF6 1C55EXNVF6
| URI | m2://inv/1C55EXNVF6 |
|---|---|
| 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.23694#JCEV (statement)
History
- 2026-11-02: add by m2/v0.6.17
Jon Kleinberg 1C56KCT9WR
| URI | m2://inv/1C56KCT9WR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Q66I, Jon Kleinberg (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TKZC, Jon Kleinberg (unknown)
History
- 2026-11-02: add by m2/dev
1C5A55HB8H 1C5A55HB8H
| URI | m2://inv/1C5A55HB8H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/inverses.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 79.1
History
- 2026-11-01: add by m2/v0.6.13
Projected normal distribution 1C5BBMB8KE
| URI | m2://inv/1C5BBMB8KE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projected normal distribution, Projected normal distribution (definition). Also Wikidata Q120999945
History
- 2026-11-02: add by m2/dev
Bounded differences in full convex order 1C5EDW94HB
| URI | m2://inv/1C5EDW94HB |
|---|---|
| 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#85M2, Bounded differences in full convex order (statement). In 9YAE8FNQST/e1, theorem 4.16
History
- 2026-10-30: add by m2/v0.4.12
Stephen Twinoburyo 1C5GCH7SQS
| URI | m2://inv/1C5GCH7SQS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephen Twinoburyo, Stephen Twinoburyo (topic). Also Wikidata Q60455140
History
- 2026-11-02: add by m2/dev
Yiannis N. Moschovakis 1C5J4SMQR4
| URI | m2://inv/1C5J4SMQR4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#I2I1, Yiannis N. Moschovakis (topic)
History
- 2026-11-02: add by m2/dev
1C5KNCJ1C0 1C5KNCJ1C0
| URI | m2://inv/1C5KNCJ1C0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#QWGY (statement). In RTE2C0PH4S/e1, proposition 6.2
History
- 2026-10-28: add by m2/v0.4.2
Embodied design 1C5R17NJ50
| URI | m2://inv/1C5R17NJ50 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Embodied design, Embodied design (definition). Also Wikidata Q17079144
History
- 2026-11-02: add by m2/dev
Nikolai Lusin 1C5VA74A7J
| URI | m2://inv/1C5VA74A7J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#1ZP5, Nikolai Lusin (topic)
History
- 2026-11-02: add by m2/dev
Biserial correlation 1C5WYVK6SM
| URI | m2://inv/1C5WYVK6SM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0TSA, Biserial correlation (unknown)
History
- 2026-11-02: add by m2/dev
Very weak solution, case $V\geq 0$ 1C638FQPSC
| URI | m2://inv/1C638FQPSC |
|---|---|
| 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 2110.12380#U4H9, Very weak solution, case $V\geq 0$ (definition). In M6MQPEDQ8N/e1, definition 4.5
History
- 2026-10-27: add by m2/v0.3.5
1C69CVACBM 1C69CVACBM
| URI | m2://inv/1C69CVACBM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22326#CGK1 (statement). In EAABRG99V8/e1, corollary 5.16
History
- 2026-10-27: add by m2/v0.4.0
Peter Friz 1C6HR3BMFS
| URI | m2://inv/1C6HR3BMFS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Friz, Peter Friz (topic). Also Wikidata Q7174104
History
- 2026-11-02: add by m2/dev
Bounds for the six separators 1C6JBK5M29
| URI | m2://inv/1C6JBK5M29 |
|---|---|
| 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#BJVI, Bounds for the six separators (statement). In 5E9G06XJKC/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
1C6Z8YMQ97 1C6Z8YMQ97
| URI | m2://inv/1C6Z8YMQ97 |
|---|---|
| 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 2112.05010#WIA2 (statement). In 4SZNPS3Z00/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.6
Orthogonality principle 1C6ZD0DC4Z
| URI | m2://inv/1C6ZD0DC4Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonality principle, Orthogonality principle (statement). Also Wikidata Q7104536
History
- 2026-11-02: add by m2/dev
Supervised learning 1C70PBX809
| URI | m2://inv/1C70PBX809 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supervised learning, Supervised learning (definition). Also Wikidata Q334384
History
- 2026-11-02: add by m2/dev
Example 1C75YS6KJ5
| URI | m2://inv/1C75YS6KJ5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nested case–control study#K9AL, Example (example)
History
- 2026-11-02: add by m2/dev
Hermann Hankel 1C79ZRS560
| URI | m2://inv/1C79ZRS560 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#1H9G, Hermann Hankel (topic)
History
- 2026-11-02: add by m2/dev
Non-examples 1C7HD1T77E
| URI | m2://inv/1C7HD1T77E |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Model complete theory#DJUQ, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
Norman Johnson 1C7HVCJBY3
| URI | m2://inv/1C7HVCJBY3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7APY, Norman Johnson (topic)
History
- 2026-11-02: add by m2/dev
1C7JKX671S 1C7JKX671S
| URI | m2://inv/1C7JKX671S |
|---|---|
| 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.12122#WHKO (statement). In PKDEGV4CQS/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
little string theory 1C7KAKXBQN
| URI | m2://inv/1C7KAKXBQN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6652793, little string theory (unknown). Also nLab little string theory
History
- 2026-10-26: add by m2/dev
Zbigniew Marciniak 1C7N783CPT
| URI | m2://inv/1C7N783CPT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zbigniew Marciniak, Zbigniew Marciniak (topic). Also Wikidata Q9388132
History
- 2026-11-02: add by m2/dev
1C7QA9S4W0 1C7QA9S4W0
| URI | m2://inv/1C7QA9S4W0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#ENIY (statement). In 9TR5E527P5/e1, lemma 6.21
History
- 2026-10-29: add by m2/v0.4.10
1C7R23SKKR 1C7R23SKKR
| URI | m2://inv/1C7R23SKKR |
|---|---|
| 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.07180#1TYT (statement). In TM4H1RV0BQ/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.3.5
1C7XPRSBBE 1C7XPRSBBE
| URI | m2://inv/1C7XPRSBBE |
|---|---|
| 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.27078#7GSG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uniformly separated set orbits 1C7ZZH4RCX
| URI | m2://inv/1C7ZZH4RCX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16510#HPXH, Uniformly separated set orbits (statement). In V7SQ4VXCRX/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2
Turán–Kubilius inequality 1C86V37NB9
| URI | m2://inv/1C86V37NB9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7856599, Turán–Kubilius theorem (statement). Also Wikidata Q7856599
- thousand_plus: thousand_plus Q7856599, Turán–Kubilius theorem (statement). Also Wikidata Q7856599, Wikipedia Turán–Kubilius inequality
- wikipedia: Wikipedia Turán–Kubilius inequality, Turán–Kubilius inequality (statement). Also Wikidata Q7856599
History
- 2026-10-26: add by m2/dev
1C88GCX9FB 1C88GCX9FB
| URI | m2://inv/1C88GCX9FB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35543#CKEX (statement). In WSG1ZW956E/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
1C88QN5T4A 1C88QN5T4A
| URI | m2://inv/1C88QN5T4A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13103#L12F (statement). In GG2ZZV6KEQ/e1, lemma 4.11
History
- 2026-10-28: add by m2/v0.4.2
Formula 1C8H0M7ZGF
| URI | m2://inv/1C8H0M7ZGF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kelvin wake pattern#A70X, Formula (statement)
History
- 2026-11-02: add by m2/dev
1C90VGSAFY 1C90VGSAFY
| URI | m2://inv/1C90VGSAFY |
|---|---|
| Kind | definition |
| 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 2308.05066#GTGD (definition). In 1QSCT53ZED/e1, definition 8.5
History
- 2026-10-27: add by m2/v0.4.0
A function that is not meromorphic 1C912T984Z
| URI | m2://inv/1C912T984Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/meromorphic.tex#example-5, A function that is not meromorphic (example). In RZP28ERRZV, example, section 41.2
History
- 2026-11-01: add by m2/v0.6.13
Watterson estimator 1C9CD6EZ0S
| URI | m2://inv/1C9CD6EZ0S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KDCD, Watterson estimator (definition)
History
- 2026-11-02: add by m2/dev
Enumeration 1C9NYXQNTR
| URI | m2://inv/1C9NYXQNTR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1921 United Kingdom census#REF4, Enumeration (definition)
History
- 2026-11-02: add by m2/dev
Fuss's theorem 1C9T1YG41Z
| URI | m2://inv/1C9T1YG41Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bicentric quadrilateral#AL73, Fuss's theorem (statement)
History
- 2026-11-02: add by m2/dev
Formal statement 1CA7QX4N70
| URI | m2://inv/1CA7QX4N70 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pasting lemma#0IA1, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Algebraic attack 1CADHYVJSM
| URI | m2://inv/1CADHYVJSM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic attack, Algebraic attack (definition). Also Wikidata Q140134298
History
- 2026-11-02: add by m2/dev
1CAETZ98G1 1CAETZ98G1
| URI | m2://inv/1CAETZ98G1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#DJXY (statement). In V5PVKDKGGG/e1, theorem 2.3
History
- 2026-10-28: add by m2/v0.4.2
1CAT69TVV8 1CAT69TVV8
| URI | m2://inv/1CAT69TVV8 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35339#ZA57 (unknown). In JT998WJYJJ/e1, unknown 3
History
- 2026-10-30: add by m2/v0.4.12
Theorem 1CAY60PH0P
| URI | m2://inv/1CAY60PH0P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partition of sums of squares#PIH3, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Cryptomnesia 1CB1GN85N5
| URI | m2://inv/1CB1GN85N5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#LTLV, Cryptomnesia (unknown)
History
- 2026-11-02: add by m2/dev
Zermelo-Fraenkel Axioms with Axiom of Choice 1CB2NB5E0C
| URI | m2://inv/1CB2NB5E0C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_ZFC.ptx#axiom_ZFC, Zermelo-Fraenkel Axioms with Axiom of Choice (statement). In QKM9DD2H56, axiom, section B.19
History
- 2026-11-01: add by m2/v0.6.13
1CB32XWM43 1CB32XWM43
| URI | m2://inv/1CB32XWM43 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 0902.4012#6SRB (definition). In 6FH16YESRH/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
Interpolation lemma 1CB9KEBF4H
| URI | m2://inv/1CB9KEBF4H |
|---|---|
| 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 2106.09062#WFO9, Interpolation lemma (statement). In 8HAH8QVKDF/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.3.6
Jackson's Difference Fan 1CBMRR70JC
| URI | m2://inv/1CBMRR70JC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q105332776, Jackson's Difference Fan (concept). Also MathWorld JacksonsDifferenceFan
History
- 2026-10-26: add by m2/dev
John C. Oxtoby 1CBRD7VTEP
| URI | m2://inv/1CBRD7VTEP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John C. Oxtoby, John C. Oxtoby (topic). Also Wikidata Q20811071
History
- 2026-11-02: add by m2/dev
edgeless graph 1CBRY2D8NR
| URI | m2://inv/1CBRY2D8NR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3033506, edgeless graph (definition). Also MathWorld EmptyGraph, ProofWiki Definition:Edgeless_Graph
History
- 2026-10-26: add by m2/dev
1CBYCJ4CKS 1CBYCJ4CKS
| URI | m2://inv/1CBYCJ4CKS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16358#2VRT (statement). In RJA3YJ9NYK/e1, corollary 2.3
History
- 2026-10-28: add by m2/v0.4.2
Herbert A. Simon Award (IACAP) 1CC02SNB23
| URI | m2://inv/1CC02SNB23 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Association for Computing and Philosophy#O0F3, Herbert A. Simon Award (IACAP) (unknown)
History
- 2026-11-02: add by m2/dev
Special cases 1CC155B1GJ
| URI | m2://inv/1CC155B1GJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple polygon#WYQ2, Special cases (statement)
History
- 2026-11-02: add by m2/dev
n-body problems 1CCE868E96
| URI | m2://inv/1CCE868E96 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#HCA3, n-body problems (problem)
History
- 2026-11-02: add by m2/dev
Siegel G-function 1CCRY1PDVK
| URI | m2://inv/1CCRY1PDVK |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegel G-function, Siegel G-function (object). Also Wikidata Q7510558
History
- 2026-11-02: add by m2/dev
Complete-linkage clustering 1CCXCXA80C
| URI | m2://inv/1CCXCXA80C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5TUM, Complete-linkage clustering (definition)
History
- 2026-11-02: add by m2/dev
Vaughan Jones 1CCXE8TPSV
| URI | m2://inv/1CCXE8TPSV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q369638, Vaughan Jones (unknown). Also nLab Vaughan Jones, ProofWiki Mathematician:Vaughan_Frederick_Randal_Jones
- wikipedia: Wikipedia Vaughan Jones, Vaughan Jones (topic). Also Wikidata Q369638
History
- 2026-10-26: add by m2/dev
Examples 1CCZY09GD2
| URI | m2://inv/1CCZY09GD2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine hull#HRGI, Examples (example)
History
- 2026-11-02: add by m2/dev
1CD25V6SN1 1CD25V6SN1
| URI | m2://inv/1CD25V6SN1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#1169 (definition). In 3KTZ6Z615H/e1, definition 2.10
History
- 2026-10-30: add by m2/v0.4.12
1CD3ANPJ37 1CD3ANPJ37
| URI | m2://inv/1CD3ANPJ37 |
|---|---|
| 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 2609.28824#16JM (statement)
History
- 2026-11-01: add by m2/v0.6.15
1CD3FC1PHG 1CD3FC1PHG
| URI | m2://inv/1CD3FC1PHG |
|---|---|
| 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 1406.2996#WXVP (statement). In 6XENXFC77F/e1, corollary 4.3
History
- 2026-10-27: add by m2/v0.3.5
1CD8W7TTHY 1CD8W7TTHY
| URI | m2://inv/1CD8W7TTHY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20385#KUJG (statement). In 54HS9AHWPE/e1, theorem 1.9
History
- 2026-10-27: add by m2/v0.4.2
1CDBQ1MBRR 1CDBQ1MBRR
| URI | m2://inv/1CDBQ1MBRR |
|---|---|
| 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 2610.03661#O0VJ (definition). In ESDKTYDHC8/e1, definition 21
History
- 2026-10-29: add by m2/v0.4.12
Transfinite induction 1CDJGR53D6
| URI | m2://inv/1CDJGR53D6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/zorn-lemma.tex#theorem-1, Transfinite induction (statement). In RZP28ERRZV, theorem, section 94.3
History
- 2026-11-01: add by m2/v0.6.13
Zech's logarithm 1CDWGNXWBS
| URI | m2://inv/1CDWGNXWBS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zech's logarithm, Zech's logarithm (definition). Also Wikidata Q17104778
History
- 2026-11-02: add by m2/dev
1CDX6SFWW3 1CDX6SFWW3
| URI | m2://inv/1CDX6SFWW3 |
|---|---|
| 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.13580#GXCB (statement). In KEQ57N9N7Z/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
Peng Tsu Ann 1CDZZ3GSFZ
| URI | m2://inv/1CDZZ3GSFZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XGFP, Peng Tsu Ann (unknown)
History
- 2026-11-02: add by m2/dev
Global dimension 1CEC7BK1H6
| URI | m2://inv/1CEC7BK1H6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#TH8L, Global dimension (definition)
History
- 2026-11-02: add by m2/dev
polynomials 1CEG90D15F
| URI | m2://inv/1CEG90D15F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statements independent of ZFC#P978, polynomials (definition)
History
- 2026-11-02: add by m2/dev
alternating map 1CEKHV4C73
| URI | m2://inv/1CEKHV4C73 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Fundamentals > alternating map, alternating map (unknown). Also Mathlib AlternatingMap
History
- 2026-10-26: add by m2/dev
Henri Delannoy 1CEKHZXN73
| URI | m2://inv/1CEKHZXN73 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henri Delannoy, Henri Delannoy (topic). Also Wikidata Q3130590
History
- 2026-11-02: add by m2/dev
Simon–Glatzel equation 1CES5AA6EK
| URI | m2://inv/1CES5AA6EK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simon–Glatzel equation, Simon–Glatzel equation (definition). Also Wikidata Q7520530
History
- 2026-11-02: add by m2/dev
1CEY6RAGQ1 1CEY6RAGQ1
| URI | m2://inv/1CEY6RAGQ1 |
|---|---|
| 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.11395#EU6Q (statement). In T3W7SMWQ73/e1, lemma 28
History
- 2026-10-28: add by m2/v0.4.3
1CF69DXKAD 1CF69DXKAD
| URI | m2://inv/1CF69DXKAD |
|---|---|
| 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 2610.00375#G7UZ (statement). In YV6ZXRDHX4/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
1CF7EEA4CK 1CF7EEA4CK
| URI | m2://inv/1CF7EEA4CK |
|---|---|
| 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.30746#PPJE (statement). In WQEK6H3DZJ/e1, theorem A.2
History
- 2026-10-31: add by m2/v0.5.6
1CFPWN2PJH 1CFPWN2PJH
| URI | m2://inv/1CFPWN2PJH |
|---|---|
| Kind | example |
| 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 2610.22074#YLR3 (example). In F3BKXXPR3K/e1, example 2.3
History
- 2026-10-27: add by m2/v0.4.2
snub disphenoid 1CFSBMQWSK
| URI | m2://inv/1CFSBMQWSK |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124656, snub disphenoid (object). Also MathWorld SnubDisphenoid
- wikipedia: Wikipedia Snub disphenoid, Snub disphenoid (object). Also Wikidata Q124656
History
- 2026-10-26: add by m2/dev
exactness of the transported pairing 1CG0B0X8Q9
| URI | m2://inv/1CG0B0X8Q9 |
|---|---|
| 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.30559#7VBD, exactness of the transported pairing (statement). In 5A9CKXWT3H/e1, lemma 14
History
- 2026-10-31: add by m2/v0.5.6
Linear polariser 1CG98X56SR
| URI | m2://inv/1CG98X56SR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polarizer#7BOK, Linear polariser (unknown)
History
- 2026-11-02: add by m2/dev
1CGAJ2X25S 1CGAJ2X25S
| URI | m2://inv/1CGAJ2X25S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31768#PLSR (statement). In WC7ZECEE3P/e1, proposition 4.2
History
- 2026-10-31: add by m2/v0.5.6
1CGGYZ5WD5 1CGGYZ5WD5
| URI | m2://inv/1CGGYZ5WD5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 19-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 2504.00596#9ZST (example). In F8RC6AENB0/e1, example 6.17
History
- 2026-10-27: add by m2/v0.3.5
1CGHKNB0VQ 1CGHKNB0VQ
| URI | m2://inv/1CGHKNB0VQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#WL07 (statement). In X38P26DK6S/e1, theorem 5.33
History
- 2026-10-27: add by m2/v0.4.0
Examples 1CGHT4RT7E
| URI | m2://inv/1CGHT4RT7E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parade of horribles#0JCA, Examples (example)
History
- 2026-11-02: add by m2/dev
Monty Hall problem 1CGN4YK4CK
| URI | m2://inv/1CGN4YK4CK |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Monty Hall problem 0PBWWQD9KY |
Mentions
- wikidata: Wikidata Q198835, Monty Hall problem (problem). Also MathWorld MontyHallProblem
- wikipedia: Wikipedia Monty Hall problem, Monty Hall problem (problem). Also Wikidata Q198835
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
1CGNJB5W8P 1CGNJB5W8P
| URI | m2://inv/1CGNJB5W8P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.23119#OS5E (statement)
History
- 2026-11-02: add by m2/v0.6.17
1CGRE0X70V 1CGRE0X70V
| URI | m2://inv/1CGRE0X70V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24323#YICI (statement)
History
- 2026-11-01: add by m2/v0.6.15
An infinite release with bounded conditional information cost 1CGVMBTCJW
| URI | m2://inv/1CGVMBTCJW |
|---|---|
| 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#PEKN, An infinite release with bounded conditional information cost (statement). In 9YAE8FNQST/e1, theorem 28.16
History
- 2026-10-30: add by m2/v0.4.12
The multiplicativity formula for degrees 1CGZZ8GN77
| URI | m2://inv/1CGZZ8GN77 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degree of a field extension#B4NR, The multiplicativity formula for degrees (statement)
History
- 2026-11-02: add by m2/dev
Yvan Martel 1CHQF2R91W
| URI | m2://inv/1CHQF2R91W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yvan Martel, Yvan Martel (topic). Also Wikidata Q30348057
History
- 2026-11-02: add by m2/dev
No-communication theorem 1CHWANJN9Y
| URI | m2://inv/1CHWANJN9Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 81-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3984056, No-communication theorem (statement). Also Wikidata Q3984056
- thousand_plus: thousand_plus Q3984056, No-communication theorem (statement). Also Wikidata Q3984056, Wikipedia No-communication theorem
- wikipedia: Wikipedia No-communication theorem, No-communication theorem (statement). Also Wikidata Q3984056
History
- 2026-10-26: add by m2/dev
Reptation 1CHY0YPK3D
| URI | m2://inv/1CHY0YPK3D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reptation, Reptation (definition). Also Wikidata Q7314336
History
- 2026-11-02: add by m2/dev
Hilary Finucane 1CJ6T5H9NP
| URI | m2://inv/1CJ6T5H9NP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#O2UX, Hilary Finucane (unknown)
History
- 2026-11-02: add by m2/dev
1CJF6ZCHEE 1CJF6ZCHEE
| URI | m2://inv/1CJF6ZCHEE |
|---|---|
| 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.07114#OXB5 (statement). In HP3TM356J6/e1, fact 3
History
- 2026-10-29: add by m2/v0.4.10
Probability of precipitation 1CJKRNE5KC
| URI | m2://inv/1CJKRNE5KC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability of precipitation, Probability of precipitation (definition). Also Wikidata Q1564294
History
- 2026-11-02: add by m2/dev
Entropy Duality and Smoothness 1CJSCCAPG5
| URI | m2://inv/1CJSCCAPG5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 2610.12239#RATZ, Entropy Duality and Smoothness (statement). In CW9MNA6K58/e1, lemma 9.9
History
- 2026-10-28: add by m2/v0.4.2
Benford's law 1CJTCZ8143
| URI | m2://inv/1CJTCZ8143 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#L0VC, Benford's law (statement)
History
- 2026-11-02: add by m2/dev
Analyticity of the steady-state map 1CJV6MKP77
| URI | m2://inv/1CJV6MKP77 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12017#2PWV, Analyticity of the steady-state map (statement). In WW04MP0NAZ/e1, proposition 4.13
History
- 2026-10-28: add by m2/v0.4.3
1CJY03X7TN 1CJY03X7TN
| URI | m2://inv/1CJY03X7TN |
|---|---|
| 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.29943#338B (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mahalanobis, Prasanta Chandra 1CK0ATTMER
| URI | m2://inv/1CK0ATTMER |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#ZLRN, Mahalanobis, Prasanta Chandra (topic)
History
- 2026-11-02: add by m2/dev
Construction 1CK27NB8PV
| URI | m2://inv/1CK27NB8PV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nerve (category theory)#XAHM, Construction (definition)
History
- 2026-11-02: add by m2/dev
Group homomorphism 1CK31XB629
| URI | m2://inv/1CK31XB629 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#N7G8, Group homomorphism (definition)
History
- 2026-11-02: add by m2/dev
Lemma 2 1CK6Z3TV3D
| URI | m2://inv/1CK6Z3TV3D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi's formula#VS0D, Lemma 2 (statement)
History
- 2026-11-02: add by m2/dev
Richard Davis Anderson 1CKGKAW7EE
| URI | m2://inv/1CKGKAW7EE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Davis Anderson, Richard Davis Anderson (topic). Also Wikidata Q7325119
History
- 2026-11-02: add by m2/dev
Unit hyperbola 1CKPJ3WBAN
| URI | m2://inv/1CKPJ3WBAN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit hyperbola, Unit hyperbola (definition). Also Wikidata Q7887128
History
- 2026-11-02: add by m2/dev
1CKZ3XZCQF 1CKZ3XZCQF
| URI | m2://inv/1CKZ3XZCQF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-21 (exercise). In E59CDZA4DP, exercise, section 1.3.6
History
- 2026-11-01: add by m2/v0.6.13
Sophie Germain 1CM7ZNC8WN
| URI | m2://inv/1CM7ZNC8WN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sophie Germain, Sophie Germain (topic). Also Wikidata Q7103
History
- 2026-11-02: add by m2/dev
Discrete iteration lemma 1CMAB2JY20
| URI | m2://inv/1CMAB2JY20 |
|---|---|
| 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.31373#FF7T, Discrete iteration lemma (statement). In H4XKQM67NA/e1, lemma 2.3
History
- 2026-10-31: add by m2/v0.5.6
1CMH4W0X5D 1CMH4W0X5D
| URI | m2://inv/1CMH4W0X5D |
|---|---|
| Kind | definition |
| 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 2508.07340#KFTC (definition). In 2HSB99DW4M/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.6
Uniform Ricci-disc bound 1CMJCYGGTV
| URI | m2://inv/1CMJCYGGTV |
|---|---|
| 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.25762#UGX6, Uniform Ricci-disc bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
Polarization density 1CMQ5KP92V
| URI | m2://inv/1CMQ5KP92V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polarization density, Polarization density (definition). Also Wikidata Q1050425
History
- 2026-11-02: add by m2/dev
Statements of the theorem 1CMWG019HY
| URI | m2://inv/1CMWG019HY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double centralizer theorem#F4VP, Statements of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Stable flow 1CN1AH21FY
| URI | m2://inv/1CN1AH21FY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hydrodynamic stability#W299, Stable flow (unknown)
History
- 2026-11-02: add by m2/dev
Maria G. Bartolini Bussi 1CN2XX6MVP
| URI | m2://inv/1CN2XX6MVP |
|---|---|
| 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#YHXO, Maria G. Bartolini Bussi (unknown)
History
- 2026-11-02: add by m2/dev
Theorem 1CN89BFEKF
| URI | m2://inv/1CN89BFEKF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular submodule#N6B4, Theorem (statement)
History
- 2026-11-02: add by m2/dev
1CNA3D480T 1CNA3D480T
| URI | m2://inv/1CNA3D480T |
|---|---|
| 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.14458#6TNF (statement). In WJ76MVYAZQ/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
1CNE55Q55C 1CNE55Q55C
| URI | m2://inv/1CNE55Q55C |
|---|---|
| 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#0QXY (statement). In Q1XJ5VWE1N/e1, proposition 3.10
History
- 2026-10-29: add by m2/v0.4.10
Laurent C. Siebenmann 1CNJ95Q5PX
| URI | m2://inv/1CNJ95Q5PX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laurent C. Siebenmann, Laurent C. Siebenmann (topic). Also Wikidata Q1808137
History
- 2026-11-02: add by m2/dev
1CNJDC7MN2 1CNJDC7MN2
| URI | m2://inv/1CNJDC7MN2 |
|---|---|
| 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.23872#6Q7Y (statement)
History
- 2026-11-02: add by m2/v0.6.17
Generalizations 1CNKQWHK83
| URI | m2://inv/1CNKQWHK83 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bailey–Borwein–Plouffe formula#M5ZS, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
1CNQE7BAVP 1CNQE7BAVP
| URI | m2://inv/1CNQE7BAVP |
|---|---|
| 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.05018#8R9N (statement). In QFZSPBES9B/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
1CNS35XQ0H 1CNS35XQ0H
| URI | m2://inv/1CNS35XQ0H |
|---|---|
| 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.21680#OOOJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Apollonius point 1CNSQ6H3KC
| URI | m2://inv/1CNSQ6H3KC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#DSTM, Apollonius point (definition)
History
- 2026-11-02: add by m2/dev
Generalizations 1CNXYG0AP6
| URI | m2://inv/1CNXYG0AP6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graded Lie algebra#KCEI, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
cellular space 1CP1V0VT5J
| URI | m2://inv/1CP1V0VT5J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30674282, cellular space (unknown). Also EoM Cellular space, MathWorld CellularSpace
- wikipedia: Wikipedia Cellular space, Cellular space (definition). Also Wikidata Q30674282
History
- 2026-10-26: add by m2/dev
1CPK6NJDF1 1CPK6NJDF1
| URI | m2://inv/1CPK6NJDF1 |
|---|---|
| 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.03288#1FTS (statement). In ZHP1MFSACN/e1, lemma A.7
History
- 2026-10-29: add by m2/v0.4.12
1CPNAT5BDK 1CPNAT5BDK
| URI | m2://inv/1CPNAT5BDK |
|---|---|
| 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.21092#MQL7 (statement). In AGJE43FTF8/e1, proposition 4.16
History
- 2026-10-27: add by m2/v0.4.2
Fluid limit of hitting times 1CPPCJ4DCR
| URI | m2://inv/1CPPCJ4DCR |
|---|---|
| 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.18445#0YM2, Fluid limit of hitting times (statement). In X63FGXZP4F/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
1CPQNTNYZ1 1CPQNTNYZ1
| URI | m2://inv/1CPQNTNYZ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22394#E9Q9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Example 1CPR6V71ME
| URI | m2://inv/1CPR6V71ME |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia C-minimal theory#07SP, Example (example)
History
- 2026-11-02: add by m2/dev
1CPTAA7D2E 1CPTAA7D2E
| URI | m2://inv/1CPTAA7D2E |
|---|---|
| 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.13914#LE1J (statement). In M974J0V5EZ/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
The cost of preserving the affine error bound 1CQ4MWD65G
| URI | m2://inv/1CQ4MWD65G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15202#GTM0, The cost of preserving the affine error bound (statement). In X1FPG0KYBM/e1, theorem Y.1
History
- 2026-10-28: add by m2/v0.4.2
Rung C: from $H_{1}\big(SC_{n}(R_{w,2};1)\big)$ to $H_{1}\big(SC_{n}(R_{w,2})\big)$ 1CQ93C52PF
| URI | m2://inv/1CQ93C52PF |
|---|---|
| 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 2610.12633#4O57, Rung C: from $H_{1}\big(SC_{n}(R_{w,2};1)\big)$ to $H_{1}\big(SC_{n}(R_{w,2})\big)$ (statement). In NGZ5AZ70NN/e1, proposition 3.9
History
- 2026-10-28: add by m2/v0.4.2
1CQBV4JENZ 1CQBV4JENZ
| URI | m2://inv/1CQBV4JENZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/formation-sequences.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 62.3
History
- 2026-11-01: add by m2/v0.6.13
Definition 1CQF844GYB
| URI | m2://inv/1CQF844GYB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized conic#QYII, Definition (definition)
History
- 2026-11-02: add by m2/dev
1CQFJCK3R8 1CQFJCK3R8
| URI | m2://inv/1CQFJCK3R8 |
|---|---|
| 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 2610.14236#XKNL (statement). In XEQD21EBTT/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
1CQHDH223V 1CQHDH223V
| URI | m2://inv/1CQHDH223V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28677#PG0H (definition)
History
- 2026-11-01: add by m2/v0.6.15
Easton's theorem 1CQPEJWXED
| URI | m2://inv/1CQPEJWXED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#OM3K, Easton's theorem (definition)
History
- 2026-11-02: add by m2/dev
Bessel 1CQW9ZR06S
| URI | m2://inv/1CQW9ZR06S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#example-1, Bessel (example). In E9HS8K3A52, example, section 3.1.1
History
- 2026-11-01: add by m2/v0.6.13
Peter Rosenthal 1CQZT2MW6W
| URI | m2://inv/1CQZT2MW6W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Rosenthal, Peter Rosenthal (topic). Also Wikidata Q18387937
History
- 2026-11-02: add by m2/dev
Implementation 1CR3ERBVFV
| URI | m2://inv/1CR3ERBVFV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Insertion sort#78T8, Implementation (definition)
History
- 2026-11-02: add by m2/dev
1CRESJTXRB 1CRESJTXRB
| URI | m2://inv/1CRESJTXRB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03488#0O8F (statement). In 9GXR1WEYWT/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
Definition 1CRHQX5SG0
| URI | m2://inv/1CRHQX5SG0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Short integer solution problem#516P, Definition (definition)
History
- 2026-11-02: add by m2/dev
1CRTG27TKN 1CRTG27TKN
| URI | m2://inv/1CRTG27TKN |
|---|---|
| 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.14562#BNGN (statement). In G4XMZ452QE/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
False negative 1CRWR0CWQH
| URI | m2://inv/1CRWR0CWQH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#D2FW, False negative (definition)
History
- 2026-11-02: add by m2/dev
The Garden of Eden theorem 1CRWWPNABB
| URI | m2://inv/1CRWWPNABB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Garden of Eden (cellular automaton)#KF4S, The Garden of Eden theorem (statement)
History
- 2026-11-02: add by m2/dev
recurrence equation, general solution 1CRX8Y6VBS
| URI | m2://inv/1CRX8Y6VBS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/9.4.1/recurrence-equation-general-solution, recurrence equation, general solution (concept). In QKM9DD2H56, index, section 9.4.1
History
- 2026-11-01: add by m2/v0.6.13
couple 1CS1MSKGZ6
| URI | m2://inv/1CS1MSKGZ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#QL37, couple (definition)
History
- 2026-11-02: add by m2/dev
1CS368HPBS 1CS368HPBS
| URI | m2://inv/1CS368HPBS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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.11800#1MNR (statement). In 8TSZ2E32K3/e1, corollary 6.3
History
- 2026-10-28: add by m2/v0.4.3
Georges Skandalis 1CS4AASZBN
| URI | m2://inv/1CS4AASZBN |
|---|---|
| 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 Q15434537, Georges Skandalis (unknown). Also nLab Georges Skandalis
History
- 2026-10-26: add by m2/dev
1CS5FF6AWY 1CS5FF6AWY
| URI | m2://inv/1CS5FF6AWY |
|---|---|
| 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.00078#DM71 (statement). In KXYGWSGP9M/e1, proposition 4.6
History
- 2026-10-30: add by m2/v0.4.12
1CS6SZDWN6 1CS6SZDWN6
| URI | m2://inv/1CS6SZDWN6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03628#HGC0 (statement). In P8KT6JV9N1/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
Localization of a category 1CS7TE3R4F
| URI | m2://inv/1CS7TE3R4F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Localization of a category, Localization of a category (definition). Also Wikidata Q6664610
History
- 2026-11-02: add by m2/dev
1CSBCPV6DF 1CSBCPV6DF
| URI | m2://inv/1CSBCPV6DF |
|---|---|
| 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.28336#VW36 (statement)
History
- 2026-11-01: add by m2/v0.6.15
1CSM57AEPB 1CSM57AEPB
| URI | m2://inv/1CSM57AEPB |
|---|---|
| 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.25762#COSD (statement)
History
- 2026-11-01: add by m2/v0.6.15
1CSN0TZ41B 1CSN0TZ41B
| URI | m2://inv/1CSN0TZ41B |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08091#27Z2 (example). In MS13WE3CSD/e1, example 3.2
History
- 2026-10-29: add by m2/v0.4.10
1CSVT7AFCD 1CSVT7AFCD
| URI | m2://inv/1CSVT7AFCD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20385#B778 (statement). In 54HS9AHWPE/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
Definition 1CSVT858CX
| URI | m2://inv/1CSVT858CX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Impulse (physics)#TIFV, Definition (definition)
History
- 2026-11-02: add by m2/dev
1CSX46TPNY 1CSX46TPNY
| URI | m2://inv/1CSX46TPNY |
|---|---|
| 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.39539#B4TK (statement). In GVR218P3ZR/e1, theorem 2.4.1
History
- 2026-10-30: add by m2/v0.4.12
Diameters of tiles 1CT12HDRDV
| URI | m2://inv/1CT12HDRDV |
|---|---|
| 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 2411.17227#EFUM, Diameters of tiles (statement). In DDNP38CHQJ/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.3.5
1CT7C5XCEP 1CT7C5XCEP
| URI | m2://inv/1CT7C5XCEP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#OKDF (statement). In A1GWWGRXPA/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.4.2
1CTGR37WGE 1CTGR37WGE
| URI | m2://inv/1CTGR37WGE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 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 2505.05539#43M7 (statement). In 8SVVEVGMNE/e1, theorem 5.7
History
- 2026-10-27: add by m2/v0.3.5
1CTJZ19DBP 1CTJZ19DBP
| URI | m2://inv/1CTJZ19DBP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book preliminaries.tex#ex:ackermann (exercise). In N54F33XE07, ex, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
1CV6S15GWE 1CV6S15GWE
| URI | m2://inv/1CV6S15GWE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 0902.4012#F0NU (statement). In 6FH16YESRH/e1, proposition 2.8
History
- 2026-10-27: add by m2/v0.3.5
two-tube volume bound 1CVKRHFNAZ
| URI | m2://inv/1CVKRHFNAZ |
|---|---|
| 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 2610.14050#PEUO, two-tube volume bound (statement). In RENT22YXW3/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
Timeline of class field theory 1CW6CP5BXN
| URI | m2://inv/1CW6CP5BXN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Timeline of class field theory, Timeline of class field theory (topic). Also Wikidata Q25038018
History
- 2026-11-02: add by m2/dev
First-order theorem proving 1CW7S8WCQ3
| URI | m2://inv/1CW7S8WCQ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automated theorem proving#LZX8, First-order theorem proving (statement)
History
- 2026-11-02: add by m2/dev
1CWCMN975C 1CWCMN975C
| URI | m2://inv/1CWCMN975C |
|---|---|
| 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 2609.20607#V9W0 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Odette Mongeaud-Devisme 1CWEK89A00
| URI | m2://inv/1CWEK89A00 |
|---|---|
| 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#G8WR, Odette Mongeaud-Devisme (unknown)
History
- 2026-11-02: add by m2/dev
Engset formula 1CX0KQES3Y
| URI | m2://inv/1CX0KQES3Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Engset formula, Engset formula (statement). Also Wikidata Q28403331
History
- 2026-11-02: add by m2/dev
Therapeutic effect 1CX6RQ96YM
| URI | m2://inv/1CX6RQ96YM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3NXF, Therapeutic effect (definition)
History
- 2026-11-02: add by m2/dev
1CXBD8Q1B4 1CXBD8Q1B4
| URI | m2://inv/1CXBD8Q1B4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14240#YZMY (definition). In HGQCBDDMQJ/e1, definition 2.9
History
- 2026-10-28: add by m2/v0.4.2
Finite-witness lower bound for the smallest eigenvalue 1CXCR3W0Y1
| URI | m2://inv/1CXCR3W0Y1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#5D3F, Finite-witness lower bound for the smallest eigenvalue (statement). In 6FY8BVP1F3/e1, proposition D.2
History
- 2026-10-29: add by m2/v0.4.12
1CXCRZJXJM 1CXCRZJXJM
| URI | m2://inv/1CXCRZJXJM |
|---|---|
| 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.38668#YIRC (statement). In VB1EZ9K6YW/e1, corollary 13.2
History
- 2026-10-30: add by m2/v0.4.12
1CXCTTYC1H 1CXCTTYC1H
| URI | m2://inv/1CXCTTYC1H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise:positivecontneigh (exercise). In E59CDZA4DP, exercise, section 2.2.4
History
- 2026-11-01: add by m2/v0.6.13
1CXDPYE2Z2 1CXDPYE2Z2
| URI | m2://inv/1CXDPYE2Z2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/semisimple.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 81.5
History
- 2026-11-01: add by m2/v0.6.13
1CXK5M42NH 1CXK5M42NH
| URI | m2://inv/1CXK5M42NH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02944#I4GX (example). In 1F99Z64AB7/e1, example
History
- 2026-10-29: add by m2/v0.4.12
open, problem 1CY12AMHH9
| URI | m2://inv/1CY12AMHH9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u8/open-problem, open, problem (concept). In N54F33XE07, index, section u1.u8
History
- 2026-11-01: add by m2/v0.6.13
1CY51ZC8HC 1CY51ZC8HC
| URI | m2://inv/1CY51ZC8HC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13378#XJ5Q (statement). In QAH7SV1JT6/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
1CY8J3HH3B 1CY8J3HH3B
| URI | m2://inv/1CY8J3HH3B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-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.14060#ZVSA (statement). In X47RYAZF8P/e1, lemma 10.10
History
- 2026-10-28: add by m2/v0.4.2
Stock sampling 1CYATN1J37
| URI | m2://inv/1CYATN1J37 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stock sampling, Stock sampling (definition). Also Wikidata Q48996135
History
- 2026-11-02: add by m2/dev
Membership in the class 1CYCR1G4P5
| URI | m2://inv/1CYCR1G4P5 |
|---|---|
| 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.21461#EO9B, Membership in the class (statement). In DWQANBV7B7/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.2
Rank 1CYD82Y53E
| URI | m2://inv/1CYD82Y53E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#theorem-3, Rank (statement). In E9HS8K3A52, theorem, section 2.4.1
History
- 2026-11-01: add by m2/v0.6.13
Special cases 1CYN9M11FS
| URI | m2://inv/1CYN9M11FS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phragmén–Lindelöf principle#EGN7, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Turán's theorem 1CYRKY0T9C
| URI | m2://inv/1CYRKY0T9C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#NKYV, Turán's theorem (statement)
History
- 2026-11-02: add by m2/dev
1CYTHJXCRE 1CYTHJXCRE
| URI | m2://inv/1CYTHJXCRE |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09206#PTKH (unknown). In T7R1Q29DQK/e1, unknown
History
- 2026-10-29: add by m2/v0.4.10
Givat Ko'ah 1CYWRBD49D
| URI | m2://inv/1CYWRBD49D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#8DOD, Givat Ko'ah (unknown)
History
- 2026-11-02: add by m2/dev
Dennis Barden 1CYZMMZ676
| URI | m2://inv/1CYZMMZ676 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dennis Barden, Dennis Barden (topic). Also Wikidata Q5258181
History
- 2026-11-02: add by m2/dev
Notation 1CZ4A8QFYR
| URI | m2://inv/1CZ4A8QFYR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Description logic#RQV0, Notation (definition)
History
- 2026-11-02: add by m2/dev
1CZ4HG3Q4Q 1CZ4HG3Q4Q
| URI | m2://inv/1CZ4HG3Q4Q |
|---|---|
| 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.34551#XURW (statement). In 3AF7G56AGE/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Finite-type lower growth 1CZ8AT9RCV
| URI | m2://inv/1CZ8AT9RCV |
|---|---|
| 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.20643#R083, Finite-type lower growth (statement)
History
- 2026-11-02: add by m2/v0.6.18
1CZDN8Z638 1CZDN8Z638
| URI | m2://inv/1CZDN8Z638 |
|---|---|
| Kind | conjecture |
| 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 2609.37769#5K71 (conjecture). In MJWNGM4S01/e1, conjecture 2.5
History
- 2026-10-30: add by m2/v0.4.12
1CZDTYNNAZ 1CZDTYNNAZ
| URI | m2://inv/1CZDTYNNAZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#lem-7 (statement). In N54F33XE07, lem, section C.4
History
- 2026-11-01: add by m2/v0.6.13
division ring 1CZG8QRJS6
| URI | m2://inv/1CZG8QRJS6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Division ring 0EA5BTA0CX |
Mentions
- wikidata: Wikidata Q650741, division ring (unknown). Also EoM Skew-field, MathWorld DivisionRing
- wikipedia: Wikipedia Division ring, Division ring (definition). Also Wikidata Q650741
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Running key cipher 1CZN42ZBXF
| URI | m2://inv/1CZN42ZBXF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Running key cipher, Running key cipher (definition). Also Wikidata Q7380031
History
- 2026-11-02: add by m2/dev
1CZWBGXX97 1CZWBGXX97
| URI | m2://inv/1CZWBGXX97 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.21921#ZJG8 (statement). In CM2YEK9T4F/e1, theorem 5.11
History
- 2026-10-27: add by m2/v0.4.2