Inventory rows 7P
The cards of the rows of the inventory whose ids start with 7P. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
4-heat flux 7P01ARN92Q
| URI | m2://inv/7P01ARN92Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Four-vector#K4LY, 4-heat flux (unknown)
History
- 2026-11-02: add by m2/dev
Behrend's trace formula 7P0M598CR8
| URI | m2://inv/7P0M598CR8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Behrend's trace formula, Behrend's trace formula (statement). Also Wikidata Q17097788
History
- 2026-11-02: add by m2/dev
Centered disk-complement hard wall 7P0NNYEWWD
| URI | m2://inv/7P0NNYEWWD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25307#PVF3, Centered disk-complement hard wall (statement)
History
- 2026-11-01: add by m2/v0.6.15
Low basis theorem 7P0QV62QQY
| URI | m2://inv/7P0QV62QQY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Low basis theorem, Low basis theorem (statement). Also Wikidata Q6692975
History
- 2026-11-02: add by m2/dev
7P0V99S1VV 7P0V99S1VV
| URI | m2://inv/7P0V99S1VV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 math/0406514#9AHA (statement). In CY1FE8W1ZW/e1, corollary 0.123
History
- 2026-10-27: add by m2/v0.4.0
7P0W9VTDYM 7P0W9VTDYM
| URI | m2://inv/7P0W9VTDYM |
|---|---|
| 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.08091#VBA5 (statement). In MS13WE3CSD/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.10
Symmetries 7P0X67KQBR
| URI | m2://inv/7P0X67KQBR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 600-cell#ABO2, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
7P1B164PXE 7P1B164PXE
| URI | m2://inv/7P1B164PXE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16541#HUH2 (statement). In D0XH7W96T3/e1, proposition 6.3
History
- 2026-10-28: add by m2/v0.4.2
3 (crystal class) 7P1CF2M68F
| URI | m2://inv/7P1CF2M68F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexagonal crystal family#X35I, 3 (crystal class) (unknown)
History
- 2026-11-02: add by m2/dev
Definition 7P1E1RDB7Z
| URI | m2://inv/7P1E1RDB7Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steiner inellipse#BPYV, Definition (definition)
History
- 2026-11-02: add by m2/dev
Omega 7P1EA02YT1
| URI | m2://inv/7P1EA02YT1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#NS4G, Omega (definition)
History
- 2026-11-02: add by m2/dev
7P1FJ96GNP 7P1FJ96GNP
| URI | m2://inv/7P1FJ96GNP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27049#ZXMS (statement)
History
- 2026-11-01: add by m2/v0.6.15
7P1FX1S6KF 7P1FX1S6KF
| URI | m2://inv/7P1FX1S6KF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/taylor.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 34.7
History
- 2026-11-01: add by m2/v0.6.13
Definition 7P1JERVK34
| URI | m2://inv/7P1JERVK34 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bratteli diagram#DXYB, Definition (definition)
History
- 2026-11-02: add by m2/dev
7P1KBQT5NN 7P1KBQT5NN
| URI | m2://inv/7P1KBQT5NN |
|---|---|
| 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#IRKK (statement)
History
- 2026-11-02: add by m2/v0.6.17
Implementations 7P1QJJZFZZ
| URI | m2://inv/7P1QJJZFZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov–Smirnov test#E2EA, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Washington Statistical Society 7P1R9BS446
| URI | m2://inv/7P1R9BS446 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Washington Statistical Society, Washington Statistical Society (definition). Also Wikidata Q108684833
History
- 2026-11-02: add by m2/dev
M-stationarity 7P1TGE76Y0
| URI | m2://inv/7P1TGE76Y0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00033#MOV1, M-stationarity (definition). In SHMMW4JXZ1/e1, definition 4
History
- 2026-10-30: add by m2/v0.4.12
Fundamental theorem of Galois theory 7P1V0BY7P3
| URI | m2://inv/7P1V0BY7P3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Galois group#V415, Fundamental theorem of Galois theory (statement)
History
- 2026-11-02: add by m2/dev
7P1Y1ZV5D5 7P1Y1ZV5D5
| URI | m2://inv/7P1Y1ZV5D5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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 2609.24545#0AKH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example 7P2510NMEP
| URI | m2://inv/7P2510NMEP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA cryptosystem#80OK, Example (example)
History
- 2026-11-02: add by m2/dev
Cartesian product of graphs 7P26RT2YMW
| URI | m2://inv/7P26RT2YMW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3406706, Cartesian product of graphs (unknown). Also MathWorld GraphCartesianProduct
- wikipedia: Wikipedia Cartesian product of graphs, Cartesian product of graphs (definition). Also Wikidata Q3406706
History
- 2026-10-26: add by m2/dev
Trickle-down 7P28X91KNC
| URI | m2://inv/7P28X91KNC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#6VD7, Trickle-down (definition). In WD2NCBV9F0/e1, definition 4.25
History
- 2026-10-27: add by m2/v0.3.5
Compatibility notions 7P2CEP99MP
| URI | m2://inv/7P2CEP99MP |
|---|---|
| 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.01937#H5Y8, Compatibility notions (definition). In BAEDMM7YM5/e1, definition 16
History
- 2026-10-29: add by m2/v0.4.12
Definition 7P2KFVGXYH
| URI | m2://inv/7P2KFVGXYH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Super-recursive algorithm#JUKC, Definition (definition)
History
- 2026-11-02: add by m2/dev
7P2KNWFWCC 7P2KNWFWCC
| URI | m2://inv/7P2KNWFWCC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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 2609.25468#DGGR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fourier control 7P33TYD8PH
| URI | m2://inv/7P33TYD8PH |
|---|---|
| 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 2606.02312#IY23, Fourier control (statement). In 1SZV94R22Y/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
THEOREM 7P36PPZY2C
| URI | m2://inv/7P36PPZY2C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Busemann function#415U, THEOREM (statement)
History
- 2026-11-02: add by m2/dev
ancestral 7P392RZVNC
| URI | m2://inv/7P392RZVNC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#5RQA, ancestral (definition)
History
- 2026-11-02: add by m2/dev
7P3M9WDQMT 7P3M9WDQMT
| URI | m2://inv/7P3M9WDQMT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09129#X3QB (statement). In Z1RZSF68XZ/e1, corollary 5.4
History
- 2026-10-29: add by m2/v0.4.10
7P3NM6XE9Q 7P3NM6XE9Q
| URI | m2://inv/7P3NM6XE9Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04835#U929 (statement). In P6PHR4W23S/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.12
7P3NNAMXBG 7P3NNAMXBG
| URI | m2://inv/7P3NNAMXBG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20097#LF1O (statement). In Q61JJV39K1/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.4.2
7P3PGQCMA8 7P3PGQCMA8
| URI | m2://inv/7P3PGQCMA8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24001#E1GB (statement)
History
- 2026-11-02: add by m2/v0.6.17
7P405EKWPC 7P405EKWPC
| URI | m2://inv/7P405EKWPC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/characters.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 79.4
History
- 2026-11-01: add by m2/v0.6.13
7P42G37VVE 7P42G37VVE
| URI | m2://inv/7P42G37VVE |
|---|---|
| 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 2207.12181#Z5F0 (statement). In FSD8NE3XSR/e1, corollary 6.12
History
- 2026-10-27: add by m2/v0.4.0
7P44T940PX 7P44T940PX
| URI | m2://inv/7P44T940PX |
|---|---|
| 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.09949#LZK4 (statement). In VGJVFCDV8A/e1, proposition 2.17
History
- 2026-10-29: add by m2/v0.4.10
Grzegorz Świątek 7P46QCHJQF
| URI | m2://inv/7P46QCHJQF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grzegorz Świątek, Grzegorz Świątek (topic). Also Wikidata Q102205671
History
- 2026-11-02: add by m2/dev
Doubled complete core gadget 7P4AFRF4Q3
| URI | m2://inv/7P4AFRF4Q3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22564#JZ3R, Doubled complete core gadget (definition)
History
- 2026-11-02: add by m2/v0.6.17
7P4CJ7ED91 7P4CJ7ED91
| URI | m2://inv/7P4CJ7ED91 |
|---|---|
| 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 2310.14879#FQ1J (definition). In 3VZ55B2N0D/e1, definition 6.10
History
- 2026-10-27: add by m2/v0.4.0
scalar multiplication 7P4EZQPTDF
| URI | m2://inv/7P4EZQPTDF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q126736, scalar multiplication (unknown). Also MathWorld ScalarMultiplication
- wikipedia: Wikipedia Scalar multiplication, Scalar multiplication (definition). Also Wikidata Q126736
History
- 2026-10-26: add by m2/dev
7P4ME2EPGF 7P4ME2EPGF
| URI | m2://inv/7P4ME2EPGF |
|---|---|
| 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 2609.24023#8208 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition 7P4MEX132Y
| URI | m2://inv/7P4MEX132Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bratteli–Vershik diagram#IOT2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties 7P4NMTRF2R
| URI | m2://inv/7P4NMTRF2R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ulam number#DF23, Properties (statement)
History
- 2026-11-02: add by m2/dev
7P4Q0D07K2 7P4Q0D07K2
| URI | m2://inv/7P4Q0D07K2 |
|---|---|
| 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 2512.08487#Q4AP (statement). In 77TVQVYN0Z/e1, proposition 26
History
- 2026-10-27: add by m2/v0.3.6
Wykeham Professor of Physics 7P4QJX4C4Z
| URI | m2://inv/7P4QJX4C4Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wykeham Professor#3BMA, Wykeham Professor of Physics (unknown)
History
- 2026-11-02: add by m2/dev
7P4RA1CD7M 7P4RA1CD7M
| URI | m2://inv/7P4RA1CD7M |
|---|---|
| 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#VASR (statement). In A3VQ2TNRKK/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.0
7P4SF003T5 7P4SF003T5
| URI | m2://inv/7P4SF003T5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31604#ILE6 (statement). In GSN5YTQS2K/e1, lemma 1.4
History
- 2026-10-31: add by m2/v0.5.6
Logarithmic decomposition 7P4V0NMTE5
| URI | m2://inv/7P4V0NMTE5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26152#OGO9, Logarithmic decomposition (statement)
History
- 2026-11-01: add by m2/v0.6.15
decidable, definitional equality 7P52C7BWRE
| URI | m2://inv/7P52C7BWRE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.1/decidable-definitional-equality, decidable, definitional equality (concept). In N54F33XE07, index, section A.1
History
- 2026-11-01: add by m2/v0.6.13
Negative line bundles over projective manifolds 7P52ZTHD15
| URI | m2://inv/7P52ZTHD15 |
|---|---|
| Kind | example |
| 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.25880#4CU2, Negative line bundles over projective manifolds (example)
History
- 2026-11-01: add by m2/v0.6.15
7P54VXW4W4 7P54VXW4W4
| URI | m2://inv/7P54VXW4W4 |
|---|---|
| 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.22272#2E9N (statement). In 4VZV5V0YD6/e1, lemma 4
History
- 2026-10-27: add by m2/v0.4.0
Hermite polynomials 7P557VN2FS
| URI | m2://inv/7P557VN2FS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#LMFX, Hermite polynomials (definition)
History
- 2026-11-02: add by m2/dev
7P56G7MAYM 7P56G7MAYM
| URI | m2://inv/7P56G7MAYM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04172#V3VH (statement). In 9Q1D1NMTTS/e1, corollary 2
History
- 2026-10-29: add by m2/v0.4.12
Richard Davis Anderson 7P57QM4SAK
| URI | m2://inv/7P57QM4SAK |
|---|---|
| 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#M1PH, Richard Davis Anderson (topic)
History
- 2026-11-02: add by m2/dev
7P5C31F11Y 7P5C31F11Y
| URI | m2://inv/7P5C31F11Y |
|---|---|
| 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 2108.06308#F4I8 (statement). In F8BXF46972/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
Vanishing mesh size for every global edge-patch sequence 7P5DGJC25E
| URI | m2://inv/7P5DGJC25E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29153#TL37, Vanishing mesh size for every global edge-patch sequence (statement)
History
- 2026-11-01: add by m2/v0.6.15
Virtual knot 7P5E8N87CG
| URI | m2://inv/7P5E8N87CG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virtual knot, Virtual knot (definition). Also Wikidata Q7935129
History
- 2026-11-02: add by m2/dev
Minesweeper 7P5PZ01BJB
| URI | m2://inv/7P5PZ01BJB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q126194, Minesweeper (unknown). Also MathWorld Minesweeper
History
- 2026-10-26: add by m2/dev
Fujita–Storm equation 7P5RM6XZXP
| URI | m2://inv/7P5RM6XZXP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fujita–Storm equation, Fujita–Storm equation (definition). Also Wikidata Q15857977
History
- 2026-11-02: add by m2/dev
Radio engineer formula 7P5TPYM88C
| URI | m2://inv/7P5TPYM88C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Path loss#HEI8, Radio engineer formula (statement)
History
- 2026-11-02: add by m2/dev
Reduction Operator 7P5YQQH8AF
| URI | m2://inv/7P5YQQH8AF |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 47A56 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30589103, Reduction Operator (topic)
History
- 2026-10-26: add by m2/dev
7P68EFX0W9 7P68EFX0W9
| URI | m2://inv/7P68EFX0W9 |
|---|---|
| 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#GA4L (statement). In SHCQDPCF2J/e1, theorem 3.13
History
- 2026-10-29: add by m2/v0.4.12
7P6AGM6FKF 7P6AGM6FKF
| URI | m2://inv/7P6AGM6FKF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28265#WCSV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Richard V. Kadison 7P6BD1Z8TE
| URI | m2://inv/7P6BD1Z8TE |
|---|---|
| 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#EJEK, Richard V. Kadison (topic)
History
- 2026-11-02: add by m2/dev
7P6CQ7H4MY 7P6CQ7H4MY
| URI | m2://inv/7P6CQ7H4MY |
|---|---|
| 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.00103#7ZIE (statement). In S7RDXJWP1A/e1, lemma A.1
History
- 2026-10-30: add by m2/v0.4.12
Kac 7P6SXMRW7D
| URI | m2://inv/7P6SXMRW7D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#GCSU, Kac (definition)
History
- 2026-11-02: add by m2/dev
Igusa's theorem 7P73F21MCX
| URI | m2://inv/7P73F21MCX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Igusa zeta function#AX0F, Igusa's theorem (statement)
History
- 2026-11-02: add by m2/dev
7P7A4TEES5 7P7A4TEES5
| URI | m2://inv/7P7A4TEES5 |
|---|---|
| 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.13229#PZ2R (statement). In 4WN20N5Z57/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.2
7P7GGPBZEP 7P7GGPBZEP
| URI | m2://inv/7P7GGPBZEP |
|---|---|
| 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 2205.13464#8BAZ (statement). In JPYGC2R3FC/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.3.6
7P7JKN51DV 7P7JKN51DV
| URI | m2://inv/7P7JKN51DV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16358#CB8B (statement). In RJA3YJ9NYK/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.2
7P7KX32E19 7P7KX32E19
| URI | m2://inv/7P7KX32E19 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#VHO5 (statement). In PWXT7J9JX3/e1, proposition 2.13
History
- 2026-10-28: add by m2/v0.4.2
7P7Q0226VM 7P7Q0226VM
| URI | m2://inv/7P7Q0226VM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27125#69B3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
7P7V86BWSR 7P7V86BWSR
| URI | m2://inv/7P7V86BWSR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2407.06927#XX4I (statement). In YM4CSJJDJZ/e1, theorem
History
- 2026-10-27: add by m2/v0.3.6
7P83KDB8ZR 7P83KDB8ZR
| URI | m2://inv/7P83KDB8ZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13532#K4CP (statement). In 9B0X8YPF3P/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2
7P8AFNM9SA 7P8AFNM9SA
| URI | m2://inv/7P8AFNM9SA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#N2I1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Injective tensor product 7P8ASYEE4Z
| URI | m2://inv/7P8ASYEE4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Injective tensor product, Injective tensor product (definition). Also Wikidata Q1663619
History
- 2026-11-02: add by m2/dev
7P8J2YPZ28 7P8J2YPZ28
| URI | m2://inv/7P8J2YPZ28 |
|---|---|
| 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.16381#NLWC (statement). In 304QK565QF/e1, theorem 2.13
History
- 2026-10-28: add by m2/v0.4.2
Examples 7P8MS3YNFJ
| URI | m2://inv/7P8MS3YNFJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic number#E2GH, Examples (example)
History
- 2026-11-02: add by m2/dev
second moment of area 7P8YM4A5G7
| URI | m2://inv/7P8YM4A5G7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q835065, second moment of area (unknown). Also MathWorld AreaMomentofInertia
- wikipedia: Wikipedia Second moment of area, Second moment of area (definition). Also Wikidata Q835065
History
- 2026-10-26: add by m2/dev
Durand–Kerner method 7P98AQXT6P
| URI | m2://inv/7P98AQXT6P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Durand–Kerner method, Durand–Kerner method (definition). Also Wikidata Q1299016
History
- 2026-11-02: add by m2/dev
7P98MQMZHQ 7P98MQMZHQ
| URI | m2://inv/7P98MQMZHQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/deduction-theorem.tex#prop:mp (statement). In PKGMM3P5QY, prop, section 8.4
History
- 2026-11-01: add by m2/v0.6.13
Canonical pseudo-Frobenius lift on the $\mu$-ordinary locus, Lemma 7.4.10 7P9AYVM15M
| URI | m2://inv/7P9AYVM15M |
|---|---|
| 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.33808#FSMB, Canonical pseudo-Frobenius lift on the $\mu$-ordinary locus, Lemma 7.4.10 (statement). In 328KGRNN0W/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
7P9FBQBTC6 7P9FBQBTC6
| URI | m2://inv/7P9FBQBTC6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36827#DF1A (statement). In VSHAQTB2CA/e1, corollary 5.5
History
- 2026-10-30: add by m2/v0.4.12
Parabolic induction 7P9PCBE02H
| URI | m2://inv/7P9PCBE02H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parabolic induction, Parabolic induction (definition). Also Wikidata Q7133735
History
- 2026-11-02: add by m2/dev
Propositional calculus 7P9V3JPN4D
| URI | m2://inv/7P9V3JPN4D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formal systems#ZL3M, Propositional calculus (topic)
History
- 2026-11-02: add by m2/dev
iteration theorem 7PAFPCYANE
| URI | m2://inv/7PAFPCYANE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#SIR7, iteration theorem (definition)
History
- 2026-11-02: add by m2/dev
Herwig--Lascar 7PAYEWDNSG
| URI | m2://inv/7PAYEWDNSG |
|---|---|
| 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#1PU0, Herwig--Lascar (statement). In X765ZXXVC3/e1, lemma 2.19
History
- 2026-10-29: add by m2/v0.4.12
parastatistics 7PB4G1SG7F
| URI | m2://inv/7PB4G1SG7F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7136015, parastatistics (unknown). Also nLab parastatistics
- wikipedia: Wikipedia Parastatistics, Parastatistics (definition). Also Wikidata Q7136015
History
- 2026-10-26: add by m2/dev
Thomas Spencer 7PB7JMRQMN
| URI | m2://inv/7PB7JMRQMN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9P5D, Thomas Spencer (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0CPD, Thomas Spencer (unknown)
History
- 2026-11-02: add by m2/dev
Zeroth law of thermodynamics 7PBDTXAD6T
| URI | m2://inv/7PBDTXAD6T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermal conduction#COQ0, Zeroth law of thermodynamics (statement)
History
- 2026-11-02: add by m2/dev
Carlos 7PC36K9FTC
| URI | m2://inv/7PC36K9FTC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of twin teammates in sports#26JH, Carlos (unknown)
History
- 2026-11-02: add by m2/dev
Kagome lattice 7PC52R3QG5
| URI | m2://inv/7PC52R3QG5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trihexagonal tiling#JD32, Kagome lattice (unknown)
History
- 2026-11-02: add by m2/dev
7PC57R32YM 7PC57R32YM
| URI | m2://inv/7PC57R32YM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-6-4-1.xml#act-6-4-1 (exercise). In 907G4C4EJ1, activity, section 6.4.2
History
- 2026-11-01: add by m2/v0.6.13
7PCCT65N9C 7PCCT65N9C
| URI | m2://inv/7PCCT65N9C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 math/0406514#Y427 (statement). In CY1FE8W1ZW/e1, lemma 0.269
History
- 2026-10-27: add by m2/v0.3.5
7PCZDD34A0 7PCZDD34A0
| URI | m2://inv/7PCZDD34A0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0810.0962#OZNT (example). In 80YMRN5KS9/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
7PD7EFBMCE 7PD7EFBMCE
| URI | m2://inv/7PD7EFBMCE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24185#NL2E (definition)
History
- 2026-11-01: add by m2/v0.6.15
mathematics, formalized 7PDEBRC260
| URI | m2://inv/7PDEBRC260 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u6/mathematics-formalized, mathematics, formalized (concept). In N54F33XE07, index, section u1.u6
History
- 2026-11-01: add by m2/v0.6.13
Busemann heat smoothing 7PDNSWD4PK
| URI | m2://inv/7PDNSWD4PK |
|---|---|
| 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.16563#N85A, Busemann heat smoothing (statement). In V51HCA9ZAA/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
7PDS1Z9648 7PDS1Z9648
| URI | m2://inv/7PDS1Z9648 |
|---|---|
| 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 2606.00589#4JIS (statement). In C8JAGP8VCQ/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.3.5
Construction 7PE2WBK4Q0
| URI | m2://inv/7PE2WBK4Q0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwarz lantern#PJAE, Construction (definition)
History
- 2026-11-02: add by m2/dev
7PE4DTD68R 7PE4DTD68R
| URI | m2://inv/7PE4DTD68R |
|---|---|
| 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.10406#JA1S (statement). In VQA35Q7C00/e1, corollary 4.6
History
- 2026-10-29: add by m2/v0.4.10
7PEDB48033 7PEDB48033
| URI | m2://inv/7PEDB48033 |
|---|---|
| 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.21545#BKP8 (statement). In 1Q3H75330M/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
7PEJHXBXV4 7PEJHXBXV4
| URI | m2://inv/7PEJHXBXV4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.08018#XLKZ (statement). In TN93YFN45W/e1, lemma 3.10
History
- 2026-10-27: add by m2/v0.4.0
Line integral convolution 7PEJQYGWNS
| URI | m2://inv/7PEJQYGWNS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line integral convolution, Line integral convolution (definition). Also Wikidata Q1826358
History
- 2026-11-02: add by m2/dev
Gromov–Witten numbers and the BKMP conjecture 7PEKY64GM9
| URI | m2://inv/7PEKY64GM9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological recursion#DY1U, Gromov–Witten numbers and the BKMP conjecture (statement)
History
- 2026-11-02: add by m2/dev
Definitions 7PEXT1BH6T
| URI | m2://inv/7PEXT1BH6T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neuberg cubic#9V6D, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Weighted Gaussian array estimate 7PF0KG7S4R
| URI | m2://inv/7PF0KG7S4R |
|---|---|
| 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.34066#XMYJ, Weighted Gaussian array estimate (statement). In F0Y3DZCEH0/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
7PF0REGKSR 7PF0REGKSR
| URI | m2://inv/7PF0REGKSR |
|---|---|
| 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.20894#HO9B (statement)
History
- 2026-11-02: add by m2/v0.6.18
7PF3A5J83F 7PF3A5J83F
| URI | m2://inv/7PF3A5J83F |
|---|---|
| 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.18016#GFF2 (definition). In V5PVKDKGGG/e1, definition 5.7
History
- 2026-10-28: add by m2/v0.4.2
7PF3B0Z2QN 7PF3B0Z2QN
| URI | m2://inv/7PF3B0Z2QN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08382#0R9K (statement). In GYMGDQS25R/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
Examples 7PF95XPKSV
| URI | m2://inv/7PF95XPKSV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Refinement (category theory)#34EO, Examples (example)
History
- 2026-11-02: add by m2/dev
Corollary 7PFGZ4A186
| URI | m2://inv/7PFGZ4A186 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moment problem#VYYD, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Independence merging 7PFN62ZZNJ
| URI | m2://inv/7PFN62ZZNJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#P6J6, Independence merging (statement). In ZZER8ZBSCR/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
only 10% of their brains 7PFX6NVWGC
| URI | m2://inv/7PFX6NVWGC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#VA8Y, only 10% of their brains (unknown)
History
- 2026-11-02: add by m2/dev
Example 7PG4JNJ9YJ
| URI | m2://inv/7PG4JNJ9YJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trachtenberg system#VMXM, Example (example)
History
- 2026-11-02: add by m2/dev
Order-8 triangular tiling 7PG7JPZ5YR
| URI | m2://inv/7PG7JPZ5YR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-8 triangular tiling, Order-8 triangular tiling (definition). Also Wikidata Q7100413
History
- 2026-11-02: add by m2/dev
7PGA0XKDY3 7PGA0XKDY3
| URI | m2://inv/7PGA0XKDY3 |
|---|---|
| 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.26813#WII4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
diagonalization lemma 7PGBQN3J76
| URI | m2://inv/7PGBQN3J76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#1WJ9, diagonalization lemma (definition)
History
- 2026-11-02: add by m2/dev
Laczkovich, Miklós 7PGXPR4A07
| URI | m2://inv/7PGXPR4A07 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#ET94, Laczkovich, Miklós (topic)
History
- 2026-11-02: add by m2/dev
real 7PH5WCK2Z7
| URI | m2://inv/7PH5WCK2Z7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#WTIZ, real (definition)
History
- 2026-11-02: add by m2/dev
Nkechi Agwu 7PH8SQHQ45
| URI | m2://inv/7PH8SQHQ45 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nkechi Agwu, Nkechi Agwu (topic). Also Wikidata Q66734333
History
- 2026-11-02: add by m2/dev
7PHC1PT896 7PHC1PT896
| URI | m2://inv/7PHC1PT896 |
|---|---|
| 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 2410.01436#NPTK (statement). In FE59Q5BHKZ/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Definition 7PHFW6R24G
| URI | m2://inv/7PHFW6R24G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diagram (category theory)#U5DC, Definition (definition)
History
- 2026-11-02: add by m2/dev
Autoregressive conditional duration 7PHHR9WFWD
| URI | m2://inv/7PHHR9WFWD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OLP6, Autoregressive conditional duration (definition)
History
- 2026-11-02: add by m2/dev
7PHKD0BDM0 7PHKD0BDM0
| URI | m2://inv/7PHKD0BDM0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32338#48Q5 (statement). In HVY45JQRNK/e1, corollary 5.1
History
- 2026-10-31: add by m2/v0.5.6
operad 7PHP94RSTE
| URI | m2://inv/7PHP94RSTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#VI96, operad (definition)
History
- 2026-11-02: add by m2/dev
7PHQ70YAZE 7PHQ70YAZE
| URI | m2://inv/7PHQ70YAZE |
|---|---|
| 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.14841#8NAP (statement). In 6V5HP8W1ZG/e1, proposition 14
History
- 2026-10-28: add by m2/v0.4.2
The Siegel–Shidlovsky theorem 7PHSRP0JMY
| URI | m2://inv/7PHSRP0JMY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E-function#VIWA, The Siegel–Shidlovsky theorem (statement)
History
- 2026-11-02: add by m2/dev
7PJ5Q7C6T9 7PJ5Q7C6T9
| URI | m2://inv/7PJ5Q7C6T9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20165#DIW7 (statement). In QTD3BP5GA0/e1, corollary 2.3
History
- 2026-10-27: add by m2/v0.4.2
Brown–Forsythe test 7PJBK712KK
| URI | m2://inv/7PJBK712KK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brown–Forsythe test, Brown–Forsythe test (definition). Also Wikidata Q4976838
History
- 2026-11-02: add by m2/dev
Extensions 7PJE1DCSYC
| URI | m2://inv/7PJE1DCSYC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van den Berg–Kesten inequality#A5Z0, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Definition 7PJEXGMYFS
| URI | m2://inv/7PJEXGMYFS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pure submodule#YPHR, Definition (definition)
History
- 2026-11-02: add by m2/dev
7PJJ0A46GC 7PJJ0A46GC
| URI | m2://inv/7PJJ0A46GC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36022#0GNV (statement). In ENH5XNBQWH/e1, theorem A
History
- 2026-10-30: add by m2/v0.4.12
Selberg zeta function 7PJNDJDQDB
| URI | m2://inv/7PJNDJDQDB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of zeta functions#05RU, Selberg zeta function (definition)
History
- 2026-11-02: add by m2/dev
7PJQZXMPH2 7PJQZXMPH2
| URI | m2://inv/7PJQZXMPH2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-71 (proof). In VNMV985MXX, proof, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
SDMX 7PJR9QQK5A
| URI | m2://inv/7PJR9QQK5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MS7P, SDMX (definition)
History
- 2026-11-02: add by m2/dev
Derivative Crandall representation for the regularized anisotropic Epstein zeta function 7PJT7TTXSG
| URI | m2://inv/7PJT7TTXSG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.28282#0ZL0, Derivative Crandall representation for the regularized anisotropic Epstein zeta function (statement)
History
- 2026-11-01: add by m2/v0.6.15
7PJWHMZM0H 7PJWHMZM0H
| URI | m2://inv/7PJWHMZM0H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16475#WQIQ (definition). In FM9SKN560Q/e1, definition 1.2
History
- 2026-10-28: add by m2/v0.4.2
Axioms 7PK9JQBY7E
| URI | m2://inv/7PK9JQBY7E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mereology#CQNC, Axioms (statement)
History
- 2026-11-02: add by m2/dev
Harnack's inequality 7PKCY7958Y
| URI | m2://inv/7PKCY7958Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#07N0, Harnack's inequality (statement)
History
- 2026-11-02: add by m2/dev
7PKMCQ72KV 7PKMCQ72KV
| URI | m2://inv/7PKMCQ72KV |
|---|---|
| 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.32903#DX74 (statement). In S8NB83KQX3/e1, lemma 4
History
- 2026-10-31: add by m2/v0.5.6
nautical mile 7PKPD2KQZ6
| URI | m2://inv/7PKPD2KQZ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93318, nautical mile (definition). Also ProofWiki Definition:Nautical_Mile
History
- 2026-10-26: add by m2/dev
Cantor normal form 7PKVXPXE5P
| URI | m2://inv/7PKVXPXE5P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Set theory > Ordinals > Cantor normal form, Cantor normal form (unknown). Also Mathlib Ordinal.CNF
History
- 2026-10-26: add by m2/dev
7PM0PCN75Y 7PM0PCN75Y
| URI | m2://inv/7PM0PCN75Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17227#1ALL (statement). In DDNP38CHQJ/e1, proposition 6.2
History
- 2026-10-27: add by m2/v0.3.5
7PMP8ZMFB0 7PMP8ZMFB0
| URI | m2://inv/7PMP8ZMFB0 |
|---|---|
| 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 2608.00864#CIGC (statement). In PRF0P3D637/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
7PMQY416MA 7PMQY416MA
| URI | m2://inv/7PMQY416MA |
|---|---|
| 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.35186#7YU9 (statement). In VFNPANY3HD/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
Examples 7PMX4ZT7MA
| URI | m2://inv/7PMX4ZT7MA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomially reflexive space#J3UU, Examples (example)
History
- 2026-11-02: add by m2/dev
7PMYPXDX5A 7PMYPXDX5A
| URI | m2://inv/7PMYPXDX5A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-2.xml#example-2 (example). In 649HGZKE96, example, section 3.2.3
History
- 2026-11-01: add by m2/v0.6.13
7PN4EAF2AK 7PN4EAF2AK
| URI | m2://inv/7PN4EAF2AK |
|---|---|
| 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.07092#ILAM (definition). In JWNYJVH8XG/e1, definition 3.9
History
- 2026-10-29: add by m2/v0.4.10
7PN8N6ZHJ3 7PN8N6ZHJ3
| URI | m2://inv/7PN8N6ZHJ3 |
|---|---|
| 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.31910#0QGS (statement). In E4EK1XXPY4/e1, proposition 3.7
History
- 2026-10-31: add by m2/v0.5.6
7PN93EH4DK 7PN93EH4DK
| URI | m2://inv/7PN93EH4DK |
|---|---|
| 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.30302#IQY0 (statement). In R6ABTE22G0/e1, theorem 4
History
- 2026-10-31: add by m2/v0.5.6
7PNC7JZX5Z 7PNC7JZX5Z
| URI | m2://inv/7PNC7JZX5Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.17091#WXK9 (definition). In N0JJM098W2/e1, definition 6
History
- 2026-10-27: add by m2/v0.4.0
Platon Poretsky 7PNF33ZHH6
| URI | m2://inv/7PNF33ZHH6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Platon Poretsky, Platon Poretsky (topic). Also Wikidata Q706120
History
- 2026-11-02: add by m2/dev
7PNJZ3YVE9 7PNJZ3YVE9
| URI | m2://inv/7PNJZ3YVE9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06683#4UCB (statement). In NH7VBYH6PH/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Rodrigues-type formula 7PNQHPNC6Y
| URI | m2://inv/7PNQHPNC6Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Racah polynomials#WIW4, Rodrigues-type formula (statement)
History
- 2026-11-02: add by m2/dev
A Fourier kernel satisfying the spectral conditions 7PNRWA11P6
| URI | m2://inv/7PNRWA11P6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05388#DEZH, A Fourier kernel satisfying the spectral conditions (example). In 4HJK1986EJ/e1, example B.1
History
- 2026-10-29: add by m2/v0.4.10
7PNRY3ZJJ3 7PNRY3ZJJ3
| URI | m2://inv/7PNRY3ZJJ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31689#ABRM (statement). In Z7M2JSF6HA/e1, fact 6.1
History
- 2026-10-31: add by m2/v0.5.6
7PP1CV1CM4 7PP1CV1CM4
| URI | m2://inv/7PP1CV1CM4 |
|---|---|
| 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.39455#MXXC (statement). In HW4Y4TMEZ3/e1, proposition 5.6
History
- 2026-10-30: add by m2/v0.4.12
7PP3YEBFRB 7PP3YEBFRB
| URI | m2://inv/7PP3YEBFRB |
|---|---|
| Kind | problem |
| 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 2606.20229#MK5D (problem). In 1B85G2QJC2/e1, problem 10.1
History
- 2026-10-27: add by m2/v0.3.6
7PP7TP6PPE 7PP7TP6PPE
| URI | m2://inv/7PP7TP6PPE |
|---|---|
| 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 2302.04470#DFUX (example). In PVRF0WS223/e1, example 3.8
History
- 2026-10-27: add by m2/v0.3.6
7PP8SAP8YR 7PP8SAP8YR
| URI | m2://inv/7PP8SAP8YR |
|---|---|
| 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.06886#NS14 (statement). In M7E747AYBP/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.10
Symplectic reduction 7PPEXZEG3N
| URI | m2://inv/7PPEXZEG3N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Momentum map#8OW3, Symplectic reduction (unknown)
History
- 2026-11-02: add by m2/dev
Delegate Proof-of-stake 7PPH96W136
| URI | m2://inv/7PPH96W136 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof of stake#ZIV7, Delegate Proof-of-stake (unknown)
History
- 2026-11-02: add by m2/dev
ind-scheme 7PPM45KKER
| URI | m2://inv/7PPM45KKER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19597588, ind-scheme (unknown). Also nLab ind-scheme
- wikipedia: Wikipedia Ind-scheme, Ind-scheme (definition). Also Wikidata Q19597588
History
- 2026-10-26: add by m2/dev
7PPMNEER1C 7PPMNEER1C
| URI | m2://inv/7PPMNEER1C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06038#K8O5 (statement). In 4TJGTZWJVK/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
7PPQ4CTJGW 7PPQ4CTJGW
| URI | m2://inv/7PPQ4CTJGW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15648#I7S0 (statement). In 5TM775V8HQ/e1, lemma 13
History
- 2026-10-28: add by m2/v0.4.2
John C. Reynolds 7PPQZE82MG
| URI | m2://inv/7PPQZE82MG |
|---|---|
| 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 Q3719620, John C. Reynolds (unknown). Also nLab John C. Reynolds
History
- 2026-10-26: add by m2/dev
Trajectory-sensitive risk 7PPV2T9HN8
| URI | m2://inv/7PPV2T9HN8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15202#8KER, Trajectory-sensitive risk (statement). In X1FPG0KYBM/e1, theorem W.3
History
- 2026-10-28: add by m2/v0.4.2
7PPYK4AP4M 7PPYK4AP4M
| URI | m2://inv/7PPYK4AP4M |
|---|---|
| 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.33162#HWR6 (statement). In RPC7VG3KHQ/e1, proposition 5.5
History
- 2026-10-30: add by m2/v0.4.12
Frank Anscombe 7PPYTYPZFM
| URI | m2://inv/7PPYTYPZFM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#VFPJ, Frank Anscombe (topic)
History
- 2026-11-02: add by m2/dev
Weeks manifold 7PQ3G2PQNR
| URI | m2://inv/7PQ3G2PQNR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weeks manifold, Weeks manifold (definition). Also Wikidata Q7979541
History
- 2026-11-02: add by m2/dev
Heyawake 7PQ8ANF1PG
| URI | m2://inv/7PQ8ANF1PG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heyawake, Heyawake (definition). Also Wikidata Q477506
History
- 2026-11-02: add by m2/dev
7PQCN58V6T 7PQCN58V6T
| URI | m2://inv/7PQCN58V6T |
|---|---|
| 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 2609.24580#CAT1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Apéry's constant 7PQD04ZD1E
| URI | m2://inv/7PQD04ZD1E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#JHT4, Apéry's constant (definition)
History
- 2026-11-02: add by m2/dev
Albert E. Green 7PQJACDC77
| URI | m2://inv/7PQJACDC77 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albert E. Green, Albert E. Green (topic). Also Wikidata Q2637823
History
- 2026-11-02: add by m2/dev
wave–particle duality 7PQPZEK7E0
| URI | m2://inv/7PQPZEK7E0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q193068, wave–particle duality (definition). Also ProofWiki Definition:Wave-Particle_Duality
History
- 2026-10-26: add by m2/dev
LF (logical framework) 7PQZHK45ZC
| URI | m2://inv/7PQZHK45ZC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#RF0I, LF (logical framework) (definition)
History
- 2026-11-02: add by m2/dev
Definition and examples 7PQZKEHQQG
| URI | m2://inv/7PQZKEHQQG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic Fuchsian group#LGHC, Definition and examples (definition)
History
- 2026-11-02: add by m2/dev
Zero extension 7PR3A0R0BD
| URI | m2://inv/7PR3A0R0BD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sign extension#GRO6, Zero extension (unknown)
History
- 2026-11-02: add by m2/dev
7PR6W6ERZK 7PR6W6ERZK
| URI | m2://inv/7PR6W6ERZK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09522#HWKX (statement). In KKR9167FPT/e1, lemma 26
History
- 2026-10-29: add by m2/v0.4.10
Diameter of a set 7PR8367QR1
| URI | m2://inv/7PR8367QR1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diameter of a set, Diameter of a set (definition). Also Wikidata Q131598137
History
- 2026-11-02: add by m2/dev
Halbstadt 7PR9W5JSXB
| URI | m2://inv/7PR9W5JSXB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#8HLJ, Halbstadt (unknown)
History
- 2026-11-02: add by m2/dev
7PRAWFWXH0 7PRAWFWXH0
| URI | m2://inv/7PRAWFWXH0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#9OBP (definition). In 7V2PVZS04C/e1, definition 2.2
History
- 2026-10-31: add by m2/v0.5.6
Examples 7PRMX5SGA0
| URI | m2://inv/7PRMX5SGA0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meagre set#QOTC, Examples (example)
History
- 2026-11-02: add by m2/dev
Spectral bound under $\kappa$-convexity 7PRQRD98ZX
| URI | m2://inv/7PRQRD98ZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22659#81AV, Spectral bound under $\kappa$-convexity (statement)
History
- 2026-11-02: add by m2/v0.6.17
Theorem 7PS189XRMK
| URI | m2://inv/7PS189XRMK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic samples#7C98, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Row-normalized full-batch margin convergence 7PS1QD3BV4
| URI | m2://inv/7PS1QD3BV4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11309#1TPY, Row-normalized full-batch margin convergence (statement). In TTEAQA1XXR/e1, proposition B.14
History
- 2026-10-28: add by m2/v0.4.3
7PS62MSTC6 7PS62MSTC6
| URI | m2://inv/7PS62MSTC6 |
|---|---|
| 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.21632#THNV (statement). In Q4RZTN2EX6/e1, corollary 5.3
History
- 2026-10-27: add by m2/v0.4.2
African-American Supreme Court justices 7PSBH82RDX
| URI | m2://inv/7PSBH82RDX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of the Supreme Court of the United States#IZK3, African-American Supreme Court justices (unknown)
History
- 2026-11-02: add by m2/dev
Isotropy group 7PSC221G13
| URI | m2://inv/7PSC221G13 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the kind of the item is unknown) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group action#UZLG, Isotropy group (unknown)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Brian Alspach 7PSC3VFRSK
| URI | m2://inv/7PSC3VFRSK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7R86, Brian Alspach (topic)
History
- 2026-11-02: add by m2/dev
7PSDZD9VBD 7PSDZD9VBD
| URI | m2://inv/7PSDZD9VBD |
|---|---|
| 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 2309.08900#ZYVH (definition). In 8X74NB6XBC/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.4.0
The Sun 7PSJ630JWX
| URI | m2://inv/7PSJ630JWX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#32KK, The Sun (unknown)
History
- 2026-11-02: add by m2/dev
7PSMHP5RW1 7PSMHP5RW1
| URI | m2://inv/7PSMHP5RW1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12295#W6ED (statement). In 6DZPR52HRP/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
Hubble distance 7PSNX9FRW1
| URI | m2://inv/7PSNX9FRW1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hubble's law#48TZ, Hubble distance (unknown)
History
- 2026-11-02: add by m2/dev
Simplicial and co-simplicial objects 7PT3MH9VJR
| URI | m2://inv/7PT3MH9VJR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#YRO4, Simplicial and co-simplicial objects (definition). In G3D1YR20BJ/e1, definition A.5
History
- 2026-10-29: add by m2/v0.4.12
7PT9Q0G228 7PT9Q0G228
| URI | m2://inv/7PT9Q0G228 |
|---|---|
| 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 1903.07030#EHWQ (definition). In 9H45HQE7AZ/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
Milman's reverse Brunn–Minkowski inequality 7PT9S7TAY8
| URI | m2://inv/7PT9S7TAY8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#STCN, Milman's reverse Brunn–Minkowski inequality (statement)
History
- 2026-11-02: add by m2/dev
Token Binding 7PTCJTXYX8
| URI | m2://inv/7PTCJTXYX8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Token Binding, Token Binding (definition). Also Wikidata Q56273937
History
- 2026-11-02: add by m2/dev
George B. Thomas 7PTE7HZBQ1
| URI | m2://inv/7PTE7HZBQ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#12FF, George B. Thomas (unknown)
History
- 2026-11-02: add by m2/dev
Optional stopping theorem 7PTEG8FDH2
| URI | m2://inv/7PTEG8FDH2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#P2LY, Optional stopping theorem (statement)
History
- 2026-11-02: add by m2/dev
Abel's test 7PTMX263VG
| URI | m2://inv/7PTMX263VG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#ENO7, Abel's test (definition)
History
- 2026-11-02: add by m2/dev
Applications 7PV1D4Z6NP
| URI | m2://inv/7PV1D4Z6NP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F-coalgebra#PGY2, Applications (example)
History
- 2026-11-02: add by m2/dev
Definition 7PV21BCFCQ
| URI | m2://inv/7PV21BCFCQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time dependent vector field#7K96, Definition (definition)
History
- 2026-11-02: add by m2/dev
Cyrillic Projector 7PV607HMNP
| URI | m2://inv/7PV607HMNP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyrillic Projector, Cyrillic Projector (definition). Also Wikidata Q5200959
History
- 2026-11-02: add by m2/dev
Negative predictive value 7PV6QM5V2K
| URI | m2://inv/7PV6QM5V2K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QTP0, Negative predictive value (definition)
History
- 2026-11-02: add by m2/dev
7PVAKZ20DQ 7PVAKZ20DQ
| URI | m2://inv/7PVAKZ20DQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04694#3Z3Q (statement). In W9A0Z2NBMA/e1, corollary 2
History
- 2026-10-29: add by m2/v0.4.12
Differential inequalities for the tilt 7PVEKXFJY6
| URI | m2://inv/7PVEKXFJY6 |
|---|---|
| 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.09596#1EPG, Differential inequalities for the tilt (statement). In HXFA55BREZ/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
7PVFXPK589 7PVFXPK589
| URI | m2://inv/7PVFXPK589 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9902147#7EBZ (statement). In 7CK21JGM5A/e1, corollary 4.13
History
- 2026-10-27: add by m2/v0.4.2
7PVKABJ5QT 7PVKABJ5QT
| URI | m2://inv/7PVKABJ5QT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10558#PQMN (statement). In GYSF9JXQCH/e1, proposition 5.14
History
- 2026-10-29: add by m2/v0.4.10
7PVKBKC6DH 7PVKBKC6DH
| URI | m2://inv/7PVKBKC6DH |
|---|---|
| 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.35275#JP7F (statement). In B0NV0JBAKB/e1, proposition 2.1
- arxiv: arXiv 2609.35275#WSGR (statement). In B0NV0JBAKB/e1, proposition A.1
History
- 2026-10-30: add by m2/v0.4.12
Hauptvermutung 7PVWFNKXZK
| URI | m2://inv/7PVWFNKXZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hauptvermutung, Hauptvermutung (definition). Also Wikidata Q5682772
History
- 2026-11-02: add by m2/dev
7PW14D346Q 7PW14D346Q
| URI | m2://inv/7PW14D346Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#PGVQ (definition). In QX77AN49J0/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.4.2
7PW1V1KF84 7PW1V1KF84
| URI | m2://inv/7PW1V1KF84 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 19-XX, 20-XX, 22-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 2410.14097#HWJN (statement). In H52QQS8WZA/e1, proposition 11.1
History
- 2026-10-27: add by m2/v0.3.5
Definition 7PW3DZX0QX
| URI | m2://inv/7PW3DZX0QX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-ultrabarrelled space#VT82, Definition (definition)
History
- 2026-11-02: add by m2/dev
7PW3KXMRYY 7PW3KXMRYY
| URI | m2://inv/7PW3KXMRYY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14204#GUKS (statement). In GZAY1Y12YD/e1, theorem H
History
- 2026-10-28: add by m2/v0.4.2
7PW7DY0EJH 7PW7DY0EJH
| URI | m2://inv/7PW7DY0EJH |
|---|---|
| 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 2608.24599#JY5D (statement). In VG8QFWTT8S/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.6
negation completeness 7PWA1MYVXG
| URI | m2://inv/7PWA1MYVXG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#IE9N, negation completeness (definition)
History
- 2026-11-02: add by m2/dev
7PWFFRYB78 7PWFFRYB78
| URI | m2://inv/7PWFFRYB78 |
|---|---|
| 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 1508.01731#ZXG3 (statement). In PKJFZEY8ZV/e1, corollary 3.2
History
- 2026-10-27: add by m2/v0.3.5
7PWGV60YA4 7PWGV60YA4
| URI | m2://inv/7PWGV60YA4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/proof-theoretic-notions.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 22.5
History
- 2026-11-01: add by m2/v0.6.13
Lee Albert Rubel 7PWKG2S8WS
| URI | m2://inv/7PWKG2S8WS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lee Albert Rubel, Lee Albert Rubel (topic). Also Wikidata Q6512943
History
- 2026-11-02: add by m2/dev
International Congress of Chinese Mathematicians 7PWKKMBPBK
| URI | m2://inv/7PWKKMBPBK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Congress of Chinese Mathematicians, International Congress of Chinese Mathematicians (definition). Also Wikidata Q19840231
History
- 2026-11-02: add by m2/dev
7PWQ4HGQNG 7PWQ4HGQNG
| URI | m2://inv/7PWQ4HGQNG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16225#9Z1R (statement). In H3DJV9YQW1/e1, corollary 3.18
History
- 2026-10-28: add by m2/v0.4.2
7PX3GE0R3H 7PX3GE0R3H
| URI | m2://inv/7PX3GE0R3H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40191#3XOJ (statement). In F0D8VSM4Z4/e1, lemma 5.8
History
- 2026-10-30: add by m2/v0.4.12
7PX4SZQYW5 7PX4SZQYW5
| URI | m2://inv/7PX4SZQYW5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22847#W47N (statement)
History
- 2026-11-02: add by m2/v0.6.17
challenging 7PX7KRXF0H
| URI | m2://inv/7PX7KRXF0H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#exercise-3, challenging (exercise). In E9HS8K3A52, exercise, section 3.1.4
History
- 2026-11-01: add by m2/v0.6.13
Ternary carry lemma 7PXJ32Z5D9
| URI | m2://inv/7PXJ32Z5D9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25742#5DZS, Ternary carry lemma (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kripke–Platek set theory 7PXPZ3Y9WA
| URI | m2://inv/7PXPZ3Y9WA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of alternative set theories#0IDA, Kripke–Platek set theory (definition)
History
- 2026-11-02: add by m2/dev
7PY1GEFT95 7PY1GEFT95
| URI | m2://inv/7PY1GEFT95 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.26169#EMSJ (definition). In Q46QV3B0NF/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
7PYJR39304 7PYJR39304
| URI | m2://inv/7PYJR39304 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20131#71JL (statement). In 29D4TTE3J2/e1, proposition 9.6
History
- 2026-10-27: add by m2/v0.4.2
Rado over $k$th powers 7PYWWPQHQ5
| URI | m2://inv/7PYWWPQHQ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.05002#PGJI, Rado over $k$th powers (statement). In JBAQ7DTW7B/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
7PYWYE3CXB 7PYWYE3CXB
| URI | m2://inv/7PYWYE3CXB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 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 2609.30579#S045 (example). In FDYZFDHZH9/e1, example 2.5
History
- 2026-10-31: add by m2/v0.5.6
Generalization 7PZ956GS26
| URI | m2://inv/7PZ956GS26 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-Hadamard transform#Z4IR, Generalization (statement)
History
- 2026-11-02: add by m2/dev
7PZDB1D73J 7PZDB1D73J
| URI | m2://inv/7PZDB1D73J |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-22 (proof). In VNMV985MXX, proof, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
Galois group 7PZJB2A4D1
| URI | m2://inv/7PZJB2A4D1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Galois group 0XTY86BZKY |
Mentions
- wikidata: Wikidata Q730384, Galois group (definition). Also MathWorld GaloisGroup, nLab Galois group, ProofWiki Definition:Galois_Group_of_Field_Extension
- wikipedia: Wikipedia Galois group, Galois group (definition). Also Wikidata Q730384
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Applications 7PZKNV4A90
| URI | m2://inv/7PZKNV4A90 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pestov–Ionin theorem#6IW8, Applications (example)
History
- 2026-11-02: add by m2/dev
7PZMHAJ962 7PZMHAJ962
| URI | m2://inv/7PZMHAJ962 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00099#XNJF (definition). In NNBY2AEHP4/e1, definition 1.1
History
- 2026-10-30: add by m2/v0.4.12
Explicit coefficient term in an Auslander--Reiten mesh 7PZQC4QNSK
| URI | m2://inv/7PZQC4QNSK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20049#IHQQ, Explicit coefficient term in an Auslander--Reiten mesh (statement)
History
- 2026-11-02: add by m2/v0.6.18
7PZTE5721G 7PZTE5721G
| URI | m2://inv/7PZTE5721G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31276#9FGH (statement). In WYDHWYFRFK/e1, lemma 5.5
History
- 2026-10-31: add by m2/v0.5.6