Inventory rows ZC
The cards of the rows of the inventory whose ids start with ZC. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Formal definitions ZC03YTTB2Q
| URI | m2://inv/ZC03YTTB2Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Accumulator (cryptography)#HSX6, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
ZC09VAJWH7 ZC09VAJWH7
| URI | m2://inv/ZC09VAJWH7 |
|---|---|
| Kind | example |
| 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.00584#S9MM (example). In 3CRSR95BNA/e1, example 4.6
History
- 2026-10-30: add by m2/v0.4.12
ZC0DVSTMHC ZC0DVSTMHC
| URI | m2://inv/ZC0DVSTMHC |
|---|---|
| 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.09201#JNZZ (statement). In JQFPH09JG8/e1, proposition 6.5
History
- 2026-10-29: add by m2/v0.4.10
Local holonomy group ZC0H9DRGMV
| URI | m2://inv/ZC0H9DRGMV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holonomy#321I, Local holonomy group (unknown)
History
- 2026-11-02: add by m2/dev
ZC0J3QC5PW ZC0J3QC5PW
| URI | m2://inv/ZC0J3QC5PW |
|---|---|
| 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.10821#OZ86 (statement). In RWNP4FEE65/e1, corollary 8.2
History
- 2026-10-28: add by m2/v0.4.3
ZC0MCSWKSH ZC0MCSWKSH
| URI | m2://inv/ZC0MCSWKSH |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34295#APLY (problem). In A93R925Z24/e1, problem 1.7
History
- 2026-10-30: add by m2/v0.4.12
ZC0THVHFYE ZC0THVHFYE
| URI | m2://inv/ZC0THVHFYE |
|---|---|
| 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.09483#1UVT (statement). In N1MQ8F9JN6/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
Thurston's geometrization conjecture ZC0TNXNTXK
| URI | m2://inv/ZC0TNXNTXK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-manifold#54X1, Thurston's geometrization conjecture (statement)
History
- 2026-11-02: add by m2/dev
Frölicher space ZC0W7DM9XH
| URI | m2://inv/ZC0W7DM9XH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Frölicher space T0AEF3Z8C9 |
Mentions
- wikidata: Wikidata Q5506747, Frölicher space (unknown). Also nLab Frölicher space
- wikipedia: Wikipedia Frölicher space, Frölicher space (definition). Also Wikidata Q5506747
History
- 2026-10-26: add by m2/dev
ZC0YH2AY2W ZC0YH2AY2W
| URI | m2://inv/ZC0YH2AY2W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19214#TEX3 (statement). In WZPD7TNNY9/e1, lemma 2.11
History
- 2026-10-28: add by m2/v0.4.2
ZC165PMPDM ZC165PMPDM
| URI | m2://inv/ZC165PMPDM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18775#T6RS (definition). In Y2Y96TTDQ4/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
ZC1GVQYJ06 ZC1GVQYJ06
| URI | m2://inv/ZC1GVQYJ06 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38596#N0TZ (statement). In ZYGQAV8FD3/e1, theorem A
History
- 2026-10-30: add by m2/v0.4.12
Verification and falsification principles ZC1HXRQ84G
| URI | m2://inv/ZC1HXRQ84G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-refuting idea#1LMD, Verification and falsification principles (statement)
History
- 2026-11-02: add by m2/dev
Dictator ZC1KV89M5H
| URI | m2://inv/ZC1KV89M5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of game theory#DIVE, Dictator (definition)
History
- 2026-11-02: add by m2/dev
ZC1MFEAEQ2 ZC1MFEAEQ2
| URI | m2://inv/ZC1MFEAEQ2 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fast Fourier transform#1WWH (problem)
History
- 2026-11-02: add by m2/dev
ZC1P3KY0RP ZC1P3KY0RP
| URI | m2://inv/ZC1P3KY0RP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 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.16475#BD0L (definition). In FM9SKN560Q/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
PC tree ZC1W886HW9
| URI | m2://inv/ZC1W886HW9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PQ tree#VLM0, PC tree (unknown)
History
- 2026-11-02: add by m2/dev
two-form ZC1WBRF6CD
| URI | m2://inv/ZC1WBRF6CD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1017585, two-form (unknown). Also MathWorld 2-Form
History
- 2026-10-26: add by m2/dev
ZC1Z9YB8Y9 ZC1Z9YB8Y9
| URI | m2://inv/ZC1Z9YB8Y9 |
|---|---|
| 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.09735#TEOA (statement). In C518KB563H/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
Mohn, Jakob ZC20G3N7X0
| URI | m2://inv/ZC20G3N7X0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#V47P, Mohn, Jakob (unknown)
History
- 2026-11-02: add by m2/dev
ZC21N7GBWS ZC21N7GBWS
| URI | m2://inv/ZC21N7GBWS |
|---|---|
| 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.30819#JTBZ (statement). In TE6082EE1K/e1, corollary 1
History
- 2026-10-31: add by m2/v0.5.6
associativity, in a group ZC238HZCG1
| URI | m2://inv/ZC238HZCG1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.11/associativity-in-a-group, associativity, in a group (concept). In N54F33XE07, index, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
Elementary embedding ZC23BNGCDW
| URI | m2://inv/ZC23BNGCDW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary equivalence#BX8K, Elementary embedding (unknown)
History
- 2026-11-02: add by m2/dev
ZC259MG6HW ZC259MG6HW
| URI | m2://inv/ZC259MG6HW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00135#I8HV (definition). In PXWXV92SJY/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Applications ZC28CKH6YR
| URI | m2://inv/ZC28CKH6YR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetry-preserving filter#RSW3, Applications (example)
History
- 2026-11-02: add by m2/dev
Existence ZC28PVA2AQ
| URI | m2://inv/ZC28PVA2AQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#QMDH, Existence (statement). In MS7M2BJS9X/e1, lemma 3.10
History
- 2026-10-29: add by m2/v0.4.10
Topics ZC2BTV8CMH
| URI | m2://inv/ZC2BTV8CMH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topics (Aristotle), Topics (definition). Also Wikidata Q1095335
History
- 2026-11-02: add by m2/dev
SL2(R) ZC2C46SMVS
| URI | m2://inv/ZC2C46SMVS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SL2(R), SL2(R) (definition). Also Wikidata Q307169
History
- 2026-11-02: add by m2/dev
Euler number ZC2DBK3ETJ
| URI | m2://inv/ZC2DBK3ETJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q947015, Euler number (object). Also MathWorld EulerNumber, OEIS A028296
- wikipedia: Wikipedia Euler number, Euler number (definition). Also Wikidata Q947015
History
- 2026-10-26: add by m2/dev
Lefschetz duality ZC2KY0TX1D
| URI | m2://inv/ZC2KY0TX1D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#1U73, Lefschetz duality (definition)
History
- 2026-11-02: add by m2/dev
OTFE ZC2QDRKP6Z
| URI | m2://inv/ZC2QDRKP6Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disk encryption#XO5T, OTFE (unknown)
History
- 2026-11-02: add by m2/dev
ZC34RMHCT2 ZC34RMHCT2
| URI | m2://inv/ZC34RMHCT2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.29747#IVBR (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZC3560WYPT ZC3560WYPT
| URI | m2://inv/ZC3560WYPT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop-17 (statement). In VNMV985MXX, prop, section 4.6
History
- 2026-11-01: add by m2/v0.6.13
ZC36KWYH6C ZC36KWYH6C
| URI | m2://inv/ZC36KWYH6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27730#3WQA (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZC3AGY476B ZC3AGY476B
| URI | m2://inv/ZC3AGY476B |
|---|---|
| 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#651X (definition). In F7TDYCHCSE/e1, definition 2.9
History
- 2026-10-27: add by m2/v0.3.5
ZC3DA644V5 ZC3DA644V5
| URI | m2://inv/ZC3DA644V5 |
|---|---|
| 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.02993#4Z7L (statement). In TJH58FRGEN/e1, corollary 2.6
History
- 2026-10-29: add by m2/v0.4.12
ZC3EV85Q2X ZC3EV85Q2X
| URI | m2://inv/ZC3EV85Q2X |
|---|---|
| Kind | statement |
| 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.34020#POS5 (statement). In DAMYG8BFAK/e1, corollary 4.2
History
- 2026-10-30: add by m2/v0.4.12
ZC3H2AT7FP ZC3H2AT7FP
| URI | m2://inv/ZC3H2AT7FP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#9Y7I (statement). In 7V3HG30ZGW/e1, proposition A.30
History
- 2026-10-27: add by m2/v0.4.0
ZC3HZ7W66D ZC3HZ7W66D
| URI | m2://inv/ZC3HZ7W66D |
|---|---|
| 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.37274#ANIV (statement). In FBBTEAY45P/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
Shelley Taylor ZC3KA8H8NA
| URI | m2://inv/ZC3KA8H8NA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#BFLG, Shelley Taylor (unknown)
History
- 2026-11-02: add by m2/dev
ZC3N5E8R4J ZC3N5E8R4J
| URI | m2://inv/ZC3N5E8R4J |
|---|---|
| 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.22825#ZJ2L (statement)
History
- 2026-11-02: add by m2/v0.6.17
Theorem ZC42Y2CFSJ
| URI | m2://inv/ZC42Y2CFSJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sobol sequence#K1EZ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Hadamard three-lines theorem ZC4JDA93SF
| URI | m2://inv/ZC4JDA93SF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jacques Hadamard#9636, Hadamard three-lines theorem (statement)
History
- 2026-11-02: add by m2/dev
Peter Naur ZC4JFWC62Z
| URI | m2://inv/ZC4JFWC62Z |
|---|---|
| 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 Q92618, Peter Naur (unknown). Also ProofWiki Mathematician:Peter_Naur
History
- 2026-10-26: add by m2/dev
Lisa Orloff Clark ZC4SNT97YS
| URI | m2://inv/ZC4SNT97YS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lisa Orloff Clark, Lisa Orloff Clark (topic). Also Wikidata Q62627019
History
- 2026-11-02: add by m2/dev
ZC4XZR6JFX ZC4XZR6JFX
| URI | m2://inv/ZC4XZR6JFX |
|---|---|
| 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.17825#VCTM (statement). In T0ADPX1S05/e1, corollary 4.2
History
- 2026-10-28: add by m2/v0.4.2
Edward Scheidt ZC5312B9AH
| URI | m2://inv/ZC5312B9AH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edward Scheidt, Edward Scheidt (topic). Also Wikidata Q5345241
History
- 2026-11-02: add by m2/dev
ZC53ZSXHMV ZC53ZSXHMV
| URI | m2://inv/ZC53ZSXHMV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14741#0SW3 (statement). In RK1VPWWX9E/e1, lemma D.2
History
- 2026-10-28: add by m2/v0.4.2
ZC546GE8CF ZC546GE8CF
| URI | m2://inv/ZC546GE8CF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33162#MBSW (definition). In RPC7VG3KHQ/e1, definition 8.1
History
- 2026-10-30: add by m2/v0.4.12
Macaulay resultant ZC57ERAEJ9
| URI | m2://inv/ZC57ERAEJ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resultant#URAB, Macaulay resultant (unknown)
History
- 2026-11-02: add by m2/dev
Example ZC593D2BNN
| URI | m2://inv/ZC593D2BNN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recursively enumerable language#8POB, Example (example)
History
- 2026-11-02: add by m2/dev
R. L. Wilson ZC59Q9W8H6
| URI | m2://inv/ZC59Q9W8H6 |
|---|---|
| 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#1LMA, R. L. Wilson (unknown)
History
- 2026-11-02: add by m2/dev
ZC5A421TS8 ZC5A421TS8
| URI | m2://inv/ZC5A421TS8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-16 (exercise). In E59CDZA4DP, exercise, section 1.2.4
History
- 2026-11-01: add by m2/v0.6.13
ZC5N0F8VJQ ZC5N0F8VJQ
| URI | m2://inv/ZC5N0F8VJQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01073#NQVS (definition). In W4TYN4PGE8/e1, definition 2.37
History
- 2026-10-27: add by m2/v0.3.5
3op EFT over addition in Dekker's system ZC5QTNTA0B
| URI | m2://inv/ZC5QTNTA0B |
|---|---|
| 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 2602.19452#C7EI, 3op EFT over addition in Dekker's system (statement). In 3GF75S0XJ0/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.4.0
Clifford Cocks ZC5TFHC3K0
| URI | m2://inv/ZC5TFHC3K0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#IM0N, Clifford Cocks (topic)
History
- 2026-11-02: add by m2/dev
Sign test ZC5XF82H75
| URI | m2://inv/ZC5XF82H75 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PMVW, Sign test (definition)
History
- 2026-11-02: add by m2/dev
Preferential attachment ZC5ZQ5MKPF
| URI | m2://inv/ZC5ZQ5MKPF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Preferential attachment, Preferential attachment (definition). Also Wikidata Q7239828
History
- 2026-11-02: add by m2/dev
ZC5ZXESWYQ ZC5ZXESWYQ
| URI | m2://inv/ZC5ZXESWYQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.05451#NK3L (statement). In 5YMFYAFFJ7/e1, corollary 4.8
History
- 2026-10-27: add by m2/v0.3.5
Arbitrarily large ZC65B56DSX
| URI | m2://inv/ZC65B56DSX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arbitrarily large, Arbitrarily large (definition). Also Wikidata Q4784715
History
- 2026-11-02: add by m2/dev
ZC66MB23XD ZC66MB23XD
| URI | m2://inv/ZC66MB23XD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises3-4.xml#exercise-7 (exercise). In 649HGZKE96, exercise, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Veridical paradox ZC6CCW33C8
| URI | m2://inv/ZC6CCW33C8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paradox#JE5S, Veridical paradox (statement)
History
- 2026-11-02: add by m2/dev
Gerald Schwarz ZC6E33FC40
| URI | m2://inv/ZC6E33FC40 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gerald Schwarz, Gerald Schwarz (topic). Also Wikidata Q21062242
History
- 2026-11-02: add by m2/dev
ZC6FM8ZFJP ZC6FM8ZFJP
| URI | m2://inv/ZC6FM8ZFJP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21670#2W4D (statement)
History
- 2026-11-02: add by m2/v0.6.18
Kappa statistic ZC6H15S2T7
| URI | m2://inv/ZC6H15S2T7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YHRY, Kappa statistic (definition)
History
- 2026-11-02: add by m2/dev
ZC6H4Y7TEE ZC6H4Y7TEE
| URI | m2://inv/ZC6H4Y7TEE |
|---|---|
| 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 2504.09464#R70J (statement). In RN1XRCS2CH/e1, theorem 12
History
- 2026-10-27: add by m2/v0.3.6
Veinticinco de Agosto ZC6VJKM524
| URI | m2://inv/ZC6VJKM524 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#GCK4, Veinticinco de Agosto (unknown)
History
- 2026-11-02: add by m2/dev
Discriminative model ZC6XJ7W5Y5
| URI | m2://inv/ZC6XJ7W5Y5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VJBT, Discriminative model (definition)
History
- 2026-11-02: add by m2/dev
ZC743F27QM ZC743F27QM
| URI | m2://inv/ZC743F27QM |
|---|---|
| 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.14837#FWUA (statement). In J4P6HXMJCH/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
Kontsevich invariant ZC75DWNCCX
| URI | m2://inv/ZC75DWNCCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kontsevich invariant, Kontsevich invariant (definition). Also Wikidata Q623129
History
- 2026-11-02: add by m2/dev
ZC76XSXK8F ZC76XSXK8F
| URI | m2://inv/ZC76XSXK8F |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/non-enumerability-alt.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 83.8
History
- 2026-11-01: add by m2/v0.6.13
Algorithms ZC7A40W4T3
| URI | m2://inv/ZC7A40W4T3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial least squares regression#LCYL, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Adi Shamir ZC7H1E591H
| URI | m2://inv/ZC7H1E591H |
|---|---|
| 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 Q320624, Adi Shamir (unknown). Also ProofWiki Mathematician:Adi_Shamir
- wikipedia: Wikipedia Adi Shamir, Adi Shamir (topic). Also Wikidata Q320624
History
- 2026-10-26: add by m2/dev
ZC7JB3T8JT ZC7JB3T8JT
| URI | m2://inv/ZC7JB3T8JT |
|---|---|
| Kind | definition |
| 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.03373#OEDS (definition). In ZA7DBT3NWR/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Great-circle navigation ZC7MY8RXE4
| URI | m2://inv/ZC7MY8RXE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great-circle navigation, Great-circle navigation (definition). Also Wikidata Q2197597
History
- 2026-11-02: add by m2/dev
relativistic mechanics ZC7PZYPCS8
| URI | m2://inv/ZC7PZYPCS8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4393075, relativistic mechanics (definition). Also ProofWiki Definition:Relativistic_Mechanics
- wikipedia: Wikipedia Relativistic mechanics, Relativistic mechanics (topic). Also Wikidata Q4393075
History
- 2026-10-26: add by m2/dev
Simple kriging ZC7Q46GPDH
| URI | m2://inv/ZC7Q46GPDH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kriging#KXGO, Simple kriging (unknown)
History
- 2026-11-02: add by m2/dev
Hausdorff maximality theorem ZC7YM39ATC
| URI | m2://inv/ZC7YM39ATC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#1G5Q, Hausdorff maximality theorem (statement)
History
- 2026-11-02: add by m2/dev
Eisenstein reciprocity ZC7ZWPZ5P8
| URI | m2://inv/ZC7ZWPZ5P8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eisenstein reciprocity, Eisenstein reciprocity (definition). Also Wikidata Q5349960
History
- 2026-11-02: add by m2/dev
ZC822TE7NQ ZC822TE7NQ
| URI | m2://inv/ZC822TE7NQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21489#9543 (statement). In R0Q0RV8XCF/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.4.2
Bousfield class ZC8D9H6VQZ
| URI | m2://inv/ZC8D9H6VQZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bousfield class, Bousfield class (definition). Also Wikidata Q25098894
History
- 2026-11-02: add by m2/dev
ZC8GFAXGAE ZC8GFAXGAE
| URI | m2://inv/ZC8GFAXGAE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#H779 (statement). In VN084GGZGK/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.3
ZC8J3BWHPB ZC8J3BWHPB
| URI | m2://inv/ZC8J3BWHPB |
|---|---|
| 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.20900#ULUA (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples ZC91C1X8TH
| URI | m2://inv/ZC91C1X8TH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Self-reference puzzle#SK2W, Examples (example)
History
- 2026-11-02: add by m2/dev
partition ZC93AE3278
| URI | m2://inv/ZC93AE3278 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#H7ZJ, partition (definition)
History
- 2026-11-02: add by m2/dev
Kuratowski closure axioms ZC9BQM62Z8
| URI | m2://inv/ZC9BQM62Z8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuratowski closure axioms, Kuratowski closure axioms (statement). Also Wikidata Q10286397
History
- 2026-11-02: add by m2/dev
Vinogradov sequence ZC9MKX75KH
| URI | m2://inv/ZC9MKX75KH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diffiety#JDXZ, Vinogradov sequence (unknown)
History
- 2026-11-02: add by m2/dev
Remark ZC9N9VJ22P
| URI | m2://inv/ZC9N9VJ22P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adele ring#LIBA, Remark (unknown)
History
- 2026-11-02: add by m2/dev
Disjunctive syllogism ZC9Q6ZKA9Y
| URI | m2://inv/ZC9Q6ZKA9Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disjunctive syllogism#H3ZY, Disjunctive syllogism (statement)
History
- 2026-11-02: add by m2/dev
Hans-Peter Dürr ZC9SNR7XX1
| URI | m2://inv/ZC9SNR7XX1 |
|---|---|
| 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 Q87402, Hans-Peter Dürr (unknown). Also nLab Hans-Peter Dürr
History
- 2026-10-26: add by m2/dev
State graph ZC9YARAFS3
| URI | m2://inv/ZC9YARAFS3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31336#EOZL, State graph (definition). In 70RV7J456D/e1, definition 15
History
- 2026-10-31: add by m2/v0.5.6
Gauss's continued fraction ZC9Z62KPS6
| URI | m2://inv/ZC9Z62KPS6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4812487, Gauss's continued fraction (concept). Also MathWorld GausssContinuedFraction
- wikipedia: Wikipedia Gauss's continued fraction, Gauss's continued fraction (definition). Also Wikidata Q4812487
History
- 2026-10-26: add by m2/dev
ZC9ZYMV2PD ZC9ZYMV2PD
| URI | m2://inv/ZC9ZYMV2PD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03728#4WQM (statement). In NXR84SNM8F/e1, proposition 12.1
History
- 2026-10-29: add by m2/v0.4.12
ZCA1VDW23V ZCA1VDW23V
| URI | m2://inv/ZCA1VDW23V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12736#99A7 (definition). In 5350Q52F6P/e1, definition 3.3
History
- 2026-10-28: add by m2/v0.4.2
ZCA4R6QA53 ZCA4R6QA53
| URI | m2://inv/ZCA4R6QA53 |
|---|---|
| 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 2012.06334#BWPN (statement). In QD725J6HV4/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Morse structure of the truncated phase observable ZCAG3QVERY
| URI | m2://inv/ZCAG3QVERY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-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.27962#GY9I, Morse structure of the truncated phase observable (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZCAHQ8KFG2 ZCAHQ8KFG2
| URI | m2://inv/ZCAHQ8KFG2 |
|---|---|
| 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.26922#YQV2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
A data-driven estimate for out-of-subspace error ZCAJ20HFYW
| URI | m2://inv/ZCAJ20HFYW |
|---|---|
| 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.20550#QEMF, A data-driven estimate for out-of-subspace error (statement)
History
- 2026-11-02: add by m2/v0.6.18
Structural complexity ZCAJB4DR3X
| URI | m2://inv/ZCAJB4DR3X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structural complexity (applied mathematics), Structural complexity (definition). Also Wikidata Q17130757
History
- 2026-11-02: add by m2/dev
Equidistribution theorem ZCATQ798FS
| URI | m2://inv/ZCATQ798FS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#8Y7Q, Equidistribution theorem (statement)
History
- 2026-11-02: add by m2/dev
Pierre Deligne ZCB0CVY2DK
| URI | m2://inv/ZCB0CVY2DK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#HPSW, Pierre Deligne (topic)
History
- 2026-11-02: add by m2/dev
I2P ZCB9Y5APAP
| URI | m2://inv/ZCB9Y5APAP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia I2P, I2P (definition). Also Wikidata Q565283
History
- 2026-11-02: add by m2/dev
ZCBCHN7H6G ZCBCHN7H6G
| URI | m2://inv/ZCBCHN7H6G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01073#3VQR (statement). In W4TYN4PGE8/e1, proposition 3.19
History
- 2026-10-27: add by m2/v0.3.5
Statement ZCBDMVEBBH
| URI | m2://inv/ZCBDMVEBBH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holomorphic Lefschetz fixed-point formula#DLQT, Statement (statement)
History
- 2026-11-02: add by m2/dev
ZCBMAZB0PN ZCBMAZB0PN
| URI | m2://inv/ZCBMAZB0PN |
|---|---|
| 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.12047#O8TK (statement). In ZF1Y3HZMZ9/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.3
ZCC71764HT ZCC71764HT
| URI | m2://inv/ZCC71764HT |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.01586#4JPP (proof). In P39MF3ZJC0/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
ZCC778NX7A ZCC778NX7A
| URI | m2://inv/ZCC778NX7A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise-15 (exercise). In E59CDZA4DP, exercise, section 3.2.6
History
- 2026-11-01: add by m2/v0.6.13
strict inequality ZCCN4HXH8K
| URI | m2://inv/ZCCN4HXH8K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3154010, strict inequality (definition). Also MathWorld StrictInequality, ProofWiki Definition:Inequality/Strict
History
- 2026-10-26: add by m2/dev
ZCCPAVEQDB ZCCPAVEQDB
| URI | m2://inv/ZCCPAVEQDB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 2610.13100#74B5 (statement). In CC6S1HVK0T/e1, proposition G.1
History
- 2026-10-28: add by m2/v0.4.2
Infinite binary tree is (very) splitting ZCD14X1WZR
| URI | m2://inv/ZCD14X1WZR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/forcing.tex#example-6, Infinite binary tree is (very) splitting (example). In RZP28ERRZV, example, section 90.2
History
- 2026-11-01: add by m2/v0.6.13
ZCD5J9S8N2 ZCD5J9S8N2
| URI | m2://inv/ZCD5J9S8N2 |
|---|---|
| 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#ORVD (statement). In X38P26DK6S/e1, theorem 4.12
History
- 2026-10-27: add by m2/v0.4.0
Singular isothermal sphere profile ZCDJFXGQYS
| URI | m2://inv/ZCDJFXGQYS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular isothermal sphere profile, Singular isothermal sphere profile (definition). Also Wikidata Q7524245
History
- 2026-11-02: add by m2/dev
ZCDM4CKFSA ZCDM4CKFSA
| URI | m2://inv/ZCDM4CKFSA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/PowerSets.tex#conjecture:PowerSets (exercise). In P1C114YBXG, problem, section G
History
- 2026-11-01: add by m2/v0.6.13
Deep inference ZCDN26X5X1
| URI | m2://inv/ZCDN26X5X1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deep inference, Deep inference (definition). Also Wikidata Q5250402
History
- 2026-11-02: add by m2/dev
ZCDR14RFPG ZCDR14RFPG
| URI | m2://inv/ZCDR14RFPG |
|---|---|
| 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.02993#CMA4 (statement). In TJH58FRGEN/e1, proposition 5.6
History
- 2026-10-29: add by m2/v0.4.12
Properties ZCDYYQ0KP9
| URI | m2://inv/ZCDYYQ0KP9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stanley symmetric function#GR5L, Properties (statement)
History
- 2026-11-02: add by m2/dev
Two-body envelope ZCE8P1MP20
| URI | m2://inv/ZCE8P1MP20 |
|---|---|
| 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.02721#OLJN, Two-body envelope (statement). In XXFYVDVPPE/e1, proposition 3.10
History
- 2026-10-29: add by m2/v0.4.12
ZCEPSVX0PD ZCEPSVX0PD
| URI | m2://inv/ZCEPSVX0PD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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 2211.10178#JL86 (definition). In 8T90H89HNB/e1, definition 1.4
History
- 2026-10-27: add by m2/v0.3.5
ZCEPW762NA ZCEPW762NA
| URI | m2://inv/ZCEPW762NA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04809#ANAL (statement). In 2VHV0RNTNV/e1, corollary 7.22
History
- 2026-10-29: add by m2/v0.4.12
ZCEX3W1QE5 ZCEX3W1QE5
| URI | m2://inv/ZCEX3W1QE5 |
|---|---|
| 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.33863#PLY4 (statement). In B7VJ76TNZX/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
ZCEYDRM599 ZCEYDRM599
| URI | m2://inv/ZCEYDRM599 |
|---|---|
| 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.24522#LFO1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rational number ZCEZYXZCBZ
| URI | m2://inv/ZCEZYXZCBZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#PR0D, Rational number (definition)
History
- 2026-11-02: add by m2/dev
MET Divergence on Minimal Spherical Tubes ZCF4KVJSN8
| URI | m2://inv/ZCF4KVJSN8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05056#62YZ, MET Divergence on Minimal Spherical Tubes (statement). In 4PF04DW3YP/e1, corollary 2.9
History
- 2026-10-29: add by m2/v0.4.12
ZCF84DK3YK ZCF84DK3YK
| URI | m2://inv/ZCF84DK3YK |
|---|---|
| Kind | statement |
| 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#H7GS (statement). In RHN12PW9P9/e1, lemma 2.2
History
- 2026-10-31: add by m2/v0.5.6
Rao–Blackwell theorem ZCF8DQ2P8M
| URI | m2://inv/ZCF8DQ2P8M |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 62-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q579515, Rao–Blackwell theorem (statement). Also Wikidata Q579515
- thousand_plus: thousand_plus Q579515, Rao–Blackwell theorem (statement). Also Wikidata Q579515, Wikipedia Rao–Blackwell theorem
- wikipedia: Wikipedia Rao–Blackwell theorem, Rao–Blackwell theorem (statement). Also Wikidata Q579515
History
- 2026-10-26: add by m2/dev
Theorem ZCFC5T25SB
| URI | m2://inv/ZCFC5T25SB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-differentiability#41CN, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Maria Gordina ZCFJ7Z0BRW
| URI | m2://inv/ZCFJ7Z0BRW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QPW5, Maria Gordina (topic)
History
- 2026-11-02: add by m2/dev
ZCFP6GSACG ZCFP6GSACG
| URI | m2://inv/ZCFP6GSACG |
|---|---|
| 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.19852#8S0G (statement). In SPW2D8X2PG/e1, corollary 4
History
- 2026-10-28: add by m2/v0.4.2
Graphics suite ZCFQYAS204
| URI | m2://inv/ZCFQYAS204 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#JONV, Graphics suite (unknown)
History
- 2026-11-02: add by m2/dev
Irrational number ZCG0Y9F717
| URI | m2://inv/ZCG0Y9F717 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#S61J, Irrational number (definition)
History
- 2026-11-02: add by m2/dev
Anti-torqued vector fields ZCG2QFMGB5
| URI | m2://inv/ZCG2QFMGB5 |
|---|---|
| Kind | example |
| 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 2504.13516#GXLS, Anti-torqued vector fields (example). In Z9JWKWH7CJ/e1, example 3.2
History
- 2026-10-27: add by m2/v0.3.5
Miller–Rabin primality test ZCG5S74B2Y
| URI | m2://inv/ZCG5S74B2Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#ONKD, Miller–Rabin primality test (definition)
History
- 2026-11-02: add by m2/dev
One-bit posterior sampling upper bound ZCGK3K6D9X
| URI | m2://inv/ZCGK3K6D9X |
|---|---|
| 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.11834#OETD, One-bit posterior sampling upper bound (statement). In SMC03CWP4R/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.3
ZCGKTZCPC7 ZCGKTZCPC7
| URI | m2://inv/ZCGKTZCPC7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#75X2 (statement). In CY1FE8W1ZW/e1, lemma 0.145
History
- 2026-10-27: add by m2/v0.4.0
Symmetry ZCGS8XMRFF
| URI | m2://inv/ZCGS8XMRFF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prism (geometry)#A9ED, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Standard Candle ZCGST9H0EY
| URI | m2://inv/ZCGST9H0EY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosmic distance ladder#JYNZ, Standard Candle (unknown)
History
- 2026-11-02: add by m2/dev
David Guwatudde ZCGWDBHHGY
| URI | m2://inv/ZCGWDBHHGY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Guwatudde, David Guwatudde (topic). Also Wikidata Q47367608
History
- 2026-11-02: add by m2/dev
Bihari–LaSalle inequality ZCGX1G0FFR
| URI | m2://inv/ZCGX1G0FFR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bihari–LaSalle inequality, Bihari–LaSalle inequality (statement). Also Wikidata Q4907094
History
- 2026-11-02: add by m2/dev
ZCGX5QKR3H ZCGX5QKR3H
| URI | m2://inv/ZCGX5QKR3H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#F4DU (statement). In VN084GGZGK/e1, lemma 5.14
History
- 2026-10-28: add by m2/v0.4.3
Applications ZCGXAQ861M
| URI | m2://inv/ZCGXAQ861M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero dynamics#7ATO, Applications (example)
History
- 2026-11-02: add by m2/dev
Archytas ZCGY2TAR28
| URI | m2://inv/ZCGY2TAR28 |
|---|---|
| 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 Q202001, Archytas (unknown). Also ProofWiki Mathematician:Archytas_of_Tarentum
History
- 2026-10-26: add by m2/dev
lagrangian submanifold ZCGYR65S7E
| URI | m2://inv/ZCGYR65S7E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3492088, lagrangian submanifold (unknown). Also nLab lagrangian submanifold
History
- 2026-10-26: add by m2/dev
Zeldovich–Frank-Kamenetskii equation ZCH0K95WA8
| URI | m2://inv/ZCH0K95WA8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#LYT6, Zeldovich–Frank-Kamenetskii equation (definition)
History
- 2026-11-02: add by m2/dev
South East Asian Mathematics Competition ZCH8K8YRNV
| URI | m2://inv/ZCH8K8YRNV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia South East Asian Mathematics Competition, South East Asian Mathematics Competition (definition). Also Wikidata Q7567097
History
- 2026-11-02: add by m2/dev
G. I. Joe fallacy ZCHGK5M2TP
| URI | m2://inv/ZCHGK5M2TP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#OXGG, G. I. Joe fallacy (unknown)
History
- 2026-11-02: add by m2/dev
ZCHGS4FBSF ZCHGS4FBSF
| URI | m2://inv/ZCHGS4FBSF |
|---|---|
| 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.03327#R8NV (statement). In EBNXA84CPM/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.12
ZCHNQ6AN6K ZCHNQ6AN6K
| URI | m2://inv/ZCHNQ6AN6K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.05179#HNJD (statement). In 9EMCPF1F2T/e1, theorem 23
History
- 2026-10-29: add by m2/v0.4.10
ZCHT5Y6W32 ZCHT5Y6W32
| URI | m2://inv/ZCHT5Y6W32 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.21552#O3WR (statement)
History
- 2026-11-02: add by m2/v0.6.18
ZCHY66SJC5 ZCHY66SJC5
| URI | m2://inv/ZCHY66SJC5 |
|---|---|
| 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.02790#R5W1 (statement). In NB7HZ8W2K2/e1, proposition 13
History
- 2026-10-29: add by m2/v0.4.12
Shmuel Friedland ZCJ0RXCSP4
| URI | m2://inv/ZCJ0RXCSP4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EZV2, Shmuel Friedland (topic)
History
- 2026-11-02: add by m2/dev
Notation ZCJ9GGCZ7H
| URI | m2://inv/ZCJ9GGCZ7H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Material conditional#99VA, Notation (definition)
History
- 2026-11-02: add by m2/dev
ZCJA78AAFM ZCJA78AAFM
| URI | m2://inv/ZCJA78AAFM |
|---|---|
| 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.27114#4UI5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Higher-order compact finite difference scheme ZCJD61TANC
| URI | m2://inv/ZCJD61TANC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Higher-order compact finite difference scheme, Higher-order compact finite difference scheme (definition). Also Wikidata Q17029661
History
- 2026-11-02: add by m2/dev
mixed graph ZCJDQK7W79
| URI | m2://inv/ZCJDQK7W79 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17104046, mixed graph (unknown). Also MathWorld MixedGraph
- wikipedia: Wikipedia Mixed graph, Mixed graph (definition). Also Wikidata Q17104046
History
- 2026-10-26: add by m2/dev
ZCJFCET77H ZCJFCET77H
| URI | m2://inv/ZCJFCET77H |
|---|---|
| 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 2510.02019#ORLS (statement). In PD607VXPY3/e1, corollary 25
History
- 2026-10-27: add by m2/v0.3.5
principal ideal ZCJMB03987
| URI | m2://inv/ZCJMB03987 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | node (a node has the same name as the row) |
| Node | Principal ideal 00A2EDFT9Q |
Mentions
- arxiv: arXiv 2610.17137#QUNE, Principal ideal (definition). In GKHSE92M91/e1, definition 16
- wikidata: Wikidata Q44382, principal ideal (definition). Also EoM Principal_ideal, MathWorld PrincipalIdeal, nLab principal ideal, ProofWiki Definition:Principal_Ideal_of_Ring
- wikipedia: Wikipedia Principal ideal, Principal ideal (definition). Also Wikidata Q44382
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
- 2026-10-31: merge by m2/v0.5.6
Examples of free independence ZCJNVPHNKF
| URI | m2://inv/ZCJNVPHNKF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free independence#WIZQ, Examples of free independence (example)
History
- 2026-11-02: add by m2/dev
ZCJP1GM32R ZCJP1GM32R
| URI | m2://inv/ZCJP1GM32R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#G1Y7 (statement). In V97F4YZ8B0/e1, theorem 8.13
History
- 2026-10-28: add by m2/v0.4.2
Tropical analysis ZCJR8AAJ1P
| URI | m2://inv/ZCJR8AAJ1P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#D1QX, Tropical analysis (definition)
History
- 2026-11-02: add by m2/dev
ZCJSMJHG33 ZCJSMJHG33
| URI | m2://inv/ZCJSMJHG33 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20421#FJ7W (definition). In Q4R7J8JE3F/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.2
Mobile phone ZCJTHJ6HVD
| URI | m2://inv/ZCJTHJ6HVD |
|---|---|
| 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#6CKO, Mobile phone (unknown)
History
- 2026-11-02: add by m2/dev
GOST ZCJTWBV7S1
| URI | m2://inv/ZCJTWBV7S1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GOST (hash function), GOST (definition). Also Wikidata Q3756229
History
- 2026-11-02: add by m2/dev
Definition ZCJVCHD7EF
| URI | m2://inv/ZCJVCHD7EF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whittle likelihood#MI8B, Definition (definition)
History
- 2026-11-02: add by m2/dev
Geodesic exponential smoothing ZCJX79AR0G
| URI | m2://inv/ZCJX79AR0G |
|---|---|
| Kind | definition |
| 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.20274#UD33, Geodesic exponential smoothing (definition)
History
- 2026-11-02: add by m2/v0.6.18
ZCJXK6CFD5 ZCJXK6CFD5
| URI | m2://inv/ZCJXK6CFD5 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clique-width#HURF (problem)
History
- 2026-11-02: add by m2/dev
Zelen's design ZCK1NQ9EWJ
| URI | m2://inv/ZCK1NQ9EWJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#P2SJ, Zelen's design (definition)
History
- 2026-11-02: add by m2/dev
Cartan–Kähler theorem ZCK6C8RSRD
| URI | m2://inv/ZCK6C8RSRD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Élie Cartan#5RP7, Cartan–Kähler theorem (statement)
History
- 2026-11-02: add by m2/dev
Limit point compact ZCKB53EK4Z
| URI | m2://inv/ZCKB53EK4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit point compact, Limit point compact (definition). Also Wikidata Q6549451
History
- 2026-11-02: add by m2/dev
Uniform interior separation ZCKQHRCA0T
| URI | m2://inv/ZCKQHRCA0T |
|---|---|
| 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.18252#J45L, Uniform interior separation (statement). In PSQ3CNVK2D/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Extensions ZCM703X33Y
| URI | m2://inv/ZCM703X33Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deviance information criterion#MEBJ, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Finite-data criterion and extremal convergence ZCM8JWZ1KW
| URI | m2://inv/ZCM8JWZ1KW |
|---|---|
| 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.37704#YSFZ, Finite-data criterion and extremal convergence (statement). In HGTFJ325A4/e1, proposition 2.3
History
- 2026-10-30: add by m2/v0.4.12
Runge ZCMCAA7KG0
| URI | m2://inv/ZCMCAA7KG0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#W2B5, Runge (definition)
History
- 2026-11-02: add by m2/dev
ZCMCGQKYX8 ZCMCGQKYX8
| URI | m2://inv/ZCMCGQKYX8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.17091#S2M9 (statement). In N0JJM098W2/e1, theorem 15
History
- 2026-10-27: add by m2/v0.4.0
Chandrasekhar's white dwarf equation ZCMET5Y3QN
| URI | m2://inv/ZCMET5Y3QN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chandrasekhar's white dwarf equation, Chandrasekhar's white dwarf equation (definition). Also Wikidata Q48773561
History
- 2026-11-02: add by m2/dev
ZCMFV83NE7 ZCMFV83NE7
| URI | m2://inv/ZCMFV83NE7 |
|---|---|
| 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 2501.17009#JFFE (statement). In PESAKD6SSW/e1, corollary 5.15
History
- 2026-10-27: add by m2/v0.3.6
power set ZCMGHXJ9XK
| URI | m2://inv/ZCMGHXJ9XK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#P77B, power set (definition)
History
- 2026-11-02: add by m2/dev
Wave function ZCMHHZ6G5K
| URI | m2://inv/ZCMHHZ6G5K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wave function, Wave function (definition). Also Wikidata Q2362761
History
- 2026-11-02: add by m2/dev
ZCMQ39GMBV ZCMQ39GMBV
| URI | m2://inv/ZCMQ39GMBV |
|---|---|
| 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 2506.07061#399P (statement). In G2PA4KAGRP/e1, corollary 3.7
History
- 2026-10-27: add by m2/v0.3.6
Problem solving ZCMQNEXBET
| URI | m2://inv/ZCMQNEXBET |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lateral thinking#CYSV, Problem solving (problem)
History
- 2026-11-02: add by m2/dev
ZCMWGJKWZV ZCMWGJKWZV
| URI | m2://inv/ZCMWGJKWZV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17045#I6JY (statement). In PA6JQDSKQT/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Weill's theorem ZCMZJTVE25
| URI | m2://inv/ZCMZJTVE25 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2395582, Weill's theorem (statement). Also MathWorld WeillsTheorem
History
- 2026-10-26: add by m2/dev
ZCNG3FNSQJ ZCNG3FNSQJ
| URI | m2://inv/ZCNG3FNSQJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/pr-functions.tex#defn:primitive-recursion (definition). In PKGMM3P5QY, defn, section 3.30
History
- 2026-11-01: add by m2/v0.6.13
Rectified 5-cell ZCNHM6S2ES
| URI | m2://inv/ZCNHM6S2ES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#1XL5, Rectified 5-cell (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#JF39, Rectified 5-cell (definition)
History
- 2026-11-02: add by m2/dev
Definition (Class functions) ZCNZPZ9K98
| URI | m2://inv/ZCNZPZ9K98 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory of finite groups#SS9M, Definition (Class functions) (definition)
History
- 2026-11-02: add by m2/dev
John Flinders Petrie ZCP6NCYCKV
| URI | m2://inv/ZCP6NCYCKV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Flinders Petrie, John Flinders Petrie (topic). Also Wikidata Q5933241
History
- 2026-11-02: add by m2/dev
ZCP7DJB7MF ZCP7DJB7MF
| URI | m2://inv/ZCP7DJB7MF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.20306#OKKP (statement). In YG5EX49042/e1, lemma 6.5
History
- 2026-10-27: add by m2/v0.4.2
ZCPEN51AV7 ZCPEN51AV7
| URI | m2://inv/ZCPEN51AV7 |
|---|---|
| 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.14204#K7E1 (statement). In GZAY1Y12YD/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
ZCPHZ79NTN ZCPHZ79NTN
| URI | m2://inv/ZCPHZ79NTN |
|---|---|
| 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.19326#AE0J (statement). In YFWDHG947Q/e1, theorem 11
History
- 2026-10-28: add by m2/v0.4.2
ZCPNMYCYJH ZCPNMYCYJH
| URI | m2://inv/ZCPNMYCYJH |
|---|---|
| Kind | definition |
| 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.21960#0CAG (definition). In QX77AN49J0/e1, definition 8.15
History
- 2026-10-27: add by m2/v0.4.2
Definition ZCPPXQ04D2
| URI | m2://inv/ZCPPXQ04D2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mapping class group#AVJG, Definition (definition)
History
- 2026-11-02: add by m2/dev
Gnuplot ZCPSR26HZ0
| URI | m2://inv/ZCPSR26HZ0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#8YKH, Gnuplot (unknown)
History
- 2026-11-02: add by m2/dev
Mac Lane's planarity criterion ZCQ3DT90FZ
| URI | m2://inv/ZCQ3DT90FZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mac Lane's planarity criterion, Mac Lane's planarity criterion (statement). Also Wikidata Q6722305
History
- 2026-11-02: add by m2/dev
Applications ZCQ8PG3NF8
| URI | m2://inv/ZCQ8PG3NF8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blinded experiment#VRJ9, Applications (example)
History
- 2026-11-02: add by m2/dev
ZCQ9WVET91 ZCQ9WVET91
| URI | m2://inv/ZCQ9WVET91 |
|---|---|
| Kind | problem |
| 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.17897#WHKD (problem). In G116A4SMS4/e1, problem
History
- 2026-10-28: add by m2/v0.4.2
Minimax ZCQBSHTB2K
| URI | m2://inv/ZCQBSHTB2K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PKON, Minimax (definition)
History
- 2026-11-02: add by m2/dev
ZCQJGY9PRW ZCQJGY9PRW
| URI | m2://inv/ZCQJGY9PRW |
|---|---|
| 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#QOSF (statement). In JWNYJVH8XG/e1, corollary 4.8
History
- 2026-10-29: add by m2/v0.4.10
Essential ZCQTJQWWA7
| URI | m2://inv/ZCQTJQWWA7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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.13347#GSSX, Essential (definition). In Z6QS82DPHE/e1, definition Definition
History
- 2026-10-28: add by m2/v0.4.2
ZCR1ZQ76W0 ZCR1ZQ76W0
| URI | m2://inv/ZCR1ZQ76W0 |
|---|---|
| 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.25435#BNHD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mutual standardisation ZCRF9G1F8J
| URI | m2://inv/ZCRF9G1F8J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mutual standardisation, Mutual standardisation (definition). Also Wikidata Q6944203
History
- 2026-11-02: add by m2/dev
A Disappearing Number ZCRFE1VY3X
| URI | m2://inv/ZCRFE1VY3X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A Disappearing Number, A Disappearing Number (definition). Also Wikidata Q4656486
History
- 2026-11-02: add by m2/dev
ZCRHSDTQJ2 ZCRHSDTQJ2
| URI | m2://inv/ZCRHSDTQJ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#defn-10 (definition). In E59CDZA4DP, defn, section 11.4.2
History
- 2026-11-01: add by m2/v0.6.13
Bilinski dodecahedron ZCRKXR28YN
| URI | m2://inv/ZCRKXR28YN |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bilinski dodecahedron, Bilinski dodecahedron (object). Also Wikidata Q11620202
History
- 2026-11-02: add by m2/dev
postfix notation ZCRNZSVP18
| URI | m2://inv/ZCRNZSVP18 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q379695, postfix notation (unknown). Also MathWorld ReversePolishNotation
- wikipedia: Wikipedia Reverse Polish notation, Reverse Polish notation (definition). Also Wikidata Q379695
History
- 2026-10-26: add by m2/dev
Removing the boundary tilt ZCRNZX06TR
| URI | m2://inv/ZCRNZX06TR |
|---|---|
| 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.02531#4M4A, Removing the boundary tilt (statement). In 44EQ0MZE8G/e1, lemma 9.4
History
- 2026-10-29: add by m2/v0.4.12
ZCRWEQY11N ZCRWEQY11N
| URI | m2://inv/ZCRWEQY11N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/inner-form.tex#definition-2 (definition). In RZP28ERRZV, definition, section 60.1.2
History
- 2026-11-01: add by m2/v0.6.13
ZCRX6PF5Z3 ZCRX6PF5Z3
| URI | m2://inv/ZCRX6PF5Z3 |
|---|---|
| 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.10902#7OLN (statement). In 96T1K6C3NZ/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.3
Local volume and segment comparison ZCRXX2YHW3
| URI | m2://inv/ZCRXX2YHW3 |
|---|---|
| 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.05204#OYA6, Local volume and segment comparison (statement). In ET0TQ8YF7Z/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.10
ribbon knot ZCS3PW78W7
| URI | m2://inv/ZCS3PW78W7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17102731, ribbon knot (unknown). Also MathWorld RibbonKnot
- wikipedia: Wikipedia Ribbon knot, Ribbon knot (definition). Also Wikidata Q17102731
History
- 2026-10-26: add by m2/dev
ZCS50D4NGJ ZCS50D4NGJ
| URI | m2://inv/ZCS50D4NGJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39307#IH1Z (statement). In QFBGPGRP1P/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
ZCS7H0KM2S ZCS7H0KM2S
| URI | m2://inv/ZCS7H0KM2S |
|---|---|
| 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.23804#KF52 (statement)
History
- 2026-11-02: add by m2/v0.6.17
ZCSAHS4MHX ZCSAHS4MHX
| URI | m2://inv/ZCSAHS4MHX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02961#ZT21 (statement). In 986DENWM1D/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.12
Information dimension ZCSD483Z3T
| URI | m2://inv/ZCSD483Z3T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Information dimension, Information dimension (definition). Also Wikidata Q25303611
History
- 2026-11-02: add by m2/dev
ZCSSHC7WYK ZCSSHC7WYK
| URI | m2://inv/ZCSSHC7WYK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.01411#77FS (statement). In SD28S3K7BT/e1, proposition 22
History
- 2026-10-29: add by m2/v0.4.12
Properties ZCT1Z6Y8DV
| URI | m2://inv/ZCT1Z6Y8DV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plastic ratio#VY1F, Properties (statement)
History
- 2026-11-02: add by m2/dev
Wadim Zudilin ZCT4VVRCWM
| URI | m2://inv/ZCT4VVRCWM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wadim Zudilin, Wadim Zudilin (topic). Also Wikidata Q3710555
History
- 2026-11-02: add by m2/dev
ZCT6DQDWR2 ZCT6DQDWR2
| URI | m2://inv/ZCT6DQDWR2 |
|---|---|
| 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.06886#71N2 (statement). In M7E747AYBP/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
Modeling and Simulation: Conceptual Modeling Overview ZCT7WE6EDY
| URI | m2://inv/ZCT7WE6EDY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conceptual model#VI4E, Modeling and Simulation: Conceptual Modeling Overview (unknown)
History
- 2026-11-02: add by m2/dev
uniform exactness ZCTCVFCVC3
| URI | m2://inv/ZCTCVFCVC3 |
|---|---|
| Kind | definition |
| 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.18106#2VZP, uniform exactness (definition). In VZDPG7NJCX/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.2
Growing order and the infinite-order endpoints ZCTJW6ZCZ5
| URI | m2://inv/ZCTJW6ZCZ5 |
|---|---|
| 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.03638#9ARP, Growing order and the infinite-order endpoints (statement). In H39AZG67B6/e1, corollary 3.3
History
- 2026-10-29: add by m2/v0.4.12
ZCTMZZ4H1K ZCTMZZ4H1K
| URI | m2://inv/ZCTMZZ4H1K |
|---|---|
| Kind | example |
| 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 2405.10747#VUQ6 (example). In X0PS03QCG0/e1, example 5.2
History
- 2026-10-27: add by m2/v0.3.5
ZCTR9RVGT2 ZCTR9RVGT2
| URI | m2://inv/ZCTR9RVGT2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/proofs/proof-by-contradiction.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 44.11
History
- 2026-11-01: add by m2/v0.6.13
ZCTW7D7578 ZCTW7D7578
| URI | m2://inv/ZCTW7D7578 |
|---|---|
| Kind | definition |
| 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 2407.12231#NCRQ (definition). In W44N3VEC6H/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.6
Congruence of squares ZCV0DN2YHA
| URI | m2://inv/ZCV0DN2YHA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#JSVI, Congruence of squares (definition)
History
- 2026-11-02: add by m2/dev
ZCV189XBW5 ZCV189XBW5
| URI | m2://inv/ZCV189XBW5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#example-7 (example). In RZP28ERRZV, example, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Hydra theorem ZCV2A9PNKP
| URI | m2://inv/ZCV2A9PNKP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Buchholz hydra#KRUD, Hydra theorem (statement)
History
- 2026-11-02: add by m2/dev
Special cases ZCV4SX73XY
| URI | m2://inv/ZCV4SX73XY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chern–Gauss–Bonnet theorem#V4CT, Special cases (statement)
History
- 2026-11-02: add by m2/dev
ZCVJ4TKJJC ZCVJ4TKJJC
| URI | m2://inv/ZCVJ4TKJJC |
|---|---|
| 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.04600#OV85 (statement). In 4V64K0DYSV/e1, lemma I.8.4
History
- 2026-10-29: add by m2/v0.4.12
ZCVP8GN5V1 ZCVP8GN5V1
| URI | m2://inv/ZCVP8GN5V1 |
|---|---|
| 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.31604#ZAQS (statement). In GSN5YTQS2K/e1, proposition 3.26
History
- 2026-10-31: add by m2/v0.5.6
Geometric topology ZCVPB8KRAQ
| URI | m2://inv/ZCVPB8KRAQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric topology (object), Geometric topology (definition). Also Wikidata Q5535500
History
- 2026-11-02: add by m2/dev
ZCVRS989R0 ZCVRS989R0
| URI | m2://inv/ZCVRS989R0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19288#GJ10 (statement). In 1EA6AM9V01/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
Normal-inverse Gaussian distribution ZCVSEY0W0F
| URI | m2://inv/ZCVSEY0W0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal-inverse Gaussian distribution, Normal-inverse Gaussian distribution (definition). Also Wikidata Q7051759
History
- 2026-11-02: add by m2/dev
ZCVTKX5ACM ZCVTKX5ACM
| URI | m2://inv/ZCVTKX5ACM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.04566#5GXO (definition). In 80S2NP05HJ/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.0
Properties ZCVXXV7ZSB
| URI | m2://inv/ZCVXXV7ZSB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wythoff array#YHSG, Properties (statement)
History
- 2026-11-02: add by m2/dev
14100 Weierstrass ZCW0Z5NDQH
| URI | m2://inv/ZCW0Z5NDQH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Karl Weierstrass#ZCJ9, 14100 Weierstrass (unknown)
History
- 2026-11-02: add by m2/dev
Kanizsa triangle ZCW3XWQR1S
| URI | m2://inv/ZCW3XWQR1S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3325180, Kanizsa triangle (unknown). Also MathWorld KanizsaTriangle
History
- 2026-10-26: add by m2/dev
ZCW4ZFTQ1W ZCW4ZFTQ1W
| URI | m2://inv/ZCW4ZFTQ1W |
|---|---|
| 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.19251#BDCK (statement). In CSW6NG0FRN/e1, corollary 4.14
History
- 2026-10-28: add by m2/v0.4.2
A. G. Khovanskii ZCW5F1JZXS
| URI | m2://inv/ZCW5F1JZXS |
|---|---|
| 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#4BEF, A. G. Khovanskii (topic)
History
- 2026-11-02: add by m2/dev
ZCW94X268M ZCW94X268M
| URI | m2://inv/ZCW94X268M |
|---|---|
| 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.11031#N08W (statement). In 9DMJXFRQN9/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.3
Estimation and gridding error ZCWAKBM1MD
| URI | m2://inv/ZCWAKBM1MD |
|---|---|
| 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.10393#CQXW, Estimation and gridding error (statement). In ZGS97E3PB7/e1, proposition B.2
History
- 2026-10-29: add by m2/v0.4.10
ZCWEKDZ982 ZCWEKDZ982
| URI | m2://inv/ZCWEKDZ982 |
|---|---|
| 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 2405.02275#BTI8 (statement). In 1QXCNGRWV1/e1, lemma 2.15
History
- 2026-10-27: add by m2/v0.3.5
toroidal graph ZCWPDXJT2C
| URI | m2://inv/ZCWPDXJT2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115609, toroidal graph (definition). Also MathWorld ToroidalGraph, ProofWiki Definition:Toroidal_Graph
- wikipedia: Wikipedia Toroidal graph, Toroidal graph (definition). Also Wikidata Q3115609
History
- 2026-10-26: add by m2/dev
Elena Erosheva ZCX0FGNPZC
| URI | m2://inv/ZCX0FGNPZC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#S7VM, Elena Erosheva (topic)
History
- 2026-11-02: add by m2/dev
Zheleznogorsk ZCX3C1XFP7
| URI | m2://inv/ZCX3C1XFP7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#RPI9, Zheleznogorsk (unknown)
History
- 2026-11-02: add by m2/dev
Dynamical friction ZCX6HQHX6E
| URI | m2://inv/ZCX6HQHX6E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamical friction, Dynamical friction (definition). Also Wikidata Q1268968
History
- 2026-11-02: add by m2/dev
Minkowski's lemma ZCXPJESH9V
| URI | m2://inv/ZCXPJESH9V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12619#YYF9, Minkowski's lemma (statement). In 7F8KACT5AJ/e1, lemma A.2
History
- 2026-10-28: add by m2/v0.4.2
Four Roads Junction ZCXPPASBM6
| URI | m2://inv/ZCXPPASBM6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#8ES0, Four Roads Junction (unknown)
History
- 2026-11-02: add by m2/dev
ZCXRG1S7XB ZCXRG1S7XB
| URI | m2://inv/ZCXRG1S7XB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23098#UGB0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
ZCXZ4ADPGR ZCXZ4ADPGR
| URI | m2://inv/ZCXZ4ADPGR |
|---|---|
| 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.14783#E8B6 (statement). In Y3X5XY2J65/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
List of fixed-point theorems ZCY70MNKKR
| URI | m2://inv/ZCY70MNKKR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fixed-point theorem#XJ2L, List of fixed-point theorems (statement)
History
- 2026-11-02: add by m2/dev
Theorem ZCY84X0A7K
| URI | m2://inv/ZCY84X0A7K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Palm–Khintchine theorem#HN2H, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Statement ZCYG5SKR9M
| URI | m2://inv/ZCYG5SKR9M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebotarev density theorem#NFJX, Statement (statement)
History
- 2026-11-02: add by m2/dev
Theorem 8 of the author's preprint ZCYKA2HM4G
| URI | m2://inv/ZCYKA2HM4G |
|---|---|
| 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.18154#VRK7, Theorem 8 of the author's preprint (statement). In 4W7ARR1DAR/e1, fact B.16
History
- 2026-10-28: add by m2/v0.4.2
Reduction compass ZCYKBS0CXF
| URI | m2://inv/ZCYKBS0CXF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reduction compass, Reduction compass (definition). Also Wikidata Q52161436
History
- 2026-11-02: add by m2/dev
ZCYKHF9MGC ZCYKHF9MGC
| URI | m2://inv/ZCYKHF9MGC |
|---|---|
| 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.02790#TQ0L (statement). In NB7HZ8W2K2/e1, proposition 31
History
- 2026-10-29: add by m2/v0.4.12
Modal subordination ZCYNJZ0W5S
| URI | m2://inv/ZCYNJZ0W5S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modal subordination, Modal subordination (definition). Also Wikidata Q105453208
History
- 2026-11-02: add by m2/dev
Kravchuk polynomials ZCYSKHBE7N
| URI | m2://inv/ZCYSKHBE7N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Krawtchouk polynomials CJGKW80KBR |
Mentions
- wikidata: Wikidata Q4298931, Kravchuk polynomials (concept). Also EoM Krawtchouk_polynomials, MathWorld KrawtchoukPolynomial
- wikipedia: Wikipedia Kravchuk polynomials, Kravchuk polynomials (definition). Also Wikidata Q4298931
History
- 2026-10-26: add by m2/dev
ZCZ0916WC3 ZCZ0916WC3
| URI | m2://inv/ZCZ0916WC3 |
|---|---|
| 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.15086#7QRN (statement). In V60MVF3KQ1/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Sylvie Boldo ZCZ64SS60P
| URI | m2://inv/ZCZ64SS60P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvie Boldo, Sylvie Boldo (topic). Also Wikidata Q102399015
History
- 2026-11-02: add by m2/dev
Population dynamics ZCZR6VH6CP
| URI | m2://inv/ZCZR6VH6CP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#G17K, Population dynamics (definition)
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#SG5D, Population dynamics (definition)
History
- 2026-11-02: add by m2/dev
A uniform one-step inequality ZCZWEJAJ06
| URI | m2://inv/ZCZWEJAJ06 |
|---|---|
| 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.01843#QLRT, A uniform one-step inequality (statement). In EDG9ZFDSWK/e1, proposition A.8
History
- 2026-10-29: add by m2/v0.4.12