Inventory rows 5J
The cards of the rows of the inventory whose ids start with 5J. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Jump-diffusion model 5J09XBDQAG
| URI | m2://inv/5J09XBDQAG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GHF2, Jump-diffusion model (definition)
History
- 2026-11-02: add by m2/dev
DI capacity for DMCs 5J0BXF7G9Z
| URI | m2://inv/5J0BXF7G9Z |
|---|---|
| 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.12413#FFUZ, DI capacity for DMCs (statement). In 6EJ8J60SP8/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
Carol House 5J0FPXJSST
| URI | m2://inv/5J0FPXJSST |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#KY4Z, Carol House (topic)
History
- 2026-11-02: add by m2/dev
5J0HC9QP7Z 5J0HC9QP7Z
| URI | m2://inv/5J0HC9QP7Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26762#NLYH (statement)
History
- 2026-11-01: add by m2/v0.6.15
5J0R114V4Y 5J0R114V4Y
| URI | m2://inv/5J0R114V4Y |
|---|---|
| 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.04844#OWWT (statement). In 5MX3N62ENP/e1, theorem 17
History
- 2026-10-29: add by m2/v0.4.12
5J0YHKNAGT 5J0YHKNAGT
| URI | m2://inv/5J0YHKNAGT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.29574#BGDI (statement)
History
- 2026-11-01: add by m2/v0.6.15
5J103V96QT 5J103V96QT
| URI | m2://inv/5J103V96QT |
|---|---|
| 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 2208.14274#VKK0 (statement). In 2FKE7JPQ76/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
primorial 5J11BPAV06
| URI | m2://inv/5J11BPAV06 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1071077, primorial (definition). Also MathWorld Primorial, OEIS A002110, ProofWiki Definition:Primorial
- wikipedia: Wikipedia Primorial, Primorial (definition). Also Wikidata Q1071077
History
- 2026-10-26: add by m2/dev
Whitney disk 5J155ZD288
| URI | m2://inv/5J155ZD288 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitney disk, Whitney disk (definition). Also Wikidata Q7996764
History
- 2026-11-02: add by m2/dev
pushout 5J167KG957
| URI | m2://inv/5J167KG957 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#6RIB, pushout (definition)
History
- 2026-11-02: add by m2/dev
Statement 5J167WDTKQ
| URI | m2://inv/5J167WDTKQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steinhaus theorem#L9DC, Statement (statement)
History
- 2026-11-02: add by m2/dev
Variants 5J1CFPDTVQ
| URI | m2://inv/5J1CFPDTVQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topologist's sine curve#LW1Q, Variants (statement)
History
- 2026-11-02: add by m2/dev
Variants 5J1J71XP0G
| URI | m2://inv/5J1J71XP0G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shannon switching game#MPGV, Variants (statement)
History
- 2026-11-02: add by m2/dev
5J1PX9KQEE 5J1PX9KQEE
| URI | m2://inv/5J1PX9KQEE |
|---|---|
| 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#ZQ6Y (statement). In NP9X9CAK19/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.10
Gromov's compactness theorem 5J22WDP1RS
| URI | m2://inv/5J22WDP1RS |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 57-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5610190, Gromov's compactness theorem (topology) (statement). Also Wikidata Q5610190
- thousand_plus: thousand_plus Q5610190, Gromov's compactness theorem (statement). Also Wikidata Q5610190, Wikipedia Gromov's compactness theorem (topology)
- wikipedia: Wikipedia Gromov's compactness theorem (topology), Gromov's compactness theorem (statement). Also Wikidata Q5610190
History
- 2026-10-26: add by m2/dev
5J242SB1AM 5J242SB1AM
| URI | m2://inv/5J242SB1AM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/functors.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 37.7
History
- 2026-11-01: add by m2/v0.6.13
Inscribed angle theorems for ellipses, hyperbolas and parabolas 5J24CEWJWJ
| URI | m2://inv/5J24CEWJWJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inscribed angle#XQHO, Inscribed angle theorems for ellipses, hyperbolas and parabolas (statement)
History
- 2026-11-02: add by m2/dev
Procedures 5J28MBW94T
| URI | m2://inv/5J28MBW94T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randomized controlled trial#3C79, Procedures (definition)
History
- 2026-11-02: add by m2/dev
Compactness for approximate differential inclusions 5J29MERGC7
| URI | m2://inv/5J29MERGC7 |
|---|---|
| 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.17127#ANUG, Compactness for approximate differential inclusions (statement). In NZJ5B5KSDQ/e1, theorem 5
History
- 2026-10-28: add by m2/v0.4.2
Friedrich Otto Rudolf Sturm 5J2CZYY2Q9
| URI | m2://inv/5J2CZYY2Q9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedrich Otto Rudolf Sturm, Friedrich Otto Rudolf Sturm (topic). Also Wikidata Q89050
History
- 2026-11-02: add by m2/dev
Mackey–Glass equations 5J2E9X3XC8
| URI | m2://inv/5J2E9X3XC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mackey–Glass equations, Mackey–Glass equations (definition). Also Wikidata Q104847195
History
- 2026-11-02: add by m2/dev
5J2F6ZWVJD 5J2F6ZWVJD
| URI | m2://inv/5J2F6ZWVJD |
|---|---|
| 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.00375#XPIA (statement). In YV6ZXRDHX4/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
5J2J8M78P7 5J2J8M78P7
| URI | m2://inv/5J2J8M78P7 |
|---|---|
| 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.11271#4LP9 (statement). In HF7J38T8Y6/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.3
5J2K02ZGJQ 5J2K02ZGJQ
| URI | m2://inv/5J2K02ZGJQ |
|---|---|
| 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 2609.20718#1QCE (statement)
History
- 2026-11-02: add by m2/v0.6.18
Bregman Divergence 5J2K3PGSJJ
| URI | m2://inv/5J2K3PGSJJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 65-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.38741#FDQA, Bregman Divergence (definition). In 1SQH3PTYMD/e1, definition 5
History
- 2026-10-30: add by m2/v0.4.12
Grundy's game 5J2QW5QN31
| URI | m2://inv/5J2QW5QN31 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3177846, Grundy's game (concept). Also MathWorld GrundysGame
- wikipedia: Wikipedia Grundy's game, Grundy's game (definition). Also Wikidata Q3177846
History
- 2026-10-26: add by m2/dev
Formulations 5J2WVBZ7GV
| URI | m2://inv/5J2WVBZ7GV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear least squares#O6R5, Formulations (definition)
History
- 2026-11-02: add by m2/dev
Sublinear kernel and normalization 5J312NXSYK
| URI | m2://inv/5J312NXSYK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20042#2P26, Sublinear kernel and normalization (statement)
History
- 2026-11-02: add by m2/v0.6.18
Applications 5J3PWRFAM6
| URI | m2://inv/5J3PWRFAM6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli's principle#X7A9, Applications (example)
History
- 2026-11-02: add by m2/dev
Variational projection lemma 5J3RWAJTJZ
| URI | m2://inv/5J3RWAJTJZ |
|---|---|
| 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.15199#AO2H, Variational projection lemma (statement). In EVFTDVP4K4/e1, lemma C.2
History
- 2026-10-28: add by m2/v0.4.2
5J3T7DR1B1 5J3T7DR1B1
| URI | m2://inv/5J3T7DR1B1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.03601#I7IA (statement). In F7TDYCHCSE/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
Right versor 5J3VS3XNQE
| URI | m2://inv/5J3VS3XNQE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit vector#9BV5, Right versor (unknown)
History
- 2026-11-02: add by m2/dev
Morley's trisector theorem 5J48FQW7AB
| URI | m2://inv/5J48FQW7AB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#B8TS, Morley's trisector theorem (statement)
History
- 2026-11-02: add by m2/dev
5J4KHTTXS7 5J4KHTTXS7
| URI | m2://inv/5J4KHTTXS7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.00212#WL0O (statement). In C9GG9C1X65/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
Riesz's lemma 5J4Q159R68
| URI | m2://inv/5J4Q159R68 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#5KK9, Riesz's lemma (statement)
History
- 2026-11-02: add by m2/dev
Domain decomposition method 5J4S7R4CED
| URI | m2://inv/5J4S7R4CED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#U5B7, Domain decomposition method (definition)
History
- 2026-11-02: add by m2/dev
Interacting particle system 5J4XGQK5ZW
| URI | m2://inv/5J4XGQK5ZW |
|---|---|
| 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 math/0003117#R96V, Interacting particle system (definition). In WD2NCBV9F0/e1, definition 2.18
History
- 2026-10-27: add by m2/v0.3.5
Remark 3 5J533F117H
| URI | m2://inv/5J533F117H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dominated convergence theorem#VZ35, Remark 3 (unknown)
History
- 2026-11-02: add by m2/dev
Theorem 5J54JCHN8X
| URI | m2://inv/5J54JCHN8X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Open book decomposition#O5I2, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Great truncated icosidodecahedron 5J58Z0QYVF
| URI | m2://inv/5J58Z0QYVF |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#8RI4, Great truncated icosidodecahedron (object)
History
- 2026-11-02: add by m2/dev
5J5E79141D 5J5E79141D
| URI | m2://inv/5J5E79141D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#example-5 (example). In E59CDZA4DP, example, section 11.1.2
History
- 2026-11-01: add by m2/v0.6.13
5J5HHCHTPG 5J5HHCHTPG
| URI | m2://inv/5J5HHCHTPG |
|---|---|
| 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 1008.4946#442Z (statement). In R4ZM6Q4SHH/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
sample 5J5N5KF6QN
| URI | m2://inv/5J5N5KF6QN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q49906, sample (unknown). Also MathWorld Sample
History
- 2026-10-26: add by m2/dev
Stephen Bigelow 5J5QF0JXJY
| URI | m2://inv/5J5QF0JXJY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephen Bigelow, Stephen Bigelow (topic). Also Wikidata Q21033474
History
- 2026-11-02: add by m2/dev
Closed testing procedure 5J5RHHNYG4
| URI | m2://inv/5J5RHHNYG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed testing procedure, Closed testing procedure (definition). Also Wikidata Q5135359
History
- 2026-11-02: add by m2/dev
Alex F. T. W. Rosenberg 5J5SCDVGFQ
| URI | m2://inv/5J5SCDVGFQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#4B6G, Alex F. T. W. Rosenberg (topic)
History
- 2026-11-02: add by m2/dev
5J60AHJ4G9 5J60AHJ4G9
| URI | m2://inv/5J60AHJ4G9 |
|---|---|
| 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.09086#S8KG (statement). In JPC86V77CH/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.10
5J60DYMBGB 5J60DYMBGB
| URI | m2://inv/5J60DYMBGB |
|---|---|
| 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.16562#L957 (statement). In 7QGPEBC70Y/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
5J614Y0V6A 5J614Y0V6A
| URI | m2://inv/5J614Y0V6A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 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.05320#5Y75 (definition). In MVXZWHKEX8/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Directional Derivatives 5J64N92PY9
| URI | m2://inv/5J64N92PY9 |
|---|---|
| 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.14344#9SCA, Directional Derivatives (definition). In ZVCD8RG1JJ/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.2
Hahn series 5J66Q8MVFS
| URI | m2://inv/5J66Q8MVFS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hahn series YQP8V1KKMW |
Mentions
- wikidata: Wikidata Q5638887, Hahn series (unknown). Also nLab Hahn series
- wikipedia: Wikipedia Hahn series, Hahn series (definition). Also Wikidata Q5638887
History
- 2026-10-26: add by m2/dev
Erhard Weigel 5J69E15XN0
| URI | m2://inv/5J69E15XN0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#3XPR, Erhard Weigel (unknown)
History
- 2026-11-02: add by m2/dev
5J69WKFKAY 5J69WKFKAY
| URI | m2://inv/5J69WKFKAY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#defn-14 (definition). In E59CDZA4DP, defn, section 4.5.1
History
- 2026-11-01: add by m2/v0.6.13
Exact Representation of the Interpolatory Solution 5J6JZC0C1D
| URI | m2://inv/5J6JZC0C1D |
|---|---|
| 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.13222#ERQL, Exact Representation of the Interpolatory Solution (statement). In Z6WA2R0J50/e1, theorem 2.8
History
- 2026-10-28: add by m2/v0.4.2
Number fluctuations and Fourier averages 5J6MJVT8BH
| URI | m2://inv/5J6MJVT8BH |
|---|---|
| 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.28503#IWOJ, Number fluctuations and Fourier averages (statement)
History
- 2026-11-01: add by m2/v0.6.15
Euler sequence 5J6RJVQ4J8
| URI | m2://inv/5J6RJVQ4J8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#I4ZF, Euler sequence (definition)
History
- 2026-11-02: add by m2/dev
5J6TTVMRHA 5J6TTVMRHA
| URI | m2://inv/5J6TTVMRHA |
|---|---|
| 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.39539#FV1L (statement). In GVR218P3ZR/e1, theorem 7.5.1
History
- 2026-10-30: add by m2/v0.4.12
Consistency of Stationary Points/Local Minima under SAA 5J6V3D10CG
| URI | m2://inv/5J6V3D10CG |
|---|---|
| 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.37489#BOAJ, Consistency of Stationary Points/Local Minima under SAA (statement). In 5ZC91T5PHQ/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
5J6YS5PNRF 5J6YS5PNRF
| URI | m2://inv/5J6YS5PNRF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-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 2504.00596#ZQ0O (statement). In F8RC6AENB0/e1, proposition 6.18
History
- 2026-10-27: add by m2/v0.3.5
Callum 5J701DNHVM
| URI | m2://inv/5J701DNHVM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of twin teammates in sports#YNA1, Callum (unknown)
History
- 2026-11-02: add by m2/dev
5J74SY8Z82 5J74SY8Z82
| URI | m2://inv/5J74SY8Z82 |
|---|---|
| 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 2512.19872#8EH8 (statement). In DG9TF5X0EG/e1, theorem 12
History
- 2026-10-27: add by m2/v0.4.0
Properties 5J75M3X430
| URI | m2://inv/5J75M3X430 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hereditary C*-subalgebra#WEZG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Dissected regular icosahedron 5J789J8189
| URI | m2://inv/5J789J8189 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edge-contracted icosahedron#49CZ, Dissected regular icosahedron (unknown)
History
- 2026-11-02: add by m2/dev
5J7B5969MT 5J7B5969MT
| URI | m2://inv/5J7B5969MT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 37-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 2609.31883#4PS5 (statement). In XBHQRTBH62/e1, proposition 1.5
History
- 2026-10-31: add by m2/v0.5.6
Wolfgang Rindler 5J7BTT7T5A
| URI | m2://inv/5J7BTT7T5A |
|---|---|
| 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 Q954665, Wolfgang Rindler (unknown). Also nLab Wolfgang Rindler
History
- 2026-10-26: add by m2/dev
5J7GTDAZM8 5J7GTDAZM8
| URI | m2://inv/5J7GTDAZM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cohomology.tex#definition-4 (definition). In RZP28ERRZV, definition, section 51.8
History
- 2026-11-01: add by m2/v0.6.13
5J7H1MBF8T 5J7H1MBF8T
| URI | m2://inv/5J7H1MBF8T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CompositionsInverses.tex#theorem-6 (statement). In P1C114YBXG, theorem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Definition 5J7NPRSDS9
| URI | m2://inv/5J7NPRSDS9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goodman and Kruskal's gamma#3HVR, Definition (definition)
History
- 2026-11-02: add by m2/dev
5J7NTTJXN5 5J7NTTJXN5
| URI | m2://inv/5J7NTTJXN5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27687#A9YQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
5J7VE36H4Q 5J7VE36H4Q
| URI | m2://inv/5J7VE36H4Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 0808.3741#TE14 (statement). In BBXEQ9QE7K/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Definition 5J8E9PFXE7
| URI | m2://inv/5J8E9PFXE7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime geodesic#DY3I, Definition (definition)
History
- 2026-11-02: add by m2/dev
5J8EWDT7Z5 5J8EWDT7Z5
| URI | m2://inv/5J8EWDT7Z5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-statements.ptx#exercise-9 (exercise). In Y91XFCEVHQ, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
Wilder 5J8G5R03TA
| URI | m2://inv/5J8G5R03TA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#N6KR, Wilder (unknown)
History
- 2026-11-02: add by m2/dev
Summation generator 5J8KTEC3NR
| URI | m2://inv/5J8KTEC3NR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Summation generator, Summation generator (definition). Also Wikidata Q7637219
History
- 2026-11-02: add by m2/dev
Distance comparison 5J8S895SJT
| URI | m2://inv/5J8S895SJT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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.12434#62EK, Distance comparison (statement). In YCRZC9SDCE/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
5J91KR3NEV 5J91KR3NEV
| URI | m2://inv/5J91KR3NEV |
|---|---|
| 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 2504.02065#DCUW (statement). In 60CK7P5F36/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
5J953Z6D0F 5J953Z6D0F
| URI | m2://inv/5J953Z6D0F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#example-11 (example). In RZP28ERRZV, example, section 100.4
History
- 2026-11-01: add by m2/v0.6.13
5J962SGWYN 5J962SGWYN
| URI | m2://inv/5J962SGWYN |
|---|---|
| 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#F0M7 (statement). In P3RTT99C41/e1, theorem 8.2
History
- 2026-10-30: add by m2/v0.4.12
Harry Alpert 5J98XE8651
| URI | m2://inv/5J98XE8651 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#H40H, Harry Alpert (unknown)
History
- 2026-11-02: add by m2/dev
Kuder–Richardson Formula 20 5J992NNB0T
| URI | m2://inv/5J992NNB0T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#MTN8, Kuder–Richardson Formula 20 (statement)
- wikipedia: Wikipedia List of statistics articles#5ORS, Kuder–Richardson Formula 20 (statement)
History
- 2026-11-02: add by m2/dev
hypergeometric series 5J994P762K
| URI | m2://inv/5J994P762K |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 33Cxx |
| Sources | 2 |
| Outcome | open |
| Node | Hypergeometric function 463X5V31D9 |
Mentions
- wikidata: Wikidata Q1434658, hypergeometric series (topic). Also EoM hypergeometric_function, MathWorld HypergeometricSeries
- wikidata: Wikidata Q21028472, hypergeometric function (definition). Also EoM Hypergeometric_function, MathWorld HypergeometricFunction, ProofWiki Definition:Hypergeometric_Function/Gaussian
- wikipedia: Wikipedia Hypergeometric function, Hypergeometric function (definition). Also Wikidata Q21028472
History
- 2026-10-26: add by m2/dev
5J99C828FZ 5J99C828FZ
| URI | m2://inv/5J99C828FZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.24307#MZ46 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Emotional approach coping 5J9AGM5HMF
| URI | m2://inv/5J9AGM5HMF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emotional approach coping, Emotional approach coping (definition). Also Wikidata Q25053942
History
- 2026-11-02: add by m2/dev
Representation formula 5J9CV12Q3D
| URI | m2://inv/5J9CV12Q3D |
|---|---|
| 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.20609#FKZF, Representation formula (statement)
History
- 2026-11-02: add by m2/v0.6.18
Statement 5J9MECJPYY
| URI | m2://inv/5J9MECJPYY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prokhorov's theorem#EKDG, Statement (statement)
History
- 2026-11-02: add by m2/dev
5J9Q3TDSH5 5J9Q3TDSH5
| URI | m2://inv/5J9Q3TDSH5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02935#HUZJ (statement). In WE2KKAMEFW/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
Content validity 5JA46E0WGN
| URI | m2://inv/5JA46E0WGN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#V4QI, Content validity (definition)
History
- 2026-11-02: add by m2/dev
Statement 5JA50KPYTR
| URI | m2://inv/5JA50KPYTR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schneider–Lang theorem#U01S, Statement (statement)
History
- 2026-11-02: add by m2/dev
Luc Anselin 5JAGDYPMQR
| URI | m2://inv/5JAGDYPMQR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luc Anselin, Luc Anselin (topic). Also Wikidata Q6695726
History
- 2026-11-02: add by m2/dev
5JAHXPBVT8 5JAHXPBVT8
| URI | m2://inv/5JAHXPBVT8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 37-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23464#XWJZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
5JB131A4WN 5JB131A4WN
| URI | m2://inv/5JB131A4WN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-2 (exercise). In E59CDZA4DP, exercise, section 9.1.4
History
- 2026-11-01: add by m2/v0.6.13
Applications 5JB2W836V8
| URI | m2://inv/5JB2W836V8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal form (natural deduction)#2YTS, Applications (example)
History
- 2026-11-02: add by m2/dev
5JB3BAW9DF 5JB3BAW9DF
| URI | m2://inv/5JB3BAW9DF |
|---|---|
| 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.19360#9NXG (statement). In MFCW5CY96C/e1, lemma 33
History
- 2026-10-28: add by m2/v0.4.2
5JB46TPG9N 5JB46TPG9N
| URI | m2://inv/5JB46TPG9N |
|---|---|
| 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.30760#19XO (statement). In MMVNRRE7N0/e1, proposition 2.4
History
- 2026-10-31: add by m2/v0.5.6
slope field 5JB8AD3VH1
| URI | m2://inv/5JB8AD3VH1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Slope field 0DQEHHVRBX |
Mentions
- wikidata: Wikidata Q2336508, slope field (unknown). Also MathWorld SlopeField
- wikipedia: Wikipedia Slope field, Slope field (definition). Also Wikidata Q2336508
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Steve Jackson 5JBCT6DZFG
| URI | m2://inv/5JBCT6DZFG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steve Jackson (mathematician), Steve Jackson (topic). Also Wikidata Q7612922
History
- 2026-11-02: add by m2/dev
Quadratic growth 5JBCZ8SZ09
| URI | m2://inv/5JBCZ8SZ09 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14695#L5FS, Quadratic growth (statement). In T15EJSPCNG/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
5JBN9W1SVS 5JBN9W1SVS
| URI | m2://inv/5JBN9W1SVS |
|---|---|
| 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 2610.00843#IIBH (statement). In 1K7M5TD0M2/e1, corollary 6.3
History
- 2026-10-29: add by m2/v0.4.12
5JBP3AMZHX 5JBP3AMZHX
| URI | m2://inv/5JBP3AMZHX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#CQS3 (example). In 9ZSNSJRJ5N/e1, example 7
History
- 2026-10-27: add by m2/v0.4.2
James J. Andrews 5JBRN4EGS8
| URI | m2://inv/5JBRN4EGS8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James J. Andrews (mathematician), James J. Andrews (topic). Also Wikidata Q6136629
History
- 2026-11-02: add by m2/dev
5JBTNR435W 5JBTNR435W
| URI | m2://inv/5JBTNR435W |
|---|---|
| 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.28507#QIGU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Busy beaver 5JBX447FBJ
| URI | m2://inv/5JBX447FBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#DRDL, Busy beaver (definition)
History
- 2026-11-02: add by m2/dev
Formal definition 5JBYPV9AWK
| URI | m2://inv/5JBYPV9AWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute presentation of a group#W1MY, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
State Data Agency 5JC6S9PZGX
| URI | m2://inv/5JC6S9PZGX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia State Data Agency, State Data Agency (definition). Also Wikidata Q12663462
History
- 2026-11-02: add by m2/dev
5JC7NX3VJQ 5JC7NX3VJQ
| URI | m2://inv/5JC7NX3VJQ |
|---|---|
| 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.20466#J8UY (statement). In M4ZVJWM8YA/e1, proposition 5.9
History
- 2026-10-27: add by m2/v0.4.2
Semi-implicit Euler method 5JC9B34FEQ
| URI | m2://inv/5JC9B34FEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-implicit Euler method, Semi-implicit Euler method (definition). Also Wikidata Q5475314
History
- 2026-11-02: add by m2/dev
Alfred Kneschke 5JCKZJA8EG
| URI | m2://inv/5JCKZJA8EG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#T2HU, Alfred Kneschke (topic)
History
- 2026-11-02: add by m2/dev
Definition of a divided power structure 5JCMZMEXZD
| URI | m2://inv/5JCMZMEXZD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divided power structure#49OC, Definition of a divided power structure (definition)
History
- 2026-11-02: add by m2/dev
Statement of theorem 5JD3TGZTH6
| URI | m2://inv/5JD3TGZTH6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum theorem#4BM3, Statement of theorem (statement)
History
- 2026-11-02: add by m2/dev
Angular jerk 5JDKTC17BQ
| URI | m2://inv/5JDKTC17BQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jerk (physics)#CDZY, Angular jerk (unknown)
History
- 2026-11-02: add by m2/dev
5JDQW21ZNC 5JDQW21ZNC
| URI | m2://inv/5JDQW21ZNC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23350#UNBC (statement)
History
- 2026-11-02: add by m2/v0.6.17
5JDWQHTS5P 5JDWQHTS5P
| URI | m2://inv/5JDWQHTS5P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#definition-2 (definition). In RZP28ERRZV, definition, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Theorem (Amplification) 5JE0GY092W
| URI | m2://inv/5JE0GY092W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional disclosure of secrets#MAWH, Theorem (Amplification) (statement)
History
- 2026-11-02: add by m2/dev
IPUMS 5JE3FSF072
| URI | m2://inv/5JE3FSF072 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia IPUMS, IPUMS (definition). Also Wikidata Q5973128
History
- 2026-11-02: add by m2/dev
5JE7RMMDPS 5JE7RMMDPS
| URI | m2://inv/5JE7RMMDPS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_rigorous.ptx#lem_particular (statement). In QKM9DD2H56, lemma, section 9.5.2
History
- 2026-11-01: add by m2/v0.6.13
Simple radical extension 5JE84T210S
| URI | m2://inv/5JE84T210S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#6OQM, Simple radical extension (definition)
History
- 2026-11-02: add by m2/dev
5JEAK7AP06 5JEAK7AP06
| URI | m2://inv/5JEAK7AP06 |
|---|---|
| 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#JJ20 (statement). In 1P8D88DKG5/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
Algorithms 5JEMSXQ23D
| URI | m2://inv/5JEMSXQ23D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph minor#3RKJ, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Adjoint representation 5JEPSVEJNB
| URI | m2://inv/5JEPSVEJNB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#R8HA, Adjoint representation (definition)
History
- 2026-11-02: add by m2/dev
5JEQ1308RK 5JEQ1308RK
| URI | m2://inv/5JEQ1308RK |
|---|---|
| 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 2203.16454#DCLK (statement). In BD8G9W4ZRQ/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
L. E. J. Brouwer 5JER47ZTRQ
| URI | m2://inv/5JER47ZTRQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#CQUV, L. E. J. Brouwer (topic)
History
- 2026-11-02: add by m2/dev
complex analysis in several variables 5JF3DVB4GK
| URI | m2://inv/5JF3DVB4GK |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 32-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114728138, complex analysis in several variables (topic). Also nLab several complex variables
History
- 2026-10-26: add by m2/dev
hormonal 5JF5Y3BJEX
| URI | m2://inv/5JF5Y3BJEX |
|---|---|
| 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#9DR8, hormonal (unknown)
History
- 2026-11-02: add by m2/dev
5JFDAQ5JYN 5JFDAQ5JYN
| URI | m2://inv/5JFDAQ5JYN |
|---|---|
| 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.08052#1HGT (statement). In 672XAVEQ34/e1, proposition 5.13
History
- 2026-10-29: add by m2/v0.4.10
Strong dual space 5JFJGDW79M
| URI | m2://inv/5JFJGDW79M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong dual space, Strong dual space (definition). Also Wikidata Q96406607
History
- 2026-11-02: add by m2/dev
stationary set 5JFK7R60E5
| URI | m2://inv/5JFK7R60E5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#SWZJ, stationary set (definition)
History
- 2026-11-02: add by m2/dev
commutator 5JFNRGS0JR
| URI | m2://inv/5JFNRGS0JR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Commutator of two elements 0PXW0BN7DW |
Mentions
- wikidata: Wikidata Q2989763, commutator (unknown). Also EoM Commutator, MathWorld Commutator
- wikipedia: Wikipedia Commutator, Commutator (definition). Also Wikidata Q2989763
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
CTR DRBG 5JFR0JP38W
| URI | m2://inv/5JFR0JP38W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NIST SP 800-90A#O3SL, CTR DRBG (unknown)
History
- 2026-11-02: add by m2/dev
Graciano Ricalde Gamboa 5JFR5QH6CC
| URI | m2://inv/5JFR5QH6CC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graciano Ricalde Gamboa, Graciano Ricalde Gamboa (topic). Also Wikidata Q5591510
History
- 2026-11-02: add by m2/dev
5JFVZRH6SR 5JFVZRH6SR
| URI | m2://inv/5JFVZRH6SR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#definition-4 (definition). In RZP28ERRZV, definition, section 9.7
History
- 2026-11-01: add by m2/v0.6.13
Dimension inequality 5JFZNC0BMW
| URI | m2://inv/5JFZNC0BMW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Serre's multiplicity conjectures#MO1A, Dimension inequality (statement)
History
- 2026-11-02: add by m2/dev
bimagic cube 5JG00VWB04
| URI | m2://inv/5JG00VWB04 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3006693, bimagic cube (concept). Also MathWorld BimagicCube
History
- 2026-10-26: add by m2/dev
∀ 5JGPFGZY3W
| URI | m2://inv/5JGPFGZY3W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#E64W, ∀ (definition)
History
- 2026-11-02: add by m2/dev
5JGQTJN8WS 5JGQTJN8WS
| URI | m2://inv/5JGQTJN8WS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27872#2T71 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Apparent magnitude 5JGRWGC7X8
| URI | m2://inv/5JGRWGC7X8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apparent magnitude, Apparent magnitude (definition). Also Wikidata Q124313
History
- 2026-11-02: add by m2/dev
5JGV6AQGFN 5JGV6AQGFN
| URI | m2://inv/5JGV6AQGFN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#definition-7 (definition). In RZP28ERRZV, definition, section 100.6
History
- 2026-11-01: add by m2/v0.6.13
5JH6G7GB23 5JH6G7GB23
| URI | m2://inv/5JH6G7GB23 |
|---|---|
| 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.36181#NJH3 (statement). In 1KSE33PVS6/e1, lemma 42
History
- 2026-10-30: add by m2/v0.4.12
5JH98HSJTX 5JH98HSJTX
| URI | m2://inv/5JH98HSJTX |
|---|---|
| Kind | example |
| 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.31269#KGB2 (example). In ZPT9XCCAPQ/e1, example 1.3.4
History
- 2026-10-31: add by m2/v0.5.6
5JH9RRZCTF 5JH9RRZCTF
| URI | m2://inv/5JH9RRZCTF |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.05010#UUHH (statement). In 4SZNPS3Z00/e1, lemma 15
History
- 2026-10-27: add by m2/v0.3.6
Polar hypersurface 5JHDKP1EZ8
| URI | m2://inv/5JHDKP1EZ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar hypersurface, Polar hypersurface (definition). Also Wikidata Q7209085
History
- 2026-11-02: add by m2/dev
Curtis Greene 5JHKMC0RPM
| URI | m2://inv/5JHKMC0RPM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curtis Greene, Curtis Greene (topic). Also Wikidata Q5195748
History
- 2026-11-02: add by m2/dev
Cyclically ordered group 5JHQGPCQPQ
| URI | m2://inv/5JHQGPCQPQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclically ordered group, Cyclically ordered group (definition). Also Wikidata Q5198242
History
- 2026-11-02: add by m2/dev
Outline of vector identities 5JHW54YEFE
| URI | m2://inv/5JHW54YEFE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outline of vector identities, Outline of vector identities (topic). Also Wikidata Q19926999
History
- 2026-11-02: add by m2/dev
5JHYX28G4Y 5JHYX28G4Y
| URI | m2://inv/5JHYX28G4Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15099#A8N1 (definition). In PF5JJ9DS8Q/e1, definition 5.3.6
History
- 2026-10-28: add by m2/v0.4.2
vicious circle principle 5JJ0WX8AP2
| URI | m2://inv/5JJ0WX8AP2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#UFJE, vicious circle principle (definition)
History
- 2026-11-02: add by m2/dev
Michael Barnsley 5JJBDGVTZT
| URI | m2://inv/5JJBDGVTZT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WZ1G, Michael Barnsley (topic)
History
- 2026-11-02: add by m2/dev
Example 5JJE7RKQYG
| URI | m2://inv/5JJE7RKQYG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jordan's lemma#UM9L, Example (example)
History
- 2026-11-02: add by m2/dev
representative shape 5JJJC45SM5
| URI | m2://inv/5JJJC45SM5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39395#78LE, representative shape (definition). In ZDVPJ1XX5Z/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
Convergence on $\On$ 5JJTNZT6GZ
| URI | m2://inv/5JJTNZT6GZ |
|---|---|
| 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.06653#VMIU, Convergence on $\On$ (statement). In 9D2N76AJAT/e1, proposition B.4
History
- 2026-10-29: add by m2/v0.4.10
mathematical logic 5JK3WDPX0A
| URI | m2://inv/5JK3WDPX0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#Y6PF, mathematical logic (definition)
History
- 2026-11-02: add by m2/dev
integrable system 5JK586V142
| URI | m2://inv/5JK586V142 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Integrable system N0N7CMRCMH |
Mentions
- wikidata: Wikidata Q1957758, integrable system (unknown). Also nLab integrable system
- wikipedia: Wikipedia Integrable system, Integrable system (definition). Also Wikidata Q1957758
History
- 2026-10-26: add by m2/dev
5JK8W1N5TP 5JK8W1N5TP
| URI | m2://inv/5JK8W1N5TP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-80 (exercise). In E9HS8K3A52, exercise, section 10.7.3
History
- 2026-11-01: add by m2/v0.6.13
5JK9RBVEFN 5JK9RBVEFN
| URI | m2://inv/5JK9RBVEFN |
|---|---|
| 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.21568#HT2B (statement)
History
- 2026-11-02: add by m2/v0.6.18
5JKADY06R4 5JKADY06R4
| URI | m2://inv/5JKADY06R4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21969#Y9OP (statement)
History
- 2026-11-02: add by m2/v0.6.17
Intersection and period pairings, {\cf 5JKCA3GDFE
| URI | m2://inv/5JKCA3GDFE |
|---|---|
| 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 2311.01874#TN80, Intersection and period pairings, {\cf (statement). In A4TR95VGX2/e1, proposition 6
History
- 2026-10-27: add by m2/v0.3.5
WDLRA 5JKHRFETZQ
| URI | m2://inv/5JKHRFETZQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18419#G6WC, WDLRA (definition). In 7Q26JWKD7E/e1, definition 3
History
- 2026-10-28: add by m2/v0.4.2
Oracle validity 5JKKZ8517A
| URI | m2://inv/5JKKZ8517A |
|---|---|
| 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.30877#G2O7, Oracle validity (statement). In QKNE21ABF3/e1, lemma 4
History
- 2026-10-31: add by m2/v0.5.6
5JKPD5VH6M 5JKPD5VH6M
| URI | m2://inv/5JKPD5VH6M |
|---|---|
| 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 2609.33015#8HAX (definition). In W6Y6NPK648/e1, definition 4.9
History
- 2026-10-27: add by m2/v0.3.5
5JKRTRWY7K 5JKRTRWY7K
| URI | m2://inv/5JKRTRWY7K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21080#ZNGX (definition). In DGE917KQSQ/e1, definition 6.1
History
- 2026-10-27: add by m2/v0.4.2
Representation 5JKVJPTAK1
| URI | m2://inv/5JKVJPTAK1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20106#LU8U, Representation (statement). In 6HMZ36ZBXA/e1, theorem 6.5
History
- 2026-10-27: add by m2/v0.4.2
5JKX644WPZ 5JKX644WPZ
| URI | m2://inv/5JKX644WPZ |
|---|---|
| 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 1509.00950#O48U (statement). In MDZFW5GACV/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.3.5
Proposition 5JM05235SH
| URI | m2://inv/5JM05235SH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael's theorem on paracompact spaces#T6VM, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Sylvester matrix 5JM2NKZK25
| URI | m2://inv/5JM2NKZK25 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after James Joseph Sylvester#FLHJ, Sylvester matrix (definition)
History
- 2026-11-02: add by m2/dev
5JM4SMHTWT 5JM4SMHTWT
| URI | m2://inv/5JM4SMHTWT |
|---|---|
| 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 2210.04075#4678 (statement). In C5DZR0TC5E/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.5
5JMMV740X6 5JMMV740X6
| URI | m2://inv/5JMMV740X6 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-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.17798#5TXY (problem). In 66H5YPQCYV/e1, problem 1.4
History
- 2026-10-28: add by m2/v0.4.2
5JMPZH0E7S 5JMPZH0E7S
| URI | m2://inv/5JMPZH0E7S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03208#SZIN (statement). In A3CMP0TJK2/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Đuro Kurepa 5JMZV30GKB
| URI | m2://inv/5JMZV30GKB |
|---|---|
| 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#2BOO, Đuro Kurepa (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#91AQ, Đuro Kurepa (topic)
History
- 2026-11-02: add by m2/dev
5JN1TZPSW5 5JN1TZPSW5
| URI | m2://inv/5JN1TZPSW5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10262#KKQ2 (definition). In MVSGDTN2PB/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.10
Totally real field 5JN9CNFXDE
| URI | m2://inv/5JN9CNFXDE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#33CG, Totally real field (definition)
History
- 2026-11-02: add by m2/dev
Georg Scheffers 5JN9RKPR8Q
| URI | m2://inv/5JN9RKPR8Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georg Scheffers, Georg Scheffers (topic). Also Wikidata Q121437
History
- 2026-11-02: add by m2/dev
Self-concordant function 5JNHJG4Q5A
| URI | m2://inv/5JNHJG4Q5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#RZ50, Self-concordant function (definition)
History
- 2026-11-02: add by m2/dev
5JNND2YVGF 5JNND2YVGF
| URI | m2://inv/5JNND2YVGF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19194#QZZV (definition). In P9D8W64P7X/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.2
5JNQVPQ1WC 5JNQVPQ1WC
| URI | m2://inv/5JNQVPQ1WC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.35102#T0H4 (statement). In XK6H7F2F13/e1, theorem 4.18
History
- 2026-10-30: add by m2/v0.4.12
Max Planck Institute for Mathematics 5JNW7N9YWH
| URI | m2://inv/5JNW7N9YWH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Max Planck Institute for Mathematics, Max Planck Institute for Mathematics (definition). Also Wikidata Q632667
History
- 2026-11-02: add by m2/dev
pivotal isocubic 5JPC1ZW3EJ
| URI | m2://inv/5JPC1ZW3EJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2001664, pivotal isocubic (unknown). Also MathWorld PivotalIsocubic
History
- 2026-10-26: add by m2/dev
5JPJWP714Z 5JPJWP714Z
| URI | m2://inv/5JPJWP714Z |
|---|---|
| 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.21692#XAKU (statement)
History
- 2026-11-02: add by m2/v0.6.18
5JPK0CC3Y0 5JPK0CC3Y0
| URI | m2://inv/5JPK0CC3Y0 |
|---|---|
| Kind | example |
| 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.13850#HOEB (example). In KJY735KSMF/e1, example 4.3
History
- 2026-10-28: add by m2/v0.4.2
Hahn–Mazurkiewicz theorem 5JPQ4PGGM8
| URI | m2://inv/5JPQ4PGGM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#SK21, Hahn–Mazurkiewicz theorem (definition)
History
- 2026-11-02: add by m2/dev
Formulation 5JPQFGR3JS
| URI | m2://inv/5JPQFGR3JS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balanced flow#OADV, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Uniform exponent of the saturation quotient 5JPW23NMS2
| URI | m2://inv/5JPW23NMS2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22082#P62X, Uniform exponent of the saturation quotient (statement). In 7PACGDW3N7/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.4.0
5JQ24WPMBR 5JQ24WPMBR
| URI | m2://inv/5JQ24WPMBR |
|---|---|
| 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#KEI4 (example). In M00TA3JJM6/e1, example 2.5
History
- 2026-10-28: add by m2/v0.4.2
Larry Guth 5JQVJGNFQW
| URI | m2://inv/5JQVJGNFQW |
|---|---|
| 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#QST3, Larry Guth (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SN9L, Larry Guth (topic)
History
- 2026-11-02: add by m2/dev
Graph counting lemma 5JQXFJC0K9
| URI | m2://inv/5JQXFJC0K9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph removal lemma#XUPE, Graph counting lemma (statement)
History
- 2026-11-02: add by m2/dev
Richard Taylor 5JR42789FD
| URI | m2://inv/5JR42789FD |
|---|---|
| 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 Q712170, Richard Taylor (unknown). Also nLab Richard Taylor
- wikipedia: Wikipedia Richard Taylor (mathematician), Richard Taylor (topic). Also Wikidata Q712170
History
- 2026-10-26: add by m2/dev
Lerche–Newberger sum rule 5JR4MBMHG0
| URI | m2://inv/5JR4MBMHG0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lerche–Newberger sum rule, Lerche–Newberger sum rule (definition). Also Wikidata Q6528762
History
- 2026-11-02: add by m2/dev
5JRAPZMVT4 5JRAPZMVT4
| URI | m2://inv/5JRAPZMVT4 |
|---|---|
| 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.14582#3SMW (statement). In 6XP6PD2XZA/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
5JRARKMCTV 5JRARKMCTV
| URI | m2://inv/5JRARKMCTV |
|---|---|
| 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#P1I7 (statement). In SBZNH932ZV/e1, theorem 4.12
History
- 2026-10-30: add by m2/v0.4.12
Poincar\'e on a cell 5JRHADGPZB
| URI | m2://inv/5JRHADGPZB |
|---|---|
| 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.12088#EB2T, Poincar\'e on a cell (statement). In 5A39XSJ04W/e1, lemma 7.7
History
- 2026-10-28: add by m2/v0.4.3
Examples 5JRNSNMNDY
| URI | m2://inv/5JRNSNMNDY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithmic scale#FEOJ, Examples (example)
History
- 2026-11-02: add by m2/dev
5JRPNN5XQ7 5JRPNN5XQ7
| URI | m2://inv/5JRPNN5XQ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32338#LLPE (statement). In HVY45JQRNK/e1, proposition 2.17
History
- 2026-10-31: add by m2/v0.5.6
5JRQS3YCD3 5JRQS3YCD3
| URI | m2://inv/5JRQS3YCD3 |
|---|---|
| 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.01802#RS7G (definition). In XGPZ0G9E1Q/e1, definition 4.4
History
- 2026-10-29: add by m2/v0.4.12
5JRWP0EGHV 5JRWP0EGHV
| URI | m2://inv/5JRWP0EGHV |
|---|---|
| Kind | example |
| 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.39430#QZN4 (example). In 6FH24CYAMW/e1, example 4.2
History
- 2026-10-30: add by m2/v0.4.12
Zeros are isolated 5JRYDGT63A
| URI | m2://inv/5JRYDGT63A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/holomorphic.tex#sproblem-2, Zeros are isolated (exercise). In RZP28ERRZV, sproblem, section 39.7.2
History
- 2026-11-01: add by m2/v0.6.13
5JRYK6SG7Q 5JRYK6SG7Q
| URI | m2://inv/5JRYK6SG7Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-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.38068#56RK (statement). In 67GE5M1GGD/e1, lemma 7.3
History
- 2026-10-30: add by m2/v0.4.12
Psychologism 5JRZQAYYKS
| URI | m2://inv/5JRZQAYYKS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Psychologism, Psychologism (definition). Also Wikidata Q568393
History
- 2026-11-02: add by m2/dev
The effective gluing of $\K(27,5)$ 5JS04BAMJH
| URI | m2://inv/5JS04BAMJH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22082#YOII, The effective gluing of $\K(27,5)$ (statement). In 7PACGDW3N7/e1, corollary 3.7
History
- 2026-10-27: add by m2/v0.4.0
Sequential Procedure 5JS66VZNZH
| URI | m2://inv/5JS66VZNZH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15824#JXV6, Sequential Procedure (definition). In GDZXR87FJV/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
5JS9VVD9EQ 5JS9VVD9EQ
| URI | m2://inv/5JS9VVD9EQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:fundgpd (example). In N54F33XE07, eg, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Von Neumann's inequality 5JSFEG1DTJ
| URI | m2://inv/5JSFEG1DTJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann's inequality, Von Neumann's inequality (statement). Also Wikidata Q7941493
History
- 2026-11-02: add by m2/dev
5JSK9JN66X 5JSK9JN66X
| URI | m2://inv/5JSK9JN66X |
|---|---|
| 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.21017#ZJ3R (statement). In 8KKYZ4NKT2/e1, theorem 3
History
- 2026-10-27: add by m2/v0.4.2
Boxology 5JSKK2G1GJ
| URI | m2://inv/5JSKK2G1GJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boxology, Boxology (definition). Also Wikidata Q4951990
History
- 2026-11-02: add by m2/dev
5JSP8M1B50 5JSP8M1B50
| URI | m2://inv/5JSP8M1B50 |
|---|---|
| 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.23522#1FFY (statement)
History
- 2026-11-02: add by m2/v0.6.17
Turing computability 5JT3RM0WVM
| URI | m2://inv/5JT3RM0WVM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computability theory#Z2OP, Turing computability (unknown)
History
- 2026-11-02: add by m2/dev
First variation formula 5JT4ZE95NW
| URI | m2://inv/5JT4ZE95NW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17909#UQEB, First variation formula (statement). In YXZX6Z8S6A/e1, proposition 2.13
History
- 2026-10-28: add by m2/v0.4.2
Kirriemuir 5JT6QVHAJD
| URI | m2://inv/5JT6QVHAJD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#9NL5, Kirriemuir (unknown)
History
- 2026-11-02: add by m2/dev
Angle addition and subtraction equation 5JT7JFRBWZ
| URI | m2://inv/5JT7JFRBWZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of trigonometric identities#OTOJ, Angle addition and subtraction equation (unknown)
History
- 2026-11-02: add by m2/dev
CCE is not ordinally invariant 5JT9DG0TSF
| URI | m2://inv/5JT9DG0TSF |
|---|---|
| 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.05428#U06J, CCE is not ordinally invariant (statement). In 31MQPCA8SH/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
5JTBZRCC7V 5JTBZRCC7V
| URI | m2://inv/5JTBZRCC7V |
|---|---|
| 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.21655#344X (statement). In 3Q0387SH7Q/e1, lemma 3
History
- 2026-10-27: add by m2/v0.4.2
5JTD2T6W0W 5JTD2T6W0W
| URI | m2://inv/5JTD2T6W0W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24325#X3JG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Shifted Gompertz distribution 5JTFKDFQDX
| URI | m2://inv/5JTFKDFQDX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#PUJV, Shifted Gompertz distribution (definition)
History
- 2026-11-02: add by m2/dev
5JTH0AFG14 5JTH0AFG14
| URI | m2://inv/5JTH0AFG14 |
|---|---|
| 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.00657#EWD1 (statement). In FF8A8FP4FB/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
Weaire–Phelan structure 5JTK36SK26
| URI | m2://inv/5JTK36SK26 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#F133, Weaire–Phelan structure (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#Z7RY, Weaire–Phelan structure (definition)
History
- 2026-11-02: add by m2/dev
smooth manifold 5JTMCKTGJ6
| URI | m2://inv/5JTMCKTGJ6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78338964, smooth manifold (unknown). Also MathWorld SmoothManifold, nLab smooth manifold
History
- 2026-10-26: add by m2/dev
5JTS7RGA7Q 5JTS7RGA7Q
| URI | m2://inv/5JTS7RGA7Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.33584#YVY5 (statement). In 3HFBAWQCA1/e1, lemma 5.5
History
- 2026-10-30: add by m2/v0.4.12
Bayesian update descends through likelihood rays 5JV40X386J
| URI | m2://inv/5JV40X386J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20207#EJUO, Bayesian update descends through likelihood rays (statement)
History
- 2026-11-02: add by m2/v0.6.18
Thermal diffusivity 5JV96WR6CD
| URI | m2://inv/5JV96WR6CD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermal diffusivity, Thermal diffusivity (definition). Also Wikidata Q3381809
History
- 2026-11-02: add by m2/dev
5JVC61956H 5JVC61956H
| URI | m2://inv/5JVC61956H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2105.03252#3O8D (definition). In 2E47BDDDR4/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
5JVCSKM636 5JVCSKM636
| URI | m2://inv/5JVCSKM636 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27495#6HVG (statement). In 1TZVMC23J9/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
5JVENZ897E 5JVENZ897E
| URI | m2://inv/5JVENZ897E |
|---|---|
| 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.14689#V5IZ (statement). In 6BKMNJYNPJ/e1, corollary 4.9
History
- 2026-10-28: add by m2/v0.4.2
5JVFNNREQG 5JVFNNREQG
| URI | m2://inv/5JVFNNREQG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/functors.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 37.7
History
- 2026-11-01: add by m2/v0.6.13
Rapid mixing of quasifree fermionic Lindbladians 5JVJR9DGKG
| URI | m2://inv/5JVJR9DGKG |
|---|---|
| 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.36016#G0GW, Rapid mixing of quasifree fermionic Lindbladians (statement). In NAM9ZMPHZ9/e1, proposition C.5
History
- 2026-10-30: add by m2/v0.4.12
Weierstrass product theorem 5JVKB1CP3F
| URI | m2://inv/5JVKB1CP3F |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/weierstrass-product-theorem, Weierstrass product theorem (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
Formal definition 5JVS0SAJ69
| URI | m2://inv/5JVS0SAJ69 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Context-sensitive grammar#OAY6, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
5JVS6XJ90X 5JVS6XJ90X
| URI | m2://inv/5JVS6XJ90X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.26417#07S1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Variations 5JVV0DANRB
| URI | m2://inv/5JVV0DANRB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov chain#JA2K, Variations (statement)
History
- 2026-11-02: add by m2/dev
Gaussian process 5JWAYFSYVD
| URI | m2://inv/5JWAYFSYVD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BNYD, Gaussian process (definition)
- wikipedia: Wikipedia List of probability topics#4VF5, Gaussian process (definition)
History
- 2026-11-02: add by m2/dev
5JWJ8EKA7W 5JWJ8EKA7W
| URI | m2://inv/5JWJ8EKA7W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2105.03252#CJ3O (definition). In 2E47BDDDR4/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
5JWMH8SR9F 5JWMH8SR9F
| URI | m2://inv/5JWMH8SR9F |
|---|---|
| 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.18277#S0T9 (statement). In YFRNY7S92A/e1, lemma 6.7
History
- 2026-10-28: add by m2/v0.4.2
5JWNWBFS4K 5JWNWBFS4K
| URI | m2://inv/5JWNWBFS4K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24739#WWH2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 5JWV5X27AA
| URI | m2://inv/5JWV5X27AA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice (order)#M0BU, Examples (example)
History
- 2026-11-02: add by m2/dev
Removal of trajectories with large range 5JWX5J5AF0
| URI | m2://inv/5JWX5J5AF0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39699#N1LX, Removal of trajectories with large range (statement). In 6M4TMC8G6X/e1, lemma 11
History
- 2026-10-30: add by m2/v0.4.12
Score test 5JWZ6BDVAC
| URI | m2://inv/5JWZ6BDVAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Q1V0, Score test (definition)
History
- 2026-11-02: add by m2/dev
Bob Bird 5JX0E7H2X6
| URI | m2://inv/5JX0E7H2X6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#G5IN, Bob Bird (unknown)
History
- 2026-11-02: add by m2/dev
Concentration after resampling 5JX92QB29V
| URI | m2://inv/5JX92QB29V |
|---|---|
| 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.16069#AGAO, Concentration after resampling (statement). In MBJA03ES8N/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
Nancy Potok 5JXPMVVJ7R
| URI | m2://inv/5JXPMVVJ7R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nancy Potok, Nancy Potok (topic). Also Wikidata Q28598007
History
- 2026-11-02: add by m2/dev
Ascoli--Arzel\`a, weakly compact version, cf.\ 5JXQMDDCMD
| URI | m2://inv/5JXQMDDCMD |
|---|---|
| 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.11034#8VKG, Ascoli--Arzel\`a, weakly compact version, cf.\ (statement). In 2KACPY9MMF/e1, proposition A.4
History
- 2026-10-28: add by m2/v0.4.3
Deformed Jacobsthal polynomials 5JXRJVWGG7
| URI | m2://inv/5JXRJVWGG7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04172#4DXQ, Deformed Jacobsthal polynomials (definition). In 9Q1D1NMTTS/e1, definition 5
History
- 2026-10-29: add by m2/v0.4.12
Alexander A. Voronov 5JXRPJ29H2
| URI | m2://inv/5JXRPJ29H2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander A. Voronov, Alexander A. Voronov (topic). Also Wikidata Q102235498
History
- 2026-11-02: add by m2/dev
5JXVX7JS46 5JXVX7JS46
| URI | m2://inv/5JXVX7JS46 |
|---|---|
| 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 2602.03909#VOWF (statement). In WWFAVFGPQQ/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.0
Node 5JY5A8V7RQ
| URI | m2://inv/5JY5A8V7RQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graph theory topics#1KW4, Node (definition)
History
- 2026-11-02: add by m2/dev
5JY6WQQ8PD 5JY6WQQ8PD
| URI | m2://inv/5JY6WQQ8PD |
|---|---|
| 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 2602.03909#Z9QC (statement). In WWFAVFGPQQ/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.4.0
Strongly regular graphs with UAM 5JY81XZNEG
| URI | m2://inv/5JY81XZNEG |
|---|---|
| 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.10017#B17U, Strongly regular graphs with UAM (statement). In CJRBKR4JKT/e1, theorem 7.12
History
- 2026-10-29: add by m2/v0.4.10
5JYBK2SYMS 5JYBK2SYMS
| URI | m2://inv/5JYBK2SYMS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#example-2 (example). In RZP28ERRZV, example, section 98.2
History
- 2026-11-01: add by m2/v0.6.13
Primitive ring 5JYE0E1TAV
| URI | m2://inv/5JYE0E1TAV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#BXE2, Primitive ring (definition)
History
- 2026-11-02: add by m2/dev
Applications 5JYK1JNV5G
| URI | m2://inv/5JYK1JNV5G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy groups of spheres#6WNQ, Applications (example)
History
- 2026-11-02: add by m2/dev
Definition 5JYVYH67H8
| URI | m2://inv/5JYVYH67H8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Specht module#7O78, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples 5JZ9N95G54
| URI | m2://inv/5JZ9N95G54 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dualizing sheaf#UPGW, Examples (example)
History
- 2026-11-02: add by m2/dev
5JZFCZQQYW 5JZFCZQQYW
| URI | m2://inv/5JZFCZQQYW |
|---|---|
| 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.12576#J6W3 (statement). In BVAWVRS3R9/e1, lemma 2.9
History
- 2026-10-28: add by m2/v0.4.2
Xenia de la Ossa 5JZTF3E450
| URI | m2://inv/5JZTF3E450 |
|---|---|
| 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 Q53673448, Xenia de la Ossa (unknown). Also nLab Xenia de la Ossa
History
- 2026-10-26: add by m2/dev