Inventory rows DM
The cards of the rows of the inventory whose ids start with DM. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
DM00Z072Z4 DM00Z072Z4
| URI | m2://inv/DM00Z072Z4 |
|---|---|
| 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 2607.20739#HYEP (statement). In XFZJZS3GB1/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
DM032RQ42W DM032RQ42W
| URI | m2://inv/DM032RQ42W |
|---|---|
| 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 2610.19463#LOH4 (statement). In Q4HWFFK0R9/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Definition DM08TFCB5S
| URI | m2://inv/DM08TFCB5S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded mean oscillation#LQ4X, Definition (definition)
History
- 2026-11-02: add by m2/dev
DM0D9JVZN0 DM0D9JVZN0
| URI | m2://inv/DM0D9JVZN0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.02432#9OM0 (statement). In B366ACYB37/e1, theorem 4.7
History
- 2026-10-27: add by m2/v0.3.5
Algorithms DM0KWT5N7Z
| URI | m2://inv/DM0KWT5N7Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiality (geometry)#611Y, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Complexified RKHS DM0NCMJCW7
| URI | m2://inv/DM0NCMJCW7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32652#JBG3, Complexified RKHS (definition). In 6KAZWJ8RFX/e1, definition 3.3
History
- 2026-10-31: add by m2/v0.5.6
Conditional central limit theorem DM0R1JJMXJ
| URI | m2://inv/DM0R1JJMXJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19421#BSIB, Conditional central limit theorem (statement). In 3S1VFGYWQE/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Clipmap DM0T7ZXPC2
| URI | m2://inv/DM0T7ZXPC2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#L9PK, Clipmap (unknown)
History
- 2026-11-02: add by m2/dev
Statement DM0Y8S0A6N
| URI | m2://inv/DM0Y8S0A6N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier inversion theorem#GD9H, Statement (statement)
History
- 2026-11-02: add by m2/dev
DM0YX6P4NQ DM0YX6P4NQ
| URI | m2://inv/DM0YX6P4NQ |
|---|---|
| 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.21258#6WPW (statement). In PN98BKSKZP/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
DM13FXHREV DM13FXHREV
| URI | m2://inv/DM13FXHREV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/martingale.tex#exer:martingale (exercise). In RZP28ERRZV, problem, section 66.7
History
- 2026-11-01: add by m2/v0.6.13
S. G. Dani DM13G360X2
| URI | m2://inv/DM13G360X2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#EIZ6, S. G. Dani (topic)
History
- 2026-11-02: add by m2/dev
DM17J8DHYM DM17J8DHYM
| URI | m2://inv/DM17J8DHYM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21611#V7WI (statement)
History
- 2026-11-02: add by m2/v0.6.18
Lemma DM1TG4QSYC
| URI | m2://inv/DM1TG4QSYC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lochs's theorem#5UYX, Lemma (statement)
History
- 2026-11-02: add by m2/dev
DM1X009NYF DM1X009NYF
| URI | m2://inv/DM1X009NYF |
|---|---|
| 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 2610.04164#VHVP (statement). In KR7WXN4EWR/e1, theorem 7.4
History
- 2026-10-29: add by m2/v0.4.12
DM20910V8G DM20910V8G
| URI | m2://inv/DM20910V8G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-2.xml#exercise-4 (exercise). In 649HGZKE96, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
DM247YCBC3 DM247YCBC3
| URI | m2://inv/DM247YCBC3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#F8WC (example). In HX63A1PH1W/e1, example 3.4
History
- 2026-10-28: add by m2/v0.4.3
Reverse OU, perturbative single-index flows and tilts DM252CSQP2
| URI | m2://inv/DM252CSQP2 |
|---|---|
| Kind | example |
| 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.10875#PDJO, Reverse OU, perturbative single-index flows and tilts (example). In N91F15MHW1/e1, example 1
History
- 2026-10-28: add by m2/v0.4.3
DM2NMTAR0A DM2NMTAR0A
| URI | m2://inv/DM2NMTAR0A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.11301#XR1O (statement). In YH1W5A0JTS/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
DM2YNR8ZHV DM2YNR8ZHV
| URI | m2://inv/DM2YNR8ZHV |
|---|---|
| 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.19260#ZHB1 (statement). In PWXT7J9JX3/e1, proposition 7.8
History
- 2026-10-28: add by m2/v0.4.2
DM337ZXMYG DM337ZXMYG
| URI | m2://inv/DM337ZXMYG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34570#1B5K (statement). In EVFX1R7ZDD/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
Examples DM339165SJ
| URI | m2://inv/DM339165SJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodesic polyhedron#UDQO, Examples (example)
History
- 2026-11-02: add by m2/dev
Duncan Lawson DM346WXVK3
| URI | m2://inv/DM346WXVK3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duncan Lawson, Duncan Lawson (topic). Also Wikidata Q5314432
History
- 2026-11-02: add by m2/dev
Formal definition DM3478WB0E
| URI | m2://inv/DM3478WB0E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kadison–Kastler metric#P3RH, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Logarithmic capacity DM3BTE523C
| URI | m2://inv/DM3BTE523C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conformal radius#B7OC, Logarithmic capacity (unknown)
History
- 2026-11-02: add by m2/dev
452 (number) DM3EWVVXYS
| URI | m2://inv/DM3EWVVXYS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#W1MK, 452 (number) (unknown)
History
- 2026-11-02: add by m2/dev
DM3H5DMPRM DM3H5DMPRM
| URI | m2://inv/DM3H5DMPRM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-recurrence.ptx#exercise-12 (exercise). In Y91XFCEVHQ, exercise, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
DM3K0QKZFY DM3K0QKZFY
| URI | m2://inv/DM3K0QKZFY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2109.12716#Q2M6 (definition). In 6X76XBE3HV/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Applications DM3X4VDZGJ
| URI | m2://inv/DM3X4VDZGJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Landau theory#UB5X, Applications (example)
History
- 2026-11-02: add by m2/dev
Ernst Kolman DM3X8SG18M
| URI | m2://inv/DM3X8SG18M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#PIU2, Ernst Kolman (unknown)
History
- 2026-11-02: add by m2/dev
Log scale DM45QD2JCV
| URI | m2://inv/DM45QD2JCV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10080#9HPL, Log scale (statement). In N6EBNRZCYX/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.10
convergent, series DM474P13Y3
| URI | m2://inv/DM474P13Y3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/10.5.1/convergent-series, convergent, series (concept). In E59CDZA4DP, index, section 10.5.1
History
- 2026-11-01: add by m2/v0.6.13
Frank Wilczek DM497RFNMZ
| URI | m2://inv/DM497RFNMZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#U1TT, Frank Wilczek (unknown)
History
- 2026-11-02: add by m2/dev
Siegel's theorem on integral points DM4GN8ZVJ8
| URI | m2://inv/DM4GN8ZVJ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegel's theorem on integral points, Siegel's theorem on integral points (statement). Also Wikidata Q7510553
History
- 2026-11-02: add by m2/dev
David Ríos Insua DM4JQC07GN
| URI | m2://inv/DM4JQC07GN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Ríos Insua, David Ríos Insua (topic). Also Wikidata Q3018749
History
- 2026-11-02: add by m2/dev
Current DM4M5N4F9E
| URI | m2://inv/DM4M5N4F9E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Current (mathematics), Current (definition). Also Wikidata Q3001145
History
- 2026-11-02: add by m2/dev
DM4MYWB17R DM4MYWB17R
| URI | m2://inv/DM4MYWB17R |
|---|---|
| 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.20656#TUJO (example)
History
- 2026-11-02: add by m2/v0.6.18
Uniform 2k1 polytope DM4PBTGCS4
| URI | m2://inv/DM4PBTGCS4 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#GHMP, Uniform 2k1 polytope (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#F95E, Uniform 2k1 polytope (object)
History
- 2026-11-02: add by m2/dev
DM4VZXHG7J DM4VZXHG7J
| URI | m2://inv/DM4VZXHG7J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28509#FANQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Orientation-preserving DM54VX3YWK
| URI | m2://inv/DM54VX3YWK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orientability#43H1, Orientation-preserving (unknown)
History
- 2026-11-02: add by m2/dev
Example DM55123BXK
| URI | m2://inv/DM55123BXK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugate element (field theory)#7RH0, Example (example)
History
- 2026-11-02: add by m2/dev
DM559927SA DM559927SA
| URI | m2://inv/DM559927SA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21963#RBJP (statement). In HR9R8RPKN8/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.4.2
DM5CA46E34 DM5CA46E34
| URI | m2://inv/DM5CA46E34 |
|---|---|
| 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.19311#JNVK (statement). In 3MFD6RSV41/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Secret sharing DM5GBAZP03
| URI | m2://inv/DM5GBAZP03 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#99T7, Secret sharing (definition)
History
- 2026-11-02: add by m2/dev
DM5KXGX253 DM5KXGX253
| URI | m2://inv/DM5KXGX253 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.14097#CG03 (statement). In H52QQS8WZA/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
DM5MFWKVZS DM5MFWKVZS
| URI | m2://inv/DM5MFWKVZS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#F4QH (example). In HX63A1PH1W/e1, example 6.29
History
- 2026-10-28: add by m2/v0.4.3
DM5SQ2679S DM5SQ2679S
| URI | m2://inv/DM5SQ2679S |
|---|---|
| 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#EYVS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Failure of Fubini's theorem for non-maximal product measures DM607TGEP2
| URI | m2://inv/DM607TGEP2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fubini's theorem#KY2C, Failure of Fubini's theorem for non-maximal product measures (statement)
History
- 2026-11-02: add by m2/dev
Consistency DM60DBXAS9
| URI | m2://inv/DM60DBXAS9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/proof-theoretic-notions.tex#defn-3, Consistency (definition). In PKGMM3P5QY, defn, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
Construction DM6D8YAYMG
| URI | m2://inv/DM6D8YAYMG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate cryptography#GSAO, Construction (definition)
History
- 2026-11-02: add by m2/dev
Definitions DM6F8QPWAK
| URI | m2://inv/DM6F8QPWAK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cop-win graph#HEJN, Definitions (definition)
History
- 2026-11-02: add by m2/dev
DM6G7C82TN DM6G7C82TN
| URI | m2://inv/DM6G7C82TN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03288#0KTL (statement). In ZHP1MFSACN/e1, lemma 6.5
History
- 2026-10-29: add by m2/v0.4.12
DM6Q1WQK9X DM6Q1WQK9X
| URI | m2://inv/DM6Q1WQK9X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20516#O2KP (definition)
History
- 2026-11-02: add by m2/v0.6.18
DM6Q67CF3F DM6Q67CF3F
| URI | m2://inv/DM6Q67CF3F |
|---|---|
| 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.15700#M386 (statement). In S95MSZ7MDR/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
DM6Q85F6ET DM6Q85F6ET
| URI | m2://inv/DM6Q85F6ET |
|---|---|
| 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 1004.4564#E829 (statement). In BZ54C9SKYS/e1, theorem 6.7
History
- 2026-10-27: add by m2/v0.3.5
Pascual Jordan DM6RQ898A9
| URI | m2://inv/DM6RQ898A9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1XER, Pascual Jordan (unknown)
History
- 2026-11-02: add by m2/dev
DM6S4SS4R4 DM6S4SS4R4
| URI | m2://inv/DM6S4SS4R4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-94 (exercise). In VNMV985MXX, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
DM6T7ZA4VG DM6T7ZA4VG
| URI | m2://inv/DM6T7ZA4VG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05354#B546 (statement). In TZ5BMDXRQZ/e1, corollary 4.5
History
- 2026-10-29: add by m2/v0.4.10
Wiener deconvolution DM6VA1VEHE
| URI | m2://inv/DM6VA1VEHE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener deconvolution, Wiener deconvolution (definition). Also Wikidata Q599016
History
- 2026-11-02: add by m2/dev
Corollary 6 DM6WZW2JV2
| URI | m2://inv/DM6WZW2JV2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple continued fraction#Y877, Corollary 6 (statement)
History
- 2026-11-02: add by m2/dev
DM754E4ZE6 DM754E4ZE6
| URI | m2://inv/DM754E4ZE6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1209.5343#6XKG (definition). In 4SPYEGKZ8J/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
DM7K8RDHQF DM7K8RDHQF
| URI | m2://inv/DM7K8RDHQF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35095#VO6U (definition). In MM3XTWS35F/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
adjacent side DM7KXWB2QK
| URI | m2://inv/DM7KXWB2QK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q140142050, adjacent side (unknown). Also MathWorld AdjacentSide
History
- 2026-10-26: add by m2/dev
Closed rational forms without saddle-nodes are logarithmic DM7MB6NHJK
| URI | m2://inv/DM7MB6NHJK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.12497#BWTG, Closed rational forms without saddle-nodes are logarithmic (statement). In Z0SAF18JPP/e1, lemma 11.3
History
- 2026-10-28: add by m2/v0.4.2
DM7Q033AA6 DM7Q033AA6
| URI | m2://inv/DM7Q033AA6 |
|---|---|
| Kind | problem |
| 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#GZLT (problem). In 332PQD90SW/e1, problem 4.10
History
- 2026-10-27: add by m2/v0.3.5
Statement DM7VCQRN92
| URI | m2://inv/DM7VCQRN92 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Small set expansion hypothesis#IY3Q, Statement (statement)
History
- 2026-11-02: add by m2/dev
autonomous differential equations DM7XCMHH4Z
| URI | m2://inv/DM7XCMHH4Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential equations > autonomous differential equations, autonomous differential equations (unknown)
History
- 2026-10-26: add by m2/dev
Prime gaps from a single state DM7YJER9KJ
| URI | m2://inv/DM7YJER9KJ |
|---|---|
| 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.13365#492R, Prime gaps from a single state (statement). In YMBTSX10FF/e1, corollary 2.3
History
- 2026-10-28: add by m2/v0.4.2
inscribed sphere DM7ZDS699B
| URI | m2://inv/DM7ZDS699B |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q683362, inscribed sphere (unknown). Also MathWorld Insphere
- wikipedia: Wikipedia Inscribed sphere, Inscribed sphere (object). Also Wikidata Q683362
History
- 2026-10-26: add by m2/dev
DM875SH7EJ DM875SH7EJ
| URI | m2://inv/DM875SH7EJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#P4H7 (statement). In E7W2HDNEKJ/e1, proposition 10.4
History
- 2026-10-30: add by m2/v0.4.12
DM8863FSQ5 DM8863FSQ5
| URI | m2://inv/DM8863FSQ5 |
|---|---|
| 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#XD77 (statement). In X38P26DK6S/e1, proposition 5.22
History
- 2026-10-27: add by m2/v0.4.0
Examples DM8FP0J1C8
| URI | m2://inv/DM8FP0J1C8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Density topology#BQYT, Examples (example)
History
- 2026-11-02: add by m2/dev
DM8W3F4ZSQ DM8W3F4ZSQ
| URI | m2://inv/DM8W3F4ZSQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16381#WO8W (statement). In 304QK565QF/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
DM8WKVJDBW DM8WKVJDBW
| URI | m2://inv/DM8WKVJDBW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#UYBM (statement). In V5PVKDKGGG/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Government Communications Security Bureau DM8XQ3YMKV
| URI | m2://inv/DM8XQ3YMKV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Government Communications Security Bureau, Government Communications Security Bureau (definition). Also Wikidata Q382463
History
- 2026-11-02: add by m2/dev
Demographics of Gaza DM8YD64ACT
| URI | m2://inv/DM8YD64ACT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Palestine#90D5, Demographics of Gaza (unknown)
History
- 2026-11-02: add by m2/dev
Non-standard analysis DM8YD8CQR2
| URI | m2://inv/DM8YD8CQR2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#XLLP, Non-standard analysis (definition)
History
- 2026-11-02: add by m2/dev
Ali--Singh DM92BQYK01
| URI | m2://inv/DM92BQYK01 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20849#IWPD, Ali--Singh (statement). In HK7FV97MFD/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.4.2
Shimura correspondence DM92KEHK75
| URI | m2://inv/DM92KEHK75 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7497061, Shimura correspondence (concept). Also LMFDB knowl cmf.shimura_correspondence
- wikipedia: Wikipedia Shimura correspondence, Shimura correspondence (definition). Also Wikidata Q7497061
History
- 2026-10-26: add by m2/dev
DM951XED83 DM951XED83
| URI | m2://inv/DM951XED83 |
|---|---|
| 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.11974#1OJT (statement). In AW6S4XZ9ZZ/e1, corollary 6.3
History
- 2026-10-28: add by m2/v0.4.3
DM97HNP8XH DM97HNP8XH
| URI | m2://inv/DM97HNP8XH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.14143#JIES (example). In 7WV4JVGEN1/e1, example 3.3
History
- 2026-10-27: add by m2/v0.4.0
Definition DM9BRZWPHK
| URI | m2://inv/DM9BRZWPHK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximation property#AWXI, Definition (definition)
History
- 2026-11-02: add by m2/dev
A graph DM9G9X510P
| URI | m2://inv/DM9G9X510P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122897647, A graph (unknown). Also House of Graphs 945, MathWorld AGraph
History
- 2026-10-26: add by m2/dev
General definitions DM9QKYE97H
| URI | m2://inv/DM9QKYE97H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrangian coherent structure#ICH1, General definitions (definition)
History
- 2026-11-02: add by m2/dev
DMA5FN4B2F DMA5FN4B2F
| URI | m2://inv/DMA5FN4B2F |
|---|---|
| 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.06441#DROS (statement). In YFJ62HWHVK/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
Extensions DMA9DV3YA8
| URI | m2://inv/DMA9DV3YA8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#O4E1, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Finite-time convergence to the local box solution DMACSVXJCZ
| URI | m2://inv/DMACSVXJCZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29524#WJWU, Finite-time convergence to the local box solution (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties DMADJQ3S3G
| URI | m2://inv/DMADJQ3S3G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duflo isomorphism#MMLV, Properties (statement)
History
- 2026-11-02: add by m2/dev
Rectifiability of the straight visible boundary DMADQW0KDS
| URI | m2://inv/DMADQW0KDS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22407#20MD, Rectifiability of the straight visible boundary (statement)
History
- 2026-11-02: add by m2/v0.6.17
DMAET6KQGP DMAET6KQGP
| URI | m2://inv/DMAET6KQGP |
|---|---|
| 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 2509.10268#I4EG (statement). In YR15TN4V4F/e1, lemma S4
History
- 2026-10-27: add by m2/v0.3.5
Yeo-Johnson transformation DMARQV55P0
| URI | m2://inv/DMARQV55P0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power transform#7PUE, Yeo-Johnson transformation (unknown)
History
- 2026-11-02: add by m2/dev
Linear programming decoding DMAW7YBX3X
| URI | m2://inv/DMAW7YBX3X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear programming decoding, Linear programming decoding (definition). Also Wikidata Q6553490
History
- 2026-11-02: add by m2/dev
DMAWVN66RK DMAWVN66RK
| URI | m2://inv/DMAWVN66RK |
|---|---|
| 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 2602.13510#TNZV (statement). In Y75MQW7CFV/e1, proposition B.3
History
- 2026-10-27: add by m2/v0.3.5
Notation DMAZ62T5ZR
| URI | m2://inv/DMAZ62T5ZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal distribution#ROGT, Notation (definition)
History
- 2026-11-02: add by m2/dev
Rhodes, E. C. DMAZ94P0ZX
| URI | m2://inv/DMAZ94P0ZX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#29E0, Rhodes, E. C. (topic)
History
- 2026-11-02: add by m2/dev
idempotent matrix DMB0JAP9ZR
| URI | m2://inv/DMB0JAP9ZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Idempotent matrix 0K7TD9BV2D |
Mentions
- wikidata: Wikidata Q3751720, idempotent matrix (unknown). Also MathWorld IdempotentMatrix
- wikipedia: Wikipedia Idempotent matrix, Idempotent matrix (definition). Also Wikidata Q3751720
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
DMB42RM9J5 DMB42RM9J5
| URI | m2://inv/DMB42RM9J5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 2503.00440#7UM6 (statement). In 3HMRK8KEVD/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.6
invertible knot DMBB547KD8
| URI | m2://inv/DMBB547KD8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6060558, invertible knot (unknown). Also MathWorld InvertibleKnot
- wikipedia: Wikipedia Invertible knot, Invertible knot (definition). Also Wikidata Q6060558
History
- 2026-10-26: add by m2/dev
DMBCGA58YP DMBCGA58YP
| URI | m2://inv/DMBCGA58YP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27270#1MCQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition DMBE7T5TQK
| URI | m2://inv/DMBE7T5TQK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial code#HZUR, Definition (definition)
History
- 2026-11-02: add by m2/dev
DMBESGKDWY DMBESGKDWY
| URI | m2://inv/DMBESGKDWY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 49-XX, 51-XX, 52-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.10801#TBI9 (statement). In BWJS3H55WH/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.5
Uses of estimation DMBEXTNKQC
| URI | m2://inv/DMBEXTNKQC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Estimation#K2MT, Uses of estimation (example)
History
- 2026-11-02: add by m2/dev
Characterizations DMBZN8HVYF
| URI | m2://inv/DMBZN8HVYF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Right kite#R4Q2, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Stochastic geometry DMC3875VS8
| URI | m2://inv/DMC3875VS8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#QIOZ, Stochastic geometry (definition)
History
- 2026-11-02: add by m2/dev
DMC5CM7WKR DMC5CM7WKR
| URI | m2://inv/DMC5CM7WKR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33162#66JZ (statement). In RPC7VG3KHQ/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
overlapping triangle zeros DMCD168PW6
| URI | m2://inv/DMCD168PW6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02289#JF7Y, overlapping triangle zeros (statement). In 67BZ87CQ74/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
Joint SwiGLU alignment and refit gains DMCDGSZPJS
| URI | m2://inv/DMCDGSZPJS |
|---|---|
| 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.39408#IS5Q, Joint SwiGLU alignment and refit gains (statement). In T8E6F01RTM/e1, corollary 5.2
History
- 2026-10-30: add by m2/v0.4.12
DMCEZ3VWXW DMCEZ3VWXW
| URI | m2://inv/DMCEZ3VWXW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13670#XLQ7 (statement). In 4PGTZ19B26/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.2
individual DMCGKSX6M0
| URI | m2://inv/DMCGKSX6M0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#PW4X, individual (definition)
History
- 2026-11-02: add by m2/dev
DMCSG3H3JJ DMCSG3H3JJ
| URI | m2://inv/DMCSG3H3JJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26089#ITPG (statement)
History
- 2026-11-01: add by m2/v0.6.15
DMCYN1THG9 DMCYN1THG9
| URI | m2://inv/DMCYN1THG9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17825#6HGN (statement). In T0ADPX1S05/e1, proposition 4.9
History
- 2026-10-28: add by m2/v0.4.2
Victor Zalgaller DMD9957YAR
| URI | m2://inv/DMD9957YAR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#K3HG, Victor Zalgaller (topic)
History
- 2026-11-02: add by m2/dev
DMDKQ77V22 DMDKQ77V22
| URI | m2://inv/DMDKQ77V22 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02079#VK2W (statement). In CNS2J2E4T2/e1, theorem 33
History
- 2026-10-29: add by m2/v0.4.12
Herbrandization DMDSBT6MVR
| URI | m2://inv/DMDSBT6MVR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herbrandization, Herbrandization (definition). Also Wikidata Q5736209
History
- 2026-11-02: add by m2/dev
General existence theorem DME0G5HH4M
| URI | m2://inv/DME0G5HH4M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discontinuous linear map#UBM4, General existence theorem (statement)
History
- 2026-11-02: add by m2/dev
500 DME0WNRW8B
| URI | m2://inv/DME0WNRW8B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number), 500 (definition). Also Wikidata Q207742
History
- 2026-11-02: add by m2/dev
DME3AME0AV DME3AME0AV
| URI | m2://inv/DME3AME0AV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09812#XWG9 (statement). In NWWKD8YX57/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
Classical Cauchy data DME57R2P2D
| URI | m2://inv/DME57R2P2D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17519#MAPK, Classical Cauchy data (definition). In H2DNTQ5MKV/e1, definition 4.7
History
- 2026-10-28: add by m2/v0.4.2
Basic properties DME5M4MCHC
| URI | m2://inv/DME5M4MCHC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertex operator algebra#60B1, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
DMEBN2BP66 DMEBN2BP66
| URI | m2://inv/DMEBN2BP66 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#ex:loop2 (exercise). In N54F33XE07, ex, section 8.8
History
- 2026-11-01: add by m2/v0.6.13
Generalized Pareto distribution DMENFQHAD5
| URI | m2://inv/DMENFQHAD5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#4VSF, Generalized Pareto distribution (definition)
History
- 2026-11-02: add by m2/dev
DMEQ8RPYTQ DMEQ8RPYTQ
| URI | m2://inv/DMEQ8RPYTQ |
|---|---|
| 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-75 (exercise). In E9HS8K3A52, exercise, section 4.5.4
History
- 2026-11-01: add by m2/v0.6.13
Trial Space with Boundary Conditions, Test Space DMETPA4WKT
| URI | m2://inv/DMETPA4WKT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13222#RTAU, Trial Space with Boundary Conditions, Test Space (definition). In Z6WA2R0J50/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Leslie M. Moore DMEWNYBM15
| URI | m2://inv/DMEWNYBM15 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#2IST, Leslie M. Moore (unknown)
History
- 2026-11-02: add by m2/dev
DMEXYR37R6 DMEXYR37R6
| URI | m2://inv/DMEXYR37R6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/martingale.tex#problem-4 (exercise). In RZP28ERRZV, problem, section 66.7
History
- 2026-11-01: add by m2/v0.6.13
DMF1PH2S88 DMF1PH2S88
| URI | m2://inv/DMF1PH2S88 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21489#3SSV (statement). In R0Q0RV8XCF/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.4.2
DMFBF8A37Y DMFBF8A37Y
| URI | m2://inv/DMFBF8A37Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21080#SWDH (definition). In DGE917KQSQ/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.4.2
Moise: existence of a smooth structure DMFBFK5MEY
| URI | m2://inv/DMFBFK5MEY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33842#UPY6, Moise: existence of a smooth structure (statement). In NFQ1VPB281/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Bland–Altman plot DMFFFE0W6H
| URI | m2://inv/DMFFFE0W6H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bland–Altman plot, Bland–Altman plot (definition). Also Wikidata Q881473
History
- 2026-11-02: add by m2/dev
DMFG5EN7MH DMFG5EN7MH
| URI | m2://inv/DMFG5EN7MH |
|---|---|
| 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.05486#Z5Z2 (statement). In 5Z46AK2XTC/e1, theorem C.3
History
- 2026-10-29: add by m2/v0.4.10
DMFP0CH7J3 DMFP0CH7J3
| URI | m2://inv/DMFP0CH7J3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05299#BVX7 (definition). In 68AE571S4P/e1, definition 4.15
History
- 2026-10-29: add by m2/v0.4.10
John Law DMFS93XEFZ
| URI | m2://inv/DMFS93XEFZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Law (bishop), John Law (topic). Also Wikidata Q6244138
History
- 2026-11-02: add by m2/dev
DMFT4AXED5 DMFT4AXED5
| URI | m2://inv/DMFT4AXED5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_induction_exercises.ptx#exercise-7 (exercise). In QKM9DD2H56, exercise, section 3
History
- 2026-11-01: add by m2/v0.6.13
Simple infinite towers DMFV4WDMK0
| URI | m2://inv/DMFV4WDMK0 |
|---|---|
| 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.20401#8PAQ, Simple infinite towers (statement)
History
- 2026-11-02: add by m2/v0.6.18
SEED DMG12DATDQ
| URI | m2://inv/DMG12DATDQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SEED, SEED (definition). Also Wikidata Q1061548
History
- 2026-11-02: add by m2/dev
DMG4VTHTF1 DMG4VTHTF1
| URI | m2://inv/DMG4VTHTF1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17408#03IX (statement). In QR8H4M1X4N/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
bimodule DMGMFS51T6
| URI | m2://inv/DMGMFS51T6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 16D20 |
| Sources | 2 |
| Outcome | open |
| Node | Bimodule EM7FHAFD3N |
Mentions
- wikidata: Wikidata Q2903821, bimodule (topic). Also nLab bimodule
- wikipedia: Wikipedia Bimodule, Bimodule (definition). Also Wikidata Q2903821
History
- 2026-10-26: add by m2/dev
Multicollinearity DMGTTXC1WK
| URI | m2://inv/DMGTTXC1WK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multicollinearity, Multicollinearity (definition). Also Wikidata Q1332350
History
- 2026-11-02: add by m2/dev
Open mapping theorem DMGVQVPTVE
| URI | m2://inv/DMGVQVPTVE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional analysis#OBQH, Open mapping theorem (statement)
History
- 2026-11-02: add by m2/dev
DMGYQ2S9NV DMGYQ2S9NV
| URI | m2://inv/DMGYQ2S9NV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/UncountableSets.tex#theorem-4 (statement). In P1C114YBXG, theorem, section K
History
- 2026-11-01: add by m2/v0.6.13
Statement of the theorem due to A. Kneser DMH32081A3
| URI | m2://inv/DMH32081A3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kneser's theorem (differential equations)#XVDU, Statement of the theorem due to A. Kneser (statement)
History
- 2026-11-02: add by m2/dev
Koide Chōjūrō DMH4FP069Z
| URI | m2://inv/DMH4FP069Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Koide Chōjūrō, Koide Chōjūrō (topic). Also Wikidata Q6426256
History
- 2026-11-02: add by m2/dev
Descriptive research DMH7YKH89V
| URI | m2://inv/DMH7YKH89V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Descriptive research, Descriptive research (definition). Also Wikidata Q2661195
History
- 2026-11-02: add by m2/dev
Definition DMHC85KDT5
| URI | m2://inv/DMHC85KDT5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Depth (ring theory)#SD1E, Definition (definition)
History
- 2026-11-02: add by m2/dev
TAP values at small self-overlap DMHCTJ0YZZ
| URI | m2://inv/DMHCTJ0YZZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#IVC0, TAP values at small self-overlap (statement). In NKXTXH59P1/e1, lemma C.9
History
- 2026-10-29: add by m2/v0.4.10
DMHVWXT4NT DMHVWXT4NT
| URI | m2://inv/DMHVWXT4NT |
|---|---|
| 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.26500#Z2IC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sagan (number) DMJ1E3C4N6
| URI | m2://inv/DMJ1E3C4N6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indefinite and fictitious numbers#TW7Z, Sagan (number) (unknown)
History
- 2026-11-02: add by m2/dev
DMJ1GVZR1Q DMJ1GVZR1Q
| URI | m2://inv/DMJ1GVZR1Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#9PJX (definition). In 3A4K47Y9F2/e1, definition 2.47
History
- 2026-10-27: add by m2/v0.4.0
Representation DMJ2TG7XT6
| URI | m2://inv/DMJ2TG7XT6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary number#NM59, Representation (definition)
History
- 2026-11-02: add by m2/dev
algebraically compact DMJ4Q6R7X1
| URI | m2://inv/DMJ4Q6R7X1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#XN86, algebraically compact (definition)
History
- 2026-11-02: add by m2/dev
Example DMJ89HEGDW
| URI | m2://inv/DMJ89HEGDW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sesquilinear form#RGI9, Example (example)
History
- 2026-11-02: add by m2/dev
concyclic points DMJH7KJK03
| URI | m2://inv/DMJH7KJK03 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Concyclic points 049DCJZ448 |
Mentions
- wikidata: Wikidata Q1783746, concyclic points (concept). Also MathWorld Concyclic
- wikipedia: Wikipedia Concyclic points, Concyclic points (definition). Also Wikidata Q1783746
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
DMJKHGAPZY DMJKHGAPZY
| URI | m2://inv/DMJKHGAPZY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-3.xml#activity-span-r3 (exercise). In 649HGZKE96, activity, section 2.3.3
History
- 2026-11-01: add by m2/v0.6.13
Millman's theorem DMJTJ0CCRS
| URI | m2://inv/DMJTJ0CCRS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Millman's theorem, Millman's theorem (statement). Also Wikidata Q588736
History
- 2026-11-02: add by m2/dev
Jean Leurechon DMJVPS6X5S
| URI | m2://inv/DMJVPS6X5S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3173201, Jean Leurechon (unknown). Also ProofWiki Mathematician:Jean_Leurechon
History
- 2026-10-26: add by m2/dev
DMK2TQX0Z3 DMK2TQX0Z3
| URI | m2://inv/DMK2TQX0Z3 |
|---|---|
| Kind | conjecture |
| 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.20008#87FC (conjecture). In 60SZ4NYPHF/e1, conjecture 5
History
- 2026-10-27: add by m2/v0.4.2
DMK3WKT2G4 DMK3WKT2G4
| URI | m2://inv/DMK3WKT2G4 |
|---|---|
| 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.20110#HVI4 (statement). In 1SAMKN4477/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.2
DMKBYMWRHV DMKBYMWRHV
| URI | m2://inv/DMKBYMWRHV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#RZBC (statement). In X47RYAZF8P/e1, lemma 8.4
History
- 2026-10-28: add by m2/v0.4.2
double negation introduction DMKPWTP1P7
| URI | m2://inv/DMKPWTP1P7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#ATZY, double negation introduction (definition)
History
- 2026-11-02: add by m2/dev
DMKS3A9C20 DMKS3A9C20
| URI | m2://inv/DMKS3A9C20 |
|---|---|
| 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.14308#LA2M (statement). In F67Y6BZVV8/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
forced motion, systems DMKSMVPAZR
| URI | m2://inv/DMKSMVPAZR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.6.3/forced-motion-systems, forced motion, systems (concept). In E9HS8K3A52, index, section 10.6.3
History
- 2026-11-01: add by m2/v0.6.13
c.f. DMKT77BKEQ
| URI | m2://inv/DMKT77BKEQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#U4BS, c.f. (statement). In RYWAX33Z51/e1, lemma 4.30
History
- 2026-10-31: add by m2/v0.5.6
Faulkner–Younger 42-graph DMM3X2TKF3
| URI | m2://inv/DMM3X2TKF3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2816779, Faulkner–Younger 42-graph (unknown). Also House of Graphs 1066
History
- 2026-10-26: add by m2/dev
DMM60T5CDS DMM60T5CDS
| URI | m2://inv/DMM60T5CDS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36186#4VUA (statement). In 30PQN6JP7W/e1, lemma 23
History
- 2026-10-27: add by m2/v0.3.5
Pythagoras DMMFDXYBHR
| URI | m2://inv/DMMFDXYBHR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#2GV1, Pythagoras (topic)
History
- 2026-11-02: add by m2/dev
Recurrences and Jacobi matrices DMMMTSXQZP
| URI | m2://inv/DMMMTSXQZP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#SF4B, Recurrences and Jacobi matrices (statement). In JY6RYSNXMJ/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
DMMPJ0Y0Q2 DMMPJ0Y0Q2
| URI | m2://inv/DMMPJ0Y0Q2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 51-XX, 52-XX, 53-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.03305#YWHU (statement). In WAJ5AZHF62/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
DMMPRJ6TSQ DMMPRJ6TSQ
| URI | m2://inv/DMMPRJ6TSQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#TNLF (definition)
History
- 2026-11-01: add by m2/v0.6.15
DMMVRMZ0H7 DMMVRMZ0H7
| URI | m2://inv/DMMVRMZ0H7 |
|---|---|
| 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.39905#YIEA (statement). In D4B23ER9QD/e1, lemma 9
History
- 2026-10-30: add by m2/v0.4.12
hosohedron DMMY8FDT6C
| URI | m2://inv/DMMY8FDT6C |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q869874, hosohedron (unknown). Also MathWorld Hosohedron, nLab hosohedron
- wikipedia: Wikipedia Hosohedron, Hosohedron (object). Also Wikidata Q869874
History
- 2026-10-26: add by m2/dev
DMMZ7F2H7A DMMZ7F2H7A
| URI | m2://inv/DMMZ7F2H7A |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 01-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33529#RANS (unknown). In RQZGQG3PBR/e1, unknown II.12.13
History
- 2026-10-30: add by m2/v0.4.12
tridecagonal number DMMZA4AJYF
| URI | m2://inv/DMMZA4AJYF |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18449456, tridecagonal number (object). Also OEIS A051865
History
- 2026-10-26: add by m2/dev
DMN2YJGVKK DMN2YJGVKK
| URI | m2://inv/DMN2YJGVKK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.01302#MABK (statement). In KTQS6YPA4E/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
Definition DMN62GP35K
| URI | m2://inv/DMN62GP35K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithmic pair#J855, Definition (definition)
History
- 2026-11-02: add by m2/dev
Pollyanna Creep DMNBDM9QG4
| URI | m2://inv/DMNBDM9QG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pollyanna Creep, Pollyanna Creep (definition). Also Wikidata Q7225854
History
- 2026-11-02: add by m2/dev
DMNJG1J84Y DMNJG1J84Y
| URI | m2://inv/DMNJG1J84Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.10921#SHJZ (definition). In PD5PJ0EYG6/e1, definition 1.7
History
- 2026-10-27: add by m2/v0.3.5
DMNKMDVAZY DMNKMDVAZY
| URI | m2://inv/DMNKMDVAZY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23341#95EH (statement)
History
- 2026-11-02: add by m2/v0.6.17
DMNQJ41VH7 DMNQJ41VH7
| URI | m2://inv/DMNQJ41VH7 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-29: add by m2/v0.4.10
DMNT5F8N63 DMNT5F8N63
| URI | m2://inv/DMNT5F8N63 |
|---|---|
| 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.22374#N1XN (statement)
History
- 2026-11-02: add by m2/v0.6.17
Probabilistic latent semantic analysis DMP18MWKR3
| URI | m2://inv/DMP18MWKR3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Z1EV, Probabilistic latent semantic analysis (definition)
History
- 2026-11-02: add by m2/dev
DMP2RD2AGP DMP2RD2AGP
| URI | m2://inv/DMP2RD2AGP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18847#PRY6 (statement). In DZ12XTTJSM/e1, lemma 1.1
History
- 2026-10-28: add by m2/v0.4.2
Mueller matrix DMP38T1X2N
| URI | m2://inv/DMP38T1X2N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mueller calculus#UX1J, Mueller matrix (unknown)
History
- 2026-11-02: add by m2/dev
Theorem DMPB308RCM
| URI | m2://inv/DMPB308RCM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stone–von Neumann theorem#DP1Z, Theorem (statement)
History
- 2026-11-02: add by m2/dev
DMPB6Q2C6V DMPB6Q2C6V
| URI | m2://inv/DMPB6Q2C6V |
|---|---|
| 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.31527#Y09R (statement). In ZQ2YZ4P6P5/e1, proposition 2.9
History
- 2026-10-31: add by m2/v0.5.6
Spherical polyhedron DMPC0A2KKH
| URI | m2://inv/DMPC0A2KKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#ZPFJ, Spherical polyhedron (definition)
History
- 2026-11-02: add by m2/dev
DMPD00PNNB DMPD00PNNB
| URI | m2://inv/DMPD00PNNB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-25 (exercise). In QKM9DD2H56, exercise, section 5
History
- 2026-11-01: add by m2/v0.6.13
Unoriented tangloid category DMPEWV7KQK
| URI | m2://inv/DMPEWV7KQK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37524#KRJ0, Unoriented tangloid category (definition). In 4GTJAPF7Q3/e1, definition 2.6
History
- 2026-10-30: add by m2/v0.4.12
C*-algebra DMPQXC51C4
| URI | m2://inv/DMPQXC51C4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#1XI4, C*-algebra (definition)
History
- 2026-11-02: add by m2/dev
DMPWZJQQWS DMPWZJQQWS
| URI | m2://inv/DMPWZJQQWS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28742#M5ZM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalized eigenfunction DMPYRDC88S
| URI | m2://inv/DMPYRDC88S |
|---|---|
| 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.00770#R93Y, Generalized eigenfunction (statement). In AYGRJSRG1M/e1, lemma
History
- 2026-10-29: add by m2/v0.4.12
Conjecture on Fano manifolds and Veblen Prize DMPYZKZAN1
| URI | m2://inv/DMPYZKZAN1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Xiuxiong Chen#N3S4, Conjecture on Fano manifolds and Veblen Prize (statement)
History
- 2026-11-02: add by m2/dev
Example DMPZ0AWGGJ
| URI | m2://inv/DMPZ0AWGGJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Winsorized mean#5148, Example (example)
History
- 2026-11-02: add by m2/dev
Schur's conjecture DMQ1MYTNCS
| URI | m2://inv/DMQ1MYTNCS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation polynomial#9V5R, Schur's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Engelbert–Schmidt zero–one law DMQ2RTP1J3
| URI | m2://inv/DMQ2RTP1J3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Engelbert–Schmidt zero–one law, Engelbert–Schmidt zero–one law (statement). Also Wikidata Q49001556
History
- 2026-11-02: add by m2/dev
Ulisse Dini DMQ56D67VV
| URI | m2://inv/DMQ56D67VV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#MO1Y, Ulisse Dini (unknown)
History
- 2026-11-02: add by m2/dev
Buz M. Walker DMQ5ADMJCA
| URI | m2://inv/DMQ5ADMJCA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Buz M. Walker, Buz M. Walker (topic). Also Wikidata Q5003409
History
- 2026-11-02: add by m2/dev
Differentiated modulation map DMQ6EX9R0T
| URI | m2://inv/DMQ6EX9R0T |
|---|---|
| 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.00241#VROU, Differentiated modulation map (statement). In VBRQTN2RXN/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
Applications DMQ6WN55W7
| URI | m2://inv/DMQ6WN55W7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frölicher–Nijenhuis bracket#ATRW, Applications (example)
History
- 2026-11-02: add by m2/dev
François Métayer DMQEMY1ZFF
| URI | m2://inv/DMQEMY1ZFF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q135216538, François Métayer (unknown). Also nLab François Métayer
History
- 2026-10-26: add by m2/dev
DMQFNHBTH5 DMQFNHBTH5
| URI | m2://inv/DMQFNHBTH5 |
|---|---|
| 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#ZR9X (statement). In VSHAQTB2CA/e1, corollary 7.10
History
- 2026-10-30: add by m2/v0.4.12
DMQH9YGQK3 DMQH9YGQK3
| URI | m2://inv/DMQH9YGQK3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39491#TUKO (statement). In 9R00V9TGVT/e1, theorem 2.6
History
- 2026-10-30: add by m2/v0.4.12
List coloring DMQNEZTPAM
| URI | m2://inv/DMQNEZTPAM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List coloring, List coloring (definition). Also Wikidata Q1130404
History
- 2026-11-02: add by m2/dev
DMQNXC0K3E DMQNXC0K3E
| URI | m2://inv/DMQNXC0K3E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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.11906#7IZF (statement). In 8S9TEAPCDJ/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.3
DMQP5AF55C DMQP5AF55C
| URI | m2://inv/DMQP5AF55C |
|---|---|
| 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.04993#0Q4W (statement). In JQBWZPXKAV/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.12
Ordinal number DMQZZW3WDD
| URI | m2://inv/DMQZZW3WDD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#CDIO, Ordinal number (definition)
- wikipedia: Wikipedia List of order theory topics#KBU8, Ordinal number (definition)
History
- 2026-11-02: add by m2/dev
The History of Mathematics: A Very Short Introduction DMR0Y5H04M
| URI | m2://inv/DMR0Y5H04M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The History of Mathematics: A Very Short Introduction, The History of Mathematics: A Very Short Introduction (definition). Also Wikidata Q108092656
History
- 2026-11-02: add by m2/dev
DMR2MKZDKG DMR2MKZDKG
| URI | m2://inv/DMR2MKZDKG |
|---|---|
| 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.07064#W08Q (statement). In GPK6W5XQM3/e1, theorem 9
History
- 2026-10-29: add by m2/v0.4.10
Clipping path DMR3KQE3Y4
| URI | m2://inv/DMR3KQE3Y4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#TICY, Clipping path (unknown)
History
- 2026-11-02: add by m2/dev
Dogecoin DMR7GF6FRY
| URI | m2://inv/DMR7GF6FRY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dogecoin, Dogecoin (definition). Also Wikidata Q15377916
History
- 2026-11-02: add by m2/dev
DMR7PRW94B DMR7PRW94B
| URI | m2://inv/DMR7PRW94B |
|---|---|
| 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.08288#4BRJ (statement). In CHVWYJM7RM/e1, lemma 3.10
History
- 2026-10-29: add by m2/v0.4.10
Horng-Tzer Yau DMRDMBYPRW
| URI | m2://inv/DMRDMBYPRW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Horng-Tzer Yau, Horng-Tzer Yau (topic). Also Wikidata Q1628464
History
- 2026-11-02: add by m2/dev
The first nonzero rule along a synchronous prefix DMRK5KSSH2
| URI | m2://inv/DMRK5KSSH2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#T5MF, The first nonzero rule along a synchronous prefix (statement). In 5E9G06XJKC/e1, corollary E.17
History
- 2026-10-28: add by m2/v0.4.2
DMRMJ1SW7A DMRMJ1SW7A
| URI | m2://inv/DMRMJ1SW7A |
|---|---|
| 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.32374#6966 (statement). In 96D6N9AXQM/e1, theorem 4.1
History
- 2026-10-31: add by m2/v0.5.6
Metaphysical model DMRQM561TT
| URI | m2://inv/DMRQM561TT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conceptual model#XIIF, Metaphysical model (unknown)
History
- 2026-11-02: add by m2/dev
Merkle signature scheme DMRSF0V32C
| URI | m2://inv/DMRSF0V32C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Merkle signature scheme, Merkle signature scheme (definition). Also Wikidata Q1921816
History
- 2026-11-02: add by m2/dev
Connection with earlier work and the role of the axiom of choice DMRW1VJ36M
| URI | m2://inv/DMRW1VJ36M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach–Tarski paradox#10DL, Connection with earlier work and the role of the axiom of choice (statement)
History
- 2026-11-02: add by m2/dev
Ian Goldberg DMRXN45HKK
| URI | m2://inv/DMRXN45HKK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#Z8LN, Ian Goldberg (topic)
History
- 2026-11-02: add by m2/dev
open subscheme DMS0HQ129F
| URI | m2://inv/DMS0HQ129F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q123172161, open subscheme (definition). Also nLab open subscheme, ProofWiki Definition:Open_Subscheme
History
- 2026-10-26: add by m2/dev
DMS0J9DXB4 DMS0J9DXB4
| URI | m2://inv/DMS0J9DXB4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2609.27366#2XC1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cauchy–Euler equation DMS1GK7ATX
| URI | m2://inv/DMS1GK7ATX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Cauchy–Euler equation 03F7N3915D |
Mentions
- wikidata: Wikidata Q1196465, Cauchy–Euler equation (unknown). Also EoM Euler_equation, MathWorld EulerDifferentialEquation
- wikipedia: Wikipedia Cauchy–Euler equation, Cauchy–Euler equation (definition). Also Wikidata Q1196465
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
strain tensor DMSA1D0HA1
| URI | m2://inv/DMSA1D0HA1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3083131, strain tensor (unknown). Also nLab strain tensor
History
- 2026-10-26: add by m2/dev
Murray Gerstenhaber DMSH6WX4MY
| URI | m2://inv/DMSH6WX4MY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q928176, Murray Gerstenhaber (unknown). Also nLab Murray Gerstenhaber
- wikipedia: Wikipedia Murray Gerstenhaber, Murray Gerstenhaber (topic). Also Wikidata Q928176
History
- 2026-10-26: add by m2/dev
DMSPD302FC DMSPD302FC
| URI | m2://inv/DMSPD302FC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25656#URZV (statement)
History
- 2026-11-01: add by m2/v0.6.15
semitone DMSV9SHA60
| URI | m2://inv/DMSV9SHA60 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q738785, semitone (definition). Also ProofWiki Definition:Semitone
History
- 2026-10-26: add by m2/dev
Orchard-planting problem DMSX47YGVF
| URI | m2://inv/DMSX47YGVF |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#CFCT, Orchard-planting problem (problem)
History
- 2026-11-02: add by m2/dev
Axioms DMT5XYWKQ4
| URI | m2://inv/DMT5XYWKQ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary theory of abstract categories#XDUW, Axioms (statement)
History
- 2026-11-02: add by m2/dev
Method of characteristics DMTETMFKA1
| URI | m2://inv/DMTETMFKA1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of characteristics, Method of characteristics (definition). Also Wikidata Q1785085
History
- 2026-11-02: add by m2/dev
Bochner integral DMTP1TPHTR
| URI | m2://inv/DMTP1TPHTR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > Bochner integral, Bochner integral (unknown). Also Mathlib MeasureTheory.integral
- mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > mean of a random variable, mean of a random variable (unknown). Also Mathlib MeasureTheory.integral
History
- 2026-10-26: add by m2/dev
Sundance Bilson-Thompson DMV0D9N6J2
| URI | m2://inv/DMV0D9N6J2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#W361, Sundance Bilson-Thompson (unknown)
History
- 2026-11-02: add by m2/dev
Hopf algebra of motivic cotangent differences DMV5XNYSJB
| URI | m2://inv/DMV5XNYSJB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04214#9RLY, Hopf algebra of motivic cotangent differences (statement). In HWY7AQ4KT2/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.12
Assignment-stationarity DMV82YBAGG
| URI | m2://inv/DMV82YBAGG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31363#6I8J, Assignment-stationarity (definition). In XB8NYRD86J/e1, definition 4.1
History
- 2026-10-31: add by m2/v0.5.6
Sam Ngao District DMVDAKGPZH
| URI | m2://inv/DMVDAKGPZH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#FNNP, Sam Ngao District (unknown)
History
- 2026-11-02: add by m2/dev
DMVFFXW6GH DMVFFXW6GH
| URI | m2://inv/DMVFFXW6GH |
|---|---|
| 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.29326#91GG (statement). In 3F83V6VKKA/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.6
Vincent's and related theorems DMVMWNFTW8
| URI | m2://inv/DMVMWNFTW8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real-root isolation#OXEP, Vincent's and related theorems (statement)
History
- 2026-11-02: add by m2/dev
DMVQ23RSP6 DMVQ23RSP6
| URI | m2://inv/DMVQ23RSP6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.10246#0ZOK (definition). In XD0YT3XCW2/e1, definition 2.16
History
- 2026-10-27: add by m2/v0.3.5
bipartite DMVRSD6NKV
| URI | m2://inv/DMVRSD6NKV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.1/bipartite, bipartite (concept). In Y91XFCEVHQ, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Systematic error DMVY51QYQP
| URI | m2://inv/DMVY51QYQP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in statistics#I4CX, Systematic error (definition)
History
- 2026-11-02: add by m2/dev
DMW4HRBMP3 DMW4HRBMP3
| URI | m2://inv/DMW4HRBMP3 |
|---|---|
| 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 2208.05288#O82Q (statement). In RTW3GDYPND/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.4.0
Energies and subslopes of torn functions DMW8PFMS2F
| URI | m2://inv/DMW8PFMS2F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#TEMA, Energies and subslopes of torn functions (statement). In KM3Q791JY0/e1, lemma 3.23
History
- 2026-10-27: add by m2/v0.4.2
Bargmann Form DMWB93C32T
| URI | m2://inv/DMWB93C32T |
|---|---|
| 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.06810#Q9IB, Bargmann Form (statement). In 1NY2SA03XF/e1, fact 2.4
History
- 2026-10-29: add by m2/v0.4.10
Toponome DMWDBY5RFR
| URI | m2://inv/DMWDBY5RFR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toponome, Toponome (definition). Also Wikidata Q17142129
History
- 2026-11-02: add by m2/dev
Bimonster group DMWJT65M46
| URI | m2://inv/DMWJT65M46 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4913755, Bimonster group (concept). Also MathWorld Bimonster
- wikipedia: Wikipedia Bimonster group, Bimonster group (definition). Also Wikidata Q4913755
History
- 2026-10-26: add by m2/dev
Carl B. Allendoerfer Award DMWKCCGQJ5
| URI | m2://inv/DMWKCCGQJ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl B. Allendoerfer Award, Carl B. Allendoerfer Award (definition). Also Wikidata Q16852192
History
- 2026-11-02: add by m2/dev
DMWNPDPDEM DMWNPDPDEM
| URI | m2://inv/DMWNPDPDEM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25321#0XF3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties DMWPFMK1RR
| URI | m2://inv/DMWPFMK1RR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wedge sum#6JE2, Properties (statement)
History
- 2026-11-02: add by m2/dev
Terminology DMWSY4X8D2
| URI | m2://inv/DMWSY4X8D2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data and information visualization#QLF7, Terminology (definition)
History
- 2026-11-02: add by m2/dev
BRST charge DMX0K5PXD7
| URI | m2://inv/DMX0K5PXD7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#CG4H, BRST charge (definition)
History
- 2026-11-02: add by m2/dev
Stephanie Eckman DMX7EZXBBS
| URI | m2://inv/DMX7EZXBBS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#U1Y0, Stephanie Eckman (unknown)
History
- 2026-11-02: add by m2/dev
Kummer fibers and critical types DMXEHF14TW
| URI | m2://inv/DMXEHF14TW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20572#3TMW, Kummer fibers and critical types (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties DMXMHXRYWV
| URI | m2://inv/DMXMHXRYWV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boundary (topology)#LBSL, Properties (statement)
History
- 2026-11-02: add by m2/dev
Topical logic DMXTM8WZP7
| URI | m2://inv/DMXTM8WZP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topical logic, Topical logic (definition). Also Wikidata Q7824864
History
- 2026-11-02: add by m2/dev
DMXY171XHE DMXY171XHE
| URI | m2://inv/DMXY171XHE |
|---|---|
| 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.24206#0NRF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Colony Trace-back DMXY9380S1
| URI | m2://inv/DMXY9380S1 |
|---|---|
| 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 math/0003117#QV8C, Colony Trace-back (statement). In WD2NCBV9F0/e1, lemma 16.4
History
- 2026-10-27: add by m2/v0.3.5
Classical test theory DMXYD0KN3X
| URI | m2://inv/DMXYD0KN3X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classical test theory, Classical test theory (topic). Also Wikidata Q389391
History
- 2026-11-02: add by m2/dev
Determinant of the twisted correction DMY1K9V7NV
| URI | m2://inv/DMY1K9V7NV |
|---|---|
| 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.15340#LEER, Determinant of the twisted correction (statement). In 9NVKKW8HDH/e1, lemma 2.23
History
- 2026-10-28: add by m2/v0.4.2
Example DMY3WCXVXW
| URI | m2://inv/DMY3WCXVXW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia P–P plot#6O7E, Example (example)
History
- 2026-11-02: add by m2/dev
DMY5Z95PJ3 DMY5Z95PJ3
| URI | m2://inv/DMY5Z95PJ3 |
|---|---|
| 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 2610.19132#3IML (statement). In 3CQJND929F/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
DMY9MHV6T0 DMY9MHV6T0
| URI | m2://inv/DMY9MHV6T0 |
|---|---|
| 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.21975#4ZWH (statement)
History
- 2026-11-02: add by m2/v0.6.17
Chudnovsky algorithm DMYA3P1FW5
| URI | m2://inv/DMYA3P1FW5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chudnovsky algorithm, Chudnovsky algorithm (definition). Also Wikidata Q2208385
History
- 2026-11-02: add by m2/dev
Applications DMYE2WP2B2
| URI | m2://inv/DMYE2WP2B2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi's formula#PKVO, Applications (example)
History
- 2026-11-02: add by m2/dev
Power-relation count DMYH5S3784
| URI | m2://inv/DMYH5S3784 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14509#66XZ, Power-relation count (statement). In N6GD8392QB/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
DMYKP55AJQ DMYKP55AJQ
| URI | m2://inv/DMYKP55AJQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2203.00606#P0K5 (statement). In 3WBQFVX65D/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
DMYMPNEF68 DMYMPNEF68
| URI | m2://inv/DMYMPNEF68 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.05421#PD6S (statement). In 4R1MMSAAVK/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.10
Main theorem I DMZ8RJNB82
| URI | m2://inv/DMZ8RJNB82 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19787#RXFG, Main theorem I (statement). In A4VP56CT7B/e1, theorem 7.5
History
- 2026-10-28: add by m2/v0.4.2
DMZA444PF1 DMZA444PF1
| URI | m2://inv/DMZA444PF1 |
|---|---|
| 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 2202.10212#Y5BR (statement). In E9ZQM8449P/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.6
DMZE5E3A7F DMZE5E3A7F
| URI | m2://inv/DMZE5E3A7F |
|---|---|
| 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#V7PS (statement). In TZXEMCBK5V/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Statement DMZEZJQV0A
| URI | m2://inv/DMZEZJQV0A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connes embedding problem#ETNG, Statement (statement)
History
- 2026-11-02: add by m2/dev
List of Chinese provincial-level divisions by GDP per capita DMZJKGVQZX
| URI | m2://inv/DMZJKGVQZX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese provincial-level divisions by GDP per capita, List of Chinese provincial-level divisions by GDP per capita (topic). Also Wikidata Q6567033
History
- 2026-11-02: add by m2/dev
pseudoperfect number DMZMHFC4AX
| URI | m2://inv/DMZMHFC4AX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2067166, pseudoperfect number (unknown). Also MathWorld PseudoperfectNumber, OEIS A005835
- wikipedia: Wikipedia Semiperfect number, Semiperfect number (definition). Also Wikidata Q2067166
History
- 2026-10-26: add by m2/dev
Bieri-Neumann-Strebel DMZPW10CJJ
| URI | m2://inv/DMZPW10CJJ |
|---|---|
| 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 0810.0962#P20W, Bieri-Neumann-Strebel (statement). In 80YMRN5KS9/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
DMZQ0TMGZA DMZQ0TMGZA
| URI | m2://inv/DMZQ0TMGZA |
|---|---|
| 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 2607.00323#T6WL (definition). In BPRFEQY7W4/e1, definition
History
- 2026-10-27: add by m2/v0.3.6
DMZQZ3TFYS DMZQZ3TFYS
| URI | m2://inv/DMZQZ3TFYS |
|---|---|
| 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 2111.08123#TYTA (statement). In TAAB0QAKAG/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5