Inventory rows A5
The cards of the rows of the inventory whose ids start with A5. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
A50AB10T8W A50AB10T8W
| URI | m2://inv/A50AB10T8W |
|---|---|
| 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 2211.14214#MQG9 (statement). In SY85Y9E45A/e1, lemma 52
History
- 2026-10-27: add by m2/v0.3.5
XTEA A50DSHHB9P
| URI | m2://inv/A50DSHHB9P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia XTEA, XTEA (definition). Also Wikidata Q1384945
History
- 2026-11-02: add by m2/dev
Generative model A50J0S8416
| URI | m2://inv/A50J0S8416 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#A1JZ, Generative model (definition)
History
- 2026-11-02: add by m2/dev
discrete valuation ring A50KRKVD1A
| URI | m2://inv/A50KRKVD1A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#OW1A, discrete valuation ring (definition)
History
- 2026-11-02: add by m2/dev
A50YJHP0SK A50YJHP0SK
| URI | m2://inv/A50YJHP0SK |
|---|---|
| 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#ZKVJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Lagrangian system A5138KTTP3
| URI | m2://inv/A5138KTTP3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#0FZO, Lagrangian system (definition)
History
- 2026-11-02: add by m2/dev
Complex two-row interior bounds A5192V4K02
| URI | m2://inv/A5192V4K02 |
|---|---|
| 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.04398#ROO1, Complex two-row interior bounds (statement). In DFZWC9HY0T/e1, proposition 4.8
History
- 2026-10-29: add by m2/v0.4.12
Properties A51F7TY635
| URI | m2://inv/A51F7TY635 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighing matrix#XIPO, Properties (statement)
History
- 2026-11-02: add by m2/dev
NEO A51KEPTM4F
| URI | m2://inv/A51KEPTM4F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NEO (blockchain), NEO (definition). Also Wikidata Q47461682
History
- 2026-11-02: add by m2/dev
Dmitriy Zhuk A51RZ1JTCP
| URI | m2://inv/A51RZ1JTCP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NRZF, Dmitriy Zhuk (unknown)
History
- 2026-11-02: add by m2/dev
Proposition 11 A529E28DZ0
| URI | m2://inv/A529E28DZ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of exhaustion#ZJU5, Proposition 11 (statement)
History
- 2026-11-02: add by m2/dev
Morphing A52AS54C9V
| URI | m2://inv/A52AS54C9V |
|---|---|
| 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#VYN3, Morphing (unknown)
History
- 2026-11-02: add by m2/dev
Non-example A52TYZAVX3
| URI | m2://inv/A52TYZAVX3 |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local flatness#UYNO, Non-example (counterexample)
History
- 2026-11-02: add by m2/dev
A52X5QP947 A52X5QP947
| URI | m2://inv/A52X5QP947 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-conc.ptx#exercise-10 (exercise). In Y91XFCEVHQ, exercise, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
Amir Aczel A52YD602X8
| URI | m2://inv/A52YD602X8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amir Aczel, Amir Aczel (topic). Also Wikidata Q1439451
History
- 2026-11-02: add by m2/dev
A531YDEK15 A531YDEK15
| URI | m2://inv/A531YDEK15 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25275#ATYQ (example)
History
- 2026-11-01: add by m2/v0.6.15
restricted Lie algebra A53AC9K78R
| URI | m2://inv/A53AC9K78R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7316293, restricted Lie algebra (unknown). Also nLab restricted Lie algebra
- wikipedia: Wikipedia Restricted Lie algebra, Restricted Lie algebra (definition). Also Wikidata Q7316293
History
- 2026-10-26: add by m2/dev
Kaisa Nyberg A53AKVJRS5
| URI | m2://inv/A53AKVJRS5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaisa Nyberg, Kaisa Nyberg (topic). Also Wikidata Q6348329
History
- 2026-11-02: add by m2/dev
A53FXQBGPD A53FXQBGPD
| URI | m2://inv/A53FXQBGPD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1012.0963#GA3H (statement). In TSA766V8F8/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
Solution of the Levi problem A53JGAK695
| URI | m2://inv/A53JGAK695 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-14, Solution of the Levi problem (statement). In VNMV985MXX, thm, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
A53PEMYR5W A53PEMYR5W
| URI | m2://inv/A53PEMYR5W |
|---|---|
| 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.00934#EQ99 (statement). In SHCQDPCF2J/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.12
Crystallographic point group A53RYY8YAC
| URI | m2://inv/A53RYY8YAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crystallographic point group, Crystallographic point group (definition). Also Wikidata Q1066315
History
- 2026-11-02: add by m2/dev
A53RZG3X1N A53RZG3X1N
| URI | m2://inv/A53RZG3X1N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05142#TK67 (statement). In 8A0HVCGRR8/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.10
abc conjecture A540PRKY4D
| URI | m2://inv/A540PRKY4D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abc conjecture#MU5F, abc conjecture (statement)
History
- 2026-11-02: add by m2/dev
A544WM5NHC A544WM5NHC
| URI | m2://inv/A544WM5NHC |
|---|---|
| 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 2206.12966#CCET (statement). In VH93X5QZDV/e1, corollary 2.1
History
- 2026-10-27: add by m2/v0.3.5
Terminology A545D8JJQJ
| URI | m2://inv/A545D8JJQJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov chain#RAN0, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Yossi Matias A5481SXKK7
| URI | m2://inv/A5481SXKK7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BKET, Yossi Matias (unknown)
History
- 2026-11-02: add by m2/dev
Band matrix A5499F1RQC
| URI | m2://inv/A5499F1RQC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Band matrix, Band matrix (definition). Also Wikidata Q806350
History
- 2026-11-02: add by m2/dev
A54N87JDAD A54N87JDAD
| URI | m2://inv/A54N87JDAD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#YIK2 (statement). In GW23NX78SB/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
A54WKYFDGJ A54WKYFDGJ
| URI | m2://inv/A54WKYFDGJ |
|---|---|
| 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.24790#99UH (statement)
History
- 2026-11-01: add by m2/v0.6.15
A54XGZ209C A54XGZ209C
| URI | m2://inv/A54XGZ209C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21934#03NE (statement). In YKD51BX3XB/e1, proposition 7.2
History
- 2026-10-27: add by m2/v0.4.2
List of mathematical science schools in Australia A553ME3QBG
| URI | m2://inv/A553ME3QBG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical science schools in Australia, List of mathematical science schools in Australia (topic). Also Wikidata Q117475533
History
- 2026-11-02: add by m2/dev
Definition A555MF7NQE
| URI | m2://inv/A555MF7NQE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fox derivative#JOOT, Definition (definition)
History
- 2026-11-02: add by m2/dev
A55FJCCZ5W A55FJCCZ5W
| URI | m2://inv/A55FJCCZ5W |
|---|---|
| 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 1704.08191#90L7 (statement). In 8DATR785BJ/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Sliding windowed infinite Fourier transform A55FZ6VW94
| URI | m2://inv/A55FZ6VW94 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sliding DFT#98RY, Sliding windowed infinite Fourier transform (unknown)
History
- 2026-11-02: add by m2/dev
Definition A55JH1SNY2
| URI | m2://inv/A55JH1SNY2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atomic domain#VXQC, Definition (definition)
History
- 2026-11-02: add by m2/dev
A55M209YCX A55M209YCX
| URI | m2://inv/A55M209YCX |
|---|---|
| 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 2203.06854#PNK6 (statement). In 7NE5NVT9KH/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
Definition A55MNJGM87
| URI | m2://inv/A55MNJGM87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyhedron#A3PF, Definition (definition)
History
- 2026-11-02: add by m2/dev
Benjamini-Yekutieli correction A55N0RX7WN
| URI | m2://inv/A55N0RX7WN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia False discovery rate#4W6Q, Benjamini-Yekutieli correction (unknown)
History
- 2026-11-02: add by m2/dev
Definition A55RCR2MZY
| URI | m2://inv/A55RCR2MZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ranking (statistics)#4GVX, Definition (definition)
History
- 2026-11-02: add by m2/dev
Muhammad ibn Mūsā al-Khwārizmī A55Y3HM7KH
| URI | m2://inv/A55Y3HM7KH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#JSNH, Muhammad ibn Mūsā al-Khwārizmī (topic)
History
- 2026-11-02: add by m2/dev
Ján Mináč A55ZAPYEG8
| URI | m2://inv/A55ZAPYEG8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ján Mináč, Ján Mináč (topic). Also Wikidata Q102246328
History
- 2026-11-02: add by m2/dev
Leo Wolman A560Z5JSJM
| URI | m2://inv/A560Z5JSJM |
|---|---|
| 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#W7CH, Leo Wolman (unknown)
History
- 2026-11-02: add by m2/dev
A5668MPQQY A5668MPQQY
| URI | m2://inv/A5668MPQQY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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 2502.14306#B0KP (statement). In ZNBQD5WH1M/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
Properties of the corner-supported Toeplitz BW form A56851TK8G
| URI | m2://inv/A56851TK8G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08980#YP07, Properties of the corner-supported Toeplitz BW form (statement). In X407M6WFNR/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
Ricardo Baeza Rodríguez A56GD9Z89F
| URI | m2://inv/A56GD9Z89F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#IACF, Ricardo Baeza Rodríguez (topic)
History
- 2026-11-02: add by m2/dev
Geometric realization criterion A56ME022E9
| URI | m2://inv/A56ME022E9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-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.28220#GPYG, Geometric realization criterion (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cell counts A56PBW9EXR
| URI | m2://inv/A56PBW9EXR |
|---|---|
| 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.28028#RJZW, Cell counts (statement)
History
- 2026-11-01: add by m2/v0.6.15
A56RDS08DE A56RDS08DE
| URI | m2://inv/A56RDS08DE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#defn-4 (definition). In N54F33XE07, defn, section C.2
History
- 2026-11-01: add by m2/v0.6.13
Lieb–Thirring inequality A570S7T2XD
| URI | m2://inv/A570S7T2XD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#Z3OL, Lieb–Thirring inequality (statement)
History
- 2026-11-02: add by m2/dev
Stochastic wave equation A578RNR2ND
| URI | m2://inv/A578RNR2ND |
|---|---|
| Kind | example |
| 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.14717#L4UI, Stochastic wave equation (example). In ZB2QPB5EBN/e1, example 3.1
History
- 2026-10-28: add by m2/v0.4.2
Special cases A57CZM756V
| URI | m2://inv/A57CZM756V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order of operations#BBEE, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Properties A57MVP2Y4E
| URI | m2://inv/A57MVP2Y4E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lévy process#AZSD, Properties (statement)
History
- 2026-11-02: add by m2/dev
Conditional event algebra A57P06J096
| URI | m2://inv/A57P06J096 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional event algebra, Conditional event algebra (definition). Also Wikidata Q5159259
History
- 2026-11-02: add by m2/dev
A57R3BDAJ7 A57R3BDAJ7
| URI | m2://inv/A57R3BDAJ7 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25015#N3DR (problem)
History
- 2026-11-01: add by m2/v0.6.15
A57RK7JRQ7 A57RK7JRQ7
| URI | m2://inv/A57RK7JRQ7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14783#8NFR (definition). In Y3X5XY2J65/e1, definition 5.2
History
- 2026-10-28: add by m2/v0.4.2
Engel, Ernst A57V7M99SE
| URI | m2://inv/A57V7M99SE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#C0C3, Engel, Ernst (topic)
History
- 2026-11-02: add by m2/dev
Definition A583FWCWQQ
| URI | m2://inv/A583FWCWQQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic divisibility sequence#6QKC, Definition (definition)
History
- 2026-11-02: add by m2/dev
A588TN8WR8 A588TN8WR8
| URI | m2://inv/A588TN8WR8 |
|---|---|
| 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.08104#D7OB (statement). In AH6BX8RZTW/e1, proposition 1.1
History
- 2026-10-29: add by m2/v0.4.10
Calabi–Yau A58D8GHZ08
| URI | m2://inv/A58D8GHZ08 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#Q0ES, Calabi–Yau (definition)
History
- 2026-11-02: add by m2/dev
Evelyn Ashford A58G9XPP85
| URI | m2://inv/A58G9XPP85 |
|---|---|
| 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#5AGO, Evelyn Ashford (unknown)
History
- 2026-11-02: add by m2/dev
Linkage disequilibrium A58K97YNS6
| URI | m2://inv/A58K97YNS6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linkage disequilibrium, Linkage disequilibrium (definition). Also Wikidata Q2064311
History
- 2026-11-02: add by m2/dev
A58SNS7MB2 A58SNS7MB2
| URI | m2://inv/A58SNS7MB2 |
|---|---|
| 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.35762#HNJQ (statement). In C9QEPN1E56/e1, lemma F.8
History
- 2026-10-30: add by m2/v0.4.12
A593SDWKWD A593SDWKWD
| URI | m2://inv/A593SDWKWD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-55 (exercise). In E9HS8K3A52, exercise, section 4.3.4
History
- 2026-11-01: add by m2/v0.6.13
Closed-loop internal model A594NC8SDQ
| URI | m2://inv/A594NC8SDQ |
|---|---|
| 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.08987#K4SP, Closed-loop internal model (statement). In 2NRRESN3HR/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.10
Constructions A5992NE1A2
| URI | m2://inv/A5992NE1A2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Janko group J1#1872, Constructions (definition)
History
- 2026-11-02: add by m2/dev
A59BSF5WE6 A59BSF5WE6
| URI | m2://inv/A59BSF5WE6 |
|---|---|
| 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.17411#WXO2 (statement). In 73QW05MWQB/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
V. V. Kozlov A59EDXWXNF
| URI | m2://inv/A59EDXWXNF |
|---|---|
| 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#HS1B, V. V. Kozlov (topic)
History
- 2026-11-02: add by m2/dev
Chemical reaction model A59GM7XR10
| URI | m2://inv/A59GM7XR10 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#Q80S, Chemical reaction model (unknown)
History
- 2026-11-02: add by m2/dev
Convergence to $\gamma_r(\kappa)$ A59HHE1R1Q
| URI | m2://inv/A59HHE1R1Q |
|---|---|
| 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.38453#TCVE, Convergence to $\gamma_r(\kappa)$ (statement). In DWKWF242Y0/e1, lemma 16
History
- 2026-10-30: add by m2/v0.4.12
sample mean A59N164XN8
| URI | m2://inv/A59N164XN8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Sample mean 03Y6AQ2S0J |
Mentions
- wikidata: Wikidata Q105675280, sample mean (unknown). Also MathWorld SampleMean
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
A59N3AZZBW A59N3AZZBW
| URI | m2://inv/A59N3AZZBW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04895#J1C5 (statement). In A7M06ZVYA8/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.12
Properties A59Q048HGR
| URI | m2://inv/A59Q048HGR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gram–Schmidt process#KM1S, Properties (statement)
History
- 2026-11-02: add by m2/dev
Bernard Maurey A59S48W7J7
| URI | m2://inv/A59S48W7J7 |
|---|---|
| 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#9UBP, Bernard Maurey (topic)
History
- 2026-11-02: add by m2/dev
Triangular tiling honeycomb A5A2CVZBVX
| URI | m2://inv/A5A2CVZBVX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangular tiling honeycomb, Triangular tiling honeycomb (definition). Also Wikidata Q14629794
History
- 2026-11-02: add by m2/dev
Local uniqueness A5A65E51ZB
| URI | m2://inv/A5A65E51ZB |
|---|---|
| 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.21662#P7QY, Local uniqueness (statement). In 25B3WHEKH2/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.2
Counting Common Bases A5AARYSG79
| URI | m2://inv/A5AARYSG79 |
|---|---|
| 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.06724#3ZI4, Counting Common Bases (statement). In W5XG3PGVF1/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
A5AGFR9KNX A5AGFR9KNX
| URI | m2://inv/A5AGFR9KNX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39824#9IAJ (statement). In REPGS464V6/e1, proposition 6.1
History
- 2026-10-30: add by m2/v0.4.12
Fixed-Message Replay Isolates Receiver-Side Loss A5AJ7677T3
| URI | m2://inv/A5AJ7677T3 |
|---|---|
| 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.03769#Y7NT, Fixed-Message Replay Isolates Receiver-Side Loss (statement). In 35DNCV14M4/e1, proposition 5
History
- 2026-10-29: add by m2/v0.4.12
A5ANFPGZVK A5ANFPGZVK
| URI | m2://inv/A5ANFPGZVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.08272#Z244 (statement). In H72E12TYHA/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.4.0
Incremental validity A5ANX0X99D
| URI | m2://inv/A5ANX0X99D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incremental validity, Incremental validity (definition). Also Wikidata Q6015484
History
- 2026-11-02: add by m2/dev
Computable ordinal A5AQ5X2ZHF
| URI | m2://inv/A5AQ5X2ZHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computable ordinal, Computable ordinal (definition). Also Wikidata Q7303347
History
- 2026-11-02: add by m2/dev
A5AYFAGCD6 A5AYFAGCD6
| URI | m2://inv/A5AYFAGCD6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2303.09207#QDQS (statement). In 9DQKY7KGE8/e1, proposition 6.20
History
- 2026-10-27: add by m2/v0.3.5
A5B33WWRNG A5B33WWRNG
| URI | m2://inv/A5B33WWRNG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19288#O6VF (definition). In 1EA6AM9V01/e1, definition 1.7
History
- 2026-10-28: add by m2/v0.4.2
A5B4V46M90 A5B4V46M90
| URI | m2://inv/A5B4V46M90 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#KC8I (unknown). In QNBFHFZ3H0/e1, unknown 36
History
- 2026-10-28: add by m2/v0.4.2
Pao-Lu Hsu A5B69FTWS6
| URI | m2://inv/A5B69FTWS6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pao-Lu Hsu, Pao-Lu Hsu (topic). Also Wikidata Q15906393
History
- 2026-11-02: add by m2/dev
Vertex viscosity of the logit flow A5BDHA28PY
| URI | m2://inv/A5BDHA28PY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06653#U4DF, Vertex viscosity of the logit flow (statement). In 9D2N76AJAT/e1, theorem 5.3
History
- 2026-10-29: add by m2/v0.4.10
A5BFMS4C28 A5BFMS4C28
| URI | m2://inv/A5BFMS4C28 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#prop-5 (statement). In E59CDZA4DP, prop, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
string, binary A5BGTAPFXB
| URI | m2://inv/A5BGTAPFXB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/9.1.2/string-binary, string, binary (concept). In QKM9DD2H56, index, section 9.1.2
History
- 2026-11-01: add by m2/v0.6.13
A5BKRY0CRJ A5BKRY0CRJ
| URI | m2://inv/A5BKRY0CRJ |
|---|---|
| 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.04252#KWFX (statement). In ZF0Z61VQ96/e1, theorem B
History
- 2026-10-29: add by m2/v0.4.12
Huff model A5BT6Y1H7C
| URI | m2://inv/A5BT6Y1H7C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Huff model, Huff model (definition). Also Wikidata Q1634078
History
- 2026-11-02: add by m2/dev
Examples A5C6ZNSNTR
| URI | m2://inv/A5C6ZNSNTR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyhedral complex#JLJK, Examples (example)
History
- 2026-11-02: add by m2/dev
A5CGWY9S7F A5CGWY9S7F
| URI | m2://inv/A5CGWY9S7F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24007#APSK (statement)
History
- 2026-11-02: add by m2/v0.6.17
A5CP0ACQKS A5CP0ACQKS
| URI | m2://inv/A5CP0ACQKS |
|---|---|
| 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.22855#CTRA (statement)
History
- 2026-11-02: add by m2/v0.6.17
Baker's theorem A5CPJWSWVJ
| URI | m2://inv/A5CPJWSWVJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527009, Baker's theorem (statement). Also Wikidata Q3527009
- thousand_plus: thousand_plus Q3527009, Baker's theorem (statement). Also Wikidata Q3527009, Wikipedia Baker's theorem
- wikipedia: Wikipedia Baker's theorem, Baker's theorem (statement). Also Wikidata Q3527009
History
- 2026-10-26: add by m2/dev
full width at half maximum A5D75HD66Z
| URI | m2://inv/A5D75HD66Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1065170, full width at half maximum (unknown). Also MathWorld FullWidthatHalfMaximum
History
- 2026-10-26: add by m2/dev
A5D9JS4G8Y A5D9JS4G8Y
| URI | m2://inv/A5D9JS4G8Y |
|---|---|
| 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 2411.05198#OS23 (statement). In NJWY6HPFHG/e1, lemma 11
History
- 2026-10-27: add by m2/v0.3.5
A5DA7FMTNR A5DA7FMTNR
| URI | m2://inv/A5DA7FMTNR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2603.28861#5IEN (statement). In A3VQ2TNRKK/e1, proposition 8.1
History
- 2026-10-27: add by m2/v0.4.0
Dionysius of Cyrene A5DKQEF2QE
| URI | m2://inv/A5DKQEF2QE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dionysius of Cyrene, Dionysius of Cyrene (topic). Also Wikidata Q4162012
History
- 2026-11-02: add by m2/dev
A5DREJ7STB A5DREJ7STB
| URI | m2://inv/A5DREJ7STB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:essentially-surjective (definition). In N54F33XE07, defn, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Generalizations A5DTXVFHCP
| URI | m2://inv/A5DTXVFHCP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse tangent integral#WXI1, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
General lifting criterion A5DZ01DC23
| URI | m2://inv/A5DZ01DC23 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/cover-project.tex#thm:lifting, General lifting criterion (statement). In RZP28ERRZV, theorem, section 97.2
History
- 2026-11-01: add by m2/v0.6.13
List of topics related to π A5E0APSZ2B
| URI | m2://inv/A5E0APSZ2B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics related to π, List of topics related to π (topic). Also Wikidata Q6643460
History
- 2026-11-02: add by m2/dev
Journal of the American Statistical Association A5E28PECHR
| URI | m2://inv/A5E28PECHR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4181923, Journal of the American Statistical Association (unknown). Also ProofWiki Book:Journal/Journal_of_the_American_Statistical_Association
- wikipedia: Wikipedia Journal of the American Statistical Association, Journal of the American Statistical Association (definition). Also Wikidata Q4181923
History
- 2026-10-26: add by m2/dev
Variants A5ENFT7M1T
| URI | m2://inv/A5ENFT7M1T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet inception distance#L8S2, Variants (statement)
History
- 2026-11-02: add by m2/dev
A5EQR42487 A5EQR42487
| URI | m2://inv/A5EQR42487 |
|---|---|
| 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 2204.01073#BISZ (statement). In W4TYN4PGE8/e1, proposition 6.4
History
- 2026-10-27: add by m2/v0.3.5
Naomi Fisher A5ETRB7M67
| URI | m2://inv/A5ETRB7M67 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Naomi Fisher, Naomi Fisher (topic). Also Wikidata Q61818953
History
- 2026-11-02: add by m2/dev
A5FA9J501F A5FA9J501F
| URI | m2://inv/A5FA9J501F |
|---|---|
| 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#IXOR (definition). In 38XJWDZ2PH/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Atmospheric dynamics A5FAAHGK7R
| URI | m2://inv/A5FAAHGK7R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meteorology#CUUK, Atmospheric dynamics (unknown)
History
- 2026-11-02: add by m2/dev
A5FB3RCDEZ A5FB3RCDEZ
| URI | m2://inv/A5FB3RCDEZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38975#DRNX (statement). In D2247CRPPE/e1, lemma 26
History
- 2026-10-30: add by m2/v0.4.12
Raoul Bricard A5FCRGFXJW
| URI | m2://inv/A5FCRGFXJW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#UCE9, Raoul Bricard (topic)
History
- 2026-11-02: add by m2/dev
A5FPJV1E6Q A5FPJV1E6Q
| URI | m2://inv/A5FPJV1E6Q |
|---|---|
| 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.03336#C9U3 (statement). In 4ZD20W8BVF/e1, corollary 4.5
History
- 2026-10-29: add by m2/v0.4.12
Example A5FQNSGHZX
| URI | m2://inv/A5FQNSGHZX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev's inequality#N9TC, Example (example)
History
- 2026-11-02: add by m2/dev
The Emperor's New Mind A5FQW64SGH
| URI | m2://inv/A5FQW64SGH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#ZEJN, The Emperor's New Mind (unknown)
History
- 2026-11-02: add by m2/dev
Quasivariety A5FSNDT2TC
| URI | m2://inv/A5FSNDT2TC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasivariety, Quasivariety (definition). Also Wikidata Q2752716
History
- 2026-11-02: add by m2/dev
effective procedure A5G02Z0E5B
| URI | m2://inv/A5G02Z0E5B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#OFGX, effective procedure (definition)
History
- 2026-11-02: add by m2/dev
hockey-stick identity A5G45R3RAE
| URI | m2://inv/A5G45R3RAE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Hockey-stick identity 04JHQNNBFE |
Mentions
- wikidata: Wikidata Q28403965, hockey-stick identity (statement). Also MathWorld ChristmasStockingTheorem
- wikipedia: Wikipedia Hockey-stick identity, Hockey-stick identity (statement). Also Wikidata Q28403965
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
A5G4MS1B0K A5G4MS1B0K
| URI | m2://inv/A5G4MS1B0K |
|---|---|
| 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#ETQ3 (statement). In 6HJQXZS0A6/e1, corollary 2.4
History
- 2026-10-29: add by m2/v0.4.12
BIBO stability A5G6FMACVQ
| URI | m2://inv/A5G6FMACVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BIBO stability, BIBO stability (definition). Also Wikidata Q744737
History
- 2026-11-02: add by m2/dev
Generalization A5G6ZNQ5T3
| URI | m2://inv/A5G6ZNQ5T3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dickson polynomial#I93Q, Generalization (statement)
History
- 2026-11-02: add by m2/dev
infinitary combinatorics A5G7Z1BVRX
| URI | m2://inv/A5G7Z1BVRX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6029708, infinitary combinatorics (definition). Also ProofWiki Definition:Combinatorial_Set_Theory
- wikipedia: Wikipedia Infinitary combinatorics, Infinitary combinatorics (definition). Also Wikidata Q6029708
History
- 2026-10-26: add by m2/dev
A5G82X51SZ A5G82X51SZ
| URI | m2://inv/A5G82X51SZ |
|---|---|
| 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.27200#Q46S (statement)
History
- 2026-11-01: add by m2/v0.6.15
Empty-side cancellation A5G98TVJXF
| URI | m2://inv/A5G98TVJXF |
|---|---|
| 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.31811#UV8T, Empty-side cancellation (statement). In A8ZBZW9RNA/e1, lemma 5.5
History
- 2026-10-31: add by m2/v0.5.6
Elisa T. Lee A5GRPG1QFT
| URI | m2://inv/A5GRPG1QFT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elisa T. Lee, Elisa T. Lee (topic). Also Wikidata Q42301735
History
- 2026-11-02: add by m2/dev
Township 6, Harper County, Kansas A5GX5R91R3
| URI | m2://inv/A5GX5R91R3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#MNTF, Township 6, Harper County, Kansas (unknown)
History
- 2026-11-02: add by m2/dev
Cyclic order A5GXZD1WTA
| URI | m2://inv/A5GXZD1WTA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order structures in mathematics#LVKO, Cyclic order (definition)
History
- 2026-11-02: add by m2/dev
Constant supercritical damping in three dimensions A5GZVNTYNX
| URI | m2://inv/A5GZVNTYNX |
|---|---|
| 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.15528#65E3, Constant supercritical damping in three dimensions (statement). In G9GEE64N32/e1, corollary 2.13
History
- 2026-10-28: add by m2/v0.4.2
An integer norm gap A5H10ATBEX
| URI | m2://inv/A5H10ATBEX |
|---|---|
| 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.38668#20YX, An integer norm gap (statement). In VB1EZ9K6YW/e1, proposition D.1
History
- 2026-10-30: add by m2/v0.4.12
Explicit Runge-Kutta methods A5H2MZW8JM
| URI | m2://inv/A5H2MZW8JM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Runge–Kutta methods#XNH7, Explicit Runge-Kutta methods (unknown)
History
- 2026-11-02: add by m2/dev
Combinatorics: The Rota Way A5H7NSS97F
| URI | m2://inv/A5H7NSS97F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorics: The Rota Way, Combinatorics: The Rota Way (definition). Also Wikidata Q104882832
History
- 2026-11-02: add by m2/dev
A5HABQGSP6 A5HABQGSP6
| URI | m2://inv/A5HABQGSP6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.04870#X6RG (statement). In X765ZXXVC3/e1, lemma 2.9
History
- 2026-10-29: add by m2/v0.4.12
A5HD3G4V5M A5HD3G4V5M
| URI | m2://inv/A5HD3G4V5M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01324#6394 (statement). In XKXG49TNXH/e1, corollary 5.2
History
- 2026-10-27: add by m2/v0.3.6
A5HHJ9SGY5 A5HHJ9SGY5
| URI | m2://inv/A5HHJ9SGY5 |
|---|---|
| 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 2610.20649#56WP (statement). In XDTM624YPE/e1, corollary 5.5
History
- 2026-10-27: add by m2/v0.4.2
Large sample theory A5HHZD96WP
| URI | m2://inv/A5HHZD96WP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#8B7B, Large sample theory (definition)
History
- 2026-11-02: add by m2/dev
Closed lexical-state recursion A5HMEG0XQR
| URI | m2://inv/A5HMEG0XQR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20207#8D4S, Closed lexical-state recursion (statement)
History
- 2026-11-02: add by m2/v0.6.18
Pass A5HNZK3780
| URI | m2://inv/A5HNZK3780 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pass (software), Pass (definition). Also Wikidata Q25209352
History
- 2026-11-02: add by m2/dev
A5HTBAE4QV A5HTBAE4QV
| URI | m2://inv/A5HTBAE4QV |
|---|---|
| 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.02628#02NH (statement). In G4S9C5M1A4/e1, corollary 6.7
History
- 2026-10-29: add by m2/v0.4.12
A5HV6JDMV6 A5HV6JDMV6
| URI | m2://inv/A5HV6JDMV6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-26 (exercise). In E59CDZA4DP, exercise, section 7.3.1
History
- 2026-11-01: add by m2/v0.6.13
Linearity of matrix multiplication A5HZNAFNRC
| URI | m2://inv/A5HZNAFNRC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-2.xml#prop-matrix-mult-prop, Linearity of matrix multiplication (statement). In 649HGZKE96, proposition, section 2.2.2
History
- 2026-11-01: add by m2/v0.6.13
A5J1K040BW A5J1K040BW
| URI | m2://inv/A5J1K040BW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CartesianProducts.tex#problem-3 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Examples A5J6RGJS3Q
| URI | m2://inv/A5J6RGJS3Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gradient descent#LQHS, Examples (example)
History
- 2026-11-02: add by m2/dev
A5J7QAGVWD A5J7QAGVWD
| URI | m2://inv/A5J7QAGVWD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18242#22WC (statement). In VVC2FHQZZR/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Controversial numbers A5J899WDFV
| URI | m2://inv/A5J899WDFV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Illegal number#EKHI, Controversial numbers (unknown)
History
- 2026-11-02: add by m2/dev
Directional tube categories A5JCVZNX6C
| URI | m2://inv/A5JCVZNX6C |
|---|---|
| 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.08787#55SC, Directional tube categories (definition). In CCQ5XXWYDZ/e1, definition E.1
History
- 2026-10-29: add by m2/v0.4.10
A5JD1CXFZY A5JD1CXFZY
| URI | m2://inv/A5JD1CXFZY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.10080#66QH (definition). In KM2FWKP93A/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.0
A5JMCMJ9HH A5JMCMJ9HH
| URI | m2://inv/A5JMCMJ9HH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00914#GDSI (statement). In TQ9CKHBTWN/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.12
Example A5JR26FR42
| URI | m2://inv/A5JR26FR42 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ternary plot#AI4M, Example (example)
History
- 2026-11-02: add by m2/dev
End point of clinical trials A5JR4CRQ46
| URI | m2://inv/A5JR4CRQ46 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7JXY, End point of clinical trials (definition)
History
- 2026-11-02: add by m2/dev
A5K3AQPFGN A5K3AQPFGN
| URI | m2://inv/A5K3AQPFGN |
|---|---|
| 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.12352#Y1VA (statement). In EXASSFT73P/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Greek cross A5K4BAY27F
| URI | m2://inv/A5K4BAY27F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q612908, Greek cross (unknown). Also MathWorld GreekCross
History
- 2026-10-26: add by m2/dev
Riemann–Hurwitz formula A5K4E483DF
| URI | m2://inv/A5K4E483DF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann–Hurwitz formula, Riemann–Hurwitz formula (statement). Also Wikidata Q494995
History
- 2026-11-02: add by m2/dev
Kummer surface A5K4EW2JBR
| URI | m2://inv/A5K4EW2JBR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#LGJV, Kummer surface (definition)
History
- 2026-11-02: add by m2/dev
In applications A5K6PMHYXX
| URI | m2://inv/A5K6PMHYXX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential function#ORQY, In applications (example)
History
- 2026-11-02: add by m2/dev
complex Lie group A5K8C7CV9M
| URI | m2://inv/A5K8C7CV9M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5156554, complex Lie group (unknown). Also nLab complex Lie group
- wikipedia: Wikipedia Complex Lie group, Complex Lie group (definition). Also Wikidata Q5156554
History
- 2026-10-26: add by m2/dev
Separable extension A5K9GBFJNG
| URI | m2://inv/A5K9GBFJNG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#3YT1, Separable extension (definition)
History
- 2026-11-02: add by m2/dev
A5KBKJXN1A A5KBKJXN1A
| URI | m2://inv/A5KBKJXN1A |
|---|---|
| Kind | example |
| 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 2609.25983#W8IW (example)
History
- 2026-11-01: add by m2/v0.6.15
Substitution Application A5KD6NJEY2
| URI | m2://inv/A5KD6NJEY2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#MJWR, Substitution Application (definition). In CPYWHRTPKC/e1, definition 2.12
History
- 2026-10-27: add by m2/v0.4.2
antipodal transformation A5KJQZ5RW5
| URI | m2://inv/A5KJQZ5RW5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lexell's theorem#GUS2, antipodal transformation (definition)
History
- 2026-11-02: add by m2/dev
Unitary Eisenstein transform A5KN1KEPPQ
| URI | m2://inv/A5KN1KEPPQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25925#K00C, Unitary Eisenstein transform (statement)
History
- 2026-11-01: add by m2/v0.6.15
A5KQ82AS7W A5KQ82AS7W
| URI | m2://inv/A5KQ82AS7W |
|---|---|
| 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 2609.39218#0X2Q (statement). In VPZSCE8HFP/e1, theorem 4.3
History
- 2026-10-30: add by m2/v0.4.12
Projection onto additively separable functions A5KZH10G53
| URI | m2://inv/A5KZH10G53 |
|---|---|
| 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.14616#DJIG, Projection onto additively separable functions (statement). In 17ACAG0N9C/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
A5KZMSW34V A5KZMSW34V
| URI | m2://inv/A5KZMSW34V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 18-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 2304.07398#LAMN (definition). In JS5FKV1S9T/e1, definition F.4
History
- 2026-10-27: add by m2/v0.3.5
A5M0766KFD A5M0766KFD
| URI | m2://inv/A5M0766KFD |
|---|---|
| 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.24325#IY9E (definition)
History
- 2026-11-01: add by m2/v0.6.15
type, unit A5M1GPBVNA
| URI | m2://inv/A5M1GPBVNA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.8/type-unit, type, unit (concept). In N54F33XE07, index, section 1.8
History
- 2026-11-01: add by m2/v0.6.13
sub-mean-value property A5M1ZKVDBH
| URI | m2://inv/A5M1ZKVDBH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/2.4/sub-mean-value-property, sub-mean-value property (concept). In VNMV985MXX, index, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
$C^{(1,3)}$ Hawking singularity theorem, version 1, general $K$ A5MCW3BKK6
| URI | m2://inv/A5MCW3BKK6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11911#EHBI, $C^{(1,3)}$ Hawking singularity theorem, version 1, general $K$ (statement). In 5BYE5NYB89/e1, theorem 4.9
History
- 2026-10-28: add by m2/v0.4.3
A5MD0C5F7Y A5MD0C5F7Y
| URI | m2://inv/A5MD0C5F7Y |
|---|---|
| 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.22326#665Y (statement). In EAABRG99V8/e1, proposition 5.14
History
- 2026-10-27: add by m2/v0.4.0
Liouville A5MKVGRWYT
| URI | m2://inv/A5MKVGRWYT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-29, Liouville (statement). In VNMV985MXX, thm, section B
History
- 2026-11-01: add by m2/v0.6.13
symmetric probability distribution A5MVBFKZMF
| URI | m2://inv/A5MVBFKZMF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#HXF0, symmetric probability distribution (definition)
History
- 2026-11-02: add by m2/dev
A5MW7474W5 A5MW7474W5
| URI | m2://inv/A5MW7474W5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37562#GIHH (statement). In PYY8DFK2JS/e1, corollary 5.3
History
- 2026-10-30: add by m2/v0.4.12
Gelfand–Graev representation A5MX2D6HP6
| URI | m2://inv/A5MX2D6HP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gelfand–Graev representation, Gelfand–Graev representation (definition). Also Wikidata Q5530426
History
- 2026-11-02: add by m2/dev
A5N4Q36E0C A5N4Q36E0C
| URI | m2://inv/A5N4Q36E0C |
|---|---|
| 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.00625#ONHD (statement). In BGA625B7W1/e1, corollary 3.12
History
- 2026-10-30: add by m2/v0.4.12
Tobit model A5N51CEN7A
| URI | m2://inv/A5N51CEN7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ALQX, Tobit model (definition)
History
- 2026-11-02: add by m2/dev
Definition A5N6WZPXS1
| URI | m2://inv/A5N6WZPXS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rees matrix semigroup#EVXQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
LINDO A5N930MH67
| URI | m2://inv/A5N930MH67 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LINDO, LINDO (definition). Also Wikidata Q18344427
History
- 2026-11-02: add by m2/dev
Dmitrii Sintsov A5NH6G26WC
| URI | m2://inv/A5NH6G26WC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dmitrii Sintsov, Dmitrii Sintsov (topic). Also Wikidata Q5285648
History
- 2026-11-02: add by m2/dev
Young's inequality for products A5NNH7SH1Q
| URI | m2://inv/A5NNH7SH1Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#ALDL, Young's inequality for products (statement)
History
- 2026-11-02: add by m2/dev
Eugene Seneta A5NWEMVHFA
| URI | m2://inv/A5NWEMVHFA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eugene Seneta, Eugene Seneta (topic). Also Wikidata Q5407751
History
- 2026-11-02: add by m2/dev
Primeiro de Maio A5NYRY5N3A
| URI | m2://inv/A5NYRY5N3A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#WLJJ, Primeiro de Maio (unknown)
History
- 2026-11-02: add by m2/dev
A5P149ST99 A5P149ST99
| URI | m2://inv/A5P149ST99 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#exercise-13 (exercise). In Y91XFCEVHQ, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
A5PDJ79807 A5PDJ79807
| URI | m2://inv/A5PDJ79807 |
|---|---|
| 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.17875#62SH (definition). In AQX7DGD360/e1, definition 5.8
History
- 2026-10-28: add by m2/v0.4.2
onto A5PDWV85AG
| URI | m2://inv/A5PDWV85AG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#G90T, onto (definition)
History
- 2026-11-02: add by m2/dev
Daniele Guido A5PRQ6H3F9
| URI | m2://inv/A5PRQ6H3F9 |
|---|---|
| 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 Q102341905, Daniele Guido (unknown). Also nLab Daniele Guido
History
- 2026-10-26: add by m2/dev
Euclidean field A5PY3TG3FT
| URI | m2://inv/A5PY3TG3FT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Euclid#V1ER, Euclidean field (unknown)
History
- 2026-11-02: add by m2/dev
A5Q337XCPM A5Q337XCPM
| URI | m2://inv/A5Q337XCPM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-9 (proof). In VNMV985MXX, proof, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
A5Q6GT5XVS A5Q6GT5XVS
| URI | m2://inv/A5Q6GT5XVS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#NRPS (statement). In E7W2HDNEKJ/e1, lemma 4.8
History
- 2026-10-30: add by m2/v0.4.12
A5Q7P5K2FR A5Q7P5K2FR
| URI | m2://inv/A5Q7P5K2FR |
|---|---|
| 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.35320#7Y4E (statement). In QJ6AEW93RB/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
Generalizations A5Q89N1VZD
| URI | m2://inv/A5Q89N1VZD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perron's formula#HOAI, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
\textbf{One-step error estimates for UBU-type ULMC schemes A5QJMAVP4Y
| URI | m2://inv/A5QJMAVP4Y |
|---|---|
| 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#A0HD, \textbf{One-step error estimates for UBU-type ULMC schemes (statement)
History
- 2026-11-02: add by m2/v0.6.18
A5QTCJ9E84 A5QTCJ9E84
| URI | m2://inv/A5QTCJ9E84 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20299#SDFU (statement). In P7T0W5D3W3/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.4.2
Gordon M. Kaufman A5QW6Z9V8M
| URI | m2://inv/A5QW6Z9V8M |
|---|---|
| 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#ZC5R, Gordon M. Kaufman (unknown)
History
- 2026-11-02: add by m2/dev
Hecke L-function (disambiguation) A5R2ZPNR6G
| URI | m2://inv/A5R2ZPNR6G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Erich Hecke#KML1, Hecke L-function (disambiguation) (unknown)
History
- 2026-11-02: add by m2/dev
identity of indiscernibles A5R3EPBVHD
| URI | m2://inv/A5R3EPBVHD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#6KDH, identity of indiscernibles (definition)
History
- 2026-11-02: add by m2/dev
Examples A5RCZZTKWB
| URI | m2://inv/A5RCZZTKWB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimensional operator#LOQL, Examples (example)
History
- 2026-11-02: add by m2/dev
Lan Wang A5RFF4ZK59
| URI | m2://inv/A5RFF4ZK59 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lan Wang (statistician), Lan Wang (topic). Also Wikidata Q102173939
History
- 2026-11-02: add by m2/dev
The paradox A5RNWPDW5J
| URI | m2://inv/A5RNWPDW5J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Teletransportation paradox#2J7E, The paradox (statement)
History
- 2026-11-02: add by m2/dev
A5S0N82EDN A5S0N82EDN
| URI | m2://inv/A5S0N82EDN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15771#DFGI (statement). In F2243YZX7A/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Botvinnik--Rosenberg A5SA5N4K48
| URI | m2://inv/A5SA5N4K48 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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 2005.03073#BJVW, Botvinnik--Rosenberg (statement). In P2ETMXKVDS/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.3.5
510 (number) A5SCRTE29D
| URI | m2://inv/A5SCRTE29D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#ZEG5, 510 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Sebastian Finsterwalder A5SD44FN24
| URI | m2://inv/A5SD44FN24 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sebastian Finsterwalder, Sebastian Finsterwalder (topic). Also Wikidata Q1529980
History
- 2026-11-02: add by m2/dev
Long exact sequence in homology A5SFX1NX5Q
| URI | m2://inv/A5SFX1NX5Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homological algebra#NW3G, Long exact sequence in homology (unknown)
History
- 2026-11-02: add by m2/dev
A5SHBS8V17 A5SHBS8V17
| URI | m2://inv/A5SHBS8V17 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 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.26340#6F4V (statement)
History
- 2026-11-01: add by m2/v0.6.15
A5SPSX754K A5SPSX754K
| URI | m2://inv/A5SPSX754K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31352#LVNP (statement). In SQZGKRDVBX/e1, lemma 5.1
History
- 2026-10-31: add by m2/v0.5.6
A5T103GTKC A5T103GTKC
| URI | m2://inv/A5T103GTKC |
|---|---|
| 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.26984#11LI (example)
History
- 2026-11-01: add by m2/v0.6.15
Examples A5T6MRGD5K
| URI | m2://inv/A5T6MRGD5K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indicator function (complex analysis)#UNCF, Examples (example)
History
- 2026-11-02: add by m2/dev
Conformal group of space-time A5T6RHEN97
| URI | m2://inv/A5T6RHEN97 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conformal group#JP01, Conformal group of space-time (unknown)
History
- 2026-11-02: add by m2/dev
Pullback measure and transformation formula A5TCDYZH6J
| URI | m2://inv/A5TCDYZH6J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Change of variables#P5SN, Pullback measure and transformation formula (statement)
History
- 2026-11-02: add by m2/dev
Stationary bootstrap A5TD8QV4KW
| URI | m2://inv/A5TD8QV4KW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bootstrapping (statistics)#MSX3, Stationary bootstrap (unknown)
History
- 2026-11-02: add by m2/dev
Continued fraction A5TKPFNAVQ
| URI | m2://inv/A5TKPFNAVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#QF4J, Continued fraction (definition)
History
- 2026-11-02: add by m2/dev
A5TT5V3S3E A5TT5V3S3E
| URI | m2://inv/A5TT5V3S3E |
|---|---|
| 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.02852#QT6F (statement). In HX6FXCYGKA/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.12
Averroes A5TV6NC0Y1
| URI | m2://inv/A5TV6NC0Y1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Averroes, Averroes (topic). Also Wikidata Q39837
History
- 2026-11-02: add by m2/dev
Mean free path A5V8QMFDGS
| URI | m2://inv/A5V8QMFDGS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean free path, Mean free path (definition). Also Wikidata Q756307
History
- 2026-11-02: add by m2/dev
A5VACVWS3V A5VACVWS3V
| URI | m2://inv/A5VACVWS3V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#AHYO (statement). In WAXS6FS388/e1, proposition 10.5
History
- 2026-10-30: add by m2/v0.4.12
spectral gap A5VB9SQ5TH
| URI | m2://inv/A5VB9SQ5TH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#8C56, spectral gap (unknown)
History
- 2026-11-02: add by m2/dev
A5VJQ4Z01A A5VJQ4Z01A
| URI | m2://inv/A5VJQ4Z01A |
|---|---|
| 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.23872#7UBS (statement)
History
- 2026-11-02: add by m2/v0.6.17
friendship graph F3 A5VSJ1N9C5
| URI | m2://inv/A5VSJ1N9C5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q136660129, friendship graph F3 (unknown). Also House of Graphs 21236
History
- 2026-10-26: add by m2/dev
A5VTRNAXB9 A5VTRNAXB9
| URI | m2://inv/A5VTRNAXB9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04895#3HXX (statement). In A7M06ZVYA8/e1, corollary 3.3
History
- 2026-10-29: add by m2/v0.4.12
A5VZ1Y8AR6 A5VZ1Y8AR6
| URI | m2://inv/A5VZ1Y8AR6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.01868#XL8Y (statement). In MQ8S73F6X7/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.6
Lemma A5W34M1N88
| URI | m2://inv/A5W34M1N88 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goldstine theorem#DYEH, Lemma (statement)
History
- 2026-11-02: add by m2/dev
A5W4TGC3AP A5W4TGC3AP
| URI | m2://inv/A5W4TGC3AP |
|---|---|
| Kind | statement |
| 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 2609.34522#IRFV (statement). In 1HJGW3Z6Q8/e1, theorem 2.5
History
- 2026-10-30: add by m2/v0.4.12
Static theorem A5WN3DFYYD
| URI | m2://inv/A5WN3DFYYD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit analysis#G5FK, Static theorem (statement)
History
- 2026-11-02: add by m2/dev
A5WP0CMS42 A5WP0CMS42
| URI | m2://inv/A5WP0CMS42 |
|---|---|
| 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 2610.15454#0PBM (statement). In RGQZVNXWM5/e1, corollary 4.7
History
- 2026-10-28: add by m2/v0.4.2
Examples A5WXX47GGK
| URI | m2://inv/A5WXX47GGK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Specious reasoning#1YPI, Examples (example)
History
- 2026-11-02: add by m2/dev
A5X3CRP6MX A5X3CRP6MX
| URI | m2://inv/A5X3CRP6MX |
|---|---|
| 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.04833#OJW0 (statement). In AKB3CNDA0F/e1, proposition B.3
History
- 2026-10-29: add by m2/v0.4.12
A5X45QWSDV A5X45QWSDV
| URI | m2://inv/A5X45QWSDV |
|---|---|
| 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 1002.0879#ESK3 (definition). In M0SQY5EZN5/e1, definition 2.9.12
History
- 2026-10-27: add by m2/v0.3.5
Strong Arnold conjecture A5XF5DD8Y7
| URI | m2://inv/A5XF5DD8Y7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arnold conjecture#VB95, Strong Arnold conjecture (statement)
History
- 2026-11-02: add by m2/dev
Mario Deng A5XNTHV99Z
| URI | m2://inv/A5XNTHV99Z |
|---|---|
| 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#66W9, Mario Deng (unknown)
History
- 2026-11-02: add by m2/dev
Perturbative distortion of the normalized differential A5XQXTDDQA
| URI | m2://inv/A5XQXTDDQA |
|---|---|
| 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.28014#Z9X3, Perturbative distortion of the normalized differential (statement)
History
- 2026-11-01: add by m2/v0.6.15
A5XQZ0JWDV A5XQZ0JWDV
| URI | m2://inv/A5XQZ0JWDV |
|---|---|
| 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 2609.20153#KVQB (statement)
History
- 2026-11-02: add by m2/v0.6.18
$\ell_4$-isometric unitary is monomial A5XZ59F3GR
| URI | m2://inv/A5XZ59F3GR |
|---|---|
| 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.21653#TTLP, $\ell_4$-isometric unitary is monomial (statement). In 266RE655Z2/e1, lemma 1
History
- 2026-10-27: add by m2/v0.4.2
FastICA A5Y09BNBS4
| URI | m2://inv/A5Y09BNBS4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LI7P, FastICA (definition)
History
- 2026-11-02: add by m2/dev
Local linearization method A5Y0TJP391
| URI | m2://inv/A5Y0TJP391 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local linearization method, Local linearization method (definition). Also Wikidata Q97360187
History
- 2026-11-02: add by m2/dev
Mason and van Zwet inequality A5Y2VB1W9P
| URI | m2://inv/A5Y2VB1W9P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concentration inequality#PWFP, Mason and van Zwet inequality (statement)
History
- 2026-11-02: add by m2/dev
Bilinear refined decoupling A5Y79Z7HFN
| URI | m2://inv/A5Y79Z7HFN |
|---|---|
| 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.07909#333C, Bilinear refined decoupling (statement). In 6KST0WX37C/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Franklin graph A5Y8TH21A3
| URI | m2://inv/A5Y8TH21A3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115484, Franklin graph (unknown). Also House of Graphs 1086, MathWorld FranklinGraph
- wikipedia: Wikipedia Franklin graph, Franklin graph (definition). Also Wikidata Q3115484
History
- 2026-10-26: add by m2/dev
The third edge is the image of the first arc A5YM8XJ2SF
| URI | m2://inv/A5YM8XJ2SF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#XL9O, The third edge is the image of the first arc (statement)
History
- 2026-11-01: add by m2/v0.6.15
A5YWEEYV36 A5YWEEYV36
| URI | m2://inv/A5YWEEYV36 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1904.08413#RFH4 (statement). In X88HPQ0W8C/e1, corollary 3.12
History
- 2026-10-27: add by m2/v0.3.5
A5YY9PCGD2 A5YY9PCGD2
| URI | m2://inv/A5YY9PCGD2 |
|---|---|
| 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 2411.17412#NIZ6 (statement). In DPBHYJBGKD/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.6
A5Z4M32G8M A5Z4M32G8M
| URI | m2://inv/A5Z4M32G8M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14842#4EDY (statement). In MQXT5RQE0C/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Risk measure A5Z6YD71ZA
| URI | m2://inv/A5Z6YD71ZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Risk measure, Risk measure (definition). Also Wikidata Q2154759
History
- 2026-11-02: add by m2/dev
Formulation A5Z9GHY1P2
| URI | m2://inv/A5Z9GHY1P2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of continuity#W6LR, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Krackhardt kite graph A5ZF85B6H5
| URI | m2://inv/A5ZF85B6H5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25099509, Krackhardt kite graph (unknown). Also House of Graphs 1200, MathWorld KrackhardtKite
History
- 2026-10-26: add by m2/dev
A5ZN2K1SKT A5ZN2K1SKT
| URI | m2://inv/A5ZN2K1SKT |
|---|---|
| Kind | statement |
| 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.02244#31SD (statement). In 3REM2EXQK7/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.12
A5ZTM3N2MC A5ZTM3N2MC
| URI | m2://inv/A5ZTM3N2MC |
|---|---|
| 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.13833#SAVK (statement). In VD4JP4HVBX/e1, proposition 3.18
History
- 2026-10-28: add by m2/v0.4.2
A5ZW9G3K0H A5ZW9G3K0H
| URI | m2://inv/A5ZW9G3K0H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#C3Q2 (definition)
History
- 2026-11-02: add by m2/v0.6.18