Inventory rows M1
The cards of the rows of the inventory whose ids start with M1. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
M1065JB5GR M1065JB5GR
| URI | m2://inv/M1065JB5GR |
|---|---|
| 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 2609.33584#TI4M (statement). In 3HFBAWQCA1/e1, proposition 7.3
History
- 2026-10-30: add by m2/v0.4.12
M10AJNF654 M10AJNF654
| URI | m2://inv/M10AJNF654 |
|---|---|
| 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.35460#3WUE (statement). In R515NECVME/e1, proposition 6.3
History
- 2026-10-30: add by m2/v0.4.12
Definition M10VT9CE5D
| URI | m2://inv/M10VT9CE5D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect digital invariant#Y2EQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Muirhead's inequality M112Z8S1T2
| URI | m2://inv/M112Z8S1T2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#1BZA, Muirhead's inequality (statement)
History
- 2026-11-02: add by m2/dev
Nathan Altshiller Court M115270ZQP
| URI | m2://inv/M115270ZQP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#TDRI, Nathan Altshiller Court (topic)
History
- 2026-11-02: add by m2/dev
Variations M11YPAAG1S
| URI | m2://inv/M11YPAAG1S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knapsack problem#I1CD, Variations (statement)
History
- 2026-11-02: add by m2/dev
Yasuyuki Kawahigashi M1241BP2KB
| URI | m2://inv/M1241BP2KB |
|---|---|
| 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#CQKP, Yasuyuki Kawahigashi (topic)
History
- 2026-11-02: add by m2/dev
Examples M124Q10C58
| URI | m2://inv/M124Q10C58 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lambert series#50AP, Examples (example)
History
- 2026-11-02: add by m2/dev
Inheritance from ordinary designs M12BN43MNK
| URI | m2://inv/M12BN43MNK |
|---|---|
| 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.40252#D04I, Inheritance from ordinary designs (statement). In 7MVPNFPRKB/e1, proposition 10.5
History
- 2026-10-30: add by m2/v0.4.12
Luis Vázquez Martínez M12BP46ES9
| URI | m2://inv/M12BP46ES9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luis Vázquez Martínez, Luis Vázquez Martínez (topic). Also Wikidata Q23682315
History
- 2026-11-02: add by m2/dev
Multiplication and repeated addition M12K3D8KG8
| URI | m2://inv/M12K3D8KG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplication and repeated addition, Multiplication and repeated addition (definition). Also Wikidata Q17082128
History
- 2026-11-02: add by m2/dev
Krivine–Stengle Positivstellensatz M12M57XTWZ
| URI | m2://inv/M12M57XTWZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krivine–Stengle Positivstellensatz, Krivine–Stengle Positivstellensatz (definition). Also Wikidata Q7607564
History
- 2026-11-02: add by m2/dev
M12M7Y7MM7 M12M7Y7MM7
| URI | m2://inv/M12M7Y7MM7 |
|---|---|
| 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#O9K9 (statement). In GYMGDQS25R/e1, theorem 3.11
History
- 2026-10-29: add by m2/v0.4.10
Artificial random isotropic model M12N948N7M
| URI | m2://inv/M12N948N7M |
|---|---|
| Kind | example |
| 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.21952#M5T2, Artificial random isotropic model (example). In 684EB1TQ4B/e1, example 1
History
- 2026-10-27: add by m2/v0.4.2
M12Q0WEZ12 M12Q0WEZ12
| URI | m2://inv/M12Q0WEZ12 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-58 (exercise). In VNMV985MXX, exercise, section 1.6
History
- 2026-11-01: add by m2/v0.6.13
Artinian local $\sh{T}(0)-$MTS-algebra M12Y00KYTT
| URI | m2://inv/M12Y00KYTT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26896#OR0O, Artinian local $\sh{T}(0)-$MTS-algebra (definition)
History
- 2026-11-01: add by m2/v0.6.15
Spectral risk measure M12Y2VWTE6
| URI | m2://inv/M12Y2VWTE6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral risk measure, Spectral risk measure (definition). Also Wikidata Q7575204
History
- 2026-11-02: add by m2/dev
Example M133EMNWKF
| URI | m2://inv/M133EMNWKF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expected value of sample information#15HX, Example (example)
History
- 2026-11-02: add by m2/dev
M13B33ZMED M13B33ZMED
| URI | m2://inv/M13B33ZMED |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23469#PXY0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
M13BX6N5A0 M13BX6N5A0
| URI | m2://inv/M13BX6N5A0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-24 (exercise). In E59CDZA4DP, exercise, section 7.3.1
History
- 2026-11-01: add by m2/v0.6.13
canonical quantization M13JMYF766
| URI | m2://inv/M13JMYF766 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 81S05 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5961083, canonical quantization (topic)
- wikipedia: Wikipedia Canonical quantization, Canonical quantization (definition). Also Wikidata Q5961083
History
- 2026-10-26: add by m2/dev
General formula M13W4FCY4Z
| URI | m2://inv/M13W4FCY4Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer triangle#5O3L, General formula (statement)
History
- 2026-11-02: add by m2/dev
M146TMQW2G M146TMQW2G
| URI | m2://inv/M146TMQW2G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#dirich:diffsepexr (exercise). In E9HS8K3A52, exercise, section 5.9.1
History
- 2026-11-01: add by m2/v0.6.13
M- and E-sampling M147HB985N
| URI | m2://inv/M147HB985N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31607#6LWK, M- and E-sampling (definition). In H9X9WZ17TT/e1, definition 1
History
- 2026-10-31: add by m2/v0.5.6
Coherent duality M14AY7N0NA
| URI | m2://inv/M14AY7N0NA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#7Q3P, Coherent duality (definition)
- wikipedia: Wikipedia List of algebraic geometry topics#50MC, Coherent duality (definition)
History
- 2026-11-02: add by m2/dev
Statement of Kazamaki's condition M14MEBD0NE
| URI | m2://inv/M14MEBD0NE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kazamaki's condition#9782, Statement of Kazamaki's condition (statement)
History
- 2026-11-02: add by m2/dev
M14MF538RR M14MF538RR
| URI | m2://inv/M14MF538RR |
|---|---|
| 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.11757#WJN9 (statement). In VSJRVTHWWA/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.3
M14MT3BHZW M14MT3BHZW
| URI | m2://inv/M14MT3BHZW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19787#LDF9 (statement). In A4VP56CT7B/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Statement M14V3QVDZK
| URI | m2://inv/M14V3QVDZK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gan–Gross–Prasad conjecture#XS78, Statement (statement)
History
- 2026-11-02: add by m2/dev
periodic, weakly and strongly aperiodic M14W12NHP5
| URI | m2://inv/M14W12NHP5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 37-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00916#WCP1, periodic, weakly and strongly aperiodic (definition). In 3MMFCTKPPJ/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Formal definition M1540HJR0T
| URI | m2://inv/M1540HJR0T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Senary#H8TU, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Examples M15761HM1Z
| URI | m2://inv/M15761HM1Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable map#MA40, Examples (example)
History
- 2026-11-02: add by m2/dev
Amir Pnueli M15A1265J8
| URI | m2://inv/M15A1265J8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZWMS, Amir Pnueli (unknown)
History
- 2026-11-02: add by m2/dev
M15ACG655Z M15ACG655Z
| URI | m2://inv/M15ACG655Z |
|---|---|
| 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 2109.08858#7T7Y (statement). In E6795TKR6R/e1, lemma 20
History
- 2026-10-27: add by m2/v0.3.5
Definition M15AQSC25P
| URI | m2://inv/M15AQSC25P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-fibration#KYJO, Definition (definition)
History
- 2026-11-02: add by m2/dev
parameter M15CY8PXVT
| URI | m2://inv/M15CY8PXVT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#OO2B, parameter (definition)
History
- 2026-11-02: add by m2/dev
M15MS90YRD M15MS90YRD
| URI | m2://inv/M15MS90YRD |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/frobenius.tex#proof-2 (proof). In RZP28ERRZV, proof, section 13.2
History
- 2026-11-01: add by m2/v0.6.13
Generalization M15RADDQ8J
| URI | m2://inv/M15RADDQ8J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gudermannian function#27O2, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Bose–Einstein statistics M15TTYWDYW
| URI | m2://inv/M15TTYWDYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bose–Einstein statistics, Bose–Einstein statistics (definition). Also Wikidata Q191076
History
- 2026-11-02: add by m2/dev
Ford's theorem M15WA7ZDWG
| URI | m2://inv/M15WA7ZDWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#PYLC, Ford's theorem (definition)
History
- 2026-11-02: add by m2/dev
M15YN22HTQ M15YN22HTQ
| URI | m2://inv/M15YN22HTQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05512#UBNJ (statement). In 2F0KX51XKM/e1, theorem 9
History
- 2026-10-29: add by m2/v0.4.10
M15Z80AMCX M15Z80AMCX
| URI | m2://inv/M15Z80AMCX |
|---|---|
| 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.26041#3UXJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alexandre L. Chistov M15ZY8VXS1
| URI | m2://inv/M15ZY8VXS1 |
|---|---|
| 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#9O6W, Alexandre L. Chistov (unknown)
History
- 2026-11-02: add by m2/dev
M1601XJRN3 M1601XJRN3
| URI | m2://inv/M1601XJRN3 |
|---|---|
| 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 2610.05232#LWKD (statement). In DA3VN96YX2/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
M16HN3EWJE M16HN3EWJE
| URI | m2://inv/M16HN3EWJE |
|---|---|
| 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.23287#WC4T (statement)
History
- 2026-11-02: add by m2/v0.6.17
Properties M16N07DZS2
| URI | m2://inv/M16N07DZS2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set-theoretic limit#ZNQY, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition M16PJYYG12
| URI | m2://inv/M16PJYYG12 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scalar curvature#P01T, Definition (definition)
History
- 2026-11-02: add by m2/dev
M16RYBPN9P M16RYBPN9P
| URI | m2://inv/M16RYBPN9P |
|---|---|
| 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.02484#2768 (statement). In D1V0MQZTFQ/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.12
M171HNWW7C M171HNWW7C
| URI | m2://inv/M171HNWW7C |
|---|---|
| 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.17129#FGFE (statement). In TCZWAMNYCV/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
M17996DH7E M17996DH7E
| URI | m2://inv/M17996DH7E |
|---|---|
| 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.15094#4JIN (statement). In 5AA8PPK2CC/e1, theorem 11
History
- 2026-10-28: add by m2/v0.4.2
anchoring bias M17PPE0ZMF
| URI | m2://inv/M17PPE0ZMF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#5ZWC, anchoring bias (unknown)
History
- 2026-11-02: add by m2/dev
Deep-message necessity M17PXCKKEN
| URI | m2://inv/M17PXCKKEN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39633#L8J6, Deep-message necessity (statement). In B339AJZP2S/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
M188WK7XRP M188WK7XRP
| URI | m2://inv/M188WK7XRP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.05320#80U5 (statement). In MVXZWHKEX8/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
moving average M189HCVHBG
| URI | m2://inv/M189HCVHBG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#083L, moving average (definition)
History
- 2026-11-02: add by m2/dev
M18BPE60BY M18BPE60BY
| URI | m2://inv/M18BPE60BY |
|---|---|
| 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.08342#52FI (statement). In PJBVMDPSR3/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
M18CP297BW M18CP297BW
| URI | m2://inv/M18CP297BW |
|---|---|
| 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 2403.15255#M3FV (statement). In G691MXMYW0/e1, corollary 3.20
History
- 2026-10-27: add by m2/v0.4.0
CaCuSESOP with controlled restarts M18TESC4X0
| URI | m2://inv/M18TESC4X0 |
|---|---|
| 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.06557#IVN4, CaCuSESOP with controlled restarts (statement). In VV5CH6Y31D/e1, corollary 5.2
History
- 2026-10-29: add by m2/v0.4.10
M18V0EKR6J M18V0EKR6J
| URI | m2://inv/M18V0EKR6J |
|---|---|
| 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.01737#O7IY (statement). In M4JGP708F4/e1, fact 3.36
History
- 2026-10-29: add by m2/v0.4.12
M196YCW28A M196YCW28A
| URI | m2://inv/M196YCW28A |
|---|---|
| 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.05506#RDB5 (statement). In FT53PMB1TE/e1, lemma 6.1.3
History
- 2026-10-29: add by m2/v0.4.10
M19KWFSRNK M19KWFSRNK
| URI | m2://inv/M19KWFSRNK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19300#S9X7 (statement). In S6S4RD5VXJ/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.2
Information inequality and exponential families M19MKQ0M0Y
| URI | m2://inv/M19MKQ0M0Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parametric statistics#N5QO, Information inequality and exponential families (statement)
History
- 2026-11-02: add by m2/dev
M19Q3Y73A4 M19Q3Y73A4
| URI | m2://inv/M19Q3Y73A4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:extensionfromhypnotenough (exercise). In VNMV985MXX, exercise, section 4.5
History
- 2026-11-01: add by m2/v0.6.13
M19R1HRMCW M19R1HRMCW
| URI | m2://inv/M19R1HRMCW |
|---|---|
| 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 2610.18371#NIT7 (statement). In V9QJTE6S79/e1, corollary 1.1
History
- 2026-10-28: add by m2/v0.4.2
Lyudmila Keldysh M19R5VMFYJ
| URI | m2://inv/M19R5VMFYJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#M5ZR, Lyudmila Keldysh (topic)
History
- 2026-11-02: add by m2/dev
Herschel graph M19T7PYASC
| URI | m2://inv/M19T7PYASC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115504, Herschel graph (unknown). Also House of Graphs 1158, MathWorld HerschelGraph
- wikipedia: Wikipedia Herschel graph, Herschel graph (definition). Also Wikidata Q3115504
History
- 2026-10-26: add by m2/dev
Construction M1A2ARRAYW
| URI | m2://inv/M1A2ARRAYW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prism graph#45EJ, Construction (definition)
History
- 2026-11-02: add by m2/dev
M1A2MQJVKS M1A2MQJVKS
| URI | m2://inv/M1A2MQJVKS |
|---|---|
| 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.39491#4YJI (statement). In 9R00V9TGVT/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
Rectified Gaussian distribution M1ABR5FHYN
| URI | m2://inv/M1ABR5FHYN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4FUS, Rectified Gaussian distribution (definition)
History
- 2026-11-02: add by m2/dev
M1AG94G4JJ M1AG94G4JJ
| URI | m2://inv/M1AG94G4JJ |
|---|---|
| Kind | problem |
| 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.23607#M5ON (problem)
History
- 2026-11-02: add by m2/v0.6.17
Classical modular curve M1AKBKGJ4B
| URI | m2://inv/M1AKBKGJ4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#74WA, Classical modular curve (definition)
- wikipedia: Wikipedia List of curves#KE0E, Classical modular curve (definition)
History
- 2026-11-02: add by m2/dev
Murakami–Yano formula M1APM2EQEJ
| URI | m2://inv/M1APM2EQEJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Murakami–Yano formula, Murakami–Yano formula (statement). Also Wikidata Q16911248
History
- 2026-11-02: add by m2/dev
M1ARWV2AFA M1ARWV2AFA
| URI | m2://inv/M1ARWV2AFA |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/church-rosser/beta-reduction.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 35.2
History
- 2026-11-01: add by m2/v0.6.13
Copying mechanism M1AX66HYEP
| URI | m2://inv/M1AX66HYEP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Copying mechanism, Copying mechanism (definition). Also Wikidata Q5169204
History
- 2026-11-02: add by m2/dev
M1B7AG9M8Z M1B7AG9M8Z
| URI | m2://inv/M1B7AG9M8Z |
|---|---|
| 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.24412#QU3R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Burrows–Wheeler transform M1BEE84TXH
| URI | m2://inv/M1BEE84TXH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#6CYI, Burrows–Wheeler transform (unknown)
History
- 2026-11-02: add by m2/dev
M1BKBKST6B M1BKBKST6B
| URI | m2://inv/M1BKBKST6B |
|---|---|
| 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 2501.17850#D1R5 (statement). In WS5KWBEG5Q/e1, lemma 11
History
- 2026-10-27: add by m2/v0.4.0
Regret Bounds M1BN1ZRPBD
| URI | m2://inv/M1BN1ZRPBD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10167#X2Z6, Regret Bounds (statement). In SVMDSE7PKG/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.10
M1BP4KVND9 M1BP4KVND9
| URI | m2://inv/M1BP4KVND9 |
|---|---|
| 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.08039#4SD7 (statement). In Y1K8WE4MDP/e1, lemma 2.9
History
- 2026-10-29: add by m2/v0.4.10
M1C0BK6AHW M1C0BK6AHW
| URI | m2://inv/M1C0BK6AHW |
|---|---|
| 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.21358#OOQU (statement). In XV70TXYS5A/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.4.2
M1C6S8GK25 M1C6S8GK25
| URI | m2://inv/M1C6S8GK25 |
|---|---|
| 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 2606.05329#7YUP (statement). In DZV8X6MNCH/e1, theorem 2
History
- 2026-10-27: add by m2/v0.4.0
300,000 M1C88J0G04
| URI | m2://inv/M1C88J0G04 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 100,000#8MYF, 300,000 (unknown)
History
- 2026-11-02: add by m2/dev
M1CDYEMDN5 M1CDYEMDN5
| URI | m2://inv/M1CDYEMDN5 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/CH.tex#proof-5 (proof). In RZP28ERRZV, proof, section 88.4
History
- 2026-11-01: add by m2/v0.6.13
*{Secs. 4.1.1--4.1.2 M1CEND3N7F
| URI | m2://inv/M1CEND3N7F |
|---|---|
| Kind | definition |
| 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.23341#6OWI, *{Secs. 4.1.1--4.1.2 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Applications M1DGNZAD01
| URI | m2://inv/M1DGNZAD01 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixture distribution#2HCS, Applications (example)
History
- 2026-11-02: add by m2/dev
Capable group M1DSCQ6VDK
| URI | m2://inv/M1DSCQ6VDK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#8A4M, Capable group (definition)
History
- 2026-11-02: add by m2/dev
Vertical asymptote M1E0959ED9
| URI | m2://inv/M1E0959ED9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptote#CTN9, Vertical asymptote (unknown)
History
- 2026-11-02: add by m2/dev
Gambler's ruin M1EJM47W2D
| URI | m2://inv/M1EJM47W2D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Gambler's ruin 0WFMKK7DFZ |
Mentions
- wikidata: Wikidata Q660446, Gambler's ruin (concept). Also MathWorld GamblersRuin
- wikipedia: Wikipedia Gambler's ruin, Gambler's ruin (definition). Also Wikidata Q660446
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Examples M1ENX59M7H
| URI | m2://inv/M1ENX59M7H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deliberative opinion poll#IJDV, Examples (example)
History
- 2026-11-02: add by m2/dev
M1EQMR7E14 M1EQMR7E14
| URI | m2://inv/M1EQMR7E14 |
|---|---|
| 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 2404.05965#QKKJ (statement). In GD1GED3FZ3/e1, corollary 9.3
History
- 2026-10-27: add by m2/v0.3.5
Theorem (Krylov–Bogolyubov) M1EVWCX6NE
| URI | m2://inv/M1EVWCX6NE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krylov–Bogolyubov theorem#L683, Theorem (Krylov–Bogolyubov) (statement)
History
- 2026-11-02: add by m2/dev
M1EWMZK9NV M1EWMZK9NV
| URI | m2://inv/M1EWMZK9NV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-77 (exercise). In VNMV985MXX, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Definition M1EYDN2QDR
| URI | m2://inv/M1EYDN2QDR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tautness (topology)#5XZN, Definition (definition)
History
- 2026-11-02: add by m2/dev
M1EZBQ0Y2C M1EZBQ0Y2C
| URI | m2://inv/M1EZBQ0Y2C |
|---|---|
| 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 2404.06445#UNWZ (statement). In 12JKZ8EN52/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.3.5
M1F5WK4A3F M1F5WK4A3F
| URI | m2://inv/M1F5WK4A3F |
|---|---|
| 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.26401#40CO (statement)
History
- 2026-11-01: add by m2/v0.6.15
M1FDD7V70C M1FDD7V70C
| URI | m2://inv/M1FDD7V70C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#9HR3 (definition). In REDG6QVHM3/e1, definition 9.2
History
- 2026-10-29: add by m2/v0.4.12
M1FJZKC8HH M1FJZKC8HH
| URI | m2://inv/M1FJZKC8HH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/NegatingAndContradiction.tex#theorem-1 (statement). In P1C114YBXG, theorem, section F
History
- 2026-11-01: add by m2/v0.6.13
M1FQDBN5H9 M1FQDBN5H9
| URI | m2://inv/M1FQDBN5H9 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/integrate.tex#proof-2 (proof). In RZP28ERRZV, proof, section 31.2
History
- 2026-11-01: add by m2/v0.6.13
Main theorem M1FR1BNXYE
| URI | m2://inv/M1FR1BNXYE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smooth projective plane#E3DV, Main theorem (statement)
History
- 2026-11-02: add by m2/dev
Banach–Alaoglu theorem M1G5DYRVYF
| URI | m2://inv/M1G5DYRVYF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ADBU, Banach–Alaoglu theorem (statement)
History
- 2026-11-02: add by m2/dev
M1G7E60GC4 M1G7E60GC4
| URI | m2://inv/M1G7E60GC4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2609.34845#UPOJ (statement). In SBZNH932ZV/e1, lemma A.1
History
- 2026-10-30: add by m2/v0.4.12
Weil height machine M1GFYCE6ZW
| URI | m2://inv/M1GFYCE6ZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#W86G, Weil height machine (definition)
History
- 2026-11-02: add by m2/dev
type II string theory M1GH4HFV0J
| URI | m2://inv/M1GH4HFV0J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2556395, type II string theory (unknown). Also nLab type II string theory
History
- 2026-10-26: add by m2/dev
M1GJE5MQQK M1GJE5MQQK
| URI | m2://inv/M1GJE5MQQK |
|---|---|
| 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 2610.01596#JTYG (statement). In 40VTEP7WH8/e1, corollary 6.2
History
- 2026-10-29: add by m2/v0.4.12
Principle of virtual displacements M1GJVE70HD
| URI | m2://inv/M1GJVE70HD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virtual work#KU0C, Principle of virtual displacements (statement)
History
- 2026-11-02: add by m2/dev
M1GK2PEWZH M1GK2PEWZH
| URI | m2://inv/M1GK2PEWZH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_posets_intervalorder_findrep.ptx#thm_intord-minrep (statement). In QKM9DD2H56, theorem, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
M1GRAGTAJN M1GRAGTAJN
| URI | m2://inv/M1GRAGTAJN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14446#0WZT (statement). In AWRXXZR673/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
semantic vagueness M1GSQMPCRF
| URI | m2://inv/M1GSQMPCRF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#1GWH, semantic vagueness (definition)
History
- 2026-11-02: add by m2/dev
Equivariant transfer by averaging M1GZTV5MEC
| URI | m2://inv/M1GZTV5MEC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.09848#Z2SG, Equivariant transfer by averaging (statement). In HF7YNMW39N/e1, proposition 7.4
History
- 2026-10-27: add by m2/v0.4.0
Simplex category M1H0YB7WJW
| URI | m2://inv/M1H0YB7WJW |
|---|---|
| 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#UD0O, Simplex category (definition). In G3D1YR20BJ/e1, definition A.4
History
- 2026-10-29: add by m2/v0.4.12
Soundness M1H3P9VQCM
| URI | m2://inv/M1H3P9VQCM |
|---|---|
| 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 2207.11097#T6F4, Soundness (statement). In 13H5BTAXHF/e1, theorem 13
History
- 2026-10-27: add by m2/v0.3.5
dualizing module M1HB6T6K11
| URI | m2://inv/M1HB6T6K11 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Gorenstein ring T6HCX959PJ |
Mentions
- wikidata: Wikidata Q5310268, dualizing module (unknown). Also MathWorld GorensteinRing, nLab dualizing module
- wikidata: Wikidata Q5586177, Gorenstein ring (concept). Also EoM Gorenstein_ring, MathWorld GorensteinRing, nLab Gorenstein ring
- wikipedia: Wikipedia Dualizing module, Dualizing module (definition). Also Wikidata Q5310268
- wikipedia: Wikipedia Gorenstein ring, Gorenstein ring (definition). Also Wikidata Q5586177
History
- 2026-10-26: add by m2/dev
supertriangle M1HC7HJ14T
| URI | m2://inv/M1HC7HJ14T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q135995871, supertriangle (unknown). Also MathWorld TriangularGridGraph
History
- 2026-10-26: add by m2/dev
Restricted maximum likelihood M1HPGBPFKE
| URI | m2://inv/M1HPGBPFKE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ENEO, Restricted maximum likelihood (definition)
History
- 2026-11-02: add by m2/dev
M1J6SHMEEM M1J6SHMEEM
| URI | m2://inv/M1J6SHMEEM |
|---|---|
| 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 2006.05158#UNRO (statement). In 4VCW6SZQXK/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.5
Transmission regularity M1J8ATQT90
| URI | m2://inv/M1J8ATQT90 |
|---|---|
| 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.13429#QXJ5, Transmission regularity (statement). In B2VB5T5WQD/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Fermat M1JDYWW6M3
| URI | m2://inv/M1JDYWW6M3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermat (computer algebra system), Fermat (definition). Also Wikidata Q5444376
History
- 2026-11-02: add by m2/dev
Elsie Whetnall M1JJ4J3FN5
| URI | m2://inv/M1JJ4J3FN5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elsie Whetnall, Elsie Whetnall (topic). Also Wikidata Q16750376
History
- 2026-11-02: add by m2/dev
Conjectures M1JQKF6DJ6
| URI | m2://inv/M1JQKF6DJ6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bondage number#OX7C, Conjectures (statement)
History
- 2026-11-02: add by m2/dev
M1JT47RZ96 M1JT47RZ96
| URI | m2://inv/M1JT47RZ96 |
|---|---|
| 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 2509.05577#UQNP (statement). In EFWBREMZAP/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
M1JYGJA0WK M1JYGJA0WK
| URI | m2://inv/M1JYGJA0WK |
|---|---|
| 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.39103#77GB (statement). In VGB0N93ES8/e1, lemma 12
History
- 2026-10-30: add by m2/v0.4.12
Chern–Simons form M1KQXJNJ2A
| URI | m2://inv/M1KQXJNJ2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#BFEF, Chern–Simons form (definition)
History
- 2026-11-02: add by m2/dev
Algorithms M1KT9JPG5A
| URI | m2://inv/M1KT9JPG5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stack-sortable permutation#00DU, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Examples M1M04B0BSW
| URI | m2://inv/M1M04B0BSW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncentral hypergeometric distributions#A3I7, Examples (example)
History
- 2026-11-02: add by m2/dev
M1M20ZH9F2 M1M20ZH9F2
| URI | m2://inv/M1M20ZH9F2 |
|---|---|
| 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#G74B (statement). In W4TYN4PGE8/e1, lemma 2.51
History
- 2026-10-27: add by m2/v0.3.5
Maximum common subgraph isomorphism problem M1MA1BBCER
| URI | m2://inv/M1MA1BBCER |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#JXBT, Maximum common subgraph isomorphism problem (unknown)
History
- 2026-11-02: add by m2/dev
Statement M1MEVZVN7F
| URI | m2://inv/M1MEVZVN7F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barrow's inequality#3GZV, Statement (statement)
History
- 2026-11-02: add by m2/dev
Raphaël Salem M1MR1WJ6FE
| URI | m2://inv/M1MR1WJ6FE |
|---|---|
| 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 Q1398969, Raphaël Salem (unknown). Also ProofWiki Mathematician:Raphaël_Salem
History
- 2026-10-26: add by m2/dev
M1MTAXK4NC M1MTAXK4NC
| URI | m2://inv/M1MTAXK4NC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02558#FJES (statement). In 7SMKFW1KP1/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
Systematic Multipermutation Codes M1NAVY14TH
| URI | m2://inv/M1NAVY14TH |
|---|---|
| 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.37578#XYR8, Systematic Multipermutation Codes (statement). In D7NDCWSDJE/e1, theorem 9
History
- 2026-10-30: add by m2/v0.4.12
M1NENJ1JZD M1NENJ1JZD
| URI | m2://inv/M1NENJ1JZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.14610#ST4L (statement). In 2M0S561GTR/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
Claudia Spiro M1NGCBC1Y2
| URI | m2://inv/M1NGCBC1Y2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claudia Spiro, Claudia Spiro (topic). Also Wikidata Q49389624
History
- 2026-11-02: add by m2/dev
Example M1NJTTBNGY
| URI | m2://inv/M1NJTTBNGY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aggregative game#YDQM, Example (example)
History
- 2026-11-02: add by m2/dev
Statement M1NJVRFJQB
| URI | m2://inv/M1NJVRFJQB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zeeman's comparison theorem#9O0K, Statement (statement)
History
- 2026-11-02: add by m2/dev
M1NXPW79SV M1NXPW79SV
| URI | m2://inv/M1NXPW79SV |
|---|---|
| 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 2610.01915#TVXH (definition). In 6HJQXZS0A6/e1, definition 2.7
History
- 2026-10-29: add by m2/v0.4.12
Definition M1P7ZWWG4P
| URI | m2://inv/M1P7ZWWG4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generic matrix ring#TI77, Definition (definition)
History
- 2026-11-02: add by m2/dev
Katok M1P8QD6E51
| URI | m2://inv/M1P8QD6E51 |
|---|---|
| Kind | conjecture |
| 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#UWQT, Katok (conjecture). In VGJVFCDV8A/e1, conjecture 1
History
- 2026-10-29: add by m2/v0.4.10
Partial f test M1PC08G8K5
| URI | m2://inv/M1PC08G8K5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F-test#2K40, Partial f test (unknown)
History
- 2026-11-02: add by m2/dev
Character values on the quadratic correction units M1PD28EA34
| URI | m2://inv/M1PD28EA34 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#WAN9, Character values on the quadratic correction units (statement). In 5BZQS1KY9A/e1, proposition 9.23
History
- 2026-10-29: add by m2/v0.4.10
Counterexample M1PH9BDGQ2
| URI | m2://inv/M1PH9BDGQ2 |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof of impossibility#DAPY, Counterexample (counterexample)
History
- 2026-11-02: add by m2/dev
Vijfhuizen M1PPKMJG9H
| URI | m2://inv/M1PPKMJG9H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#BX6U, Vijfhuizen (unknown)
History
- 2026-11-02: add by m2/dev
Conditional fallacy M1PW4X2KEN
| URI | m2://inv/M1PW4X2KEN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional probability#6O4A, Conditional fallacy (unknown)
History
- 2026-11-02: add by m2/dev
Non-Oblivious Depth at Fixed Entropy Rate M1Q4GVSB41
| URI | m2://inv/M1Q4GVSB41 |
|---|---|
| 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#63BY, Non-Oblivious Depth at Fixed Entropy Rate (statement). In ZZER8ZBSCR/e1, theorem 1.9
History
- 2026-10-29: add by m2/v0.4.12
M1QC4D143T M1QC4D143T
| URI | m2://inv/M1QC4D143T |
|---|---|
| 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.21899#VX06 (statement). In YRN5P43B2N/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
M1QCTHKDX6 M1QCTHKDX6
| URI | m2://inv/M1QCTHKDX6 |
|---|---|
| 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#MNA9 (statement). In SY85Y9E45A/e1, proposition 22
History
- 2026-10-27: add by m2/v0.3.5
M1QJBH1NKG M1QJBH1NKG
| URI | m2://inv/M1QJBH1NKG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.16779#KJ1X (statement). In 1R7H0ZAHWA/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
M1QRKHY0C2 M1QRKHY0C2
| URI | m2://inv/M1QRKHY0C2 |
|---|---|
| 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.32077#EZRZ (statement). In WYXQDSQR9B/e1, proposition 3.4
History
- 2026-10-31: add by m2/v0.5.6
Sod's law M1QSA3HW4G
| URI | m2://inv/M1QSA3HW4G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sod's law, Sod's law (statement). Also Wikidata Q7553142
History
- 2026-11-02: add by m2/dev
M1QSV1SJ57 M1QSV1SJ57
| URI | m2://inv/M1QSV1SJ57 |
|---|---|
| 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 math/0003117#WHJD (statement). In WD2NCBV9F0/e1, proposition 4.17
History
- 2026-10-27: add by m2/v0.3.5
traversable graph M1QV9DQ3RA
| URI | m2://inv/M1QV9DQ3RA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q132146725, traversable graph (definition). Also ProofWiki Definition:Semi-Eulerian_Graph
History
- 2026-10-26: add by m2/dev
formal fallacy M1QYGNM8HZ
| URI | m2://inv/M1QYGNM8HZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#GFSW, formal fallacy (definition)
History
- 2026-11-02: add by m2/dev
M1QYKMN1NQ M1QYKMN1NQ
| URI | m2://inv/M1QYKMN1NQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2307.06098#ITD1 (statement). In DK1V8M7DS4/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Almost monotonicity for the gradient flow M1RFPVKMGJ
| URI | m2://inv/M1RFPVKMGJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10051#NLQ9, Almost monotonicity for the gradient flow (statement). In VCHH2AC34R/e1, lemma 3.10
History
- 2026-10-29: add by m2/v0.4.10
type I string theory M1RQHQJEF3
| URI | m2://inv/M1RQHQJEF3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2276860, type I string theory (unknown). Also nLab type I string theory
History
- 2026-10-26: add by m2/dev
Square condition and critical exponents M1RY2T5MDH
| URI | m2://inv/M1RY2T5MDH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1905.02785#ZRFJ, Square condition and critical exponents (statement). In PF9KV74Q02/e1, corollary 1.3
History
- 2026-10-27: add by m2/v0.3.5
Time reversal of the known dynamical laws M1S4FFHM2Q
| URI | m2://inv/M1S4FFHM2Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time-reversal symmetry#WWJZ, Time reversal of the known dynamical laws (statement)
History
- 2026-11-02: add by m2/dev
Alternative definition M1S68TZWGQ
| URI | m2://inv/M1S68TZWGQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weil restriction#42OW, Alternative definition (definition)
History
- 2026-11-02: add by m2/dev
M1S7CBVJBT M1S7CBVJBT
| URI | m2://inv/M1S7CBVJBT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07190#C6KW (statement). In ZWS6Q4467X/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.10
Appert topology M1SGV1R4H3
| URI | m2://inv/M1SGV1R4H3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Appert topology, Appert topology (definition). Also Wikidata Q4781043
History
- 2026-11-02: add by m2/dev
M1SJ7C77RH M1SJ7C77RH
| URI | m2://inv/M1SJ7C77RH |
|---|---|
| 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.17677#WHB0 (statement). In 5E9G06XJKC/e1, lemma C.21
History
- 2026-10-28: add by m2/v0.4.2
M1SQVYHBPW M1SQVYHBPW
| URI | m2://inv/M1SQVYHBPW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#4YKD (statement). In X3RFXWN6FW/e1, theorem 5.4
History
- 2026-10-27: add by m2/v0.3.6
M1SZ223JF8 M1SZ223JF8
| URI | m2://inv/M1SZ223JF8 |
|---|---|
| Kind | definition |
| 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.01737#U315 (definition). In M4JGP708F4/e1, definition 4.11
History
- 2026-10-29: add by m2/v0.4.12
Applications M1SZT6Q6GK
| URI | m2://inv/M1SZT6Q6GK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parametric equation#B6AN, Applications (example)
History
- 2026-11-02: add by m2/dev
Theorem M1T0G4PRYT
| URI | m2://inv/M1T0G4PRYT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete topological vector space#XSJO, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Profit formula M1T13Y4C08
| URI | m2://inv/M1T13Y4C08 |
|---|---|
| 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.24011#XCYO, Profit formula (statement)
History
- 2026-11-02: add by m2/v0.6.17
Smoothness (probability theory) M1T3AXXKW6
| URI | m2://inv/M1T3AXXKW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3VBV, Smoothness (probability theory) (definition)
History
- 2026-11-02: add by m2/dev
Felix Berezin M1T3AZ8G6Z
| URI | m2://inv/M1T3AZ8G6Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#RU56, Felix Berezin (unknown)
History
- 2026-11-02: add by m2/dev
M1T4ZVM981 M1T4ZVM981
| URI | m2://inv/M1T4ZVM981 |
|---|---|
| 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 2312.06473#RQT3 (statement). In P1MYSYHSGX/e1, lemma B.4
History
- 2026-10-27: add by m2/v0.3.5
M1T52Q15QB M1T52Q15QB
| URI | m2://inv/M1T52Q15QB |
|---|---|
| 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 2207.07461#L6C2 (statement). In GAG532VMPF/e1, theorem 8.1.2
History
- 2026-10-27: add by m2/v0.3.5
Faculty of Mathematics, University of Cambridge M1TBRKSQVH
| URI | m2://inv/M1TBRKSQVH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faculty of Mathematics, University of Cambridge, Faculty of Mathematics, University of Cambridge (definition). Also Wikidata Q5429016
History
- 2026-11-02: add by m2/dev
M1TD4K2W6D M1TD4K2W6D
| URI | m2://inv/M1TD4K2W6D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35123#0CA0 (statement). In 6106R88BNE/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
M1TEQHQ1MT M1TEQHQ1MT
| URI | m2://inv/M1TEQHQ1MT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#LDF4 (statement). In HX63A1PH1W/e1, lemma 8.8
History
- 2026-10-28: add by m2/v0.4.3
Constraint M1THTCK90Z
| URI | m2://inv/M1THTCK90Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constraint (information theory), Constraint (definition). Also Wikidata Q5164365
History
- 2026-11-02: add by m2/dev
Implementations M1TMKWP1W3
| URI | m2://inv/M1TMKWP1W3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius function#AO4M, Implementations (definition)
History
- 2026-11-02: add by m2/dev
M1TVS4Z0XN M1TVS4Z0XN
| URI | m2://inv/M1TVS4Z0XN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25472#IG7V (example)
History
- 2026-11-01: add by m2/v0.6.15
Hadamard's gamma function M1V715HV4B
| URI | m2://inv/M1V715HV4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jacques Hadamard#GN0T, Hadamard's gamma function (definition)
History
- 2026-11-02: add by m2/dev
Familiarity heuristic M1V7VW1R6Z
| URI | m2://inv/M1V7VW1R6Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Familiarity heuristic, Familiarity heuristic (definition). Also Wikidata Q5432964
History
- 2026-11-02: add by m2/dev
M1V7W2YMZD M1V7W2YMZD
| URI | m2://inv/M1V7W2YMZD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-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 2511.15212#OU10 (definition). In W99XBH6X5N/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.0
Fibonacci sequence M1W47AKWQF
| URI | m2://inv/M1W47AKWQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#FF65, Fibonacci sequence (definition)
History
- 2026-11-02: add by m2/dev
Joyce Appleby M1WDKEPQXW
| URI | m2://inv/M1WDKEPQXW |
|---|---|
| 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#WPT6, Joyce Appleby (unknown)
History
- 2026-11-02: add by m2/dev
Ileana Streinu M1WNB80SCS
| URI | m2://inv/M1WNB80SCS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#P09S, Ileana Streinu (unknown)
History
- 2026-11-02: add by m2/dev
M1WT4984ZZ M1WT4984ZZ
| URI | m2://inv/M1WT4984ZZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.20909#4JOP (statement). In 7ZBX5WVEZP/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.4.2
M1X0JSG3ZT M1X0JSG3ZT
| URI | m2://inv/M1X0JSG3ZT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-14 (exercise). In E9HS8K3A52, exercise, section 8.2.5
History
- 2026-11-01: add by m2/v0.6.13
Work breakdown structure M1X316ACCR
| URI | m2://inv/M1X316ACCR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#PTME, Work breakdown structure (unknown)
History
- 2026-11-02: add by m2/dev
M1X5R8362D M1X5R8362D
| URI | m2://inv/M1X5R8362D |
|---|---|
| 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.21367#KYZZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
M1X8RVQ4YQ M1X8RVQ4YQ
| URI | m2://inv/M1X8RVQ4YQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09561#BIGI (definition). In WDV5E2CVTR/e1, definition 6.1
History
- 2026-10-29: add by m2/v0.4.10
M1XC1JRF6F M1XC1JRF6F
| URI | m2://inv/M1XC1JRF6F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#YF4O (statement). In S26QVW5613/e1, proposition 2.1.1
History
- 2026-10-30: add by m2/v0.4.12
\coqident{isweq_is_universe_transfer M1XH20CQ3H
| URI | m2://inv/M1XH20CQ3H |
|---|---|
| Kind | statement |
| 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 1705.04310#YGS8, \coqident{isweq_is_universe_transfer (statement). In MG51GG0QZN/e1, lemma 4.10
History
- 2026-10-27: add by m2/v0.3.5
Elementary number theory M1XJB5VPZ2
| URI | m2://inv/M1XJB5VPZ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Number theory#54CX, Elementary number theory (unknown)
History
- 2026-11-02: add by m2/dev
M1XJE10YJ9 M1XJE10YJ9
| URI | m2://inv/M1XJE10YJ9 |
|---|---|
| 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 2610.04842#P63U (statement). In YJF7QC03N3/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.12
Sublevel set M1XJVAHWQT
| URI | m2://inv/M1XJVAHWQT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Level set#9SAI, Sublevel set (unknown)
History
- 2026-11-02: add by m2/dev
M1XNNMQSAB M1XNNMQSAB
| URI | m2://inv/M1XNNMQSAB |
|---|---|
| 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 1011.1990#74HP (statement). In GV0JBN5DWQ/e1, lemma C.3
History
- 2026-10-27: add by m2/v0.3.5
Precise statement M1XVD3YDKJ
| URI | m2://inv/M1XVD3YDKJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BEST theorem#JSYS, Precise statement (statement)
History
- 2026-11-02: add by m2/dev
Paul Seidel M1Y0SC585Y
| URI | m2://inv/M1Y0SC585Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Seidel, Paul Seidel (topic). Also Wikidata Q475420
History
- 2026-11-02: add by m2/dev
M1Y22YN0FC M1Y22YN0FC
| URI | m2://inv/M1Y22YN0FC |
|---|---|
| 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.32832#3K8B (statement). In VS7P86QHFR/e1, corollary 1
History
- 2026-10-31: add by m2/v0.5.6
M1YD9QXDX0 M1YD9QXDX0
| URI | m2://inv/M1YD9QXDX0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.16241#PX20 (statement). In WNDHZVY4WK/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Theorem M1YDVDK4V6
| URI | m2://inv/M1YDVDK4V6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform boundedness principle#3QUJ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
$\PSL(2,q)$: three-point stabilizers M1YH80WBYQ
| URI | m2://inv/M1YH80WBYQ |
|---|---|
| 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.15340#5N3O, $\PSL(2,q)$: three-point stabilizers (statement). In 9NVKKW8HDH/e1, theorem 2.17
History
- 2026-10-28: add by m2/v0.4.2
John Milnor M1YN6YW15P
| URI | m2://inv/M1YN6YW15P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#6TEU, John Milnor (topic)
History
- 2026-11-02: add by m2/dev
M1Z72REGBJ M1Z72REGBJ
| URI | m2://inv/M1Z72REGBJ |
|---|---|
| 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.18312#KBXH (statement). In NPEVE32HFP/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Léger Marketing M1Z875KCDF
| URI | m2://inv/M1Z875KCDF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#KWTJ, Léger Marketing (unknown)
History
- 2026-11-02: add by m2/dev
M1ZM7ET4ZF M1ZM7ET4ZF
| URI | m2://inv/M1ZM7ET4ZF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25188#UU8A (example)
History
- 2026-11-01: add by m2/v0.6.15
Pierre Milman M1ZP1AHKTA
| URI | m2://inv/M1ZP1AHKTA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#E8MN, Pierre Milman (topic)
- wikipedia: Wikipedia List of Ukrainian Jews#ALY1, Pierre Milman (topic)
History
- 2026-11-02: add by m2/dev
quiver M1ZRVDBJ75
| URI | m2://inv/M1ZRVDBJ75 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#0R1I, quiver (definition)
History
- 2026-11-02: add by m2/dev
Vanja Dukic M1ZSSNNHEY
| URI | m2://inv/M1ZSSNNHEY |
|---|---|
| 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#Z7SK, Vanja Dukic (topic)
History
- 2026-11-02: add by m2/dev
Example M1ZXXJXRZV
| URI | m2://inv/M1ZXXJXRZV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snake lemma#X5YX, Example (example)
History
- 2026-11-02: add by m2/dev
Viterbi algorithm M1ZYXMXWEQ
| URI | m2://inv/M1ZYXMXWEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viterbi algorithm, Viterbi algorithm (definition). Also Wikidata Q83886
History
- 2026-11-02: add by m2/dev