Inventory rows 2K
The cards of the rows of the inventory whose ids start with 2K. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
irreducible module 2K07VK7H6D
| URI | m2://inv/2K07VK7H6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#BESW, irreducible module (definition)
History
- 2026-11-02: add by m2/dev
Proposition 2 2K0CCHTWQM
| URI | m2://inv/2K0CCHTWQM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf bifurcation#WFX1, Proposition 2 (statement)
History
- 2026-11-02: add by m2/dev
2K0G8JRXWG 2K0G8JRXWG
| URI | m2://inv/2K0G8JRXWG |
|---|---|
| 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 2209.08186#30UR (statement). In X6VGVPQH8V/e1, corollary 4.3
History
- 2026-10-27: add by m2/v0.3.5
2K0H2BT448 2K0H2BT448
| URI | m2://inv/2K0H2BT448 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-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.08196#X67Y (conjecture). In 8QVWZ23N42/e1, conjecture 4.4
History
- 2026-10-29: add by m2/v0.4.10
2K0QCXV4E6 2K0QCXV4E6
| URI | m2://inv/2K0QCXV4E6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19854#Q724 (statement). In D50WST4CG3/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
2K0QT9MZQX 2K0QT9MZQX
| URI | m2://inv/2K0QT9MZQX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17411#E8GS (statement). In 73QW05MWQB/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Antonio Maria Bordoni 2K0REPWCKK
| URI | m2://inv/2K0REPWCKK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antonio Maria Bordoni, Antonio Maria Bordoni (topic). Also Wikidata Q3619833
History
- 2026-11-02: add by m2/dev
2K0TAF1PFP 2K0TAF1PFP
| URI | m2://inv/2K0TAF1PFP |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.4.2
Definition 2K0V2YJN66
| URI | m2://inv/2K0V2YJN66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia J-invariant#YSP0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Block Project 2K0XTT1Q8M
| URI | m2://inv/2K0XTT1Q8M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jack Block#1QXS, Block Project (unknown)
History
- 2026-11-02: add by m2/dev
Added mass 2K0YSJAQC3
| URI | m2://inv/2K0YSJAQC3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Added mass, Added mass (definition). Also Wikidata Q4681030
History
- 2026-11-02: add by m2/dev
2K17BDF43N 2K17BDF43N
| URI | m2://inv/2K17BDF43N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-basics.ptx#exercise-3 (exercise). In Y91XFCEVHQ, exercise, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Rind et al. controversy 2K1JV3C9V3
| URI | m2://inv/2K1JV3C9V3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1FQV, Rind et al. controversy (definition)
History
- 2026-11-02: add by m2/dev
cycle graph C6 2K1K1JG6DZ
| URI | m2://inv/2K1K1JG6DZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q137548047, cycle graph C6 (unknown). Also House of Graphs 670
History
- 2026-10-26: add by m2/dev
Alex Biryukov 2K1NM5GCKG
| URI | m2://inv/2K1NM5GCKG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#U2UV, Alex Biryukov (topic)
History
- 2026-11-02: add by m2/dev
Incircle and excircles 2K24NH9SA6
| URI | m2://inv/2K24NH9SA6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incircle and excircles, Incircle and excircles (definition). Also Wikidata Q10615255
History
- 2026-11-02: add by m2/dev
2K25DK17AP 2K25DK17AP
| URI | m2://inv/2K25DK17AP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.13888#3T3N (statement). In 2G5K2GZTX7/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.4.0
2K2FZE72A5 2K2FZE72A5
| URI | m2://inv/2K2FZE72A5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/cardinals/cardsasords.tex#lem:CardinalsExist (statement). In PKGMM3P5QY, lem, section 70.1
History
- 2026-11-01: add by m2/v0.6.13
Example 2K2T7Z8NNE
| URI | m2://inv/2K2T7Z8NNE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acceleration#N3HQ, Example (example)
History
- 2026-11-02: add by m2/dev
Splitting principle 2K2WQRY5SD
| URI | m2://inv/2K2WQRY5SD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flag bundle#QEIT, Splitting principle (statement)
History
- 2026-11-02: add by m2/dev
2K2YHS9K7R 2K2YHS9K7R
| URI | m2://inv/2K2YHS9K7R |
|---|---|
| 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#UQ58 (statement). In QA4JM9SHPA/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
icositrigonal number 2K36S2H8C5
| URI | m2://inv/2K36S2H8C5 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18451099, icositrigonal number (object). Also OEIS A051875
History
- 2026-10-26: add by m2/dev
Lee 2K398NC5V1
| URI | m2://inv/2K398NC5V1 |
|---|---|
| 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#VATN, Lee (statement). In WS5KWBEG5Q/e1, lemma 1
History
- 2026-10-27: add by m2/v0.4.0
The response of order probabilities 2K40EBJZVZ
| URI | m2://inv/2K40EBJZVZ |
|---|---|
| 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.15421#YXUN, The response of order probabilities (statement). In 3RBKH0DA74/e1, lemma 4.9
History
- 2026-10-28: add by m2/v0.4.2
Burt Kaliski 2K40JCG69Q
| URI | m2://inv/2K40JCG69Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burt Kaliski, Burt Kaliski (topic). Also Wikidata Q4209951
History
- 2026-11-02: add by m2/dev
2K40WDYW5R 2K40WDYW5R
| URI | m2://inv/2K40WDYW5R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/more-proofs-in-K.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 50.6
History
- 2026-11-01: add by m2/v0.6.13
Total semi-differential of supremal functionals 2K44J1PVWP
| URI | m2://inv/2K44J1PVWP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27918#1LED, Total semi-differential of supremal functionals (definition)
History
- 2026-11-01: add by m2/v0.6.15
2K4EF8NHWR 2K4EF8NHWR
| URI | m2://inv/2K4EF8NHWR |
|---|---|
| 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#ZYGU (statement). In W4TYN4PGE8/e1, proposition 3.18
History
- 2026-10-27: add by m2/v0.3.5
substructure 2K4H36CP3G
| URI | m2://inv/2K4H36CP3G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Model theory > substructure, substructure (unknown). Also Mathlib FirstOrder.Language.Substructure
History
- 2026-10-26: add by m2/dev
Marian Palmer Capps 2K4P3C7CSC
| URI | m2://inv/2K4P3C7CSC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marian Palmer Capps, Marian Palmer Capps (topic). Also Wikidata Q12894123
History
- 2026-11-02: add by m2/dev
Condorcet method 2K4PD080E5
| URI | m2://inv/2K4PD080E5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Condorcet method, Condorcet method (definition). Also Wikidata Q868720
History
- 2026-11-02: add by m2/dev
A non-uniform $4$-cycle 2K4S1VSC44
| URI | m2://inv/2K4S1VSC44 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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.08196#HSTM, A non-uniform $4$-cycle (example). In 8QVWZ23N42/e1, example 3.11
History
- 2026-10-29: add by m2/v0.4.10
Approximation algorithms for the clique problem 2K4S4G0329
| URI | m2://inv/2K4S4G0329 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clique problem#WBJE, Approximation algorithms for the clique problem (unknown)
History
- 2026-11-02: add by m2/dev
Peter Dembowski 2K4VB6BN3S
| URI | m2://inv/2K4VB6BN3S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Dembowski, Peter Dembowski (topic). Also Wikidata Q2074504
History
- 2026-11-02: add by m2/dev
2K4VX3K55J 2K4VX3K55J
| URI | m2://inv/2K4VX3K55J |
|---|---|
| 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 2608.24190#EBHG (statement). In DW7FVA587C/e1, corollary 4.11
History
- 2026-10-27: add by m2/v0.3.5
Enneagrammic-order enneagonal tiling 2K4WWYVS6J
| URI | m2://inv/2K4WWYVS6J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#N5P3, Enneagrammic-order enneagonal tiling (unknown)
History
- 2026-11-02: add by m2/dev
2K54TD2AFD 2K54TD2AFD
| URI | m2://inv/2K54TD2AFD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/applied-modal-logic/temporal-logic/extra-temporal-operators.tex#defn:since-until (definition). In PKGMM3P5QY, defn, section 1.8
History
- 2026-11-01: add by m2/v0.6.13
2K55VFAE4A 2K55VFAE4A
| URI | m2://inv/2K55VFAE4A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29894#ATFE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications 2K5BKG9S0J
| URI | m2://inv/2K5BKG9S0J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contact geometry#FL1W, Applications (example)
History
- 2026-11-02: add by m2/dev
Formula 2K5E83SZBP
| URI | m2://inv/2K5E83SZBP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point reflection#LHZG, Formula (statement)
History
- 2026-11-02: add by m2/dev
Miklós Simonovits 2K5KHWWST6
| URI | m2://inv/2K5KHWWST6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CRZV, Miklós Simonovits (unknown)
History
- 2026-11-02: add by m2/dev
Definition 2K5NJFWVRH
| URI | m2://inv/2K5NJFWVRH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit cycle#X7FA, Definition (definition)
History
- 2026-11-02: add by m2/dev
Related theorems 2K5R5FVPE5
| URI | m2://inv/2K5R5FVPE5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heckscher–Ohlin theorem#NT52, Related theorems (statement)
History
- 2026-11-02: add by m2/dev
division 2K6EWJT6PW
| URI | m2://inv/2K6EWJT6PW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#Y8YR, division (definition)
History
- 2026-11-02: add by m2/dev
binary search algorithm 2K6TFXETQ3
| URI | m2://inv/2K6TFXETQ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q243754, binary search algorithm (unknown). Also MathWorld BinarySearch
- wikipedia: Wikipedia Binary search, Binary search (definition). Also Wikidata Q243754
History
- 2026-10-26: add by m2/dev
2K7258E9HZ 2K7258E9HZ
| URI | m2://inv/2K7258E9HZ |
|---|---|
| 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#0U2A (definition)
History
- 2026-11-01: add by m2/v0.6.15
Graph homology 2K76M76QHZ
| URI | m2://inv/2K76M76QHZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph homology, Graph homology (definition). Also Wikidata Q97933188
History
- 2026-11-02: add by m2/dev
2K7FSCKV8V 2K7FSCKV8V
| URI | m2://inv/2K7FSCKV8V |
|---|---|
| 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 1310.6698#TAPV (statement). In 7AQ7DMNZEY/e1, corollary 2.6
History
- 2026-10-27: add by m2/v0.3.5
Hermann Wilken 2K7HWB8QC7
| URI | m2://inv/2K7HWB8QC7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#GJ31, Hermann Wilken (unknown)
History
- 2026-11-02: add by m2/dev
2K7Q8W5D01 2K7Q8W5D01
| URI | m2://inv/2K7Q8W5D01 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17547#UDJQ (statement). In XJ59TDP4HA/e1, theorem 4.11
History
- 2026-10-28: add by m2/v0.4.2
2K7QA7AM6N 2K7QA7AM6N
| URI | m2://inv/2K7QA7AM6N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31604#OC0E (statement). In GSN5YTQS2K/e1, lemma 2.15
History
- 2026-10-31: add by m2/v0.5.6
Properties 2K86TWWFC2
| URI | m2://inv/2K86TWWFC2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudometric space#3WGL, Properties (statement)
History
- 2026-11-02: add by m2/dev
Tetrahedron packing 2K89K8HW4T
| URI | m2://inv/2K89K8HW4T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrahedron packing, Tetrahedron packing (definition). Also Wikidata Q7706530
History
- 2026-11-02: add by m2/dev
Differentially closed field 2K8A8JJ1F9
| URI | m2://inv/2K8A8JJ1F9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of first-order theories#MX7P, Differentially closed field (definition)
History
- 2026-11-02: add by m2/dev
One Moser step 2K8EDS4RWZ
| URI | m2://inv/2K8EDS4RWZ |
|---|---|
| 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.00339#9LKD, One Moser step (statement). In ZRG6NY1ECH/e1, lemma 26
History
- 2026-10-30: add by m2/v0.4.12
2K8P62QQSW 2K8P62QQSW
| URI | m2://inv/2K8P62QQSW |
|---|---|
| Kind | statement |
| 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.16339#ZGPJ (statement). In ER5EH4W919/e1, lemma 7.2
History
- 2026-10-28: add by m2/v0.4.2
Nilima Nigam 2K8X2WNM7F
| URI | m2://inv/2K8X2WNM7F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nilima Nigam, Nilima Nigam (topic). Also Wikidata Q102193655
History
- 2026-11-02: add by m2/dev
Two leaves selected from a finite-level cascade 2K8YSKP3WC
| URI | m2://inv/2K8YSKP3WC |
|---|---|
| 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.18350#ZA5P, Two leaves selected from a finite-level cascade (statement). In A20E8FZS21/e1, lemma A.4
History
- 2026-10-28: add by m2/v0.4.2
Richard Dedekind 2K90GNSDTC
| URI | m2://inv/2K90GNSDTC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#3DLJ, Richard Dedekind (topic)
- wikipedia: Wikipedia List of mathematicians born in the 19th century#KJHV, Richard Dedekind (topic)
History
- 2026-11-02: add by m2/dev
Alfvén's theorem 2K91T2BR0H
| URI | m2://inv/2K91T2BR0H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfvén's theorem, Alfvén's theorem (statement). Also Wikidata Q25303782
History
- 2026-11-02: add by m2/dev
sheaf theory 2K96E69VG1
| URI | m2://inv/2K96E69VG1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77827144, sheaf theory (topic). Also EoM Sheaf_theory
History
- 2026-10-26: add by m2/dev
2K9KRATRA8 2K9KRATRA8
| URI | m2://inv/2K9KRATRA8 |
|---|---|
| Kind | example |
| 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.13385#6R06 (example). In J99CBQ3QYD/e1, example 3.4
History
- 2026-10-28: add by m2/v0.4.2
associahedron 2K9NQQM9XF
| URI | m2://inv/2K9NQQM9XF |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Associahedron KPNY26EKNP |
Mentions
- wikidata: Wikidata Q4809117, associahedron (unknown). Also MathWorld Associahedron, nLab associahedron
- wikipedia: Wikipedia Associahedron, Associahedron (object). Also Wikidata Q4809117
History
- 2026-10-26: add by m2/dev
2KA4TKW1TT 2KA4TKW1TT
| URI | m2://inv/2KA4TKW1TT |
|---|---|
| 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.24463#VEIE (statement)
History
- 2026-11-01: add by m2/v0.6.15
2KA64DQB5P 2KA64DQB5P
| URI | m2://inv/2KA64DQB5P |
|---|---|
| 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.18600#2NWP (statement). In 31D6TQVCNZ/e1, corollary 3.14
History
- 2026-10-28: add by m2/v0.4.2
Hermann Günther Grassmann 2KAB117EBN
| URI | m2://inv/2KAB117EBN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#UL0L, Hermann Günther Grassmann (topic)
History
- 2026-11-02: add by m2/dev
2KAEJADVE7 2KAEJADVE7
| URI | m2://inv/2KAEJADVE7 |
|---|---|
| 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.12857#0ALC (statement). In XJWQ6Y83F8/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
2KAQ1019CS 2KAQ1019CS
| URI | m2://inv/2KAQ1019CS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#defn-4 (definition). In E59CDZA4DP, defn, section 7.1
History
- 2026-11-01: add by m2/v0.6.13
2KATA4RGRH 2KATA4RGRH
| URI | m2://inv/2KATA4RGRH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21668#SRGM (statement)
History
- 2026-11-02: add by m2/v0.6.18
Exact generic elimination 2KAXQQGDBE
| URI | m2://inv/2KAXQQGDBE |
|---|---|
| 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.00358#L8Y5, Exact generic elimination (statement). In C5WGCSPM6W/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
2KB1YA843H 2KB1YA843H
| URI | m2://inv/2KB1YA843H |
|---|---|
| Kind | definition |
| 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#2R8D (definition). In 42XHT97E64/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Mark Donskoy 2KB3RR6CDN
| URI | m2://inv/2KB3RR6CDN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#7JMG, Mark Donskoy (unknown)
History
- 2026-11-02: add by m2/dev
2KB91QZKKR 2KB91QZKKR
| URI | m2://inv/2KB91QZKKR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/representing-tms.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 86.9
History
- 2026-11-01: add by m2/v0.6.13
2KB98VRT0M 2KB98VRT0M
| URI | m2://inv/2KB98VRT0M |
|---|---|
| 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.12053#6Z3D (statement). In MQ226ETRP6/e1, proposition 2.11
History
- 2026-10-28: add by m2/v0.4.3
L. Christine Kinsey 2KBAW4B953
| URI | m2://inv/2KBAW4B953 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L. Christine Kinsey, L. Christine Kinsey (topic). Also Wikidata Q86052409
History
- 2026-11-02: add by m2/dev
faithful functor 2KBD4NMSG6
| URI | m2://inv/2KBD4NMSG6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.4/faithful-functor, faithful functor (concept). In N54F33XE07, index, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
2KBH76FDTE 2KBH76FDTE
| URI | m2://inv/2KBH76FDTE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17553#PH24 (statement). In ETMBHKF5A9/e1, theorem 5.19
History
- 2026-10-28: add by m2/v0.4.2
Oskar Becker 2KBJFPS4B0
| URI | m2://inv/2KBJFPS4B0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oskar Becker, Oskar Becker (topic). Also Wikidata Q72074
History
- 2026-11-02: add by m2/dev
Broadened sampling at $A_{18}$ 2KBSH68BCY
| URI | m2://inv/2KBSH68BCY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#HPN7, Broadened sampling at $A_{18}$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
2KBZF4AQXC 2KBZF4AQXC
| URI | m2://inv/2KBZF4AQXC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09129#75QT (statement). In Z1RZSF68XZ/e1, corollary 5.10
History
- 2026-10-29: add by m2/v0.4.10
Nonomino 2KC1TYMKHY
| URI | m2://inv/2KC1TYMKHY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonomino, Nonomino (definition). Also Wikidata Q3312699
History
- 2026-11-02: add by m2/dev
2KC20P9QQ1 2KC20P9QQ1
| URI | m2://inv/2KC20P9QQ1 |
|---|---|
| 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.19285#LZQA (statement). In 6DJR9DKY5W/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
2KC2EVD4C2 2KC2EVD4C2
| URI | m2://inv/2KC2EVD4C2 |
|---|---|
| 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#BSKG (statement). In W4TYN4PGE8/e1, proposition 3.21
History
- 2026-10-27: add by m2/v0.3.5
Horseshoe map 2KC3CBH1SM
| URI | m2://inv/2KC3CBH1SM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#X6G2, Horseshoe map (definition)
History
- 2026-11-02: add by m2/dev
2KC5MXXWK8 2KC5MXXWK8
| URI | m2://inv/2KC5MXXWK8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#G6LK (example). In X923ZEY423/e1, example 1.6.1
History
- 2026-10-27: add by m2/v0.3.5
Pontryagin's maximum principle 2KC87JZ7X8
| URI | m2://inv/2KC87JZ7X8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Pontryagin's maximum principle 7RPV2T29CF |
Mentions
- wikidata: Wikidata Q3491629, Pontryagin's maximum principle (statement). Also EoM Pontryagin_maximum_principle
- wikipedia: Wikipedia Pontryagin's maximum principle, Pontryagin's maximum principle (statement). Also Wikidata Q3491629
History
- 2026-10-26: add by m2/dev
2KCMHKR20M 2KCMHKR20M
| URI | m2://inv/2KCMHKR20M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.18929#4X0N (statement). In ZRJ2DZT6P1/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
Hénon–Heiles system 2KCNP1C5TW
| URI | m2://inv/2KCNP1C5TW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#E0NO, Hénon–Heiles system (definition)
History
- 2026-11-02: add by m2/dev
2KCP15ZJ7N 2KCP15ZJ7N
| URI | m2://inv/2KCP15ZJ7N |
|---|---|
| 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.10330#N8F5 (statement). In CDXQHNX1P8/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.10
2KD0CHQ5DR 2KD0CHQ5DR
| URI | m2://inv/2KD0CHQ5DR |
|---|---|
| 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 2609.31910#F05D (example). In E4EK1XXPY4/e1, example 4.3
History
- 2026-10-31: add by m2/v0.5.6
Screened observable distance 2KD4ZVGMQD
| URI | m2://inv/2KD4ZVGMQD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26262#OUQ7, Screened observable distance (definition)
History
- 2026-11-01: add by m2/v0.6.15
2KD7Q78ZE7 2KD7Q78ZE7
| URI | m2://inv/2KD7Q78ZE7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20207#WKB9 (statement). In 1MPH7GCFJ2/e1, theorem 4.13
History
- 2026-10-27: add by m2/v0.4.2
2KDGYZ9TME 2KDGYZ9TME
| URI | m2://inv/2KDGYZ9TME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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.11800#N2ON (statement). In 8TSZ2E32K3/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.3
Cartesian coordinate system 2KDHW450GP
| URI | m2://inv/2KDHW450GP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Cartesian coordinate system 0RWKYX8339 |
Mentions
- wikidata: Wikidata Q62912, Cartesian coordinate system (unknown). Also EoM Cartesian_orthogonal_coordinate_system, MathWorld CartesianCoordinates
- wikidata: Wikidata Q73454785, Cartesian coordinate (unknown). Also MathWorld CartesianCoordinates
- wikipedia: Wikipedia Cartesian coordinate system, Cartesian coordinate system (definition). Also Wikidata Q62912
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Integrated Windows Authentication 2KDNG8PGDT
| URI | m2://inv/2KDNG8PGDT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integrated Windows Authentication, Integrated Windows Authentication (definition). Also Wikidata Q370842
History
- 2026-11-02: add by m2/dev
Theorem 2KDW7YBTXW
| URI | m2://inv/2KDW7YBTXW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entanglement witness#ZIQD, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Hans Rohrbach 2KDWP1YKP8
| URI | m2://inv/2KDWP1YKP8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Rohrbach, Hans Rohrbach (topic). Also Wikidata Q1582079
History
- 2026-11-02: add by m2/dev
Endpoint column compression 2KDYC19Z15
| URI | m2://inv/2KDYC19Z15 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04398#GLO3, Endpoint column compression (statement). In DFZWC9HY0T/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.12
2KDZ5JGS3M 2KDZ5JGS3M
| URI | m2://inv/2KDZ5JGS3M |
|---|---|
| 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.00909#TOA4 (statement). In Z4TD36VFPW/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
The variational inequality for the Signorini problem 2KED7BEQ76
| URI | m2://inv/2KED7BEQ76 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variational inequality#N9XL, The variational inequality for the Signorini problem (problem)
History
- 2026-11-02: add by m2/dev
Equivalent definitions 2KEET2FXJ8
| URI | m2://inv/2KEET2FXJ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal matrix#3CNW, Equivalent definitions (definition)
History
- 2026-11-02: add by m2/dev
weak mathematical induction 2KEF52ZH4T
| URI | m2://inv/2KEF52ZH4T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#XM5W, weak mathematical induction (definition)
History
- 2026-11-02: add by m2/dev
Behavior Genetics 2KES9GT0C5
| URI | m2://inv/2KES9GT0C5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Behavior Genetics (journal), Behavior Genetics (definition). Also Wikidata Q4034967
History
- 2026-11-02: add by m2/dev
Examples 2KF28N2AET
| URI | m2://inv/2KF28N2AET |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Context-sensitive grammar#OX85, Examples (example)
History
- 2026-11-02: add by m2/dev
2KF3NPA2ZJ 2KF3NPA2ZJ
| URI | m2://inv/2KF3NPA2ZJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#U0GZ (definition)
History
- 2026-11-01: add by m2/v0.6.15
2KF5M4VAV1 2KF5M4VAV1
| URI | m2://inv/2KF5M4VAV1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.15424#WN66 (statement). In NXYZ1EAWKN/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
Gary Shiu 2KF6MN2ZE8
| URI | m2://inv/2KF6MN2ZE8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55098319, Gary Shiu (unknown). Also nLab Gary Shiu
- wikipedia: Wikipedia Gary Shiu, Gary Shiu (topic). Also Wikidata Q55098319
History
- 2026-10-26: add by m2/dev
Tjøstheim's coefficient 2KF6REQMAF
| URI | m2://inv/2KF6REQMAF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tjøstheim's coefficient, Tjøstheim's coefficient (definition). Also Wikidata Q125701487
History
- 2026-11-02: add by m2/dev
2KFD4VTJA0 2KFD4VTJA0
| URI | m2://inv/2KFD4VTJA0 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-34 (proof). In N54F33XE07, proof, section C.3
History
- 2026-11-01: add by m2/v0.6.13
2KFFC8M7SS 2KFFC8M7SS
| URI | m2://inv/2KFFC8M7SS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.10505#PPVL (statement). In JW8HH6EPG2/e1, lemma 3.11
History
- 2026-10-29: add by m2/v0.4.10
Definitions 2KFGTDP911
| URI | m2://inv/2KFGTDP911 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate random variable#4B7G, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Formal statement 2KFRWNWY70
| URI | m2://inv/2KFRWNWY70 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rice–Shapiro theorem#9IJP, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
2KFTWCZQDW 2KFTWCZQDW
| URI | m2://inv/2KFTWCZQDW |
|---|---|
| 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 2405.02275#SFJ3 (statement). In 1QXCNGRWV1/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
2KG176HF1Z 2KG176HF1Z
| URI | m2://inv/2KG176HF1Z |
|---|---|
| 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.27301#BQNK (statement)
History
- 2026-11-01: add by m2/v0.6.15
2KG52J3KER 2KG52J3KER
| URI | m2://inv/2KG52J3KER |
|---|---|
| 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 2205.09049#6Z9J (definition). In 37S7MNMZ2F/e1, definition 80
History
- 2026-10-27: add by m2/v0.3.5
Gap at 1 for site percolation on vertex transitive graphs 2KG9AATQ2H
| URI | m2://inv/2KG9AATQ2H |
|---|---|
| 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.08261#0Z7W, Gap at 1 for site percolation on vertex transitive graphs (statement). In QD68GYRWNS/e1, corollary 1.2
History
- 2026-10-29: add by m2/v0.4.10
2KGAYE12ZG 2KGAYE12ZG
| URI | m2://inv/2KGAYE12ZG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17135#B68H (definition). In XX1J2REXY2/e1, definition 4.4
History
- 2026-10-28: add by m2/v0.4.2
2KGB1RS86W 2KGB1RS86W
| URI | m2://inv/2KGB1RS86W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12295#BM02 (statement). In 6DZPR52HRP/e1, lemma 4.19
History
- 2026-10-28: add by m2/v0.4.2
Alice Guionnet 2KGE08B3EX
| URI | m2://inv/2KGE08B3EX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alice Guionnet, Alice Guionnet (topic). Also Wikidata Q1523073
History
- 2026-11-02: add by m2/dev
2KGRXQ82GB 2KGRXQ82GB
| URI | m2://inv/2KGRXQ82GB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-intro.tex#exercise-10 (exercise). In E9HS8K3A52, exercise, section 6.8.5
History
- 2026-11-01: add by m2/v0.6.13
2KH304BZ7W 2KH304BZ7W
| URI | m2://inv/2KH304BZ7W |
|---|---|
| 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.15169#KMSI (statement). In V7SN19J84T/e1, lemma 6.5
History
- 2026-10-28: add by m2/v0.4.2
Applications 2KH3RPHBBR
| URI | m2://inv/2KH3RPHBBR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Global optimization#YGU0, Applications (example)
History
- 2026-11-02: add by m2/dev
Local extragradient with averaging 2KH4YYAB5Y
| URI | m2://inv/2KH4YYAB5Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12641#KMAB, Local extragradient with averaging (definition). In X5BYGZZHPF/e1, definition G.4
History
- 2026-10-28: add by m2/v0.4.2
2KHAP2SB39 2KHAP2SB39
| URI | m2://inv/2KHAP2SB39 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.03672#J88N (definition). In EZZSZ1F071/e1, definition 0.4
History
- 2026-10-27: add by m2/v0.4.0
2KJ0MCZCJZ 2KJ0MCZCJZ
| URI | m2://inv/2KJ0MCZCJZ |
|---|---|
| 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.16731#WD0T (definition). In D68KBZQ4Q6/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
2KJ6B99S4C 2KJ6B99S4C
| URI | m2://inv/2KJ6B99S4C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#1897 (statement). In GW23NX78SB/e1, corollary 4.31
History
- 2026-10-28: add by m2/v0.4.2
2KJ6WYTGSF 2KJ6WYTGSF
| URI | m2://inv/2KJ6WYTGSF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#MYAQ (statement). In 7V3HG30ZGW/e1, proposition 2.18
History
- 2026-10-27: add by m2/v0.4.0
Marcel Bökstedt 2KJD070QDZ
| URI | m2://inv/2KJD070QDZ |
|---|---|
| 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#Z2BP, Marcel Bökstedt (unknown)
History
- 2026-11-02: add by m2/dev
2KJK38N2WX 2KJK38N2WX
| URI | m2://inv/2KJK38N2WX |
|---|---|
| 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.24451#0761 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Four-momentum 2KJPTGFG6F
| URI | m2://inv/2KJPTGFG6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Four-momentum, Four-momentum (definition). Also Wikidata Q1068463
History
- 2026-11-02: add by m2/dev
Continuous spectrum (functional analysis) 2KJQ9BXW3K
| URI | m2://inv/2KJQ9BXW3K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectrum (functional analysis)#JUGH, Continuous spectrum (functional analysis) (unknown)
History
- 2026-11-02: add by m2/dev
Allan Sly 2KJQPJSWRE
| URI | m2://inv/2KJQPJSWRE |
|---|---|
| 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#G0U2, Allan Sly (unknown)
History
- 2026-11-02: add by m2/dev
Problem 2 2KJVSYDVF5
| URI | m2://inv/2KJVSYDVF5 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Priority heuristic#B9QU, Problem 2 (problem)
History
- 2026-11-02: add by m2/dev
Sergei Ivanov 2KK4AGY50R
| URI | m2://inv/2KK4AGY50R |
|---|---|
| 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#K8U0, Sergei Ivanov (topic)
History
- 2026-11-02: add by m2/dev
2KK8WBMNMF 2KK8WBMNMF
| URI | m2://inv/2KK8WBMNMF |
|---|---|
| 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.25896#IO8D (statement)
History
- 2026-11-01: add by m2/v0.6.15
2KK97XTYMJ 2KK97XTYMJ
| URI | m2://inv/2KK97XTYMJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-4 (exercise). In Y91XFCEVHQ, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
2KKA91SYHH 2KKA91SYHH
| URI | m2://inv/2KKA91SYHH |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-38 (proof). In N54F33XE07, proof, section C.4
History
- 2026-11-01: add by m2/v0.6.13
nullcone 2KKCH9AP3T
| URI | m2://inv/2KKCH9AP3T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#7RME, nullcone (definition)
History
- 2026-11-02: add by m2/dev
Demetra+ 2KKKRXE0Z6
| URI | m2://inv/2KKKRXE0Z6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demetra+, Demetra+ (definition). Also Wikidata Q5255200
History
- 2026-11-02: add by m2/dev
Lygkonis--Zygouras 2KKS511Q7Q
| URI | m2://inv/2KKS511Q7Q |
|---|---|
| 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.21937#EIBM, Lygkonis--Zygouras (statement)
History
- 2026-11-02: add by m2/v0.6.17
Abel's inequality 2KKVPHPS9H
| URI | m2://inv/2KKVPHPS9H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Niels Henrik Abel#ZJW8, Abel's inequality (statement)
- wikipedia: Wikipedia List of inequalities#N7QU, Abel's inequality (statement)
History
- 2026-11-02: add by m2/dev
What the pairwise estimate would need 2KKYZQ9MPV
| URI | m2://inv/2KKYZQ9MPV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#ZJWZ, What the pairwise estimate would need (statement)
History
- 2026-11-01: add by m2/v0.6.15
Subring 2KKZG71Y1S
| URI | m2://inv/2KKZG71Y1S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#7XA4, Subring (definition)
History
- 2026-11-02: add by m2/dev
Peter Richtarik 2KKZX29R6G
| URI | m2://inv/2KKZX29R6G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Richtarik, Peter Richtarik (topic). Also Wikidata Q26704526
History
- 2026-11-02: add by m2/dev
derived algebraic geometry 2KM59XHZH7
| URI | m2://inv/2KM59XHZH7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16959942, derived algebraic geometry (topic). Also nLab derived algebraic geometry
- wikipedia: Wikipedia Derived algebraic geometry, Derived algebraic geometry (topic). Also Wikidata Q16959942
History
- 2026-10-26: add by m2/dev
Reduced abelian group 2KM5QRKA5S
| URI | m2://inv/2KM5QRKA5S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisible group#7NC1, Reduced abelian group (unknown)
History
- 2026-11-02: add by m2/dev
2KM5XS57Q7 2KM5XS57Q7
| URI | m2://inv/2KM5XS57Q7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28297#U7BX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Original motivation: The Schwartz kernel theorem 2KMA2XB2NJ
| URI | m2://inv/2KMA2XB2NJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nuclear space#I9GV, Original motivation: The Schwartz kernel theorem (statement)
History
- 2026-11-02: add by m2/dev
Muriel Nissel 2KMA79YGCT
| URI | m2://inv/2KMA79YGCT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Muriel Nissel, Muriel Nissel (topic). Also Wikidata Q19335552
History
- 2026-11-02: add by m2/dev
An initial-pairing blow-up criterion 2KMCRYTHQG
| URI | m2://inv/2KMCRYTHQG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15528#YJ5V, An initial-pairing blow-up criterion (statement). In G9GEE64N32/e1, theorem 2.6
History
- 2026-10-28: add by m2/v0.4.2
Ramanujan Journal 2KMDRKVN9H
| URI | m2://inv/2KMDRKVN9H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#0B1C, Ramanujan Journal (unknown)
History
- 2026-11-02: add by m2/dev
Properties 2KN030EEAT
| URI | m2://inv/2KN030EEAT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Appert topology#WPDH, Properties (statement)
History
- 2026-11-02: add by m2/dev
Eight Mile Creek, Queensland 2KN0NBVY3D
| URI | m2://inv/2KN0NBVY3D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#VIIF, Eight Mile Creek, Queensland (unknown)
History
- 2026-11-02: add by m2/dev
2KN1VPPGXR 2KN1VPPGXR
| URI | m2://inv/2KN1VPPGXR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26665#3G7X (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mathematical Foundations of Quantum Mechanics: New Edition 2KN2ZFEYJF
| URI | m2://inv/2KN2ZFEYJF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific publications by John von Neumann#4U3M, Mathematical Foundations of Quantum Mechanics: New Edition (definition)
History
- 2026-11-02: add by m2/dev
2KN7TSFBNN 2KN7TSFBNN
| URI | m2://inv/2KN7TSFBNN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#WPFG (statement). In 9H45HQE7AZ/e1, theorem 8.4
History
- 2026-10-27: add by m2/v0.3.5
2KNBAB3E9E 2KNBAB3E9E
| URI | m2://inv/2KNBAB3E9E |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_seq-induction.ptx#conjecture-1 (conjecture). In Y91XFCEVHQ, conjecture, section 3.5.4
History
- 2026-11-01: add by m2/v0.6.13
Parallel coordinates 2KNCND42P3
| URI | m2://inv/2KNCND42P3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GQ1S, Parallel coordinates (definition)
History
- 2026-11-02: add by m2/dev
Chain-ladder method 2KNF4AJ4R3
| URI | m2://inv/2KNF4AJ4R3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chain-ladder method, Chain-ladder method (definition). Also Wikidata Q24964664
History
- 2026-11-02: add by m2/dev
2KNN5YD69F 2KNN5YD69F
| URI | m2://inv/2KNN5YD69F |
|---|---|
| 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.09154#PXLX (statement). In JYVGX17N4F/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Properties 2KNPPSS7NX
| URI | m2://inv/2KNPPSS7NX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category of matrices#80VE, Properties (statement)
History
- 2026-11-02: add by m2/dev
2KNZFP42JW 2KNZFP42JW
| URI | m2://inv/2KNZFP42JW |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.13328#6VGM (problem). In 736Q32FYCG/e1, problem 4.4
History
- 2026-10-27: add by m2/v0.3.5
Polynomial code 2KNZT7HTAJ
| URI | m2://inv/2KNZT7HTAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial code, Polynomial code (definition). Also Wikidata Q7226636
History
- 2026-11-02: add by m2/dev
General algebraic modeling system 2KP37SJWQ2
| URI | m2://inv/2KP37SJWQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General algebraic modeling system, General algebraic modeling system (definition). Also Wikidata Q646446
History
- 2026-11-02: add by m2/dev
Ritt's polynomial decomposition theorem 2KP671A273
| URI | m2://inv/2KP671A273 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial decomposition#WGIX, Ritt's polynomial decomposition theorem (unknown)
History
- 2026-11-02: add by m2/dev
Coefficient of Finesse 2KP9ACBH52
| URI | m2://inv/2KP9ACBH52 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fabry–Pérot interferometer#50CR, Coefficient of Finesse (unknown)
History
- 2026-11-02: add by m2/dev
2KPAFP60CT 2KPAFP60CT
| URI | m2://inv/2KPAFP60CT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04894#SOIK (definition). In AZZ35SDENN/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Symmetry 2KPBNFNDSC
| URI | m2://inv/2KPBNFNDSC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectangle#MSEQ, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Limit and colimit of presheaves 2KPCGWZJ6P
| URI | m2://inv/2KPCGWZJ6P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit and colimit of presheaves, Limit and colimit of presheaves (definition). Also Wikidata Q39046208
History
- 2026-11-02: add by m2/dev
2KPGGP5D5M 2KPGGP5D5M
| URI | m2://inv/2KPGGP5D5M |
|---|---|
| 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 2103.12669#0MHX (example). In ZA6XNBA90V/e1, example 2.9
History
- 2026-10-27: add by m2/v0.3.5
2KPRFMPMEN 2KPRFMPMEN
| URI | m2://inv/2KPRFMPMEN |
|---|---|
| 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 2609.20018#7CTT (statement)
History
- 2026-11-02: add by m2/v0.6.18
A bound for Zarankiewicz numbers 2KPS2GG3ZC
| URI | m2://inv/2KPS2GG3ZC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40288#8CIO, A bound for Zarankiewicz numbers (statement). In 2VZJRGSAEP/e1, corollary 5.2
History
- 2026-10-30: add by m2/v0.4.12
Jillian Kraus 2KPY7N0T7K
| URI | m2://inv/2KPY7N0T7K |
|---|---|
| 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#LJFL, Jillian Kraus (unknown)
History
- 2026-11-02: add by m2/dev
Definition 2KPZ0JMXZ6
| URI | m2://inv/2KPZ0JMXZ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential mechanism#90A2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Jensen gap for $\log\det$ 2KQDXK47RZ
| URI | m2://inv/2KQDXK47RZ |
|---|---|
| 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.12271#7AMT, Jensen gap for $\log\det$ (statement). In WGCET6KSQ7/e1, lemma 44
History
- 2026-10-27: add by m2/v0.3.6
Clifford analysis 2KQE781XV0
| URI | m2://inv/2KQE781XV0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clifford analysis, Clifford analysis (definition). Also Wikidata Q5133083
History
- 2026-11-02: add by m2/dev
2KQHC486B1 2KQHC486B1
| URI | m2://inv/2KQHC486B1 |
|---|---|
| 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.10372#66S5 (statement). In P77W283VXT/e1, lemma 9.3
History
- 2026-10-29: add by m2/v0.4.10
2KQK1C040N 2KQK1C040N
| URI | m2://inv/2KQK1C040N |
|---|---|
| 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 2401.15490#2VJG (statement). In AAY60GVERS/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
Price's Theorem 2KQQH4VMM8
| URI | m2://inv/2KQQH4VMM8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bussgang theorem#R8W4, Price's Theorem (statement)
History
- 2026-11-02: add by m2/dev
2KQYB0PFK3 2KQYB0PFK3
| URI | m2://inv/2KQYB0PFK3 |
|---|---|
| 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.29824#Z3LQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
2KR2SDM4K2 2KR2SDM4K2
| URI | m2://inv/2KR2SDM4K2 |
|---|---|
| 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 2411.11470#V8OK (statement). In G1E3KERT6K/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.6
2KR6Q8AXZB 2KR6Q8AXZB
| URI | m2://inv/2KR6Q8AXZB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#example-3 (example). In RZP28ERRZV, example, section 80.2
History
- 2026-11-01: add by m2/v0.6.13
Sharp loss of Euclidean compactness without a first-order frame 2KR7WZ1EDF
| URI | m2://inv/2KR7WZ1EDF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20215#JJ3P, Sharp loss of Euclidean compactness without a first-order frame (statement)
History
- 2026-11-02: add by m2/v0.6.18
Construction 2KR8PCZV5K
| URI | m2://inv/2KR8PCZV5K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overlapping circles grid#AXYA, Construction (definition)
History
- 2026-11-02: add by m2/dev
2KRA04BHPP 2KRA04BHPP
| URI | m2://inv/2KRA04BHPP |
|---|---|
| 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.10093#O7PR (statement). In NJDN112PFS/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.10
abc conjecture 2KRCYG28P6
| URI | m2://inv/2KRCYG28P6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#OAO2, abc conjecture (definition)
History
- 2026-11-02: add by m2/dev
2KRGYMQTTS 2KRGYMQTTS
| URI | m2://inv/2KRGYMQTTS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#WW79 (statement). In V5PVKDKGGG/e1, theorem 7.2
History
- 2026-10-28: add by m2/v0.4.2
Definition and example 2KRK7GDTFN
| URI | m2://inv/2KRK7GDTFN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Creative and productive sets#YM93, Definition and example (definition)
History
- 2026-11-02: add by m2/dev
Julius Reichelt 2KRPK70JQK
| URI | m2://inv/2KRPK70JQK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julius Reichelt, Julius Reichelt (topic). Also Wikidata Q3189867
History
- 2026-11-02: add by m2/dev
An initial approximable extension 2KRT99MVPJ
| URI | m2://inv/2KRT99MVPJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26984#VX8E, An initial approximable extension (statement)
History
- 2026-11-01: add by m2/v0.6.15
valued field 2KRW87CW1F
| URI | m2://inv/2KRW87CW1F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#A5PC, valued field (definition)
History
- 2026-11-02: add by m2/dev
Thousand Palms, California 2KS1K89P2T
| URI | m2://inv/2KS1K89P2T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#MMID, Thousand Palms, California (unknown)
History
- 2026-11-02: add by m2/dev
List of computer vision topics 2KSAJ0ENYS
| URI | m2://inv/2KSAJ0ENYS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#RFDL, List of computer vision topics (unknown)
History
- 2026-11-02: add by m2/dev
2KSB1RBMVG 2KSB1RBMVG
| URI | m2://inv/2KSB1RBMVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2610.18302#J1AT (statement). In VJTRH1S4JA/e1, lemma 4.30
History
- 2026-10-28: add by m2/v0.4.2
Heegaard splitting 2KSF47ZFTN
| URI | m2://inv/2KSF47ZFTN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometric topology topics#85YS, Heegaard splitting (definition)
History
- 2026-11-02: add by m2/dev
B, C, K, W system 2KSXV3TZRT
| URI | m2://inv/2KSXV3TZRT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia B, C, K, W system, B, C, K, W system (definition). Also Wikidata Q845546
History
- 2026-11-02: add by m2/dev
A. O. L. Atkin 2KT04YG9AG
| URI | m2://inv/2KT04YG9AG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TMD5, A. O. L. Atkin (topic)
History
- 2026-11-02: add by m2/dev
Cohomotopy group 2KT5WND88F
| URI | m2://inv/2KT5WND88F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#QWH7, Cohomotopy group (definition)
History
- 2026-11-02: add by m2/dev
Regular functions on $\CP^1$ 2KTENAPR52
| URI | m2://inv/2KTENAPR52 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/proj-var.tex#example-8, Regular functions on $\CP^1$ (example). In RZP28ERRZV, example, section 23.5
History
- 2026-11-01: add by m2/v0.6.13
2KTHDNN2Z8 2KTHDNN2Z8
| URI | m2://inv/2KTHDNN2Z8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-59 (exercise). In E59CDZA4DP, exercise, section 2.4.4
History
- 2026-11-01: add by m2/v0.6.13
Procedure 2KTHN4T9FR
| URI | m2://inv/2KTHN4T9FR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tsallis distribution#OJB1, Procedure (definition)
History
- 2026-11-02: add by m2/dev
Example 1 2KTKREAW2E
| URI | m2://inv/2KTKREAW2E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlation does not imply causation#YB7T, Example 1 (example)
History
- 2026-11-02: add by m2/dev
Sturm–Liouville equation 2KTKT538QA
| URI | m2://inv/2KTKT538QA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6401153, Sturm–Liouville equation (concept). Also MathWorld Sturm-LiouvilleEquation, ProofWiki Definition:Sturm-Liouville_Equation
History
- 2026-10-26: add by m2/dev
Matrix splitting 2KTP2FTX89
| URI | m2://inv/2KTP2FTX89 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#1K5S, Matrix splitting (definition)
History
- 2026-11-02: add by m2/dev
Raphaël Salem 2KTSAV7KGA
| URI | m2://inv/2KTSAV7KGA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YT3V, Raphaël Salem (unknown)
History
- 2026-11-02: add by m2/dev
Stirling number 2KV2KV3FT4
| URI | m2://inv/2KV2KV3FT4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#J7K4, Stirling number (definition)
- wikipedia: Wikipedia List of partition topics#N20H, Stirling number (definition)
History
- 2026-11-02: add by m2/dev
2KV4R78PN5 2KV4R78PN5
| URI | m2://inv/2KV4R78PN5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-intro.tex#exercise-8 (exercise). In E9HS8K3A52, exercise, section 6.8.5
History
- 2026-11-01: add by m2/v0.6.13
Popular belief 2KVCXN56Y9
| URI | m2://inv/2KVCXN56Y9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Popular belief, Popular belief (definition). Also Wikidata Q17075652
History
- 2026-11-02: add by m2/dev
Example 2KVGR3G1WK
| URI | m2://inv/2KVGR3G1WK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular mean#FU7X, Example (example)
History
- 2026-11-02: add by m2/dev
2KVSDKPC67 2KVSDKPC67
| URI | m2://inv/2KVSDKPC67 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23202#NXGM (statement)
History
- 2026-11-02: add by m2/v0.6.17
2KW07D58WA 2KW07D58WA
| URI | m2://inv/2KW07D58WA |
|---|---|
| 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.28597#H9A8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Direct product 2KW794A1W5
| URI | m2://inv/2KW794A1W5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statements independent of ZFC#5X5R, Direct product (definition)
History
- 2026-11-02: add by m2/dev
2KWAJTPF9S 2KWAJTPF9S
| URI | m2://inv/2KWAJTPF9S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14240#EXUR (definition). In HGQCBDDMQJ/e1, definition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Disk counting statistics with an annular wall 2KWE1VV49R
| URI | m2://inv/2KWE1VV49R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25307#SQPR, Disk counting statistics with an annular wall (statement)
History
- 2026-11-01: add by m2/v0.6.15
2KWR5KZ0PF 2KWR5KZ0PF
| URI | m2://inv/2KWR5KZ0PF |
|---|---|
| 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.01015#YCT9 (statement). In PSH07NKZ62/e1, theorem 9
History
- 2026-10-29: add by m2/v0.4.12
2KWV431ZVJ 2KWV431ZVJ
| URI | m2://inv/2KWV431ZVJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26455#295F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example 2KWWVA8YVE
| URI | m2://inv/2KWWVA8YVE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transfer principle#9D3Z, Example (example)
History
- 2026-11-02: add by m2/dev
Matveev 2KWX26BRYY
| URI | m2://inv/2KWX26BRYY |
|---|---|
| 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.15770#95VL, Matveev (statement). In DXFR0BNE47/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
structure (model theory) 2KX8D6HTZA
| URI | m2://inv/2KX8D6HTZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 08Axx |
| Sources | 2 |
| Outcome | open |
| Node | Structure 983GZBQYT4 |
Mentions
- wikidata: Wikidata Q1851710, structure (model theory) (unknown). Also MathWorld Structure, nLab structure in model theory
- wikidata: Wikidata Q205464, algebraic structure (topic). Also EoM Structure, MathWorld Structure, nLab algebraic structure
- wikipedia: Wikipedia Algebraic structure, Algebraic structure (definition). Also Wikidata Q205464
- wikipedia: Wikipedia Structure (mathematical logic), Structure (definition). Also Wikidata Q1851710
History
- 2026-10-26: add by m2/dev
2KXDEFYN20 2KXDEFYN20
| URI | m2://inv/2KXDEFYN20 |
|---|---|
| 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.11336#GA07 (statement). In X1R1GDAJ0Y/e1, corollary 2.10
History
- 2026-10-28: add by m2/v0.4.3
2KXFM5Y6N3 2KXFM5Y6N3
| URI | m2://inv/2KXFM5Y6N3 |
|---|---|
| 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.20097#IDW5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
2KXGDBT08M 2KXGDBT08M
| URI | m2://inv/2KXGDBT08M |
|---|---|
| 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.09735#153P (statement). In C518KB563H/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
MD-compliant padding 2KXNYWK2FS
| URI | m2://inv/2KXNYWK2FS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Merkle–Damgård construction#4TLF, MD-compliant padding (unknown)
History
- 2026-11-02: add by m2/dev
Polar form of a complex number 2KXR8P11CN
| URI | m2://inv/2KXR8P11CN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polar coordinate system#LB1D, Polar form of a complex number (unknown)
History
- 2026-11-02: add by m2/dev
Hexagonal antiprism 2KXT60MWCB
| URI | m2://inv/2KXT60MWCB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexagonal antiprism, Hexagonal antiprism (definition). Also Wikidata Q2853341
History
- 2026-11-02: add by m2/dev
Abelian sandpile model 2KY0TV0G36
| URI | m2://inv/2KY0TV0G36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abelian sandpile model, Abelian sandpile model (definition). Also Wikidata Q4666685
History
- 2026-11-02: add by m2/dev
LPP invariance 2KY61MCGMZ
| URI | m2://inv/2KY61MCGMZ |
|---|---|
| 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.08135#3LEA, LPP invariance (statement). In D4PE6R0BT3/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
2KYFCJJ1M4 2KYFCJJ1M4
| URI | m2://inv/2KYFCJJ1M4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2609.28780#XQD8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hyperfinite type II factor 2KYR5MBWX9
| URI | m2://inv/2KYR5MBWX9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperfinite type II factor, Hyperfinite type II factor (definition). Also Wikidata Q5958003
History
- 2026-11-02: add by m2/dev
2KYVYPE12X 2KYVYPE12X
| URI | m2://inv/2KYVYPE12X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16362#EQFY (statement). In 4NJ4T3DEQB/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.2
Daniel Hershkowitz 2KZ03X8B7Y
| URI | m2://inv/2KZ03X8B7Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#X94H, Daniel Hershkowitz (topic)
History
- 2026-11-02: add by m2/dev
Method of Fluxions 2KZA5CPDHD
| URI | m2://inv/2KZA5CPDHD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#MHZ3, Method of Fluxions (definition)
History
- 2026-11-02: add by m2/dev
2KZJMN1H4Z 2KZJMN1H4Z
| URI | m2://inv/2KZJMN1H4Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06038#ETQ7 (statement). In 4TJGTZWJVK/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
Martha Kirkpatrick 2KZQZJ2JK5
| URI | m2://inv/2KZQZJ2JK5 |
|---|---|
| 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#6TZ6, Martha Kirkpatrick (unknown)
History
- 2026-11-02: add by m2/dev
Isabelle Gallagher 2KZS8DDJQS
| URI | m2://inv/2KZS8DDJQS |
|---|---|
| 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#1A84, Isabelle Gallagher (topic)
History
- 2026-11-02: add by m2/dev
Serge Belamant 2KZSQ4DWMZ
| URI | m2://inv/2KZSQ4DWMZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Serge Belamant, Serge Belamant (topic). Also Wikidata Q131573627
History
- 2026-11-02: add by m2/dev
Fundamental --- \textsc{Ctx-Ext 2KZXCY3EF5
| URI | m2://inv/2KZXCY3EF5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#06W8, Fundamental --- \textsc{Ctx-Ext (statement). In CPYWHRTPKC/e1, lemma 6.51
History
- 2026-10-27: add by m2/v0.4.2
2KZY5MD2YN 2KZY5MD2YN
| URI | m2://inv/2KZY5MD2YN |
|---|---|
| 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.13137#8KEI (statement). In NH77XVB03X/e1, corollary 2.4
History
- 2026-10-28: add by m2/v0.4.2
Nicoteles of Cyrene 2KZY9M2GZK
| URI | m2://inv/2KZY9M2GZK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nicoteles of Cyrene, Nicoteles of Cyrene (topic). Also Wikidata Q6962751
History
- 2026-11-02: add by m2/dev