Inventory rows GB
The cards of the rows of the inventory whose ids start with GB. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
David A. Wagner GB0198TDZR
| URI | m2://inv/GB0198TDZR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David A. Wagner, David A. Wagner (topic). Also Wikidata Q93041
History
- 2026-11-02: add by m2/dev
Weierstrass form GB0D4KF624
| URI | m2://inv/GB0D4KF624 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plane cubic curve#IN3S, Weierstrass form (unknown)
History
- 2026-11-02: add by m2/dev
The cycle formula GB0M4GSF30
| URI | m2://inv/GB0M4GSF30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#1PMO, The cycle formula (statement). In 9YAE8FNQST/e1, lemma 31.1
History
- 2026-10-30: add by m2/v0.4.12
Rokhlin's GB0MNAWFQM
| URI | m2://inv/GB0MNAWFQM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#ARPT, Rokhlin's (topic)
History
- 2026-11-02: add by m2/dev
Olech theorem GB0NQTP59J
| URI | m2://inv/GB0NQTP59J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olech theorem, Olech theorem (statement). Also Wikidata Q42417350
History
- 2026-11-02: add by m2/dev
arcus cosecant GB0NZYZG0K
| URI | m2://inv/GB0NZYZG0K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3621817, arcus cosecant (definition). Also MathWorld InverseCosecant, ProofWiki Definition:Inverse_Cosecant
History
- 2026-10-26: add by m2/dev
GB0R9HKPD2 GB0R9HKPD2
| URI | m2://inv/GB0R9HKPD2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.28076#W118 (statement)
History
- 2026-11-01: add by m2/v0.6.15
GB0RA87TA4 GB0RA87TA4
| URI | m2://inv/GB0RA87TA4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-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.04694#LXDY (definition). In W9A0Z2NBMA/e1, definition 5
History
- 2026-10-29: add by m2/v0.4.12
GB0S6ZGS2J GB0S6ZGS2J
| URI | m2://inv/GB0S6ZGS2J |
|---|---|
| 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.11047#HOOU (statement). In MNQAZ70XTH/e1, proposition 7.2
History
- 2026-10-28: add by m2/v0.4.3
Theorem 6.1, page 181, Adapted to the Distributional Case GB0VG15NXX
| URI | m2://inv/GB0VG15NXX |
|---|---|
| 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.22759#38RR, Theorem 6.1, page 181, Adapted to the Distributional Case (statement)
History
- 2026-11-02: add by m2/v0.6.17
GB19SJW803 GB19SJW803
| URI | m2://inv/GB19SJW803 |
|---|---|
| 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.10928#2YXV (statement). In 8M7BFVQYMM/e1, theorem 5.8
History
- 2026-10-28: add by m2/v0.4.3
Enumeration GB1DEFBBGR
| URI | m2://inv/GB1DEFBBGR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract simplicial complex#KC1D, Enumeration (definition)
History
- 2026-11-02: add by m2/dev
GB1EW547EV GB1EW547EV
| URI | m2://inv/GB1EW547EV |
|---|---|
| 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.21935#PT4C (statement). In YDNK7E99JW/e1, lemma 5
History
- 2026-10-27: add by m2/v0.4.2
GB1GPGENBY GB1GPGENBY
| URI | m2://inv/GB1GPGENBY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04000#KVR6 (statement). In CBCCH5VTMQ/e1, corollary 2.7
History
- 2026-10-29: add by m2/v0.4.12
GB1GYX824E GB1GYX824E
| URI | m2://inv/GB1GYX824E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10804#D4YQ (definition). In 6M5WR7KB80/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.3
Magda Peligrad GB1H480Z4A
| URI | m2://inv/GB1H480Z4A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JYWS, Magda Peligrad (topic)
History
- 2026-11-02: add by m2/dev
GB1NQA40GV GB1NQA40GV
| URI | m2://inv/GB1NQA40GV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20077#LEVQ (statement). In W5XRKWDADE/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.2
Lerch's formula GB1T4Q6128
| URI | m2://inv/GB1T4Q6128 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermat quotient#Q71P, Lerch's formula (statement)
History
- 2026-11-02: add by m2/dev
limit GB1VPGS76M
| URI | m2://inv/GB1VPGS76M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#W15I, limit (definition)
History
- 2026-11-02: add by m2/dev
GB21DH1ZF5 GB21DH1ZF5
| URI | m2://inv/GB21DH1ZF5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 54-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20683#D29M (statement)
History
- 2026-11-02: add by m2/v0.6.18
GB224PAJ8T GB224PAJ8T
| URI | m2://inv/GB224PAJ8T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#definition-5 (definition). In RZP28ERRZV, definition, section 100.5
History
- 2026-11-01: add by m2/v0.6.13
Kaprekar's constant GB2882TD1J
| URI | m2://inv/GB2882TD1J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q854503, Kaprekar's constant (unknown). Also MathWorld KaprekarsConstant
History
- 2026-10-26: add by m2/dev
Proper motion GB2F9M0B3A
| URI | m2://inv/GB2F9M0B3A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proper motion, Proper motion (definition). Also Wikidata Q193223
History
- 2026-11-02: add by m2/dev
GB2G8WR87D GB2G8WR87D
| URI | m2://inv/GB2G8WR87D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.02997#OCTY (definition). In KEXVYV0SNS/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
GB2VR1919Y GB2VR1919Y
| URI | m2://inv/GB2VR1919Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16123#ER0D (statement). In 6VR4TY5BGV/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.2
Invariant posterior under an invariant observation GB2ZTBMYTN
| URI | m2://inv/GB2ZTBMYTN |
|---|---|
| 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.01843#85T4, Invariant posterior under an invariant observation (statement). In EDG9ZFDSWK/e1, lemma B.9
History
- 2026-10-29: add by m2/v0.4.12
GB367SS08Y GB367SS08Y
| URI | m2://inv/GB367SS08Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 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.25168#2NCR (definition)
History
- 2026-11-01: add by m2/v0.6.15
GB3850FY1Y GB3850FY1Y
| URI | m2://inv/GB3850FY1Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 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 2609.37520#DYOZ (definition). In BDN507RN7J/e1, definition 2.1.4
History
- 2026-10-30: add by m2/v0.4.12
Weil distributions on algebraic varieties GB3B1EBNBJ
| URI | m2://inv/GB3B1EBNBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#SBRK, Weil distributions on algebraic varieties (definition)
History
- 2026-11-02: add by m2/dev
GB3FJM9M00 GB3FJM9M00
| URI | m2://inv/GB3FJM9M00 |
|---|---|
| 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#71PB (statement). In Z53NCTCEXE/e1, corollary 3.3
History
- 2026-10-27: add by m2/v0.3.5
Surendra Sheodas Barlingay GB3NAN89A3
| URI | m2://inv/GB3NAN89A3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surendra Sheodas Barlingay, Surendra Sheodas Barlingay (topic). Also Wikidata Q7645683
History
- 2026-11-02: add by m2/dev
GB3X4YFTJE GB3X4YFTJE
| URI | m2://inv/GB3X4YFTJE |
|---|---|
| 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.39505#CXKY (statement). In WAXS6FS388/e1, proposition 10.2
History
- 2026-10-30: add by m2/v0.4.12
NumPy GB3YAFDJAD
| URI | m2://inv/GB3YAFDJAD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#EQ4D, NumPy (unknown)
History
- 2026-11-02: add by m2/dev
Example GB42B5P82P
| URI | m2://inv/GB42B5P82P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Participation bias#0YBR, Example (example)
History
- 2026-11-02: add by m2/dev
GB48XSC4FP GB48XSC4FP
| URI | m2://inv/GB48XSC4FP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.05288#AV9S (statement). In RTW3GDYPND/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.4.0
Properties GB4BT5VHW6
| URI | m2://inv/GB4BT5VHW6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trinomial expansion#DUNA, Properties (statement)
History
- 2026-11-02: add by m2/dev
Charles Watkins Merrifield GB4KWHB9TV
| URI | m2://inv/GB4KWHB9TV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Watkins Merrifield, Charles Watkins Merrifield (topic). Also Wikidata Q18670890
History
- 2026-11-02: add by m2/dev
Public Policy Institute of California GB4W2WVE51
| URI | m2://inv/GB4W2WVE51 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#4KAX, Public Policy Institute of California (unknown)
History
- 2026-11-02: add by m2/dev
GB4XHJ7VVT GB4XHJ7VVT
| URI | m2://inv/GB4XHJ7VVT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20558#W588 (example). In 46370P3Y9S/e1, example 3.5
History
- 2026-10-27: add by m2/v0.4.2
GB4YFES716 GB4YFES716
| URI | m2://inv/GB4YFES716 |
|---|---|
| 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.01737#0XUY (statement). In M4JGP708F4/e1, corollary 2.25
History
- 2026-10-29: add by m2/v0.4.12
Proximal Residual GB529SB9F0
| URI | m2://inv/GB529SB9F0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10927#I8MK, Proximal Residual (definition). In DHEJP3YATV/e1, definition 30
History
- 2026-10-28: add by m2/v0.4.3
GB5NF1NNGN GB5NF1NNGN
| URI | m2://inv/GB5NF1NNGN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.40200#TYVP (statement). In VWNB6QJWFN/e1, lemma 5.5
History
- 2026-10-30: add by m2/v0.4.12
electric dipole GB5W8TTR2K
| URI | m2://inv/GB5W8TTR2K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q88587002, electric dipole (definition). Also ProofWiki Definition:Electric_Dipole
History
- 2026-10-26: add by m2/dev
McLaughlin graph GB5ZHJK2YG
| URI | m2://inv/GB5ZHJK2YG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115513, McLaughlin graph (unknown). Also MathWorld McLaughlinGraph
- wikipedia: Wikipedia McLaughlin graph, McLaughlin graph (definition). Also Wikidata Q3115513
History
- 2026-10-26: add by m2/dev
Self dual tiling GB65K80H2Z
| URI | m2://inv/GB65K80H2Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform tiling#7MG5, Self dual tiling (unknown)
History
- 2026-11-02: add by m2/dev
Alfred M. Best GB68C9GF71
| URI | m2://inv/GB68C9GF71 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#641X, Alfred M. Best (unknown)
History
- 2026-11-02: add by m2/dev
GB6MPZRTPG GB6MPZRTPG
| URI | m2://inv/GB6MPZRTPG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-25 (exercise). In E9HS8K3A52, exercise, section 9.2.1
History
- 2026-11-01: add by m2/v0.6.13
Exactness at the root system GB6THB18JH
| URI | m2://inv/GB6THB18JH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#VWOP, Exactness at the root system (statement)
History
- 2026-11-01: add by m2/v0.6.15
Robust chain GB6VA7DMDA
| URI | m2://inv/GB6VA7DMDA |
|---|---|
| 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.12641#JTU1, Robust chain (statement). In X5BYGZZHPF/e1, lemma H.3
History
- 2026-10-28: add by m2/v0.4.2
GB6VH60999 GB6VH60999
| URI | m2://inv/GB6VH60999 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-53 (exercise). In E59CDZA4DP, exercise, section 5.6.1
History
- 2026-11-01: add by m2/v0.6.13
faithful GB6YA7EMZ0
| URI | m2://inv/GB6YA7EMZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#OJR4, faithful (definition)
History
- 2026-11-02: add by m2/dev
Peano existence theorem GB6YYW8TF9
| URI | m2://inv/GB6YYW8TF9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#9IDF, Peano existence theorem (statement)
History
- 2026-11-02: add by m2/dev
GB76VS609J GB76VS609J
| URI | m2://inv/GB76VS609J |
|---|---|
| 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.20422#EHUW (statement). In HCH89W5Y2C/e1, corollary 8
History
- 2026-10-27: add by m2/v0.4.2
affine scheme GB7C3ETNJQ
| URI | m2://inv/GB7C3ETNJQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91435997, affine scheme (definition). Also EoM Affine_scheme, MathWorld AffineScheme, nLab affine scheme, ProofWiki Definition:Affine_Scheme
History
- 2026-10-26: add by m2/dev
Multiclass LDA GB7HTKDD6T
| URI | m2://inv/GB7HTKDD6T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear discriminant analysis#GT8F, Multiclass LDA (unknown)
History
- 2026-11-02: add by m2/dev
GB7JVKYB02 GB7JVKYB02
| URI | m2://inv/GB7JVKYB02 |
|---|---|
| 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.11693#JHKA (statement). In F8QNPNTBTZ/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.3
GB88G0NEPN GB88G0NEPN
| URI | m2://inv/GB88G0NEPN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31352#K27G (definition). In SQZGKRDVBX/e1, definition 2.6
History
- 2026-10-31: add by m2/v0.5.6
GB8CV14682 GB8CV14682
| URI | m2://inv/GB8CV14682 |
|---|---|
| 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 math/9602216#LMWO (definition). In SD43497T8C/e1, definition 1.30
History
- 2026-10-27: add by m2/v0.3.5
Artin--Schreier layers GB8F3517BB
| URI | m2://inv/GB8F3517BB |
|---|---|
| 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.09298#YXYQ, Artin--Schreier layers (statement). In 1SPQ4J3AWY/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
Examples GB8FY4SNXH
| URI | m2://inv/GB8FY4SNXH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heronian triangle#OEAS, Examples (example)
History
- 2026-11-02: add by m2/dev
GB8K23PWQJ GB8K23PWQJ
| URI | m2://inv/GB8K23PWQJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06895#3TFV (statement). In PBB3PSDP0S/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.10
Characterization without a fixed-point hypothesis GB91BJN2WK
| URI | m2://inv/GB91BJN2WK |
|---|---|
| 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.33185#LED5, Characterization without a fixed-point hypothesis (statement). In QX30H2WNA7/e1, theorem 10.3
History
- 2026-10-30: add by m2/v0.4.12
Variants GB92ZE4MFS
| URI | m2://inv/GB92ZE4MFS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knuth–Morris–Pratt algorithm#8Y80, Variants (statement)
History
- 2026-11-02: add by m2/dev
GB93F23THW GB93F23THW
| URI | m2://inv/GB93F23THW |
|---|---|
| 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.27902#I6KL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Skolem normal form GB9MT3TY7N
| URI | m2://inv/GB9MT3TY7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#VPE7, Skolem normal form (definition)
History
- 2026-11-02: add by m2/dev
Dimension dependence under coordinate-wise boundedness GB9T8BBVD2
| URI | m2://inv/GB9T8BBVD2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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.33499#NT21, Dimension dependence under coordinate-wise boundedness (statement). In AAH14S2JJ2/e1, corollary E.3
History
- 2026-10-30: add by m2/v0.4.12
Hilary Ockendon GB9YBBWVGE
| URI | m2://inv/GB9YBBWVGE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilary Ockendon, Hilary Ockendon (topic). Also Wikidata Q63789264
History
- 2026-11-02: add by m2/dev
GB9YJ2CZG5 GB9YJ2CZG5
| URI | m2://inv/GB9YJ2CZG5 |
|---|---|
| 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.32977#0IYR (statement). In 4KT9TK3MG4/e1, theorem C.13
History
- 2026-10-31: add by m2/v0.5.6
slope field GBA0RW02FK
| URI | m2://inv/GBA0RW02FK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/7.2.2/slope-field, slope field (concept). In 907G4C4EJ1, index, section 7.2.2
History
- 2026-11-01: add by m2/v0.6.13
GBA47WF3DQ GBA47WF3DQ
| URI | m2://inv/GBA47WF3DQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-recurrence.ptx#example-5 (example). In Y91XFCEVHQ, example, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
GBA4T74ZYW GBA4T74ZYW
| URI | m2://inv/GBA4T74ZYW |
|---|---|
| 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.01737#FY0L (statement). In M4JGP708F4/e1, lemma 3.21
History
- 2026-10-29: add by m2/v0.4.12
monster vertex algebra GBA7HHW8PQ
| URI | m2://inv/GBA7HHW8PQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6902858, monster vertex algebra (unknown). Also nLab Monster vertex operator algebra
- wikipedia: Wikipedia Monster vertex algebra, Monster vertex algebra (definition). Also Wikidata Q6902858
History
- 2026-10-26: add by m2/dev
Examples GBA8DQM2RB
| URI | m2://inv/GBA8DQM2RB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intrinsic metric#41JM, Examples (example)
History
- 2026-11-02: add by m2/dev
GBA8WES92H GBA8WES92H
| URI | m2://inv/GBA8WES92H |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borsuk's conjecture#SXH0 (problem)
History
- 2026-11-02: add by m2/dev
Magnetic braking GBACQJWD61
| URI | m2://inv/GBACQJWD61 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetic braking (astronomy), Magnetic braking (topic). Also Wikidata Q6731515
History
- 2026-11-02: add by m2/dev
GBAD7863M5 GBAD7863M5
| URI | m2://inv/GBAD7863M5 |
|---|---|
| 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 2409.03423#S5A6 (statement). In 8C5YCMN81V/e1, lemma 11
History
- 2026-10-27: add by m2/v0.3.5
Applications GBAGWXFTZ3
| URI | m2://inv/GBAGWXFTZ3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sponge function#NQJ8, Applications (example)
History
- 2026-11-02: add by m2/dev
GBAK50M40P GBAK50M40P
| URI | m2://inv/GBAK50M40P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21972#6NJ1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Acceptable quality limit GBAWC1K5GY
| URI | m2://inv/GBAWC1K5GY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DEIK, Acceptable quality limit (definition)
History
- 2026-11-02: add by m2/dev
GBB3BYCSGN GBB3BYCSGN
| URI | m2://inv/GBB3BYCSGN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/normalization/permutations.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 59.1
History
- 2026-11-01: add by m2/v0.6.13
Paths of a Given Type GBBAJNWEKC
| URI | m2://inv/GBBAJNWEKC |
|---|---|
| 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.07671#JPR5, Paths of a Given Type (statement). In XHHBGCVG90/e1, lemma 3.1.1
History
- 2026-10-29: add by m2/v0.4.10
GBBE3TGXN7 GBBE3TGXN7
| URI | m2://inv/GBBE3TGXN7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26201#7B3Y (definition)
History
- 2026-11-01: add by m2/v0.6.15
GBBJDM9PGN GBBJDM9PGN
| URI | m2://inv/GBBJDM9PGN |
|---|---|
| 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.24154#5V4C (statement)
History
- 2026-11-02: add by m2/v0.6.17
GBBRVFBJWZ GBBRVFBJWZ
| URI | m2://inv/GBBRVFBJWZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#proof-2 (proof). In E59CDZA4DP, proof, section 11.9.2
History
- 2026-11-01: add by m2/v0.6.13
881 (Number) GBBW2CB1HR
| URI | m2://inv/GBBW2CB1HR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 800 (number)#QOOC, 881 (Number) (unknown)
History
- 2026-11-02: add by m2/dev
GBBZB83EP0 GBBZB83EP0
| URI | m2://inv/GBBZB83EP0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34168#GPFE (statement). In 30YQV8N04M/e1, lemma 12.5
History
- 2026-10-30: add by m2/v0.4.12
GBCSGJ9V4V GBCSGJ9V4V
| URI | m2://inv/GBCSGJ9V4V |
|---|---|
| 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.18740#KSUT (statement). In 82815Z5JR7/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
Ruzsa, Imre Z. GBCY2NBA13
| URI | m2://inv/GBCY2NBA13 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#QM12, Ruzsa, Imre Z. (unknown)
History
- 2026-11-02: add by m2/dev
Dilution assay GBCZB0NSMT
| URI | m2://inv/GBCZB0NSMT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CRUY, Dilution assay (definition)
History
- 2026-11-02: add by m2/dev
Predictive informatics GBD05ZPSYE
| URI | m2://inv/GBD05ZPSYE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Predictive informatics, Predictive informatics (definition). Also Wikidata Q7239669
History
- 2026-11-02: add by m2/dev
Catalan's conjecture GBD06TTNJ5
| URI | m2://inv/GBD06TTNJ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | Catalan's conjecture JH6Y2E1ZCN |
Mentions
- mathlib_1000: mathlib_1000 Q174955, Mihăilescu's theorem (statement). Also Wikidata Q174955
- thousand_plus: thousand_plus Q174955, Mihăilescu's theorem (statement). Also Wikidata Q174955, Wikipedia Mihăilescu's theorem
- wikidata: Wikidata Q174955, Catalan's conjecture (conjecture). Also MathWorld CatalansConjecture
- wikipedia: Wikipedia Catalan's conjecture, Catalan's conjecture (statement). Also Wikidata Q174955
History
- 2026-10-26: add by m2/dev
Leo Koenigsberger GBD6R4PX69
| URI | m2://inv/GBD6R4PX69 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leo Koenigsberger, Leo Koenigsberger (topic). Also Wikidata Q68531
History
- 2026-11-02: add by m2/dev
Wealth process, \etm GBD76KRNDM
| URI | m2://inv/GBD76KRNDM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-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.27765#DG95, Wealth process, \etm (definition)
History
- 2026-11-01: add by m2/v0.6.15
GBD7MMMQZQ GBD7MMMQZQ
| URI | m2://inv/GBD7MMMQZQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/more-proofs-in-K.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 50.6
History
- 2026-11-01: add by m2/v0.6.13
GBD87E1RE0 GBD87E1RE0
| URI | m2://inv/GBD87E1RE0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14450#GART (statement). In ZHTGQT07PE/e1, lemma 2.10
History
- 2026-10-28: add by m2/v0.4.2
GBD89R6J26 GBD89R6J26
| URI | m2://inv/GBD89R6J26 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21931#ZMLI (statement)
History
- 2026-11-02: add by m2/v0.6.17
Dona Strauss GBDHCBMS20
| URI | m2://inv/GBDHCBMS20 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dona Strauss, Dona Strauss (topic). Also Wikidata Q68990899
History
- 2026-11-02: add by m2/dev
GBDHZVRR9M GBDHZVRR9M
| URI | m2://inv/GBDHZVRR9M |
|---|---|
| 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 1804.06366#6VXW (statement). In 89XYDVXG38/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
History of probability GBDRQ0KE4P
| URI | m2://inv/GBDRQ0KE4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of probability, History of probability (definition). Also Wikidata Q3818694
History
- 2026-11-02: add by m2/dev
Markov random field inference GBDWM9E7FB
| URI | m2://inv/GBDWM9E7FB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov random field#JZSI, Markov random field inference (unknown)
History
- 2026-11-02: add by m2/dev
Vanishing additional stress GBDWW5M5JD
| URI | m2://inv/GBDWW5M5JD |
|---|---|
| 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.05312#AJIY, Vanishing additional stress (statement). In 1CMMK399WQ/e1, corollary 3.2
History
- 2026-10-29: add by m2/v0.4.10
GBDYR5TFPN GBDYR5TFPN
| URI | m2://inv/GBDYR5TFPN |
|---|---|
| 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.19300#4LR8 (statement). In S6S4RD5VXJ/e1, lemma 14
History
- 2026-10-28: add by m2/v0.4.2
Definitions GBE16EJRPK
| URI | m2://inv/GBE16EJRPK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind number#2I3M, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Gerhard Hochschild GBE5W6GW3H
| URI | m2://inv/GBE5W6GW3H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#62Z8, Gerhard Hochschild (unknown)
History
- 2026-11-02: add by m2/dev
Shift Weakening GBE622019S
| URI | m2://inv/GBE622019S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#VA7X, Shift Weakening (statement). In CPYWHRTPKC/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.2
Conditional logic GBEAH64QPS
| URI | m2://inv/GBEAH64QPS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional logic, Conditional logic (definition). Also Wikidata Q137638590
History
- 2026-11-02: add by m2/dev
Tres Pinos GBEDTT9GPD
| URI | m2://inv/GBEDTT9GPD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#HRP2, Tres Pinos (unknown)
History
- 2026-11-02: add by m2/dev
GBEJ0WVQFY GBEJ0WVQFY
| URI | m2://inv/GBEJ0WVQFY |
|---|---|
| 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 2108.03672#LHLW (statement). In EZZSZ1F071/e1, lemma 3.20
History
- 2026-10-27: add by m2/v0.4.0
Notation GBF3Y04AG3
| URI | m2://inv/GBF3Y04AG3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modulo#3HQF, Notation (definition)
History
- 2026-11-02: add by m2/dev
Janos Galambos GBF6PKX3GH
| URI | m2://inv/GBF6PKX3GH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#O1UO, Janos Galambos (unknown)
History
- 2026-11-02: add by m2/dev
GBF6RE91D4 GBF6RE91D4
| URI | m2://inv/GBF6RE91D4 |
|---|---|
| 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 2403.15255#EYK3 (statement). In G691MXMYW0/e1, lemma 3.10
History
- 2026-10-27: add by m2/v0.4.0
Simultaneous bridges GBF7272GCR
| URI | m2://inv/GBF7272GCR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36098#IV4D, Simultaneous bridges (statement). In NRP62VNE58/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Theil–Sen estimator GBF7BB8EDP
| URI | m2://inv/GBF7BB8EDP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theil–Sen estimator, Theil–Sen estimator (definition). Also Wikidata Q17086853
History
- 2026-11-02: add by m2/dev
extensional GBFBD9ECC8
| URI | m2://inv/GBFBD9ECC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#IR07, extensional (definition)
History
- 2026-11-02: add by m2/dev
Proof of the theorem GBFFAM6V96
| URI | m2://inv/GBFFAM6V96 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-16, Proof of the theorem (proof). In VNMV985MXX, proof, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
Statement GBFG4GQH46
| URI | m2://inv/GBFG4GQH46 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dilworth's theorem#4YX8, Statement (statement)
History
- 2026-11-02: add by m2/dev
GBFJZJRRFC GBFJZJRRFC
| URI | m2://inv/GBFJZJRRFC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_intro.ptx#ex_recurrence_binary-strings-no-11 (example). In QKM9DD2H56, example, section 9.1.2
History
- 2026-11-01: add by m2/v0.6.13
GBFSYGEVW0 GBFSYGEVW0
| URI | m2://inv/GBFSYGEVW0 |
|---|---|
| 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.01928#JD3X (statement). In BSJRRHKGX0/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.12
George Gibson GBFV7XZCG4
| URI | m2://inv/GBFV7XZCG4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Gibson (mathematician), George Gibson (topic). Also Wikidata Q9267214
History
- 2026-11-02: add by m2/dev
GBFW39N2JS GBFW39N2JS
| URI | m2://inv/GBFW39N2JS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00021#OGDT (statement). In EX42AVA7CV/e1, lemma 7.2
History
- 2026-10-30: add by m2/v0.4.12
Rashevsky–Chow theorem GBG4V6KWAV
| URI | m2://inv/GBG4V6KWAV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#VFQJ, Rashevsky–Chow theorem (unknown)
History
- 2026-11-02: add by m2/dev
Vladimir Drinfeld GBG9HA5ENT
| URI | m2://inv/GBG9HA5ENT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#XJSU, Vladimir Drinfeld (topic)
History
- 2026-11-02: add by m2/dev
Sectorial and bisectorial operators GBGBB2N5TB
| URI | m2://inv/GBGBB2N5TB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26382#0JZ0, Sectorial and bisectorial operators (definition)
History
- 2026-11-01: add by m2/v0.6.15
GBGBFQPSK6 GBGBFQPSK6
| URI | m2://inv/GBGBFQPSK6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22825#TFK7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
GBGQVAP3AQ GBGQVAP3AQ
| URI | m2://inv/GBGQVAP3AQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14434#VI3H (statement). In TW93XZXMHE/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
GBGRJGHREF GBGRJGHREF
| URI | m2://inv/GBGRJGHREF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-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.34845#44OA (statement). In SBZNH932ZV/e1, theorem 5.5
History
- 2026-10-30: add by m2/v0.4.12
William Ouchi GBGRKQ1QCC
| URI | m2://inv/GBGRKQ1QCC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#3T3A, William Ouchi (unknown)
History
- 2026-11-02: add by m2/dev
GBGZ4MAX5X GBGZ4MAX5X
| URI | m2://inv/GBGZ4MAX5X |
|---|---|
| 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.38532#83T5 (statement). In X7YYWCZFTV/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Clifford+$T$ circuits with discardable ancillas GBH1C2N3FA
| URI | m2://inv/GBH1C2N3FA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02166#EF3Z, Clifford+$T$ circuits with discardable ancillas (statement). In R6RF3P6D5A/e1, corollary 1.8
History
- 2026-10-29: add by m2/v0.4.12
GBHBY68WB1 GBHBY68WB1
| URI | m2://inv/GBHBY68WB1 |
|---|---|
| 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.36717#TDQM (statement). In 69FBWG9P3B/e1, corollary 3.12
History
- 2026-10-30: add by m2/v0.4.12
GBHJ18742Z GBHJ18742Z
| URI | m2://inv/GBHJ18742Z |
|---|---|
| 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#DGP9 (statement). In 5RMV7VP13X/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
GBHJ6349JT GBHJ6349JT
| URI | m2://inv/GBHJ6349JT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2608.17785#2W67 (statement). In H3FDP8S1Z7/e1, theorem 5.13
History
- 2026-10-27: add by m2/v0.3.5
Theorem GBHTAVW6CH
| URI | m2://inv/GBHTAVW6CH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data stream clustering#IBJ8, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Dobinski's formula GBHWXX9N2J
| URI | m2://inv/GBHWXX9N2J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partition topics#EWRG, Dobinski's formula (statement)
History
- 2026-11-02: add by m2/dev
Lax–Wendroff theorem GBHYYDHFFS
| URI | m2://inv/GBHYYDHFFS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#56TY, Lax–Wendroff theorem (statement)
History
- 2026-11-02: add by m2/dev
GBJ5G4TEKV GBJ5G4TEKV
| URI | m2://inv/GBJ5G4TEKV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20932#7RWW (statement). In FV78KV64B9/e1, lemma 9.2
History
- 2026-10-27: add by m2/v0.4.2
GBJQC6XXX7 GBJQC6XXX7
| URI | m2://inv/GBJQC6XXX7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07905#GARW (statement). In 88GEN3Z5VG/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
GBK0HDH8P5 GBK0HDH8P5
| URI | m2://inv/GBK0HDH8P5 |
|---|---|
| Kind | problem |
| 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.24065#7603 (problem)
History
- 2026-11-02: add by m2/v0.6.17
GBK5ZJ7M3F GBK5ZJ7M3F
| URI | m2://inv/GBK5ZJ7M3F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06699#VIUF (statement). In GXHKRV5BPY/e1, proposition 5.7
History
- 2026-10-29: add by m2/v0.4.10
in \emph{Grundgesetze} GBK6H73VZX
| URI | m2://inv/GBK6H73VZX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/story/grundgesetze.tex#lem:Fregeextensions, in \emph{Grundgesetze} (statement). In PKGMM3P5QY, lem, section 75.5
History
- 2026-11-01: add by m2/v0.6.13
Counterexample GBK7BC8GVD
| URI | m2://inv/GBK7BC8GVD |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pompeiu problem#QBNV, Counterexample (counterexample)
History
- 2026-11-02: add by m2/dev
D. M. G. Wishart GBK7W03FA4
| URI | m2://inv/GBK7W03FA4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia D. M. G. Wishart, D. M. G. Wishart (topic). Also Wikidata Q102182051
History
- 2026-11-02: add by m2/dev
Candidates for additional laws GBKCAJ0CWP
| URI | m2://inv/GBKCAJ0CWP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton's laws of motion#R80M, Candidates for additional laws (statement)
History
- 2026-11-02: add by m2/dev
GBKTB0J4Q5 GBKTB0J4Q5
| URI | m2://inv/GBKTB0J4Q5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35323#GZQW (statement). In 5CKPXBWSCX/e1, proposition 3.9
History
- 2026-10-30: add by m2/v0.4.12
Ergodic theorem GBM0KJTDTV
| URI | m2://inv/GBM0KJTDTV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete-time Markov chain#2YTS, Ergodic theorem (statement)
History
- 2026-11-02: add by m2/dev
GBM27BG00F GBM27BG00F
| URI | m2://inv/GBM27BG00F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11974#I6RD (statement). In AW6S4XZ9ZZ/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.3
GBM6STK7M1 GBM6STK7M1
| URI | m2://inv/GBM6STK7M1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32816#W8UC (statement). In 10YV2P9E8W/e1, lemma 4.4
History
- 2026-10-31: add by m2/v0.5.6
Bryson of Heraclea GBMBEXDZ38
| URI | m2://inv/GBMBEXDZ38 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bryson of Heraclea, Bryson of Heraclea (topic). Also Wikidata Q995351
History
- 2026-11-02: add by m2/dev
adjoint, equivalence GBMBPWKXXR
| URI | m2://inv/GBMBPWKXXR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.9/adjoint-equivalence, adjoint, equivalence (concept). In N54F33XE07, index, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
Formal definition GBMCYS1EFV
| URI | m2://inv/GBMCYS1EFV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connected relation#KQV6, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
GBME3DDGW7 GBME3DDGW7
| URI | m2://inv/GBME3DDGW7 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/completeness/completeness-K.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 50.16
History
- 2026-11-01: add by m2/v0.6.13
Symmetry GBMFF8FTE2
| URI | m2://inv/GBMFF8FTE2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentagon#6KQ5, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
SCORUS GBMFFJNBHK
| URI | m2://inv/GBMFFJNBHK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GLUW, SCORUS (definition)
History
- 2026-11-02: add by m2/dev
Finite volume GBMQV7TDKD
| URI | m2://inv/GBMQV7TDKD |
|---|---|
| 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.37479#G8LW, Finite volume (statement). In P3RTT99C41/e1, corollary 9.2
History
- 2026-10-30: add by m2/v0.4.12
Central binomial coefficient GBMS73XD0S
| URI | m2://inv/GBMS73XD0S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#03XM, Central binomial coefficient (definition)
History
- 2026-11-02: add by m2/dev
GBMV6VMEFM GBMV6VMEFM
| URI | m2://inv/GBMV6VMEFM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/integrate.tex#definition-4 (definition). In RZP28ERRZV, definition, section 31.3
History
- 2026-11-01: add by m2/v0.6.13
Ecliptic latitude GBMW8PNAKD
| URI | m2://inv/GBMW8PNAKD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ecliptic coordinate system#V2DY, Ecliptic latitude (unknown)
History
- 2026-11-02: add by m2/dev
GBMWEVMY0H GBMWEVMY0H
| URI | m2://inv/GBMWEVMY0H |
|---|---|
| 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 2109.08858#TEYD (statement). In E6795TKR6R/e1, theorem 13
History
- 2026-10-27: add by m2/v0.3.5
Definition GBN2QZVNVP
| URI | m2://inv/GBN2QZVNVP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sine and cosine transforms#JSKH, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bjarni Jónsson GBN2WC53Q6
| URI | m2://inv/GBN2WC53Q6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bjarni Jónsson, Bjarni Jónsson (topic). Also Wikidata Q463307
History
- 2026-11-02: add by m2/dev
GBN5QJM2V1 GBN5QJM2V1
| URI | m2://inv/GBN5QJM2V1 |
|---|---|
| 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.03555#7OIO (statement). In 9JZJTRRVR1/e1, lemma 4.12
History
- 2026-10-29: add by m2/v0.4.12
Successful-subset spectrum GBN6TV6S70
| URI | m2://inv/GBN6TV6S70 |
|---|---|
| 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.09472#OSTW, Successful-subset spectrum (statement). In 35925M9GJW/e1, lemma 10
History
- 2026-10-29: add by m2/v0.4.10
Order-6 dodecahedral honeycomb GBN7WXR7A0
| URI | m2://inv/GBN7WXR7A0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-6 dodecahedral honeycomb, Order-6 dodecahedral honeycomb (definition). Also Wikidata Q14629789
History
- 2026-11-02: add by m2/dev
0,000 000 000 000 001 GBNB7M4BQT
| URI | m2://inv/GBNB7M4BQT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (numbers)#NVV0, 0,000 000 000 000 001 (unknown)
History
- 2026-11-02: add by m2/dev
GBNFJHSG9F GBNFJHSG9F
| URI | m2://inv/GBNFJHSG9F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01324#G1XV (statement). In XKXG49TNXH/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.6
Relation to other conjectures GBNJ3XDGBM
| URI | m2://inv/GBNJ3XDGBM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beal conjecture#G9OX, Relation to other conjectures (statement)
History
- 2026-11-02: add by m2/dev
GBNQ6H7CV4 GBNQ6H7CV4
| URI | m2://inv/GBNQ6H7CV4 |
|---|---|
| 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 2506.16491#72JR (statement). In P9J6P06Y40/e1, lemma 4.26
History
- 2026-10-27: add by m2/v0.3.5
Group analysis of differential equations GBNT2T965F
| URI | m2://inv/GBNT2T965F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group analysis of differential equations, Group analysis of differential equations (definition). Also Wikidata Q113677726
History
- 2026-11-02: add by m2/dev
GBNV8MX8K0 GBNV8MX8K0
| URI | m2://inv/GBNV8MX8K0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.01860#LZES (example). In 8HYS0MFE25/e1, example 3.2
History
- 2026-10-27: add by m2/v0.3.5
Generalizations GBP1WJB5JV
| URI | m2://inv/GBP1WJB5JV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized normal distribution#PH0J, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Theorem statement GBP1Y1QPKW
| URI | m2://inv/GBP1Y1QPKW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skolem–Mahler–Lech theorem#921V, Theorem statement (statement)
History
- 2026-11-02: add by m2/dev
GBPKDYGM8Q GBPKDYGM8Q
| URI | m2://inv/GBPKDYGM8Q |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 01-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06338#SKHJ (example). In F1CYVYK7YB/e1, example 9.8
History
- 2026-10-29: add by m2/v0.4.10
Independent and identically distributed random variables GBPRERWGGH
| URI | m2://inv/GBPRERWGGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#DNAG, Independent and identically distributed random variables (definition)
History
- 2026-11-02: add by m2/dev
GBPTG4N885 GBPTG4N885
| URI | m2://inv/GBPTG4N885 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#defn-1 (definition). In E59CDZA4DP, defn, section 7.1
History
- 2026-11-01: add by m2/v0.6.13
Glossary of symplectic geometry GBPZH9YV3Y
| URI | m2://inv/GBPZH9YV3Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of symplectic geometry, Glossary of symplectic geometry (topic). Also Wikidata Q3237376
History
- 2026-11-02: add by m2/dev
GBQ2KF2WQY GBQ2KF2WQY
| URI | m2://inv/GBQ2KF2WQY |
|---|---|
| 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.11517#UUV7 (statement). In 87NF85QAKT/e1, theorem 5.6
History
- 2026-10-28: add by m2/v0.4.3
GBQ33B1534 GBQ33B1534
| URI | m2://inv/GBQ33B1534 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#EKPL (statement)
History
- 2026-11-01: add by m2/v0.6.15
GBQAMT3A8R GBQAMT3A8R
| URI | m2://inv/GBQAMT3A8R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04527#RZLQ (statement). In Z9ZXAC6TZQ/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.12
contraction GBQCWKSJVH
| URI | m2://inv/GBQCWKSJVH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#B6SA, contraction (definition)
History
- 2026-11-02: add by m2/dev
GBQTWFSPS7 GBQTWFSPS7
| URI | m2://inv/GBQTWFSPS7 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-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.01919#LU7K (problem). In 4H727T2YAS/e1, problem 9.16
History
- 2026-10-29: add by m2/v0.4.12
GBQW9T0JQW GBQW9T0JQW
| URI | m2://inv/GBQW9T0JQW |
|---|---|
| Kind | definition |
| 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 2610.13475#VF6J (definition). In P5SQ4CMX42/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
Symplectic group GBQZE9VQZM
| URI | m2://inv/GBQZE9VQZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#CRL7, Symplectic group (definition)
History
- 2026-11-02: add by m2/dev
Cartan–Dieudonné theorem GBR1EKA8PA
| URI | m2://inv/GBR1EKA8PA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Élie Cartan#T4LT, Cartan–Dieudonné theorem (statement)
History
- 2026-11-02: add by m2/dev
Bugeaud--Haynes--Velani 2011, $p$-adic Gallagher GBR1NCJKVW
| URI | m2://inv/GBR1NCJKVW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15809#DPLK, Bugeaud--Haynes--Velani 2011, $p$-adic Gallagher (statement). In 6GBT11XKAF/e1, theorem 1.8
History
- 2026-10-28: add by m2/v0.4.2
GBR3994992 GBR3994992
| URI | m2://inv/GBR3994992 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#proof-20 (proof). In E59CDZA4DP, proof, section 4.4.2
History
- 2026-11-01: add by m2/v0.6.13
Applications GBREKPWZAC
| URI | m2://inv/GBREKPWZAC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biased random walk on a graph#N6TP, Applications (example)
History
- 2026-11-02: add by m2/dev
GBREZ4XPD7 GBREZ4XPD7
| URI | m2://inv/GBREZ4XPD7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17276#9AS3 (statement). In GG14QF0JKJ/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Tanking GBRFTMGZBN
| URI | m2://inv/GBRFTMGZBN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tanking, Tanking (definition). Also Wikidata Q85805162
History
- 2026-11-02: add by m2/dev
GBRG7F9A0T GBRG7F9A0T
| URI | m2://inv/GBRG7F9A0T |
|---|---|
| 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 2609.33573#06G9 (statement). In ZT1Q1XDQ1W/e1, theorem 2.3
History
- 2026-10-30: add by m2/v0.4.12
GBRH9GQ33R GBRH9GQ33R
| URI | m2://inv/GBRH9GQ33R |
|---|---|
| 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.20119#BB8Q (statement)
History
- 2026-11-02: add by m2/v0.6.18
GBRSDTZRAB GBRSDTZRAB
| URI | m2://inv/GBRSDTZRAB |
|---|---|
| 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 2610.09704#KZ3V (definition). In FNG4B47MRV/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
GBS80AAS9G GBS80AAS9G
| URI | m2://inv/GBS80AAS9G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16203#9NNO (statement). In 43TBS9P2PX/e1, proposition 9.1
History
- 2026-10-28: add by m2/v0.4.2
product type GBSG18HGCW
| URI | m2://inv/GBSG18HGCW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7247800, product type (unknown). Also nLab product type
- wikipedia: Wikipedia Product type, Product type (definition). Also Wikidata Q7247800
History
- 2026-10-26: add by m2/dev
GBSGKP6NYP GBSGKP6NYP
| URI | m2://inv/GBSGKP6NYP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11869#MXYD (statement). In B5GGGWNJA6/e1, lemma 17
History
- 2026-10-28: add by m2/v0.4.3
GBSSMHTTY2 GBSSMHTTY2
| URI | m2://inv/GBSSMHTTY2 |
|---|---|
| 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.32883#7BF1 (definition). In 6MVBVC1VNK/e1, definition 9.1
History
- 2026-10-31: add by m2/v0.5.6
Example GBSSP3EAKB
| URI | m2://inv/GBSSP3EAKB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Short division#FQHL, Example (example)
History
- 2026-11-02: add by m2/dev
Projected unitary encodings GBSX01FDQ9
| URI | m2://inv/GBSX01FDQ9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27103#OS5E, Projected unitary encodings (definition)
History
- 2026-11-01: add by m2/v0.6.15
GBT364BNHY GBT364BNHY
| URI | m2://inv/GBT364BNHY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28011#3874 (definition)
History
- 2026-11-01: add by m2/v0.6.15
GBT39PFR5M GBT39PFR5M
| URI | m2://inv/GBT39PFR5M |
|---|---|
| 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.40274#2WV8 (statement). In 7ZDNJC9MST/e1, corollary 6.2
History
- 2026-10-30: add by m2/v0.4.12
GBTFMCQA4T GBTFMCQA4T
| URI | m2://inv/GBTFMCQA4T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40161#F08P (definition). In P2ZW0PZMEH/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
shortness exponent GBTJBWWVG6
| URI | m2://inv/GBTJBWWVG6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28232438, shortness exponent (concept). Also MathWorld ShortnessExponent
History
- 2026-10-26: add by m2/dev
Lagrange multiplier GBTRATNNV2
| URI | m2://inv/GBTRATNNV2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Lagrange multipliers 0VKKP8X6Q6 |
Mentions
- wikidata: Wikidata Q598870, Lagrange multiplier (unknown). Also MathWorld LagrangeMultiplier, nLab Lagrange multiplier
- wikipedia: Wikipedia Lagrange multiplier, Lagrange multiplier (definition). Also Wikidata Q598870
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Dwight Duffus GBTV8CGMHG
| URI | m2://inv/GBTV8CGMHG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5W2K, Dwight Duffus (unknown)
History
- 2026-11-02: add by m2/dev
GBTXMCWA26 GBTXMCWA26
| URI | m2://inv/GBTXMCWA26 |
|---|---|
| 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.09882#044D (statement). In 7XV6T4N79V/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
Examples GBV3D9F4Q6
| URI | m2://inv/GBV3D9F4Q6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial modelling#QNU2, Examples (example)
History
- 2026-11-02: add by m2/dev
type, inductive-inductive GBV6YJ69AZ
| URI | m2://inv/GBV6YJ69AZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.7/type-inductive-inductive, type, inductive-inductive (concept). In N54F33XE07, index, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
Bayesian vector autoregression GBV8PKG30H
| URI | m2://inv/GBV8PKG30H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian vector autoregression, Bayesian vector autoregression (definition). Also Wikidata Q4874480
History
- 2026-11-02: add by m2/dev
Kemény, János GBVD3T469G
| URI | m2://inv/GBVD3T469G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#49FZ, Kemény, János (unknown)
History
- 2026-11-02: add by m2/dev
Terminology GBVDZ75PPX
| URI | m2://inv/GBVDZ75PPX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hydrograph#JUYA, Terminology (definition)
History
- 2026-11-02: add by m2/dev
GBVEJ1F4CF GBVEJ1F4CF
| URI | m2://inv/GBVEJ1F4CF |
|---|---|
| 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 2412.14956#PHR8 (statement). In T8BQ6HHZYT/e1, proposition 6.26
History
- 2026-10-27: add by m2/v0.3.5
Denjoy-Wolff Theorem GBVPG6Y8C3
| URI | m2://inv/GBVPG6Y8C3 |
|---|---|
| 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.00312#U1HT, Denjoy-Wolff Theorem (statement). In 41NFABHFXH/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
spin correlations to dimers GBVX0R8RF2
| URI | m2://inv/GBVX0R8RF2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29671#9OIE, spin correlations to dimers (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lukacs's proportion-sum independence theorem GBWATET2WY
| URI | m2://inv/GBWATET2WY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6701653, Lukacs's proportion-sum independence theorem (statement). Also Wikidata Q6701653
- thousand_plus: thousand_plus Q6701653, Lukacs's proportion-sum independence theorem (statement). Also Wikidata Q6701653, Wikipedia Lukacs's proportion-sum independence theorem
- wikipedia: Wikipedia Lukacs's proportion-sum independence theorem, Lukacs's proportion-sum independence theorem (statement). Also Wikidata Q6701653
History
- 2026-10-26: add by m2/dev
III GBWT83XD4Y
| URI | m2://inv/GBWT83XD4Y |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-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.20998#O8WA, III (example)
History
- 2026-11-02: add by m2/v0.6.18
Cauchy's theorem (geometry) GBWZXGBFYF
| URI | m2://inv/GBWZXGBFYF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#5X0B, Cauchy's theorem (geometry) (statement)
- wikipedia: Wikipedia List of theorems#RYW2, Cauchy's theorem (statement)
History
- 2026-11-02: add by m2/dev
John Lane Bell GBXB3KWZV6
| URI | m2://inv/GBXB3KWZV6 |
|---|---|
| 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 Q6243948, John Lane Bell (unknown). Also nLab John Lane Bell
- wikipedia: Wikipedia John Lane Bell, John Lane Bell (topic). Also Wikidata Q6243948
History
- 2026-10-26: add by m2/dev
labelled, dimension-bounded GBXC19AFZ0
| URI | m2://inv/GBXC19AFZ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#INF6, labelled, dimension-bounded (statement). In PCAS8S14J6/e1, proposition C.6
History
- 2026-10-31: add by m2/v0.5.6
GBXF76CY6M GBXF76CY6M
| URI | m2://inv/GBXF76CY6M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#SJV2 (statement). In WJD9YPGGYH/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
GBXKHQZA5S GBXKHQZA5S
| URI | m2://inv/GBXKHQZA5S |
|---|---|
| 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 2405.13323#MNEB (statement). In 5KN5GD38KG/e1, theorem 2.7
History
- 2026-10-27: add by m2/v0.3.5
Mobile automaton GBXMB0J2RQ
| URI | m2://inv/GBXMB0J2RQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6887056, Mobile automaton (concept). Also MathWorld MobileAutomaton
History
- 2026-10-26: add by m2/dev
Jan P. Hogendijk GBXMH8BGQ5
| URI | m2://inv/GBXMH8BGQ5 |
|---|---|
| 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#PSHK, Jan P. Hogendijk (topic)
History
- 2026-11-02: add by m2/dev
Norman Margolus GBXPE8W26R
| URI | m2://inv/GBXPE8W26R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#C0SR, Norman Margolus (unknown)
History
- 2026-11-02: add by m2/dev
Example GBXZEZTQ67
| URI | m2://inv/GBXZEZTQ67 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kendall tau distance#9G48, Example (example)
History
- 2026-11-02: add by m2/dev
Examples GBY0E53HGY
| URI | m2://inv/GBY0E53HGY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cramer's rule#FIPF, Examples (example)
History
- 2026-11-02: add by m2/dev
strict initial object GBY6FFQBXF
| URI | m2://inv/GBY6FFQBXF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25098887, strict initial object (unknown). Also nLab strict initial object
- wikipedia: Wikipedia Strict initial object, Strict initial object (definition). Also Wikidata Q25098887
History
- 2026-10-26: add by m2/dev
Learning Markov-like parameters GBY6WEYEJT
| URI | m2://inv/GBY6WEYEJT |
|---|---|
| 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.22338#LU8L, Learning Markov-like parameters (statement)
History
- 2026-11-02: add by m2/v0.6.17
GBY86758CJ GBY86758CJ
| URI | m2://inv/GBY86758CJ |
|---|---|
| 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.03555#7K7X (definition). In 9JZJTRRVR1/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.12
Factorial moment generating function GBYAGTBRAG
| URI | m2://inv/GBYAGTBRAG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5OIW, Factorial moment generating function (definition)
History
- 2026-11-02: add by m2/dev
Center for Child, Family, and Community Partnerships (CCFCP) GBYPCFQJNE
| URI | m2://inv/GBYPCFQJNE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of research centers at Boston College#3NZ9, Center for Child, Family, and Community Partnerships (CCFCP) (unknown)
History
- 2026-11-02: add by m2/dev
Gandhi's formula GBYSNA6H7Y
| URI | m2://inv/GBYSNA6H7Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formula for primes#JDBT, Gandhi's formula (statement)
History
- 2026-11-02: add by m2/dev
GBZ47ZS7SQ GBZ47ZS7SQ
| URI | m2://inv/GBZ47ZS7SQ |
|---|---|
| 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#2KJL (statement). In NP9X9CAK19/e1, proposition 7.5
History
- 2026-10-29: add by m2/v0.4.10
Singular spectrum analysis GBZFM3CR0A
| URI | m2://inv/GBZFM3CR0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FX0U, Singular spectrum analysis (definition)
History
- 2026-11-02: add by m2/dev
GBZSD8MWFQ GBZSD8MWFQ
| URI | m2://inv/GBZSD8MWFQ |
|---|---|
| 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.32207#V6HN (statement). In R94G9XD5AC/e1, lemma 4.2
History
- 2026-10-31: add by m2/v0.5.6
Fokker–Planck equation GBZVWMNNXJ
| URI | m2://inv/GBZVWMNNXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6IX5, Fokker–Planck equation (definition)
- wikipedia: Wikipedia List of partial differential equation topics#TKYZ, Fokker–Planck equation (definition)
History
- 2026-11-02: add by m2/dev
GBZYVVV137 GBZYVVV137
| URI | m2://inv/GBZYVVV137 |
|---|---|
| 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.38838#BD7K (statement). In 3EH8M9GWTX/e1, theorem 4.10
History
- 2026-10-30: add by m2/v0.4.12