Inventory rows DD
The cards of the rows of the inventory whose ids start with DD. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
DD03Y2MSKE DD03Y2MSKE
| URI | m2://inv/DD03Y2MSKE |
|---|---|
| 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.32078#T406 (statement). In 5PN85N6EJF/e1, lemma F.1
History
- 2026-10-31: add by m2/v0.5.6
Definition DD04ZSC34T
| URI | m2://inv/DD04ZSC34T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Density-based clustering validation#STXE, Definition (definition)
History
- 2026-11-02: add by m2/dev
Association scheme DD09QBSA3K
| URI | m2://inv/DD09QBSA3K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#O4SF, Association scheme (topic)
History
- 2026-11-02: add by m2/dev
Projection filters DD0DH84N12
| URI | m2://inv/DD0DH84N12 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection filters, Projection filters (definition). Also Wikidata Q121048311
History
- 2026-11-02: add by m2/dev
Chebychev–Grübler–Kutzbach criterion DD0J47VAHM
| URI | m2://inv/DD0J47VAHM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebychev–Grübler–Kutzbach criterion, Chebychev–Grübler–Kutzbach criterion (statement). Also Wikidata Q1322787
History
- 2026-11-02: add by m2/dev
Walter A. Shewhart DD0NT7CMKN
| URI | m2://inv/DD0NT7CMKN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#YYYF, Walter A. Shewhart (topic)
History
- 2026-11-02: add by m2/dev
Examples DD10CJP2B8
| URI | m2://inv/DD10CJP2B8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tsiolkovsky rocket equation#SJ4T, Examples (example)
History
- 2026-11-02: add by m2/dev
Three regimes at the limiting center DD11DAFX3H
| URI | m2://inv/DD11DAFX3H |
|---|---|
| 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.01391#3FAR, Three regimes at the limiting center (statement). In MAZNVJX5YK/e1, corollary 19
History
- 2026-10-29: add by m2/v0.4.12
Properties DD13K2V6M5
| URI | m2://inv/DD13K2V6M5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central force#755N, Properties (statement)
History
- 2026-11-02: add by m2/dev
DD144JT16Q DD144JT16Q
| URI | m2://inv/DD144JT16Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-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.03756#HKUE (statement). In 2381M4GBTT/e1, proposition 8.5
History
- 2026-10-29: add by m2/v0.4.12
Properties DD16F5DEWD
| URI | m2://inv/DD16F5DEWD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P-adic exponential function#DKLF, Properties (statement)
History
- 2026-11-02: add by m2/dev
DD1AK57M8F DD1AK57M8F
| URI | m2://inv/DD1AK57M8F |
|---|---|
| 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.20775#USYX (statement). In XG27B81T0G/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.4.2
DD1DCH8C7Q DD1DCH8C7Q
| URI | m2://inv/DD1DCH8C7Q |
|---|---|
| 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 2609.25472#7TB3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
$H_x^3$ regularity DD1EMSNZHT
| URI | m2://inv/DD1EMSNZHT |
|---|---|
| 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.28454#PBYK, $H_x^3$ regularity (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fictitious force DD1F0MS4A9
| URI | m2://inv/DD1F0MS4A9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fictitious force, Fictitious force (definition). Also Wikidata Q212126
History
- 2026-11-02: add by m2/dev
Separation theorem I DD1FW4GFPE
| URI | m2://inv/DD1FW4GFPE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperplane separation theorem#WC0W, Separation theorem I (statement)
History
- 2026-11-02: add by m2/dev
DD1Y8QBRE8 DD1Y8QBRE8
| URI | m2://inv/DD1Y8QBRE8 |
|---|---|
| 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 2609.29531#L89C (statement)
History
- 2026-11-01: add by m2/v0.6.15
Coupled map lattice DD1YE2E2C5
| URI | m2://inv/DD1YE2E2C5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coupled map lattice, Coupled map lattice (definition). Also Wikidata Q5178018
History
- 2026-11-02: add by m2/dev
The inhomogeneous Picard--Fuchs equation DD23VG490T
| URI | m2://inv/DD23VG490T |
|---|---|
| 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#K6R7, The inhomogeneous Picard--Fuchs equation (statement). In RWNP4FEE65/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.3
Boolean ring DD28QQ2KK9
| URI | m2://inv/DD28QQ2KK9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#F1QM, Boolean ring (definition)
History
- 2026-11-02: add by m2/dev
DD28VMDARD DD28VMDARD
| URI | m2://inv/DD28VMDARD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#JJ29 (statement). In 7SSKW778T8/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10
Jacobian variety DD2NPCVR2M
| URI | m2://inv/DD2NPCVR2M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#GBYK, Jacobian variety (definition)
History
- 2026-11-02: add by m2/dev
DD2Q4AV7AT DD2Q4AV7AT
| URI | m2://inv/DD2Q4AV7AT |
|---|---|
| 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.32140#TJD9 (statement). In 96Z8GEEFH4/e1, lemma 8.1
History
- 2026-10-31: add by m2/v0.5.6
Black-box post-processing algorithms DD2VTY452P
| URI | m2://inv/DD2VTY452P |
|---|---|
| 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.31607#KAEA, Black-box post-processing algorithms (definition). In H9X9WZ17TT/e1, definition 2
History
- 2026-10-31: add by m2/v0.5.6
trinomial triangle DD2YAWGB6F
| URI | m2://inv/DD2YAWGB6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1594413, trinomial triangle (unknown). Also MathWorld TrinomialTriangle, OEIS A027907
- wikipedia: Wikipedia Trinomial triangle, Trinomial triangle (definition). Also Wikidata Q1594413
History
- 2026-10-26: add by m2/dev
DD315KX4T1 DD315KX4T1
| URI | m2://inv/DD315KX4T1 |
|---|---|
| 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.01498#VBMR (statement). In 75GDSC8460/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.12
Mean dependence DD3B67WXMP
| URI | m2://inv/DD3B67WXMP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean dependence, Mean dependence (definition). Also Wikidata Q6803618
History
- 2026-11-02: add by m2/dev
Properties DD3BC8FVDN
| URI | m2://inv/DD3BC8FVDN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representable functor#8OEJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
DD3CH10JN6 DD3CH10JN6
| URI | m2://inv/DD3CH10JN6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 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.20932#56KG (statement). In FV78KV64B9/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.4.2
identity functor DD3F60H1P7
| URI | m2://inv/DD3F60H1P7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q128032193, identity functor (unknown). Also nLab identity functor
History
- 2026-10-26: add by m2/dev
DD3H2835M2 DD3H2835M2
| URI | m2://inv/DD3H2835M2 |
|---|---|
| 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.25656#WM3V (example)
History
- 2026-11-01: add by m2/v0.6.15
Leibniz's notation DD3Z0R55YG
| URI | m2://inv/DD3Z0R55YG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Gottfried Leibniz#OSUS, Leibniz's notation (definition)
History
- 2026-11-02: add by m2/dev
DD41GKS108 DD41GKS108
| URI | m2://inv/DD41GKS108 |
|---|---|
| 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.31363#7NU1 (statement). In XB8NYRD86J/e1, corollary D.1
History
- 2026-10-31: add by m2/v0.5.6
DD420JSZ35 DD420JSZ35
| URI | m2://inv/DD420JSZ35 |
|---|---|
| Kind | example |
| 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.35467#IBL6 (example). In FK89DQ9J4S/e1, example 3.2
History
- 2026-10-30: add by m2/v0.4.12
DD48K4400P DD48K4400P
| URI | m2://inv/DD48K4400P |
|---|---|
| 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.23994#USAJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
DD49DW6GCY DD49DW6GCY
| URI | m2://inv/DD49DW6GCY |
|---|---|
| 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#YVVX (statement). In X38P26DK6S/e1, corollary 6.11
History
- 2026-10-27: add by m2/v0.4.0
DD4BBF623D DD4BBF623D
| URI | m2://inv/DD4BBF623D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#MMFA (definition). In X765ZXXVC3/e1, definition 2.21
History
- 2026-10-29: add by m2/v0.4.12
Side-approximation theorem DD4MAXMCR6
| URI | m2://inv/DD4MAXMCR6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia R. H. Bing#9MP0, Side-approximation theorem (statement)
History
- 2026-11-02: add by m2/dev
Energy conservation DD506H8S09
| URI | m2://inv/DD506H8S09 |
|---|---|
| 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.14717#SSET, Energy conservation (statement). In ZB2QPB5EBN/e1, corollary 3.5
History
- 2026-10-28: add by m2/v0.4.2
DD53VR928S DD53VR928S
| URI | m2://inv/DD53VR928S |
|---|---|
| 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.15831#KEFO (statement). In CVESAPNMCQ/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
DD55ECR7PX DD55ECR7PX
| URI | m2://inv/DD55ECR7PX |
|---|---|
| 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.25524#HIP6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gábor Székelyhidi DD574TS4P2
| URI | m2://inv/DD574TS4P2 |
|---|---|
| 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#EY1Q, Gábor Székelyhidi (unknown)
History
- 2026-11-02: add by m2/dev
DD59B90X7W DD59B90X7W
| URI | m2://inv/DD59B90X7W |
|---|---|
| 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.29631#1IT0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Related theorems DD5FTQCGH9
| URI | m2://inv/DD5FTQCGH9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transversal (geometry)#GPJQ, Related theorems (statement)
History
- 2026-11-02: add by m2/dev
Melvin Hochster DD5QZ76PFJ
| URI | m2://inv/DD5QZ76PFJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JEZB, Melvin Hochster (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4SK9, Melvin Hochster (unknown)
History
- 2026-11-02: add by m2/dev
DD5S23E04B DD5S23E04B
| URI | m2://inv/DD5S23E04B |
|---|---|
| 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.11997#305P (statement). In REVYK9ZEP2/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.3
DD62TW5FVA DD62TW5FVA
| URI | m2://inv/DD62TW5FVA |
|---|---|
| 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.29824#IBZH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Implementation DD67BARD08
| URI | m2://inv/DD67BARD08 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variance inflation factor#2B9X, Implementation (definition)
History
- 2026-11-02: add by m2/dev
DD6EF4NRGS DD6EF4NRGS
| URI | m2://inv/DD6EF4NRGS |
|---|---|
| Kind | statement |
| 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#51R6 (statement). In F7TDYCHCSE/e1, proposition 8.1
History
- 2026-10-27: add by m2/v0.3.5
DD6FCT7KYE DD6FCT7KYE
| URI | m2://inv/DD6FCT7KYE |
|---|---|
| Kind | example |
| 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.30892#10W4 (example). In F7C1RM5VA4/e1, example 5.5
History
- 2026-10-31: add by m2/v0.5.6
Triangle interpolation DD6QMXDZ4F
| URI | m2://inv/DD6QMXDZ4F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21949#CM82, Triangle interpolation (statement)
History
- 2026-11-02: add by m2/v0.6.17
DD75JD4PZQ DD75JD4PZQ
| URI | m2://inv/DD75JD4PZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0905.1489#46FX (statement). In MZ18CTV65N/e1, fact 5
History
- 2026-10-27: add by m2/v0.3.5
DD77KRQ383 DD77KRQ383
| URI | m2://inv/DD77KRQ383 |
|---|---|
| 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.33775#SIQO (statement). In VVQ1FMTHXB/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Applications DD78TTNET6
| URI | m2://inv/DD78TTNET6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stability radius#19DN, Applications (example)
History
- 2026-11-02: add by m2/dev
DD79DNZNRE DD79DNZNRE
| URI | m2://inv/DD79DNZNRE |
|---|---|
| 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.37562#JM55 (statement). In PYY8DFK2JS/e1, theorem 7.3
History
- 2026-10-30: add by m2/v0.4.12
Auslander–Reiten theory DD7KD189AG
| URI | m2://inv/DD7KD189AG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#W00I, Auslander–Reiten theory (definition)
History
- 2026-11-02: add by m2/dev
Theorem DD7QR1EAX1
| URI | m2://inv/DD7QR1EAX1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime avoidance lemma#WCZG, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Dorian Goldfeld DD821V4WEA
| URI | m2://inv/DD821V4WEA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#JOS9, Dorian Goldfeld (topic)
History
- 2026-11-02: add by m2/dev
Properties DD8DSZA846
| URI | m2://inv/DD8DSZA846 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Longest element of a Coxeter group#0S7E, Properties (statement)
History
- 2026-11-02: add by m2/dev
Monkey saddle DD8JMCPS4M
| URI | m2://inv/DD8JMCPS4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#20LW, Monkey saddle (definition)
- wikipedia: Wikipedia List of multivariable calculus topics#IWKB, Monkey saddle (definition)
History
- 2026-11-02: add by m2/dev
DD8RP8NMNJ DD8RP8NMNJ
| URI | m2://inv/DD8RP8NMNJ |
|---|---|
| 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.00113#G7D6 (statement). In R9PP1Y2EP4/e1, corollary 3.1
History
- 2026-10-30: add by m2/v0.4.12
Definition and properties DD8XHVBCQX
| URI | m2://inv/DD8XHVBCQX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaprekar number#Y3WB, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
DD91TN5V2K DD91TN5V2K
| URI | m2://inv/DD91TN5V2K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12014#EFFW (statement). In DR7BK4CQ0V/e1, theorem 5.22
History
- 2026-10-28: add by m2/v0.4.3
DD93ZGG61C DD93ZGG61C
| URI | m2://inv/DD93ZGG61C |
|---|---|
| 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 2609.34852#BQJP (statement). In TZXEMCBK5V/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Algebraic torus DD96FEDW3S
| URI | m2://inv/DD96FEDW3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic torus, Algebraic torus (definition). Also Wikidata Q4724022
History
- 2026-11-02: add by m2/dev
DD9A5VQ39M DD9A5VQ39M
| URI | m2://inv/DD9A5VQ39M |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#exercise-3 (exercise). In RZP28ERRZV, exercise, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
Wildlife population DD9C37RBZK
| URI | m2://inv/DD9C37RBZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wildlife population, Wildlife population (definition). Also Wikidata Q136709591
History
- 2026-11-02: add by m2/dev
Lindenbaum–Tarski algebra DD9J3F9PKH
| URI | m2://inv/DD9J3F9PKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic constructions#IZY6, Lindenbaum–Tarski algebra (definition)
History
- 2026-11-02: add by m2/dev
DD9JFTJTB8 DD9JFTJTB8
| URI | m2://inv/DD9JFTJTB8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-statements.ptx#exercise-7 (exercise). In Y91XFCEVHQ, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
iterative numerical method DD9NQS0Z9S
| URI | m2://inv/DD9NQS0Z9S |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 65F10 |
| Sources | 2 |
| Outcome | open |
| Node | Iterative method 2RPE77ACER |
Mentions
- wikidata: Wikidata Q2321565, iterative numerical method (topic)
- wikipedia: Wikipedia Iterative method, Iterative method (definition). Also Wikidata Q2321565
History
- 2026-10-26: add by m2/dev
Von Koch curve DD9QCSV3F7
| URI | m2://inv/DD9QCSV3F7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#ACJR, Von Koch curve (definition)
History
- 2026-11-02: add by m2/dev
DD9R344HDJ DD9R344HDJ
| URI | m2://inv/DD9R344HDJ |
|---|---|
| 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.01656#BSNE (statement). In AHGQZ89DY0/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.12
William Forster DD9SDJK8XR
| URI | m2://inv/DD9SDJK8XR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Forster (mathematician), William Forster (topic). Also Wikidata Q18593573
History
- 2026-11-02: add by m2/dev
General rational principles DD9YM2NDBG
| URI | m2://inv/DD9YM2NDBG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pure inductive logic#HNF2, General rational principles (statement)
History
- 2026-11-02: add by m2/dev
Superalgebra DD9Z9900QY
| URI | m2://inv/DD9Z9900QY |
|---|---|
| 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.12489#1U5G, Superalgebra (definition). In FDWFVD08SE/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
variety DDAAC0ZAS7
| URI | m2://inv/DDAAC0ZAS7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#CXR4, variety (definition)
History
- 2026-11-02: add by m2/dev
chain map DDAAJS0PWE
| URI | m2://inv/DDAAJS0PWE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q124450475, chain map (unknown). Also MathWorld ChainHomomorphism, nLab chain map
History
- 2026-10-26: add by m2/dev
DDAECTNYRB DDAECTNYRB
| URI | m2://inv/DDAECTNYRB |
|---|---|
| Kind | problem |
| 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.16431#ZTF0 (problem). In 7NX9HA8VPM/e1, problem 1.4
History
- 2026-10-28: add by m2/v0.4.2
DDAH3FYZ2Z DDAH3FYZ2Z
| URI | m2://inv/DDAH3FYZ2Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1303.4328#9IY9 (statement). In HCTYW6VH87/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.3.5
Decile DDAM1QR7BA
| URI | m2://inv/DDAM1QR7BA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decile, Decile (definition). Also Wikidata Q3027971
History
- 2026-11-02: add by m2/dev
DDAQ56V46Q DDAQ56V46Q
| URI | m2://inv/DDAQ56V46Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17737#H8RY (statement). In 8SXY7Y68HV/e1, proposition 8.7
History
- 2026-10-28: add by m2/v0.4.2
centimetre per second DDAWZEKZA2
| URI | m2://inv/DDAWZEKZA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18413919, centimetre per second (definition). Also ProofWiki Definition:Velocity/Unit/Centimetre_per_Second
History
- 2026-10-26: add by m2/dev
Linear-logit softmax DDAX5X6ZCY
| URI | m2://inv/DDAX5X6ZCY |
|---|---|
| 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.15690#NYTA, Linear-logit softmax (statement). In WQ9FNP3TVQ/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.2
DDB6X1M096 DDB6X1M096
| URI | m2://inv/DDB6X1M096 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.05005#F2RN (statement). In SMJMAQ2S3J/e1, theorem 2
History
- 2026-10-27: add by m2/v0.4.0
Prime Obsession DDB78JJA27
| URI | m2://inv/DDB78JJA27 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#BJ4Z, Prime Obsession (unknown)
History
- 2026-11-02: add by m2/dev
spherical cap DDBDPCA17T
| URI | m2://inv/DDBDPCA17T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q575597, spherical cap (unknown). Also MathWorld SphericalCap
History
- 2026-10-26: add by m2/dev
Definition DDBEC2Y2A8
| URI | m2://inv/DDBEC2Y2A8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Silver ratio#R85P, Definition (definition)
History
- 2026-11-02: add by m2/dev
multivalent logic DDBF06CEMZ
| URI | m2://inv/DDBF06CEMZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#OL2Z, multivalent logic (definition)
History
- 2026-11-02: add by m2/dev
DDBFZYC32R DDBFZYC32R
| URI | m2://inv/DDBFZYC32R |
|---|---|
| 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.04323#49ZN (statement). In 3Z0D2NCJ0B/e1, lemma 9
History
- 2026-10-29: add by m2/v0.4.12
Harlow Shapley DDBQ2BZPZ9
| URI | m2://inv/DDBQ2BZPZ9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#JNO0, Harlow Shapley (unknown)
History
- 2026-11-02: add by m2/dev
DDBQHYFSER DDBQHYFSER
| URI | m2://inv/DDBQHYFSER |
|---|---|
| Kind | problem |
| 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.38493#XLTM (problem). In WTA8VGP6B1/e1, problem 2
History
- 2026-10-30: add by m2/v0.4.12
Formal statement DDC01GJYN1
| URI | m2://inv/DDC01GJYN1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Margulis lemma#R8KA, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
DDC0Z9HDRR DDC0Z9HDRR
| URI | m2://inv/DDC0Z9HDRR |
|---|---|
| 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 1909.03896#4TDS (statement). In CX9RVPQVBM/e1, theorem 12
History
- 2026-10-27: add by m2/v0.3.5
Breger and problem of tacit axioms DDC2W76629
| URI | m2://inv/DDC2W76629 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of the Church–Turing thesis#CTJ7, Breger and problem of tacit axioms (statement)
History
- 2026-11-02: add by m2/dev
Nonlinear partial differential equation DDC4BJNN1K
| URI | m2://inv/DDC4BJNN1K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonlinear partial differential equation, Nonlinear partial differential equation (definition). Also Wikidata Q28088256
History
- 2026-11-02: add by m2/dev
Algorithms DDC5656SDC
| URI | m2://inv/DDC5656SDC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical differentiation#5C2D, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Chiu graph DDC6FFXV2M
| URI | m2://inv/DDC6FFXV2M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141665444, Chiu graph (unknown). Also House of Graphs 51354, MathWorld ChiuGraph
History
- 2026-10-26: add by m2/dev
DDC9KG2JZC DDC9KG2JZC
| URI | m2://inv/DDC9KG2JZC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 60-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.07679#ISXK (statement). In K8JMTRS42G/e1, corollary 5.2
History
- 2026-10-29: add by m2/v0.4.10
probability measure DDCM3KT19C
| URI | m2://inv/DDCM3KT19C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Probability measure 059TJN0NZ1 |
Mentions
- wikidata: Wikidata Q355020, probability measure (definition). Also MathWorld ProbabilityMeasure, nLab probability distribution, ProofWiki Definition:Probability_Measure
- wikipedia: Wikipedia Probability measure, Probability measure (definition). Also Wikidata Q355020
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Clifford–Klein form DDCMGVV2WZ
| URI | m2://inv/DDCMGVV2WZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#1ZO0, Clifford–Klein form (definition)
- wikipedia: Wikipedia List of things named after Felix Klein#K8ME, Clifford–Klein form (definition)
History
- 2026-11-02: add by m2/dev
net signed area DDCQT70QZR
| URI | m2://inv/DDCQT70QZR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/4.2.4/net-signed-area, net signed area (concept). In 907G4C4EJ1, index, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
DDCTDJDEZM DDCTDJDEZM
| URI | m2://inv/DDCTDJDEZM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15817#AMKH (statement). In NVJMA8ARHP/e1, theorem 4.0.2
History
- 2026-10-28: add by m2/v0.4.2
Frobenius reciprocity DDCTWZNKQ2
| URI | m2://inv/DDCTWZNKQ2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q48998319, Frobenius reciprocity theorem (statement). Also Wikidata Q48998319
- thousand_plus: thousand_plus Q48998319, Frobenius reciprocity theorem (statement). Also Wikidata Q48998319, Wikipedia Frobenius reciprocity theorem
- wikipedia: Wikipedia Frobenius reciprocity, Frobenius reciprocity (definition). Also Wikidata Q48998319
History
- 2026-10-26: add by m2/dev
DDCTX806F0 DDCTX806F0
| URI | m2://inv/DDCTX806F0 |
|---|---|
| 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.28265#91O4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Accessible stopping time DDCWBA0X7T
| URI | m2://inv/DDCWBA0X7T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stopping time#13QY, Accessible stopping time (unknown)
History
- 2026-11-02: add by m2/dev
Realization DDD0YG1KSA
| URI | m2://inv/DDD0YG1KSA |
|---|---|
| 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.36827#X3K0, Realization (statement). In VSHAQTB2CA/e1, theorem 3.8
History
- 2026-10-30: add by m2/v0.4.12
DDD6D9X6ZP DDD6D9X6ZP
| URI | m2://inv/DDD6D9X6ZP |
|---|---|
| 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.30086#85K4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
DDDBQC8DKN DDDBQC8DKN
| URI | m2://inv/DDDBQC8DKN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27752#DWU3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Strict DDDCHS74SJ
| URI | m2://inv/DDDCHS74SJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strict, Strict (definition). Also Wikidata Q1724688
History
- 2026-11-02: add by m2/dev
DDDGNQ1CZ0 DDDGNQ1CZ0
| URI | m2://inv/DDDGNQ1CZ0 |
|---|---|
| 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.01899#E5FN (statement). In 638TEFBFGP/e1, corollary 6.2
History
- 2026-10-29: add by m2/v0.4.12
DDDJK5JB49 DDDJK5JB49
| URI | m2://inv/DDDJK5JB49 |
|---|---|
| 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.01561#BDM3 (statement). In W4G7BCHYEW/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.12
DDDPWE4TY3 DDDPWE4TY3
| URI | m2://inv/DDDPWE4TY3 |
|---|---|
| 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.11872#R3FQ (statement). In NKDA88318F/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.3
DDDSFZ0207 DDDSFZ0207
| URI | m2://inv/DDDSFZ0207 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24545#ZD2D (statement)
History
- 2026-11-01: add by m2/v0.6.15
DDDVRFART3 DDDVRFART3
| URI | m2://inv/DDDVRFART3 |
|---|---|
| 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.04603#1PF0 (statement). In HEAG8V2JM1/e1, corollary 4.2
History
- 2026-10-29: add by m2/v0.4.12
DDDZFJKS64 DDDZFJKS64
| URI | m2://inv/DDDZFJKS64 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13792#VR0N (statement). In ZH0PFTZ12Y/e1, corollary 4.25
History
- 2026-10-28: add by m2/v0.4.2
DDDZFY241T DDDZFY241T
| URI | m2://inv/DDDZFY241T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15926#JGT7 (statement). In G0J92BSX4A/e1, proposition 2.6
History
- 2026-10-28: add by m2/v0.4.2
DDE05RDXPQ DDE05RDXPQ
| URI | m2://inv/DDE05RDXPQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2607.25960#OGC7 (statement). In 13GSWBXPCM/e1, corollary 1.9
History
- 2026-10-27: add by m2/v0.3.5
Definition DDE7C9AN52
| URI | m2://inv/DDE7C9AN52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bar complex#HJJV, Definition (definition)
History
- 2026-11-02: add by m2/dev
Linear approximation table DDE81D2BJJ
| URI | m2://inv/DDE81D2BJJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean function#83IM, Linear approximation table (unknown)
History
- 2026-11-02: add by m2/dev
Test plans DDE8V81BNY
| URI | m2://inv/DDE8V81BNY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-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 2204.04317#J84F, Test plans (definition). In 49V3ANDZTY/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
DDE909JPCR DDE909JPCR
| URI | m2://inv/DDE909JPCR |
|---|---|
| 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 2609.32176#3SXJ (problem). In N9F5R2PV0E/e1, problem 1.1
History
- 2026-10-31: add by m2/v0.5.6
Normal stress DDECDZY0NG
| URI | m2://inv/DDECDZY0NG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stress (mechanics)#PGGZ, Normal stress (unknown)
History
- 2026-11-02: add by m2/dev
DDED0PS35T DDED0PS35T
| URI | m2://inv/DDED0PS35T |
|---|---|
| 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.00113#623D (statement). In R9PP1Y2EP4/e1, corollary 3.2
History
- 2026-10-30: add by m2/v0.4.12
Second Half of the Chessboard DDEDGTPJR5
| URI | m2://inv/DDEDGTPJR5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wheat and chessboard problem#RE76, Second Half of the Chessboard (unknown)
History
- 2026-11-02: add by m2/dev
DDEEDBQB48 DDEEDBQB48
| URI | m2://inv/DDEEDBQB48 |
|---|---|
| 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.25524#JNGF (statement)
History
- 2026-11-01: add by m2/v0.6.15
DDEEGSE9K9 DDEEGSE9K9
| URI | m2://inv/DDEEGSE9K9 |
|---|---|
| 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#4SUR (statement). In 3A4K47Y9F2/e1, lemma 5.26
History
- 2026-10-27: add by m2/v0.4.0
excluded middle DDEFEBJTG7
| URI | m2://inv/DDEFEBJTG7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2/excluded-middle, excluded middle (concept). In N54F33XE07, index, section B.2
History
- 2026-11-01: add by m2/v0.6.13
DDEFHDF3C5 DDEFHDF3C5
| URI | m2://inv/DDEFHDF3C5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_exercises.ptx#exercise-4 (exercise). In QKM9DD2H56, exercise, section 9
History
- 2026-11-01: add by m2/v0.6.13
Theorem DDEFPJJ620
| URI | m2://inv/DDEFPJJ620 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's fourth problem#J4VG, Theorem (statement)
History
- 2026-11-02: add by m2/dev
DDER3HE1KA DDER3HE1KA
| URI | m2://inv/DDER3HE1KA |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40355#FL6X (conjecture). In SBP98GWKC8/e1, conjecture 1
History
- 2026-10-30: add by m2/v0.4.12
Akihiro Tsuchiya DDET99PMCF
| URI | m2://inv/DDET99PMCF |
|---|---|
| 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#V240, Akihiro Tsuchiya (unknown)
History
- 2026-11-02: add by m2/dev
History of manifolds and varieties DDEYBNQS7Y
| URI | m2://inv/DDEYBNQS7Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of manifolds and varieties, History of manifolds and varieties (definition). Also Wikidata Q4288487
History
- 2026-11-02: add by m2/dev
DDF58M5RWQ DDF58M5RWQ
| URI | m2://inv/DDF58M5RWQ |
|---|---|
| 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#M05E (statement). In EFDRME13PT/e1, lemma 7.5
History
- 2026-10-28: add by m2/v0.4.2
Combinatorial topology DDF59Y4CGH
| URI | m2://inv/DDF59Y4CGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial topology, Combinatorial topology (definition). Also Wikidata Q3532114
History
- 2026-11-02: add by m2/dev
DDF8R7QG4M DDF8R7QG4M
| URI | m2://inv/DDF8R7QG4M |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#ZS6L (example). In Q5Z178SAHP/e1, example 7.6
History
- 2026-10-30: add by m2/v0.4.12
DDFJKWF0BJ DDFJKWF0BJ
| URI | m2://inv/DDFJKWF0BJ |
|---|---|
| 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.21085#TMK9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
George W. Snedecor DDFRQRR8MT
| URI | m2://inv/DDFRQRR8MT |
|---|---|
| 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#QI9D, George W. Snedecor (topic)
History
- 2026-11-02: add by m2/dev
seminormal DDFV01NW96
| URI | m2://inv/DDFV01NW96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#CN1N, seminormal (definition)
History
- 2026-11-02: add by m2/dev
DDFY7NFQJ0 DDFY7NFQJ0
| URI | m2://inv/DDFY7NFQJ0 |
|---|---|
| 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 1806.05002#GYN2 (statement). In JBAQ7DTW7B/e1, lemma D.2
History
- 2026-10-27: add by m2/v0.3.5
Ioan Mire Melik DDG2T1GPDF
| URI | m2://inv/DDG2T1GPDF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ioan Mire Melik, Ioan Mire Melik (topic). Also Wikidata Q6061824
History
- 2026-11-02: add by m2/dev
DDG3EPB7J1 DDG3EPB7J1
| URI | m2://inv/DDG3EPB7J1 |
|---|---|
| Kind | example |
| 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#8L9U (example). In 4V64K0DYSV/e1, example 2
History
- 2026-10-29: add by m2/v0.4.12
DDG9ZQVBZR DDG9ZQVBZR
| URI | m2://inv/DDG9ZQVBZR |
|---|---|
| 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.26713#U9G2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
DDGDDJ3MQP DDGDDJ3MQP
| URI | m2://inv/DDGDDJ3MQP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07828#5TR4 (example). In TWGMVT1N1G/e1, example 8.12
History
- 2026-10-29: add by m2/v0.4.10
Mary Bradburn DDGMN0PHMJ
| URI | m2://inv/DDGMN0PHMJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Bradburn, Mary Bradburn (topic). Also Wikidata Q57239194
History
- 2026-11-02: add by m2/dev
DDGPVHGPQM DDGPVHGPQM
| URI | m2://inv/DDGPVHGPQM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12014#YN25 (statement). In DR7BK4CQ0V/e1, theorem 7.4
History
- 2026-10-28: add by m2/v0.4.3
DDGQD8304H DDGQD8304H
| URI | m2://inv/DDGQD8304H |
|---|---|
| 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.10773#YJXB (statement). In 744Y8ZPEV7/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.3
DDGSCTMRGB DDGSCTMRGB
| URI | m2://inv/DDGSCTMRGB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-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 1001.1196#ECHY (definition). In BCB418GV9C/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Burton H. Camp DDGT3VKZXW
| URI | m2://inv/DDGT3VKZXW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#PSOR, Burton H. Camp (topic)
History
- 2026-11-02: add by m2/dev
Definition DDGT5Q21ZS
| URI | m2://inv/DDGT5Q21ZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Émery topology#RXTX, Definition (definition)
History
- 2026-11-02: add by m2/dev
Equality of endoscopic and microlocal Arthur packets DDH2ZGGKXP
| URI | m2://inv/DDH2ZGGKXP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16931#PYNX, Equality of endoscopic and microlocal Arthur packets (statement). In H7DMRWBBJN/e1, theorem 6.4
History
- 2026-10-28: add by m2/v0.4.2
Kazdan and Warner's trichotomy theorem DDH4SM62ZY
| URI | m2://inv/DDH4SM62ZY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scalar curvature#L1ZV, Kazdan and Warner's trichotomy theorem (statement)
History
- 2026-11-02: add by m2/dev
Fermat number DDHFXS5XXH
| URI | m2://inv/DDHFXS5XXH |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#LFTF, Fermat number (conjecture)
History
- 2026-11-02: add by m2/dev
DDHGC3EWZM DDHGC3EWZM
| URI | m2://inv/DDHGC3EWZM |
|---|---|
| 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 2610.02833#RN4K (statement). In TNREX5GDK2/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.12
DDHVNNR1J4 DDHVNNR1J4
| URI | m2://inv/DDHVNNR1J4 |
|---|---|
| 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.12012#CD2T (statement). In 1RXGXBQAHS/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.3
DDHY80J3SD DDHY80J3SD
| URI | m2://inv/DDHY80J3SD |
|---|---|
| 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.09561#MZAU (statement). In WDV5E2CVTR/e1, theorem 3.8
History
- 2026-10-29: add by m2/v0.4.10
DDJ080XC3Q DDJ080XC3Q
| URI | m2://inv/DDJ080XC3Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2607.25960#1FJV (statement). In 13GSWBXPCM/e1, lemma A.1
History
- 2026-10-27: add by m2/v0.3.5
effective DDJDAT2YXW
| URI | m2://inv/DDJDAT2YXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#KK4J, effective (definition)
History
- 2026-11-02: add by m2/dev
LFSR local-band concentration DDJF5N4JFE
| URI | m2://inv/DDJF5N4JFE |
|---|---|
| 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.16351#FWZG, LFSR local-band concentration (statement). In 1QSV7EQE3T/e1, theorem S49
History
- 2026-10-28: add by m2/v0.4.2
Maris–McGwire–Sosa pair DDJG8TYJCK
| URI | m2://inv/DDJG8TYJCK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maris–McGwire–Sosa pair, Maris–McGwire–Sosa pair (definition). Also Wikidata Q6765709
History
- 2026-11-02: add by m2/dev
DDJK2T2AR4 DDJK2T2AR4
| URI | m2://inv/DDJK2T2AR4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-80 (proof). In VNMV985MXX, proof, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Automorphic recovery beyond the scattering determinant DDJZ3VVMJ4
| URI | m2://inv/DDJZ3VVMJ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25925#VYNC, Automorphic recovery beyond the scattering determinant (statement)
History
- 2026-11-01: add by m2/v0.6.15
DDK0Q830DV DDK0Q830DV
| URI | m2://inv/DDK0Q830DV |
|---|---|
| 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 1707.06795#NAHT (statement). In 32MMSEVHYN/e1, corollary 2.22
History
- 2026-10-27: add by m2/v0.3.5
Factor DDK4VRMPBA
| URI | m2://inv/DDK4VRMPBA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#0O8G, Factor (definition)
History
- 2026-11-02: add by m2/dev
nth-term test DDK4ZR9Y4Z
| URI | m2://inv/DDK4ZR9Y4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Term test 0VVY4H92G2 |
Mentions
- wikidata: Wikidata Q2576932, nth-term test (statement). Also MathWorld LimitTest
- wikipedia: Wikipedia Nth-term test, Nth-term test (definition). Also Wikidata Q2576932
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
DDK57WRM1W DDK57WRM1W
| URI | m2://inv/DDK57WRM1W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03814#C3CZ (statement). In STPNP83RJS/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
DDK5949TH8 DDK5949TH8
| URI | m2://inv/DDK5949TH8 |
|---|---|
| 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 2306.00212#KVBE (statement). In C9GG9C1X65/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
DDK91V1Y28 DDK91V1Y28
| URI | m2://inv/DDK91V1Y28 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-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 2311.00585#UYKF (statement). In 332PQD90SW/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
Statement of the Fraňková–Helly selection theorem DDKJGJDEDB
| URI | m2://inv/DDKJGJDEDB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fraňková–Helly selection theorem#S5JV, Statement of the Fraňková–Helly selection theorem (statement)
History
- 2026-11-02: add by m2/dev
DDKJPK8HF1 DDKJPK8HF1
| URI | m2://inv/DDKJPK8HF1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-24 (exercise). In E9HS8K3A52, exercise, section 8.3.3
History
- 2026-11-01: add by m2/v0.6.13
DDKK2C7MHA DDKK2C7MHA
| URI | m2://inv/DDKK2C7MHA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17004#PWZL (statement). In XNJGNMS6H0/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.2
Perfect cosmological principle DDKXG4BKG6
| URI | m2://inv/DDKXG4BKG6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosmological principle#7JZV, Perfect cosmological principle (statement)
History
- 2026-11-02: add by m2/dev
Canonical correlation DDKYRE9DJH
| URI | m2://inv/DDKYRE9DJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DUMJ, Canonical correlation (definition)
- wikipedia: Wikipedia List of probability topics#GEXQ, Canonical correlation (definition)
History
- 2026-11-02: add by m2/dev
Local-profile complexity principle DDM1DH1RK3
| URI | m2://inv/DDM1DH1RK3 |
|---|---|
| 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.02166#HX7O, Local-profile complexity principle (statement). In R6RF3P6D5A/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
Generating function DDM7RNE7V9
| URI | m2://inv/DDM7RNE7V9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical series#FRTM, Generating function (definition)
History
- 2026-11-02: add by m2/dev
Plateau DDM802YT55
| URI | m2://inv/DDM802YT55 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plateau (mathematics), Plateau (definition). Also Wikidata Q4968575
History
- 2026-11-02: add by m2/dev
isosceles triangle theorem DDMDPP5NPM
| URI | m2://inv/DDMDPP5NPM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q649616, isosceles triangle theorem (statement). Also MathWorld PonsAsinorum
- wikipedia: Wikipedia Pons asinorum, Pons asinorum (definition). Also Wikidata Q649616
History
- 2026-10-26: add by m2/dev
Examples DDMS50H5DB
| URI | m2://inv/DDMS50H5DB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic metric space#XK2E, Examples (example)
History
- 2026-11-02: add by m2/dev
Theorem DDMX8CFVGX
| URI | m2://inv/DDMX8CFVGX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded set (topological vector space)#T7KH, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Definitions DDN7KV0GQ6
| URI | m2://inv/DDN7KV0GQ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strength of a graph#CNHZ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
DDNH0FB79Z DDNH0FB79Z
| URI | m2://inv/DDNH0FB79Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07280#H8R6 (statement). In 1FJKW4WGEN/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Memorylessness DDNKK8JB0W
| URI | m2://inv/DDNKK8JB0W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Memorylessness, Memorylessness (definition). Also Wikidata Q176750
History
- 2026-11-02: add by m2/dev
DDNMKMRS0N DDNMKMRS0N
| URI | m2://inv/DDNMKMRS0N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#FYEO (statement). In X923ZEY423/e1, lemma 3.0.2
History
- 2026-10-27: add by m2/v0.3.5
Examples DDNSJWYYR8
| URI | m2://inv/DDNSJWYYR8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pathetic fallacy#NUW5, Examples (example)
History
- 2026-11-02: add by m2/dev
The Giambelli identity DDNSXCZXDR
| URI | m2://inv/DDNSXCZXDR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur polynomial#7IJL, The Giambelli identity (statement)
History
- 2026-11-02: add by m2/dev
506 (number) DDNTBDYS1S
| URI | m2://inv/DDNTBDYS1S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#TP34, 506 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Eristic DDNYP09C8N
| URI | m2://inv/DDNYP09C8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eristic, Eristic (definition). Also Wikidata Q1354939
History
- 2026-11-02: add by m2/dev
Identity is semantic DDP4F1WR88
| URI | m2://inv/DDP4F1WR88 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#NCQA, Identity is semantic (statement). In CPYWHRTPKC/e1, lemma 6.36
History
- 2026-10-27: add by m2/v0.4.2
DDPDTM5Y38 DDPDTM5Y38
| URI | m2://inv/DDPDTM5Y38 |
|---|---|
| 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 2207.05628#TGEA (statement). In 9JPKTEWW4W/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Chow's lemma DDPQ6RCYS8
| URI | m2://inv/DDPQ6RCYS8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chow's lemma, Chow's lemma (statement). Also Wikidata Q5105492
History
- 2026-11-02: add by m2/dev
Subgroup analysis DDPTGSS88D
| URI | m2://inv/DDPTGSS88D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subgroup analysis, Subgroup analysis (definition). Also Wikidata Q7631152
History
- 2026-11-02: add by m2/dev
Albert's theorem DDPW6TD5CK
| URI | m2://inv/DDPW6TD5CK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biquaternion algebra#D95P, Albert's theorem (statement)
History
- 2026-11-02: add by m2/dev
DDPWT3MRCZ DDPWT3MRCZ
| URI | m2://inv/DDPWT3MRCZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20375#FWVC (statement)
History
- 2026-11-02: add by m2/v0.6.18
DDPX2GR9C9 DDPX2GR9C9
| URI | m2://inv/DDPX2GR9C9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop:DMtoM (statement). In VNMV985MXX, prop, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Construction DDQ0T8XKC7
| URI | m2://inv/DDQ0T8XKC7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dragon curve#O8YZ, Construction (definition)
History
- 2026-11-02: add by m2/dev
E. W. Hobson DDQ0Z8AA9K
| URI | m2://inv/DDQ0Z8AA9K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E. W. Hobson, E. W. Hobson (topic). Also Wikidata Q436096
History
- 2026-11-02: add by m2/dev
Theorem DDQ1DK68WF
| URI | m2://inv/DDQ1DK68WF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outer measure#9415, Theorem (statement)
History
- 2026-11-02: add by m2/dev
DDQ2GNV1ZV DDQ2GNV1ZV
| URI | m2://inv/DDQ2GNV1ZV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-30 (exercise). In E9HS8K3A52, exercise, section 9.3.3
History
- 2026-11-01: add by m2/v0.6.13
DDQJ560Y0A DDQJ560Y0A
| URI | m2://inv/DDQJ560Y0A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.26479#15O8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
DDQN38XC8G DDQN38XC8G
| URI | m2://inv/DDQN38XC8G |
|---|---|
| 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.30585#DW9X (statement). In 15CVBWJDNQ/e1, lemma 3.3
History
- 2026-10-31: add by m2/v0.5.6
Bertram Kostant DDQZ80FA3D
| URI | m2://inv/DDQZ80FA3D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2AID, Bertram Kostant (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QLQQ, Bertram Kostant (topic)
History
- 2026-11-02: add by m2/dev
\tc{Ax1GenTwoVariant3Plain DDR24HFFF2
| URI | m2://inv/DDR24HFFF2 |
|---|---|
| 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#8G1I, \tc{Ax1GenTwoVariant3Plain (statement). In HX1QA0MJYV/e1, theorem 18
History
- 2026-10-30: add by m2/v0.4.12
Example DDR2YD1GSQ
| URI | m2://inv/DDR2YD1GSQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice of subgroups#KIZF, Example (example)
History
- 2026-11-02: add by m2/dev
Bat algorithm DDRBBM0H4T
| URI | m2://inv/DDRBBM0H4T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bat algorithm, Bat algorithm (definition). Also Wikidata Q4868485
History
- 2026-11-02: add by m2/dev
DDRCY2G31Q DDRCY2G31Q
| URI | m2://inv/DDRCY2G31Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18335#VWO5 (statement). In XKN1C8Y9SD/e1, theorem 10
History
- 2026-10-28: add by m2/v0.4.2
DDRKGTT09K DDRKGTT09K
| URI | m2://inv/DDRKGTT09K |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-15 (exercise). In E59CDZA4DP, exercise, section 8.2.5
History
- 2026-11-01: add by m2/v0.6.13
F. Michael Christ DDRRFKAEJR
| URI | m2://inv/DDRRFKAEJR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F. Michael Christ, F. Michael Christ (topic). Also Wikidata Q56678193
History
- 2026-11-02: add by m2/dev
DDRRT7TD4A DDRRT7TD4A
| URI | m2://inv/DDRRT7TD4A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#example-7 (example). In RZP28ERRZV, example, section 22.4.4
History
- 2026-11-01: add by m2/v0.6.13
Definition DDRXSSZD83
| URI | m2://inv/DDRXSSZD83 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collision resistance#K4DM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Fiber product of schemes DDRYBNPQV4
| URI | m2://inv/DDRYBNPQV4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fiber product of schemes, Fiber product of schemes (definition). Also Wikidata Q49001120
History
- 2026-11-02: add by m2/dev
DDS2965RPX DDS2965RPX
| URI | m2://inv/DDS2965RPX |
|---|---|
| Kind | definition |
| 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#LWXK (definition). In CY1FE8W1ZW/e1, definition 0.32
History
- 2026-10-27: add by m2/v0.4.0
Law of dominance and uniformity DDS3YETFVX
| URI | m2://inv/DDS3YETFVX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mendelian inheritance#3TDE, Law of dominance and uniformity (statement)
History
- 2026-11-02: add by m2/dev
Sylvia Wiegand DDS95YHHKT
| URI | m2://inv/DDS95YHHKT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvia Wiegand, Sylvia Wiegand (topic). Also Wikidata Q7661025
History
- 2026-11-02: add by m2/dev
DDSBCE3RS4 DDSBCE3RS4
| URI | m2://inv/DDSBCE3RS4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#proof-1 (proof). In E59CDZA4DP, proof, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Zero degrees of freedom DDSEXBQRQW
| URI | m2://inv/DDSEXBQRQW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero degrees of freedom, Zero degrees of freedom (definition). Also Wikidata Q48997531
History
- 2026-11-02: add by m2/dev
Uniform exponential stability DDSMWTK682
| URI | m2://inv/DDSMWTK682 |
|---|---|
| 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.00048#J83B, Uniform exponential stability (statement). In 4T0CFT0MMX/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Quantitative psychology DDSWMVRBQV
| URI | m2://inv/DDSWMVRBQV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fields of application of statistics#V7KZ, Quantitative psychology (topic)
History
- 2026-11-02: add by m2/dev
Regularity of the $c$--$\lambda$ correspondence DDT3PWPFC4
| URI | m2://inv/DDT3PWPFC4 |
|---|---|
| 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.25704#BVTO, Regularity of the $c$--$\lambda$ correspondence (statement)
History
- 2026-11-01: add by m2/v0.6.15
h topology DDT4C3SBK0
| URI | m2://inv/DDT4C3SBK0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies on the category of schemes#EXIP, h topology (definition)
History
- 2026-11-02: add by m2/dev
The bound of the second level DDT8TMBFWN
| URI | m2://inv/DDT8TMBFWN |
|---|---|
| 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#O0WZ, The bound of the second level (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mod n cryptanalysis DDTA39SA2A
| URI | m2://inv/DDTA39SA2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#OZIS, Mod n cryptanalysis (definition)
History
- 2026-11-02: add by m2/dev
DDTA8DNB4Z DDTA8DNB4Z
| URI | m2://inv/DDTA8DNB4Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#example-14 (example). In E59CDZA4DP, example, section 9.3.3
History
- 2026-11-01: add by m2/v0.6.13
Wilks' theorem DDTV3VM6T4
| URI | m2://inv/DDTV3VM6T4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilks' theorem, Wilks' theorem (statement). Also Wikidata Q56273825
History
- 2026-11-02: add by m2/dev
Example DDV05ZWSZ8
| URI | m2://inv/DDV05ZWSZ8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cotlar–Stein lemma#DB96, Example (example)
History
- 2026-11-02: add by m2/dev
Almost stacked configurations DDVA0M453H
| URI | m2://inv/DDVA0M453H |
|---|---|
| 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.09650#8NHI, Almost stacked configurations (definition). In 628KM8869P/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Clive W. Kilmister DDVEBMHB9A
| URI | m2://inv/DDVEBMHB9A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clive W. Kilmister, Clive W. Kilmister (topic). Also Wikidata Q5134690
History
- 2026-11-02: add by m2/dev
Goran Švob DDVEPEYSSG
| URI | m2://inv/DDVEPEYSSG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goran Švob, Goran Švob (topic). Also Wikidata Q5584507
History
- 2026-11-02: add by m2/dev
Lemma DDVR79D04H
| URI | m2://inv/DDVR79D04H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bramble–Hilbert lemma#YEYH, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Integration with a two-atom support theorem: conditional part DDVSC2ZYYN
| URI | m2://inv/DDVSC2ZYYN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#CUMQ, Integration with a two-atom support theorem: conditional part (statement)
History
- 2026-11-01: add by m2/v0.6.15
DDVSQAWVQD DDVSQAWVQD
| URI | m2://inv/DDVSQAWVQD |
|---|---|
| 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.01656#U9XL (statement). In AHGQZ89DY0/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.12
DDVX4673MX DDVX4673MX
| URI | m2://inv/DDVX4673MX |
|---|---|
| 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.20385#VN1X (statement)
History
- 2026-11-02: add by m2/v0.6.18
Lander, Parkin, and Selfridge conjecture DDW44MHN32
| URI | m2://inv/DDW44MHN32 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#V2K9, Lander, Parkin, and Selfridge conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Private refinement DDWBPEPW1F
| URI | m2://inv/DDWBPEPW1F |
|---|---|
| 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#XBEA, Private refinement (statement). In 9YAE8FNQST/e1, lemma 29.10
History
- 2026-10-30: add by m2/v0.4.12
Injection locking DDWFD0TMSV
| URI | m2://inv/DDWFD0TMSV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Injection locking, Injection locking (definition). Also Wikidata Q3798800
History
- 2026-11-02: add by m2/dev
Algorithm DDWH0AQX0S
| URI | m2://inv/DDWH0AQX0S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Damm algorithm#ORXH, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Examples DDWH26FBD2
| URI | m2://inv/DDWH26FBD2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic process#L5UK, Examples (example)
History
- 2026-11-02: add by m2/dev
Birational invariant DDWN9HNRQP
| URI | m2://inv/DDWN9HNRQP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birational invariant, Birational invariant (definition). Also Wikidata Q4915614
History
- 2026-11-02: add by m2/dev
Bunyakovsky conjecture DDWXKBVPH1
| URI | m2://inv/DDWXKBVPH1 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| MSC | 08A40, 11Cxx, 11Nxx |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1139180, Bunyakovsky conjecture (topic). Also EoM Bunyakovskii_conjecture, MathWorld BouniakowskyConjecture, ProofWiki Bunyakovsky_Conjecture
- wikipedia: Wikipedia Bunyakovsky conjecture, Bunyakovsky conjecture (conjecture). Also Wikidata Q1139180
History
- 2026-10-26: add by m2/dev
DDX1AHHWZT DDX1AHHWZT
| URI | m2://inv/DDX1AHHWZT |
|---|---|
| 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.39675#BYRP (statement). In VM16G3PPH3/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
coulomb DDX1SH6YK8
| URI | m2://inv/DDX1SH6YK8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25406, coulomb (definition). Also ProofWiki Definition:Coulomb_(Unit)
History
- 2026-10-26: add by m2/dev
DDX2TVQFCP DDX2TVQFCP
| URI | m2://inv/DDX2TVQFCP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 22.5
History
- 2026-11-01: add by m2/v0.6.13
DDX576JBQ6 DDX576JBQ6
| URI | m2://inv/DDX576JBQ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric cone#R0W4 (definition)
History
- 2026-11-02: add by m2/dev
François Noël DDX5GRBNES
| URI | m2://inv/DDX5GRBNES |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia François Noël (missionary), François Noël (topic). Also Wikidata Q1451148
History
- 2026-11-02: add by m2/dev
Kuder–Richardson Formula 21 (KR-21) DDX9KKMG10
| URI | m2://inv/DDX9KKMG10 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuder–Richardson formulas#R7WH, Kuder–Richardson Formula 21 (KR-21) (statement)
History
- 2026-11-02: add by m2/dev
pmGH precompactness for tamed metric measure spaces DDXFV5SYBC
| URI | m2://inv/DDXFV5SYBC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.11478#5FTN, pmGH precompactness for tamed metric measure spaces (statement). In R81S9R1XNR/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.3
Counterexamples DDXJTN3XQG
| URI | m2://inv/DDXJTN3XQG |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergence of random variables#VJMQ, Counterexamples (counterexample)
History
- 2026-11-02: add by m2/dev
DDXPAC1A8C DDXPAC1A8C
| URI | m2://inv/DDXPAC1A8C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-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.01694#9N8M (definition). In EBMHYN0XK9/e1, definition 4.3
History
- 2026-10-29: add by m2/v0.4.12
András Gyárfás DDXZR6HTZC
| URI | m2://inv/DDXZR6HTZC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia András Gyárfás, András Gyárfás (topic). Also Wikidata Q4759777
History
- 2026-11-02: add by m2/dev
Marching triangles DDY3HRFVAH
| URI | m2://inv/DDY3HRFVAH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marching triangles, Marching triangles (definition). Also Wikidata Q6757018
History
- 2026-11-02: add by m2/dev
DDY8GJYYEA DDY8GJYYEA
| URI | m2://inv/DDY8GJYYEA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#A73X (statement)
History
- 2026-11-01: add by m2/v0.6.15
DDY9MWR7WX DDY9MWR7WX
| URI | m2://inv/DDY9MWR7WX |
|---|---|
| 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.00525#A0XS (statement). In JN34PDDXH8/e1, lemma 2.19
History
- 2026-10-30: add by m2/v0.4.12
DDYS69P0G0 DDYS69P0G0
| URI | m2://inv/DDYS69P0G0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-43 (exercise). In E9HS8K3A52, exercise, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
DDYV1NBQ1V DDYV1NBQ1V
| URI | m2://inv/DDYV1NBQ1V |
|---|---|
| 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.00775#70G8 (statement). In WVHA7H05QC/e1, theorem 2.32
History
- 2026-10-29: add by m2/v0.4.12
Allais paradox DDZ4Q2PNJY
| URI | m2://inv/DDZ4Q2PNJY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1890213, Allais paradox (unknown). Also MathWorld AllaisParadox
- wikipedia: Wikipedia Allais paradox, Allais paradox (statement). Also Wikidata Q1890213
History
- 2026-10-26: add by m2/dev
DDZ653SAXF DDZ653SAXF
| URI | m2://inv/DDZ653SAXF |
|---|---|
| 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.01803#JOPM (statement). In J6N4X33BME/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.12
DDZ97SV934 DDZ97SV934
| URI | m2://inv/DDZ97SV934 |
|---|---|
| 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 2308.02672#S3EA (statement). In ETRT1R1CQ8/e1, corollary 1.2
History
- 2026-10-27: add by m2/v0.4.0
DDZNCN19N2 DDZNCN19N2
| URI | m2://inv/DDZNCN19N2 |
|---|---|
| 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.39465#ID7X (statement). In 17F6FDEA3W/e1, theorem 4.7
History
- 2026-10-30: add by m2/v0.4.12
DDZP55ZN5Q DDZP55ZN5Q
| URI | m2://inv/DDZP55ZN5Q |
|---|---|
| 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-43 (exercise). In E9HS8K3A52, exercise, section 4.3.4
History
- 2026-11-01: add by m2/v0.6.13
Restraint bias DDZT3XCEME
| URI | m2://inv/DDZT3XCEME |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#G3T5, Restraint bias (unknown)
History
- 2026-11-02: add by m2/dev