Inventory rows VX
The cards of the rows of the inventory whose ids start with VX. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Two-dimensional volume-potential expansion VX03V8JV9R
| URI | m2://inv/VX03V8JV9R |
|---|---|
| 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.29565#11A6, Two-dimensional volume-potential expansion (statement)
History
- 2026-11-01: add by m2/v0.6.15
Results VX0XSP90TZ
| URI | m2://inv/VX0XSP90TZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-canonical variety#13I4, Results (statement)
History
- 2026-11-02: add by m2/dev
convexity of $\widehat Q_{\bf m}f$ VX0ZD9TZT1
| URI | m2://inv/VX0ZD9TZT1 |
|---|---|
| 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 2210.06147#BRTT, convexity of $\widehat Q_{\bf m}f$ (statement). In 94RBNQA07A/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.3.5
Measurable isomorphism and correspondence rules VX0ZEFN9QZ
| URI | m2://inv/VX0ZEFN9QZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#ZZHP, Measurable isomorphism and correspondence rules (statement). In TC5QA4AB4Z/e1, corollary 4.24
History
- 2026-10-30: add by m2/v0.4.12
VX1145JBTQ VX1145JBTQ
| URI | m2://inv/VX1145JBTQ |
|---|---|
| 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.34339#CHCJ (statement). In 9WFSTGMQ4E/e1, corollary 5.5
History
- 2026-10-30: add by m2/v0.4.12
Applications VX11P587E4
| URI | m2://inv/VX11P587E4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigid category#SP7Z, Applications (example)
History
- 2026-11-02: add by m2/dev
VX1CSHD0AC VX1CSHD0AC
| URI | m2://inv/VX1CSHD0AC |
|---|---|
| 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#VGJ2 (statement). In V5PVKDKGGG/e1, corollary 7.5
History
- 2026-10-28: add by m2/v0.4.2
Giovanni Battista Pisani VX1MMWJ5F9
| URI | m2://inv/VX1MMWJ5F9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giovanni Battista Pisani, Giovanni Battista Pisani (topic). Also Wikidata Q21208935
History
- 2026-11-02: add by m2/dev
Extreme opposite-side strip VX1YDH8X76
| URI | m2://inv/VX1YDH8X76 |
|---|---|
| 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.24931#HA40, Extreme opposite-side strip (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sophie Germain prime VX23PC9T7J
| URI | m2://inv/VX23PC9T7J |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q624025, Sophie Germain prime (object). Also MathWorld SophieGermainPrime, OEIS A005384
History
- 2026-10-26: add by m2/dev
Theorem (Optimality of Karhunen–Loève basis) VX25DW3CX0
| URI | m2://inv/VX25DW3CX0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kosambi–Karhunen–Loève theorem#JQRS, Theorem (Optimality of Karhunen–Loève basis) (statement)
History
- 2026-11-02: add by m2/dev
VX281N2N2C VX281N2N2C
| URI | m2://inv/VX281N2N2C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21540#TAT6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
fractional derivative VX2E852Q9R
| URI | m2://inv/VX2E852Q9R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q105659227, fractional derivative (unknown). Also MathWorld FractionalDerivative
History
- 2026-10-26: add by m2/dev
VX2S5JV04M VX2S5JV04M
| URI | m2://inv/VX2S5JV04M |
|---|---|
| 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 2504.00267#CYZA (definition). In 38XJWDZ2PH/e1, definition 4.8
History
- 2026-10-27: add by m2/v0.3.5
Monte Scheinblum VX2WJHDCXN
| URI | m2://inv/VX2WJHDCXN |
|---|---|
| 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#5U8P, Monte Scheinblum (unknown)
History
- 2026-11-02: add by m2/dev
VX2YV7KDJK VX2YV7KDJK
| URI | m2://inv/VX2YV7KDJK |
|---|---|
| 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.35360#OQGD (statement). In 770AQ8T366/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
Unimodal distribution VX30DMDS5V
| URI | m2://inv/VX30DMDS5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZVUZ, Unimodal distribution (definition)
History
- 2026-11-02: add by m2/dev
Edith Abbott VX38YK9Q5V
| URI | m2://inv/VX38YK9Q5V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#M2U3, Edith Abbott (unknown)
History
- 2026-11-02: add by m2/dev
VX3FKC7ZQ8 VX3FKC7ZQ8
| URI | m2://inv/VX3FKC7ZQ8 |
|---|---|
| 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 2505.08839#X5SI (statement). In HJPDS53MX4/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.4.0
Quadratic graded trace VX3VY0QN9R
| URI | m2://inv/VX3VY0QN9R |
|---|---|
| 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 2610.10583#G5QJ, Quadratic graded trace (statement). In 5BZQS1KY9A/e1, lemma 9.18
History
- 2026-10-29: add by m2/v0.4.10
Properties VX3ZWZN9QC
| URI | m2://inv/VX3ZWZN9QC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unlink#DH8G, Properties (statement)
History
- 2026-11-02: add by m2/dev
Gene expression profiling VX4BKZPM2E
| URI | m2://inv/VX4BKZPM2E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#M8SC, Gene expression profiling (unknown)
History
- 2026-11-02: add by m2/dev
Uta Merzbach VX4FDDKXDG
| URI | m2://inv/VX4FDDKXDG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#44NL, Uta Merzbach (topic)
History
- 2026-11-02: add by m2/dev
VX4HEZ4A9M VX4HEZ4A9M
| URI | m2://inv/VX4HEZ4A9M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17817#ASID (statement). In M8TSJ24RC2/e1, lemma 2.10
History
- 2026-10-28: add by m2/v0.4.2
VX4J8GTP31 VX4J8GTP31
| URI | m2://inv/VX4J8GTP31 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19214#XY19 (statement). In WZPD7TNNY9/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Fractional wavelet transform VX4K4HN5H5
| URI | m2://inv/VX4K4HN5H5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractional wavelet transform, Fractional wavelet transform (definition). Also Wikidata Q5477563
History
- 2026-11-02: add by m2/dev
Concentration of support VX4KGBNT9E
| URI | m2://inv/VX4KGBNT9E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20609#SZSB, Concentration of support (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mean value theorems for definite integrals VX4MCDGTXN
| URI | m2://inv/VX4MCDGTXN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean value theorem#3VMY, Mean value theorems for definite integrals (statement)
History
- 2026-11-02: add by m2/dev
Voltage graph VX4N3R7D1M
| URI | m2://inv/VX4N3R7D1M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Voltage graph, Voltage graph (definition). Also Wikidata Q7940747
History
- 2026-11-02: add by m2/dev
VX4WPPZFWY VX4WPPZFWY
| URI | m2://inv/VX4WPPZFWY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#ZX22 (definition). In TC5QA4AB4Z/e1, definition 4.2
History
- 2026-10-30: add by m2/v0.4.12
Alignments of random points VX54JMMTZ3
| URI | m2://inv/VX54JMMTZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alignments of random points, Alignments of random points (definition). Also Wikidata Q4726582
History
- 2026-11-02: add by m2/dev
International gravity formula 1980 VX562HFRYM
| URI | m2://inv/VX562HFRYM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theoretical gravity#VCML, International gravity formula 1980 (statement)
History
- 2026-11-02: add by m2/dev
Applications VX591VAW9T
| URI | m2://inv/VX591VAW9T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Most probable number#POTH, Applications (example)
History
- 2026-11-02: add by m2/dev
Application VX5GKP6BZZ
| URI | m2://inv/VX5GKP6BZZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Five safes#RZC6, Application (example)
History
- 2026-11-02: add by m2/dev
VX5PAZWVH2 VX5PAZWVH2
| URI | m2://inv/VX5PAZWVH2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30067#NWCA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Renkonen similarity index VX5X00561K
| URI | m2://inv/VX5X00561K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#43DK, Renkonen similarity index (definition)
History
- 2026-11-02: add by m2/dev
Theorem of Miquel VX5X3NAPTB
| URI | m2://inv/VX5X3NAPTB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laguerre plane#TXQ7, Theorem of Miquel (statement)
History
- 2026-11-02: add by m2/dev
VX5ZH6JRHT VX5ZH6JRHT
| URI | m2://inv/VX5ZH6JRHT |
|---|---|
| Kind | example |
| 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.20153#77U6 (example)
History
- 2026-11-02: add by m2/v0.6.18
VX68JDQ5P5 VX68JDQ5P5
| URI | m2://inv/VX68JDQ5P5 |
|---|---|
| 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.28046#6GT0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
VX68ZSWN2E VX68ZSWN2E
| URI | m2://inv/VX68ZSWN2E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.12846#JB1S (statement). In D6XA7JXZF3/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.3.5
VX691RN165 VX691RN165
| URI | m2://inv/VX691RN165 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06463#NQPG (statement). In 3WWY9K1K9V/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.10
VX6ADATHYF VX6ADATHYF
| URI | m2://inv/VX6ADATHYF |
|---|---|
| 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.39269#6IMK (statement). In HS4X20TX33/e1, corollary 0.31
History
- 2026-10-30: add by m2/v0.4.12
Bousfield localization VX6JEHP9PY
| URI | m2://inv/VX6JEHP9PY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17003697, Bousfield localization (unknown). Also nLab Bousfield localization
- wikipedia: Wikipedia Bousfield localization, Bousfield localization (definition). Also Wikidata Q17003697
History
- 2026-10-26: add by m2/dev
VX6V6QGFKB VX6V6QGFKB
| URI | m2://inv/VX6V6QGFKB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14051#YBM3 (definition). In ZQ78SP5JBS/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
VX6V90HYFM VX6V90HYFM
| URI | m2://inv/VX6V90HYFM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#ex_graphs_first-fit-color (exercise). In QKM9DD2H56, exercise, section 5
History
- 2026-11-01: add by m2/v0.6.13
VX6WHW4X9E VX6WHW4X9E
| URI | m2://inv/VX6WHW4X9E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20306#9DQ8 (statement). In YG5EX49042/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.2
Arithmologia VX7BN81K27
| URI | m2://inv/VX7BN81K27 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmologia, Arithmologia (definition). Also Wikidata Q97356156
History
- 2026-11-02: add by m2/dev
VX7C932KH3 VX7C932KH3
| URI | m2://inv/VX7C932KH3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/representing-relations.tex#thm:representing-rels (statement). In PKGMM3P5QY, thm, section 30.2
History
- 2026-11-01: add by m2/v0.6.13
Bell's theorem VX7MJP7NH9
| URI | m2://inv/VX7MJP7NH9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 81-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q388525, Bell's theorem (statement). Also Wikidata Q388525
- thousand_plus: thousand_plus Q388525, Bell's theorem (statement). Also Wikidata Q388525, Wikipedia Bell's theorem
- wikidata: Wikidata Q388525, Bell's theorem (unknown). Also EoM Bell_inequalities, nLab Bell's inequalities, nLab Bell's theorem
- wikipedia: Wikipedia Bell's theorem, Bell's theorem (statement). Also Wikidata Q388525
History
- 2026-10-26: add by m2/dev
Envelope VX7P9MKVKS
| URI | m2://inv/VX7P9MKVKS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26129#ANQ0, Envelope (statement)
History
- 2026-11-01: add by m2/v0.6.15
VX81D8SA2R VX81D8SA2R
| URI | m2://inv/VX81D8SA2R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.14045#YM3S (statement). In KZ71GXT2B0/e1, theorem 6.15
History
- 2026-10-28: add by m2/v0.4.2
VX82EKZ87P VX82EKZ87P
| URI | m2://inv/VX82EKZ87P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#1RVW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition VX8ATPS1R2
| URI | m2://inv/VX8ATPS1R2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entanglement of formation#A4T2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Representations VX8BHYYKE4
| URI | m2://inv/VX8BHYYKE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie algebra#APPQ, Representations (definition)
History
- 2026-11-02: add by m2/dev
Bourget's hypothesis VX8ZHZ026D
| URI | m2://inv/VX8ZHZ026D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bessel function#HSF3, Bourget's hypothesis (statement)
History
- 2026-11-02: add by m2/dev
VX96582DTW VX96582DTW
| URI | m2://inv/VX96582DTW |
|---|---|
| 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.36334#13F5 (statement). In YVB70SBGN1/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
VX9CCTVEV0 VX9CCTVEV0
| URI | m2://inv/VX9CCTVEV0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/long-exact.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 54.3
History
- 2026-11-01: add by m2/v0.6.13
Corrector derivative VX9FAABC0B
| URI | m2://inv/VX9FAABC0B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06308#RT7C, Corrector derivative (statement). In HTWSDDAWGS/e1, lemma A.5
History
- 2026-10-29: add by m2/v0.4.10
PGM lower bound VX9FPY5X5F
| URI | m2://inv/VX9FPY5X5F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40271#SFH0, PGM lower bound (statement). In 9MXMRKFKDW/e1, lemma 6.2
History
- 2026-10-30: add by m2/v0.4.12
VX9P4BM4Y7 VX9P4BM4Y7
| URI | m2://inv/VX9P4BM4Y7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-147 (exercise). In VNMV985MXX, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
\textbf{Mixing time of Euler-type ULMC beyond log-concavity VX9QHF582V
| URI | m2://inv/VX9QHF582V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20713#1HSI, \textbf{Mixing time of Euler-type ULMC beyond log-concavity (statement)
History
- 2026-11-02: add by m2/v0.6.18
VX9TP098ZT VX9TP098ZT
| URI | m2://inv/VX9TP098ZT |
|---|---|
| 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 1607.01095#XLGK (statement). In W3T1ZAT3GC/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.3.5
Li Zhi VX9WYSKGFK
| URI | m2://inv/VX9WYSKGFK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#K9S8, Li Zhi (topic)
History
- 2026-11-02: add by m2/dev
The scalar minimum criterion VXA8Q0PBM0
| URI | m2://inv/VXA8Q0PBM0 |
|---|---|
| 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.15369#5L2E, The scalar minimum criterion (statement). In JESNVAZEYT/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.2
moth graph VXAFCK02B6
| URI | m2://inv/VXAFCK02B6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115584, moth graph (unknown). Also House of Graphs 1232, MathWorld MothGraph
History
- 2026-10-26: add by m2/dev
Properties VXARN9ZT0K
| URI | m2://inv/VXARN9ZT0K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indescribable cardinal#Q8HY, Properties (statement)
History
- 2026-11-02: add by m2/dev
Characterizations VXAXZ685MR
| URI | m2://inv/VXAXZ685MR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck space#7HKU, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Stationary exit with arbitrary memory VXB0G9VSW3
| URI | m2://inv/VXB0G9VSW3 |
|---|---|
| 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#B4GV, Stationary exit with arbitrary memory (statement). In 9YAE8FNQST/e1, lemma 25.2
History
- 2026-10-30: add by m2/v0.4.12
Example VXB3FWAVVK
| URI | m2://inv/VXB3FWAVVK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Itô diffusion#BWTO, Example (example)
History
- 2026-11-02: add by m2/dev
Symmetric fair cake-cutting VXBBRZ06HJ
| URI | m2://inv/VXBBRZ06HJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric fair cake-cutting, Symmetric fair cake-cutting (definition). Also Wikidata Q77596031
History
- 2026-11-02: add by m2/dev
Refined layer-cake decomposition VXBCMX2XVC
| URI | m2://inv/VXBCMX2XVC |
|---|---|
| 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.18797#5NP8, Refined layer-cake decomposition (statement). In HVZW77G66Z/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
VXBDR5APK2 VXBDR5APK2
| URI | m2://inv/VXBDR5APK2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13670#60V3 (statement). In 4PGTZ19B26/e1, lemma 5.3
History
- 2026-10-28: add by m2/v0.4.2
VXBQ08P4BG VXBQ08P4BG
| URI | m2://inv/VXBQ08P4BG |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pathwidth#ZZBP (problem)
- wikipedia: Wikipedia Cubic graph#XAP0 (problem)
History
- 2026-11-02: add by m2/dev
VXBS3HJXTF VXBS3HJXTF
| URI | m2://inv/VXBS3HJXTF |
|---|---|
| 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#IOC2 (statement). In V42PPD7SWH/e1, lemma 4.1
History
- 2026-10-31: add by m2/v0.5.6
VXBY7HNBNR VXBY7HNBNR
| URI | m2://inv/VXBY7HNBNR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18632#KMQS (definition). In PTM5MVD4M0/e1, definition Definition
History
- 2026-10-28: add by m2/v0.4.2
VXC14ZW7K5 VXC14ZW7K5
| URI | m2://inv/VXC14ZW7K5 |
|---|---|
| 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.21494#3YRL (statement). In ZWT4C1DYPE/e1, lemma 8.7
History
- 2026-10-27: add by m2/v0.4.2
VXC3EAPAGK VXC3EAPAGK
| URI | m2://inv/VXC3EAPAGK |
|---|---|
| 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.33679#N3U8 (statement). In 3N9E9T6AF5/e1, corollary 1.4
History
- 2026-10-30: add by m2/v0.4.12
Ramanujan conjecture VXCA9F4G57
| URI | m2://inv/VXCA9F4G57 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramanujan–Petersson conjecture#CSTR, Ramanujan conjecture (statement)
History
- 2026-11-02: add by m2/dev
VXCAMC04DQ VXCAMC04DQ
| URI | m2://inv/VXCAMC04DQ |
|---|---|
| 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.03837#6SQ3 (statement). In TX88QS0A8M/e1, lemma 9
History
- 2026-10-29: add by m2/v0.4.12
Illusion of validity VXCBEE9SBY
| URI | m2://inv/VXCBEE9SBY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#N714, Illusion of validity (unknown)
History
- 2026-11-02: add by m2/dev
Algorithm VXCE6VSE9C
| URI | m2://inv/VXCE6VSE9C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton's method#V459, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
VXCEKB5FB5 VXCEKB5FB5
| URI | m2://inv/VXCEKB5FB5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/abelian.tex#definition-5 (definition). In RZP28ERRZV, definition, section 35.2
History
- 2026-11-01: add by m2/v0.6.13
symmetric polynomial VXCFMQFY17
| URI | m2://inv/VXCFMQFY17 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Symmetric polynomial 06CTFY2DEZ |
Mentions
- wikidata: Wikidata Q930499, symmetric polynomial (unknown). Also EoM Symmetric_polynomial, MathWorld SymmetricPolynomial
- wikipedia: Wikipedia Symmetric polynomial, Symmetric polynomial (definition). Also Wikidata Q930499
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Applications VXCG8BX2FE
| URI | m2://inv/VXCG8BX2FE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ε-quadratic form#OUP5, Applications (example)
History
- 2026-11-02: add by m2/dev
Plotting position VXCGNTX2E6
| URI | m2://inv/VXCGNTX2E6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q–Q plot#OFZ1, Plotting position (unknown)
History
- 2026-11-02: add by m2/dev
Faugère F4 algorithm VXCSB9B3JY
| URI | m2://inv/VXCSB9B3JY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#N2RD, Faugère F4 algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Lagrange Polynomials of an Interpolation Configuration VXD51E3G7S
| URI | m2://inv/VXD51E3G7S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13222#IJX2, Lagrange Polynomials of an Interpolation Configuration (statement). In Z6WA2R0J50/e1, lemma D.7
History
- 2026-10-28: add by m2/v0.4.2
VXD5DHVY9V VXD5DHVY9V
| URI | m2://inv/VXD5DHVY9V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#c1uniflim:exercise (exercise). In E59CDZA4DP, exercise, section 9.2.5
History
- 2026-11-01: add by m2/v0.6.13
VXD71Y6M19 VXD71Y6M19
| URI | m2://inv/VXD71Y6M19 |
|---|---|
| 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 2604.02255#HVHZ (statement). In 14NGZPH8B9/e1, corollary 3
History
- 2026-11-02: add by m2/v0.6.18
VXD937B04Y VXD937B04Y
| URI | m2://inv/VXD937B04Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-12 (exercise). In Y91XFCEVHQ, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Kulldorff, Gunnar VXDHJSQ1AZ
| URI | m2://inv/VXDHJSQ1AZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#JMR8, Kulldorff, Gunnar (topic)
History
- 2026-11-02: add by m2/dev
VXDNN8Z225 VXDNN8Z225
| URI | m2://inv/VXDNN8Z225 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07695#Z1TX (statement). In 8Z47D12KSX/e1, corollary 12.6
History
- 2026-10-29: add by m2/v0.4.10
VXDVKE96BM VXDVKE96BM
| URI | m2://inv/VXDVKE96BM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#TGDI (statement). In AGJE43FTF8/e1, lemma 5.11
History
- 2026-10-27: add by m2/v0.4.2
Formation matrix VXDXJDY7B9
| URI | m2://inv/VXDXJDY7B9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#F2OR, Formation matrix (definition)
History
- 2026-11-02: add by m2/dev
Quantum Fisher information VXE41AY7ZX
| URI | m2://inv/VXE41AY7ZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum Fisher information, Quantum Fisher information (definition). Also Wikidata Q85795245
History
- 2026-11-02: add by m2/dev
VPH diffraction gratings VXE7BMDH68
| URI | m2://inv/VXE7BMDH68 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diffraction grating#78T4, VPH diffraction gratings (definition)
- wikipedia: Wikipedia Diffraction grating#UY4K, volume-phase holography diffraction gratings (definition)
History
- 2026-11-02: add by m2/dev
VXEKS7D0RR VXEKS7D0RR
| URI | m2://inv/VXEKS7D0RR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20077#AD47 (statement). In W5XRKWDADE/e1, lemma 6.10
History
- 2026-10-27: add by m2/v0.4.2
Eugene L. Grant VXEQKZSJYH
| URI | m2://inv/VXEQKZSJYH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#MVEW, Eugene L. Grant (unknown)
History
- 2026-11-02: add by m2/dev
Other theorems VXERPXKDGS
| URI | m2://inv/VXERPXKDGS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cover's theorem#H3W0, Other theorems (statement)
History
- 2026-11-02: add by m2/dev
VXEYMCMHJY VXEYMCMHJY
| URI | m2://inv/VXEYMCMHJY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02642#A1VR (statement). In VMWV58VWKN/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
VXF0KPE9J7 VXF0KPE9J7
| URI | m2://inv/VXF0KPE9J7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0809.0068#XIHX (definition). In MBKYGM01FK/e1, definition 1.12
History
- 2026-10-27: add by m2/v0.3.5
Cronbach's alpha VXF4JD4ZHE
| URI | m2://inv/VXF4JD4ZHE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#E9KT, Cronbach's alpha (definition)
History
- 2026-11-02: add by m2/dev
Walther Mayer VXFDF6DQM3
| URI | m2://inv/VXFDF6DQM3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#4F7X, Walther Mayer (topic)
History
- 2026-11-02: add by m2/dev
Walther Mayer VXFEP8ASY1
| URI | m2://inv/VXFEP8ASY1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#F4PK, Walther Mayer (topic)
History
- 2026-11-02: add by m2/dev
Distance bounds VXFFTVMZNW
| URI | m2://inv/VXFFTVMZNW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31535#LYKO, Distance bounds (statement). In BAWCMJQGVA/e1, proposition 3.1
History
- 2026-10-31: add by m2/v0.5.6
Mazur–Ulam theorem VXFH0CDJKY
| URI | m2://inv/VXFH0CDJKY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1660147, Mazur–Ulam theorem (statement). Also Wikidata Q1660147
- thousand_plus: thousand_plus Q1660147, Mazur–Ulam theorem (statement). Also Wikidata Q1660147, Wikipedia Mazur–Ulam theorem
- wikipedia: Wikipedia Mazur–Ulam theorem, Mazur–Ulam theorem (statement). Also Wikidata Q1660147
History
- 2026-10-26: add by m2/dev
Statement of the lemma VXFH8S2337
| URI | m2://inv/VXFH8S2337 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Malliavin's absolute continuity lemma#D1MF, Statement of the lemma (statement)
History
- 2026-11-02: add by m2/dev
Orbital integral VXFS47MJ27
| URI | m2://inv/VXFS47MJ27 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbital integral, Orbital integral (definition). Also Wikidata Q7100075
History
- 2026-11-02: add by m2/dev
VXG872MZ7X VXG872MZ7X
| URI | m2://inv/VXG872MZ7X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#N8YL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Local sufficiency VXG8TVQWCG
| URI | m2://inv/VXG8TVQWCG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#TYIB, Local sufficiency (statement). In P3RTT99C41/e1, lemma 7.7
History
- 2026-10-30: add by m2/v0.4.12
statampere VXG9K9D9P2
| URI | m2://inv/VXG9K9D9P2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25559952, statampere (definition). Also ProofWiki Definition:Statampere
History
- 2026-10-26: add by m2/dev
Chen distribution VXGMK343F4
| URI | m2://inv/VXGMK343F4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#B9AK, Chen distribution (unknown)
History
- 2026-11-02: add by m2/dev
VXGMYM36V3 VXGMYM36V3
| URI | m2://inv/VXGMYM36V3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#EHWE (definition)
History
- 2026-11-01: add by m2/v0.6.15
Bias in observational studies VXGTWR9W1G
| URI | m2://inv/VXGTWR9W1G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Observational study#KBYL, Bias in observational studies (unknown)
History
- 2026-11-02: add by m2/dev
VXH2TWC20W VXH2TWC20W
| URI | m2://inv/VXH2TWC20W |
|---|---|
| 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.09648#HM16 (statement). In WB9PTPN54H/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
VXH4TDTDQJ VXH4TDTDQJ
| URI | m2://inv/VXH4TDTDQJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21078#PM2G (statement). In S95P85BHRQ/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.4.2
VXH5FHQV6Z VXH5FHQV6Z
| URI | m2://inv/VXH5FHQV6Z |
|---|---|
| Kind | example |
| 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.16475#I3UX (example). In FM9SKN560Q/e1, example 3.2
History
- 2026-10-28: add by m2/v0.4.2
VXH5S4JY50 VXH5S4JY50
| URI | m2://inv/VXH5S4JY50 |
|---|---|
| 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 2011.08789#C1SG (statement). In 43AGRMP7T3/e1, lemma 1.11
History
- 2026-10-27: add by m2/v0.3.5
Symmetry VXH7JQKH8Y
| URI | m2://inv/VXH7JQKH8Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snub pentapentagonal tiling#F9XK, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
VXHB8F875Y VXHB8F875Y
| URI | m2://inv/VXHB8F875Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/more-soundness.tex#prop:soundness-T (statement). In PKGMM3P5QY, prop, section 55.8
History
- 2026-11-01: add by m2/v0.6.13
VXHGCGAVQK VXHGCGAVQK
| URI | m2://inv/VXHGCGAVQK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/deduction-theorem.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 8.4
History
- 2026-11-01: add by m2/v0.6.13
Kozai mechanism VXHPADDRKS
| URI | m2://inv/VXHPADDRKS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kozai mechanism, Kozai mechanism (definition). Also Wikidata Q938901
History
- 2026-11-02: add by m2/dev
VXHVF6G62Z VXHVF6G62Z
| URI | m2://inv/VXHVF6G62Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14441#KO4U (statement). In 4A5K50EVBT/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
VXJ2XKY791 VXJ2XKY791
| URI | m2://inv/VXJ2XKY791 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/substitution.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 27.8
History
- 2026-11-01: add by m2/v0.6.13
VXJ9M6J46T VXJ9M6J46T
| URI | m2://inv/VXJ9M6J46T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05312#6JDR (statement). In 1CMMK399WQ/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
Vortex method VXJA3FPRE7
| URI | m2://inv/VXJA3FPRE7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational fluid dynamics#YMER, Vortex method (unknown)
History
- 2026-11-02: add by m2/dev
Sensitivity of Local Minimizer VXJX1N8HEP
| URI | m2://inv/VXJX1N8HEP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37489#29KC, Sensitivity of Local Minimizer (statement). In 5ZC91T5PHQ/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
VXK1VM6BKV VXK1VM6BKV
| URI | m2://inv/VXK1VM6BKV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33313#LNKC (example). In HRCEFY172P/e1, example 4.8
History
- 2026-10-30: add by m2/v0.4.12
echelon form VXK21GH1YG
| URI | m2://inv/VXK21GH1YG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/2.3.2/echelon-form, echelon form (concept). In E9HS8K3A52, index, section 2.3.2
History
- 2026-11-01: add by m2/v0.6.13
VXK22K3PCR VXK22K3PCR
| URI | m2://inv/VXK22K3PCR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22394#BXED (statement)
History
- 2026-11-02: add by m2/v0.6.17
VXKBQ02QYK VXKBQ02QYK
| URI | m2://inv/VXKBQ02QYK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-83 (exercise). In E9HS8K3A52, exercise, section 10.8.2
History
- 2026-11-01: add by m2/v0.6.13
VXKF6FENFC VXKF6FENFC
| URI | m2://inv/VXKF6FENFC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20725#J2QI (statement)
History
- 2026-11-02: add by m2/v0.6.18
Properties VXKZHD1XME
| URI | m2://inv/VXKZHD1XME |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Accumulation point#DUOO, Properties (statement)
History
- 2026-11-02: add by m2/dev
VXM1369Z4X VXM1369Z4X
| URI | m2://inv/VXM1369Z4X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-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 2603.07541#6TCS (statement). In X3RFXWN6FW/e1, corollary 5.7
History
- 2026-10-27: add by m2/v0.3.6
Open mapping theorem VXM58DV133
| URI | m2://inv/VXM58DV133 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological homomorphism#7HN1, Open mapping theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition VXM9SFNRNA
| URI | m2://inv/VXM9SFNRNA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pathological science#LRF9, Definition (definition)
History
- 2026-11-02: add by m2/dev
VXMBZ0NPND VXMBZ0NPND
| URI | m2://inv/VXMBZ0NPND |
|---|---|
| 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.20492#12EW (statement)
History
- 2026-11-02: add by m2/v0.6.18
VXMDMKKHKV VXMDMKKHKV
| URI | m2://inv/VXMDMKKHKV |
|---|---|
| Kind | problem |
| 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.03121#SDH8 (problem). In T50D36FB04/e1, problem 7.1
History
- 2026-10-29: add by m2/v0.4.12
Karl Marx VXMHZB1DZT
| URI | m2://inv/VXMHZB1DZT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#3ELS, Karl Marx (unknown)
History
- 2026-11-02: add by m2/dev
Formal definition VXMKVG532R
| URI | m2://inv/VXMKVG532R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-relator group#RVF1, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
VXMM954G00 VXMM954G00
| URI | m2://inv/VXMM954G00 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.12846#7856 (example). In D6XA7JXZF3/e1, example 4.6
History
- 2026-10-27: add by m2/v0.3.5
antipoint VXMP0GG61M
| URI | m2://inv/VXMP0GG61M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#C2B7, antipoint (definition)
History
- 2026-11-02: add by m2/dev
VXMRF1RMAK VXMRF1RMAK
| URI | m2://inv/VXMRF1RMAK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19300#SGCT (statement). In S6S4RD5VXJ/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Opinion polling for the 1966 United Kingdom general election VXMVD7Q43E
| URI | m2://inv/VXMVD7Q43E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opinion polling for the 1966 United Kingdom general election, Opinion polling for the 1966 United Kingdom general election (definition). Also Wikidata Q105730664
History
- 2026-11-02: add by m2/dev
VXMX43YVG2 VXMX43YVG2
| URI | m2://inv/VXMX43YVG2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18673#J6Y7 (statement). In 7ZFD9XRKA1/e1, proposition 2.20
History
- 2026-10-28: add by m2/v0.4.2
VXN0KFJSTR VXN0KFJSTR
| URI | m2://inv/VXN0KFJSTR |
|---|---|
| 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.29111#J9EQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Wiener–Ikehara theorem VXN79A2F19
| URI | m2://inv/VXN79A2F19 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7999144, Wiener–Ikehara theorem (statement). Also Wikidata Q7999144
- thousand_plus: thousand_plus Q7999144, Wiener–Ikehara theorem (statement). Also Wikidata Q7999144, Wikipedia Wiener–Ikehara theorem
- wikipedia: Wikipedia Wiener–Ikehara theorem, Wiener–Ikehara theorem (statement). Also Wikidata Q7999144
History
- 2026-10-26: add by m2/dev
VXN7M2W0YS VXN7M2W0YS
| URI | m2://inv/VXN7M2W0YS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25188#ETSI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition VXNAS1YCC2
| URI | m2://inv/VXNAS1YCC2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volterra lattice#2LBU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Johnson circles VXNFRKHVM7
| URI | m2://inv/VXNFRKHVM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q782891, Johnson circles (unknown). Also MathWorld JohnsonCircles
- wikipedia: Wikipedia Johnson circles, Johnson circles (definition). Also Wikidata Q782891
History
- 2026-10-26: add by m2/dev
E-free homomorphism VXNJ2XKENE
| URI | m2://inv/VXNJ2XKENE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homomorphism#9QZY, E-free homomorphism (unknown)
History
- 2026-11-02: add by m2/dev
Terminology VXNRZGD1GY
| URI | m2://inv/VXNRZGD1GY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Literary device#LMJP, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Smooth functional calculus from a resolvent comparison VXP18P5TMB
| URI | m2://inv/VXP18P5TMB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06875#3DUD, Smooth functional calculus from a resolvent comparison (statement). In ZDT5J9KQVQ/e1, lemma H.2
History
- 2026-10-29: add by m2/v0.4.10
Constant directions VXP3NYXV4N
| URI | m2://inv/VXP3NYXV4N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27966#HKDX, Constant directions (statement)
History
- 2026-11-01: add by m2/v0.6.15
VXP53KYJ82 VXP53KYJ82
| URI | m2://inv/VXP53KYJ82 |
|---|---|
| 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 2110.11783#B47S (statement). In X2YDBWNCBT/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Stein exponents for block-i.i.d. product probe states VXP739EBBC
| URI | m2://inv/VXP739EBBC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40355#3GY3, Stein exponents for block-i.i.d. product probe states (statement). In SBP98GWKC8/e1, corollary 1.3
History
- 2026-10-30: add by m2/v0.4.12
Tukey's range test VXPB74XVTQ
| URI | m2://inv/VXPB74XVTQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tukey's range test, Tukey's range test (definition). Also Wikidata Q4438527
History
- 2026-11-02: add by m2/dev
Infinite descent VXPFADQ4NH
| URI | m2://inv/VXPFADQ4NH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#1Q3B, Infinite descent (definition)
History
- 2026-11-02: add by m2/dev
Simultaneous local Gaussian initialization VXPFDTGT1Z
| URI | m2://inv/VXPFDTGT1Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 62-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23927#B55S, Simultaneous local Gaussian initialization (statement)
History
- 2026-11-02: add by m2/v0.6.17
The Triangle Inequality VXPHD7JX6Z
| URI | m2://inv/VXPHD7JX6Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 91, The Triangle Inequality (statement). Also Mathlib norm_add_le
History
- 2026-10-26: add by m2/dev
VXPS42MKRF VXPS42MKRF
| URI | m2://inv/VXPS42MKRF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15831#FUPL (statement). In CVESAPNMCQ/e1, theorem 3.9
History
- 2026-10-28: add by m2/v0.4.2
Weil reciprocity VXQ5555G71
| URI | m2://inv/VXQ5555G71 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#F1CD, Weil reciprocity (definition)
History
- 2026-11-02: add by m2/dev
VXQ93KFRCD VXQ93KFRCD
| URI | m2://inv/VXQ93KFRCD |
|---|---|
| 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.00512#MVLN (statement). In RB5QBG3MJY/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
VXQAM5RDK0 VXQAM5RDK0
| URI | m2://inv/VXQAM5RDK0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12330#G4JM (definition). In XHSKEPT3VD/e1, definition 5.6
History
- 2026-10-28: add by m2/v0.4.2
VXQM98TQ6Q VXQM98TQ6Q
| URI | m2://inv/VXQM98TQ6Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21752#K68J (definition). In E4DJTPKHAX/e1, definition 5.2
History
- 2026-10-27: add by m2/v0.4.2
Fundamental theorem of algebra VXQR69EBED
| URI | m2://inv/VXQR69EBED |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#W19U, Fundamental theorem of algebra (statement)
History
- 2026-11-02: add by m2/dev
Siegel–Tukey test VXR32P7CY7
| URI | m2://inv/VXR32P7CY7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VP1R, Siegel–Tukey test (definition)
History
- 2026-11-02: add by m2/dev
Variations VXR5A9DXQK
| URI | m2://inv/VXR5A9DXQK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Huffman coding#TFXN, Variations (statement)
History
- 2026-11-02: add by m2/dev
Maximally consistent set VXR99F0BKZ
| URI | m2://inv/VXR99F0BKZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/maximally-consistent-sets.tex#mcs, Maximally consistent set (definition). In PKGMM3P5QY, defn, section 11.7
History
- 2026-11-01: add by m2/v0.6.13
Real multivariable function VXRBJSVDN3
| URI | m2://inv/VXRBJSVDN3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#RV0E, Real multivariable function (definition)
History
- 2026-11-02: add by m2/dev
Rudy Horne VXRDKEYYPH
| URI | m2://inv/VXRDKEYYPH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rudy Horne, Rudy Horne (topic). Also Wikidata Q12896406
History
- 2026-11-02: add by m2/dev
Schlesinger's equations VXRPV0F2P1
| URI | m2://inv/VXRPV0F2P1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#WE9Y, Schlesinger's equations (definition)
History
- 2026-11-02: add by m2/dev
VXRQZVHJYR VXRQZVHJYR
| URI | m2://inv/VXRQZVHJYR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17737#0T24 (example). In 8SXY7Y68HV/e1, example 7.2
History
- 2026-10-28: add by m2/v0.4.2
A small Gevrey vector field has a controlled flow VXS5VQ27FX
| URI | m2://inv/VXS5VQ27FX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06544#O010, A small Gevrey vector field has a controlled flow (statement). In VCRB27RMN6/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
VXSABEN05P VXSABEN05P
| URI | m2://inv/VXSABEN05P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11905#6BQA (statement). In QQFXT31CA5/e1, theorem 5.10
History
- 2026-10-28: add by m2/v0.4.3
VXSAPWDXQ0 VXSAPWDXQ0
| URI | m2://inv/VXSAPWDXQ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#W7WY (statement). In 9TR5E527P5/e1, theorem 2.11
History
- 2026-10-29: add by m2/v0.4.10
Examples VXSE1V8JPZ
| URI | m2://inv/VXSE1V8JPZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Separating set#5AIM, Examples (example)
History
- 2026-11-02: add by m2/dev
The threefold local alternative VXSGVGMGSP
| URI | m2://inv/VXSGVGMGSP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#1FRK, The threefold local alternative (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example VXSKEP72TF
| URI | m2://inv/VXSKEP72TF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jet bundle#ENNV, Example (example)
History
- 2026-11-02: add by m2/dev
ternary plot VXSQDCG43H
| URI | m2://inv/VXSQDCG43H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1257468, ternary plot (unknown). Also MathWorld TernaryDiagram
- wikipedia: Wikipedia Ternary plot, Ternary plot (definition). Also Wikidata Q1257468
History
- 2026-10-26: add by m2/dev
Fixed-Point Characterisation VXSRFAM634
| URI | m2://inv/VXSRFAM634 |
|---|---|
| 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.27120#65LW, Fixed-Point Characterisation (statement)
History
- 2026-11-01: add by m2/v0.6.15
!!^{value} of Terms VXSS94KFQ5
| URI | m2://inv/VXSS94KFQ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/satisfaction.tex#defn-2, !!^{value} of Terms (definition). In PKGMM3P5QY, defn, section 19.14
History
- 2026-11-01: add by m2/v0.6.13
Karl Rosenkranz VXT4EN0VQR
| URI | m2://inv/VXT4EN0VQR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q62315, Karl Rosenkranz (unknown). Also nLab Karl Rosenkranz
History
- 2026-10-26: add by m2/dev
cotangent VXT59C953Q
| URI | m2://inv/VXT59C953Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#JYPI, cotangent (definition)
History
- 2026-11-02: add by m2/dev
Degree of truth VXTDC0049W
| URI | m2://inv/VXTDC0049W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degree of truth, Degree of truth (definition). Also Wikidata Q1967139
History
- 2026-11-02: add by m2/dev
Generic Security Services Application Programming Interface VXTHC81FBZ
| URI | m2://inv/VXTHC81FBZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generic Security Services Application Programming Interface, Generic Security Services Application Programming Interface (definition). Also Wikidata Q1487052
History
- 2026-11-02: add by m2/dev
Bernoulli trials VXTKRXEFSR
| URI | m2://inv/VXTKRXEFSR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/10.3/bernoulli-trials, Bernoulli trials (concept). In QKM9DD2H56, index, section 10.3
History
- 2026-11-01: add by m2/v0.6.13
Michio Kaku VXTSAV0W4B
| URI | m2://inv/VXTSAV0W4B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#XS9D, Michio Kaku (unknown)
History
- 2026-11-02: add by m2/dev
VXTYND8G8H VXTYND8G8H
| URI | m2://inv/VXTYND8G8H |
|---|---|
| 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 2605.17484#T2FF (statement). In 5E9GMPKEEP/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
Local transfer VXTZBD3K3P
| URI | m2://inv/VXTZBD3K3P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#FUPI, Local transfer (statement)
History
- 2026-11-02: add by m2/v0.6.17
Special Case of B\'ezout's Lemma VXV1SW2XCC
| URI | m2://inv/VXV1SW2XCC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/FundamentalTheoremArithmetic.tex#thm:Bezout, Special Case of B\'ezout's Lemma (statement). In P1C114YBXG, theorem, section C
History
- 2026-11-01: add by m2/v0.6.13
Picard modular surface VXV552565A
| URI | m2://inv/VXV552565A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Picard modular surface, Picard modular surface (definition). Also Wikidata Q7190505
History
- 2026-11-02: add by m2/dev
Examples VXVB49PB7K
| URI | m2://inv/VXVB49PB7K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia T1 space#EFWV, Examples (example)
History
- 2026-11-02: add by m2/dev
VXVBB2160A VXVBB2160A
| URI | m2://inv/VXVBB2160A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1107.2621#NK49 (statement). In Z9AZRC1HA1/e1, corollary 3
History
- 2026-10-27: add by m2/v0.3.5
VXVCT81EA8 VXVCT81EA8
| URI | m2://inv/VXVCT81EA8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2208.14274#N6OA (statement). In 2FKE7JPQ76/e1, theorem 2.7
History
- 2026-10-27: add by m2/v0.3.5
Common-neighbor averaging VXVDN7JF2Y
| URI | m2://inv/VXVDN7JF2Y |
|---|---|
| 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.40288#VXRP, Common-neighbor averaging (statement). In 2VZJRGSAEP/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
VXVNNX8TGD VXVNNX8TGD
| URI | m2://inv/VXVNNX8TGD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08211#49XT (definition). In 1QRK9HXJWT/e1, definition 1.6
History
- 2026-10-29: add by m2/v0.4.10
Overshoot VXVPBA2VJV
| URI | m2://inv/VXVPBA2VJV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overshoot (signal), Overshoot (definition). Also Wikidata Q1102204
History
- 2026-11-02: add by m2/dev
VXVXBY0V7V VXVXBY0V7V
| URI | m2://inv/VXVXBY0V7V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03384#60Z3 (statement). In J55JTTKG84/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
Monotonicity along the Nishimori line VXVXD18H8C
| URI | m2://inv/VXVXD18H8C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#L8LW, Monotonicity along the Nishimori line (statement). In P3RTT99C41/e1, lemma 9.10
History
- 2026-10-30: add by m2/v0.4.12
Local row regularity VXW6KK308X
| URI | m2://inv/VXW6KK308X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#YME4, Local row regularity (definition). In 6FY8BVP1F3/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.12
Three-dimensional space VXWA181Z0Y
| URI | m2://inv/VXWA181Z0Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Three-dimensional space, Three-dimensional space (definition). Also Wikidata Q34929
History
- 2026-11-02: add by m2/dev
Tetracontakaienneagon VXWDTPM13B
| URI | m2://inv/VXWDTPM13B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#1ISV, Tetracontakaienneagon (unknown)
History
- 2026-11-02: add by m2/dev
Notations VXWDYXR0EZ
| URI | m2://inv/VXWDYXR0EZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sexagesimal#N8BH, Notations (definition)
History
- 2026-11-02: add by m2/dev
VXWG4QTY57 VXWG4QTY57
| URI | m2://inv/VXWG4QTY57 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.36509#GG92 (statement). In DPJ15KW23C/e1, lemma 8.4
History
- 2026-10-30: add by m2/v0.4.12
Trirectified 7-orthoplex VXWH5ZJ7HA
| URI | m2://inv/VXWH5ZJ7HA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified 7-orthoplexes#NLOR, Trirectified 7-orthoplex (unknown)
History
- 2026-11-02: add by m2/dev
VXWHH1R2ZC VXWHH1R2ZC
| URI | m2://inv/VXWHH1R2ZC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37815#5LBG (definition). In SVJYA0171G/e1, definition 4.4
History
- 2026-10-30: add by m2/v0.4.12
Applications VXWV7DKJDA
| URI | m2://inv/VXWV7DKJDA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sperner's lemma#Q7AO, Applications (example)
History
- 2026-11-02: add by m2/dev
Wendell Fleming VXX03EJKXA
| URI | m2://inv/VXX03EJKXA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wendell Fleming, Wendell Fleming (topic). Also Wikidata Q2559018
History
- 2026-11-02: add by m2/dev
VXX0GYEXXY VXX0GYEXXY
| URI | m2://inv/VXX0GYEXXY |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#proof-3 (proof). In E59CDZA4DP, proof, section 10.1.1
History
- 2026-11-01: add by m2/v0.6.13
Bending VXX0WRDY40
| URI | m2://inv/VXX0WRDY40 |
|---|---|
| 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.26873#XJIE, Bending (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lady tasting tea VXX4PKBPVA
| URI | m2://inv/VXX4PKBPVA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#K1YA, Lady tasting tea (definition)
History
- 2026-11-02: add by m2/dev
Wien's displacement law VXX6MNQWD8
| URI | m2://inv/VXX6MNQWD8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermal radiation#FVNO, Wien's displacement law (statement)
History
- 2026-11-02: add by m2/dev
VXX84CZV5H VXX84CZV5H
| URI | m2://inv/VXX84CZV5H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32860#Q9J1 (statement). In H71AJ341B3/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
VXXCDPJW68 VXXCDPJW68
| URI | m2://inv/VXXCDPJW68 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10928#41P1 (statement). In 8M7BFVQYMM/e1, corollary 5.6
History
- 2026-10-28: add by m2/v0.4.3
VXXCVKBAPE VXXCVKBAPE
| URI | m2://inv/VXXCVKBAPE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.14162#BKD2 (example). In JC1XF1JE6J/e1, example 3.16
History
- 2026-10-27: add by m2/v0.3.5
Boundary Tripods VXXMZQTTND
| URI | m2://inv/VXXMZQTTND |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#UVFH, Boundary Tripods (definition). In MS7M2BJS9X/e1, definition 7.20
History
- 2026-10-29: add by m2/v0.4.10
Compound of four triangular prisms VXXQ2C26D6
| URI | m2://inv/VXXQ2C26D6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of four triangular prisms, Compound of four triangular prisms (definition). Also Wikidata Q5156873
History
- 2026-11-02: add by m2/dev
George James Lidstone VXXQMMRHNG
| URI | m2://inv/VXXQMMRHNG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#YOUU, George James Lidstone (topic)
History
- 2026-11-02: add by m2/dev
VXXSXVAWJD VXXSXVAWJD
| URI | m2://inv/VXXSXVAWJD |
|---|---|
| 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 2610.22317#QJLV (statement). In 2W5Z97BBW4/e1, corollary 2.35
History
- 2026-10-27: add by m2/v0.4.0
VXY07GSZY2 VXY07GSZY2
| URI | m2://inv/VXY07GSZY2 |
|---|---|
| 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 2610.03754#8Q71 (statement). In J1Z9P0H13V/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.12
Generalizations VXY5MQE2K5
| URI | m2://inv/VXY5MQE2K5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autoepistemic logic#82AM, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Gábor J. Székely VXY7YTJT58
| URI | m2://inv/VXY7YTJT58 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gábor J. Székely, Gábor J. Székely (topic). Also Wikidata Q3740791
History
- 2026-11-02: add by m2/dev
Algorithm VXYMBDK8J4
| URI | m2://inv/VXYMBDK8J4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interquartile range#WFSE, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Definition VXYMM06RP1
| URI | m2://inv/VXYMM06RP1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Number theory#3VTK, Definition (definition)
History
- 2026-11-02: add by m2/dev
McDiarmid's Inequality (Bernstein form) VXYX8RDWZN
| URI | m2://inv/VXYX8RDWZN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McDiarmid's inequality#KJRV, McDiarmid's Inequality (Bernstein form) (statement)
History
- 2026-11-02: add by m2/dev
Hugo Hadwiger VXYXCWEPBP
| URI | m2://inv/VXYXCWEPBP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hugo Hadwiger, Hugo Hadwiger (topic). Also Wikidata Q116655
History
- 2026-11-02: add by m2/dev
Symmetry VXZ52STZKG
| URI | m2://inv/VXZ52STZKG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Potential theory#VVHI, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Restricted-direction line-segment estimate over $\Q_p$ VXZ5GZ157K
| URI | m2://inv/VXZ5GZ157K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22485#HIZ3, Restricted-direction line-segment estimate over $\Q_p$ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Sylvester James Gates VXZ5X7B1CQ
| URI | m2://inv/VXZ5X7B1CQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#2LZA, Sylvester James Gates (unknown)
History
- 2026-11-02: add by m2/dev
VXZDCHWAXS VXZDCHWAXS
| URI | m2://inv/VXZDCHWAXS |
|---|---|
| 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 2010.14428#VEGY (statement). In VTTVY2ZRAN/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
VXZE2KJBT3 VXZE2KJBT3
| URI | m2://inv/VXZE2KJBT3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37769#1BEK (statement). In MJWNGM4S01/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Vaclav Zizler VXZNXVJPYA
| URI | m2://inv/VXZNXVJPYA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1BNM, Vaclav Zizler (unknown)
History
- 2026-11-02: add by m2/dev