Inventory rows GP
The cards of the rows of the inventory whose ids start with GP. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
GP03YC3HCE GP03YC3HCE
| URI | m2://inv/GP03YC3HCE |
|---|---|
| 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.20702#JJXQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Genus lower bound for all squarefree $N$ GP0D7Q7KYS
| URI | m2://inv/GP0D7Q7KYS |
|---|---|
| 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#QF60, Genus lower bound for all squarefree $N$ (statement). In JXTG8KP95P/e1, corollary 6.13
History
- 2026-10-30: add by m2/v0.4.12
Three consecutive residues GP0F6YP45N
| URI | m2://inv/GP0F6YP45N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03763#J747, Three consecutive residues (statement). In ARZ4X5PXXC/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
Random ensemble GP0H53CRW2
| URI | m2://inv/GP0H53CRW2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14154#20V5, Random ensemble (definition). In 8X6PXX2TRA/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
GP0HW01W9F GP0HW01W9F
| URI | m2://inv/GP0HW01W9F |
|---|---|
| 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.02870#QOY9 (statement). In JJQQJ4KX94/e1, corollary 3.16
History
- 2026-10-29: add by m2/v0.4.12
Applications GP0Q1A4CGH
| URI | m2://inv/GP0Q1A4CGH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deligne cohomology#5STU, Applications (example)
History
- 2026-11-02: add by m2/dev
GP0VZKEHYJ GP0VZKEHYJ
| URI | m2://inv/GP0VZKEHYJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11785#16PH (statement). In 2XSZDXZ52E/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.3
Edge detection GP19P7HFC0
| URI | m2://inv/GP19P7HFC0 |
|---|---|
| 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#0FF5, Edge detection (unknown)
History
- 2026-11-02: add by m2/dev
GP1B53PH3B GP1B53PH3B
| URI | m2://inv/GP1B53PH3B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2610.15434#12FB (statement). In PWF23QSGDX/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
GP1BHTW4VB GP1BHTW4VB
| URI | m2://inv/GP1BHTW4VB |
|---|---|
| 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 1911.06467#P9RE (statement). In G35G1NJKBX/e1, proposition 6.3
History
- 2026-10-27: add by m2/v0.3.5
GP1E56XPKH GP1E56XPKH
| URI | m2://inv/GP1E56XPKH |
|---|---|
| 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.10086#PHCV (statement). In NP9X9CAK19/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.10
Experimenter's bias GP1FHDSZHK
| URI | m2://inv/GP1FHDSZHK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#D5B5, Experimenter's bias (definition)
History
- 2026-11-02: add by m2/dev
Gr\"onwall bound for Wasserstein error of SDE's, under local Lipschitzness GP1PHSBA1K
| URI | m2://inv/GP1PHSBA1K |
|---|---|
| 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.30590#ZCGW, Gr\"onwall bound for Wasserstein error of SDE's, under local Lipschitzness (statement). In WYE2JVEZBT/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
GP1T3PEDAM GP1T3PEDAM
| URI | m2://inv/GP1T3PEDAM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompleteInduction.tex#prob:Fibonacci (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
adjoint representation of a Lie algebra GP1TW5S0E0
| URI | m2://inv/GP1TW5S0E0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4379157, adjoint representation of a Lie algebra (unknown). Also MathWorld AdjointRepresentation
History
- 2026-10-26: add by m2/dev
Berger's inequality for Einstein manifolds GP1VVZZV3P
| URI | m2://inv/GP1VVZZV3P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#6VZL, Berger's inequality for Einstein manifolds (statement)
History
- 2026-11-02: add by m2/dev
GP1Z8S4QBA GP1Z8S4QBA
| URI | m2://inv/GP1Z8S4QBA |
|---|---|
| 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.15367#809B (statement). In 9AFZ1S368G/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
GP20YSN83P GP20YSN83P
| URI | m2://inv/GP20YSN83P |
|---|---|
| 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.21116#J9YS (definition)
History
- 2026-11-02: add by m2/v0.6.18
Theorem GP24PMQZZK
| URI | m2://inv/GP24PMQZZK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Omega-regular language#O8LB, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Routhian mechanics GP26SK5SVZ
| URI | m2://inv/GP26SK5SVZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Routhian mechanics, Routhian mechanics (definition). Also Wikidata Q7371608
History
- 2026-11-02: add by m2/dev
GP27WSTSZZ GP27WSTSZZ
| URI | m2://inv/GP27WSTSZZ |
|---|---|
| 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.13214#9CO6 (statement). In 4GRNWWH88J/e1, theorem 2.3
History
- 2026-10-28: add by m2/v0.4.2
Dasymetric map GP28JZR97H
| URI | m2://inv/GP28JZR97H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dasymetric map, Dasymetric map (definition). Also Wikidata Q5227019
History
- 2026-11-02: add by m2/dev
GP2AMY6A4P GP2AMY6A4P
| URI | m2://inv/GP2AMY6A4P |
|---|---|
| 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.21036#9K9X (statement). In G0M4N3E0CG/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.4.2
GP2C4DW3YB GP2C4DW3YB
| URI | m2://inv/GP2C4DW3YB |
|---|---|
| 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.38865#N3X3 (statement). In TFZNHCE6EV/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
RSA-2048 GP2CD0MK7N
| URI | m2://inv/GP2CD0MK7N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#F61R, RSA-2048 (unknown)
History
- 2026-11-02: add by m2/dev
Lazare Carnot GP2DA1AY1F
| URI | m2://inv/GP2DA1AY1F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lazare Carnot, Lazare Carnot (topic). Also Wikidata Q310767
History
- 2026-11-02: add by m2/dev
GP2T221VRQ GP2T221VRQ
| URI | m2://inv/GP2T221VRQ |
|---|---|
| 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#EBK7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Cauchy identity GP2V50HQ4Y
| URI | m2://inv/GP2V50HQ4Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#K408, Cauchy identity (definition)
History
- 2026-11-02: add by m2/dev
GP2YER1YJE GP2YER1YJE
| URI | m2://inv/GP2YER1YJE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX, 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16157#6PGJ (statement). In GV251MW5RP/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
GP334V44CS GP334V44CS
| URI | m2://inv/GP334V44CS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0806.0678#15SV (statement). In 5RMV7VP13X/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
GP3K6DAZX9 GP3K6DAZX9
| URI | m2://inv/GP3K6DAZX9 |
|---|---|
| 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 2403.16840#D0IT (statement). In K4CZQDD0G7/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
GP3QGD6PC4 GP3QGD6PC4
| URI | m2://inv/GP3QGD6PC4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30519#WXIM (statement). In GQQZNRYK15/e1, proposition 4.5
History
- 2026-10-31: add by m2/v0.5.6
GP3QXETX73 GP3QXETX73
| URI | m2://inv/GP3QXETX73 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.06762#P2MZ (statement). In J99PFFJXPE/e1, theorem 4.11
History
- 2026-10-27: add by m2/v0.3.6
GP3RJ8V3VD GP3RJ8V3VD
| URI | m2://inv/GP3RJ8V3VD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#example-16 (example). In E9HS8K3A52, example, section 7.4.2
History
- 2026-11-01: add by m2/v0.6.13
GP3RZ85W4P GP3RZ85W4P
| URI | m2://inv/GP3RZ85W4P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19658#RDVZ (statement). In G00EYA9DXG/e1, theorem 7.2
History
- 2026-10-28: add by m2/v0.4.2
Shape holomorphy of the single layer BIO GP3SEA3GCP
| URI | m2://inv/GP3SEA3GCP |
|---|---|
| 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.14888#PM4L, Shape holomorphy of the single layer BIO (statement). In GN3ZT9DAD9/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Coherence theorem GP3SMV7SHW
| URI | m2://inv/GP3SMV7SHW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherency (homotopy theory)#C7MJ, Coherence theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition GP3XZ1JGTW
| URI | m2://inv/GP3XZ1JGTW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Packing coloring#91JS, Definition (definition)
History
- 2026-11-02: add by m2/dev
Theorem GP3YH0RTGP
| URI | m2://inv/GP3YH0RTGP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exact couple#7YCE, Theorem (statement)
History
- 2026-11-02: add by m2/dev
GP40JR0P46 GP40JR0P46
| URI | m2://inv/GP40JR0P46 |
|---|---|
| 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 2609.33018#IROI (definition). In 8XVS0QJ2AH/e1, definition 23
History
- 2026-10-31: add by m2/v0.5.6
Glissette GP494KY8WZ
| URI | m2://inv/GP494KY8WZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#R68F, Glissette (definition)
- wikipedia: Wikipedia List of curves#R911, Glissette (definition)
History
- 2026-11-02: add by m2/dev
GP49CPD8FA GP49CPD8FA
| URI | m2://inv/GP49CPD8FA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.05986#WOMU (statement). In N5ZM8MXJXH/e1, theorem 2.6
History
- 2026-10-29: add by m2/v0.4.10
GP4N3ZV1HC GP4N3ZV1HC
| URI | m2://inv/GP4N3ZV1HC |
|---|---|
| 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.23004#3DBR (statement)
History
- 2026-11-02: add by m2/v0.6.17
logical falsehood GP4R4CDY1V
| URI | m2://inv/GP4R4CDY1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#BVD9, logical falsehood (definition)
History
- 2026-11-02: add by m2/dev
GLS Problem 3.1.29 GP4RTP3PG1
| URI | m2://inv/GP4RTP3PG1 |
|---|---|
| Kind | problem |
| 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#4UU6, GLS Problem 3.1.29 (problem). In JWNYJVH8XG/e1, problem B
History
- 2026-10-29: add by m2/v0.4.10
GP4T296CVB GP4T296CVB
| URI | m2://inv/GP4T296CVB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop-6 (statement). In VNMV985MXX, prop, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
GP4VGQXDAJ GP4VGQXDAJ
| URI | m2://inv/GP4VGQXDAJ |
|---|---|
| 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 2210.11778#6TZJ (statement). In PPAJZ2JBCE/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
Examples GP4VQ728MV
| URI | m2://inv/GP4VQ728MV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tragedy of the commons#H1VU, Examples (example)
History
- 2026-11-02: add by m2/dev
GP4W799VBB GP4W799VBB
| URI | m2://inv/GP4W799VBB |
|---|---|
| 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.37093#RJIV (statement). In GA6QH32CJQ/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
GP4WNXXHEN GP4WNXXHEN
| URI | m2://inv/GP4WNXXHEN |
|---|---|
| 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 2609.33590#XWXG (statement). In WRE0P7V6Z3/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
PROPOSITION 3 GP4XZR5EXT
| URI | m2://inv/GP4XZR5EXT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple theorems in the algebra of sets#UN4Y, PROPOSITION 3 (statement)
History
- 2026-11-02: add by m2/dev
Vaccines do not cause autism GP4ZJ8GG9J
| URI | m2://inv/GP4ZJ8GG9J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#QBAU, Vaccines do not cause autism (unknown)
History
- 2026-11-02: add by m2/dev
GP51QGT2H5 GP51QGT2H5
| URI | m2://inv/GP51QGT2H5 |
|---|---|
| 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.21475#SN1F (statement). In TTRSZVT4VX/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.4.2
GP533AZE8F GP533AZE8F
| URI | m2://inv/GP533AZE8F |
|---|---|
| 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.04833#0YXI (statement). In AKB3CNDA0F/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.12
Relative mean absolute difference GP55BG9MQZ
| URI | m2://inv/GP55BG9MQZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean absolute difference#F8OJ, Relative mean absolute difference (unknown)
History
- 2026-11-02: add by m2/dev
GP5H10RT8H GP5H10RT8H
| URI | m2://inv/GP5H10RT8H |
|---|---|
| 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 2609.20522#KDEK (statement)
History
- 2026-11-02: add by m2/v0.6.18
Schwartz function GP5KMEBQWF
| URI | m2://inv/GP5KMEBQWF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5870972, Schwartz function (definition). Also MathWorld SchwartzFunction, ProofWiki Definition:Schwartz_Test_Function
History
- 2026-10-26: add by m2/dev
GP5KPZ8KMM GP5KPZ8KMM
| URI | m2://inv/GP5KPZ8KMM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20178#RPG2 (statement). In Z53NCTCEXE/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.3.5
Rees algebra GP5P6E1YCQ
| URI | m2://inv/GP5P6E1YCQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Rees algebra W8ZAH8TTHS |
Mentions
- wikidata: Wikidata Q7306976, Rees algebra (concept). Also MathWorld ReesRing
- wikipedia: Wikipedia Rees algebra, Rees algebra (definition). Also Wikidata Q7306976
History
- 2026-10-26: add by m2/dev
Lenstra–Lenstra–Lovász lattice basis reduction algorithm GP5VVKFZD3
| URI | m2://inv/GP5VVKFZD3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#RVQS, Lenstra–Lenstra–Lovász lattice basis reduction algorithm (definition)
History
- 2026-11-02: add by m2/dev
John domain GP64FK3GCT
| URI | m2://inv/GP64FK3GCT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24041#OJAS, John domain (definition)
History
- 2026-11-02: add by m2/v0.6.17
Optimal discrimination of histories GP6JJ73YNG
| URI | m2://inv/GP6JJ73YNG |
|---|---|
| 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.37375#P1OT, Optimal discrimination of histories (statement). In PV4Z2FRXRZ/e1, theorem 6.4
History
- 2026-10-30: add by m2/v0.4.12
GP6KS3NTFH GP6KS3NTFH
| URI | m2://inv/GP6KS3NTFH |
|---|---|
| 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.09578#9X9N (statement). In WT0ZB7R39B/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
GP6YXMF0DR GP6YXMF0DR
| URI | m2://inv/GP6YXMF0DR |
|---|---|
| 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 1011.5380#C636 (statement). In GCWK07YZJZ/e1, theorem A
History
- 2026-10-27: add by m2/v0.3.5
GP6ZK813AP GP6ZK813AP
| URI | m2://inv/GP6ZK813AP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.35597#XSJU (statement). In K424GCJ50P/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
GP787FC8T1 GP787FC8T1
| URI | m2://inv/GP787FC8T1 |
|---|---|
| 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#4MJ6 (statement). In DZ12XTTJSM/e1, proposition 4.16
History
- 2026-10-28: add by m2/v0.4.2
Anthony Dumond Stanley GP7E4BA94N
| URI | m2://inv/GP7E4BA94N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anthony Dumond Stanley, Anthony Dumond Stanley (topic). Also Wikidata Q141250929
History
- 2026-11-02: add by m2/dev
GP7HV94EQ5 GP7HV94EQ5
| URI | m2://inv/GP7HV94EQ5 |
|---|---|
| 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 2606.20229#XRQP (statement). In 1B85G2QJC2/e1, lemma 8.2
History
- 2026-10-27: add by m2/v0.3.6
Kepler's second law GP7JSSS6E8
| URI | m2://inv/GP7JSSS6E8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122928303, Kepler's second law (statement). Also ProofWiki Kepler's_Laws_of_Planetary_Motion/Second_Law
History
- 2026-10-26: add by m2/dev
Key Lemma GP7PZKD948
| URI | m2://inv/GP7PZKD948 |
|---|---|
| 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 2310.11101#4A5M, Key Lemma (statement). In YBBKTP4E70/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.5
Affine flows preserve Gaussianity GP7ZN9YZYF
| URI | m2://inv/GP7ZN9YZYF |
|---|---|
| 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.31544#CE1L, Affine flows preserve Gaussianity (statement). In TX449S1VZV/e1, lemma A.1
History
- 2026-10-31: add by m2/v0.5.6
GP82G7TWZZ GP82G7TWZZ
| URI | m2://inv/GP82G7TWZZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/substitution.tex#thm:inv (statement). In PKGMM3P5QY, thm, section 38.15
History
- 2026-11-01: add by m2/v0.6.13
David Rytz GP873YPAS4
| URI | m2://inv/GP873YPAS4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Rytz, David Rytz (topic). Also Wikidata Q29226825
History
- 2026-11-02: add by m2/dev
Occupation time formula GP88ZQJZ95
| URI | m2://inv/GP88ZQJZ95 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener process#HB72, Occupation time formula (statement)
History
- 2026-11-02: add by m2/dev
GP8EMSG94Q GP8EMSG94Q
| URI | m2://inv/GP8EMSG94Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-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.27295#VM2H (definition)
History
- 2026-11-01: add by m2/v0.6.15
GP8EQD60PP GP8EQD60PP
| URI | m2://inv/GP8EQD60PP |
|---|---|
| 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 2609.33313#AZTV (statement). In HRCEFY172P/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
GP8K5JZR75 GP8K5JZR75
| URI | m2://inv/GP8K5JZR75 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#JZH3 (statement). In 7SSKW778T8/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.10
Tradeoff Cliff under Multi-Parameter Estimation GP8NWQJF00
| URI | m2://inv/GP8NWQJF00 |
|---|---|
| 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#OUDD, Tradeoff Cliff under Multi-Parameter Estimation (statement)
History
- 2026-11-01: add by m2/v0.6.15
non-exhaustive GP8R4VHYPG
| URI | m2://inv/GP8R4VHYPG |
|---|---|
| Kind | example |
| 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 2403.15255#PXAR, non-exhaustive (example). In G691MXMYW0/e1, example 3.26
History
- 2026-10-27: add by m2/v0.4.0
Claudio Procesi GP8SQ8DMW2
| URI | m2://inv/GP8SQ8DMW2 |
|---|---|
| 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#FH3R, Claudio Procesi (topic)
History
- 2026-11-02: add by m2/dev
Beta GP8VWEB9KH
| URI | m2://inv/GP8VWEB9KH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beta (finance), Beta (definition). Also Wikidata Q1054680
History
- 2026-11-02: add by m2/dev
GP8Y7VCJAM GP8Y7VCJAM
| URI | m2://inv/GP8Y7VCJAM |
|---|---|
| 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.34620#SV3A (statement). In JQYXDG11FZ/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
GP8Z3ABSYY GP8Z3ABSYY
| URI | m2://inv/GP8Z3ABSYY |
|---|---|
| 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.12481#GB3J (statement). In TD288AK3EJ/e1, theorem 9
History
- 2026-10-28: add by m2/v0.4.2
GP8ZV5EZNR GP8ZV5EZNR
| URI | m2://inv/GP8ZV5EZNR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 49.1
History
- 2026-11-01: add by m2/v0.6.13
Second-harmonic generation GP91H7EWGK
| URI | m2://inv/GP91H7EWGK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second-harmonic generation, Second-harmonic generation (definition). Also Wikidata Q1455635
History
- 2026-11-02: add by m2/dev
GP9BTZN29S GP9BTZN29S
| URI | m2://inv/GP9BTZN29S |
|---|---|
| Kind | statement |
| 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#1NNZ (statement). In 69GJX04N6M/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
David L. Donoho GP9C2YTESK
| URI | m2://inv/GP9C2YTESK |
|---|---|
| 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#XIGN, David L. Donoho (topic)
History
- 2026-11-02: add by m2/dev
GP9D7724HA GP9D7724HA
| URI | m2://inv/GP9D7724HA |
|---|---|
| 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 2610.13792#04DU (definition). In ZH0PFTZ12Y/e1, definition 2.10
History
- 2026-10-28: add by m2/v0.4.2
GP9G6BQVEA GP9G6BQVEA
| URI | m2://inv/GP9G6BQVEA |
|---|---|
| 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 0811.0544#1PN5 (statement). In RKPZ3SC956/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
GP9HYSC385 GP9HYSC385
| URI | m2://inv/GP9HYSC385 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39465#O7IN (statement). In 17F6FDEA3W/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Van Houtum distribution GP9TRG18ZK
| URI | m2://inv/GP9TRG18ZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ASGE, Van Houtum distribution (definition)
History
- 2026-11-02: add by m2/dev
GP9YA80NNX GP9YA80NNX
| URI | m2://inv/GP9YA80NNX |
|---|---|
| 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#U91Z (definition). In Z9HC1EDTQP/e1, definition 4.2
History
- 2026-10-29: add by m2/v0.4.10
GPA42E4X5G GPA42E4X5G
| URI | m2://inv/GPA42E4X5G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#AAAQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Kisin GPA71VJ6J1
| URI | m2://inv/GPA71VJ6J1 |
|---|---|
| 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.25703#RFW8, Kisin (statement)
History
- 2026-11-01: add by m2/v0.6.15
rule, formation GPABRKBQ6D
| URI | m2://inv/GPABRKBQ6D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.5/rule-formation, rule, formation (concept). In N54F33XE07, index, section A.5
History
- 2026-11-01: add by m2/v0.6.13
Axiom of choice GPADVCY5KW
| URI | m2://inv/GPADVCY5KW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Product topology#CF8Z, Axiom of choice (statement)
History
- 2026-11-02: add by m2/dev
Methods GPAKKXSWRY
| URI | m2://inv/GPAKKXSWRY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Archaeocryptography#OO5O, Methods (definition)
History
- 2026-11-02: add by m2/dev
GPAT073ZWP GPAT073ZWP
| URI | m2://inv/GPAT073ZWP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.15169#PBKT (statement). In V7SN19J84T/e1, proposition 7.12
History
- 2026-10-28: add by m2/v0.4.2
CoRE-MPC closed-loop guarantees GPB2K2XMZT
| URI | m2://inv/GPB2K2XMZT |
|---|---|
| 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.19250#P6RK, CoRE-MPC closed-loop guarantees (statement). In FRJPR9GBCH/e1, theorem 5
History
- 2026-10-28: add by m2/v0.4.2
Normal extension GPB32YZV68
| URI | m2://inv/GPB32YZV68 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#QJ4O, Normal extension (definition)
History
- 2026-11-02: add by m2/dev
GPB46MG86T GPB46MG86T
| URI | m2://inv/GPB46MG86T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09522#V2SI (statement). In KKR9167FPT/e1, lemma 12
History
- 2026-10-29: add by m2/v0.4.10
George Lusztig GPB6TPVEW4
| URI | m2://inv/GPB6TPVEW4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#I7I1, George Lusztig (unknown)
History
- 2026-11-02: add by m2/dev
Examples GPBDAC8945
| URI | m2://inv/GPBDAC8945 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodetic graph#1T7S, Examples (example)
History
- 2026-11-02: add by m2/dev
GPBTRMT8KG GPBTRMT8KG
| URI | m2://inv/GPBTRMT8KG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#ex:contr-infinity-sphere-colim (exercise). In N54F33XE07, ex, section 7.10
History
- 2026-11-01: add by m2/v0.6.13
elongated triangular pyramid GPC0YZ7Q9Y
| URI | m2://inv/GPC0YZ7Q9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q82172, elongated triangular pyramid (object). Also MathWorld ElongatedTriangularPyramid
- wikipedia: Wikipedia Elongated triangular pyramid, Elongated triangular pyramid (definition). Also Wikidata Q82172
History
- 2026-10-26: add by m2/dev
Conditional logistic regression GPC3S6WKVJ
| URI | m2://inv/GPC3S6WKVJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional logistic regression, Conditional logistic regression (definition). Also Wikidata Q19596443
History
- 2026-11-02: add by m2/dev
Juggler sequence GPC8RWEXVC
| URI | m2://inv/GPC8RWEXVC |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#F6R7, Juggler sequence (conjecture)
History
- 2026-11-02: add by m2/dev
Edwin Arend Perkins GPCMC8WXMY
| URI | m2://inv/GPCMC8WXMY |
|---|---|
| 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#6G3U, Edwin Arend Perkins (topic)
History
- 2026-11-02: add by m2/dev
GPCXPCXCCW GPCXPCXCCW
| URI | m2://inv/GPCXPCXCCW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1612.08394#TY47 (statement). In 1P8D88DKG5/e1, corollary 8.2
History
- 2026-10-27: add by m2/v0.3.5
GPDAHN9C0F GPDAHN9C0F
| URI | m2://inv/GPDAHN9C0F |
|---|---|
| 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.05327#KE2E (statement). In ZD7BWDKT84/e1, proposition 8.12
History
- 2026-10-29: add by m2/v0.4.10
GPDAYDPGF0 GPDAYDPGF0
| URI | m2://inv/GPDAYDPGF0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1303.4328#HCTT (statement). In HCTYW6VH87/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Law of reflection GPDBQPSPB0
| URI | m2://inv/GPDBQPSPB0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ibn al-Haytham#SEL1, Law of reflection (statement)
History
- 2026-11-02: add by m2/dev
GPDDZX3BJG GPDDZX3BJG
| URI | m2://inv/GPDDZX3BJG |
|---|---|
| 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.39790#CYWE (statement). In C2C9GTQFYF/e1, proposition 3.4
History
- 2026-10-30: add by m2/v0.4.12
Classical Humbert surface GPDW3V67GY
| URI | m2://inv/GPDW3V67GY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23941#A083, Classical Humbert surface (definition)
History
- 2026-11-02: add by m2/v0.6.17
Examples GPE11N9TH6
| URI | m2://inv/GPE11N9TH6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clenshaw algorithm#DCUQ, Examples (example)
History
- 2026-11-02: add by m2/dev
Exercise paradox GPE1F5AHJZ
| URI | m2://inv/GPE1F5AHJZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#4VV9, Exercise paradox (unknown)
History
- 2026-11-02: add by m2/dev
Plücker surface GPE29MFVM3
| URI | m2://inv/GPE29MFVM3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plücker surface, Plücker surface (definition). Also Wikidata Q7205925
History
- 2026-11-02: add by m2/dev
GPE3CS5GZ0 GPE3CS5GZ0
| URI | m2://inv/GPE3CS5GZ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21365#40WQ (statement). In FCMMB2EVAP/e1, corollary 3.5
History
- 2026-10-27: add by m2/v0.4.2
Sue Chandler GPE5JJENRF
| URI | m2://inv/GPE5JJENRF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sue Chandler, Sue Chandler (topic). Also Wikidata Q18685367
History
- 2026-11-02: add by m2/dev
Friedrichs extension GPE9P5XD18
| URI | m2://inv/GPE9P5XD18 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Friedrichs extension GTBXZXK146 |
Mentions
- wikidata: Wikidata Q1464339, Friedrichs extension (concept). Also nLab Friedrichs extension
- wikipedia: Wikipedia Friedrichs extension, Friedrichs extension (definition). Also Wikidata Q1464339
History
- 2026-10-26: add by m2/dev
GPEEYNT9EK GPEEYNT9EK
| URI | m2://inv/GPEEYNT9EK |
|---|---|
| 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#XQ3Y (statement). In NWWKD8YX57/e1, proposition 2.8
History
- 2026-10-29: add by m2/v0.4.10
Depth-Independent Lipschitz Continuity GPEG9SVJDF
| URI | m2://inv/GPEG9SVJDF |
|---|---|
| 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.14344#H0B4, Depth-Independent Lipschitz Continuity (statement). In ZVCD8RG1JJ/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Nathaniel Nye GPEGVZ47R7
| URI | m2://inv/GPEGVZ47R7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nathaniel Nye, Nathaniel Nye (topic). Also Wikidata Q15441631
History
- 2026-11-02: add by m2/dev
Stable process GPER490NVR
| URI | m2://inv/GPER490NVR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable process, Stable process (definition). Also Wikidata Q7595775
History
- 2026-11-02: add by m2/dev
GPES46TGX6 GPES46TGX6
| URI | m2://inv/GPES46TGX6 |
|---|---|
| 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.25100#GHGK (statement)
History
- 2026-11-01: add by m2/v0.6.15
power functions GPESVZCRCP
| URI | m2://inv/GPESVZCRCP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Elementary functions (trigonometric, rational, $\exp$, $\log$, etc) > power functions, power functions (unknown). Also Mathlib Real.rpow
History
- 2026-10-26: add by m2/dev
Seiberg–Witten equations GPEX353EHE
| URI | m2://inv/GPEX353EHE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121120180, Seiberg–Witten equations (unknown). Also EoM Seiberg-Witten_equations, MathWorld Seiberg-WittenEquations
History
- 2026-10-26: add by m2/dev
GPF1G8Z4X3 GPF1G8Z4X3
| URI | m2://inv/GPF1G8Z4X3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06739#6O41 (statement). In HA9B7PD0YV/e1, theorem 11
History
- 2026-10-29: add by m2/v0.4.10
Limitations of definition GPF4YNSX13
| URI | m2://inv/GPF4YNSX13 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Definition#AGQO, Limitations of definition (unknown)
History
- 2026-11-02: add by m2/dev
Properties of $\Omega^*$ GPF85528PV
| URI | m2://inv/GPF85528PV |
|---|---|
| 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.14988#YLJW, Properties of $\Omega^*$ (statement). In B29M4E6KGC/e1, lemma F.1
History
- 2026-10-28: add by m2/v0.4.2
GPFCF1EYTH GPFCF1EYTH
| URI | m2://inv/GPFCF1EYTH |
|---|---|
| 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.08226#I0YU (statement). In V6EPE8XHAD/e1, lemma A.4
History
- 2026-10-29: add by m2/v0.4.10
GPFE6E8V96 GPFE6E8V96
| URI | m2://inv/GPFE6E8V96 |
|---|---|
| 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 2502.05771#PO7P (statement). In 958KKGH89J/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.6
Viscosity solutions GPFE8M7CTA
| URI | m2://inv/GPFE8M7CTA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18744#JC4I, Viscosity solutions (definition). In AE07JDH5D3/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Charles Coffin Sims GPFKG8P42T
| URI | m2://inv/GPFKG8P42T |
|---|---|
| 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#OX9S, Charles Coffin Sims (topic)
History
- 2026-11-02: add by m2/dev
GPFVGSHHRH GPFVGSHHRH
| URI | m2://inv/GPFVGSHHRH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04809#HBVW (statement). In 2VHV0RNTNV/e1, corollary 6.6
History
- 2026-10-29: add by m2/v0.4.12
indiscernible GPFWP8X73J
| URI | m2://inv/GPFWP8X73J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#HAFZ, indiscernible (definition)
History
- 2026-11-02: add by m2/dev
Eubulides paradox GPG05KDA4Z
| URI | m2://inv/GPG05KDA4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#81EJ, Eubulides paradox (definition)
History
- 2026-11-02: add by m2/dev
GPG25XC6W8 GPG25XC6W8
| URI | m2://inv/GPG25XC6W8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-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.06747#3PU2 (statement). In AB2WPR2FRR/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
GPG91T7936 GPG91T7936
| URI | m2://inv/GPG91T7936 |
|---|---|
| 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 2609.20522#RGEH (statement)
History
- 2026-11-02: add by m2/v0.6.18
triacontagon GPGHVVQTB6
| URI | m2://inv/GPGHVVQTB6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1898252, triacontagon (unknown). Also MathWorld Triacontagon
- wikipedia: Wikipedia Triacontagon, Triacontagon (definition). Also Wikidata Q1898252
History
- 2026-10-26: add by m2/dev
Network probability matrix GPGJMENKBB
| URI | m2://inv/GPGJMENKBB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#E8P8, Network probability matrix (definition)
History
- 2026-11-02: add by m2/dev
Noether's theorem GPGJYHJQRV
| URI | m2://inv/GPGJYHJQRV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#T3A7, Noether's theorem (statement)
- wikipedia: Wikipedia List of variational topics#2NQ4, Noether's theorem (statement)
- wikipedia: Wikipedia List of mathematical topics in quantum theory#H20B, Noether's theorem (statement)
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#7JNX, Noether's theorem (statement)
History
- 2026-11-02: add by m2/dev
Pairing strategy GPGVN81RPK
| URI | m2://inv/GPGVN81RPK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pairing strategy, Pairing strategy (definition). Also Wikidata Q60792015
History
- 2026-11-02: add by m2/dev
GPGYHQ02ZF GPGYHQ02ZF
| URI | m2://inv/GPGYHQ02ZF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/eigenvalues.tex#example-5 (example). In RZP28ERRZV, example, section 58.5
History
- 2026-11-01: add by m2/v0.6.13
Persistence of the leading action GPH27W9H79
| URI | m2://inv/GPH27W9H79 |
|---|---|
| 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#3S0V, Persistence of the leading action (statement)
History
- 2026-11-01: add by m2/v0.6.15
Oka GPH64PCB1X
| URI | m2://inv/GPH64PCB1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#F4N0, Oka (definition)
History
- 2026-11-02: add by m2/dev
GPH7A8K43J GPH7A8K43J
| URI | m2://inv/GPH7A8K43J |
|---|---|
| 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#NFYZ (statement). In QR8H4M1X4N/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.2
GPHANHA507 GPHANHA507
| URI | m2://inv/GPHANHA507 |
|---|---|
| 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.37584#RVSL (statement). In 66F6N3BJWV/e1, theorem 6.4
History
- 2026-10-30: add by m2/v0.4.12
GPHDBPX30F GPHDBPX30F
| URI | m2://inv/GPHDBPX30F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.12612#6ETF (statement). In 8A0VZV8PBN/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
GPHFSGNK1M GPHFSGNK1M
| URI | m2://inv/GPHFSGNK1M |
|---|---|
| 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.17571#G9TG (statement). In SWFN2HCEE7/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
perpetuant GPHGFFJTDG
| URI | m2://inv/GPHGFFJTDG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#IC3M, perpetuant (definition)
History
- 2026-11-02: add by m2/dev
O'Nan–Scott theorem GPHNY572AB
| URI | m2://inv/GPHNY572AB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia O'Nan–Scott theorem, O'Nan–Scott theorem (statement). Also Wikidata Q17099479
History
- 2026-11-02: add by m2/dev
Vector calculus GPJ190J6SK
| URI | m2://inv/GPJ190J6SK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#Z4XJ, Vector calculus (definition)
History
- 2026-11-02: add by m2/dev
GPJ3SHG1MJ GPJ3SHG1MJ
| URI | m2://inv/GPJ3SHG1MJ |
|---|---|
| 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 2503.08488#IFP2 (statement). In QH5MZXMXQH/e1, proposition 6.11
History
- 2026-10-27: add by m2/v0.3.5
Block 4 GPJ6B7YRCM
| URI | m2://inv/GPJ6B7YRCM |
|---|---|
| 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.30302#G5U0, Block 4 (statement). In R6ABTE22G0/e1, lemma 22
History
- 2026-10-31: add by m2/v0.5.6
Alternative definitions GPJ6PDJ20X
| URI | m2://inv/GPJ6PDJ20X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nondeterministic Turing machine#9V20, Alternative definitions (definition)
History
- 2026-11-02: add by m2/dev
index GPJ7MZ8KM9
| URI | m2://inv/GPJ7MZ8KM9 |
|---|---|
| Kind | definition |
| 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#SDL3, index (definition). In 9ZSNSJRJ5N/e1, definition 20
History
- 2026-10-27: add by m2/v0.4.2
High dynamic range GPJ886E802
| URI | m2://inv/GPJ886E802 |
|---|---|
| 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#9HM9, High dynamic range (unknown)
History
- 2026-11-02: add by m2/dev
GPJ8N6CYJG GPJ8N6CYJG
| URI | m2://inv/GPJ8N6CYJG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.40290#PI1W (statement). In 4K1CNBYJHF/e1, theorem 2.5
History
- 2026-10-30: add by m2/v0.4.12
GPJAP9XMT0 GPJAP9XMT0
| URI | m2://inv/GPJAP9XMT0 |
|---|---|
| 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.39293#EG1J (statement). In S26QVW5613/e1, proposition 2.1.9
History
- 2026-10-30: add by m2/v0.4.12
Arithmetic and geometric Frobenius GPJAW2C0F9
| URI | m2://inv/GPJAW2C0F9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic and geometric Frobenius, Arithmetic and geometric Frobenius (definition). Also Wikidata Q4791119
History
- 2026-11-02: add by m2/dev
GPJBFYZS9K GPJBFYZS9K
| URI | m2://inv/GPJBFYZS9K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.11021#5N5E (statement). In R0SSJZYVTJ/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.3
moiré pattern GPJJMJ6XXK
| URI | m2://inv/GPJJMJ6XXK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q26468, moiré pattern (unknown). Also MathWorld MoirePattern
- wikipedia: Wikipedia Moiré pattern, Moiré pattern (definition). Also Wikidata Q26468
History
- 2026-10-26: add by m2/dev
GPJJX3Q8PG GPJJX3Q8PG
| URI | m2://inv/GPJJX3Q8PG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.07340#2HRD (example). In 2HSB99DW4M/e1, example 5.5
History
- 2026-10-27: add by m2/v0.3.6
George Zweig GPJS0D2B9X
| URI | m2://inv/GPJS0D2B9X |
|---|---|
| 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 Q547674, George Zweig (unknown). Also nLab George Zweig
History
- 2026-10-26: add by m2/dev
Bochner–Riesz mean GPJX5EYDPR
| URI | m2://inv/GPJX5EYDPR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bochner–Riesz mean, Bochner–Riesz mean (definition). Also Wikidata Q4936247
History
- 2026-11-02: add by m2/dev
current algebra GPJXADMCSY
| URI | m2://inv/GPJXADMCSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1454725, current algebra (unknown). Also nLab current algebra
- wikipedia: Wikipedia Current algebra, Current algebra (definition). Also Wikidata Q1454725
History
- 2026-10-26: add by m2/dev
Psychometrics GPK05D6R31
| URI | m2://inv/GPK05D6R31 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Psychometrics, Psychometrics (topic). Also Wikidata Q506132
History
- 2026-11-02: add by m2/dev
GPK667ZTJB GPK667ZTJB
| URI | m2://inv/GPK667ZTJB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02244#BSHA (statement). In 3REM2EXQK7/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
GPK6SDMVYV GPK6SDMVYV
| URI | m2://inv/GPK6SDMVYV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26650#1YSK (statement)
History
- 2026-11-01: add by m2/v0.6.15
GPKA0VK51F GPKA0VK51F
| URI | m2://inv/GPKA0VK51F |
|---|---|
| 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.11395#GFKN (statement). In T3W7SMWQ73/e1, theorem 44
History
- 2026-10-28: add by m2/v0.4.3
Integer triangle GPKTG1CSZP
| URI | m2://inv/GPKTG1CSZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#0VW8, Integer triangle (definition)
- wikipedia: Wikipedia List of triangle topics#AN9L, Integer triangle (definition)
History
- 2026-11-02: add by m2/dev
Max Planck GPKVPRN2R4
| URI | m2://inv/GPKVPRN2R4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#K7AC, Max Planck (unknown)
History
- 2026-11-02: add by m2/dev
GPKWAQE8KG GPKWAQE8KG
| URI | m2://inv/GPKWAQE8KG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02961#TR6Q (statement). In 986DENWM1D/e1, theorem 2.6
History
- 2026-10-29: add by m2/v0.4.12
GPM0MGPT3T GPM0MGPT3T
| URI | m2://inv/GPM0MGPT3T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2610.15434#W9SX (statement). In PWF23QSGDX/e1, corollary 1.2
History
- 2026-10-28: add by m2/v0.4.2
GPM37K1DXJ GPM37K1DXJ
| URI | m2://inv/GPM37K1DXJ |
|---|---|
| Kind | statement |
| 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 2609.38126#MTTM (statement). In QNVKW32G02/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
GPM5GQS9YA GPM5GQS9YA
| URI | m2://inv/GPM5GQS9YA |
|---|---|
| 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 1709.00677#GR4D (statement). In G83TVA8HYR/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.3.5
André Tacquet GPM9Q1WPXX
| URI | m2://inv/GPM9Q1WPXX |
|---|---|
| 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 Q781744, André Tacquet (unknown). Also ProofWiki Mathematician:Andrea_Tacquet
History
- 2026-10-26: add by m2/dev
Andrei Markov GPM9RCG0EX
| URI | m2://inv/GPM9RCG0EX |
|---|---|
| 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 Q2624201, Andrei Markov (unknown). Also nLab Andrey Markov Jr
- wikipedia: Wikipedia Andrey Markov Jr., Andrey Markov Jr. (topic). Also Wikidata Q2624201
History
- 2026-10-26: add by m2/dev
A genuine algebra homomorphism GPMB23HQER
| URI | m2://inv/GPMB23HQER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26984#64MI, A genuine algebra homomorphism (statement)
History
- 2026-11-01: add by m2/v0.6.15
GPMJBYTAFX GPMJBYTAFX
| URI | m2://inv/GPMJBYTAFX |
|---|---|
| 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.18562#57IE (statement). In 793KXAR957/e1, corollary 4.13
History
- 2026-10-28: add by m2/v0.4.2
GPMZKF7QTH GPMZKF7QTH
| URI | m2://inv/GPMZKF7QTH |
|---|---|
| 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.38206#WWXB (definition). In F71MS1F637/e1, definition 2.4
History
- 2026-10-30: add by m2/v0.4.12
Hilbert class field GPN4NMARYJ
| URI | m2://inv/GPN4NMARYJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hilbert class field WWCJ7CR2R3 |
Mentions
- wikidata: Wikidata Q2916820, Hilbert class field (concept). Also MathWorld HilbertClassField
- wikipedia: Wikipedia Hilbert class field, Hilbert class field (topic). Also Wikidata Q2916820
History
- 2026-10-26: add by m2/dev
Sigma Zeta GPN91AZQEQ
| URI | m2://inv/GPN91AZQEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sigma Zeta, Sigma Zeta (definition). Also Wikidata Q7512405
History
- 2026-11-02: add by m2/dev
GPNAESJGRS GPNAESJGRS
| URI | m2://inv/GPNAESJGRS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21866#WGEZ (statement). In Q3NMYW8ANH/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.2
Semisimple decomposition GPNAMW8JXJ
| URI | m2://inv/GPNAMW8JXJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semisimple representation#BG1T, Semisimple decomposition (unknown)
History
- 2026-11-02: add by m2/dev
Cauchy–Schwarz inequality GPNJ70DBEX
| URI | m2://inv/GPNJ70DBEX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#IY31, Cauchy–Schwarz inequality (definition)
History
- 2026-11-02: add by m2/dev
Probabilistic numerics GPNK12ZYDG
| URI | m2://inv/GPNK12ZYDG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probabilistic numerics, Probabilistic numerics (definition). Also Wikidata Q109297617
History
- 2026-11-02: add by m2/dev
Example GPNSMY72N3
| URI | m2://inv/GPNSMY72N3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robinson–Schensted–Knuth correspondence#7YG3, Example (example)
History
- 2026-11-02: add by m2/dev
Algebraic properties GPNZZ6ZW0Z
| URI | m2://inv/GPNZZ6ZW0Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blanuša snarks#I2FR, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
hyperbolic cosine integral GPP2GRNH9K
| URI | m2://inv/GPP2GRNH9K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#T40T, hyperbolic cosine integral (definition)
History
- 2026-11-02: add by m2/dev
Definitions GPP3MWGE5V
| URI | m2://inv/GPP3MWGE5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergence in measure#Y9WT, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Omori's law GPP674RAM0
| URI | m2://inv/GPP674RAM0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aftershock#XAXE, Omori's law (statement)
History
- 2026-11-02: add by m2/dev
GPP6XN75KC GPP6XN75KC
| URI | m2://inv/GPP6XN75KC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20916#8FT5 (statement). In HV598NZW9X/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
GPPCJNS26N GPPCJNS26N
| URI | m2://inv/GPPCJNS26N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24041#SKKW (statement)
History
- 2026-11-02: add by m2/v0.6.17
Applications GPPEREAA9Z
| URI | m2://inv/GPPEREAA9Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Identity-based conditional proxy re-encryption#0AA1, Applications (example)
History
- 2026-11-02: add by m2/dev
GPPQNM5R12 GPPQNM5R12
| URI | m2://inv/GPPQNM5R12 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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.15643#N445 (statement). In 7QFBJCRPW1/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
GPPY3G9HCD GPPY3G9HCD
| URI | m2://inv/GPPY3G9HCD |
|---|---|
| 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 2609.33590#7591 (statement). In WRE0P7V6Z3/e1, lemma B.2
History
- 2026-10-30: add by m2/v0.4.12
Willerton's fish GPQ0X5EMG9
| URI | m2://inv/GPQ0X5EMG9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Willerton's fish, Willerton's fish (definition). Also Wikidata Q25221664
History
- 2026-11-02: add by m2/dev
GPQ2EC5HXT GPQ2EC5HXT
| URI | m2://inv/GPQ2EC5HXT |
|---|---|
| Kind | definition |
| 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 2610.22317#790J (definition). In 2W5Z97BBW4/e1, definition 5.2
History
- 2026-10-27: add by m2/v0.4.0
GPQ39G7G0Q GPQ39G7G0Q
| URI | m2://inv/GPQ39G7G0Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04593#IFB2 (definition). In PEXJPV3NP8/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.3.5
Applications GPQ44J3WS7
| URI | m2://inv/GPQ44J3WS7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Directed acyclic graph#TLCW, Applications (example)
History
- 2026-11-02: add by m2/dev
Laws of astrodynamics GPQ798YXKR
| URI | m2://inv/GPQ798YXKR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbital mechanics#25A0, Laws of astrodynamics (statement)
History
- 2026-11-02: add by m2/dev
Basic properties GPQF136NRM
| URI | m2://inv/GPQF136NRM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Packing coloring#4P2U, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
GPQH1WBTX0 GPQH1WBTX0
| URI | m2://inv/GPQH1WBTX0 |
|---|---|
| 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 1911.06467#H7WQ (statement). In G35G1NJKBX/e1, corollary 6.4
History
- 2026-10-27: add by m2/v0.3.5
GPQJS0GEZ7 GPQJS0GEZ7
| URI | m2://inv/GPQJS0GEZ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08583#1N7P (statement). In 5EKTECQ2P1/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
Spectral-norm boundary separation GPQKVQNQB1
| URI | m2://inv/GPQKVQNQB1 |
|---|---|
| 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.11309#AU84, Spectral-norm boundary separation (statement). In TTEAQA1XXR/e1, proposition C.16
History
- 2026-10-28: add by m2/v0.4.3
GPQNECQCX7 GPQNECQCX7
| URI | m2://inv/GPQNECQCX7 |
|---|---|
| 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#UND4 (statement). In BF0RYHPMS1/e1, proposition 4.6
History
- 2026-10-30: add by m2/v0.4.12
order of operations GPQVT60YKZ
| URI | m2://inv/GPQVT60YKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q845118, order of operations (unknown). Also MathWorld Precedence
- wikipedia: Wikipedia Order of operations, Order of operations (definition). Also Wikidata Q845118
History
- 2026-10-26: add by m2/dev
GPR3G25X8V GPR3G25X8V
| URI | m2://inv/GPR3G25X8V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23202#MHN2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Lusser's law GPRWC45NPM
| URI | m2://inv/GPRWC45NPM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FVMW, Lusser's law (statement)
History
- 2026-11-02: add by m2/dev
Properties GPS2NQB74D
| URI | m2://inv/GPS2NQB74D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square number#54SS, Properties (statement)
History
- 2026-11-02: add by m2/dev
Szegedy, Balázs GPS4PNED9N
| URI | m2://inv/GPS4PNED9N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#S8GT, Szegedy, Balázs (topic)
History
- 2026-11-02: add by m2/dev
First-order theory GPSMPJT4CJ
| URI | m2://inv/GPSMPJT4CJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#XSR4, First-order theory (definition)
History
- 2026-11-02: add by m2/dev
GPST3AJYXE GPST3AJYXE
| URI | m2://inv/GPST3AJYXE |
|---|---|
| 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.10469#5Y6X (statement). In Q39BEKW6D9/e1, theorem 2.14
History
- 2026-10-29: add by m2/v0.4.10
Exponential tilting GPSTX17SEX
| URI | m2://inv/GPSTX17SEX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02531#T6L0, Exponential tilting (statement). In 44EQ0MZE8G/e1, lemma 10.1
History
- 2026-10-29: add by m2/v0.4.12
GPSW98Y7RB GPSW98Y7RB
| URI | m2://inv/GPSW98Y7RB |
|---|---|
| Kind | statement |
| 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#PKL2 (statement). In Z9HC1EDTQP/e1, theorem 4.9
History
- 2026-10-29: add by m2/v0.4.10
GPT0NFAVH8 GPT0NFAVH8
| URI | m2://inv/GPT0NFAVH8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/assignments.tex#prop:satindep (statement). In PKGMM3P5QY, prop, section 19.4
History
- 2026-11-01: add by m2/v0.6.13
Weierstrass–Casorati theorem GPT3AFP01Z
| URI | m2://inv/GPT3AFP01Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#0AH6, Weierstrass–Casorati theorem (statement)
History
- 2026-11-02: add by m2/dev
Example GPTC9FK3HT
| URI | m2://inv/GPTC9FK3HT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact finite difference#9WYC, Example (example)
History
- 2026-11-02: add by m2/dev
Four-square cipher GPTFH0T2J6
| URI | m2://inv/GPTFH0T2J6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Four-square cipher, Four-square cipher (definition). Also Wikidata Q220871
History
- 2026-11-02: add by m2/dev
GPTNHXJ3S4 GPTNHXJ3S4
| URI | m2://inv/GPTNHXJ3S4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1503.05744#D8JS (statement). In 5XKHZKEGAF/e1, proposition 3.8
History
- 2026-10-27: add by m2/v0.3.5
mere proposition GPTQBJ65Y7
| URI | m2://inv/GPTQBJ65Y7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.5/mere-proposition, mere proposition (concept). In N54F33XE07, index, section 9.5
History
- 2026-11-01: add by m2/v0.6.13
GPTTNC6ENY GPTTNC6ENY
| URI | m2://inv/GPTTNC6ENY |
|---|---|
| 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.03337#MJYP (statement). In VH7EZDGTNA/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.12
GPTVVVSVFV GPTVVVSVFV
| URI | m2://inv/GPTVVVSVFV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.10881#V521 (statement). In DC01XRB5YE/e1, theorem 7
History
- 2026-10-28: add by m2/v0.4.3
♯P-completeness of 01-permanent GPV1Z2GXJD
| URI | m2://inv/GPV1Z2GXJD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ♯P-completeness of 01-permanent, ♯P-completeness of 01-permanent (definition). Also Wikidata Q7169283
History
- 2026-11-02: add by m2/dev
Isomorphism of G-sets GPV2PEN44Y
| URI | m2://inv/GPV2PEN44Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the kind of the item is unknown) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group action#VWZ7, Isomorphism of G-sets (unknown)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
GPV3NREWVX GPV3NREWVX
| URI | m2://inv/GPV3NREWVX |
|---|---|
| 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 2610.06541#QYN3 (definition). In R604B78EVK/e1, definition 2.8
History
- 2026-10-29: add by m2/v0.4.10
Fine estimate GPVJA5Y0H7
| URI | m2://inv/GPVJA5Y0H7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05179#XGHE, Fine estimate (statement). In 9EMCPF1F2T/e1, theorem 54
History
- 2026-10-29: add by m2/v0.4.10
Applications GPVJAPE53F
| URI | m2://inv/GPVJAPE53F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knapsack problem#VPJT, Applications (example)
History
- 2026-11-02: add by m2/dev
Examples GPVM22WWPP
| URI | m2://inv/GPVM22WWPP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring class field#8JJR, Examples (example)
History
- 2026-11-02: add by m2/dev
Time-scale calculus GPVVMWD53D
| URI | m2://inv/GPVVMWD53D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#5MWC, Time-scale calculus (definition)
History
- 2026-11-02: add by m2/dev
Examples GPVVTSXNT4
| URI | m2://inv/GPVVTSXNT4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fallacy of the undistributed middle#YMM4, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition GPW082E88A
| URI | m2://inv/GPW082E88A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular prime#U6ZM, Definition (definition)
History
- 2026-11-02: add by m2/dev
GPW9NDNSAQ GPW9NDNSAQ
| URI | m2://inv/GPW9NDNSAQ |
|---|---|
| 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 2312.06581#OUWX (statement). In WXJ2V3HA2R/e1, lemma E.7
History
- 2026-10-27: add by m2/v0.3.5
GPWA6VCJ2H GPWA6VCJ2H
| URI | m2://inv/GPWA6VCJ2H |
|---|---|
| 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-42 (exercise). In E9HS8K3A52, exercise, section 4.3.4
History
- 2026-11-01: add by m2/v0.6.13
Moebius GPWC6XPQCZ
| URI | m2://inv/GPWC6XPQCZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#B1GK, Moebius (unknown)
History
- 2026-11-02: add by m2/dev
GPWME7GKY8 GPWME7GKY8
| URI | m2://inv/GPWME7GKY8 |
|---|---|
| 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.12479#193U (statement). In WE001PR75Z/e1, theorem 29
History
- 2026-10-28: add by m2/v0.4.2
Applications GPWN5Y4A7K
| URI | m2://inv/GPWN5Y4A7K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Link prediction#OWUB, Applications (example)
History
- 2026-11-02: add by m2/dev
Brauer's three main theorems GPWNQWFRB4
| URI | m2://inv/GPWNQWFRB4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4958221, Brauer's three main theorems (statement). Also Wikidata Q4958221
- thousand_plus: thousand_plus Q4958221, Brauer's three main theorems (statement). Also Wikidata Q4958221, Wikipedia Brauer's three main theorems, Wikipedia Brauer's main theorem
- wikipedia: Wikipedia Brauer's three main theorems, Brauer's three main theorems (statement). Also Wikidata Q4958221
History
- 2026-10-26: add by m2/dev
GPWYQ4E8A7 GPWYQ4E8A7
| URI | m2://inv/GPWYQ4E8A7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05193#4902 (definition). In XDMM0KNNZ9/e1, definition 35
History
- 2026-10-29: add by m2/v0.4.10
Käthe Jerosch GPWZX2H2CQ
| URI | m2://inv/GPWZX2H2CQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Hilbert#OZVA, Käthe Jerosch (unknown)
History
- 2026-11-02: add by m2/dev
GPX0D6R794 GPX0D6R794
| URI | m2://inv/GPX0D6R794 |
|---|---|
| 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 2609.33018#5063 (definition). In 8XVS0QJ2AH/e1, definition 58
History
- 2026-10-31: add by m2/v0.5.6
Ordered Trace Manifold GPXCQQM4CQ
| URI | m2://inv/GPXCQQM4CQ |
|---|---|
| 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.26337#EXQ6, Ordered Trace Manifold (definition)
History
- 2026-11-01: add by m2/v0.6.15
GPXDVCT39M GPXDVCT39M
| URI | m2://inv/GPXDVCT39M |
|---|---|
| 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 2011.07352#PPZG (statement). In 3VPC1GGZ3E/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
Indecomposable distribution GPXGDDER8K
| URI | m2://inv/GPXGDDER8K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TMUT, Indecomposable distribution (definition)
- wikipedia: Wikipedia List of probability topics#XVQT, Indecomposable distribution (definition)
History
- 2026-11-02: add by m2/dev
GPY22QNMK9 GPY22QNMK9
| URI | m2://inv/GPY22QNMK9 |
|---|---|
| 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.22557#67N1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
GPY6YHF8DR GPY6YHF8DR
| URI | m2://inv/GPY6YHF8DR |
|---|---|
| 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.13241#30L9 (statement). In DWQWQ5KTEE/e1, proposition
History
- 2026-10-28: add by m2/v0.4.2
GPY862GHG3 GPY862GHG3
| URI | m2://inv/GPY862GHG3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#XXSJ (statement). In BSWNH3NW1M/e1, corollary 9.12
History
- 2026-10-27: add by m2/v0.4.0
Applications GPY9R6GSKB
| URI | m2://inv/GPY9R6GSKB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uncertainty#F14M, Applications (example)
History
- 2026-11-02: add by m2/dev
Greater than zero GPYB732WGF
| URI | m2://inv/GPYB732WGF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sign (mathematics)#GFMM, Greater than zero (unknown)
History
- 2026-11-02: add by m2/dev
Nonequilibrium partition identity GPYC1ZEP53
| URI | m2://inv/GPYC1ZEP53 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonequilibrium partition identity, Nonequilibrium partition identity (statement). Also Wikidata Q17051481
History
- 2026-11-02: add by m2/dev
Ferdinand Rudio GPYC2VH7R6
| URI | m2://inv/GPYC2VH7R6 |
|---|---|
| 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#F9W2, Ferdinand Rudio (topic)
- wikipedia: Wikipedia List of German mathematicians#S8VE, Ferdinand Rudio (topic)
History
- 2026-11-02: add by m2/dev
Local-view/forced-edge normal form GPYD4TMM9E
| URI | m2://inv/GPYD4TMM9E |
|---|---|
| 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.10002#I15A, Local-view/forced-edge normal form (statement). In 5ZYWF6HAXJ/e1, theorem 13
History
- 2026-10-29: add by m2/v0.4.10
kernel GPYMMETJXZ
| URI | m2://inv/GPYMMETJXZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#11Q9, kernel (definition)
History
- 2026-11-02: add by m2/dev
GPYSJ4QXY1 GPYSJ4QXY1
| URI | m2://inv/GPYSJ4QXY1 |
|---|---|
| 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.27911#KRQ4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Conditional propositions GPZ0JK46MV
| URI | m2://inv/GPZ0JK46MV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chrysippus#2COY, Conditional propositions (statement)
History
- 2026-11-02: add by m2/dev
Kutta condition GPZ2THYGKE
| URI | m2://inv/GPZ2THYGKE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kutta condition, Kutta condition (definition). Also Wikidata Q1154278
History
- 2026-11-02: add by m2/dev
GAMA Platform GPZ343PDW9
| URI | m2://inv/GPZ343PDW9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GAMA Platform, GAMA Platform (definition). Also Wikidata Q97367687
History
- 2026-11-02: add by m2/dev
convolution product of periodic functions GPZB74639C
| URI | m2://inv/GPZB74639C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Fourier analysis > convolution product of periodic functions, convolution product of periodic functions (unknown)
History
- 2026-10-26: add by m2/dev
GPZCHFHQ4A GPZCHFHQ4A
| URI | m2://inv/GPZCHFHQ4A |
|---|---|
| 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#6CI8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uses GPZH2XXVRH
| URI | m2://inv/GPZH2XXVRH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lindenbaum's lemma#6IEC, Uses (example)
History
- 2026-11-02: add by m2/dev
\upshape Fujita and Kawarabayashi GPZN0K15KM
| URI | m2://inv/GPZN0K15KM |
|---|---|
| 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 2609.23634#KWMK, \upshape Fujita and Kawarabayashi (conjecture)
History
- 2026-11-02: add by m2/v0.6.17
Markov chain GPZTSFYRZT
| URI | m2://inv/GPZTSFYRZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 60J10 |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Markov chain 033TJBZDG0 |
Mentions
- wikidata: Wikidata Q176645, Markov chain (topic). Also MathWorld MarkovChain, nLab Markov chain
- wikipedia: Wikipedia Markov chain, Markov chain (definition). Also Wikidata Q176645
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
GPZVJN3KX1 GPZVJN3KX1
| URI | m2://inv/GPZVJN3KX1 |
|---|---|
| Kind | example |
| 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.16746#4SEL (example). In M00TA3JJM6/e1, example 1.1
History
- 2026-10-28: add by m2/v0.4.2
GPZX0ZN12Y GPZX0ZN12Y
| URI | m2://inv/GPZX0ZN12Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.16339#OHTT (statement). In ER5EH4W919/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2