Inventory rows DG
The cards of the rows of the inventory whose ids start with DG. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
DG0BN8VXX9 DG0BN8VXX9
| URI | m2://inv/DG0BN8VXX9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22247#89I7 (statement). In SBNH1MWND8/e1, proposition 13
History
- 2026-10-27: add by m2/v0.4.0
DG0F610AP3 DG0F610AP3
| URI | m2://inv/DG0F610AP3 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parallelohedron#TRR8 (problem)
History
- 2026-11-02: add by m2/dev
Terminology DG0JRWE64D
| URI | m2://inv/DG0JRWE64D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Active Directory#W1E0, Terminology (definition)
History
- 2026-11-02: add by m2/dev
DG0R7GFF4B DG0R7GFF4B
| URI | m2://inv/DG0R7GFF4B |
|---|---|
| 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.02512#39YT (statement). In 6XDJ8ZEMM3/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
DG10JWZDYA DG10JWZDYA
| URI | m2://inv/DG10JWZDYA |
|---|---|
| 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.20391#J3K8 (statement). In CTAS41TRM2/e1, theorem 8.2
History
- 2026-10-27: add by m2/v0.4.2
Regular function DG1251ANHV
| URI | m2://inv/DG1251ANHV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphism of algebraic varieties#H319, Regular function (unknown)
History
- 2026-11-02: add by m2/dev
DG12P9N552 DG12P9N552
| URI | m2://inv/DG12P9N552 |
|---|---|
| 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 2404.18704#06A1 (definition). In T4MQVXFGWC/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
DG16K8H6JH DG16K8H6JH
| URI | m2://inv/DG16K8H6JH |
|---|---|
| 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 2604.10080#XK8U (definition). In KM2FWKP93A/e1, definition 6.1
History
- 2026-10-27: add by m2/v0.4.0
DG1B8R3XSB DG1B8R3XSB
| URI | m2://inv/DG1B8R3XSB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21931#LVM1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Generalized estimating equation DG1YM2R4ET
| URI | m2://inv/DG1YM2R4ET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#XD0T, Generalized estimating equation (definition)
History
- 2026-11-02: add by m2/dev
DG1ZB67Y53 DG1ZB67Y53
| URI | m2://inv/DG1ZB67Y53 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18673#AXJB (statement). In 7ZFD9XRKA1/e1, proposition 2.10
History
- 2026-10-28: add by m2/v0.4.2
DG214NBNXE DG214NBNXE
| URI | m2://inv/DG214NBNXE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 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.15698#QBSA (example). In 69GJX04N6M/e1, example 1.1
History
- 2026-10-28: add by m2/v0.4.2
DG215F50QZ DG215F50QZ
| URI | m2://inv/DG215F50QZ |
|---|---|
| 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#GPJY (statement). In E7W2HDNEKJ/e1, lemma 8.8
History
- 2026-10-30: add by m2/v0.4.12
DG21SCPRXJ DG21SCPRXJ
| URI | m2://inv/DG21SCPRXJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#thm:transport2 (statement). In N54F33XE07, lem, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
DG2247ZB5D DG2247ZB5D
| URI | m2://inv/DG2247ZB5D |
|---|---|
| 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.22237#P6ZK (statement). In 2FWTWMHA2W/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.0
Applications DG28MQ65JM
| URI | m2://inv/DG28MQ65JM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Budget-feasible mechanism#0ME9, Applications (example)
History
- 2026-11-02: add by m2/dev
DG2H7A2BR9 DG2H7A2BR9
| URI | m2://inv/DG2H7A2BR9 |
|---|---|
| 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 2605.30285#GIFV (statement). In YMY0NNSM27/e1, lemma 5.9
History
- 2026-10-27: add by m2/v0.3.6
Johann Elert Bode DG2PBHG61C
| URI | m2://inv/DG2PBHG61C |
|---|---|
| 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 Q76966, Johann Elert Bode (unknown). Also ProofWiki Mathematician:Johann_Elert_Bode
History
- 2026-10-26: add by m2/dev
Exponential minus 1 DG2TC2XQAR
| URI | m2://inv/DG2TC2XQAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#CY4L, Exponential minus 1 (definition)
History
- 2026-11-02: add by m2/dev
History of second-order logic DG32AYENSR
| URI | m2://inv/DG32AYENSR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second-order logic#WRKJ, History of second-order logic (unknown)
History
- 2026-11-02: add by m2/dev
DG3450K9N7 DG3450K9N7
| URI | m2://inv/DG3450K9N7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13913#U301 (statement). In BW5GVH97JE/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Observed information DG34VB22WB
| URI | m2://inv/DG34VB22WB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PWF1, Observed information (definition)
History
- 2026-11-02: add by m2/dev
DG38FGXQ9P DG38FGXQ9P
| URI | m2://inv/DG38FGXQ9P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dual-trace.tex#definition-2 (definition). In RZP28ERRZV, definition, section 57.2
History
- 2026-11-01: add by m2/v0.6.13
Trevor Wooley DG3GGP337J
| URI | m2://inv/DG3GGP337J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trevor Wooley, Trevor Wooley (topic). Also Wikidata Q451701
History
- 2026-11-02: add by m2/dev
DG3J4QX3HY DG3J4QX3HY
| URI | m2://inv/DG3J4QX3HY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#1QS1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Aristarchus of Samos DG3KCKSPPW
| URI | m2://inv/DG3KCKSPPW |
|---|---|
| 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 Q140188, Aristarchus of Samos (unknown). Also ProofWiki Mathematician:Aristarchus_of_Samos
- wikipedia: Wikipedia Aristarchus of Samos, Aristarchus of Samos (topic). Also Wikidata Q140188
History
- 2026-10-26: add by m2/dev
DG3PP9HXKX DG3PP9HXKX
| URI | m2://inv/DG3PP9HXKX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#X48R (statement). In JWNYJVH8XG/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
MD2 DG3QSYN18C
| URI | m2://inv/DG3QSYN18C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#6O5F, MD2 (definition)
History
- 2026-11-02: add by m2/dev
DG3VX1AKJD DG3VX1AKJD
| URI | m2://inv/DG3VX1AKJD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/holomorphic.tex#exercise-3 (exercise). In RZP28ERRZV, exercise, section 39.7.2
History
- 2026-11-01: add by m2/v0.6.13
Lennart Carleson DG3X4WZS87
| URI | m2://inv/DG3X4WZS87 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#RT6R, Lennart Carleson (topic)
History
- 2026-11-02: add by m2/dev
Video compression DG42RWZZW8
| URI | m2://inv/DG42RWZZW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#XXR3, Video compression (definition)
History
- 2026-11-02: add by m2/dev
Examples DG45WQSYXD
| URI | m2://inv/DG45WQSYXD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Product topology#UZRF, Examples (example)
History
- 2026-11-02: add by m2/dev
S DG48RB4REE
| URI | m2://inv/DG48RB4REE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S (set theory), S (definition). Also Wikidata Q7395333
History
- 2026-11-02: add by m2/dev
Joris van der Hoeven DG4AJJNT9P
| URI | m2://inv/DG4AJJNT9P |
|---|---|
| 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#CXY0, Joris van der Hoeven (topic)
History
- 2026-11-02: add by m2/dev
Julius Reichelt DG4GNZ5VFH
| URI | m2://inv/DG4GNZ5VFH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#T8QL, Julius Reichelt (topic)
History
- 2026-11-02: add by m2/dev
Dominance order DG4J0KD8BH
| URI | m2://inv/DG4J0KD8BH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dominance order, Dominance order (definition). Also Wikidata Q5290288
History
- 2026-11-02: add by m2/dev
DG4JDBE6XT DG4JDBE6XT
| URI | m2://inv/DG4JDBE6XT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31243#UHCL (example). In E8FP48FJMZ/e1, example 4.7
History
- 2026-10-31: add by m2/v0.5.6
Philip Holmes DG4KZPFCQD
| URI | m2://inv/DG4KZPFCQD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GQJP, Philip Holmes (unknown)
History
- 2026-11-02: add by m2/dev
Olaf Helmer DG4M42Y5AT
| URI | m2://inv/DG4M42Y5AT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olaf Helmer, Olaf Helmer (topic). Also Wikidata Q7082954
History
- 2026-11-02: add by m2/dev
DG4NEA4G99 DG4NEA4G99
| URI | m2://inv/DG4NEA4G99 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#JJFY (statement)
History
- 2026-11-01: add by m2/v0.6.15
DG4NKV4MEZ DG4NKV4MEZ
| URI | m2://inv/DG4NKV4MEZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35442#PUP6 (statement). In C6R0DAA279/e1, theorem 2.3
History
- 2026-10-30: add by m2/v0.4.12
Examples DG4ZYS2BWH
| URI | m2://inv/DG4ZYS2BWH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computation in the limit#M77F, Examples (example)
History
- 2026-11-02: add by m2/dev
DG57H8NG9D DG57H8NG9D
| URI | m2://inv/DG57H8NG9D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-104 (exercise). In E9HS8K3A52, exercise, section 5.9.1
History
- 2026-11-01: add by m2/v0.6.13
DG5882SF80 DG5882SF80
| URI | m2://inv/DG5882SF80 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#HHZ7 (statement). In MRR92GQNZE/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
DG5D85NHP1 DG5D85NHP1
| URI | m2://inv/DG5D85NHP1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.39593#D170 (statement). In BF0RYHPMS1/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
Theory DG5FQ59FEC
| URI | m2://inv/DG5FQ59FEC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theory, Theory (definition). Also Wikidata Q17737
History
- 2026-11-02: add by m2/dev
DG5HR45BM8 DG5HR45BM8
| URI | m2://inv/DG5HR45BM8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.17276#6V4J (statement). In EWKHA675JY/e1, lemma 4.12
History
- 2026-10-27: add by m2/v0.3.5
Wallpaper group DG5N2ZGP4N
| URI | m2://inv/DG5N2ZGP4N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of planar symmetry groups#8BCZ, Wallpaper group (definition)
History
- 2026-11-02: add by m2/dev
DG5WARECFY DG5WARECFY
| URI | m2://inv/DG5WARECFY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#EAZW (definition). In G70Q2FB591/e1, definition 4.2
History
- 2026-10-28: add by m2/v0.4.2
DG5WPD6K5D DG5WPD6K5D
| URI | m2://inv/DG5WPD6K5D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#I2MO (statement). In PG0B4PH9YH/e1, theorem 5.25
History
- 2026-10-27: add by m2/v0.4.2
Monotonicity of the margin DG6K775DZC
| URI | m2://inv/DG6K775DZC |
|---|---|
| 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 2609.27830#2PC4, Monotonicity of the margin (statement)
History
- 2026-11-01: add by m2/v0.6.15
Louis Marcel Brillouin DG6QEZ6408
| URI | m2://inv/DG6QEZ6408 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#D2CN, Louis Marcel Brillouin (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TKM5, Louis Marcel Brillouin (unknown)
History
- 2026-11-02: add by m2/dev
gapped Hamiltonian DG6R3RRBND
| URI | m2://inv/DG6R3RRBND |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q65118817, gapped Hamiltonian (unknown). Also nLab gapped Hamiltonian
History
- 2026-10-26: add by m2/dev
DG73CFAXFF DG73CFAXFF
| URI | m2://inv/DG73CFAXFF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#IHKK (statement). In F5STMSPR6X/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.12
H-maxima transform DG762HFSR5
| URI | m2://inv/DG762HFSR5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H-maxima transform, H-maxima transform (definition). Also Wikidata Q97360107
History
- 2026-11-02: add by m2/dev
Ke Zhao DG77WMV0NJ
| URI | m2://inv/DG77WMV0NJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ke Zhao, Ke Zhao (topic). Also Wikidata Q699566
History
- 2026-11-02: add by m2/dev
Cryptographic splitting DG7EPFYEXR
| URI | m2://inv/DG7EPFYEXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptographic splitting, Cryptographic splitting (definition). Also Wikidata Q27628452
History
- 2026-11-02: add by m2/dev
Martin Farach-Colton DG7K66GY12
| URI | m2://inv/DG7K66GY12 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#878G, Martin Farach-Colton (unknown)
History
- 2026-11-02: add by m2/dev
DG7YSJ0NTV DG7YSJ0NTV
| URI | m2://inv/DG7YSJ0NTV |
|---|---|
| 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 2210.02261#7Y9V (statement). In TT74R659T0/e1, lemma 0.23
History
- 2026-10-27: add by m2/v0.3.5
Exponential map DG7ZTEGJKC
| URI | m2://inv/DG7ZTEGJKC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential map (discrete dynamical systems), Exponential map (definition). Also Wikidata Q5421522
History
- 2026-11-02: add by m2/dev
Johann Jacob Zimmermann DG82DJAE5C
| URI | m2://inv/DG82DJAE5C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#ZVKK, Johann Jacob Zimmermann (unknown)
History
- 2026-11-02: add by m2/dev
DG89CQER6E DG89CQER6E
| URI | m2://inv/DG89CQER6E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.04179#0UF9 (statement). In D64RQ09KBP/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.12
Simple examples DG8CZDZHJS
| URI | m2://inv/DG8CZDZHJS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy principle#XXQH, Simple examples (example)
History
- 2026-11-02: add by m2/dev
DG8EACCX4V DG8EACCX4V
| URI | m2://inv/DG8EACCX4V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0904.0817#M0UY (definition). In 569FZDANV3/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
DG8RA8CFTP DG8RA8CFTP
| URI | m2://inv/DG8RA8CFTP |
|---|---|
| Kind | statement |
| 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.14914#Z6X3 (statement). In CHC3T113Y4/e1, lemma 7.3
History
- 2026-10-28: add by m2/v0.4.2
Semantic theory of truth DG8XFF1FXG
| URI | m2://inv/DG8XFF1FXG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alfred Tarski#JDL0, Semantic theory of truth (topic)
History
- 2026-11-02: add by m2/dev
Strong cardinal DG8XRWGBCR
| URI | m2://inv/DG8XRWGBCR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong cardinal, Strong cardinal (definition). Also Wikidata Q7624541
History
- 2026-11-02: add by m2/dev
Franco DG92DPC1NE
| URI | m2://inv/DG92DPC1NE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of twin teammates in sports#HP5Z, Franco (unknown)
History
- 2026-11-02: add by m2/dev
Structure theorem for Gaussian measures DG939ZMSN3
| URI | m2://inv/DG939ZMSN3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 28-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7625164, Structure theorem for Gaussian measures (statement). Also Wikidata Q7625164
- thousand_plus: thousand_plus Q7625164, Structure theorem for Gaussian measures (statement). Also Wikidata Q7625164, Wikipedia Structure theorem for Gaussian measures
- wikipedia: Wikipedia Structure theorem for Gaussian measures, Structure theorem for Gaussian measures (statement). Also Wikidata Q7625164
History
- 2026-10-26: add by m2/dev
The method DG98QYKVWM
| URI | m2://inv/DG98QYKVWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ITP method#4V9E, The method (definition)
History
- 2026-11-02: add by m2/dev
Functional encryption DG9C13626S
| URI | m2://inv/DG9C13626S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional encryption, Functional encryption (definition). Also Wikidata Q17014981
History
- 2026-11-02: add by m2/dev
lower estimate for the kernel ratio DG9JSE9C1H
| URI | m2://inv/DG9JSE9C1H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26134#497P, lower estimate for the kernel ratio (statement)
History
- 2026-11-01: add by m2/v0.6.15
limited principle of omniscience DG9PRKXE9F
| URI | m2://inv/DG9PRKXE9F |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/limited-principle-of-omniscience, limited principle of omniscience (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
DG9WMJZG1W DG9WMJZG1W
| URI | m2://inv/DG9WMJZG1W |
|---|---|
| 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 2609.34013#69IG (statement). In 3TA3P3CWSJ/e1, corollary 4.4.1
History
- 2026-10-30: add by m2/v0.4.12
Statement DGA0MF2GP9
| URI | m2://inv/DGA0MF2GP9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius formula#WTBQ, Statement (statement)
History
- 2026-11-02: add by m2/dev
Non-restoring division DGA1P15KJH
| URI | m2://inv/DGA1P15KJH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Division algorithm#TBE0, Non-restoring division (unknown)
History
- 2026-11-02: add by m2/dev
Binary numeral system DGA5J0A95H
| URI | m2://inv/DGA5J0A95H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numeral system topics#J49M, Binary numeral system (definition)
History
- 2026-11-02: add by m2/dev
DGA6QPK1BS DGA6QPK1BS
| URI | m2://inv/DGA6QPK1BS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#D91C (statement). In 11JNM66Z09/e1, lemma 13.6
History
- 2026-10-28: add by m2/v0.4.2
DGABJFJE56 DGABJFJE56
| URI | m2://inv/DGABJFJE56 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25589#9VJ4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ramanujan psi sum DGARXXHJ5K
| URI | m2://inv/DGARXXHJ5K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110067857, Ramanujan psi sum (unknown). Also MathWorld RamanujanPsiSum
History
- 2026-10-26: add by m2/dev
Goldie's theorem DGAV887K70
| URI | m2://inv/DGAV887K70 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 13-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5580171, Goldie's theorem (statement). Also Wikidata Q5580171
- thousand_plus: thousand_plus Q5580171, Goldie's theorem (statement). Also Wikidata Q5580171, Wikipedia Goldie's theorem
- wikipedia: Wikipedia Goldie's theorem, Goldie's theorem (statement). Also Wikidata Q5580171
History
- 2026-10-26: add by m2/dev
Conjugate-dual representations DGBCW21HZ7
| URI | m2://inv/DGBCW21HZ7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15432#UQ6U, Conjugate-dual representations (definition). In D1DFM4WYEW/e1, definition 3.5
History
- 2026-10-28: add by m2/v0.4.2
Mikhail Turovsky DGBF6PXVV2
| URI | m2://inv/DGBF6PXVV2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#X64B, Mikhail Turovsky (unknown)
History
- 2026-11-02: add by m2/dev
Indian Olympiad Qualifier in Mathematics DGBFCZ4GHZ
| URI | m2://inv/DGBFCZ4GHZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#PBWF, Indian Olympiad Qualifier in Mathematics (unknown)
History
- 2026-11-02: add by m2/dev
box plot DGBNK15XNH
| URI | m2://inv/DGBNK15XNH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#CBHN, box plot (definition)
History
- 2026-11-02: add by m2/dev
0.999... DGBZ49ZJX4
| URI | m2://inv/DGBZ49ZJX4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | 0.999... equals 1 0NN5JEMTVE |
Mentions
- wikidata: Wikidata Q713113, 0.999... (statement). Also ProofWiki 0.999...=1
- wikipedia: Wikipedia 0.999..., 0.999... (definition). Also Wikidata Q713113
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
DGC0ZWG9S6 DGC0ZWG9S6
| URI | m2://inv/DGC0ZWG9S6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12513#03B3 (statement). In VM9V8SXEA2/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
Definitions DGCQX75R11
| URI | m2://inv/DGCQX75R11 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric cone#Z8SM, Definitions (definition)
History
- 2026-11-02: add by m2/dev
DGCRH1SV4C DGCRH1SV4C
| URI | m2://inv/DGCRH1SV4C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-3 (exercise). In E9HS8K3A52, exercise, section 9.1.6
History
- 2026-11-01: add by m2/v0.6.13
DGD4S1FCB4 DGD4S1FCB4
| URI | m2://inv/DGD4S1FCB4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.20663#YF90 (statement). In AZMX0CY5NE/e1, lemma 18
History
- 2026-10-27: add by m2/v0.4.2
Law DGD7ECNRFC
| URI | m2://inv/DGD7ECNRFC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disposition#WKSN, Law (statement)
History
- 2026-11-02: add by m2/dev
DGDEE55AW0 DGDEE55AW0
| URI | m2://inv/DGDEE55AW0 |
|---|---|
| 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.07890#UPYM (statement). In 6F3GSDT2V1/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.10
Leonidas Alaoglu DGDF40N288
| URI | m2://inv/DGDF40N288 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leonidas Alaoglu, Leonidas Alaoglu (topic). Also Wikidata Q2195465
History
- 2026-11-02: add by m2/dev
triple integral DGDF9NM0W4
| URI | m2://inv/DGDF9NM0W4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#X55K, triple integral (definition)
History
- 2026-11-02: add by m2/dev
Generalizations DGDFER06S0
| URI | m2://inv/DGDFER06S0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bloch group#SHX2, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Julius Plücker DGDJ10SAH8
| URI | m2://inv/DGDJ10SAH8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#SMZK, Julius Plücker (topic)
- wikipedia: Wikipedia List of German mathematicians#BJNR, Julius Plücker (topic)
History
- 2026-11-02: add by m2/dev
DGDKBGBHV5 DGDKBGBHV5
| URI | m2://inv/DGDKBGBHV5 |
|---|---|
| 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 2604.10080#0KE0 (definition). In KM2FWKP93A/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.4.0
Tits group DGDM2C3TPB
| URI | m2://inv/DGDM2C3TPB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Tits group WC16TBY3FN |
Mentions
- wikidata: Wikidata Q2856369, Tits group (unknown). Also MathWorld TitsGroup
- wikipedia: Wikipedia Tits group, Tits group (definition). Also Wikidata Q2856369
History
- 2026-10-26: add by m2/dev
DGE04WZ847 DGE04WZ847
| URI | m2://inv/DGE04WZ847 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21752#TLZH (statement). In E4DJTPKHAX/e1, proposition 5.9
History
- 2026-10-27: add by m2/v0.4.2
Cubic approximation DGE7G0DZ6D
| URI | m2://inv/DGE7G0DZ6D |
|---|---|
| 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.04027#18DY, Cubic approximation (statement). In DQB4YR2DFH/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.12
Robbins--Siegmund DGEV36VHTP
| URI | m2://inv/DGEV36VHTP |
|---|---|
| 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.36668#Y8IU, Robbins--Siegmund (statement). In RD729BY377/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
Properties DGF37DVJ57
| URI | m2://inv/DGF37DVJ57 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nuclear operators between Banach spaces#9IMP, Properties (statement)
History
- 2026-11-02: add by m2/dev
DGF4BH5A2N DGF4BH5A2N
| URI | m2://inv/DGF4BH5A2N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24902#6J7K (definition)
History
- 2026-11-01: add by m2/v0.6.15
Applications DGF5N34JQW
| URI | m2://inv/DGF5N34JQW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circle graph#JJHK, Applications (example)
History
- 2026-11-02: add by m2/dev
Robert J. Elliott DGFZ2GKSSJ
| URI | m2://inv/DGFZ2GKSSJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert J. Elliott, Robert J. Elliott (topic). Also Wikidata Q7345874
History
- 2026-11-02: add by m2/dev
Constructing and evaluating an isomorphism DGFZ5E48DQ
| URI | m2://inv/DGFZ5E48DQ |
|---|---|
| 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.08280#0DO9, Constructing and evaluating an isomorphism (statement). In EGADPYP7R3/e1, corollary 6.3
History
- 2026-10-29: add by m2/v0.4.10
Bulk weight transport DGFZPA4V4Q
| URI | m2://inv/DGFZPA4V4Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18698#4D39, Bulk weight transport (statement). In AVDZGC7976/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
DGG2859R92 DGG2859R92
| URI | m2://inv/DGG2859R92 |
|---|---|
| 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.40207#NNKG (statement). In JXTG8KP95P/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
What CoT distributions say downstream DGG2JH21FT
| URI | m2://inv/DGG2JH21FT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25039#QFE1, What CoT distributions say downstream (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lemma $3.10$ DGG8T9CG5X
| URI | m2://inv/DGG8T9CG5X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31294#VHNN, Lemma $3.10$ (statement). In 6GK9EJMWY4/e1, lemma 3.4
History
- 2026-10-31: add by m2/v0.5.6
Fallacy of four terms DGGB2T2EQB
| URI | m2://inv/DGGB2T2EQB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fallacy of four terms, Fallacy of four terms (definition). Also Wikidata Q2350394
History
- 2026-11-02: add by m2/dev
Automorphisms of the symmetric and alternating groups DGGCE1MGTY
| URI | m2://inv/DGGCE1MGTY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automorphisms of the symmetric and alternating groups, Automorphisms of the symmetric and alternating groups (definition). Also Wikidata Q4826703
History
- 2026-11-02: add by m2/dev
Ju. S. Ilyashenko DGGNR8VY2E
| URI | m2://inv/DGGNR8VY2E |
|---|---|
| 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#1LXV, Ju. S. Ilyashenko (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QT5J, Ju. S. Ilyashenko (topic)
History
- 2026-11-02: add by m2/dev
subset sum problem DGGVW64P5K
| URI | m2://inv/DGGVW64P5K |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1154420, subset sum problem (unknown). Also MathWorld SubsetSumProblem
- wikipedia: Wikipedia Subset sum problem, Subset sum problem (problem). Also Wikidata Q1154420
History
- 2026-10-26: add by m2/dev
DGGW01F0T5 DGGW01F0T5
| URI | m2://inv/DGGW01F0T5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13877#ZXSR (statement). In NBMA6DBKJG/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
DGGWP2Z63Z DGGWP2Z63Z
| URI | m2://inv/DGGWP2Z63Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.20170#MH0L (definition). In QXJP79APHN/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
DGGZBSKBA1 DGGZBSKBA1
| URI | m2://inv/DGGZBSKBA1 |
|---|---|
| Kind | statement |
| 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 2610.18618#9HG6 (statement). In C8VC86B6H8/e1, lemma A.3
History
- 2026-10-28: add by m2/v0.4.2
Applications DGH26MQG4A
| URI | m2://inv/DGH26MQG4A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherical coordinate system#ZN7R, Applications (example)
History
- 2026-11-02: add by m2/dev
equianharmonic contravariant DGH3E8R1V3
| URI | m2://inv/DGH3E8R1V3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#ZKK1, equianharmonic contravariant (definition)
History
- 2026-11-02: add by m2/dev
T. Ono DGH3JAWXFD
| URI | m2://inv/DGH3JAWXFD |
|---|---|
| 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#41A4, T. Ono (topic)
History
- 2026-11-02: add by m2/dev
Pierre Cardaliaguet DGH63CEW5S
| URI | m2://inv/DGH63CEW5S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Y07Q, Pierre Cardaliaguet (unknown)
History
- 2026-11-02: add by m2/dev
Shai Haran DGH96RS2VT
| URI | m2://inv/DGH96RS2VT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shai Haran, Shai Haran (topic). Also Wikidata Q102189962
History
- 2026-11-02: add by m2/dev
Containment criterion DGH9PKVCK0
| URI | m2://inv/DGH9PKVCK0 |
|---|---|
| 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 2609.26201#4JHI, Containment criterion (statement)
History
- 2026-11-01: add by m2/v0.6.15
path graph P4 DGHA9W0KTK
| URI | m2://inv/DGHA9W0KTK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q127699294, path graph P4 (unknown). Also House of Graphs 594
History
- 2026-10-26: add by m2/dev
Equivalence problem DGHENP30W5
| URI | m2://inv/DGHENP30W5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#7SH5, Equivalence problem (unknown)
History
- 2026-11-02: add by m2/dev
Crocco's theorem DGHFBYCZV2
| URI | m2://inv/DGHFBYCZV2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crocco's theorem, Crocco's theorem (statement). Also Wikidata Q580245
History
- 2026-11-02: add by m2/dev
DGHZPCABB6 DGHZPCABB6
| URI | m2://inv/DGHZPCABB6 |
|---|---|
| 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 1310.6698#5BNB (statement). In 7AQ7DMNZEY/e1, corollary 2.5
History
- 2026-10-27: add by m2/v0.3.5
DGJ7XK3HKY DGJ7XK3HKY
| URI | m2://inv/DGJ7XK3HKY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:onedimOisPID (exercise). In VNMV985MXX, exercise, section 6.4
History
- 2026-11-01: add by m2/v0.6.13
Comparison by stable twisting DGJB9NHDWP
| URI | m2://inv/DGJB9NHDWP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#9P6B, Comparison by stable twisting (statement). In 7NS75J7HAM/e1, proposition 9.7
History
- 2026-10-31: add by m2/v0.5.6
Clopen set DGJBWDEKGG
| URI | m2://inv/DGJBWDEKGG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#OWF0, Clopen set (definition)
History
- 2026-11-02: add by m2/dev
DGJDCN94D7 DGJDCN94D7
| URI | m2://inv/DGJDCN94D7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-addmult.ptx#example-5 (example). In Y91XFCEVHQ, example, section 2.1.1
History
- 2026-11-01: add by m2/v0.6.13
Gram duality DGJDR7596D
| URI | m2://inv/DGJDR7596D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20550#7IF1, Gram duality (statement)
History
- 2026-11-02: add by m2/v0.6.18
DGJHHRF4Y6 DGJHHRF4Y6
| URI | m2://inv/DGJHHRF4Y6 |
|---|---|
| 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.06488#VLJW (statement). In XG3BJ2QXXP/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
DGJQSBX67D DGJQSBX67D
| URI | m2://inv/DGJQSBX67D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/characters.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 79.3
History
- 2026-11-01: add by m2/v0.6.13
Definition DGJV00XYZY
| URI | m2://inv/DGJV00XYZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohen–Macaulay ring#KAAK, Definition (definition)
History
- 2026-11-02: add by m2/dev
serpentine curve DGJXZT9KKF
| URI | m2://inv/DGJXZT9KKF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3821106, serpentine curve (unknown). Also MathWorld SerpentineCurve
- wikipedia: Wikipedia Serpentine curve, Serpentine curve (definition). Also Wikidata Q3821106
History
- 2026-10-26: add by m2/dev
DGJZB7Q6X5 DGJZB7Q6X5
| URI | m2://inv/DGJZB7Q6X5 |
|---|---|
| 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.08912#PFOF (statement). In DK5QY64NGH/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
syzygant DGJZER80K7
| URI | m2://inv/DGJZER80K7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#02T1, syzygant (definition)
History
- 2026-11-02: add by m2/dev
Jill Adler DGKAYYWRV2
| URI | m2://inv/DGKAYYWRV2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4EE9, Jill Adler (unknown)
History
- 2026-11-02: add by m2/dev
empty concept DGKKG2WK29
| URI | m2://inv/DGKKG2WK29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#9BRX, empty concept (definition)
History
- 2026-11-02: add by m2/dev
Normal mapping DGKN4BS8EG
| URI | m2://inv/DGKN4BS8EG |
|---|---|
| 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#K8YF, Normal mapping (unknown)
History
- 2026-11-02: add by m2/dev
function extensionality DGM36MNNZB
| URI | m2://inv/DGM36MNNZB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.12.3/function-extensionality, function extensionality (concept). In N54F33XE07, index, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
DGM529VKTW DGM529VKTW
| URI | m2://inv/DGM529VKTW |
|---|---|
| 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#1J4Q (statement). In A4VP56CT7B/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
Properties DGMDEDCB68
| URI | m2://inv/DGMDEDCB68 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix normal distribution#1FJ1, Properties (statement)
History
- 2026-11-02: add by m2/dev
arithmetic topology DGMHMCH22Y
| URI | m2://inv/DGMHMCH22Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4791133, arithmetic topology (topic). Also nLab arithmetic topology
- wikipedia: Wikipedia Arithmetic topology, Arithmetic topology (topic). Also Wikidata Q4791133
History
- 2026-10-26: add by m2/dev
George Boole DGMK04FQG0
| URI | m2://inv/DGMK04FQG0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#8EU0, George Boole (topic)
History
- 2026-11-02: add by m2/dev
DGMKQFPYJC DGMKQFPYJC
| URI | m2://inv/DGMKQFPYJC |
|---|---|
| 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.22296#SDAU (statement)
History
- 2026-11-02: add by m2/v0.6.17
DGMTQMTEM4 DGMTQMTEM4
| URI | m2://inv/DGMTQMTEM4 |
|---|---|
| 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.08104#6WN6 (statement). In AH6BX8RZTW/e1, theorem 1.11
History
- 2026-10-29: add by m2/v0.4.10
Definition DGMV6SVDTM
| URI | m2://inv/DGMV6SVDTM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forward secrecy#UJM7, Definition (definition)
History
- 2026-11-02: add by m2/dev
DGMW0HZW3Z DGMW0HZW3Z
| URI | m2://inv/DGMW0HZW3Z |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08599#RW0A (example). In DST9FWMHT6/e1, example 3.11
History
- 2026-10-29: add by m2/v0.4.10
Formal definition DGMYCJXC6J
| URI | m2://inv/DGMYCJXC6J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modulus of continuity#9HFJ, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Karma Police DGN9BGP1FG
| URI | m2://inv/DGN9BGP1FG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karma Police (surveillance programme), Karma Police (definition). Also Wikidata Q21190730
History
- 2026-11-02: add by m2/dev
DGNC0NDAXB DGNC0NDAXB
| URI | m2://inv/DGNC0NDAXB |
|---|---|
| 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 2609.22847#2CVU (definition)
History
- 2026-11-02: add by m2/v0.6.17
Applications DGNEXC5AQK
| URI | m2://inv/DGNEXC5AQK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological data analysis#OP5P, Applications (example)
History
- 2026-11-02: add by m2/dev
Sub-national autonomous statistical services DGNKAP704R
| URI | m2://inv/DGNKAP704R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sub-national autonomous statistical services, Sub-national autonomous statistical services (definition). Also Wikidata Q17162900
History
- 2026-11-02: add by m2/dev
DGNNDJXX2E DGNNDJXX2E
| URI | m2://inv/DGNNDJXX2E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39317#9LSA (statement). In QM1T8JDK4A/e1, theorem C
History
- 2026-10-30: add by m2/v0.4.12
Giovanni Vailati DGP1H81MMY
| URI | m2://inv/DGP1H81MMY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giovanni Vailati, Giovanni Vailati (topic). Also Wikidata Q2524039
History
- 2026-11-02: add by m2/dev
DGPAYXSV2K DGPAYXSV2K
| URI | m2://inv/DGPAYXSV2K |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-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.06699#SOO8 (example). In GXHKRV5BPY/e1, example 3.6
History
- 2026-10-29: add by m2/v0.4.10
Crandall--Rabinowitz DGPEJWMWHJ
| URI | m2://inv/DGPEJWMWHJ |
|---|---|
| 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.11056#SSOX, Crandall--Rabinowitz (statement). In 1NDB3SAG7K/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.3
DGPESE0WX3 DGPESE0WX3
| URI | m2://inv/DGPESE0WX3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.04068#F3BJ (definition). In Y7TVAQE9PF/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Johann Euler DGPKHYJ20E
| URI | m2://inv/DGPKHYJ20E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johann Euler, Johann Euler (topic). Also Wikidata Q556346
History
- 2026-11-02: add by m2/dev
DGPMG03RFR DGPMG03RFR
| URI | m2://inv/DGPMG03RFR |
|---|---|
| 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 2610.06152#7ZHY (statement). In HH35K7S17H/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.10
DGPQHJ6W0N DGPQHJ6W0N
| URI | m2://inv/DGPQHJ6W0N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08323#C8N2 (definition). In FR51ART4NF/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.10
torr DGPQY3SC2F
| URI | m2://inv/DGPQY3SC2F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q185648, torr (definition). Also ProofWiki Definition:Torr
History
- 2026-10-26: add by m2/dev
DGPR34942D DGPR34942D
| URI | m2://inv/DGPR34942D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-73 (exercise). In E9HS8K3A52, exercise, section 7.5.1
History
- 2026-11-01: add by m2/v0.6.13
DGQ1CQSC1P DGQ1CQSC1P
| URI | m2://inv/DGQ1CQSC1P |
|---|---|
| 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 2602.07485#9SMA (statement). In 8KAC1E81JQ/e1, theorem 11
History
- 2026-10-27: add by m2/v0.3.5
Solving the Riddle of Phyllotaxis DGQ48FEER9
| URI | m2://inv/DGQ48FEER9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solving the Riddle of Phyllotaxis, Solving the Riddle of Phyllotaxis (definition). Also Wikidata Q97355771
History
- 2026-11-02: add by m2/dev
Euler tour tree DGQ5D0B29Y
| URI | m2://inv/DGQ5D0B29Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler tour technique#ZJEZ, Euler tour tree (unknown)
History
- 2026-11-02: add by m2/dev
Alternative definitions DGQ7HYQD4V
| URI | m2://inv/DGQ7HYQD4V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formally real field#60GI, Alternative definitions (definition)
History
- 2026-11-02: add by m2/dev
DGQQ11S7TY DGQQ11S7TY
| URI | m2://inv/DGQQ11S7TY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2609.33590#NCRE (definition). In WRE0P7V6Z3/e1, definition D.29
History
- 2026-10-30: add by m2/v0.4.12
Diluted inclusion–exclusion principle DGQQGZ69EZ
| URI | m2://inv/DGQQGZ69EZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inclusion–exclusion principle#GFE2, Diluted inclusion–exclusion principle (statement)
History
- 2026-11-02: add by m2/dev
DGR056GS3N DGR056GS3N
| URI | m2://inv/DGR056GS3N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0905.1489#M6EI (definition). In MZ18CTV65N/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.5
Lemma DGR3YEFQNQ
| URI | m2://inv/DGR3YEFQNQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perron's irreducibility criterion#BSCT, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Definition DGR474A9P5
| URI | m2://inv/DGR474A9P5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit of distributions#YBRO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Isaak Markovich Khalatnikov DGR9YGN5Y2
| URI | m2://inv/DGR9YGN5Y2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#DYEG, Isaak Markovich Khalatnikov (unknown)
History
- 2026-11-02: add by m2/dev
Theorem (Bargmann) DGRJYMYBMH
| URI | m2://inv/DGRJYMYBMH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wigner's theorem#MGQO, Theorem (Bargmann) (statement)
History
- 2026-11-02: add by m2/dev
Examples DGRQ0DMRTB
| URI | m2://inv/DGRQ0DMRTB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Questionnaire#GYJH, Examples (example)
History
- 2026-11-02: add by m2/dev
DGRRJEMV0P DGRRJEMV0P
| URI | m2://inv/DGRRJEMV0P |
|---|---|
| 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.22855#P3CR (statement)
History
- 2026-11-02: add by m2/v0.6.17
DGRY8EC0R0 DGRY8EC0R0
| URI | m2://inv/DGRY8EC0R0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-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 2610.09333#BWLT (definition). In Z9HC1EDTQP/e1, definition 3.9
History
- 2026-10-29: add by m2/v0.4.10
DGRYSGD3BH DGRYSGD3BH
| URI | m2://inv/DGRYSGD3BH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16554#B90A (statement). In GWNT8HEZG1/e1, corollary 3.2
History
- 2026-10-27: add by m2/v0.3.6
Oleg Izhboldin DGSESQF56W
| URI | m2://inv/DGSESQF56W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oleg Izhboldin, Oleg Izhboldin (topic). Also Wikidata Q65965960
History
- 2026-11-02: add by m2/dev
DGSR1VEFH0 DGSR1VEFH0
| URI | m2://inv/DGSR1VEFH0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.27125#YSPU (statement)
History
- 2026-11-01: add by m2/v0.6.15
DGST6BG9K1 DGST6BG9K1
| URI | m2://inv/DGST6BG9K1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24297#RN5Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
DGT4DARNR2 DGT4DARNR2
| URI | m2://inv/DGT4DARNR2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.00856#SAX2 (statement). In W6VHD4QBY4/e1, corollary 2.2
History
- 2026-10-29: add by m2/v0.4.12
DGT8E2ERRP DGT8E2ERRP
| URI | m2://inv/DGT8E2ERRP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39307#4UJF (statement). In QFBGPGRP1P/e1, corollary 1.2
History
- 2026-10-30: add by m2/v0.4.12
DGTZFHYCNZ DGTZFHYCNZ
| URI | m2://inv/DGTZFHYCNZ |
|---|---|
| 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.32077#K46H (statement). In WYXQDSQR9B/e1, proposition 2.7
History
- 2026-10-31: add by m2/v0.5.6
DGV4SYFQ69 DGV4SYFQ69
| URI | m2://inv/DGV4SYFQ69 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09810#QC9X (statement). In B6PCH930FV/e1, theorem 7
History
- 2026-10-29: add by m2/v0.4.10
Parry point DGV6W2B7TC
| URI | m2://inv/DGV6W2B7TC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7139901, Parry point (unknown). Also MathWorld ParryPoint
- wikipedia: Wikipedia Parry point (triangle), Parry point (definition). Also Wikidata Q7139901
History
- 2026-10-26: add by m2/dev
Logarithmic depth DGVCWVB9RF
| URI | m2://inv/DGVCWVB9RF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39233#NDU7, Logarithmic depth (statement). In Y7NC12TBNP/e1, proposition 4
History
- 2026-10-30: add by m2/v0.4.12
DGVEASDQEQ DGVEASDQEQ
| URI | m2://inv/DGVEASDQEQ |
|---|---|
| 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 2610.14502#FOSJ (statement). In 6BVBMTYXNZ/e1, proposition 3.7
History
- 2026-10-28: add by m2/v0.4.2
Automatic admissibility DGVM5GRZ1Z
| URI | m2://inv/DGVM5GRZ1Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28411#GE3P, Automatic admissibility (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition DGVPP0Q251
| URI | m2://inv/DGVPP0Q251 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complement (set theory)#KU12, Definition (definition)
History
- 2026-11-02: add by m2/dev
Macaulay brackets DGVT236QC3
| URI | m2://inv/DGVT236QC3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Macaulay brackets, Macaulay brackets (definition). Also Wikidata Q1479850
History
- 2026-11-02: add by m2/dev
Examples DGVV27A60Z
| URI | m2://inv/DGVV27A60Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Up to#E3OG, Examples (example)
History
- 2026-11-02: add by m2/dev
Running example continued DGW4PHA3H1
| URI | m2://inv/DGW4PHA3H1 |
|---|---|
| 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#PRA2, Running example continued (example)
History
- 2026-11-02: add by m2/v0.6.18
Bridge DGW53KZESZ
| URI | m2://inv/DGW53KZESZ |
|---|---|
| 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.38220#BFKU, Bridge (statement). In 1AC4S19925/e1, theorem 6.5
History
- 2026-10-30: add by m2/v0.4.12
DGW55V0GAF DGW55V0GAF
| URI | m2://inv/DGW55V0GAF |
|---|---|
| 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 2610.10262#ZB0C (example). In MVSGDTN2PB/e1, example 3.3
History
- 2026-10-29: add by m2/v0.4.10
Prosthaphaeresis DGW6FKMPH4
| URI | m2://inv/DGW6FKMPH4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prosthaphaeresis, Prosthaphaeresis (definition). Also Wikidata Q2257608
History
- 2026-11-02: add by m2/dev
DGW7TWBW59 DGW7TWBW59
| URI | m2://inv/DGW7TWBW59 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35323#8J1N (definition). In 5CKPXBWSCX/e1, definition 4.1
History
- 2026-10-30: add by m2/v0.4.12
R.2-tight DGWC6S8FM4
| URI | m2://inv/DGWC6S8FM4 |
|---|---|
| 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.25543#AYHV, R.2-tight (statement)
History
- 2026-11-01: add by m2/v0.6.15
DGWD2YCWNF DGWD2YCWNF
| URI | m2://inv/DGWD2YCWNF |
|---|---|
| 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 2411.16655#RDAM (statement). In EJHAXRV685/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
DGWQ1H70TG DGWQ1H70TG
| URI | m2://inv/DGWQ1H70TG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26074#U59C (statement)
History
- 2026-11-01: add by m2/v0.6.15
DGWWHSFZMZ DGWWHSFZMZ
| URI | m2://inv/DGWWHSFZMZ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-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 2405.14678#VHGZ (example). In 9ZSNSJRJ5N/e1, example 2
History
- 2026-10-27: add by m2/v0.4.2
Henry Waxman DGWWS3VTQB
| URI | m2://inv/DGWWS3VTQB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#9XV2, Henry Waxman (unknown)
History
- 2026-11-02: add by m2/dev
DGX1CD31BR DGX1CD31BR
| URI | m2://inv/DGX1CD31BR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.16669#RN8Y (statement). In 1463YCCRP5/e1, theorem 7.5
History
- 2026-10-27: add by m2/v0.4.0
DGX92XF4HC DGX92XF4HC
| URI | m2://inv/DGX92XF4HC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.00212#Z5DP (statement). In C9GG9C1X65/e1, theorem 21
History
- 2026-10-27: add by m2/v0.3.5
DGXFAVD4Z0 DGXFAVD4Z0
| URI | m2://inv/DGXFAVD4Z0 |
|---|---|
| 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#SUBV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Computational physics DGXMCH55FH
| URI | m2://inv/DGXMCH55FH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#11DY, Computational physics (unknown)
History
- 2026-11-02: add by m2/dev
Covariant GFF decomposition DGXNEZ1K78
| URI | m2://inv/DGXNEZ1K78 |
|---|---|
| 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 2609.21972#SN9F, Covariant GFF decomposition (statement)
History
- 2026-11-02: add by m2/v0.6.17
DGXS7GCSCV DGXS7GCSCV
| URI | m2://inv/DGXS7GCSCV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2105.13129#TDMB (definition). In J5Z1JD5VKR/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.4.0
DGY12T5PEY DGY12T5PEY
| URI | m2://inv/DGY12T5PEY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11031#G220 (definition). In 9DMJXFRQN9/e1, definition 2.9
History
- 2026-10-28: add by m2/v0.4.3
Probability box DGY275JQEC
| URI | m2://inv/DGY275JQEC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RMBZ, Probability box (definition)
- wikipedia: Wikipedia List of probability topics#CCAL, Probability box (definition)
History
- 2026-11-02: add by m2/dev
regular surface DGYJR5WDN0
| URI | m2://inv/DGYJR5WDN0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q116846710, regular surface (unknown). Also MathWorld RegularSurface
History
- 2026-10-26: add by m2/dev
DGYQBRMTGG DGYQBRMTGG
| URI | m2://inv/DGYQBRMTGG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-85 (exercise). In E9HS8K3A52, exercise, section 5.7.1
History
- 2026-11-01: add by m2/v0.6.13
SM9 Identity Based Signature Algorithm DGYRMZJDNW
| URI | m2://inv/DGYRMZJDNW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SM9 (cryptography standard)#G3SX, SM9 Identity Based Signature Algorithm (statement)
History
- 2026-11-02: add by m2/dev
DGYSS3XTNA DGYSS3XTNA
| URI | m2://inv/DGYSS3XTNA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/representing-relations.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 30.2
History
- 2026-11-01: add by m2/v0.6.13
Abstract algebraic variety DGYZNWB9JF
| URI | m2://inv/DGYZNWB9JF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic variety#CKBE, Abstract algebraic variety (unknown)
History
- 2026-11-02: add by m2/dev
topos DGZ5SJVKTE
| URI | m2://inv/DGZ5SJVKTE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.9/topos, topos (concept). In N54F33XE07, index, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
Automatic regularity for standard weak \(H^1\) rows DGZ5SRHKAX
| URI | m2://inv/DGZ5SRHKAX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#8NEY, Automatic regularity for standard weak \(H^1\) rows (statement). In 6FY8BVP1F3/e1, corollary C.5
History
- 2026-10-29: add by m2/v0.4.12
DGZ9MV5V13 DGZ9MV5V13
| URI | m2://inv/DGZ9MV5V13 |
|---|---|
| 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.06466#GRRZ (statement). In 6W451V3N75/e1, theorem 10.3
History
- 2026-10-29: add by m2/v0.4.10
DGZ9SZWNZF DGZ9SZWNZF
| URI | m2://inv/DGZ9SZWNZF |
|---|---|
| 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 2605.24355#P9FP (statement). In VV3AJMWWCR/e1, theorem 10
History
- 2026-10-27: add by m2/v0.3.6
Stefan Warschawski DGZCRPFRCP
| URI | m2://inv/DGZCRPFRCP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#XY36, Stefan Warschawski (unknown)
History
- 2026-11-02: add by m2/dev
negative binomial distribution DGZCXPT5BA
| URI | m2://inv/DGZCXPT5BA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Negative binomial distribution 0XBRG3965F |
Mentions
- wikidata: Wikidata Q743364, negative binomial distribution (unknown). Also MathWorld NegativeBinomialDistribution
- wikipedia: Wikipedia Negative binomial distribution, Negative binomial distribution (definition). Also Wikidata Q743364
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
DGZJPAGVVV DGZJPAGVVV
| URI | m2://inv/DGZJPAGVVV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04214#9Y3U (definition). In HWY7AQ4KT2/e1, definition 1.7
History
- 2026-10-29: add by m2/v0.4.12
DGZP6XEW1Y DGZP6XEW1Y
| URI | m2://inv/DGZP6XEW1Y |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#proof-32 (proof). In E59CDZA4DP, proof, section 10.6.2
History
- 2026-11-01: add by m2/v0.6.13
DGZXA664DP DGZXA664DP
| URI | m2://inv/DGZXA664DP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#EIYM (statement). In XGPZ0G9E1Q/e1, proposition 5.6
History
- 2026-10-29: add by m2/v0.4.12
DGZZ3BPBHC DGZZ3BPBHC
| URI | m2://inv/DGZZ3BPBHC |
|---|---|
| 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.05703#0HN6 (statement). In 2YS79JFD85/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10