Inventory rows YC
The cards of the rows of the inventory whose ids start with YC. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Complete uniform space YC07453YV8
| URI | m2://inv/YC07453YV8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform space#F1UF, Complete uniform space (unknown)
History
- 2026-11-02: add by m2/dev
Playing with Infinity YC08PG21TR
| URI | m2://inv/YC08PG21TR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Playing with Infinity, Playing with Infinity (definition). Also Wikidata Q104834377
History
- 2026-11-02: add by m2/dev
Albertson conjecture YC0GN15X1J
| URI | m2://inv/YC0GN15X1J |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albertson conjecture, Albertson conjecture (conjecture). Also Wikidata Q4712279
History
- 2026-11-02: add by m2/dev
moduli stack of elliptic curves YC0RCR1RHJ
| URI | m2://inv/YC0RCR1RHJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25305078, moduli stack of elliptic curves (unknown). Also nLab moduli stack of elliptic curves
- wikipedia: Wikipedia Moduli stack of elliptic curves, Moduli stack of elliptic curves (definition). Also Wikidata Q25305078
History
- 2026-10-26: add by m2/dev
Planck's law YC13869STW
| URI | m2://inv/YC13869STW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of integrals#SGC3, Planck's law (statement)
History
- 2026-11-02: add by m2/dev
YC1666GRTF YC1666GRTF
| URI | m2://inv/YC1666GRTF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_polya_exercises.ptx#exercise-2 (exercise). In QKM9DD2H56, exercise, section 15
History
- 2026-11-01: add by m2/v0.6.13
Local tame-complement bound YC1CR5BVQK
| URI | m2://inv/YC1CR5BVQK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33185#WU0A, Local tame-complement bound (statement). In QX30H2WNA7/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
David W. McLaughlin YC1E5EJMXV
| URI | m2://inv/YC1E5EJMXV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David W. McLaughlin, David W. McLaughlin (topic). Also Wikidata Q21583956
History
- 2026-11-02: add by m2/dev
Andrásfai graph YC1EVV74RJ
| URI | m2://inv/YC1EVV74RJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q768716, Andrásfai graph (unknown). Also MathWorld AndrasfaiGraph
- wikipedia: Wikipedia Andrásfai graph, Andrásfai graph (definition). Also Wikidata Q768716
History
- 2026-10-26: add by m2/dev
Monotone class theorem for functions YC1KWE4VV1
| URI | m2://inv/YC1KWE4VV1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone class theorem#V00E, Monotone class theorem for functions (statement)
History
- 2026-11-02: add by m2/dev
Concentration of the free energy YC1MQCPMWC
| URI | m2://inv/YC1MQCPMWC |
|---|---|
| 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.32710#RT6Y, Concentration of the free energy (statement). In KVYG6R7CGJ/e1, lemma B.1
History
- 2026-10-31: add by m2/v0.5.6
Trirectified 6-cubic honeycomb YC1NCWA02M
| URI | m2://inv/YC1NCWA02M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 6-cubic honeycomb#OLK8, Trirectified 6-cubic honeycomb (unknown)
History
- 2026-11-02: add by m2/dev
Metropolis–Hastings algorithm YC1P4THSPM
| URI | m2://inv/YC1P4THSPM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VV51, Metropolis–Hastings algorithm (definition)
History
- 2026-11-02: add by m2/dev
YC1RWP29RG YC1RWP29RG
| URI | m2://inv/YC1RWP29RG |
|---|---|
| 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 2609.39293#YGD6 (definition). In S26QVW5613/e1, definition 3.8.1
History
- 2026-10-30: add by m2/v0.4.12
YC1YPKGZPA YC1YPKGZPA
| URI | m2://inv/YC1YPKGZPA |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09900#V2WP (problem). In ATSYBWEMMP/e1, problem 1
History
- 2026-10-29: add by m2/v0.4.10
YC1YPM6VXM YC1YPM6VXM
| URI | m2://inv/YC1YPM6VXM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01653#AEDH (statement). In WZMHJCQPB2/e1, theorem 6.3
History
- 2026-10-29: add by m2/v0.4.12
Properties YC289QCQP6
| URI | m2://inv/YC289QCQP6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Submodular set function#7IXA, Properties (statement)
History
- 2026-11-02: add by m2/dev
$k$-pseudosymmetric YC29BMBYWK
| URI | m2://inv/YC29BMBYWK |
|---|---|
| Kind | definition |
| 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.12484#T6DQ, $k$-pseudosymmetric (definition). In GW23NX78SB/e1, definition 4.10
History
- 2026-10-28: add by m2/v0.4.2
YC2EPXX6ZV YC2EPXX6ZV
| URI | m2://inv/YC2EPXX6ZV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19243#T6VQ (example). In 8CSXBTYKDT/e1, example 8.1
History
- 2026-10-28: add by m2/v0.4.2
YC2HZ54PSD YC2HZ54PSD
| URI | m2://inv/YC2HZ54PSD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34168#OLOK (statement). In 30YQV8N04M/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
isthmus YC2HZFYF16
| URI | m2://inv/YC2HZFYF16 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#7U9C, isthmus (definition)
History
- 2026-11-02: add by m2/dev
Twin City, Georgia YC2M3H4A0P
| URI | m2://inv/YC2M3H4A0P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#EW8P, Twin City, Georgia (unknown)
History
- 2026-11-02: add by m2/dev
Definition YC2PH1WD4B
| URI | m2://inv/YC2PH1WD4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laguerre transformations#UI1Q, Definition (definition)
History
- 2026-11-02: add by m2/dev
YC2QZ564VH YC2QZ564VH
| URI | m2://inv/YC2QZ564VH |
|---|---|
| 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.21403#S9ZC (statement)
History
- 2026-11-02: add by m2/v0.6.18
Extension YC2Z070607
| URI | m2://inv/YC2Z070607 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dickman function#15I9, Extension (statement)
History
- 2026-11-02: add by m2/dev
VEST YC3782P1RS
| URI | m2://inv/YC3782P1RS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia VEST, VEST (definition). Also Wikidata Q4052503
History
- 2026-11-02: add by m2/dev
YC3CE4FAKP YC3CE4FAKP
| URI | m2://inv/YC3CE4FAKP |
|---|---|
| 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 2504.18390#Z3TR (example). In A1E8BB0QHC/e1, example 2.3
History
- 2026-10-27: add by m2/v0.3.5
YC3D7HP773 YC3D7HP773
| URI | m2://inv/YC3D7HP773 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#SRVV (statement). In BSWNH3NW1M/e1, lemma 7.8
History
- 2026-10-27: add by m2/v0.4.0
YC3GBEAKR5 YC3GBEAKR5
| URI | m2://inv/YC3GBEAKR5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30200#573E (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kuratowski's theorem YC3M02PED6
| URI | m2://inv/YC3M02PED6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Kazimierz Kuratowski#1PZ8, Kuratowski's theorem (statement)
History
- 2026-11-02: add by m2/dev
Odd-extension lifting YC3PVH1ERJ
| URI | m2://inv/YC3PVH1ERJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37093#KBHG, Odd-extension lifting (statement). In GA6QH32CJQ/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Cospan YC3R08KZCK
| URI | m2://inv/YC3R08KZCK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Span (category theory)#WPYD, Cospan (unknown)
History
- 2026-11-02: add by m2/dev
YC3R1KH9B2 YC3R1KH9B2
| URI | m2://inv/YC3R1KH9B2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.03672#ZQSY (statement). In EZZSZ1F071/e1, fact 4.22
History
- 2026-10-27: add by m2/v0.4.0
Argument from fallacy YC3VXF4D87
| URI | m2://inv/YC3VXF4D87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#ZZLU, Argument from fallacy (definition)
History
- 2026-11-02: add by m2/dev
Ganitagannadi YC3WJAYPAZ
| URI | m2://inv/YC3WJAYPAZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ganitagannadi, Ganitagannadi (definition). Also Wikidata Q124048061
History
- 2026-11-02: add by m2/dev
Properties YC3X6H1SB6
| URI | m2://inv/YC3X6H1SB6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-finite morphism#W2DP, Properties (statement)
History
- 2026-11-02: add by m2/dev
A lower bound on the Wasserstein distance YC41E0JFW5
| URI | m2://inv/YC41E0JFW5 |
|---|---|
| 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 2204.09167#AQEY, A lower bound on the Wasserstein distance (statement). In S1MENYEAG5/e1, lemma 8.3
History
- 2026-10-27: add by m2/v0.3.5
Time regularity YC48MEKRVT
| URI | m2://inv/YC48MEKRVT |
|---|---|
| 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.14555#BIFH, Time regularity (statement). In NHW0VEJ09F/e1, proposition 2.10
History
- 2026-10-28: add by m2/v0.4.2
Fundamental weight YC4DFTSHAJ
| URI | m2://inv/YC4DFTSHAJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weight (representation theory)#OHO3, Fundamental weight (unknown)
History
- 2026-11-02: add by m2/dev
pole YC4E4ZQ0FD
| URI | m2://inv/YC4E4ZQ0FD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#K7WI, pole (definition)
History
- 2026-11-02: add by m2/dev
Orbital node YC4E6QAVYJ
| URI | m2://inv/YC4E6QAVYJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbital node, Orbital node (definition). Also Wikidata Q507546
History
- 2026-11-02: add by m2/dev
YC4KJX36BR YC4KJX36BR
| URI | m2://inv/YC4KJX36BR |
|---|---|
| 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 2511.07697#6J2Z (statement). In 57P5P33HS3/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.5
Definition YC504HZJPP
| URI | m2://inv/YC504HZJPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wavelet transform#OX6J, Definition (definition)
History
- 2026-11-02: add by m2/dev
heart YC51K1HKYH
| URI | m2://inv/YC51K1HKYH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#PPRE, heart (definition)
History
- 2026-11-02: add by m2/dev
metric dimension YC52VBN3V4
| URI | m2://inv/YC52VBN3V4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17152964, metric dimension (unknown). Also MathWorld MetricDimension
- wikipedia: Wikipedia Metric dimension (graph theory), Metric dimension (definition). Also Wikidata Q17152964
History
- 2026-10-26: add by m2/dev
Haar, Alfréd YC536JSEH8
| URI | m2://inv/YC536JSEH8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#JF55, Haar, Alfréd (topic)
History
- 2026-11-02: add by m2/dev
The $\mu$-ordinary stratum YC55P9ZV7A
| URI | m2://inv/YC55P9ZV7A |
|---|---|
| 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 2609.33808#66Q6, The $\mu$-ordinary stratum (definition). In 328KGRNN0W/e1, definition 2.5
History
- 2026-10-30: add by m2/v0.4.12
Necessary conditions YC58TS81CE
| URI | m2://inv/YC58TS81CE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16294#99HA, Necessary conditions (statement). In N7HRE31BBH/e1, proposition 9.1
History
- 2026-10-28: add by m2/v0.4.2
YC5BJ906YH YC5BJ906YH
| URI | m2://inv/YC5BJ906YH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/pell.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 17.4
History
- 2026-11-01: add by m2/v0.6.13
Generalizations YC5D3PDAKS
| URI | m2://inv/YC5D3PDAKS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Padé approximant#BTAJ, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Big Twenty Township, Maine YC5PRABWDG
| URI | m2://inv/YC5PRABWDG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#G9AI, Big Twenty Township, Maine (unknown)
History
- 2026-11-02: add by m2/dev
YC5T4CDYQR YC5T4CDYQR
| URI | m2://inv/YC5T4CDYQR |
|---|---|
| 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.18101#A58W (statement). In XXN6KKXPYF/e1, corollary 4.2
History
- 2026-10-28: add by m2/v0.4.2
Terry Speed YC5VKQ31ST
| URI | m2://inv/YC5VKQ31ST |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Terry Speed, Terry Speed (topic). Also Wikidata Q7705033
History
- 2026-11-02: add by m2/dev
Formal definition YC5W0ST0D9
| URI | m2://inv/YC5W0ST0D9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric probability distribution#1HHX, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Finite $1$-group gauge theory YC5WXWXD82
| URI | m2://inv/YC5WXWXD82 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#NAO4, Finite $1$-group gauge theory (example). In G3D1YR20BJ/e1, example 4.13
History
- 2026-10-29: add by m2/v0.4.12
YC5ZV7FW1M YC5ZV7FW1M
| URI | m2://inv/YC5ZV7FW1M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#YZZU (statement). In S26QVW5613/e1, lemma 5.2.3
History
- 2026-10-30: add by m2/v0.4.12
Higher-order singular value decomposition YC63YTXV8B
| URI | m2://inv/YC63YTXV8B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Higher-order singular value decomposition, Higher-order singular value decomposition (definition). Also Wikidata Q17097998
History
- 2026-11-02: add by m2/dev
Christian Goldbach YC65JHYFWB
| URI | m2://inv/YC65JHYFWB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christian Goldbach, Christian Goldbach (topic). Also Wikidata Q207325
History
- 2026-11-02: add by m2/dev
YC699FWQCS YC699FWQCS
| URI | m2://inv/YC699FWQCS |
|---|---|
| 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.32233#O6WS (statement). In V42PPD7SWH/e1, lemma 6.5
History
- 2026-10-31: add by m2/v0.5.6
YC6FGRP6YK YC6FGRP6YK
| URI | m2://inv/YC6FGRP6YK |
|---|---|
| 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.33238#9NU0 (statement). In MVWXMDFP3P/e1, theorem 4.7
History
- 2026-10-30: add by m2/v0.4.12
Algorithm YC6GAMF6XM
| URI | m2://inv/YC6GAMF6XM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bareiss algorithm#2QY3, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
YC6GNCN31M YC6GNCN31M
| URI | m2://inv/YC6GNCN31M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#YIT7 (statement). In S26QVW5613/e1, theorem 1.1.4
History
- 2026-10-30: add by m2/v0.4.12
Autokey cipher YC6J9MSA1M
| URI | m2://inv/YC6J9MSA1M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autokey cipher, Autokey cipher (definition). Also Wikidata Q1989639
History
- 2026-11-02: add by m2/dev
Bo Li YC7BYA3DX9
| URI | m2://inv/YC7BYA3DX9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bo Li (statistician), Bo Li (topic). Also Wikidata Q102408613
History
- 2026-11-02: add by m2/dev
YC7CVR428M YC7CVR428M
| URI | m2://inv/YC7CVR428M |
|---|---|
| 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 2306.07511#3Y7V (statement). In 652CJVBF7C/e1, theorem A
History
- 2026-10-27: add by m2/v0.3.6
Essential oil YC7HT8D9B2
| URI | m2://inv/YC7HT8D9B2 |
|---|---|
| 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#RI88, Essential oil (unknown)
History
- 2026-11-02: add by m2/dev
YC7Z5EYKPN YC7Z5EYKPN
| URI | m2://inv/YC7Z5EYKPN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25495#9TD7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples YC84K5QY7W
| URI | m2://inv/YC84K5QY7W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coinduction#LUID, Examples (example)
History
- 2026-11-02: add by m2/dev
Ted Kaczynski YC85MKAT96
| URI | m2://inv/YC85MKAT96 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ted Kaczynski, Ted Kaczynski (topic). Also Wikidata Q222134
History
- 2026-11-02: add by m2/dev
zero-symmetric graph YC861RQ7YM
| URI | m2://inv/YC861RQ7YM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25303772, zero-symmetric graph (unknown). Also MathWorld Zero-SymmetricGraph
- wikipedia: Wikipedia Zero-symmetric graph, Zero-symmetric graph (definition). Also Wikidata Q25303772
History
- 2026-10-26: add by m2/dev
star graph S4 YC870KCS6G
| URI | m2://inv/YC870KCS6G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q137522500, star graph S4 (unknown). Also House of Graphs 544
History
- 2026-10-26: add by m2/dev
National Standard for Incident Recording (England and Wales) YC88D1KBCT
| URI | m2://inv/YC88D1KBCT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crime statistics in the United Kingdom#4Q5H, National Standard for Incident Recording (England and Wales) (unknown)
History
- 2026-11-02: add by m2/dev
YC88RGCB0V YC88RGCB0V
| URI | m2://inv/YC88RGCB0V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31615#5HOZ (statement). In TNV6XTEWEG/e1, lemma 4.4
History
- 2026-10-31: add by m2/v0.5.6
YC8E0SR328 YC8E0SR328
| URI | m2://inv/YC8E0SR328 |
|---|---|
| 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.09129#V7KH (statement). In Z1RZSF68XZ/e1, proposition 5.9
History
- 2026-10-29: add by m2/v0.4.10
Chenyang Xu YC8F431Q1J
| URI | m2://inv/YC8F431Q1J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#TQR7, Chenyang Xu (topic)
History
- 2026-11-02: add by m2/dev
YC8MSJWEYA YC8MSJWEYA
| URI | m2://inv/YC8MSJWEYA |
|---|---|
| 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.35404#R18N (statement). In DH84PYVRCF/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
finite type YC8P5N9JEJ
| URI | m2://inv/YC8P5N9JEJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#SQNP, finite type (definition)
History
- 2026-11-02: add by m2/dev
YC8XN6727V YC8XN6727V
| URI | m2://inv/YC8XN6727V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-5.xml#proposition-nul-dim (statement). In 649HGZKE96, proposition, section 3.5.4
History
- 2026-11-01: add by m2/v0.6.13
Heilbronn's conjecture and its disproof YC978AVVVV
| URI | m2://inv/YC978AVVVV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heilbronn triangle problem#OAVZ, Heilbronn's conjecture and its disproof (statement)
History
- 2026-11-02: add by m2/dev
YC98Q1XESH YC98Q1XESH
| URI | m2://inv/YC98Q1XESH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20916#0ZIJ (statement). In HV598NZW9X/e1, corollary 2.1
History
- 2026-10-27: add by m2/v0.4.2
Inverse-gamma distribution YC9AQC4393
| URI | m2://inv/YC9AQC4393 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UBR3, Inverse-gamma distribution (definition)
History
- 2026-11-02: add by m2/dev
YC9E2WQAV7 YC9E2WQAV7
| URI | m2://inv/YC9E2WQAV7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1612.08394#PZIV (statement). In 1P8D88DKG5/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Journal of Experimental and Theoretical Physics YC9E3JSR1J
| URI | m2://inv/YC9E3JSR1J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Nikolay Bogolyubov#JBIS, Journal of Experimental and Theoretical Physics (unknown)
History
- 2026-11-02: add by m2/dev
List of logarithm topics YC9GABJBWD
| URI | m2://inv/YC9GABJBWD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#O83B, List of logarithm topics (topic)
History
- 2026-11-02: add by m2/dev
YC9KJWXVYY YC9KJWXVYY
| URI | m2://inv/YC9KJWXVYY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#GAPY (statement). In ESDKTYDHC8/e1, theorem 18
History
- 2026-10-29: add by m2/v0.4.12
YC9M9NXKV5 YC9M9NXKV5
| URI | m2://inv/YC9M9NXKV5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14737094 (unknown). Also MathWorld ForAll
History
- 2026-10-26: add by m2/dev
Karamata representation theorem YC9Q6KYYHH
| URI | m2://inv/YC9Q6KYYHH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slowly varying function#PUVE, Karamata representation theorem (statement)
History
- 2026-11-02: add by m2/dev
YC9SH3ZXG9 YC9SH3ZXG9
| URI | m2://inv/YC9SH3ZXG9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12612#NCFY (statement). In 8A0VZV8PBN/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
YC9V386XQ4 YC9V386XQ4
| URI | m2://inv/YC9V386XQ4 |
|---|---|
| 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#WWBU (statement). In BMSAXTDV47/e1, theorem B
History
- 2026-10-28: add by m2/v0.4.2
Mountain climbing problem YC9Z1V1F2M
| URI | m2://inv/YC9Z1V1F2M |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mountain climbing problem, Mountain climbing problem (problem). Also Wikidata Q6925455
History
- 2026-11-02: add by m2/dev
YCA0Z1PN2X YCA0Z1PN2X
| URI | m2://inv/YCA0Z1PN2X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:isocat (definition). In N54F33XE07, defn, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
History of many-valued logic YCABTVZ9JV
| URI | m2://inv/YCABTVZ9JV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Many-valued logic#UII1, History of many-valued logic (unknown)
History
- 2026-11-02: add by m2/dev
The additivity theorem YCAD67MMXB
| URI | m2://inv/YCAD67MMXB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-theory of a category#33O4, The additivity theorem (statement)
History
- 2026-11-02: add by m2/dev
Generalization YCAQ4059XP
| URI | m2://inv/YCAQ4059XP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pairwise independence#4ELI, Generalization (statement)
History
- 2026-11-02: add by m2/dev
YCASZC6CPT YCASZC6CPT
| URI | m2://inv/YCASZC6CPT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ord-arithmetic/multiplication.tex#ordinalmultiplicationisnice (statement). In PKGMM3P5QY, lem, section 71.11
History
- 2026-11-01: add by m2/v0.6.13
Marcinkiewicz theorem YCATRBQVH0
| URI | m2://inv/YCATRBQVH0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#OHF2, Marcinkiewicz theorem (statement)
History
- 2026-11-02: add by m2/dev
Minimum mean square error YCAVYW749B
| URI | m2://inv/YCAVYW749B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1J2O, Minimum mean square error (definition)
History
- 2026-11-02: add by m2/dev
YCAX5WQ8QT YCAX5WQ8QT
| URI | m2://inv/YCAX5WQ8QT |
|---|---|
| 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 0904.2051#DTZJ (statement). In JYRVG8P8KC/e1, theorem 0
History
- 2026-10-27: add by m2/v0.3.5
1 implies 2 YCB2YD1J3V
| URI | m2://inv/YCB2YD1J3V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conservative force#YCB1, 1 implies 2 (definition)
History
- 2026-11-02: add by m2/dev
Dagger compact category YCB3047YWN
| URI | m2://inv/YCB3047YWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dagger compact category, Dagger compact category (definition). Also Wikidata Q5208527
History
- 2026-11-02: add by m2/dev
Formula YCB5RDZESY
| URI | m2://inv/YCB5RDZESY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sackur–Tetrode equation#FL04, Formula (statement)
History
- 2026-11-02: add by m2/dev
Mean value analysis YCBEDRN4R1
| URI | m2://inv/YCBEDRN4R1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean value analysis, Mean value analysis (definition). Also Wikidata Q6803663
History
- 2026-11-02: add by m2/dev
YCBSABRXNG YCBSABRXNG
| URI | m2://inv/YCBSABRXNG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21568#DED0 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Uniqueness and continuous dependence YCBSTY597M
| URI | m2://inv/YCBSTY597M |
|---|---|
| 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.14555#WU2I, Uniqueness and continuous dependence (statement). In NHW0VEJ09F/e1, proposition 2.14
History
- 2026-10-28: add by m2/v0.4.2
Affine cipher YCBZYXA084
| URI | m2://inv/YCBZYXA084 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine cipher, Affine cipher (definition). Also Wikidata Q382486
History
- 2026-11-02: add by m2/dev
Greta M. Ljung YCC342ZDPS
| URI | m2://inv/YCC342ZDPS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greta M. Ljung, Greta M. Ljung (topic). Also Wikidata Q57834840
History
- 2026-11-02: add by m2/dev
the unboxed conjecture YCC4ZRXJXW
| URI | m2://inv/YCC4ZRXJXW |
|---|---|
| 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.19249#W8Q1, the unboxed conjecture (statement). In 2X586J6KQ1/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
YCC5MW8RHA YCC5MW8RHA
| URI | m2://inv/YCC5MW8RHA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12131#0WLY (statement). In NYT07WF46A/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
kernel, simplicial YCC5PYX737
| URI | m2://inv/YCC5PYX737 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.7.2/kernel-simplicial, kernel, simplicial (concept). In N54F33XE07, index, section 7.7.2
History
- 2026-11-01: add by m2/v0.6.13
YCC6GQRGF2 YCC6GQRGF2
| URI | m2://inv/YCC6GQRGF2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28336#6MUL (statement)
History
- 2026-11-01: add by m2/v0.6.15
\mycite{Machina1982} preference functional on abstract Wiener space YCC7R0AVND
| URI | m2://inv/YCC7R0AVND |
|---|---|
| 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.25026#W8IE, \mycite{Machina1982} preference functional on abstract Wiener space (statement)
History
- 2026-11-01: add by m2/v0.6.15
YCCM05A00J YCCM05A00J
| URI | m2://inv/YCCM05A00J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#SSTV (statement). In 6HJQXZS0A6/e1, theorem 4.6
History
- 2026-10-29: add by m2/v0.4.12
free variable YCCMENF1S8
| URI | m2://inv/YCCMENF1S8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.2.3/free-variable, free variable (concept). In Y91XFCEVHQ, index, section 1.2.3
History
- 2026-11-01: add by m2/v0.6.13
Wilberd van der Kallen YCCTXYW1JD
| URI | m2://inv/YCCTXYW1JD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NC6N, Wilberd van der Kallen (topic)
History
- 2026-11-02: add by m2/dev
Ragsdale conjecture YCD1KVDW9J
| URI | m2://inv/YCD1KVDW9J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures#GAD0, Ragsdale conjecture (statement)
History
- 2026-11-02: add by m2/dev
Adaptive estimator YCD3TVHM83
| URI | m2://inv/YCD3TVHM83 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adaptive estimator, Adaptive estimator (definition). Also Wikidata Q4680738
History
- 2026-11-02: add by m2/dev
YCD7Q4CC8F YCD7Q4CC8F
| URI | m2://inv/YCD7Q4CC8F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.14811#I53C (statement). In QA5CM6HNM1/e1, theorem 8.1
History
- 2026-10-28: add by m2/v0.4.2
Kondo model YCDBG9BF2Z
| URI | m2://inv/YCDBG9BF2Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kondo model, Kondo model (definition). Also Wikidata Q1781236
History
- 2026-11-02: add by m2/dev
Partial free difference quotients YCDKJBS3X9
| URI | m2://inv/YCDKJBS3X9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-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.22109#5FEH, Partial free difference quotients (definition). In MZ60NP20BH/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.0
algebraically closed field YCDVSAHC6A
| URI | m2://inv/YCDVSAHC6A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Field theory > algebraically closed field, algebraically closed field (unknown). Also Mathlib IsAlgClosed
- mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > algebraically closed fields, algebraically closed fields (unknown). Also Mathlib IsAlgClosed
History
- 2026-10-26: add by m2/dev
YCE59FS87C YCE59FS87C
| URI | m2://inv/YCE59FS87C |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangular billiards#P2KM (problem)
History
- 2026-11-02: add by m2/dev
YCE8E6DAXJ YCE8E6DAXJ
| URI | m2://inv/YCE8E6DAXJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-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.17045#2BY5 (example). In PA6JQDSKQT/e1, example 4.11
History
- 2026-10-28: add by m2/v0.4.2
John Willard Milnor YCEAPN7MWM
| URI | m2://inv/YCEAPN7MWM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#D82D, John Willard Milnor (topic)
History
- 2026-11-02: add by m2/dev
Single-index tilts YCEBRXC5H2
| URI | m2://inv/YCEBRXC5H2 |
|---|---|
| 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#IEQB, Single-index tilts (statement). In N91F15MHW1/e1, lemma 16
History
- 2026-10-28: add by m2/v0.4.3
Integer factorization YCEE6CYTJS
| URI | m2://inv/YCEE6CYTJS |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#ERN5, Integer factorization (conjecture)
History
- 2026-11-02: add by m2/dev
Socioemotional selectivity theory YCEK6PT78T
| URI | m2://inv/YCEK6PT78T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#W2YT, Socioemotional selectivity theory (unknown)
History
- 2026-11-02: add by m2/dev
YCEKCQ8ANM YCEKCQ8ANM
| URI | m2://inv/YCEKCQ8ANM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.22681#Z35S (statement). In 68VEQQX68G/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.4.0
Formulation YCEPVKGWD4
| URI | m2://inv/YCEPVKGWD4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local zeta function#M6JJ, Formulation (definition)
History
- 2026-11-02: add by m2/dev
YCERH62HQP YCERH62HQP
| URI | m2://inv/YCERH62HQP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.07021#UBWN (statement). In H4CM84JVPC/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Generalizations of the parallelogram law and Ptolemy's theorem YCERXKAYD9
| URI | m2://inv/YCERXKAYD9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadrilateral#8RI8, Generalizations of the parallelogram law and Ptolemy's theorem (statement)
History
- 2026-11-02: add by m2/dev
Approximate point spectrum YCES6P3W5M
| URI | m2://inv/YCES6P3W5M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectrum (functional analysis)#OHDE, Approximate point spectrum (unknown)
History
- 2026-11-02: add by m2/dev
The Game of Logic YCEW410ZB1
| URI | m2://inv/YCEW410ZB1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Game of Logic, The Game of Logic (definition). Also Wikidata Q16838373
History
- 2026-11-02: add by m2/dev
Generalizations YCEW8GDE3H
| URI | m2://inv/YCEW8GDE3H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curvature#EDHC, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
affine Lie algebra YCEXCG0GZ7
| URI | m2://inv/YCEXCG0GZ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q632521, affine Lie algebra (unknown). Also nLab affine Lie algebra
- wikipedia: Wikipedia Affine Lie algebra, Affine Lie algebra (definition). Also Wikidata Q632521
History
- 2026-10-26: add by m2/dev
YCF0533MWS YCF0533MWS
| URI | m2://inv/YCF0533MWS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00144#N97U (definition). In HAZGBX88B3/e1, definition 2.6
History
- 2026-10-30: add by m2/v0.4.12
Amit Sahai YCF16S6EEX
| URI | m2://inv/YCF16S6EEX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#T4HS, Amit Sahai (unknown)
History
- 2026-11-02: add by m2/dev
positive YCF1FGV79T
| URI | m2://inv/YCF1FGV79T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#NDP7, positive (definition)
History
- 2026-11-02: add by m2/dev
YCF7MP6DJN YCF7MP6DJN
| URI | m2://inv/YCF7MP6DJN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/multivar.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 45.5
History
- 2026-11-01: add by m2/v0.6.13
YCFDFT9CS3 YCFDFT9CS3
| URI | m2://inv/YCFDFT9CS3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#NTPG (statement). In QX77AN49J0/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.4.2
YCFKQP7E21 YCFKQP7E21
| URI | m2://inv/YCFKQP7E21 |
|---|---|
| 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.14979#D4P2 (statement). In 6NH1VVZK1N/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
square of opposition YCFNEBDWWE
| URI | m2://inv/YCFNEBDWWE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#TN1J, square of opposition (definition)
History
- 2026-11-02: add by m2/dev
Two-column proof YCFZEPD6CG
| URI | m2://inv/YCFZEPD6CG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical proof#IA0J, Two-column proof (unknown)
History
- 2026-11-02: add by m2/dev
YCG245MD81 YCG245MD81
| URI | m2://inv/YCG245MD81 |
|---|---|
| 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.18106#BO3L (statement). In VZDPG7NJCX/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.2
Definition YCG65FDP31
| URI | m2://inv/YCG65FDP31 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gabor filter#CMFR, Definition (definition)
History
- 2026-11-02: add by m2/dev
YCG7JZ83ND YCG7JZ83ND
| URI | m2://inv/YCG7JZ83ND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/zfc.tex#definition-5 (definition). In RZP28ERRZV, definition, section 93.7
History
- 2026-11-01: add by m2/v0.6.13
Convolution theorem YCG941PCPY
| URI | m2://inv/YCG941PCPY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier transform#W2J8, Convolution theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition YCGFSCJZSH
| URI | m2://inv/YCGFSCJZSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic subgroup#Y5I8, Definition (definition)
History
- 2026-11-02: add by m2/dev
Scalar exchange inequality YCGQ9WC74A
| URI | m2://inv/YCGQ9WC74A |
|---|---|
| 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#FQ7X, Scalar exchange inequality (statement). In NKW6YQ04QW/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
Quantum algorithm YCGQCA6K2T
| URI | m2://inv/YCGQCA6K2T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithm general topics#7R3S, Quantum algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Construction YCGY00XK26
| URI | m2://inv/YCGY00XK26 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 4 21 polytope#84NU, Construction (definition)
History
- 2026-11-02: add by m2/dev
YCH0QYCFF2 YCH0QYCFF2
| URI | m2://inv/YCH0QYCFF2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17482#12SP (definition). In BQQK9JDJ9F/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Sally C. Morton YCH133R691
| URI | m2://inv/YCH133R691 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sally C. Morton, Sally C. Morton (topic). Also Wikidata Q41998674
History
- 2026-11-02: add by m2/dev
Particle horizon YCH6C8YTKG
| URI | m2://inv/YCH6C8YTKG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Particle horizon, Particle horizon (definition). Also Wikidata Q2482717
History
- 2026-11-02: add by m2/dev
YCHMWXY76T YCHMWXY76T
| URI | m2://inv/YCHMWXY76T |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/rank.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 74.4
History
- 2026-11-01: add by m2/v0.6.13
YCHPP31YWN YCHPP31YWN
| URI | m2://inv/YCHPP31YWN |
|---|---|
| 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.32816#3JZR (definition). In 10YV2P9E8W/e1, definition 2.4
History
- 2026-10-31: add by m2/v0.5.6
YCHR91AM6N YCHR91AM6N
| URI | m2://inv/YCHR91AM6N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.22514#DGOY (statement)
History
- 2026-11-02: add by m2/v0.6.17
Heptagon/Septagon YCHSDBJAJ2
| URI | m2://inv/YCHSDBJAJ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#F4AM, Heptagon/Septagon (definition)
History
- 2026-11-02: add by m2/dev
Constructive function theory YCHVY707K7
| URI | m2://inv/YCHVY707K7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#0CJT, Constructive function theory (definition)
History
- 2026-11-02: add by m2/dev
YCHXF58QFF YCHXF58QFF
| URI | m2://inv/YCHXF58QFF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24484#K33D (statement)
History
- 2026-11-01: add by m2/v0.6.15
\bar x and s chart YCJ4RPPQ3X
| URI | m2://inv/YCJ4RPPQ3X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#D1L7, \bar x and s chart (definition)
History
- 2026-11-02: add by m2/dev
YCJ7RZ24Q4 YCJ7RZ24Q4
| URI | m2://inv/YCJ7RZ24Q4 |
|---|---|
| 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.20345#5T1E (statement). In WVRRST04WS/e1, lemma 17
History
- 2026-10-27: add by m2/v0.4.2
Mañjula (astronomer) YCJA33B4H2
| URI | m2://inv/YCJA33B4H2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#VSAO, Mañjula (astronomer) (unknown)
History
- 2026-11-02: add by m2/dev
YCJA44ND20 YCJA44ND20
| URI | m2://inv/YCJA44ND20 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16731#VWSO (example). In D68KBZQ4Q6/e1, example 4.7
History
- 2026-10-28: add by m2/v0.4.2
YCJCD9393E YCJCD9393E
| URI | m2://inv/YCJCD9393E |
|---|---|
| Kind | example |
| 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.28803#QATX (example)
History
- 2026-11-01: add by m2/v0.6.15
Improved Stability Inequality YCJJ0PCZYP
| URI | m2://inv/YCJJ0PCZYP |
|---|---|
| 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.27516#07TI, Improved Stability Inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
YCJXH897EN YCJXH897EN
| URI | m2://inv/YCJXH897EN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03373#VQ00 (statement). In ZA7DBT3NWR/e1, proposition 3.13
History
- 2026-10-29: add by m2/v0.4.12
Hamidou Toure YCK0GAV4DG
| URI | m2://inv/YCK0GAV4DG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamidou Toure, Hamidou Toure (topic). Also Wikidata Q16946444
History
- 2026-11-02: add by m2/dev
YCK5J0BKV6 YCK5J0BKV6
| URI | m2://inv/YCK5J0BKV6 |
|---|---|
| Kind | example |
| 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.01247#65B6 (example). In 6EVNCRZ118/e1, example 22
History
- 2026-10-29: add by m2/v0.4.12
Finite-state compressor YCK5TG1GER
| URI | m2://inv/YCK5TG1GER |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal number#QJ9N, Finite-state compressor (unknown)
History
- 2026-11-02: add by m2/dev
YCK9RSX7EZ YCK9RSX7EZ
| URI | m2://inv/YCK9RSX7EZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12513#GIYV (statement). In VM9V8SXEA2/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.2
YCKAE5K2C4 YCKAE5K2C4
| URI | m2://inv/YCKAE5K2C4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#89F6 (statement). In X38P26DK6S/e1, lemma 5.23
History
- 2026-10-27: add by m2/v0.4.0
YCKWGAZTVS YCKWGAZTVS
| URI | m2://inv/YCKWGAZTVS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#VU6V (statement). In V5PVKDKGGG/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
Envelope bound YCM9B5CE7P
| URI | m2://inv/YCM9B5CE7P |
|---|---|
| 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.11007#548R, Envelope bound (statement). In MF0H78XZXC/e1, lemma A.8
History
- 2026-10-28: add by m2/v0.4.3
YCMAZVJZMX YCMAZVJZMX
| URI | m2://inv/YCMAZVJZMX |
|---|---|
| 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.33241#EP5C (statement). In NX6QV01PCE/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
SGC YCMG6SMEQK
| URI | m2://inv/YCMG6SMEQK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12641#C3JW, SGC (statement). In X5BYGZZHPF/e1, corollary F.5
History
- 2026-10-28: add by m2/v0.4.2
Pyramid YCMNDQSE9N
| URI | m2://inv/YCMNDQSE9N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#PRTH, Pyramid (definition)
History
- 2026-11-02: add by m2/dev
YCMNKB2J81 YCMNKB2J81
| URI | m2://inv/YCMNKB2J81 |
|---|---|
| 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 math/0411039#I56Q (statement). In ZTBDXSKFFW/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.3.5
YCMPQQHBWB YCMPQQHBWB
| URI | m2://inv/YCMPQQHBWB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#Y1TC (definition). In Z7E16PFFCP/e1, definition 3.19
History
- 2026-10-30: add by m2/v0.4.12
Gauss gun YCNESQKJFX
| URI | m2://inv/YCNESQKJFX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#BZZC, Gauss gun (unknown)
History
- 2026-11-02: add by m2/dev
Errors YCNGN1CXYY
| URI | m2://inv/YCNGN1CXYY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#BH83, Errors (definition). In WD2NCBV9F0/e1, definition 19.1
History
- 2026-10-27: add by m2/v0.3.5
UV mapping YCNPG1Y6XP
| URI | m2://inv/YCNPG1Y6XP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#WZDB, UV mapping (unknown)
History
- 2026-11-02: add by m2/dev
formal language YCNR82ZFDT
| URI | m2://inv/YCNR82ZFDT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#D3CF, formal language (definition)
History
- 2026-11-02: add by m2/dev
Sara Bareilles YCP67N0B4E
| URI | m2://inv/YCP67N0B4E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#F4KO, Sara Bareilles (unknown)
History
- 2026-11-02: add by m2/dev
YCP7MYHD60 YCP7MYHD60
| URI | m2://inv/YCP7MYHD60 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2304.03611#278J (definition). In 75E8ZB1CBV/e1, definition 4.1.1
History
- 2026-10-27: add by m2/v0.4.0
Clifford product YCPBENRKBM
| URI | m2://inv/YCPBENRKBM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clifford algebra#0SG5, Clifford product (unknown)
History
- 2026-11-02: add by m2/dev
Clarkson's inequalities YCPBMG54EW
| URI | m2://inv/YCPBMG54EW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clarkson's inequalities, Clarkson's inequalities (definition). Also Wikidata Q5127621
History
- 2026-11-02: add by m2/dev
YCPMS0M8Q3 YCPMS0M8Q3
| URI | m2://inv/YCPMS0M8Q3 |
|---|---|
| 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.11823#HXU5 (statement). In YNQHA63Z2B/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.3
YCPN010VMG YCPN010VMG
| URI | m2://inv/YCPN010VMG |
|---|---|
| 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#8HCS (statement). In 32MMSEVHYN/e1, lemma 2.11
History
- 2026-10-27: add by m2/v0.3.5
YCPN75WB8E YCPN75WB8E
| URI | m2://inv/YCPN75WB8E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04516#T41B (statement). In GZZBR0FX50/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.12
Archimedes of Syracuse YCPNF6R29C
| URI | m2://inv/YCPNF6R29C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#2A06, Archimedes of Syracuse (topic)
- wikipedia: Wikipedia List of publications in mathematics#WY84, Archimedes of Syracuse (topic)
History
- 2026-11-02: add by m2/dev
Fourth cumulant bound for weighted increments YCPPH4H4F8
| URI | m2://inv/YCPPH4H4F8 |
|---|---|
| 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.06372#5TYU, Fourth cumulant bound for weighted increments (statement). In G3E1P350Z6/e1, proposition 7.11
History
- 2026-10-29: add by m2/v0.4.10
YCPTG2X1JC YCPTG2X1JC
| URI | m2://inv/YCPTG2X1JC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#OX6P (statement). In RK0ZMDJ23T/e1, lemma 1.3.9
History
- 2026-10-31: add by m2/v0.5.6
YCQ0KB2RT5 YCQ0KB2RT5
| URI | m2://inv/YCQ0KB2RT5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07890#6LPN (example). In 6F3GSDT2V1/e1, example 3.4
History
- 2026-10-29: add by m2/v0.4.10
Multi-Scale Smoothed Discrepancy YCQ2G5B2QS
| URI | m2://inv/YCQ2G5B2QS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21017#QCNY, Multi-Scale Smoothed Discrepancy (statement)
History
- 2026-11-02: add by m2/v0.6.18
Compactness YCQ4PZ28WK
| URI | m2://inv/YCQ4PZ28WK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#5YJ0, Compactness (statement). In 65TJENWK7X/e1, lemma 31
History
- 2026-10-29: add by m2/v0.4.10
Statement YCQ5WBZ7GR
| URI | m2://inv/YCQ5WBZ7GR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental theorem of Riemannian geometry#ZM4D, Statement (statement)
History
- 2026-11-02: add by m2/dev
Tatyana Afanasyeva-Ehrenfest YCQ6YAD0TC
| URI | m2://inv/YCQ6YAD0TC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tatyana Afanasyeva-Ehrenfest, Tatyana Afanasyeva-Ehrenfest (topic). Also Wikidata Q463530
History
- 2026-11-02: add by m2/dev
YCQ8E6E3F1 YCQ8E6E3F1
| URI | m2://inv/YCQ8E6E3F1 |
|---|---|
| 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.24522#2CLF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Characterization of the geometric median YCQ8WG29K3
| URI | m2://inv/YCQ8WG29K3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric median#BJ4X, Characterization of the geometric median (statement)
History
- 2026-11-02: add by m2/dev
Simons Center for Geometry and Physics YCQE68FNVW
| URI | m2://inv/YCQE68FNVW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simons Center for Geometry and Physics, Simons Center for Geometry and Physics (definition). Also Wikidata Q7520479
History
- 2026-11-02: add by m2/dev
YCQPH38Z5K YCQPH38Z5K
| URI | m2://inv/YCQPH38Z5K |
|---|---|
| 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.19861#OAAT (statement). In 5ZPQ60TM6J/e1, theorem 5
History
- 2026-10-28: add by m2/v0.4.2
Applications YCQQWSXRN1
| URI | m2://inv/YCQQWSXRN1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NetworkX#AUMR, Applications (example)
History
- 2026-11-02: add by m2/dev
Kleene plus YCQTHZ5PEG
| URI | m2://inv/YCQTHZ5PEG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleene star#O2UO, Kleene plus (unknown)
History
- 2026-11-02: add by m2/dev
YCQYJY8XHQ YCQYJY8XHQ
| URI | m2://inv/YCQYJY8XHQ |
|---|---|
| Kind | example |
| 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 2610.20306#LN24 (example). In YG5EX49042/e1, example 2.5
History
- 2026-10-27: add by m2/v0.4.2
YCQYM0YNN4 YCQYM0YNN4
| URI | m2://inv/YCQYM0YNN4 |
|---|---|
| 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.33019#G8NN (statement). In R4V2A3Z5GP/e1, corollary 2.4
History
- 2026-10-31: add by m2/v0.5.6
Essential monomorphism YCR126K39Z
| URI | m2://inv/YCR126K39Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Essential monomorphism, Essential monomorphism (definition). Also Wikidata Q25099449
History
- 2026-11-02: add by m2/dev
excess kurtosis YCRGMD5ERQ
| URI | m2://inv/YCRGMD5ERQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q112631150, excess kurtosis (unknown). Also MathWorld KurtosisExcess
History
- 2026-10-26: add by m2/dev
YCRH536AAY YCRH536AAY
| URI | m2://inv/YCRH536AAY |
|---|---|
| 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 2501.17009#ZRHX (statement). In PESAKD6SSW/e1, corollary 5.13
History
- 2026-10-27: add by m2/v0.3.6
Semantic domain YCRHH2QMN2
| URI | m2://inv/YCRHH2QMN2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semantic domain, Semantic domain (definition). Also Wikidata Q7449058
History
- 2026-11-02: add by m2/dev
YCRKAMHKDV YCRKAMHKDV
| URI | m2://inv/YCRKAMHKDV |
|---|---|
| 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 2609.33162#NRS9 (definition). In RPC7VG3KHQ/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Bella Subbotovskaya YCS55131HA
| URI | m2://inv/YCS55131HA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#3QRG, Bella Subbotovskaya (topic)
History
- 2026-11-02: add by m2/dev
simple closed curve YCS558X3EK
| URI | m2://inv/YCS558X3EK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1392659, simple closed curve (definition). Also MathWorld JordanCurve, ProofWiki Definition:Jordan_Curve
History
- 2026-10-26: add by m2/dev
Channel capacity YCSBPN86VA
| URI | m2://inv/YCSBPN86VA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Channel capacity, Channel capacity (definition). Also Wikidata Q870845
History
- 2026-11-02: add by m2/dev
YCSFC051VV YCSFC051VV
| URI | m2://inv/YCSFC051VV |
|---|---|
| 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#F35Y (statement). In EDTV1EDV7M/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.12
Knapsack problem YCSJGYKC1Y
| URI | m2://inv/YCSJGYKC1Y |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#6KQV, Knapsack problem (problem)
- wikipedia: Wikipedia List of computability and complexity topics#HXGE, Knapsack problem (problem)
History
- 2026-11-02: add by m2/dev
YCSR1EJNJX YCSR1EJNJX
| URI | m2://inv/YCSR1EJNJX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-combperm.ptx#exercise-3 (exercise). In Y91XFCEVHQ, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
YCT72AE2AV YCT72AE2AV
| URI | m2://inv/YCT72AE2AV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18618#DWAF (statement). In C8VC86B6H8/e1, lemma A.7
History
- 2026-10-28: add by m2/v0.4.2
YCTCG0CJRT YCTCG0CJRT
| URI | m2://inv/YCTCG0CJRT |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31365#ACC0 (conjecture). In 19GENJ3NCP/e1, conjecture 1.1
History
- 2026-10-31: add by m2/v0.5.6
Institute for Advanced Study YCTMAYJ3JF
| URI | m2://inv/YCTMAYJ3JF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institute for Advanced Study, Institute for Advanced Study (definition). Also Wikidata Q635642
History
- 2026-11-02: add by m2/dev
subharmonic function YCTQAWTAQD
| URI | m2://inv/YCTQAWTAQD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Subharmonic function Z1MHMGFNFW |
Mentions
- wikidata: Wikidata Q753658, subharmonic function (concept). Also EoM Subharmonic_function, MathWorld SubharmonicFunction
- wikipedia: Wikipedia Subharmonic function, Subharmonic function (definition). Also Wikidata Q753658
History
- 2026-10-26: add by m2/dev
Existence theorem YCTTEHGHJ4
| URI | m2://inv/YCTTEHGHJ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#E17J, Existence theorem (statement)
History
- 2026-11-02: add by m2/dev
Matsuda YCV2RB2BXR
| URI | m2://inv/YCV2RB2BXR |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#SRM9, Matsuda (conjecture). In BSWNH3NW1M/e1, conjecture A
History
- 2026-10-27: add by m2/v0.3.5
Closure operator YCVAASMYHZ
| URI | m2://inv/YCVAASMYHZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#1RYK, Closure operator (definition)
History
- 2026-11-02: add by m2/dev
YCVARVB5YJ YCVARVB5YJ
| URI | m2://inv/YCVARVB5YJ |
|---|---|
| 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.24051#6SXS (statement)
History
- 2026-11-02: add by m2/v0.6.17
YCVFJN8BW3 YCVFJN8BW3
| URI | m2://inv/YCVFJN8BW3 |
|---|---|
| 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.09810#FXU6 (definition). In B6PCH930FV/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.10
(smooth) Hom bundle YCVKX7173W
| URI | m2://inv/YCVKX7173W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Smooth vector and fiber bundles > (smooth) Hom bundle, (smooth) Hom bundle (unknown). Also Mathlib ContMDiffVectorBundle.continuousLinearMap
History
- 2026-10-26: add by m2/dev
Embedded Machine Learning YCVMXDA238
| URI | m2://inv/YCVMXDA238 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Machine learning#8O20, Embedded Machine Learning (unknown)
History
- 2026-11-02: add by m2/dev
Comparison on a moving half-line YCVNT2M77P
| URI | m2://inv/YCVNT2M77P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33805#XC3Y, Comparison on a moving half-line (statement). In XM98BX97RT/e1, lemma C.1
History
- 2026-10-30: add by m2/v0.4.12
Bilu--Marques--Moreira YCVXGB5ESC
| URI | m2://inv/YCVXGB5ESC |
|---|---|
| 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.03988#NVK9, Bilu--Marques--Moreira (statement). In PQ2X97H1T9/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.12
YCW0YPQM9P YCW0YPQM9P
| URI | m2://inv/YCW0YPQM9P |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/completeness.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 62.2
History
- 2026-11-01: add by m2/v0.6.13
YCWMK63QMQ YCWMK63QMQ
| URI | m2://inv/YCWMK63QMQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33805#3IZF (statement). In XM98BX97RT/e1, lemma A.6
History
- 2026-10-30: add by m2/v0.4.12
Reverse triangle inequality for concave powers YCWNA2WHNY
| URI | m2://inv/YCWNA2WHNY |
|---|---|
| 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.00501#43E5, Reverse triangle inequality for concave powers (statement). In FTPW1SZ8D3/e1, lemma D.3
History
- 2026-10-30: add by m2/v0.4.12
YCX0790A4K YCX0790A4K
| URI | m2://inv/YCX0790A4K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37778#MPBD (statement). In V399QB419P/e1, corollary 3.2
History
- 2026-10-30: add by m2/v0.4.12
Commutative von Neumann algebra YCX7NFA0EB
| URI | m2://inv/YCX7NFA0EB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann algebra#3ZFD, Commutative von Neumann algebra (unknown)
History
- 2026-11-02: add by m2/dev
Louise M. Ryan YCX7QGYBTS
| URI | m2://inv/YCX7QGYBTS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#TPR2, Louise M. Ryan (topic)
History
- 2026-11-02: add by m2/dev
sequences and series of holomorphic functions YCX9NDW4MN
| URI | m2://inv/YCX9NDW4MN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > sequences and series of holomorphic functions, sequences and series of holomorphic functions (unknown)
History
- 2026-10-26: add by m2/dev
YCXM19C1DA YCXM19C1DA
| URI | m2://inv/YCXM19C1DA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15881#S5IZ (statement). In RK0JCSYK33/e1, lemma 1.1
History
- 2026-10-28: add by m2/v0.4.2
Sequential space YCXTTXH58R
| URI | m2://inv/YCXTTXH58R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#101N, Sequential space (definition)
History
- 2026-11-02: add by m2/dev
Applications YCY0DBVMYD
| URI | m2://inv/YCY0DBVMYD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exchangeable random variables#XTVG, Applications (example)
History
- 2026-11-02: add by m2/dev
YCY4FJW3CJ YCY4FJW3CJ
| URI | m2://inv/YCY4FJW3CJ |
|---|---|
| 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 2212.01916#H6OG (statement). In XTGB5Z08YH/e1, theorem 3.9
History
- 2026-10-27: add by m2/v0.4.0
Schur test YCY521P14T
| URI | m2://inv/YCY521P14T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#2A6H, Schur test (definition)
History
- 2026-11-02: add by m2/dev
YCY8HBAR7A YCY8HBAR7A
| URI | m2://inv/YCY8HBAR7A |
|---|---|
| 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.23685#RG2W (statement)
History
- 2026-11-02: add by m2/v0.6.17
Empirical quantiles YCYH6NAPX3
| URI | m2://inv/YCYH6NAPX3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23350#LRNJ, Empirical quantiles (definition)
History
- 2026-11-02: add by m2/v0.6.17
Statement YCYJA5DTNG
| URI | m2://inv/YCYJA5DTNG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolization theorem#9K5T, Statement (statement)
History
- 2026-11-02: add by m2/dev
YCYVHPZMYP YCYVHPZMYP
| URI | m2://inv/YCYVHPZMYP |
|---|---|
| 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.29205#C5QT (statement)
History
- 2026-11-01: add by m2/v0.6.15
YCZ3EVPPMJ YCZ3EVPPMJ
| URI | m2://inv/YCZ3EVPPMJ |
|---|---|
| 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.14240#2LHY (definition). In HGQCBDDMQJ/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Definition YCZ42F0CZP
| URI | m2://inv/YCZ42F0CZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergent series#Z98C, Definition (definition)
History
- 2026-11-02: add by m2/dev
Cauchy-continuous function YCZ8KXH0WG
| URI | m2://inv/YCZ8KXH0WG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy-continuous function, Cauchy-continuous function (definition). Also Wikidata Q5054337
History
- 2026-11-02: add by m2/dev
YCZ8XZXW1X YCZ8XZXW1X
| URI | m2://inv/YCZ8XZXW1X |
|---|---|
| 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 2203.15223#06QS (statement). In HSY17Q75DM/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
Lee distance YCZD0FP00F
| URI | m2://inv/YCZD0FP00F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lee distance, Lee distance (definition). Also Wikidata Q6515692
History
- 2026-11-02: add by m2/dev
YCZG8BHFPE YCZG8BHFPE
| URI | m2://inv/YCZG8BHFPE |
|---|---|
| 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 2609.40123#DZA3 (statement). In WK2YHYEDZ9/e1, proposition 8.1
History
- 2026-10-30: add by m2/v0.4.12
Formal definition YCZJTC7NSF
| URI | m2://inv/YCZJTC7NSF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lifting property#46J6, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
YCZNG3T7G2 YCZNG3T7G2
| URI | m2://inv/YCZNG3T7G2 |
|---|---|
| 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.02489#D6GO (statement). In ZCJDWDR16Z/e1, theorem 6.2
History
- 2026-10-29: add by m2/v0.4.12
One nondegenerate reference coupling suffices YCZVG11477
| URI | m2://inv/YCZVG11477 |
|---|---|
| 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#VC0O, One nondegenerate reference coupling suffices (statement). In 9YAE8FNQST/e1, corollary 10.10
History
- 2026-10-30: add by m2/v0.4.12
Peter McMullen YCZX4FATZQ
| URI | m2://inv/YCZX4FATZQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#K7DX, Peter McMullen (topic)
History
- 2026-11-02: add by m2/dev