Inventory rows 6P
The cards of the rows of the inventory whose ids start with 6P. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
6P04SNNJ4D 6P04SNNJ4D
| URI | m2://inv/6P04SNNJ4D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00512#JX8L (statement). In RB5QBG3MJY/e1, theorem 7.1
History
- 2026-10-30: add by m2/v0.4.12
6P0BPE5XZJ 6P0BPE5XZJ
| URI | m2://inv/6P0BPE5XZJ |
|---|---|
| Kind | statement |
| 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#R0LK (statement). In JWNYJVH8XG/e1, proposition 6.3
History
- 2026-10-29: add by m2/v0.4.10
Upperthird 6P0D3J3VC0
| URI | m2://inv/6P0D3J3VC0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#IBSH, Upperthird (unknown)
History
- 2026-11-02: add by m2/dev
The Cabal 6P0DT48BJR
| URI | m2://inv/6P0DT48BJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of set theory topics#VV0N, The Cabal (definition)
History
- 2026-11-02: add by m2/dev
6P0FXBWDSG 6P0FXBWDSG
| URI | m2://inv/6P0FXBWDSG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.07511#6ZI6 (statement). In 652CJVBF7C/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.6
Alaoglu 6P0GM1Z4SE
| URI | m2://inv/6P0GM1Z4SE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#IEWI, Alaoglu (definition)
History
- 2026-11-02: add by m2/dev
6P0HP4Q1VN 6P0HP4Q1VN
| URI | m2://inv/6P0HP4Q1VN |
|---|---|
| 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.11487#71I3 (statement). In 8S0K3Y25HM/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.3
6P0JFRVK36 6P0JFRVK36
| URI | m2://inv/6P0JFRVK36 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#example-12 (example). In E59CDZA4DP, example, section 2.3.2
History
- 2026-11-01: add by m2/v0.6.13
infinitely many 6P0KQERCQ2
| URI | m2://inv/6P0KQERCQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#U6BG, infinitely many (definition)
History
- 2026-11-02: add by m2/dev
Truncated rhombicuboctahedron 6P0MB4RQH5
| URI | m2://inv/6P0MB4RQH5 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated rhombicuboctahedron, Truncated rhombicuboctahedron (object). Also Wikidata Q18354762
History
- 2026-11-02: add by m2/dev
Hausdorff dimension and Frostman's lemma 6P0SQSRKHP
| URI | m2://inv/6P0SQSRKHP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel measure#SZ0B, Hausdorff dimension and Frostman's lemma (statement)
History
- 2026-11-02: add by m2/dev
6P0W7ZX92D 6P0W7ZX92D
| URI | m2://inv/6P0W7ZX92D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27872#RL66 (statement)
History
- 2026-11-01: add by m2/v0.6.15
6P10N47C67 6P10N47C67
| URI | m2://inv/6P10N47C67 |
|---|---|
| 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.39169#LSNB (statement). In ANHWXYPQFX/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Toda bracket 6P1D05KRWJ
| URI | m2://inv/6P1D05KRWJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toda bracket, Toda bracket (definition). Also Wikidata Q7812118
History
- 2026-11-02: add by m2/dev
Examples 6P1GTJBFPK
| URI | m2://inv/6P1GTJBFPK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Well-colored graph#PEXZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Deep link expansion 6P1WEE0Q0Z
| URI | m2://inv/6P1WEE0Q0Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09506#QKYA, Deep link expansion (statement). In AQC7E6RAT4/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
Michael Friendly 6P27JMC39D
| URI | m2://inv/6P27JMC39D |
|---|---|
| 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#Y64H, Michael Friendly (topic)
History
- 2026-11-02: add by m2/dev
6P2901DMW9 6P2901DMW9
| URI | m2://inv/6P2901DMW9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20891#AIO5 (definition). In WH55XAE8E2/e1, definition 6.2
History
- 2026-10-27: add by m2/v0.4.2
6P2ANT26C9 6P2ANT26C9
| URI | m2://inv/6P2ANT26C9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-268 (exercise). In VNMV985MXX, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Living Costs and Food Survey 6P2B2Z2DC3
| URI | m2://inv/6P2B2Z2DC3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Living Costs and Food Survey, Living Costs and Food Survey (definition). Also Wikidata Q6659060
History
- 2026-11-02: add by m2/dev
structure of finitely generated abelian groups 6P2CYGEXEC
| URI | m2://inv/6P2CYGEXEC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Group theory > structure of finitely generated abelian groups, structure of finitely generated abelian groups (unknown). Also Mathlib AddCommGroup.equiv_free_prod_directSum_zmod
- mathlib_undergrad: mathlib_undergrad Group Theory > Abelian group > finite type abelian groups, finite type abelian groups (unknown). Also Mathlib AddCommGroup.equiv_free_prod_directSum_zmod
History
- 2026-10-26: add by m2/dev
Theorem 6P2E852PNJ
| URI | m2://inv/6P2E852PNJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension theory (algebra)#9BMG, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Miscellaneous formula 6P2G4J8CCW
| URI | m2://inv/6P2G4J8CCW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ceyuan haijing#7WJC, Miscellaneous formula (statement)
History
- 2026-11-02: add by m2/dev
Gluing Gowers norms on adjacent intervals 6P2K8MP5R0
| URI | m2://inv/6P2K8MP5R0 |
|---|---|
| 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.09567#9BGM, Gluing Gowers norms on adjacent intervals (statement). In 7RV6BDZAFK/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
Strict unimodality 6P2NRE1GER
| URI | m2://inv/6P2NRE1GER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27153#X1MZ, Strict unimodality (statement)
History
- 2026-11-01: add by m2/v0.6.15
William Reginald Dean 6P2T6BE4XE
| URI | m2://inv/6P2T6BE4XE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Reginald Dean, William Reginald Dean (topic). Also Wikidata Q7945907
History
- 2026-11-02: add by m2/dev
chemical kinetics 6P2WZH2B4Q
| URI | m2://inv/6P2WZH2B4Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 80A30 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q209082, chemical kinetics (topic)
History
- 2026-10-26: add by m2/dev
(2,3,7) triangle group 6P2Z36EQYZ
| URI | m2://inv/6P2Z36EQYZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#UVGQ, (2,3,7) triangle group (definition)
History
- 2026-11-02: add by m2/dev
Theorem 6P39XPR47V
| URI | m2://inv/6P39XPR47V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cayley configuration space#TN8W, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Null hypothesis 6P3H38P9D9
| URI | m2://inv/6P3H38P9D9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#54W0, Null hypothesis (statement)
History
- 2026-11-02: add by m2/dev
6P3HHHNPM9 6P3HHHNPM9
| URI | m2://inv/6P3HHHNPM9 |
|---|---|
| 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.18324#GJLN (statement). In C0EG2EY0M4/e1, proposition 1.2
History
- 2026-10-28: add by m2/v0.4.2
1 E10 6P3KZG0VQC
| URI | m2://inv/6P3KZG0VQC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (numbers)#4MGI, 1 E10 (unknown)
History
- 2026-11-02: add by m2/dev
Ahtime, Laura 6P3N3V7CCG
| URI | m2://inv/6P3N3V7CCG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#2TQ1, Ahtime, Laura (topic)
History
- 2026-11-02: add by m2/dev
Hidden attractor 6P3W4WP77P
| URI | m2://inv/6P3W4WP77P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hidden attractor, Hidden attractor (definition). Also Wikidata Q5752069
History
- 2026-11-02: add by m2/dev
Charles Marie de La Condamine 6P3WS7P2WT
| URI | m2://inv/6P3WS7P2WT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Marie de La Condamine, Charles Marie de La Condamine (topic). Also Wikidata Q26681
History
- 2026-11-02: add by m2/dev
6P3ZWKRBFK 6P3ZWKRBFK
| URI | m2://inv/6P3ZWKRBFK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/pell.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 17.3
History
- 2026-11-01: add by m2/v0.6.13
Alteryx 6P3ZWWSZ1G
| URI | m2://inv/6P3ZWWSZ1G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#PGCR, Alteryx (unknown)
History
- 2026-11-02: add by m2/dev
Dittert conjecture 6P443RNS0G
| URI | m2://inv/6P443RNS0G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dittert conjecture, Dittert conjecture (statement). Also Wikidata Q55609730
History
- 2026-11-02: add by m2/dev
6P4BJ2R9VK 6P4BJ2R9VK
| URI | m2://inv/6P4BJ2R9VK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-binom.ptx#exercise-9 (exercise). In Y91XFCEVHQ, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
6P4ENTZQXJ 6P4ENTZQXJ
| URI | m2://inv/6P4ENTZQXJ |
|---|---|
| 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.28350#EWD4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bhatia–Davis inequality 6P4J3QC0N4
| URI | m2://inv/6P4J3QC0N4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bhatia–Davis inequality, Bhatia–Davis inequality (statement). Also Wikidata Q4901411
History
- 2026-11-02: add by m2/dev
6P52B8PBE0 6P52B8PBE0
| URI | m2://inv/6P52B8PBE0 |
|---|---|
| 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.10205#JI0C (statement). In PQGS7NDMDQ/e1, theorem 14
History
- 2026-10-29: add by m2/v0.4.10
Dorman Luke construction 6P52CN34B5
| URI | m2://inv/6P52CN34B5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual uniform polyhedron#AIDC, Dorman Luke construction (unknown)
History
- 2026-11-02: add by m2/dev
A sufficient condition for realizability 6P53PA49SP
| URI | m2://inv/6P53PA49SP |
|---|---|
| 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.20020#P19V, A sufficient condition for realizability (statement). In TGYC3SE8XM/e1, proposition 11
History
- 2026-10-27: add by m2/v0.4.2
Example 3 6P55YQFH28
| URI | m2://inv/6P55YQFH28 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chain (algebraic topology)#6EZ0, Example 3 (example)
History
- 2026-11-02: add by m2/dev
Langlands 6P59PNRJWD
| URI | m2://inv/6P59PNRJWD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#S5YD, Langlands (definition)
History
- 2026-11-02: add by m2/dev
Conjectures 6P5A7KRVE1
| URI | m2://inv/6P5A7KRVE1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin–Hasse exponential#ECTO, Conjectures (statement)
History
- 2026-11-02: add by m2/dev
orthogonal matrix 6P5DS6KJGM
| URI | m2://inv/6P5DS6KJGM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#3F20, orthogonal matrix (definition)
History
- 2026-11-02: add by m2/dev
6P5GEMBZQG 6P5GEMBZQG
| URI | m2://inv/6P5GEMBZQG |
|---|---|
| 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#42NZ (statement). In F0D8VSM4Z4/e1, corollary 3.8
History
- 2026-10-30: add by m2/v0.4.12
6P5N52HHC7 6P5N52HHC7
| URI | m2://inv/6P5N52HHC7 |
|---|---|
| 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#QP8B (statement). In G691MXMYW0/e1, lemma
History
- 2026-10-27: add by m2/v0.4.0
Coleman, David 6P5VQXRQF7
| URI | m2://inv/6P5VQXRQF7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#L1C8, Coleman, David (unknown)
History
- 2026-11-02: add by m2/dev
6P5WBYV8CD 6P5WBYV8CD
| URI | m2://inv/6P5WBYV8CD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-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 2610.04314#XU6O (statement). In AKWTE0M6PE/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
True variance 6P5Y084MBW
| URI | m2://inv/6P5Y084MBW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7TGV, True variance (definition)
History
- 2026-11-02: add by m2/dev
Construction 6P618GS2V5
| URI | m2://inv/6P618GS2V5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derived scheme#D2YV, Construction (definition)
History
- 2026-11-02: add by m2/dev
Parameter integration 6P632VC2NB
| URI | m2://inv/6P632VC2NB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.09295#F34V, Parameter integration (statement). In 29X0B511NF/e1, lemma 8.1
History
- 2026-10-29: add by m2/v0.4.10
Mary Domitilla Thuener 6P65R5HB9Q
| URI | m2://inv/6P65R5HB9Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Domitilla Thuener, Mary Domitilla Thuener (topic). Also Wikidata Q42856991
History
- 2026-11-02: add by m2/dev
Fabio Toninelli 6P68T6CWYY
| URI | m2://inv/6P68T6CWYY |
|---|---|
| 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#OM0B, Fabio Toninelli (topic)
History
- 2026-11-02: add by m2/dev
Integral form of the kernel 6P6A7B5C0S
| URI | m2://inv/6P6A7B5C0S |
|---|---|
| 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#QR6E, Integral form of the kernel (statement). In Z7M2JSF6HA/e1, lemma 6.2
History
- 2026-10-31: add by m2/v0.5.6
good 6P6TBR0CKQ
| URI | m2://inv/6P6TBR0CKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#IBN0, good (definition)
History
- 2026-11-02: add by m2/dev
Algorithm 6P6X0N5VV4
| URI | m2://inv/6P6X0N5VV4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kőnig's theorem (graph theory)#RJTW, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Tsallis distribution 6P6Y4Z0PJJ
| URI | m2://inv/6P6Y4Z0PJJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tsallis distribution, Tsallis distribution (definition). Also Wikidata Q7849338
History
- 2026-11-02: add by m2/dev
symplectic vector space 6P70F4G9MV
| URI | m2://inv/6P70F4G9MV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Symplectic vector space PQ7JJY0VPH |
Mentions
- wikidata: Wikidata Q766774, symplectic vector space (unknown). Also MathWorld SymplecticSpace, nLab symplectic vector space
- wikipedia: Wikipedia Symplectic vector space, Symplectic vector space (definition). Also Wikidata Q766774
History
- 2026-10-26: add by m2/dev
additive polynomial 6P72GNXZRD
| URI | m2://inv/6P72GNXZRD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4681346, additive polynomial (concept). Also MathWorld AdditivePolynomial
- wikipedia: Wikipedia Additive polynomial, Additive polynomial (definition). Also Wikidata Q4681346
History
- 2026-10-26: add by m2/dev
Random perturbation of a deterministic system 6P77X7R6AW
| URI | m2://inv/6P77X7R6AW |
|---|---|
| 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#ACQB, Random perturbation of a deterministic system (definition). In WD2NCBV9F0/e1, definition 2.19
History
- 2026-10-27: add by m2/v0.3.5
6P7B0S4Z13 6P7B0S4Z13
| URI | m2://inv/6P7B0S4Z13 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.28295#MV3S (statement)
History
- 2026-11-01: add by m2/v0.6.15
6P7FQ1NQ47 6P7FQ1NQ47
| URI | m2://inv/6P7FQ1NQ47 |
|---|---|
| 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.17267#NJT6 (statement). In 5VWB4A47R5/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Seki Takakazu 6P7QJN6NT9
| URI | m2://inv/6P7QJN6NT9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seki Takakazu, Seki Takakazu (topic). Also Wikidata Q470531
History
- 2026-11-02: add by m2/dev
Operator version of Taylor's theorem 6P7YKRG86Y
| URI | m2://inv/6P7YKRG86Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinitesimal transformation#LFZV, Operator version of Taylor's theorem (statement)
History
- 2026-11-02: add by m2/dev
6P7ZJZJ4H1 6P7ZJZJ4H1
| URI | m2://inv/6P7ZJZJ4H1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-4-1-velocity-distance.xml#definition-1 (definition). In 907G4C4EJ1, definition, section 4.1.3
History
- 2026-11-01: add by m2/v0.6.13
Generalizations 6P85V64111
| URI | m2://inv/6P85V64111 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ulam number#AEHE, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Finite-calibration comparison 6P864FJJJN
| URI | m2://inv/6P864FJJJN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33866#7H6N, Finite-calibration comparison (statement). In Y3MSGX6472/e1, lemma 18
History
- 2026-10-30: add by m2/v0.4.12
Combinatorics 6P87BZATJZ
| URI | m2://inv/6P87BZATJZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#A951, Combinatorics (topic)
History
- 2026-11-02: add by m2/dev
6P8807ET9Q 6P8807ET9Q
| URI | m2://inv/6P8807ET9Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31269#6YT7 (statement). In ZPT9XCCAPQ/e1, proposition 3.3.2
History
- 2026-10-31: add by m2/v0.5.6
632 symmetry 6P891SQRMT
| URI | m2://inv/6P891SQRMT |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform tilings on the sphere, plane, and hyperbolic plane#XTV0, 632 symmetry (object)
History
- 2026-11-02: add by m2/dev
Definitions 6P8C76VYHP
| URI | m2://inv/6P8C76VYHP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Log-normal distribution#ZE3A, Definitions (definition)
History
- 2026-11-02: add by m2/dev
6P8QZ7SC2E 6P8QZ7SC2E
| URI | m2://inv/6P8QZ7SC2E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34339#LYKZ (statement). In 9WFSTGMQ4E/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
Multiclass classification 6P8TVPHN2B
| URI | m2://inv/6P8TVPHN2B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3JR9, Multiclass classification (definition)
History
- 2026-11-02: add by m2/dev
6P8ZWM9EX7 6P8ZWM9EX7
| URI | m2://inv/6P8ZWM9EX7 |
|---|---|
| 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#TVOH (statement). In FT53PMB1TE/e1, lemma 4.3.3
History
- 2026-10-29: add by m2/v0.4.10
Equalizers are monic 6P92HC28EK
| URI | m2://inv/6P92HC28EK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/limits.tex#prob:equalizer_monic, Equalizers are monic (exercise). In RZP28ERRZV, sproblem, section 38.4
History
- 2026-11-01: add by m2/v0.6.13
Kaisa Miettinen 6P96492R1Q
| URI | m2://inv/6P96492R1Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaisa Miettinen, Kaisa Miettinen (topic). Also Wikidata Q16196090
History
- 2026-11-02: add by m2/dev
6P97Y99AAF 6P97Y99AAF
| URI | m2://inv/6P97Y99AAF |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/satisfaction.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 19.14
History
- 2026-11-01: add by m2/v0.6.13
Offered load 6P9APDN90M
| URI | m2://inv/6P9APDN90M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Offered load, Offered load (definition). Also Wikidata Q7079081
History
- 2026-11-02: add by m2/dev
6P9HMA8BFF 6P9HMA8BFF
| URI | m2://inv/6P9HMA8BFF |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#JSH1 (unknown). In QNBFHFZ3H0/e1, unknown 91
History
- 2026-10-28: add by m2/v0.4.2
Test hypothesis 6P9TC9G4PZ
| URI | m2://inv/6P9TC9G4PZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boschloo's test#ABJM, Test hypothesis (statement)
History
- 2026-11-02: add by m2/dev
6P9V01QVPS 6P9V01QVPS
| URI | m2://inv/6P9V01QVPS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21528#ZAP5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
6PA5JGQFZK 6PA5JGQFZK
| URI | m2://inv/6PA5JGQFZK |
|---|---|
| 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.07114#D930 (statement). In HP3TM356J6/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.10
6PA8EH479M 6PA8EH479M
| URI | m2://inv/6PA8EH479M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17045#B6I1 (statement). In PA6JQDSKQT/e1, lemma 3.20
History
- 2026-10-28: add by m2/v0.4.2
6PA94EET77 6PA94EET77
| URI | m2://inv/6PA94EET77 |
|---|---|
| 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.18777#A2BR (statement). In TFZDPHDF7V/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.6
Strong instability of normalized ground states 6PAATHBCZS
| URI | m2://inv/6PAATHBCZS |
|---|---|
| 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.02933#KUAF, Strong instability of normalized ground states (statement). In QSYZKPFRAN/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.12
Quillen's localization theorem 6PAC7C9M6J
| URI | m2://inv/6PAC7C9M6J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient of an abelian category#H80Z, Quillen's localization theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications 6PAE5APVC8
| URI | m2://inv/6PAE5APVC8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fay–Herriot model#2IZO, Applications (example)
History
- 2026-11-02: add by m2/dev
List of integrals of Gaussian functions 6PANAXDRTX
| URI | m2://inv/6PANAXDRTX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of integrals#BKAS, List of integrals of Gaussian functions (topic)
- wikipedia: Wikipedia Lists of mathematics topics#6EBE, List of integrals of Gaussian functions (topic)
History
- 2026-11-02: add by m2/dev
Formal definition 6PANBVGFQ5
| URI | m2://inv/6PANBVGFQ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Essential range#6TGO, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Forty Mile, Queensland 6PAYNZ3PCE
| URI | m2://inv/6PAYNZ3PCE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#T4LG, Forty Mile, Queensland (unknown)
History
- 2026-11-02: add by m2/dev
6PB5NDGQGJ 6PB5NDGQGJ
| URI | m2://inv/6PB5NDGQGJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08766#PCRS (statement). In QA4JM9SHPA/e1, lemma C.3
History
- 2026-10-29: add by m2/v0.4.10
6PBFH47ZF7 6PBFH47ZF7
| URI | m2://inv/6PBFH47ZF7 |
|---|---|
| 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 2410.22607#DX55 (problem). In 6GT33A43SY/e1, problem 5.1
History
- 2026-10-27: add by m2/v0.3.5
6PBGPZ6AT1 6PBGPZ6AT1
| URI | m2://inv/6PBGPZ6AT1 |
|---|---|
| Kind | definition |
| 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#V7LX (definition). In W4TYN4PGE8/e1, definition 2.11
History
- 2026-10-27: add by m2/v0.3.5
Example 6PBK66SE4T
| URI | m2://inv/6PBK66SE4T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rotation number#1KHY, Example (example)
History
- 2026-11-02: add by m2/dev
Nova Methodus pro Maximis et Minimis 6PBKQCFQKY
| URI | m2://inv/6PBKQCFQKY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nova Methodus pro Maximis et Minimis, Nova Methodus pro Maximis et Minimis (definition). Also Wikidata Q16934224
History
- 2026-11-02: add by m2/dev
Categorical data 6PBYYCG0HX
| URI | m2://inv/6PBYYCG0HX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#T6MG, Categorical data (definition)
History
- 2026-11-02: add by m2/dev
HP Prime 6PC4Z7YGTT
| URI | m2://inv/6PC4Z7YGTT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HP Prime, HP Prime (definition). Also Wikidata Q16927821
History
- 2026-11-02: add by m2/dev
Order-4 hexagonal tiling honeycomb 6PC9SJ4SZR
| URI | m2://inv/6PC9SJ4SZR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-4 hexagonal tiling honeycomb, Order-4 hexagonal tiling honeycomb (definition). Also Wikidata Q14623447
History
- 2026-11-02: add by m2/dev
6PCAE7ABFW 6PCAE7ABFW
| URI | m2://inv/6PCAE7ABFW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25495#1DPX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Viability theory 6PCCJW3P4N
| URI | m2://inv/6PCCJW3P4N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viability theory, Viability theory (definition). Also Wikidata Q16000375
History
- 2026-11-02: add by m2/dev
6PCSYH8YCS 6PCSYH8YCS
| URI | m2://inv/6PCSYH8YCS |
|---|---|
| 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.28669#LHQX (statement)
History
- 2026-11-01: add by m2/v0.6.15
6PCXCFW9QH 6PCXCFW9QH
| URI | m2://inv/6PCXCFW9QH |
|---|---|
| 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.34289#YXRG (statement). In 9RBATD2Z1F/e1, proposition 3.6
History
- 2026-10-30: add by m2/v0.4.12
Andrey Markov Jr. 6PD0BEK6Q4
| URI | m2://inv/6PD0BEK6Q4 |
|---|---|
| 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#ZHF1, Andrey Markov Jr. (topic)
History
- 2026-11-02: add by m2/dev
6PDHN6Q7VN 6PDHN6Q7VN
| URI | m2://inv/6PDHN6Q7VN |
|---|---|
| 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.12683#UXJR (statement). In N5ZFFWV3RX/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Laplace's equation 6PDM32HTRT
| URI | m2://inv/6PDM32HTRT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#FKYF, Laplace's equation (definition)
History
- 2026-11-02: add by m2/dev
induced cycle 6PDNBJACDD
| URI | m2://inv/6PDNBJACDD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q135974169, induced cycle (unknown). Also MathWorld ChordlessCycle
History
- 2026-10-26: add by m2/dev
Sinusoidal model 6PDWE6GDKH
| URI | m2://inv/6PDWE6GDKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sinusoidal model, Sinusoidal model (definition). Also Wikidata Q17080974
History
- 2026-11-02: add by m2/dev
6PEEMS64F4 6PEEMS64F4
| URI | m2://inv/6PEEMS64F4 |
|---|---|
| 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 2210.11778#41CG (statement). In PPAJZ2JBCE/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
6PEFCWF1E4 6PEFCWF1E4
| URI | m2://inv/6PEFCWF1E4 |
|---|---|
| Kind | definition |
| 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 2504.13328#JM1A (definition). In 736Q32FYCG/e1, definition 4.5
History
- 2026-10-27: add by m2/v0.3.5
Coatom 6PESZS78GT
| URI | m2://inv/6PESZS78GT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atom (order theory)#SBBR, Coatom (unknown)
History
- 2026-11-02: add by m2/dev
uniquely Hamiltonian graph 6PF6CEV9JF
| URI | m2://inv/6PF6CEV9JF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130598732, uniquely Hamiltonian graph (unknown). Also MathWorld UniquelyHamiltonianGraph
History
- 2026-10-26: add by m2/dev
Nambu mechanics 6PFEJPXKG8
| URI | m2://inv/6PFEJPXKG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6273449, Nambu mechanics (unknown). Also nLab Nambu mechanics
- wikipedia: Wikipedia Nambu mechanics, Nambu mechanics (definition). Also Wikidata Q6273449
History
- 2026-10-26: add by m2/dev
6PFN13DPXV 6PFN13DPXV
| URI | m2://inv/6PFN13DPXV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.17066#ZKY3 (statement). In X2AEJAQEP8/e1, corollary 3.17
History
- 2026-10-27: add by m2/v0.3.5
Algebraic properties 6PFRTGSRV1
| URI | m2://inv/6PFRTGSRV1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McGee graph#4TDD, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
6PFWMVYM55 6PFWMVYM55
| URI | m2://inv/6PFWMVYM55 |
|---|---|
| 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 2610.21945#DJSJ (statement). In 371P9QASSJ/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.4.2
Normality of the Hermite system 6PFXBGKZJJ
| URI | m2://inv/6PFXBGKZJJ |
|---|---|
| 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.22027#WF1N, Normality of the Hermite system (statement)
History
- 2026-11-02: add by m2/v0.6.17
Formal definition 6PG4MXHGF2
| URI | m2://inv/6PG4MXHGF2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational dependence#K1A0, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Pass equivalence 6PGFM7FQ9Q
| URI | m2://inv/6PGFM7FQ9Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arf invariant of a knot#UI5M, Pass equivalence (unknown)
History
- 2026-11-02: add by m2/dev
Benoist–Kobayashi 6PGGQAKSP7
| URI | m2://inv/6PGGQAKSP7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#PW5E, Benoist–Kobayashi (statement). In G1RP4JY5PE/e1, theorem 4.3.5
History
- 2026-10-31: add by m2/v0.5.6
Examples 6PGGXCJDS1
| URI | m2://inv/6PGGXCJDS1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Total order#4VW6, Examples (example)
History
- 2026-11-02: add by m2/dev
6PGJ1H1E40 6PGJ1H1E40
| URI | m2://inv/6PGJ1H1E40 |
|---|---|
| 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.06488#X7FR (statement). In XG3BJ2QXXP/e1, corollary 5.1
History
- 2026-10-29: add by m2/v0.4.10
6PGJ69XVBA 6PGJ69XVBA
| URI | m2://inv/6PGJ69XVBA |
|---|---|
| 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.07049#FZWC (statement). In GMF552ESG6/e1, proposition A.2
History
- 2026-10-29: add by m2/v0.4.10
cone 6PGKW1SG9V
| URI | m2://inv/6PGKW1SG9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#FAIN, cone (definition)
History
- 2026-11-02: add by m2/dev
6PGMR4RF92 6PGMR4RF92
| URI | m2://inv/6PGMR4RF92 |
|---|---|
| Kind | example |
| 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.05193#6NXN (example). In XDMM0KNNZ9/e1, example 22
History
- 2026-10-29: add by m2/v0.4.10
recursion principle, for type of booleans 6PGQAA5K27
| URI | m2://inv/6PGQAA5K27 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.8/recursion-principle-for-type-of-booleans, recursion principle, for type of booleans (concept). In N54F33XE07, index, section A.8
History
- 2026-11-01: add by m2/v0.6.13
Narkiewicz--\'{S}liwa 6PGXVJVN27
| URI | m2://inv/6PGXVJVN27 |
|---|---|
| Kind | conjecture |
| 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.29878#4GJG, Narkiewicz--\'{S}liwa (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
6PH5RNWRE3 6PH5RNWRE3
| URI | m2://inv/6PH5RNWRE3 |
|---|---|
| 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#3UWE (statement). In 29D4TTE3J2/e1, proposition 9.5
History
- 2026-10-27: add by m2/v0.4.2
Thomas Kuczynski 6PH76H8B6G
| URI | m2://inv/6PH76H8B6G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Kuczynski, Thomas Kuczynski (topic). Also Wikidata Q2425597
History
- 2026-11-02: add by m2/dev
X_+ 6PH7H7A0HK
| URI | m2://inv/6PH7H7A0HK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#MRX4, X_+ (definition)
History
- 2026-11-02: add by m2/dev
Carnot's theorem 6PHAW88FGG
| URI | m2://inv/6PHAW88FGG |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 80-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2347139, Carnot's theorem (thermodynamics) (statement). Also Wikidata Q2347139
- thousand_plus: thousand_plus Q2347139, Carnot's theorem (statement). Also Wikidata Q2347139, Wikipedia Carnot's theorem (thermodynamics)
- wikipedia: Wikipedia Carnot's theorem (thermodynamics), Carnot's theorem (statement). Also Wikidata Q2347139
History
- 2026-10-26: add by m2/dev
6PHJFTE4M8 6PHJFTE4M8
| URI | m2://inv/6PHJFTE4M8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19707#4CF6 (statement). In R6SEBXARYC/e1, proposition 5.5
History
- 2026-10-28: add by m2/v0.4.2
Dual space 6PHMKX2VDA
| URI | m2://inv/6PHMKX2VDA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formulas in Riemannian geometry#XGRN, Dual space (definition)
History
- 2026-11-02: add by m2/dev
Nicholas Mercator 6PHS3Q9WB1
| URI | m2://inv/6PHS3Q9WB1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicholas Mercator, Nicholas Mercator (topic). Also Wikidata Q362753
History
- 2026-11-02: add by m2/dev
6PHV2V9T2H 6PHV2V9T2H
| URI | m2://inv/6PHV2V9T2H |
|---|---|
| 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.09483#MP83 (statement). In N1MQ8F9JN6/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
Conclusion for the leader problem 6PHXQCW36V
| URI | m2://inv/6PHXQCW36V |
|---|---|
| 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.24185#8MA6, Conclusion for the leader problem (statement)
History
- 2026-11-01: add by m2/v0.6.15
6PHYCC2KAE 6PHYCC2KAE
| URI | m2://inv/6PHYCC2KAE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-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.16388#9RF9 (definition). In Q62MDENP26/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
6PJAJ690JD 6PJAJ690JD
| URI | m2://inv/6PJAJ690JD |
|---|---|
| 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 2212.11038#GP5Q (statement). In M3E3ARMJXK/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
proof 6PJB91KF4X
| URI | m2://inv/6PJB91KF4X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#5S8X, proof (definition)
History
- 2026-11-02: add by m2/dev
6PJDNTXZWM 6PJDNTXZWM
| URI | m2://inv/6PJDNTXZWM |
|---|---|
| Kind | problem |
| 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 2112.05010#9WQJ (problem). In 4SZNPS3Z00/e1, problem 1.3
History
- 2026-10-27: add by m2/v0.3.6
Definition 6PJDXG9H9C
| URI | m2://inv/6PJDXG9H9C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized chi-squared distribution#ALQB, Definition (definition)
History
- 2026-11-02: add by m2/dev
Lazar Lyusternik 6PJE8J7DVQ
| URI | m2://inv/6PJE8J7DVQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#BNV3, Lazar Lyusternik (topic)
History
- 2026-11-02: add by m2/dev
Continuous probability distribution 6PJVHJ6ZF0
| URI | m2://inv/6PJVHJ6ZF0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of continuity-related mathematical topics#TNZ9, Continuous probability distribution (definition)
History
- 2026-11-02: add by m2/dev
ChaCha20 6PJW236BW6
| URI | m2://inv/6PJW236BW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptosystems#A2CB, ChaCha20 (definition)
History
- 2026-11-02: add by m2/dev
Yarrow 6PJW92V2Q1
| URI | m2://inv/6PJW92V2Q1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of random number generators#AX0Z, Yarrow (definition)
History
- 2026-11-02: add by m2/dev
List of mathematicians born in the 19th century 6PJX0T5MNS
| URI | m2://inv/6PJX0T5MNS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century, List of mathematicians born in the 19th century (topic). Also Wikidata Q19901337
History
- 2026-11-02: add by m2/dev
6PK1G25X52 6PK1G25X52
| URI | m2://inv/6PK1G25X52 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises6-2.xml#exercise-8 (exercise). In 649HGZKE96, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Elliptic point 6PK4HDB2J6
| URI | m2://inv/6PK4HDB2J6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal curvature#UAY8, Elliptic point (unknown)
History
- 2026-11-02: add by m2/dev
Spectral abscissa 6PKDCM6QX0
| URI | m2://inv/6PKDCM6QX0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral abscissa, Spectral abscissa (definition). Also Wikidata Q7575180
History
- 2026-11-02: add by m2/dev
6PKPJN4C91 6PKPJN4C91
| URI | m2://inv/6PKPJN4C91 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.04325#4DBN (statement). In 42XHT97E64/e1, corollary 4.4
History
- 2026-10-29: add by m2/v0.4.12
Bijective numeration 6PKRW6N1FP
| URI | m2://inv/6PKRW6N1FP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bijective numeration, Bijective numeration (definition). Also Wikidata Q3509335
History
- 2026-11-02: add by m2/dev
Itoh–Tsujii inversion algorithm 6PKRY6KGE9
| URI | m2://inv/6PKRY6KGE9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Itoh–Tsujii inversion algorithm, Itoh–Tsujii inversion algorithm (definition). Also Wikidata Q17092776
History
- 2026-11-02: add by m2/dev
6PKT1MZ6MS 6PKT1MZ6MS
| URI | m2://inv/6PKT1MZ6MS |
|---|---|
| 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 2602.03058#AFCJ (statement). In XQ0ZXH8KAC/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
6PKYV547XK 6PKYV547XK
| URI | m2://inv/6PKYV547XK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20558#OS48 (definition). In 46370P3Y9S/e1, definition 5.8
History
- 2026-10-27: add by m2/v0.4.2
Markov decision process 6PM0P9414E
| URI | m2://inv/6PM0P9414E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov decision process, Markov decision process (definition). Also Wikidata Q176789
History
- 2026-11-02: add by m2/dev
Definition 6PM82V1Q69
| URI | m2://inv/6PM82V1Q69 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Genetic epidemiology#LJX1, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties 6PMD46838Q
| URI | m2://inv/6PMD46838Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar set (potential theory)#9BXY, Properties (statement)
History
- 2026-11-02: add by m2/dev
6PMHPP01BA 6PMHPP01BA
| URI | m2://inv/6PMHPP01BA |
|---|---|
| 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#44AP (statement). In R515NECVME/e1, theorem 10.1
History
- 2026-10-30: add by m2/v0.4.12
6PMMVZKTBM 6PMMVZKTBM
| URI | m2://inv/6PMMVZKTBM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0312342#ES7I (statement). In K811ERNKV5/e1, theorem C.1
History
- 2026-10-27: add by m2/v0.3.5
Other existence theorems 6PMWZ4BAS3
| URI | m2://inv/6PMWZ4BAS3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Picard–Lindelöf theorem#6KRY, Other existence theorems (statement)
History
- 2026-11-02: add by m2/dev
6PMYV4V3CA 6PMYV4V3CA
| URI | m2://inv/6PMYV4V3CA |
|---|---|
| Kind | definition |
| 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#GVUP (definition). In FDYZFDHZH9/e1, definition 4.6
History
- 2026-10-31: add by m2/v0.5.6
Channel dynamics and two optimizer regimes 6PN2RKGNCZ
| URI | m2://inv/6PN2RKGNCZ |
|---|---|
| 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.25039#IXM4, Channel dynamics and two optimizer regimes (statement)
History
- 2026-11-01: add by m2/v0.6.15
6PN4JTN9QD 6PN4JTN9QD
| URI | m2://inv/6PN4JTN9QD |
|---|---|
| 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.16700#WQ61 (statement). In 3JPKD7NBEN/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Implementation 6PN8PS0AFX
| URI | m2://inv/6PN8PS0AFX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized method of moments#NCK3, Implementation (definition)
History
- 2026-11-02: add by m2/dev
homogeneous polynomial 6PN9JTAM11
| URI | m2://inv/6PN9JTAM11 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Homogeneous polynomial 2C3PAQ7H50 |
Mentions
- wikidata: Wikidata Q1474074, homogeneous polynomial (unknown). Also MathWorld HomogeneousPolynomial, nLab homogeneous polynomial
- wikipedia: Wikipedia Homogeneous polynomial, Homogeneous polynomial (definition). Also Wikidata Q1474074
History
- 2026-10-26: add by m2/dev
6PNH9RYT7K 6PNH9RYT7K
| URI | m2://inv/6PNH9RYT7K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_probability_conditional.ptx#example-1 (example). In QKM9DD2H56, example, section 10.2.1
History
- 2026-11-01: add by m2/v0.6.13
connex 6PNJY47VXW
| URI | m2://inv/6PNJY47VXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#YH5S, connex (definition)
History
- 2026-11-02: add by m2/dev
Non-uniform upper bound for 2-colorability 6PNN6P0A74
| URI | m2://inv/6PNN6P0A74 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07379#Y7UW, Non-uniform upper bound for 2-colorability (statement). In N0EVQ46HBR/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
Bernardo Quintana 6PNNTEA8Z0
| URI | m2://inv/6PNNTEA8Z0 |
|---|---|
| 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#W7G1, Bernardo Quintana (unknown)
History
- 2026-11-02: add by m2/dev
6PNVNJ4J6N 6PNVNJ4J6N
| URI | m2://inv/6PNVNJ4J6N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#SOAT (statement). In CGA36VE1C5/e1, fact 9.0.1
History
- 2026-10-27: add by m2/v0.3.6
6PNWMY7D77 6PNWMY7D77
| URI | m2://inv/6PNWMY7D77 |
|---|---|
| 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.21895#TYUW (statement)
History
- 2026-11-02: add by m2/v0.6.17
image 6PNZPAVA3P
| URI | m2://inv/6PNZPAVA3P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#G7TO, image (definition)
History
- 2026-11-02: add by m2/dev
Igor Dmitrievich Ado 6PP3RS7J9J
| URI | m2://inv/6PP3RS7J9J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Igor Dmitrievich Ado, Igor Dmitrievich Ado (topic). Also Wikidata Q1657682
History
- 2026-11-02: add by m2/dev
Bruhat 6PP9YW0VYQ
| URI | m2://inv/6PP9YW0VYQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#6MEA, Bruhat (definition)
History
- 2026-11-02: add by m2/dev
6PP9ZY2RSW 6PP9ZY2RSW
| URI | m2://inv/6PP9ZY2RSW |
|---|---|
| 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 2402.17852#F5BF (definition). In 1WCXV5PVZA/e1, definition 2.13
History
- 2026-10-27: add by m2/v0.4.0
6PPAM9B2HT 6PPAM9B2HT
| URI | m2://inv/6PPAM9B2HT |
|---|---|
| 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.26922#TD9R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Notation 6PPFMJWDRG
| URI | m2://inv/6PPFMJWDRG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boolean ring#KXQQ, Notation (definition)
History
- 2026-11-02: add by m2/dev
Cutler, Adele 6PPRXPDYQ1
| URI | m2://inv/6PPRXPDYQ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#EJTC, Cutler, Adele (unknown)
History
- 2026-11-02: add by m2/dev
6PPXNSNQXK 6PPXNSNQXK
| URI | m2://inv/6PPXNSNQXK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17139#FCT9 (statement). In AQWX60Z563/e1, proposition A.3
History
- 2026-10-28: add by m2/v0.4.2
6PPYY8HXSV 6PPYY8HXSV
| URI | m2://inv/6PPYY8HXSV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#proof-8 (proof). In N54F33XE07, proof, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
6PQ05HEJVF 6PQ05HEJVF
| URI | m2://inv/6PQ05HEJVF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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 2204.04317#1NE9 (statement). In 49V3ANDZTY/e1, theorem 6.5
History
- 2026-10-27: add by m2/v0.3.5
Ioan James 6PQH3DHTVQ
| URI | m2://inv/6PQH3DHTVQ |
|---|---|
| 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 Q368288, Ioan James (unknown). Also nLab Ioan James
History
- 2026-10-26: add by m2/dev
Henry Christian Wente 6PQSGQ2T6M
| URI | m2://inv/6PQSGQ2T6M |
|---|---|
| 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#VTT2, Henry Christian Wente (topic)
History
- 2026-11-02: add by m2/dev
1 E-13 m 6PQV2QS42Y
| URI | m2://inv/6PQV2QS42Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (length)#QHPD, 1 E-13 m (unknown)
History
- 2026-11-02: add by m2/dev
Vizing 6PR7N042EN
| URI | m2://inv/6PR7N042EN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#KZAQ, Vizing (definition)
History
- 2026-11-02: add by m2/dev
6PR7V4JHCX 6PR7V4JHCX
| URI | m2://inv/6PR7V4JHCX |
|---|---|
| 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#HIDK (statement). In 5E9G06XJKC/e1, lemma G.8
History
- 2026-10-28: add by m2/v0.4.2
Square-root-sum reduction 6PRB6MH11W
| URI | m2://inv/6PRB6MH11W |
|---|---|
| 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#PG7Z, Square-root-sum reduction (statement). In VSHAQTB2CA/e1, theorem E.1
History
- 2026-10-30: add by m2/v0.4.12
Example 6PRJQPBCJF
| URI | m2://inv/6PRJQPBCJF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Material implication (rule of inference)#UY1A, Example (example)
History
- 2026-11-02: add by m2/dev
6PRQD6SQAR 6PRQD6SQAR
| URI | m2://inv/6PRQD6SQAR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#MSSK (definition). In S26QVW5613/e1, definition 3.7.1
History
- 2026-10-30: add by m2/v0.4.12
Latvian Mathematical Society 6PRYEYXYMK
| URI | m2://inv/6PRYEYXYMK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#7241, Latvian Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
Joseph Oesterlé 6PS9F1S98Q
| URI | m2://inv/6PS9F1S98Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#X05O, Joseph Oesterlé (topic)
History
- 2026-11-02: add by m2/dev
Substitution matrix 6PSD2G5X11
| URI | m2://inv/6PSD2G5X11 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#9HHN, Substitution matrix (definition)
History
- 2026-11-02: add by m2/dev
Converse 6PSN9NDGKY
| URI | m2://inv/6PSN9NDGKY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residuated Boolean algebra#XO6M, Converse (statement)
History
- 2026-11-02: add by m2/dev
Examples 6PSZ24FJKD
| URI | m2://inv/6PSZ24FJKD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic number field#DXE6, Examples (example)
History
- 2026-11-02: add by m2/dev
Askey-Bateman project 6PSZEEP6FH
| URI | m2://inv/6PSZEEP6FH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bateman Manuscript Project#MD4W, Askey-Bateman project (unknown)
History
- 2026-11-02: add by m2/dev
Math walk 6PT00NMNJH
| URI | m2://inv/6PT00NMNJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Math walk, Math walk (definition). Also Wikidata Q116787534
History
- 2026-11-02: add by m2/dev
Dialogues of Plato 6PT3NFT8Q0
| URI | m2://inv/6PT3NFT8Q0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plato#5HOM, Dialogues of Plato (unknown)
History
- 2026-11-02: add by m2/dev
rule, introduction 6PT5N3Q4KW
| URI | m2://inv/6PT5N3Q4KW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.2.4/rule-introduction, rule, introduction (concept). In N54F33XE07, index, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
endomorphism 6PT69H108E
| URI | m2://inv/6PT69H108E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#2GYI, endomorphism (definition)
History
- 2026-11-02: add by m2/dev
Ruth Mickey 6PT995P9Q4
| URI | m2://inv/6PT995P9Q4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruth Mickey, Ruth Mickey (topic). Also Wikidata Q80087299
History
- 2026-11-02: add by m2/dev
Simplified asynchronous} expansion rate estimates 6PT9YR55MK
| URI | m2://inv/6PT9YR55MK |
|---|---|
| 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#HKEQ, Simplified asynchronous} expansion rate estimates (statement). In VCHH2AC34R/e1, corollary 3.8
History
- 2026-10-29: add by m2/v0.4.10
Normal cone 6PTJCFMWJ6
| URI | m2://inv/6PTJCFMWJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal cone (functional analysis), Normal cone (definition). Also Wikidata Q96396177
History
- 2026-11-02: add by m2/dev
6PTWY4VT6F 6PTWY4VT6F
| URI | m2://inv/6PTWY4VT6F |
|---|---|
| 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.16060#C7RS (statement). In X0BTF9HPGM/e1, fact 2.4
History
- 2026-10-28: add by m2/v0.4.2
Definitions 6PTZCABGKV
| URI | m2://inv/6PTZCABGKV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rate of convergence#9SOH, Definitions (definition)
History
- 2026-11-02: add by m2/dev
boundary value problem 6PV5991MKA
| URI | m2://inv/6PV5991MKA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/5.1.1/boundary-value-problem, boundary value problem (concept). In E9HS8K3A52, index, section 5.1.1
History
- 2026-11-01: add by m2/v0.6.13
Waitlist Composition and Slot Utilization 6PV65Z97GY
| URI | m2://inv/6PV65Z97GY |
|---|---|
| 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.12732#IBCU, Waitlist Composition and Slot Utilization (statement). In 5E91Y3VY9E/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
Subspace theorem 6PVQFGP4TW
| URI | m2://inv/6PVQFGP4TW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#J7X7, Subspace theorem (definition)
History
- 2026-11-02: add by m2/dev
Existence of God 6PVS5PE1N6
| URI | m2://inv/6PVS5PE1N6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Existence of God, Existence of God (definition). Also Wikidata Q1699404
History
- 2026-11-02: add by m2/dev
outer automorphism 6PVXQ0M4RX
| URI | m2://inv/6PVXQ0M4RX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3630548, outer automorphism (definition). Also MathWorld OuterAutomorphism, nLab outer automorphism, ProofWiki Definition:Outer_Automorphism
History
- 2026-10-26: add by m2/dev
Definition 6PW0PJRPNM
| URI | m2://inv/6PW0PJRPNM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie superalgebra#M7WL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Commutation lemma 6PW0XNJW1J
| URI | m2://inv/6PW0XNJW1J |
|---|---|
| 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.18078#A01L, Commutation lemma (statement). In YVK8EFSYNJ/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
6PWQEY0P9C 6PWQEY0P9C
| URI | m2://inv/6PWQEY0P9C |
|---|---|
| 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 2108.09796#VR57 (statement). In NAA7WFQN20/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.3.5
Amicable numbers 6PWQV67QH9
| URI | m2://inv/6PWQV67QH9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#T2MO, Amicable numbers (definition)
History
- 2026-11-02: add by m2/dev
DFT matrix 6PWYQD7YKR
| URI | m2://inv/6PWYQD7YKR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier analysis topics#J38W, DFT matrix (definition)
History
- 2026-11-02: add by m2/dev
Elimination half-life 6PX3B5BSB0
| URI | m2://inv/6PX3B5BSB0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#90D8, Elimination half-life (unknown)
History
- 2026-11-02: add by m2/dev
Product and Quotient Rules 6PXCBT2R51
| URI | m2://inv/6PXCBT2R51 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#XO46, Product and Quotient Rules (definition)
History
- 2026-11-02: add by m2/dev
A5/2 6PXD20GJX4
| URI | m2://inv/6PXD20GJX4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A5/2, A5/2 (definition). Also Wikidata Q1632201
History
- 2026-11-02: add by m2/dev
Luigi Amerio 6PXDG3PW5Z
| URI | m2://inv/6PXDG3PW5Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#B9A9, Luigi Amerio (topic)
History
- 2026-11-02: add by m2/dev
Howard Wright Alexander 6PXKV0BRN0
| URI | m2://inv/6PXKV0BRN0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Howard Wright Alexander, Howard Wright Alexander (topic). Also Wikidata Q24203519
History
- 2026-11-02: add by m2/dev
Roger Penrose 6PXSVS1492
| URI | m2://inv/6PXSVS1492 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#E8Q1, Roger Penrose (topic)
History
- 2026-11-02: add by m2/dev
6PY28XCRVB 6PY28XCRVB
| URI | m2://inv/6PY28XCRVB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17412#47OG (statement). In DPBHYJBGKD/e1, theorem 3.9
History
- 2026-10-27: add by m2/v0.3.6
Sparsity-of-effects principle 6PY9F9JM96
| URI | m2://inv/6PY9F9JM96 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Y3YO, Sparsity-of-effects principle (statement)
History
- 2026-11-02: add by m2/dev
6PYAKSYCFG 6PYAKSYCFG
| URI | m2://inv/6PYAKSYCFG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Partitions.tex#ex:last name revisited (example). In P1C114YBXG, example, section G
History
- 2026-11-01: add by m2/v0.6.13
Generalizations 6PYANKMH6K
| URI | m2://inv/6PYANKMH6K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fox H-function#UQ4N, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
6PYER311HS 6PYER311HS
| URI | m2://inv/6PYER311HS |
|---|---|
| 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 1804.06366#DR67 (statement). In 89XYDVXG38/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.3.5
Kolmogorov's inequality 6PYF7G6EYX
| URI | m2://inv/6PYF7G6EYX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/large-laws.tex#theorem-3, Kolmogorov's inequality (statement). In RZP28ERRZV, theorem, section 64.3.3
History
- 2026-11-01: add by m2/v0.6.13
Wardrop equilibrium 6PYHY7MJWR
| URI | m2://inv/6PYHY7MJWR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wardrop equilibrium, Wardrop equilibrium (definition). Also Wikidata Q123752521
History
- 2026-11-02: add by m2/dev
6PYJB3YH5Y 6PYJB3YH5Y
| URI | m2://inv/6PYJB3YH5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-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.14060#SXU4 (statement). In X47RYAZF8P/e1, lemma 5.13
History
- 2026-10-28: add by m2/v0.4.2
Hodge dual 6PYPGMSNFG
| URI | m2://inv/6PYPGMSNFG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#JYF4, Hodge dual (definition)
History
- 2026-11-02: add by m2/dev
Handshaking lemma 6PYPWNSSGG
| URI | m2://inv/6PYPWNSSGG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#5KGN, Handshaking lemma (definition)
History
- 2026-11-02: add by m2/dev
VeraCrypt 6PYV5D14FB
| URI | m2://inv/6PYV5D14FB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia VeraCrypt, VeraCrypt (definition). Also Wikidata Q19911889
History
- 2026-11-02: add by m2/dev
Stronger version of the inequality 6PYVHWV080
| URI | m2://inv/6PYVHWV080 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's theorem in geometry#0LW5, Stronger version of the inequality (statement)
History
- 2026-11-02: add by m2/dev
6PYVZ91EFG 6PYVZ91EFG
| URI | m2://inv/6PYVZ91EFG |
|---|---|
| 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 2610.06541#EGEP (statement). In R604B78EVK/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.10
6PYX0DX2D0 6PYX0DX2D0
| URI | m2://inv/6PYX0DX2D0 |
|---|---|
| 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 2103.12669#TJIS (statement). In ZA6XNBA90V/e1, theorem 2.10
History
- 2026-10-27: add by m2/v0.3.5
Formal definition 6PZ2MQ9CY2
| URI | m2://inv/6PZ2MQ9CY2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Π-calculus#5BE4, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Coercive bilinear form 6PZAABBG72
| URI | m2://inv/6PZAABBG72 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coercive function#RXMN, Coercive bilinear form (unknown)
History
- 2026-11-02: add by m2/dev
Partial-matching meet-in-the-middle attack 6PZAMT1TS3
| URI | m2://inv/6PZAMT1TS3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial-matching meet-in-the-middle attack, Partial-matching meet-in-the-middle attack (definition). Also Wikidata Q18392375
History
- 2026-11-02: add by m2/dev
6PZDREMSSY 6PZDREMSSY
| URI | m2://inv/6PZDREMSSY |
|---|---|
| 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 2601.18223#KJEM (statement). In ZRXE7EJA93/e1, lemma 4.11
History
- 2026-10-27: add by m2/v0.3.5
6PZGM236PB 6PZGM236PB
| URI | m2://inv/6PZGM236PB |
|---|---|
| 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.24541#DAJT (statement)
History
- 2026-11-01: add by m2/v0.6.15
John Riordan 6PZY90HGPF
| URI | m2://inv/6PZY90HGPF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Riordan (mathematician), John Riordan (topic). Also Wikidata Q6254971
History
- 2026-11-02: add by m2/dev