Inventory rows DE
The cards of the rows of the inventory whose ids start with DE. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
DE03JNQB1Z DE03JNQB1Z
| URI | m2://inv/DE03JNQB1Z |
|---|---|
| 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 2203.00606#2SS9 (statement). In 3WBQFVX65D/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
DE03KWQXCE DE03KWQXCE
| URI | m2://inv/DE03KWQXCE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33027#6MJH (statement). In E2AF84709B/e1, proposition 9
History
- 2026-10-31: add by m2/v0.5.6
DE0C9G8PPQ DE0C9G8PPQ
| URI | m2://inv/DE0C9G8PPQ |
|---|---|
| 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#DLAY (statement). In ZF1Y3HZMZ9/e1, proposition 6.4
History
- 2026-10-28: add by m2/v0.4.3
DE0CGMV70S DE0CGMV70S
| URI | m2://inv/DE0CGMV70S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33050#PMFH (statement). In VDSBMQ0G9W/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
DE0G946F95 DE0G946F95
| URI | m2://inv/DE0G946F95 |
|---|---|
| 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.04876#O2UT (statement). In 2TNAKVC0YP/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
DE0K6QMPPP DE0K6QMPPP
| URI | m2://inv/DE0K6QMPPP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32439#80BT (statement). In GD8D1YH7K4/e1, theorem 3.3
History
- 2026-10-31: add by m2/v0.5.6
Analogous laws DE0P9E8KW6
| URI | m2://inv/DE0P9E8KW6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hooke's law#UP9U, Analogous laws (statement)
History
- 2026-11-02: add by m2/dev
DE169AF2DT DE169AF2DT
| URI | m2://inv/DE169AF2DT |
|---|---|
| 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.16844#BB6S (statement). In MAY0WVXT07/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Examples DE1FJ2ADB9
| URI | m2://inv/DE1FJ2ADB9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diagonal form#UD34, Examples (example)
History
- 2026-11-02: add by m2/dev
integration along the fiber DE1FKZQG5R
| URI | m2://inv/DE1FKZQG5R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#WKGG, integration along the fiber (definition)
History
- 2026-11-02: add by m2/dev
DE1KQ498T1 DE1KQ498T1
| URI | m2://inv/DE1KQ498T1 |
|---|---|
| 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#KY63 (statement)
History
- 2026-11-02: add by m2/v0.6.17
DE1R3FPAYN DE1R3FPAYN
| URI | m2://inv/DE1R3FPAYN |
|---|---|
| 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.19882#6MKX (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties DE1TN9ZRP4
| URI | m2://inv/DE1TN9ZRP4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert projection theorem#AEFJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
DE1V7QR73R DE1V7QR73R
| URI | m2://inv/DE1V7QR73R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20516#XQDE (definition)
History
- 2026-11-02: add by m2/v0.6.18
Index DE1Z951Z7H
| URI | m2://inv/DE1Z951Z7H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index (economics), Index (definition). Also Wikidata Q2272475
History
- 2026-11-02: add by m2/dev
Nikulin DE21YB95XS
| URI | m2://inv/DE21YB95XS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16408#QKHO, Nikulin (statement). In VGQ2QT73ZF/e1, theorem 2.3
History
- 2026-10-28: add by m2/v0.4.2
Definition DE25XTJXKH
| URI | m2://inv/DE25XTJXKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Institute of Statistics and Censuses of Argentina#QGKV, Definition (definition)
History
- 2026-11-02: add by m2/dev
Equivariant noncommutative algebraic geometry DE2EM02RPM
| URI | m2://inv/DE2EM02RPM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#C605, Equivariant noncommutative algebraic geometry (definition)
History
- 2026-11-02: add by m2/dev
separable DE2FRTHX1R
| URI | m2://inv/DE2FRTHX1R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#675M, separable (definition)
History
- 2026-11-02: add by m2/dev
Luhn mod N algorithm DE2JCTETT5
| URI | m2://inv/DE2JCTETT5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luhn mod N algorithm, Luhn mod N algorithm (definition). Also Wikidata Q6699881
History
- 2026-11-02: add by m2/dev
Trigonal trapezohedral honeycomb DE2RBBER31
| URI | m2://inv/DE2RBBER31 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonal trapezohedral honeycomb, Trigonal trapezohedral honeycomb (object). Also Wikidata Q17078571
History
- 2026-11-02: add by m2/dev
DE2S9MGNQG DE2S9MGNQG
| URI | m2://inv/DE2S9MGNQG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 62-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35574#N0LJ (statement). In 3Q70DMD7Z7/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
DE358QG8NJ DE358QG8NJ
| URI | m2://inv/DE358QG8NJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0808.1331#H7U2 (statement). In RB2B1N73P0/e1, corollary 3.5
History
- 2026-10-27: add by m2/v0.3.5
DE39AM8180 DE39AM8180
| URI | m2://inv/DE39AM8180 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/beyond/intuitionistic-logic.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 9.3
History
- 2026-11-01: add by m2/v0.6.13
K-theory DE3HEZZM59
| URI | m2://inv/DE3HEZZM59 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#VICK, K-theory (definition)
History
- 2026-11-02: add by m2/dev
Equivalence for periodic waves DE3K1D2F5K
| URI | m2://inv/DE3K1D2F5K |
|---|---|
| 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.01883#7QW5, Equivalence for periodic waves (statement). In CYV4P9TDV0/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Full set DE3QYBY3R2
| URI | m2://inv/DE3QYBY3R2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#BDED, Full set (definition)
History
- 2026-11-02: add by m2/dev
DE3VZ9TM9M DE3VZ9TM9M
| URI | m2://inv/DE3VZ9TM9M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15631#87QS (definition). In AF465QFRGQ/e1, definition II.1
History
- 2026-10-28: add by m2/v0.4.2
Examples DE4463EWWC
| URI | m2://inv/DE4463EWWC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Killing tensor#IWBL, Examples (example)
History
- 2026-11-02: add by m2/dev
Peter Ozsváth DE47K3PCBG
| URI | m2://inv/DE47K3PCBG |
|---|---|
| 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#OIIV, Peter Ozsváth (topic)
History
- 2026-11-02: add by m2/dev
Harrop formula DE4EK3ZKQQ
| URI | m2://inv/DE4EK3ZKQQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harrop formula, Harrop formula (statement). Also Wikidata Q5666472
History
- 2026-11-02: add by m2/dev
Competitors for Kantorovich duality DE4EZP7R15
| URI | m2://inv/DE4EZP7R15 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX, 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.21775#R2E8, Competitors for Kantorovich duality (definition). In KM3Q791JY0/e1, definition 2.24
History
- 2026-10-27: add by m2/v0.4.2
Dick de Jongh DE4KE8RTQZ
| URI | m2://inv/DE4KE8RTQZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dick de Jongh, Dick de Jongh (topic). Also Wikidata Q5273594
History
- 2026-11-02: add by m2/dev
DE4V2DP1P9 DE4V2DP1P9
| URI | m2://inv/DE4V2DP1P9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18673#O8MA (statement). In 7ZFD9XRKA1/e1, theorem 6.8
History
- 2026-10-28: add by m2/v0.4.2
Normal representation is unique DE4ZEYQBHT
| URI | m2://inv/DE4ZEYQBHT |
|---|---|
| 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#J3ML, Normal representation is unique (statement). In 3GF75S0XJ0/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.0
DE52GVTTTC DE52GVTTTC
| URI | m2://inv/DE52GVTTTC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#5FRS (statement). In MRR92GQNZE/e1, lemma 5.4
History
- 2026-10-30: add by m2/v0.4.12
Monotone convergence theorem DE57T5DJW8
| URI | m2://inv/DE57T5DJW8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#WGW4, Monotone convergence theorem (statement)
History
- 2026-11-02: add by m2/dev
Truth of axioms DE5B1XA97S
| URI | m2://inv/DE5B1XA97S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brouwer–Hilbert controversy#AR48, Truth of axioms (statement)
History
- 2026-11-02: add by m2/dev
U test DE5B5E8SCA
| URI | m2://inv/DE5B5E8SCA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UH6H, U test (definition)
History
- 2026-11-02: add by m2/dev
array DE5B7KK2T4
| URI | m2://inv/DE5B7KK2T4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Data structures > List-like structures > array, array (unknown). Also Mathlib Array
History
- 2026-10-26: add by m2/dev
Boisi Center for Religion and American Public Life DE5HBFPVEM
| URI | m2://inv/DE5HBFPVEM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of research centers at Boston College#H1G7, Boisi Center for Religion and American Public Life (unknown)
History
- 2026-11-02: add by m2/dev
DE5VS5GXSA DE5VS5GXSA
| URI | m2://inv/DE5VS5GXSA |
|---|---|
| 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 2609.39700#0DOP (statement). In E7W2HDNEKJ/e1, proposition 10.8
History
- 2026-10-30: add by m2/v0.4.12
Lindsey–Fox algorithm DE5ZH1MB87
| URI | m2://inv/DE5ZH1MB87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lindsey–Fox algorithm, Lindsey–Fox algorithm (definition). Also Wikidata Q6552916
History
- 2026-11-02: add by m2/dev
DE5ZQ75534 DE5ZQ75534
| URI | m2://inv/DE5ZQ75534 |
|---|---|
| Kind | definition |
| 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 2411.01837#QRNY (definition). In 2XBYZ1QP22/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
DE615NTBEG DE615NTBEG
| URI | m2://inv/DE615NTBEG |
|---|---|
| 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#MQLG (statement). In W4TYN4PGE8/e1, theorem 6.23
History
- 2026-10-27: add by m2/v0.3.5
Properties DE63X41ZNY
| URI | m2://inv/DE63X41ZNY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tarski monster group#OROU, Properties (statement)
History
- 2026-11-02: add by m2/dev
Crossing depth DE6B1NJJQ4
| URI | m2://inv/DE6B1NJJQ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37368#Y7OZ, Crossing depth (statement). In FRMCKEGVJZ/e1, lemma 22
History
- 2026-10-30: add by m2/v0.4.12
DE6DT3HG5A DE6DT3HG5A
| URI | m2://inv/DE6DT3HG5A |
|---|---|
| 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 0807.1652#XLC5 (statement). In 6RC18PTSTT/e1, theorem 9
History
- 2026-10-27: add by m2/v0.3.5
Leader election DE6E80N9NF
| URI | m2://inv/DE6E80N9NF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#7FQ2, Leader election (unknown)
History
- 2026-11-02: add by m2/dev
Theorem (Extending seminorms) DE6HPCXQQ1
| URI | m2://inv/DE6HPCXQQ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seminorm#4TL2, Theorem (Extending seminorms) (statement)
History
- 2026-11-02: add by m2/dev
Scientism DE717S8R6E
| URI | m2://inv/DE717S8R6E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientism, Scientism (definition). Also Wikidata Q193626
History
- 2026-11-02: add by m2/dev
Cone DE72W3A11N
| URI | m2://inv/DE72W3A11N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formulas in elementary geometry#PBI0, Cone (definition)
History
- 2026-11-02: add by m2/dev
Eilenberg-Zilber category DE74ZJX27A
| URI | m2://inv/DE74ZJX27A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reedy category#YDYY, Eilenberg-Zilber category (unknown)
History
- 2026-11-02: add by m2/dev
Winpepi DE78HPKS09
| URI | m2://inv/DE78HPKS09 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Winpepi, Winpepi (definition). Also Wikidata Q8025910
History
- 2026-11-02: add by m2/dev
Support function and angular gap DE7CJPE5JX
| URI | m2://inv/DE7CJPE5JX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#8EOP, Support function and angular gap (definition)
History
- 2026-11-01: add by m2/v0.6.15
Examples DE7GPXZVS3
| URI | m2://inv/DE7GPXZVS3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric relation#0U3U, Examples (example)
History
- 2026-11-02: add by m2/dev
DE7PKF89RM DE7PKF89RM
| URI | m2://inv/DE7PKF89RM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19449#A2YK (statement). In 8ZKPJ3CBDF/e1, lemma 3.11
History
- 2026-10-28: add by m2/v0.4.2
List of Ukrainian mathematicians DE7Y7N29RB
| URI | m2://inv/DE7Y7N29RB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematicians#05NC, List of Ukrainian mathematicians (topic)
History
- 2026-11-02: add by m2/dev
The equivariant reduced fiber sequence DE80BH1FWQ
| URI | m2://inv/DE80BH1FWQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#YVF2, The equivariant reduced fiber sequence (statement). In G3D1YR20BJ/e1, lemma 3.24
History
- 2026-10-29: add by m2/v0.4.12
Regiomontanus' angle maximization problem DE80QMKNNY
| URI | m2://inv/DE80QMKNNY |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#IOBW, Regiomontanus' angle maximization problem (problem)
- wikipedia: Wikipedia List of calculus topics#4RM1, Regiomontanus' angle maximization problem (problem)
History
- 2026-11-02: add by m2/dev
Tadeusz Wazewski DE8PYMBZPZ
| URI | m2://inv/DE8PYMBZPZ |
|---|---|
| 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#5VPH, Tadeusz Wazewski (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WVW3, Tadeusz Wazewski (topic)
History
- 2026-11-02: add by m2/dev
Blaschke selection theorem DE8Q49JJSP
| URI | m2://inv/DE8Q49JJSP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 54-XX |
| Sources | 4 |
| Outcome | open |
| Node | Blaschke selection theorem D9C581V5HG |
Mentions
- mathlib_1000: mathlib_1000 Q784049, Blaschke selection theorem (statement). Also Wikidata Q784049
- thousand_plus: thousand_plus Q784049, Blaschke selection theorem (statement). Also Wikidata Q784049, Wikipedia Blaschke selection theorem
- wikidata: Wikidata Q784049, Blaschke selection theorem (statement). Also EoM Blaschke selection theorem
- wikipedia: Wikipedia Blaschke selection theorem, Blaschke selection theorem (statement). Also Wikidata Q784049
History
- 2026-10-26: add by m2/dev
Generalizations DE91HVB5PZ
| URI | m2://inv/DE91HVB5PZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steiner chain#I10N, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
measurable cardinal DE983XF5XX
| URI | m2://inv/DE983XF5XX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Measurable cardinal AKBWT323RQ |
Mentions
- wikidata: Wikidata Q925445, measurable cardinal (unknown). Also nLab measurable cardinal
- wikipedia: Wikipedia Measurable cardinal, Measurable cardinal (definition). Also Wikidata Q925445
History
- 2026-10-26: add by m2/dev
Uniform-in-time propagation of chaos DE9BJXHFH4
| URI | m2://inv/DE9BJXHFH4 |
|---|---|
| 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.21828#GMTL, Uniform-in-time propagation of chaos (statement). In B5M7S1FGS0/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.4.2
valid DE9KBXJX8E
| URI | m2://inv/DE9KBXJX8E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#ERF9, valid (definition)
History
- 2026-11-02: add by m2/dev
DE9M1177T5 DE9M1177T5
| URI | m2://inv/DE9M1177T5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-4.xml#activity-1 (exercise). In 649HGZKE96, activity, section 4.4.2
History
- 2026-11-01: add by m2/v0.6.13
Half-truth DE9PZN5PFY
| URI | m2://inv/DE9PZN5PFY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Half-truth, Half-truth (definition). Also Wikidata Q2104404
History
- 2026-11-02: add by m2/dev
Product of nuisance errors DE9RN1016N
| URI | m2://inv/DE9RN1016N |
|---|---|
| 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.20772#31SD, Product of nuisance errors (statement)
History
- 2026-11-02: add by m2/v0.6.18
DE9SWW1X5F DE9SWW1X5F
| URI | m2://inv/DE9SWW1X5F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.17276#P5PN (statement). In EWKHA675JY/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.5
DE9W56CETZ DE9W56CETZ
| URI | m2://inv/DE9W56CETZ |
|---|---|
| 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.33578#V0E3 (statement). In 3XTDDKY6YE/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
First nonconstant even eigenvalue DEADMRC8Q7
| URI | m2://inv/DEADMRC8Q7 |
|---|---|
| Kind | definition |
| 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#SE2Z, First nonconstant even eigenvalue (definition)
History
- 2026-11-02: add by m2/v0.6.18
DEAF06GJX1 DEAF06GJX1
| URI | m2://inv/DEAF06GJX1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31104#R8K2 (statement). In 67NFPNF39Y/e1, theorem 1.8
History
- 2026-10-31: add by m2/v0.5.6
Edith Rita Lowenstern DEASVY2P8C
| URI | m2://inv/DEASVY2P8C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edith Rita Lowenstern, Edith Rita Lowenstern (topic). Also Wikidata Q138662962
History
- 2026-11-02: add by m2/dev
Loop algebra DEAXS0FRX3
| URI | m2://inv/DEAXS0FRX3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loop algebra, Loop algebra (definition). Also Wikidata Q17098626
History
- 2026-11-02: add by m2/dev
Cauchy number DEB4Z9MCE5
| URI | m2://inv/DEB4Z9MCE5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#FSA9, Cauchy number (unknown)
History
- 2026-11-02: add by m2/dev
DEBE7GGV8A DEBE7GGV8A
| URI | m2://inv/DEBE7GGV8A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35307#J94R (statement). In FT5TKY10T8/e1, proposition 7.1
History
- 2026-10-30: add by m2/v0.4.12
All-Helps-One Inner Bound DEBGGSWT21
| URI | m2://inv/DEBGGSWT21 |
|---|---|
| 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.19715#H4WK, All-Helps-One Inner Bound (statement). In XXMP1Z495D/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
distance DEBHGNS26T
| URI | m2://inv/DEBHGNS26T |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3.3/distance, distance (concept). In N54F33XE07, index, section B.3.3
History
- 2026-11-01: add by m2/v0.6.13
DEC59M71J1 DEC59M71J1
| URI | m2://inv/DEC59M71J1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38206#18FF (statement). In F71MS1F637/e1, theorem 5.15
History
- 2026-10-30: add by m2/v0.4.12
Alice Lee DECATEKSFN
| URI | m2://inv/DECATEKSFN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alice Lee (mathematician), Alice Lee (topic). Also Wikidata Q15994577
History
- 2026-11-02: add by m2/dev
Madapusi--Youcis DECBY7PHKC
| URI | m2://inv/DECBY7PHKC |
|---|---|
| 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.33808#BH87, Madapusi--Youcis (definition). In 328KGRNN0W/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Formal definition DECC13HKJM
| URI | m2://inv/DECC13HKJM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom schema#I7E9, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
DECGT5R4JW DECGT5R4JW
| URI | m2://inv/DECGT5R4JW |
|---|---|
| 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#Q5I0 (statement). In VN084GGZGK/e1, theorem 3.18
History
- 2026-10-28: add by m2/v0.4.3
DECQTCZMZP DECQTCZMZP
| URI | m2://inv/DECQTCZMZP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21403#G8QG (statement)
History
- 2026-11-02: add by m2/v0.6.18
No simultaneous plant generation and pumping DECSV7Q6P7
| URI | m2://inv/DECSV7Q6P7 |
|---|---|
| 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.21808#40IU, No simultaneous plant generation and pumping (statement)
History
- 2026-11-02: add by m2/v0.6.18
DECYWRMVZE DECYWRMVZE
| URI | m2://inv/DECYWRMVZE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16554#XT3R (statement). In GWNT8HEZG1/e1, proposition 2.15
History
- 2026-10-27: add by m2/v0.3.6
Characterization DED338K8X3
| URI | m2://inv/DED338K8X3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nilpotent matrix#NRS3, Characterization (statement)
History
- 2026-11-02: add by m2/dev
DED4W4B93R DED4W4B93R
| URI | m2://inv/DED4W4B93R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#R6GN (definition). In 9DQKY7KGE8/e1, definition 6.34
History
- 2026-10-27: add by m2/v0.3.5
DED9EV4AGB DED9EV4AGB
| URI | m2://inv/DED9EV4AGB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25111#KUZY (example)
History
- 2026-11-01: add by m2/v0.6.15
DEDQ294Q8B DEDQ294Q8B
| URI | m2://inv/DEDQ294Q8B |
|---|---|
| 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.26074#JKYO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Du Bois-Reymond's theorem DEDW1P4ZAF
| URI | m2://inv/DEDW1P4ZAF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus of variations#0OIG, Du Bois-Reymond's theorem (statement)
History
- 2026-11-02: add by m2/dev
Quasisymmetric map DEDYAA34KH
| URI | m2://inv/DEDYAA34KH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasisymmetric map, Quasisymmetric map (definition). Also Wikidata Q7269534
History
- 2026-11-02: add by m2/dev
DEE0YAYFXE DEE0YAYFXE
| URI | m2://inv/DEE0YAYFXE |
|---|---|
| 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.10819#SNF4 (statement). In M96CSJBYGW/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.3
Gradient pattern analysis DEE1Q0E9J2
| URI | m2://inv/DEE1Q0E9J2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gradient pattern analysis, Gradient pattern analysis (definition). Also Wikidata Q5591917
History
- 2026-11-02: add by m2/dev
Seese's theorem DEE4BGX392
| URI | m2://inv/DEE4BGX392 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logic of graphs#3UW8, Seese's theorem (statement)
History
- 2026-11-02: add by m2/dev
Wassily Hoeffding DEEBEAS8AW
| URI | m2://inv/DEEBEAS8AW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wassily Hoeffding, Wassily Hoeffding (topic). Also Wikidata Q323204
History
- 2026-11-02: add by m2/dev
Formal statement DEEBGKE7JN
| URI | m2://inv/DEEBGKE7JN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yao's test#GJ6B, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
DEEMMK99BV DEEMMK99BV
| URI | m2://inv/DEEMMK99BV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21528#FPE1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition DEEVTR7A8C
| URI | m2://inv/DEEVTR7A8C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Term (logic)#NWH3, Definition (definition)
History
- 2026-11-02: add by m2/dev
DEEW751C1X DEEW751C1X
| URI | m2://inv/DEEW751C1X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01912#Z5Z7 (definition). In CTE1C9KYPY/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Law DEF2D56V1G
| URI | m2://inv/DEF2D56V1G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francis Bacon#B71I, Law (statement)
History
- 2026-11-02: add by m2/dev
Necklace problem DEF2GF2VH6
| URI | m2://inv/DEF2GF2VH6 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Necklace problem, Necklace problem (problem). Also Wikidata Q6985583
History
- 2026-11-02: add by m2/dev
DEF698DKM4 DEF698DKM4
| URI | m2://inv/DEF698DKM4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-39 (proof). In VNMV985MXX, proof, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
HP-42S DEF89Z79RS
| URI | m2://inv/DEF89Z79RS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HP-42S, HP-42S (definition). Also Wikidata Q3076072
History
- 2026-11-02: add by m2/dev
DEFEHVX2HE DEFEHVX2HE
| URI | m2://inv/DEFEHVX2HE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25004#EORH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mehler kernel DEFN02RF4V
| URI | m2://inv/DEFN02RF4V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mehler kernel, Mehler kernel (definition). Also Wikidata Q6809515
History
- 2026-11-02: add by m2/dev
Quantum channel DEFW13FH6Y
| URI | m2://inv/DEFW13FH6Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum channel, Quantum channel (definition). Also Wikidata Q2122176
History
- 2026-11-02: add by m2/dev
Reciprocal radii and geometric references DEG1Z10Q9D
| URI | m2://inv/DEG1Z10Q9D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15202#BOX6, Reciprocal radii and geometric references (statement). In X1FPG0KYBM/e1, lemma L.2
History
- 2026-10-28: add by m2/v0.4.2
Temporal fair division DEG9HA4BAT
| URI | m2://inv/DEG9HA4BAT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Temporal fair division, Temporal fair division (definition). Also Wikidata Q135397358
History
- 2026-11-02: add by m2/dev
DEGBRR0E3F DEGBRR0E3F
| URI | m2://inv/DEGBRR0E3F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#prob:OK_linalg (exercise). In RZP28ERRZV, problem, section 9.9.3
History
- 2026-11-01: add by m2/v0.6.13
Cross-ratio criterion DEGGRW8422
| URI | m2://inv/DEGGRW8422 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective harmonic conjugate#VSRD, Cross-ratio criterion (statement)
History
- 2026-11-02: add by m2/dev
Local consistency error for the reflected scheme DEGNCBAA9F
| URI | m2://inv/DEGNCBAA9F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29524#LNDJ, Local consistency error for the reflected scheme (statement)
History
- 2026-11-01: add by m2/v0.6.15
DEGRDBJB6Y DEGRDBJB6Y
| URI | m2://inv/DEGRDBJB6Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#L0WI (statement). In 3A4K47Y9F2/e1, theorem 7.3
History
- 2026-10-27: add by m2/v0.4.0
DEGYZPGFP7 DEGYZPGFP7
| URI | m2://inv/DEGYZPGFP7 |
|---|---|
| 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 2609.29925#FVX4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Virial theorem DEH0FDY433
| URI | m2://inv/DEH0FDY433 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#4U8M, Virial theorem (statement)
History
- 2026-11-02: add by m2/dev
DEH3GXY3JF DEH3GXY3JF
| URI | m2://inv/DEH3GXY3JF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26650#924F (definition)
History
- 2026-11-01: add by m2/v0.6.15
DEH51E5TT7 DEH51E5TT7
| URI | m2://inv/DEH51E5TT7 |
|---|---|
| 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 1809.06512#KJRA (statement). In RY2X22P6XW/e1, theorem 32
History
- 2026-10-27: add by m2/v0.3.5
Competitors of Moderate Coefficient Norm in the Test Space DEH5YCEC5N
| URI | m2://inv/DEH5YCEC5N |
|---|---|
| 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.13222#MQMA, Competitors of Moderate Coefficient Norm in the Test Space (statement). In Z6WA2R0J50/e1, theorem 2.20
History
- 2026-10-28: add by m2/v0.4.2
DEHBY525MP DEHBY525MP
| URI | m2://inv/DEHBY525MP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25717#F2IM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Local complementation DEHDEWE99S
| URI | m2://inv/DEHDEWE99S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local complementation, Local complementation (definition). Also Wikidata Q137638723
History
- 2026-11-02: add by m2/dev
DEHF5T85AS DEHF5T85AS
| URI | m2://inv/DEHF5T85AS |
|---|---|
| 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.15525#3RIY (statement). In EFDRME13PT/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
DEHGDHV3BA DEHGDHV3BA
| URI | m2://inv/DEHGDHV3BA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09672#IFNN (statement). In TXBXCPP0QH/e1, lemma 27
History
- 2026-10-29: add by m2/v0.4.10
Continuous symmetry DEHKX8DTBN
| URI | m2://inv/DEHKX8DTBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous symmetry, Continuous symmetry (definition). Also Wikidata Q1996344
History
- 2026-11-02: add by m2/dev
\textcolor{revision}{Constants for the frequency and width cover DEHSN97692
| URI | m2://inv/DEHSN97692 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19461#K3TG, \textcolor{revision}{Constants for the frequency and width cover (statement). In D5X5P2QD6A/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
Variations DEJ41GR0YF
| URI | m2://inv/DEJ41GR0YF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Korteweg–De Vries equation#ZBKH, Variations (statement)
History
- 2026-11-02: add by m2/dev
Sierpiński space DEJAWRTJQ2
| URI | m2://inv/DEJAWRTJQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Sierpiński space NTCD3724BB |
Mentions
- wikidata: Wikidata Q2119470, Sierpiński space (definition). Also ProofWiki Definition:Sierpiński_Space
- wikipedia: Wikipedia Sierpiński space, Sierpiński space (definition). Also Wikidata Q2119470
History
- 2026-10-26: add by m2/dev
Other theorems weaker than the twin prime conjecture DEJGQ06RRZ
| URI | m2://inv/DEJGQ06RRZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twin prime#3MY4, Other theorems weaker than the twin prime conjecture (statement)
History
- 2026-11-02: add by m2/dev
University of Wolverhampton DEJQ2N8EBF
| URI | m2://inv/DEJQ2N8EBF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#VY4S, University of Wolverhampton (unknown)
History
- 2026-11-02: add by m2/dev
DEJVQHJZ3E DEJVQHJZ3E
| URI | m2://inv/DEJVQHJZ3E |
|---|---|
| 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.16898#Y2AE (statement). In C8SYQK0GNJ/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
$A_{18}$'s exact stabiliser DEK3D2CAAW
| URI | m2://inv/DEK3D2CAAW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#1CMA, $A_{18}$'s exact stabiliser (statement)
History
- 2026-11-01: add by m2/v0.6.15
Symmetry DEK89G6CTT
| URI | m2://inv/DEK89G6CTT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Witting polytope#GZY1, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
DEK8E1YG6K DEK8E1YG6K
| URI | m2://inv/DEK8E1YG6K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#8BH7 (statement). In 5KR3MHYVV6/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
DEK9X19EK5 DEK9X19EK5
| URI | m2://inv/DEK9X19EK5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 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 2609.24610#DCBL (statement)
History
- 2026-11-01: add by m2/v0.6.15
DEKDE5HP7W DEKDE5HP7W
| URI | m2://inv/DEKDE5HP7W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#ZWDJ (definition). In ESDKTYDHC8/e1, definition 29
History
- 2026-10-29: add by m2/v0.4.12
connected DEKKRRM76S
| URI | m2://inv/DEKKRRM76S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#TNGA, connected (definition)
History
- 2026-11-02: add by m2/dev
Taylor's theorem DEKKVKZ2AZ
| URI | m2://inv/DEKKVKZ2AZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Differentiability > Taylor's theorem, Taylor's theorem (unknown)
History
- 2026-10-26: add by m2/dev
DEKPJXRS8Z DEKPJXRS8Z
| URI | m2://inv/DEKPJXRS8Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#exercise-4 (exercise). In RZP28ERRZV, exercise, section 100.6
History
- 2026-11-01: add by m2/v0.6.13
DEKSVBPNYQ DEKSVBPNYQ
| URI | m2://inv/DEKSVBPNYQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.06555#HLYQ (statement). In 5GDDS20Q3D/e1, theorem 2.7
History
- 2026-10-27: add by m2/v0.4.0
Three points determine a circle DEKZHX1436
| URI | m2://inv/DEKZHX1436 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cramer's theorem (algebraic curves)#CX4W, Three points determine a circle (unknown)
History
- 2026-11-02: add by m2/dev
Read-once threshold and parity formulas DEM0EZG4YJ
| URI | m2://inv/DEM0EZG4YJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16069#5ML9, Read-once threshold and parity formulas (statement). In MBJA03ES8N/e1, corollary 7.3
History
- 2026-10-28: add by m2/v0.4.2
DEM13M2X83 DEM13M2X83
| URI | m2://inv/DEM13M2X83 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21680#S5ZN (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mark Newman DEM3HWG58Q
| URI | m2://inv/DEM3HWG58Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GNOK, Mark Newman (unknown)
History
- 2026-11-02: add by m2/dev
Vladimir Leonidovich Popov DEM3ZXXCFB
| URI | m2://inv/DEM3ZXXCFB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ODFI, Vladimir Leonidovich Popov (topic)
History
- 2026-11-02: add by m2/dev
Completely randomized design DEM82FGJ2X
| URI | m2://inv/DEM82FGJ2X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completely randomized design, Completely randomized design (definition). Also Wikidata Q5156536
History
- 2026-11-02: add by m2/dev
Kenny Burrell DEMEQ1ANTK
| URI | m2://inv/DEMEQ1ANTK |
|---|---|
| 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#TO5G, Kenny Burrell (unknown)
History
- 2026-11-02: add by m2/dev
Piano key frequencies DEMJBE8W53
| URI | m2://inv/DEMJBE8W53 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#R5GC, Piano key frequencies (unknown)
History
- 2026-11-02: add by m2/dev
Properties DEMSJYGVWY
| URI | m2://inv/DEMSJYGVWY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gyroelongated square bipyramid#DW5N, Properties (statement)
History
- 2026-11-02: add by m2/dev
DEN0DWTBFS DEN0DWTBFS
| URI | m2://inv/DEN0DWTBFS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18219#YDAO (statement). In X1AGBB90EH/e1, theorem 2.12
History
- 2026-10-28: add by m2/v0.4.2
DEN0PKJR72 DEN0PKJR72
| URI | m2://inv/DEN0PKJR72 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-44 (exercise). In E9HS8K3A52, exercise, section 4.3.4
History
- 2026-11-01: add by m2/v0.6.13
Properties DEN2XERPA7
| URI | m2://inv/DEN2XERPA7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Step function#T7R4, Properties (statement)
History
- 2026-11-02: add by m2/dev
DENFX282EK DENFX282EK
| URI | m2://inv/DENFX282EK |
|---|---|
| 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 1612.08394#W1MN (statement). In 1P8D88DKG5/e1, lemma 8.6
History
- 2026-10-27: add by m2/v0.3.5
DENSGSTJ3D DENSGSTJ3D
| URI | m2://inv/DENSGSTJ3D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#WNF9 (definition). In G70Q2FB591/e1, definition 4.10
History
- 2026-10-28: add by m2/v0.4.2
Stationary finite-dimensional convergence DENX1PJQGV
| URI | m2://inv/DENX1PJQGV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38268#86EG, Stationary finite-dimensional convergence (statement). In TQ18V9TDQS/e1, theorem 4.4
History
- 2026-10-30: add by m2/v0.4.12
Extensions DENY1E4C6Z
| URI | m2://inv/DENY1E4C6Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetohydrodynamics#YVS4, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Properties DEP17CVM21
| URI | m2://inv/DEP17CVM21 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dense set#90OR, Properties (statement)
History
- 2026-11-02: add by m2/dev
DEP69414WG DEP69414WG
| URI | m2://inv/DEP69414WG |
|---|---|
| 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.18312#KGV3 (statement). In NPEVE32HFP/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Number theoretic transform DEP9ATZ283
| URI | m2://inv/DEP9ATZ283 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete Fourier transform over a ring#73AW, Number theoretic transform (unknown)
History
- 2026-11-02: add by m2/dev
DEPP7VG0TP DEPP7VG0TP
| URI | m2://inv/DEPP7VG0TP |
|---|---|
| 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#U89L (statement). In SD28S3K7BT/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.12
Example DEPSW0DKEG
| URI | m2://inv/DEPSW0DKEG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chain-ladder method#XS1U, Example (example)
History
- 2026-11-02: add by m2/dev
DEPT77G8S0 DEPT77G8S0
| URI | m2://inv/DEPT77G8S0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07695#JL8Y (definition). In 8Z47D12KSX/e1, definition 4.7
History
- 2026-10-29: add by m2/v0.4.10
CHSH inequality DEPW6PNMVQ
| URI | m2://inv/DEPW6PNMVQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CHSH inequality, CHSH inequality (statement). Also Wikidata Q5011347
History
- 2026-11-02: add by m2/dev
Applications DEQ60JTTE6
| URI | m2://inv/DEQ60JTTE6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hydrostatic equilibrium#EUV0, Applications (example)
History
- 2026-11-02: add by m2/dev
Exact polynomial-time algorithm on spiders DEQ69V4C6P
| URI | m2://inv/DEQ69V4C6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31535#BVZP, Exact polynomial-time algorithm on spiders (statement). In BAWCMJQGVA/e1, theorem 6.5
History
- 2026-10-31: add by m2/v0.5.6
Edgeworth series DEQV7SWTZN
| URI | m2://inv/DEQV7SWTZN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5337942, Edgeworth series (concept). Also EoM Edgeworth series, MathWorld EdgeworthSeries
- wikipedia: Wikipedia Edgeworth series, Edgeworth series (definition). Also Wikidata Q5337942
History
- 2026-10-26: add by m2/dev
Spurious relationship DER2E57D6X
| URI | m2://inv/DER2E57D6X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OXJY, Spurious relationship (definition)
- wikipedia: Wikipedia List of probability topics#JFLA, Spurious relationship (definition)
History
- 2026-11-02: add by m2/dev
Charles Edward St. John DER5F63W0W
| URI | m2://inv/DER5F63W0W |
|---|---|
| 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#VHEJ, Charles Edward St. John (unknown)
History
- 2026-11-02: add by m2/dev
DERG6AF8QC DERG6AF8QC
| URI | m2://inv/DERG6AF8QC |
|---|---|
| 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#YSMN (statement). In NB7HZ8W2K2/e1, proposition 16
History
- 2026-10-29: add by m2/v0.4.12
Heptacontapentagon DERQ9ZYH73
| URI | m2://inv/DERQ9ZYH73 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#64LQ, Heptacontapentagon (unknown)
History
- 2026-11-02: add by m2/dev
Appell's equation of motion DERYSC4FFN
| URI | m2://inv/DERYSC4FFN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Appell's equation of motion, Appell's equation of motion (definition). Also Wikidata Q1002309
History
- 2026-11-02: add by m2/dev
Jeremy J. Gray DES10N3EMJ
| URI | m2://inv/DES10N3EMJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Z7L2, Jeremy J. Gray (topic)
History
- 2026-11-02: add by m2/dev
Polygons DES1KGXQNG
| URI | m2://inv/DES1KGXQNG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform polyhedra#4QS1, Polygons (definition)
History
- 2026-11-02: add by m2/dev
DES3GVAECC DES3GVAECC
| URI | m2://inv/DES3GVAECC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36279#MR2D (statement). In HX1QA0MJYV/e1, theorem 11
History
- 2026-10-30: add by m2/v0.4.12
Dyadic thinning with prescribed marginals DES5133FKZ
| URI | m2://inv/DES5133FKZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#UYSP, Dyadic thinning with prescribed marginals (statement). In 9YAE8FNQST/e1, theorem 7.10
History
- 2026-10-30: add by m2/v0.4.12
DESB92SP3Q DESB92SP3Q
| URI | m2://inv/DESB92SP3Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/TasteNumberTheory.tex#def:divides (definition). In P1C114YBXG, definition, section J
History
- 2026-11-01: add by m2/v0.6.13
Liu DESDE0PF6M
| URI | m2://inv/DESDE0PF6M |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29878#8NYR, Liu (problem)
History
- 2026-11-01: add by m2/v0.6.15
DESE9W074T DESE9W074T
| URI | m2://inv/DESE9W074T |
|---|---|
| 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.12188#07CR (statement). In 52HWCGK5QJ/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
medians of a triangle theorem DESMAQKSBG
| URI | m2://inv/DESMAQKSBG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q140089476, medians of a triangle theorem (statement). Also ProofWiki Medians_of_Triangle_Meet_at_Centroid
History
- 2026-10-26: add by m2/dev
Weyl semimetal DESNFW53BK
| URI | m2://inv/DESNFW53BK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#84UP, Weyl semimetal (unknown)
History
- 2026-11-02: add by m2/dev
DESQSXRF2T DESQSXRF2T
| URI | m2://inv/DESQSXRF2T |
|---|---|
| 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 2610.12479#JP4F (definition). In WE001PR75Z/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
Lorenz cipher DESVYKJXPB
| URI | m2://inv/DESVYKJXPB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lorenz cipher, Lorenz cipher (definition). Also Wikidata Q695493
History
- 2026-11-02: add by m2/dev
DET0HFS2C4 DET0HFS2C4
| URI | m2://inv/DET0HFS2C4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/enumerability-alt.tex#defn:enumerable (definition). In PKGMM3P5QY, defn, section 83.4
History
- 2026-11-01: add by m2/v0.6.13
Sparse binary reduction DET38V3T0N
| URI | m2://inv/DET38V3T0N |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31782#BU3L, Sparse binary reduction (unknown). In YAYP5VZ94H/e1, unknown 2.5
History
- 2026-10-31: add by m2/v0.5.6
Binomial type DETCWE9NTM
| URI | m2://inv/DETCWE9NTM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#U0J6, Binomial type (definition)
- wikipedia: Wikipedia List of factorial and binomial topics#25WG, Binomial type (definition)
History
- 2026-11-02: add by m2/dev
cologarithm DETKK5KRAH
| URI | m2://inv/DETKK5KRAH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2261345, cologarithm (unknown). Also MathWorld Cologarithm
History
- 2026-10-26: add by m2/dev
Definitions DEV040F0EZ
| URI | m2://inv/DEV040F0EZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory of finite groups#MX5I, Definitions (definition)
History
- 2026-11-02: add by m2/dev
DEV400165B DEV400165B
| URI | m2://inv/DEV400165B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14509#UJPH (statement). In N6GD8392QB/e1, proposition 11.5
History
- 2026-10-28: add by m2/v0.4.2
The problem of infinities DEVEM825PC
| URI | m2://inv/DEVEM825PC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum field theory#6PR1, The problem of infinities (unknown)
History
- 2026-11-02: add by m2/dev
Rogers Albritton DEVG6QF5H8
| URI | m2://inv/DEVG6QF5H8 |
|---|---|
| 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#GCWK, Rogers Albritton (unknown)
History
- 2026-11-02: add by m2/dev
Formal definition DEVJ2QQWQT
| URI | m2://inv/DEVJ2QQWQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinity-Borel set#B3D6, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Theorem DEVPERVHCQ
| URI | m2://inv/DEVPERVHCQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Khatri–Rao product#X1IF, Theorem (statement)
History
- 2026-11-02: add by m2/dev
DEVQR4KNQA DEVQR4KNQA
| URI | m2://inv/DEVQR4KNQA |
|---|---|
| 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.28985#9A83 (statement)
History
- 2026-11-01: add by m2/v0.6.15
List of countries by medal count at International Mathematical Olympiad DEVYSJ2JBJ
| URI | m2://inv/DEVYSJ2JBJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of countries by medal count at International Mathematical Olympiad, List of countries by medal count at International Mathematical Olympiad (topic). Also Wikidata Q104870447
History
- 2026-11-02: add by m2/dev
Secure Hash Algorithms DEW2YXAPW0
| URI | m2://inv/DEW2YXAPW0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secure Hash Algorithms, Secure Hash Algorithms (definition). Also Wikidata Q387688
History
- 2026-11-02: add by m2/dev
scale a vector DEW6WXN3ZP
| URI | m2://inv/DEW6WXN3ZP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/2.1.1/scale-a-vector, scale a vector (concept). In E9HS8K3A52, index, section 2.1.1
History
- 2026-11-01: add by m2/v0.6.13
DEWC1YMR2E DEWC1YMR2E
| URI | m2://inv/DEWC1YMR2E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#cor-7 (statement). In E59CDZA4DP, cor, section 1.8.5
History
- 2026-11-01: add by m2/v0.6.13
achieves absolute minimum DEWEJ1QV6N
| URI | m2://inv/DEWEJ1QV6N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/2.3.1/achieves-absolute-minimum, achieves absolute minimum (concept). In E59CDZA4DP, index, section 2.3.1
History
- 2026-11-01: add by m2/v0.6.13
Counting convention DEWGPBDDTV
| URI | m2://inv/DEWGPBDDTV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20106#BX3T, Counting convention (definition). In 6HMZ36ZBXA/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.4.2
Cassini oval DEWPRC0RMB
| URI | m2://inv/DEWPRC0RMB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#RFIC, Cassini oval (definition)
- wikipedia: Wikipedia List of curves#8N8Z, Cassini oval (definition)
History
- 2026-11-02: add by m2/dev
Definition DEWQ6Z8VVV
| URI | m2://inv/DEWQ6Z8VVV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biot number#S3W7, Definition (definition)
History
- 2026-11-02: add by m2/dev
DEWT9NC93Q DEWT9NC93Q
| URI | m2://inv/DEWT9NC93Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16606#QE7F (statement). In A798V7TX99/e1, proposition 5.24
History
- 2026-10-28: add by m2/v0.4.2
Twin prime DEWWVEZTG4
| URI | m2://inv/DEWWVEZTG4 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#RYWM, Twin prime (conjecture)
History
- 2026-11-02: add by m2/dev
DEX4EF20CJ DEX4EF20CJ
| URI | m2://inv/DEX4EF20CJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36181#BOQ7 (example). In 1KSE33PVS6/e1, example 11
History
- 2026-10-30: add by m2/v0.4.12
Timeline of mathematics DEX9KWRFKA
| URI | m2://inv/DEX9KWRFKA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics reference tables#51X7, Timeline of mathematics (topic)
History
- 2026-11-02: add by m2/dev
Packing blocks in a linear set system DEXNRQ2G1A
| URI | m2://inv/DEXNRQ2G1A |
|---|---|
| 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.05442#XK6J, Packing blocks in a linear set system (statement). In WEPE51JCHZ/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Full-blooded platonism DEXQXES94S
| URI | m2://inv/DEXQXES94S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philosophy of mathematics#8X5F, Full-blooded platonism (unknown)
History
- 2026-11-02: add by m2/dev
DEXVFTC7QW DEXVFTC7QW
| URI | m2://inv/DEXVFTC7QW |
|---|---|
| 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 2609.21535#JZ1J (example)
History
- 2026-11-02: add by m2/v0.6.18
$\varphi$-decomposition DEY07T9E3D
| URI | m2://inv/DEY07T9E3D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26134#0YWF, $\varphi$-decomposition (statement)
History
- 2026-11-01: add by m2/v0.6.15
shift ratio DEYA7HZGG2
| URI | m2://inv/DEYA7HZGG2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39511#TWG9, shift ratio (statement). In 6W9H24A378/e1, lemma 10
History
- 2026-10-30: add by m2/v0.4.12
Efficient approximately fair item allocation DEYE8RAZDR
| URI | m2://inv/DEYE8RAZDR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Efficient approximately fair item allocation, Efficient approximately fair item allocation (definition). Also Wikidata Q96377035
History
- 2026-11-02: add by m2/dev
DEYH8JBTFT DEYH8JBTFT
| URI | m2://inv/DEYH8JBTFT |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#HH5W (unknown). In QNBFHFZ3H0/e1, unknown 120
History
- 2026-10-28: add by m2/v0.4.2
Pointwise convergence DEYHR27R9Z
| URI | m2://inv/DEYHR27R9Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#4695, Pointwise convergence (definition)
- wikipedia: Wikipedia List of topologies#737K, Pointwise convergence (definition)
- wikipedia: Wikipedia List of topologies#VFHS, Pointwise convergence (definition)
History
- 2026-11-02: add by m2/dev
inch of mercury DEYTSMWVKZ
| URI | m2://inv/DEYTSMWVKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1050958, inch of mercury (definition). Also ProofWiki Definition:Inch_of_Mercury
History
- 2026-10-26: add by m2/dev
DEYV37JE4R DEYV37JE4R
| URI | m2://inv/DEYV37JE4R |
|---|---|
| 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 2609.24701#CF4Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
DEZ7ME1PWA DEZ7ME1PWA
| URI | m2://inv/DEZ7ME1PWA |
|---|---|
| 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.13888#PZ2I (statement). In 2G5K2GZTX7/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.4.0
DEZBKRMNR0 DEZBKRMNR0
| URI | m2://inv/DEZBKRMNR0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27360#4VIP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples DEZHHVE5G8
| URI | m2://inv/DEZHHVE5G8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimal counterexample#INVD, Examples (example)
History
- 2026-11-02: add by m2/dev
DEZMHSSP1Y DEZMHSSP1Y
| URI | m2://inv/DEZMHSSP1Y |
|---|---|
| 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.35153#OTBT (statement). In RNDAAR1ER9/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Brian Conrey DEZMWKDB1J
| URI | m2://inv/DEZMWKDB1J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#A7O4, Brian Conrey (topic)
History
- 2026-11-02: add by m2/dev
Gy's sampling theory DEZY22P75Q
| URI | m2://inv/DEZY22P75Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gy's sampling theory, Gy's sampling theory (definition). Also Wikidata Q5623910
History
- 2026-11-02: add by m2/dev