Inventory rows ZK
The cards of the rows of the inventory whose ids start with ZK. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Quartic plane curve ZK00SBBBFH
| URI | m2://inv/ZK00SBBBFH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#WCW2, Quartic plane curve (definition)
History
- 2026-11-02: add by m2/dev
Giambattista Magistrini ZK05EPYZ3N
| URI | m2://inv/ZK05EPYZ3N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giambattista Magistrini, Giambattista Magistrini (topic). Also Wikidata Q18945359
History
- 2026-11-02: add by m2/dev
ZK0751WMAV ZK0751WMAV
| URI | m2://inv/ZK0751WMAV |
|---|---|
| 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 2304.02722#JO0V (statement). In AH7D55D3WV/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
A complete two-base Gaussian reference ZK0BCYS11Q
| URI | m2://inv/ZK0BCYS11Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#J16W, A complete two-base Gaussian reference (statement). In 9YAE8FNQST/e1, theorem 5.10
History
- 2026-10-30: add by m2/v0.4.12
Proper linear model ZK0D44MZ1B
| URI | m2://inv/ZK0D44MZ1B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8NBU, Proper linear model (definition)
History
- 2026-11-02: add by m2/dev
ZK0JRQY5DR ZK0JRQY5DR
| URI | m2://inv/ZK0JRQY5DR |
|---|---|
| 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.27788#0BE3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Masamichi Takesaki ZK0KMTKGVA
| URI | m2://inv/ZK0KMTKGVA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#G6Z1, Masamichi Takesaki (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0JSY, Masamichi Takesaki (topic)
History
- 2026-11-02: add by m2/dev
ZK0M3XHX3H ZK0M3XHX3H
| URI | m2://inv/ZK0M3XHX3H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#R1YF (definition). In BDN507RN7J/e1, definition 3.5.9
History
- 2026-10-30: add by m2/v0.4.12
Frobenius coin problem ZK0PHV6RMD
| URI | m2://inv/ZK0PHV6RMD |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#ITKD, Frobenius coin problem (problem)
History
- 2026-11-02: add by m2/dev
Uniform local bounds ZK114N02DJ
| URI | m2://inv/ZK114N02DJ |
|---|---|
| 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.00137#CW7Z, Uniform local bounds (statement). In NKW6YQ04QW/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Complex question fallacy ZK1MM84YSE
| URI | m2://inv/ZK1MM84YSE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex question#17BF, Complex question fallacy (unknown)
History
- 2026-11-02: add by m2/dev
Černý conjecture ZK1MS2N8SX
| URI | m2://inv/ZK1MS2N8SX |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#RA0H, Černý conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
ZK1TJ4F1J5 ZK1TJ4F1J5
| URI | m2://inv/ZK1TJ4F1J5 |
|---|---|
| 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.21934#P32S (statement). In YKD51BX3XB/e1, lemma 9.1
History
- 2026-10-27: add by m2/v0.4.2
Symmetry ZK1TTD45Z4
| URI | m2://inv/ZK1TTD45Z4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#DV8H, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
ZK1VTGM1PN ZK1VTGM1PN
| URI | m2://inv/ZK1VTGM1PN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31689#R1X4 (statement). In Z7M2JSF6HA/e1, corollary 7.6
History
- 2026-10-31: add by m2/v0.5.6
ZK1Z5JEVW1 ZK1Z5JEVW1
| URI | m2://inv/ZK1Z5JEVW1 |
|---|---|
| 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 2505.04063#TES5 (definition). In TFH7T63DX9/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
Time evolution generated by general interactions ZK233HT01S
| URI | m2://inv/ZK233HT01S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12731#VC0X, Time evolution generated by general interactions (definition). In 2NCV1M6WYS/e1, definition 2.7
History
- 2026-10-28: add by m2/v0.4.2
Gyroelongated pentagonal bicupola ZK23DZ28QK
| URI | m2://inv/ZK23DZ28QK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#4DAU, Gyroelongated pentagonal bicupola (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#7BJP, Gyroelongated pentagonal bicupola (definition)
History
- 2026-11-02: add by m2/dev
ZK24WJGKQR ZK24WJGKQR
| URI | m2://inv/ZK24WJGKQR |
|---|---|
| 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.03437#MNLV (statement). In EDTV1EDV7M/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.12
Indirect seasonal adjustment ZK2A3QQYDW
| URI | m2://inv/ZK2A3QQYDW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seasonal adjustment#9T4G, Indirect seasonal adjustment (unknown)
History
- 2026-11-02: add by m2/dev
modulo ZK2DXKG1EH
| URI | m2://inv/ZK2DXKG1EH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#A6CV, modulo (definition)
History
- 2026-11-02: add by m2/dev
Little cubes operad ZK2EAEBKGG
| URI | m2://inv/ZK2EAEBKGG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operad#ATCE, Little cubes operad (unknown)
History
- 2026-11-02: add by m2/dev
ZK2F0E603V ZK2F0E603V
| URI | m2://inv/ZK2F0E603V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_intro-functions.ptx#example-3 (example). In Y91XFCEVHQ, example, section 1.4.1
History
- 2026-11-01: add by m2/v0.6.13
ZK2HAMT4V1 ZK2HAMT4V1
| URI | m2://inv/ZK2HAMT4V1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1707.06795#N5AW (statement). In 32MMSEVHYN/e1, corollary 2.20
History
- 2026-10-27: add by m2/v0.3.5
ZK2MM8M3A5 ZK2MM8M3A5
| URI | m2://inv/ZK2MM8M3A5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36309#LQ5A (statement). In FAJ10EJMYE/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
ZK2QGDNQX8 ZK2QGDNQX8
| URI | m2://inv/ZK2QGDNQX8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23972#ULQC (statement)
History
- 2026-11-02: add by m2/v0.6.17
\cite{{conner88}}, Corollary 18.4 ZK2TD9F9Z7
| URI | m2://inv/ZK2TD9F9Z7 |
|---|---|
| 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.07180#AKYA, \cite{{conner88}}, Corollary 18.4 (statement). In TM4H1RV0BQ/e1, lemma 1.1
History
- 2026-10-27: add by m2/v0.3.5
ZK30SCZYYF ZK30SCZYYF
| URI | m2://inv/ZK30SCZYYF |
|---|---|
| Kind | example |
| 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.26776#YGP6 (example)
History
- 2026-11-01: add by m2/v0.6.15
ZK31DCEJ1H ZK31DCEJ1H
| URI | m2://inv/ZK31DCEJ1H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36421#TLW4 (definition). In E0ZRSZ0YHT/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
ZK38Y0NMF6 ZK38Y0NMF6
| URI | m2://inv/ZK38Y0NMF6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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 2610.13532#RG6H (statement). In 9B0X8YPF3P/e1, theorem 9.7
History
- 2026-10-28: add by m2/v0.4.2
ZK3CRV8J46 ZK3CRV8J46
| URI | m2://inv/ZK3CRV8J46 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09672#SCUG (statement). In TXBXCPP0QH/e1, lemma 19
History
- 2026-10-29: add by m2/v0.4.10
ZK3DRWEJ00 ZK3DRWEJ00
| URI | m2://inv/ZK3DRWEJ00 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14154#UROE (statement). In 8X6PXX2TRA/e1, theorem 8.2
History
- 2026-10-28: add by m2/v0.4.2
ZK3HVTJZX7 ZK3HVTJZX7
| URI | m2://inv/ZK3HVTJZX7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11596#ZNQE (statement). In 76850E2X7T/e1, corollary 3.9
History
- 2026-10-28: add by m2/v0.4.3
ZK3P9XQ4AW ZK3P9XQ4AW
| URI | m2://inv/ZK3P9XQ4AW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.16491#EGZO (statement). In P9J6P06Y40/e1, lemma 4.23
History
- 2026-10-27: add by m2/v0.3.5
ZK3V5H1P3M ZK3V5H1P3M
| URI | m2://inv/ZK3V5H1P3M |
|---|---|
| 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.00292#Z8NY (statement). In NX3EFW0D0X/e1, theorem 4.2
History
- 2026-10-30: add by m2/v0.4.12
ZK44AWM79G ZK44AWM79G
| URI | m2://inv/ZK44AWM79G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21533#WKE6 (statement). In N3Z6JFEPCF/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.4.2
ZK462N9WQA ZK462N9WQA
| URI | m2://inv/ZK462N9WQA |
|---|---|
| Kind | definition |
| 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.29759#GHLL (definition)
History
- 2026-11-01: add by m2/v0.6.15
Main theorem ZK4B06E8R0
| URI | m2://inv/ZK4B06E8R0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24320#V1VN, Main theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bloch's formula ZK4FTHSBKC
| URI | m2://inv/ZK4FTHSBKC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bloch's formula, Bloch's formula (statement). Also Wikidata Q16843249
History
- 2026-11-02: add by m2/dev
ZK4GAZZNFH ZK4GAZZNFH
| URI | m2://inv/ZK4GAZZNFH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#IFPB (definition). In G70Q2FB591/e1, definition 2.20
History
- 2026-10-28: add by m2/v0.4.2
Hermite-Sobolev embeddings ZK4P5HYMMV
| URI | m2://inv/ZK4P5HYMMV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05391#9AI1, Hermite-Sobolev embeddings (statement). In 9B5TNEBJHV/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
Binomial proportion confidence interval ZK4SPH6XQQ
| URI | m2://inv/ZK4SPH6XQQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#6L0I, Binomial proportion confidence interval (definition)
- wikipedia: Wikipedia List of statistics articles#KCRF, Binomial proportion confidence interval (definition)
- wikipedia: Wikipedia List of factorial and binomial topics#WX3X, Binomial proportion confidence interval (definition)
History
- 2026-11-02: add by m2/dev
Ross–Littlewood paradox ZK511JEG7N
| URI | m2://inv/ZK511JEG7N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ross–Littlewood paradox, Ross–Littlewood paradox (statement). Also Wikidata Q7369949
History
- 2026-11-02: add by m2/dev
Definition ZK5KGJBHT2
| URI | m2://inv/ZK5KGJBHT2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matérn covariance function#L6ED, Definition (definition)
History
- 2026-11-02: add by m2/dev
Floral formula ZK5KHRV27F
| URI | m2://inv/ZK5KHRV27F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Floral formula, Floral formula (statement). Also Wikidata Q1930761
History
- 2026-11-02: add by m2/dev
ZK5KQ9PW9Y ZK5KQ9PW9Y
| URI | m2://inv/ZK5KQ9PW9Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-2-3-1.xml#act-2-3-1 (exercise). In 907G4C4EJ1, activity, section 2.3.2
History
- 2026-11-01: add by m2/v0.6.13
elementary row operations ZK63DTX3QY
| URI | m2://inv/ZK63DTX3QY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Elementary row operations 04XWH28452 |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Matrices > elementary row operations, elementary row operations (unknown)
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
ZK65F3D51V ZK65F3D51V
| URI | m2://inv/ZK65F3D51V |
|---|---|
| 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 0910.4613#HXCI (statement). In SYPZ9055PN/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
ZK6AJWVESZ ZK6AJWVESZ
| URI | m2://inv/ZK6AJWVESZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.26479#WU5H (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZK6AQ3AG2Y ZK6AQ3AG2Y
| URI | m2://inv/ZK6AQ3AG2Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#QK73 (statement). In 5KR3MHYVV6/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
ZK6G3VFV5E ZK6G3VFV5E
| URI | m2://inv/ZK6G3VFV5E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#prop:mssubseq (statement). In E59CDZA4DP, prop, section 4.3.1
History
- 2026-11-01: add by m2/v0.6.13
ZK6GGFNF16 ZK6GGFNF16
| URI | m2://inv/ZK6GGFNF16 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34570#A267 (statement). In EVFX1R7ZDD/e1, lemma 8
History
- 2026-10-30: add by m2/v0.4.12
Theorem on friends and strangers ZK6MSVNVKK
| URI | m2://inv/ZK6MSVNVKK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#RWN9, Theorem on friends and strangers (statement)
History
- 2026-11-02: add by m2/dev
Generalizations ZK716647W5
| URI | m2://inv/ZK716647W5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartesian coordinate system#8086, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
A uniform noise multiplier ZK74F076J5
| URI | m2://inv/ZK74F076J5 |
|---|---|
| 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.15202#5ZVM, A uniform noise multiplier (statement). In X1FPG0KYBM/e1, corollary P.2
History
- 2026-10-28: add by m2/v0.4.2
ZK75Y87MMB ZK75Y87MMB
| URI | m2://inv/ZK75Y87MMB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#C0U3 (statement). In REDG6QVHM3/e1, lemma 8.6
History
- 2026-10-29: add by m2/v0.4.12
Israel Gelfand ZK797WEHAC
| URI | m2://inv/ZK797WEHAC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#LN1P, Israel Gelfand (topic)
History
- 2026-11-02: add by m2/dev
ZK7C678GG0 ZK7C678GG0
| URI | m2://inv/ZK7C678GG0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35597#W2QE (statement). In K424GCJ50P/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
ZK7Y4WXEVY ZK7Y4WXEVY
| URI | m2://inv/ZK7Y4WXEVY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-213 (exercise). In VNMV985MXX, exercise, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
ZK88ZQWB1T ZK88ZQWB1T
| URI | m2://inv/ZK88ZQWB1T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.10080#UQI4 (definition). In KM2FWKP93A/e1, definition 2.9
History
- 2026-10-27: add by m2/v0.4.0
ZK8BKN270C ZK8BKN270C
| URI | m2://inv/ZK8BKN270C |
|---|---|
| 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.40282#TIFQ (statement). In P86RWY99S2/e1, theorem A
History
- 2026-10-30: add by m2/v0.4.12
First variation ZK8CA6Y9GH
| URI | m2://inv/ZK8CA6Y9GH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First variation, First variation (definition). Also Wikidata Q1362077
History
- 2026-11-02: add by m2/dev
ZK8JTK2B1K ZK8JTK2B1K
| URI | m2://inv/ZK8JTK2B1K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16541#LYJL (statement). In D0XH7W96T3/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.2
Epidemiology ZK8N4VCXP4
| URI | m2://inv/ZK8N4VCXP4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#R4A5, Epidemiology (definition)
History
- 2026-11-02: add by m2/dev
Main theorem II ZK8PB49EXK
| URI | m2://inv/ZK8PB49EXK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19787#IHZF, Main theorem II (statement). In A4VP56CT7B/e1, theorem 7.7
History
- 2026-10-28: add by m2/v0.4.2
Bertram Kostant ZK8V7FDHEZ
| URI | m2://inv/ZK8V7FDHEZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#TQNX, Bertram Kostant (topic)
History
- 2026-11-02: add by m2/dev
ZK8VEQ08NX ZK8VEQ08NX
| URI | m2://inv/ZK8VEQ08NX |
|---|---|
| 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.22268#9JZQ (statement). In 9ZD87293QS/e1, corollary 4.1
History
- 2026-10-27: add by m2/v0.4.0
Hamiltonian ZK967BZMWH
| URI | m2://inv/ZK967BZMWH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of symplectic geometry#J70G, Hamiltonian (definition)
History
- 2026-11-02: add by m2/dev
Richard James Duffin ZK99DWS810
| URI | m2://inv/ZK99DWS810 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6N1J, Richard James Duffin (unknown)
History
- 2026-11-02: add by m2/dev
The complementary cap ZK9B5NQ9ZV
| URI | m2://inv/ZK9B5NQ9ZV |
|---|---|
| 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#FULP, The complementary cap (statement). In 6XP6PD2XZA/e1, lemma 4.8
History
- 2026-10-28: add by m2/v0.4.2
Hamiltonian matrix ZK9EM6EB6C
| URI | m2://inv/ZK9EM6EB6C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#PGC2, Hamiltonian matrix (definition)
History
- 2026-11-02: add by m2/dev
ZK9EYJ7CXA ZK9EYJ7CXA
| URI | m2://inv/ZK9EYJ7CXA |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#proof-20 (proof). In N54F33XE07, proof, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Laplace transform of solutions ZK9FNCXY4N
| URI | m2://inv/ZK9FNCXY4N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24297#J8RD, Laplace transform of solutions (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZK9GXNH6BX ZK9GXNH6BX
| URI | m2://inv/ZK9GXNH6BX |
|---|---|
| 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.20126#UWLN (statement). In KVXDWX9B11/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.4.2
general topology ZK9H6VV6NW
| URI | m2://inv/ZK9H6VV6NW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q621550, general topology (topic). Also EoM General_topology, MathWorld Point-SetTopology, nLab general topology
- wikipedia: Wikipedia General topology, General topology (topic). Also Wikidata Q621550
History
- 2026-10-26: add by m2/dev
Winding numbers and Poincaré lemma ZKA011FPMT
| URI | m2://inv/ZKA011FPMT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus on Euclidean space#651S, Winding numbers and Poincaré lemma (statement)
History
- 2026-11-02: add by m2/dev
Moti Gitik ZKA0JGYAC6
| URI | m2://inv/ZKA0JGYAC6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#2DXK, Moti Gitik (topic)
History
- 2026-11-02: add by m2/dev
ZKA47ZBSS7 ZKA47ZBSS7
| URI | m2://inv/ZKA47ZBSS7 |
|---|---|
| Kind | definition |
| 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.13833#27YA (definition). In VD4JP4HVBX/e1, definition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Biquadratic break patterns ZKA83FB8JT
| URI | m2://inv/ZKA83FB8JT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#2CI6, Biquadratic break patterns (statement). In 7NS75J7HAM/e1, lemma 9.9
History
- 2026-10-31: add by m2/v0.5.6
Properties ZKAPZEBSPV
| URI | m2://inv/ZKAPZEBSPV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pernicious number#S36H, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition ZKAS9ESS2H
| URI | m2://inv/ZKAS9ESS2H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symplectic manifold#1BXF, Definition (definition)
History
- 2026-11-02: add by m2/dev
ZKAWFHTKTJ ZKAWFHTKTJ
| URI | m2://inv/ZKAWFHTKTJ |
|---|---|
| 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.37920#SJD9 (statement). In GZPF8R6BBF/e1, corollary 4.1
History
- 2026-10-30: add by m2/v0.4.12
ZKB18KPFZS ZKB18KPFZS
| URI | m2://inv/ZKB18KPFZS |
|---|---|
| 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.30817#4OC6 (statement). In DP5KJ7AATM/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
ZKB24FXTTN ZKB24FXTTN
| URI | m2://inv/ZKB24FXTTN |
|---|---|
| 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 2310.19073#MW89 (statement). In DK2ZSJ65ZV/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
ZKB5XXYFZG ZKB5XXYFZG
| URI | m2://inv/ZKB5XXYFZG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-35 (exercise). In QKM9DD2H56, exercise, section 5
History
- 2026-11-01: add by m2/v0.6.13
Scond isodynamic center ZKB74B236B
| URI | m2://inv/ZKB74B236B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q24818804, Scond isodynamic center (unknown). Also MathWorld SecondIsodynamicPoint
History
- 2026-10-26: add by m2/dev
Aggregate pattern ZKB938M6M9
| URI | m2://inv/ZKB938M6M9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aggregate pattern, Aggregate pattern (definition). Also Wikidata Q4692255
History
- 2026-11-02: add by m2/dev
ZKBCVSX6YY ZKBCVSX6YY
| URI | m2://inv/ZKBCVSX6YY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10152#E5G0 (statement). In KCJ53C7AXY/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
Connection algebra ZKBH6BP58E
| URI | m2://inv/ZKBH6BP58E |
|---|---|
| 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.02721#5C2I, Connection algebra (statement). In XXFYVDVPPE/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.12
Holomorphic Lefschetz fixed-point formula ZKBKYM3P4G
| URI | m2://inv/ZKBKYM3P4G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holomorphic Lefschetz fixed-point formula, Holomorphic Lefschetz fixed-point formula (statement). Also Wikidata Q5884154
History
- 2026-11-02: add by m2/dev
ZKBT2EV3GH ZKBT2EV3GH
| URI | m2://inv/ZKBT2EV3GH |
|---|---|
| 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.21730#WQ9L (statement). In BM64QM6Q7J/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.2
Timeline of quantum computing ZKC35SJJ7B
| URI | m2://inv/ZKC35SJJ7B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#LQSN, Timeline of quantum computing (unknown)
History
- 2026-11-02: add by m2/dev
ZKC64MRKZH ZKC64MRKZH
| URI | m2://inv/ZKC64MRKZH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08382#Z8WE (definition). In GYMGDQS25R/e1, definition 3.9
History
- 2026-10-29: add by m2/v0.4.10
Applications ZKC9TA7ER1
| URI | m2://inv/ZKC9TA7ER1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Effective medium approximations#20N0, Applications (example)
History
- 2026-11-02: add by m2/dev
ZKC9TXT0VF ZKC9TXT0VF
| URI | m2://inv/ZKC9TXT0VF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_logic-proofs.ptx#example-10 (example). In Y91XFCEVHQ, example, section 4.2.5
History
- 2026-11-01: add by m2/v0.6.13
Joseph Wedderburn ZKCHN64PCY
| URI | m2://inv/ZKCHN64PCY |
|---|---|
| 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#7VM8, Joseph Wedderburn (topic)
History
- 2026-11-02: add by m2/dev
Computational fluid dynamics ZKCJPHRRC5
| URI | m2://inv/ZKCJPHRRC5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational fluid dynamics, Computational fluid dynamics (definition). Also Wikidata Q815820
History
- 2026-11-02: add by m2/dev
Algorithm ZKCMBM24BT
| URI | m2://inv/ZKCMBM24BT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forward algorithm#T5RG, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
ZKCTJ0ACNC ZKCTJ0ACNC
| URI | m2://inv/ZKCTJ0ACNC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-250 (exercise). In VNMV985MXX, exercise, section 4.6
History
- 2026-11-01: add by m2/v0.6.13
ZKD0B7BAXW ZKD0B7BAXW
| URI | m2://inv/ZKD0B7BAXW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27846#B7MR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Artin's reciprocity law ZKD4ERTZNX
| URI | m2://inv/ZKD4ERTZNX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principalization (algebra)#CK8N, Artin's reciprocity law (statement)
History
- 2026-11-02: add by m2/dev
Method ZKD94MPK9X
| URI | m2://inv/ZKD94MPK9X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amortized analysis#1C39, Method (definition)
History
- 2026-11-02: add by m2/dev
ZKD99SJX3R ZKD99SJX3R
| URI | m2://inv/ZKD99SJX3R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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.24701#DBX1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZKDBQJ5K9S ZKDBQJ5K9S
| URI | m2://inv/ZKDBQJ5K9S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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 2507.20176#DDFG (definition). In CX4WDA2KAR/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Running example continued ZKDC21YYCG
| URI | m2://inv/ZKDC21YYCG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20656#K58Q, Running example continued (example)
History
- 2026-11-02: add by m2/v0.6.18
co- ZKDCM8P63Y
| URI | m2://inv/ZKDCM8P63Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#UQEC, co- (definition)
History
- 2026-11-02: add by m2/dev
Theorem ZKDQAJ4VN9
| URI | m2://inv/ZKDQAJ4VN9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson limit theorem#VPSP, Theorem (statement)
History
- 2026-11-02: add by m2/dev
ZKDQVF9F86 ZKDQVF9F86
| URI | m2://inv/ZKDQVF9F86 |
|---|---|
| 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.13817#OFBW (statement). In BMSAXTDV47/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
Michel Raynaud ZKDSCMDV6E
| URI | m2://inv/ZKDSCMDV6E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OLTK, Michel Raynaud (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JZV1, Michel Raynaud (topic)
History
- 2026-11-02: add by m2/dev
substitution ZKDSNZADRZ
| URI | m2://inv/ZKDSNZADRZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.2/substitution, substitution (concept). In N54F33XE07, index, section A.2
History
- 2026-11-01: add by m2/v0.6.13
Gauss ZKDW5XHKKM
| URI | m2://inv/ZKDW5XHKKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#4OYJ, Gauss (definition)
History
- 2026-11-02: add by m2/dev
ZKDZ9AR56Q ZKDZ9AR56Q
| URI | m2://inv/ZKDZ9AR56Q |
|---|---|
| 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.37026#9794 (statement). In QGZPH9W8GY/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
ZKEBG1ZD0S ZKEBG1ZD0S
| URI | m2://inv/ZKEBG1ZD0S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21900#DF6V (statement)
History
- 2026-11-02: add by m2/v0.6.17
Grötzsch's theorem ZKEHBXJDB6
| URI | m2://inv/ZKEHBXJDB6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#T7UZ, Grötzsch's theorem (statement)
History
- 2026-11-02: add by m2/dev
Glossary of Riemannian and metric geometry ZKEQXSWSCX
| URI | m2://inv/ZKEQXSWSCX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Riemannian and metric geometry, Glossary of Riemannian and metric geometry (topic). Also Wikidata Q3237377
History
- 2026-11-02: add by m2/dev
Umberto Zannier ZKEYFX26M6
| URI | m2://inv/ZKEYFX26M6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Umberto Zannier, Umberto Zannier (topic). Also Wikidata Q15852032
History
- 2026-11-02: add by m2/dev
ZKF239PF7N ZKF239PF7N
| URI | m2://inv/ZKF239PF7N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#S7P2 (statement). In 5KR3MHYVV6/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Formula ZKF9R8RHFE
| URI | m2://inv/ZKF9R8RHFE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unduloid#ZN89, Formula (statement)
History
- 2026-11-02: add by m2/dev
Lower bounds ZKFECR21P0
| URI | m2://inv/ZKFECR21P0 |
|---|---|
| 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.21937#4087, Lower bounds (statement)
History
- 2026-11-02: add by m2/v0.6.17
Truncated inverse moment ZKFN7HRY0D
| URI | m2://inv/ZKFN7HRY0D |
|---|---|
| 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.28198#SYUH, Truncated inverse moment (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theodor Estermann ZKFWV54CSH
| URI | m2://inv/ZKFWV54CSH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#8OO5, Theodor Estermann (topic)
History
- 2026-11-02: add by m2/dev
groupoid object ZKG65R75AY
| URI | m2://inv/ZKG65R75AY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17077830, groupoid object (unknown). Also nLab groupoid object
- wikipedia: Wikipedia Groupoid object, Groupoid object (definition). Also Wikidata Q17077830
History
- 2026-10-26: add by m2/dev
Properties ZKGD8NVT0A
| URI | m2://inv/ZKGD8NVT0A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superincreasing sequence#6Y47, Properties (statement)
History
- 2026-11-02: add by m2/dev
Snake jaws cannot unhinge ZKGEH7HANX
| URI | m2://inv/ZKGEH7HANX |
|---|---|
| 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#VLYU, Snake jaws cannot unhinge (unknown)
History
- 2026-11-02: add by m2/dev
Demographics of the world ZKGJ9KV93G
| URI | m2://inv/ZKGJ9KV93G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of the world, Demographics of the world (definition). Also Wikidata Q5256120
History
- 2026-11-02: add by m2/dev
ZKGN0FQXA9 ZKGN0FQXA9
| URI | m2://inv/ZKGN0FQXA9 |
|---|---|
| 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.06544#OP9T (statement). In VCRB27RMN6/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Enumerative combinatorics ZKGRAREAG2
| URI | m2://inv/ZKGRAREAG2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#DZ1N, Enumerative combinatorics (definition)
History
- 2026-11-02: add by m2/dev
Examples ZKGVBR09PE
| URI | m2://inv/ZKGVBR09PE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cylindric numbering#WN2Y, Examples (example)
History
- 2026-11-02: add by m2/dev
Langlands–Tunnell theorem ZKGXQP445N
| URI | m2://inv/ZKGXQP445N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Langlands–Tunnell theorem, Langlands–Tunnell theorem (statement). Also Wikidata Q139914906
History
- 2026-11-02: add by m2/dev
Jayanta Bhatta ZKH00Q0PNK
| URI | m2://inv/ZKH00Q0PNK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#HOW6, Jayanta Bhatta (topic)
History
- 2026-11-02: add by m2/dev
ZKH0WKZXX8 ZKH0WKZXX8
| URI | m2://inv/ZKH0WKZXX8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17518#0NDL (statement). In YA4JEWTVS4/e1, corollary 5.2
History
- 2026-10-28: add by m2/v0.4.2
Cantor's set theory ZKH1KG1KGX
| URI | m2://inv/ZKH1KG1KGX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set theory#5M7X, Cantor's set theory (unknown)
History
- 2026-11-02: add by m2/dev
Annals of Applied Probability ZKH3MVAXYP
| URI | m2://inv/ZKH3MVAXYP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annals of Applied Probability, Annals of Applied Probability (definition). Also Wikidata Q4767843
History
- 2026-11-02: add by m2/dev
ZKH9PTGJ7T ZKH9PTGJ7T
| URI | m2://inv/ZKH9PTGJ7T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36045#R7X2 (statement). In F0E8YBV0Z0/e1, lemma 7.3
History
- 2026-10-30: add by m2/v0.4.12
Definition ZKHA7MEQVN
| URI | m2://inv/ZKHA7MEQVN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal SU(2)-bundle#WTLI, Definition (definition)
History
- 2026-11-02: add by m2/dev
ZKHF3Z6027 ZKHF3Z6027
| URI | m2://inv/ZKHF3Z6027 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.26479#26BS (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZKHHTZSP2S ZKHHTZSP2S
| URI | m2://inv/ZKHHTZSP2S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21668#V74I (statement)
History
- 2026-11-02: add by m2/v0.6.18
Ștefan Emilian ZKHM1HWXYH
| URI | m2://inv/ZKHM1HWXYH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ștefan Emilian, Ștefan Emilian (topic). Also Wikidata Q12744293
History
- 2026-11-02: add by m2/dev
Reflection of divisors ZKJ4FFWSRN
| URI | m2://inv/ZKJ4FFWSRN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.09848#I9SN, Reflection of divisors (statement). In HF7YNMW39N/e1, proposition 15.1
History
- 2026-10-27: add by m2/v0.4.0
Marginal likelihood ZKJAF3ZQJ3
| URI | m2://inv/ZKJAF3ZQJ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marginal likelihood, Marginal likelihood (definition). Also Wikidata Q6760420
History
- 2026-11-02: add by m2/dev
Quinary ZKJBJ76TGB
| URI | m2://inv/ZKJBJ76TGB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numeral system topics#J245, Quinary (definition)
History
- 2026-11-02: add by m2/dev
S ZKJC0KA2S1
| URI | m2://inv/ZKJC0KA2S1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#KFJL, S (definition)
History
- 2026-11-02: add by m2/dev
ZKJD966NJY ZKJD966NJY
| URI | m2://inv/ZKJD966NJY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20421#8YL2 (definition). In Q4R7J8JE3F/e1, definition 2.15
History
- 2026-10-27: add by m2/v0.4.2
Eddy covariance ZKJY4RJ8MN
| URI | m2://inv/ZKJY4RJ8MN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eddy covariance, Eddy covariance (definition). Also Wikidata Q5336709
History
- 2026-11-02: add by m2/dev
ZKK3FQMV6Z ZKK3FQMV6Z
| URI | m2://inv/ZKK3FQMV6Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.07718#AJ28 (statement). In CEKW9CNVVW/e1, proposition 6.7
History
- 2026-10-29: add by m2/v0.4.10
ZKK6Y5KCPZ ZKK6Y5KCPZ
| URI | m2://inv/ZKK6Y5KCPZ |
|---|---|
| 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.10875#OH25 (statement). In N91F15MHW1/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.3
ZKK89T58HY ZKK89T58HY
| URI | m2://inv/ZKK89T58HY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17518#Y7M2 (statement). In YA4JEWTVS4/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Iteration criterion for constant reference ZKKC25ZRX0
| URI | m2://inv/ZKKC25ZRX0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09522#MIIA, Iteration criterion for constant reference (statement). In KKR9167FPT/e1, corollary 20
History
- 2026-10-29: add by m2/v0.4.10
ZKKD8BX6ZZ ZKKD8BX6ZZ
| URI | m2://inv/ZKKD8BX6ZZ |
|---|---|
| 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#ACMU (statement)
History
- 2026-11-02: add by m2/v0.6.17
Tasha Inniss ZKKE2PTB7H
| URI | m2://inv/ZKKE2PTB7H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tasha Inniss, Tasha Inniss (topic). Also Wikidata Q20563097
History
- 2026-11-02: add by m2/dev
ZKKHC9Q2SH ZKKHC9Q2SH
| URI | m2://inv/ZKKHC9Q2SH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16875#83U8 (statement). In KS30K5JXGB/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
Fair coin ZKKK8Z6VNK
| URI | m2://inv/ZKKK8Z6VNK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fair coin, Fair coin (definition). Also Wikidata Q5429954
History
- 2026-11-02: add by m2/dev
simple ZKKRQ2HZ8C
| URI | m2://inv/ZKKRQ2HZ8C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#NERC, simple (definition)
History
- 2026-11-02: add by m2/dev
Spectral coarea ZKKW5K1SFN
| URI | m2://inv/ZKKW5K1SFN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37761#67MP, Spectral coarea (statement). In 4TAQ65KZKN/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Generalizations ZKM0A6T086
| URI | m2://inv/ZKM0A6T086 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projectively unique polytope#COR9, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
ZKM5J6WE62 ZKM5J6WE62
| URI | m2://inv/ZKM5J6WE62 |
|---|---|
| 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 2012.11507#A250 (statement). In DZA5P853H9/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Componentwise collapse ZKM6MRPXYQ
| URI | m2://inv/ZKM6MRPXYQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#X23F, Componentwise collapse (definition). In PCAS8S14J6/e1, definition 2.4
History
- 2026-10-31: add by m2/v0.5.6
Rearrangement inequality ZKM7YJXQKP
| URI | m2://inv/ZKM7YJXQKP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rearrangement inequality, Rearrangement inequality (statement). Also Wikidata Q1149189
History
- 2026-11-02: add by m2/dev
ZKMFXKNZZZ ZKMFXKNZZZ
| URI | m2://inv/ZKMFXKNZZZ |
|---|---|
| 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.02756#EBAG (statement). In GCQ5YCQQHD/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Example ZKMHMT8BYS
| URI | m2://inv/ZKMHMT8BYS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Almost ring#PTHU, Example (example)
History
- 2026-11-02: add by m2/dev
Susskind-Hawking battle ZKMKFMEZ5V
| URI | m2://inv/ZKMKFMEZ5V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black hole information paradox#E09O, Susskind-Hawking battle (unknown)
History
- 2026-11-02: add by m2/dev
ZKMKZSJECF ZKMKZSJECF
| URI | m2://inv/ZKMKZSJECF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19812#0303 (statement). In ZS89RH18QM/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
ZKMRP438TS ZKMRP438TS
| URI | m2://inv/ZKMRP438TS |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#6TQR (unknown). In QNBFHFZ3H0/e1, unknown 18
History
- 2026-10-28: add by m2/v0.4.2
Cauchy problem ZKMSRVX5JV
| URI | m2://inv/ZKMSRVX5JV |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#MNO0, Cauchy problem (problem)
History
- 2026-11-02: add by m2/dev
ZKN117K272 ZKN117K272
| URI | m2://inv/ZKN117K272 |
|---|---|
| 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 2104.00162#JA51 (statement). In HVGT9D84WV/e1, lemma 2.12
History
- 2026-10-27: add by m2/v0.3.5
ZKN2XS7GEK ZKN2XS7GEK
| URI | m2://inv/ZKN2XS7GEK |
|---|---|
| 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.31858#LSJ6 (statement). In QV16PHDXKJ/e1, lemma A.5
History
- 2026-10-31: add by m2/v0.5.6
Examples ZKNAVBZ963
| URI | m2://inv/ZKNAVBZ963 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absorption law#3PWP, Examples (example)
History
- 2026-11-02: add by m2/dev
ZKNB791EJC ZKNB791EJC
| URI | m2://inv/ZKNB791EJC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#M8DM (definition). In HX63A1PH1W/e1, definition 3.64
History
- 2026-10-28: add by m2/v0.4.3
Alternated hypercubic honeycomb ZKNGTSQNVA
| URI | m2://inv/ZKNGTSQNVA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#VXC5, Alternated hypercubic honeycomb (unknown)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#9HHF, Alternated hypercubic honeycomb (unknown)
History
- 2026-11-02: add by m2/dev
ZKNMT42F3X ZKNMT42F3X
| URI | m2://inv/ZKNMT42F3X |
|---|---|
| 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 2503.22636#TS4N (statement). In 2X2A6MT0QD/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.3.5
ZKNNY62SVQ ZKNNY62SVQ
| URI | m2://inv/ZKNNY62SVQ |
|---|---|
| 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 2208.07401#LIY2 (statement). In GJD7HKCE56/e1, proposition 3.10
History
- 2026-10-27: add by m2/v0.3.6
the extremal collapse family ZKNW1FG7SV
| URI | m2://inv/ZKNW1FG7SV |
|---|---|
| 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.32733#R2K7, the extremal collapse family (example). In PCAS8S14J6/e1, example A.5
History
- 2026-10-31: add by m2/v0.5.6
group algebra ZKNWE9BJ5G
| URI | m2://inv/ZKNWE9BJ5G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Group algebra of a locally compact group 6GD25S53ND |
Mentions
- wikidata: Wikidata Q17019511, group algebra (unknown). Also MathWorld GroupAlgebra, nLab group algebra
- wikipedia: Wikipedia Group algebra of a locally compact group, Group algebra of a locally compact group (definition). Also Wikidata Q17019511
History
- 2026-10-26: add by m2/dev
Total active reflection coefficient ZKNYM2FPWD
| URI | m2://inv/ZKNYM2FPWD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Total active reflection coefficient, Total active reflection coefficient (definition). Also Wikidata Q7828092
History
- 2026-11-02: add by m2/dev
Two-channel affine-oracle lower bound ZKNZ2BFH6T
| URI | m2://inv/ZKNZ2BFH6T |
|---|---|
| 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.33021#2WNQ, Two-channel affine-oracle lower bound (statement). In GG96DW33Q9/e1, theorem I.1
History
- 2026-10-31: add by m2/v0.5.6
Definitions ZKP45ZZ0MC
| URI | m2://inv/ZKP45ZZ0MC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Littelmann path model#7J50, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Zak ZKP9T2NNY4
| URI | m2://inv/ZKP9T2NNY4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08226#569A, Zak (statement). In V6EPE8XHAD/e1, theorem 2.5
History
- 2026-10-29: add by m2/v0.4.10
Simple group ZKPC6PRN1B
| URI | m2://inv/ZKPC6PRN1B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#FA78, Simple group (definition)
- wikipedia: Wikipedia List of abstract algebra topics#PVQT, Simple group (definition)
History
- 2026-11-02: add by m2/dev
Forensic statistics ZKPD1JD5MR
| URI | m2://inv/ZKPD1JD5MR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forensic statistics, Forensic statistics (definition). Also Wikidata Q17014464
History
- 2026-11-02: add by m2/dev
ZKPTEN8PDP ZKPTEN8PDP
| URI | m2://inv/ZKPTEN8PDP |
|---|---|
| Kind | example |
| 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.12330#QN8D (example). In XHSKEPT3VD/e1, example 6.7
History
- 2026-10-28: add by m2/v0.4.2
subnormal subgroup ZKPTPNQSX2
| URI | m2://inv/ZKPTPNQSX2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 2774415) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#KF66, subnormal subgroup (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Centrifugal force ZKQ66REXQD
| URI | m2://inv/ZKQ66REXQD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centrifugal force, Centrifugal force (definition). Also Wikidata Q178733
History
- 2026-11-02: add by m2/dev
Examples ZKQ6BA8EZW
| URI | m2://inv/ZKQ6BA8EZW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computably enumerable set#HDB7, Examples (example)
History
- 2026-11-02: add by m2/dev
ZKQ7X26VGK ZKQ7X26VGK
| URI | m2://inv/ZKQ7X26VGK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20798#NULP (statement)
History
- 2026-11-02: add by m2/v0.6.18
ZKQ8D4896M ZKQ8D4896M
| URI | m2://inv/ZKQ8D4896M |
|---|---|
| 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 2308.05715#RN19 (statement). In FC0SB9JFWH/e1, lemma 10.2
History
- 2026-10-27: add by m2/v0.3.5
ZKQAVMAPBA ZKQAVMAPBA
| URI | m2://inv/ZKQAVMAPBA |
|---|---|
| Kind | definition |
| 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.13833#6SOP (definition). In VD4JP4HVBX/e1, definition 3.11
History
- 2026-10-28: add by m2/v0.4.2
Graduate Texts in Mathematics ZKQGTQJWPN
| URI | m2://inv/ZKQGTQJWPN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graduate Texts in Mathematics, Graduate Texts in Mathematics (definition). Also Wikidata Q3113164
History
- 2026-11-02: add by m2/dev
Bayesian spam filtering ZKQM4W9KW9
| URI | m2://inv/ZKQM4W9KW9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OOBW, Bayesian spam filtering (definition)
History
- 2026-11-02: add by m2/dev
ZKQR3VZ44V ZKQR3VZ44V
| URI | m2://inv/ZKQR3VZ44V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-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 2503.19528#X7EW (statement). In EM5955MDHN/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Susquehanna Polling & Research ZKQSCZ4RXM
| URI | m2://inv/ZKQSCZ4RXM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#E67M, Susquehanna Polling & Research (unknown)
History
- 2026-11-02: add by m2/dev
ZKQXP11ZR2 ZKQXP11ZR2
| URI | m2://inv/ZKQXP11ZR2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12480#2KKH (definition). In 585QYGX4X6/e1, definition 14
History
- 2026-10-28: add by m2/v0.4.2
uses \sectionref{sec:monotonefunc} ZKR1S40Q46
| URI | m2://inv/ZKR1S40Q46 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-32, uses \sectionref{sec:monotonefunc} (exercise). In E59CDZA4DP, exercise, section 8.3.4
History
- 2026-11-01: add by m2/v0.6.13
Adaptive integration on equal-arm spiders ZKR42TKEH3
| URI | m2://inv/ZKR42TKEH3 |
|---|---|
| Kind | statement |
| 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.34025#E9P6, Adaptive integration on equal-arm spiders (statement). In VCG579E7MM/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
ZKR4A8M8K5 ZKR4A8M8K5
| URI | m2://inv/ZKR4A8M8K5 |
|---|---|
| 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.22268#TV0G (statement). In 9ZD87293QS/e1, proposition 3.23
History
- 2026-10-27: add by m2/v0.4.0
ZKR5FC0TS1 ZKR5FC0TS1
| URI | m2://inv/ZKR5FC0TS1 |
|---|---|
| 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.24082#R51V (statement)
History
- 2026-11-02: add by m2/v0.6.17
Properties ZKR6QVZSFQ
| URI | m2://inv/ZKR6QVZSFQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dolgachev surface#B1ZN, Properties (statement)
History
- 2026-11-02: add by m2/dev
ZKR9GN34ER ZKR9GN34ER
| URI | m2://inv/ZKR9GN34ER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27775#F6J4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
ZKR9VC2C01 ZKR9VC2C01
| URI | m2://inv/ZKR9VC2C01 |
|---|---|
| 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 2403.02207#IHFB (statement). In 1T3ZYPQZF0/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.6
Terminal $L^2$ asymptotic ZKRCAFXF04
| URI | m2://inv/ZKRCAFXF04 |
|---|---|
| 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.20414#AI9T, Terminal $L^2$ asymptotic (statement). In X2NNNW8CX5/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.4.2
proper fraction ZKRDQQDKY0
| URI | m2://inv/ZKRDQQDKY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#FOVQ, proper fraction (definition)
History
- 2026-11-02: add by m2/dev
ZKRSTSEM5W ZKRSTSEM5W
| URI | m2://inv/ZKRSTSEM5W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 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 2610.13532#TFIO (definition). In 9B0X8YPF3P/e1, definition 2.7
History
- 2026-10-28: add by m2/v0.4.2
ZKRVM54GKN ZKRVM54GKN
| URI | m2://inv/ZKRVM54GKN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14838#3FO0 (definition). In J7ZX3WWRQP/e1, definition 2.21
History
- 2026-10-28: add by m2/v0.4.2
Family-wise error rate ZKRZGD8PSQ
| URI | m2://inv/ZKRZGD8PSQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Family-wise error rate, Family-wise error rate (definition). Also Wikidata Q5433418
History
- 2026-11-02: add by m2/dev
Example ZKRZV23SKZ
| URI | m2://inv/ZKRZV23SKZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Common knowledge (logic)#WH02, Example (example)
History
- 2026-11-02: add by m2/dev
ZKS2WEBA2E ZKS2WEBA2E
| URI | m2://inv/ZKS2WEBA2E |
|---|---|
| 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 2105.13129#YUD8 (statement). In J5Z1JD5VKR/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.4.0
argument principle ZKS6KZWG6T
| URI | m2://inv/ZKS6KZWG6T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Argument principle 0PN2BXRS8G |
Mentions
- wikidata: Wikidata Q1370201, argument principle (statement). Also MathWorld ArgumentPrinciple, ProofWiki Argument_Principle
- wikipedia: Wikipedia Argument principle, Argument principle (statement). Also Wikidata Q1370201
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Abraham Sinkov ZKSAGWFF31
| URI | m2://inv/ZKSAGWFF31 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#OP49, Abraham Sinkov (topic)
History
- 2026-11-02: add by m2/dev
Daniel Quillen ZKSB0NSD7D
| URI | m2://inv/ZKSB0NSD7D |
|---|---|
| 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 Q369658, Daniel Quillen (unknown). Also nLab Daniel Quillen
- wikipedia: Wikipedia Daniel Quillen, Daniel Quillen (topic). Also Wikidata Q369658
History
- 2026-10-26: add by m2/dev
monotone convergence theorem ZKSC913E8R
| URI | m2://inv/ZKSC913E8R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > monotone convergence theorem, monotone convergence theorem (unknown). Also Mathlib MeasureTheory.lintegral_iInf_ae
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > monotone convergence theorem, monotone convergence theorem (unknown). Also Mathlib MeasureTheory.lintegral_iInf_ae
History
- 2026-10-26: add by m2/dev
ZKSCB5REFQ ZKSCB5REFQ
| URI | m2://inv/ZKSCB5REFQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.16669#A4VQ (statement). In 1463YCCRP5/e1, corollary 3.12
History
- 2026-10-27: add by m2/v0.4.0
ZKSK4X95K5 ZKSK4X95K5
| URI | m2://inv/ZKSK4X95K5 |
|---|---|
| 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.00337#NVIP (statement). In 5STQ3ABZ60/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
ZKSQWN3Q7B ZKSQWN3Q7B
| URI | m2://inv/ZKSQWN3Q7B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36309#D3DM (statement). In FAJ10EJMYE/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
Projected regular backward equation ZKSR1QZ3EC
| URI | m2://inv/ZKSR1QZ3EC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16989#WG42, Projected regular backward equation (statement). In 4769XNDWYS/e1, proposition 2.7
History
- 2026-10-28: add by m2/v0.4.2
Erastus L. De Forest ZKSRXDH0PB
| URI | m2://inv/ZKSRXDH0PB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erastus L. De Forest, Erastus L. De Forest (topic). Also Wikidata Q30200423
History
- 2026-11-02: add by m2/dev
order dimension ZKSW5QZJ53
| URI | m2://inv/ZKSW5QZJ53 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Order dimension JC4J24MF93 |
Mentions
- wikidata: Wikidata Q7100431, order dimension (unknown). Also MathWorld PosetDimension
- wikipedia: Wikipedia Order dimension, Order dimension (definition). Also Wikidata Q7100431
History
- 2026-10-26: add by m2/dev
Ernst August Weiß ZKSW9EKCAR
| URI | m2://inv/ZKSW9EKCAR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#JCOI, Ernst August Weiß (topic)
History
- 2026-11-02: add by m2/dev
Project network ZKTG59SEKE
| URI | m2://inv/ZKTG59SEKE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of network theory topics#TPJ1, Project network (unknown)
History
- 2026-11-02: add by m2/dev
ZKTKEB8F6M ZKTKEB8F6M
| URI | m2://inv/ZKTKEB8F6M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36827#7217 (statement). In VSHAQTB2CA/e1, theorem A
History
- 2026-10-30: add by m2/v0.4.12
ZKTPEYAKSF ZKTPEYAKSF
| URI | m2://inv/ZKTPEYAKSF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.10505#KWZO (statement). In JW8HH6EPG2/e1, theorem 3.52
History
- 2026-10-29: add by m2/v0.4.10
Yitzhak Katznelson ZKTS3VG0B8
| URI | m2://inv/ZKTS3VG0B8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YN9G, Yitzhak Katznelson (topic)
History
- 2026-11-02: add by m2/dev
Endomorphism ring ZKV000T4F0
| URI | m2://inv/ZKV000T4F0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#P4GH, Endomorphism ring (definition)
History
- 2026-11-02: add by m2/dev
ZKV2J32QYN ZKV2J32QYN
| URI | m2://inv/ZKV2J32QYN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.16669#3IS5 (statement). In 1463YCCRP5/e1, lemma 7.16
History
- 2026-10-27: add by m2/v0.4.0
ZKV682T5Y8 ZKV682T5Y8
| URI | m2://inv/ZKV682T5Y8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.00134#MXDG (statement). In S654779J5P/e1, theorem 8
History
- 2026-10-30: add by m2/v0.4.12
Π01 class ZKVDMTPE7Y
| URI | m2://inv/ZKVDMTPE7Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Π01 class, Π01 class (definition). Also Wikidata Q8083994
History
- 2026-11-02: add by m2/dev
Definition ZKVEQWGVZ3
| URI | m2://inv/ZKVEQWGVZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolutely convex set#OV3R, Definition (definition)
History
- 2026-11-02: add by m2/dev
ZKVFYSZ538 ZKVFYSZ538
| URI | m2://inv/ZKVFYSZ538 |
|---|---|
| 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.00525#QXVI (statement). In JN34PDDXH8/e1, lemma 3.7
History
- 2026-10-30: add by m2/v0.4.12
Albrecht Beutelspacher ZKVHNMKYMS
| URI | m2://inv/ZKVHNMKYMS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#D49Q, Albrecht Beutelspacher (topic)
History
- 2026-11-02: add by m2/dev
ZKVXJ5RQFA ZKVXJ5RQFA
| URI | m2://inv/ZKVXJ5RQFA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#K12H (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lisa Piccirillo ZKW5Q9Z6DS
| URI | m2://inv/ZKW5Q9Z6DS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lisa Piccirillo, Lisa Piccirillo (topic). Also Wikidata Q94804322
History
- 2026-11-02: add by m2/dev
$L^\infty$ error of the MoM-KDE under $\alpha$-mixing ZKW6ACKXN0
| URI | m2://inv/ZKW6ACKXN0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15974#M94Q, $L^\infty$ error of the MoM-KDE under $\alpha$-mixing (statement). In 61ZHQ7BTKP/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
ZKW7JR9F0G ZKW7JR9F0G
| URI | m2://inv/ZKW7JR9F0G |
|---|---|
| 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#6RC9 (statement). In 1K7M5TD0M2/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
11 ZKW8T8BJBJ
| URI | m2://inv/ZKW8T8BJBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q37136, 11 (statement). Also MathWorld 11, ProofWiki 11
- wikipedia: Wikipedia 11 (number), 11 (definition). Also Wikidata Q37136
History
- 2026-10-26: add by m2/dev
C ZKW9X955QA
| URI | m2://inv/ZKW9X955QA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#D6V6, C (definition)
History
- 2026-11-02: add by m2/dev
Ordered ring ZKWA1CBV44
| URI | m2://inv/ZKWA1CBV44 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#LFYF, Ordered ring (definition)
History
- 2026-11-02: add by m2/dev
Exact invariance under common feature rescaling ZKWARJV4FF
| URI | m2://inv/ZKWARJV4FF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11309#LJGI, Exact invariance under common feature rescaling (statement). In TTEAQA1XXR/e1, lemma C.1
History
- 2026-10-28: add by m2/v0.4.3
An alternative polar formula ZKWDT0YMBC
| URI | m2://inv/ZKWDT0YMBC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strophoid#8UG8, An alternative polar formula (statement)
History
- 2026-11-02: add by m2/dev
Alexandra Silva ZKWJ24PBY6
| URI | m2://inv/ZKWJ24PBY6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#A9ZF, Alexandra Silva (unknown)
History
- 2026-11-02: add by m2/dev
Thermodynamics ZKWJ4VBYQX
| URI | m2://inv/ZKWJ4VBYQX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#MO0P, Thermodynamics (definition)
History
- 2026-11-02: add by m2/dev
equilibrium solution ZKWJEXWMD3
| URI | m2://inv/ZKWJEXWMD3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/4.6/equilibrium-solution, equilibrium solution (concept). In E9HS8K3A52, index, section 4.6
History
- 2026-11-01: add by m2/v0.6.13
Example ZKWTF7EX6H
| URI | m2://inv/ZKWTF7EX6H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implied volatility#G3MQ, Example (example)
History
- 2026-11-02: add by m2/dev
Evolutionary data mining ZKWV81KYH1
| URI | m2://inv/ZKWV81KYH1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8Y6Y, Evolutionary data mining (definition)
History
- 2026-11-02: add by m2/dev
ZKWW1V0N31 ZKWW1V0N31
| URI | m2://inv/ZKWW1V0N31 |
|---|---|
| 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.18154#GYT0 (statement). In 4W7ARR1DAR/e1, fact B.8
History
- 2026-10-28: add by m2/v0.4.2
David Dunson ZKWXZ70GBC
| URI | m2://inv/ZKWXZ70GBC |
|---|---|
| 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#D8CA, David Dunson (unknown)
History
- 2026-11-02: add by m2/dev
Barry R. Davis ZKX49V76XK
| URI | m2://inv/ZKX49V76XK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barry R. Davis, Barry R. Davis (topic). Also Wikidata Q64684716
History
- 2026-11-02: add by m2/dev
ZKX64NQ8JM ZKX64NQ8JM
| URI | m2://inv/ZKX64NQ8JM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2107.00792#EY91 (definition). In TD16A541ZN/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.3.5
ZKX6S595RD ZKX6S595RD
| URI | m2://inv/ZKX6S595RD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34573#EGVS (statement). In KK7EJSSPJY/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Lookup at fixed instantiation ZKXC2BXK6Y
| URI | m2://inv/ZKXC2BXK6Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#J6SH, Lookup at fixed instantiation (statement). In CPYWHRTPKC/e1, lemma 6.55
History
- 2026-10-27: add by m2/v0.4.2
ZKXRMAYF5J ZKXRMAYF5J
| URI | m2://inv/ZKXRMAYF5J |
|---|---|
| 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.33829#UD29 (statement). In S34H2JTJHH/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
LOBPCG ZKY27Y4SPN
| URI | m2://inv/ZKY27Y4SPN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#BVQ5, LOBPCG (definition)
History
- 2026-11-02: add by m2/dev
ZKY51FKVJM ZKY51FKVJM
| URI | m2://inv/ZKY51FKVJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01324#OIYR (statement). In XKXG49TNXH/e1, lemma 3.10
History
- 2026-10-27: add by m2/v0.3.6
Cheeger constant ZKY5VHXHDY
| URI | m2://inv/ZKY5VHXHDY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cheeger constant (graph theory), Cheeger constant (definition). Also Wikidata Q5089262
History
- 2026-11-02: add by m2/dev
José Sebastião e Silva ZKY8Y7VGC6
| URI | m2://inv/ZKY8Y7VGC6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia José Sebastião e Silva, José Sebastião e Silva (topic). Also Wikidata Q6294007
History
- 2026-11-02: add by m2/dev
Definition ZKYJHG0BKT
| URI | m2://inv/ZKYJHG0BKT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neural cryptography#6J04, Definition (definition)
History
- 2026-11-02: add by m2/dev
Axiom of finite choice ZKYYEGFJ0Q
| URI | m2://inv/ZKYYEGFJ0Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of finite choice, Axiom of finite choice (statement). Also Wikidata Q30715485
History
- 2026-11-02: add by m2/dev
Hyndman, Rob J ZKZ6H9CWAN
| URI | m2://inv/ZKZ6H9CWAN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#56N2, Hyndman, Rob J (unknown)
History
- 2026-11-02: add by m2/dev
ZKZFARWXNK ZKZFARWXNK
| URI | m2://inv/ZKZFARWXNK |
|---|---|
| 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 2504.13328#OKET (statement). In 736Q32FYCG/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.3.5
Sieve estimator ZKZNPXNWPW
| URI | m2://inv/ZKZNPXNWPW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#C65J, Sieve estimator (definition)
History
- 2026-11-02: add by m2/dev
Definitions ZKZR7ZDP5G
| URI | m2://inv/ZKZR7ZDP5G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vital statistics (government records)#UR1E, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Weakly symmetric Riemannian space ZKZSM79167
| URI | m2://inv/ZKZSM79167 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric space#K9IR, Weakly symmetric Riemannian space (unknown)
History
- 2026-11-02: add by m2/dev
ZKZYY9KCDY ZKZYY9KCDY
| URI | m2://inv/ZKZYY9KCDY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35678#8TPY (statement). In 4X4ZS7CEKD/e1, proposition 19
History
- 2026-10-30: add by m2/v0.4.12
Johann Heinrich Lambert ZKZZNAPW4A
| URI | m2://inv/ZKZZNAPW4A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#2XO7, Johann Heinrich Lambert (topic)
History
- 2026-11-02: add by m2/dev
factorization algebra ZKZZWJVDVA
| URI | m2://inv/ZKZZWJVDVA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q117019164, factorization algebra (unknown). Also nLab factorization algebra
- wikipedia: Wikipedia Factorization algebra, Factorization algebra (definition). Also Wikidata Q117019164
History
- 2026-10-26: add by m2/dev