Inventory rows 5N
The cards of the rows of the inventory whose ids start with 5N. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
5N02WDZQ2Z 5N02WDZQ2Z
| URI | m2://inv/5N02WDZQ2Z |
|---|---|
| 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.12846#HRH3 (statement). In GG9P59PJS2/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
5N056H6C4Z 5N056H6C4Z
| URI | m2://inv/5N056H6C4Z |
|---|---|
| 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.37106#RLHU (statement). In XNK04XFP2C/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
5N05HT1GXJ 5N05HT1GXJ
| URI | m2://inv/5N05HT1GXJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08484#EZBJ (statement). In C2HJ1CCJ0S/e1, lemma 10
History
- 2026-10-29: add by m2/v0.4.10
5N0GV4B8ND 5N0GV4B8ND
| URI | m2://inv/5N0GV4B8ND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#C250 (statement)
History
- 2026-11-01: add by m2/v0.6.15
5N0H40WKYZ 5N0H40WKYZ
| URI | m2://inv/5N0H40WKYZ |
|---|---|
| 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.03437#RUHJ (statement). In EDTV1EDV7M/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.12
Hyers–Ulam–Rassias stability 5N0K7XX2SK
| URI | m2://inv/5N0K7XX2SK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyers–Ulam–Rassias stability, Hyers–Ulam–Rassias stability (definition). Also Wikidata Q5955764
History
- 2026-11-02: add by m2/dev
5N0QPX4D19 5N0QPX4D19
| URI | m2://inv/5N0QPX4D19 |
|---|---|
| Kind | conjecture |
| 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.22964#BR51 (conjecture)
History
- 2026-11-02: add by m2/v0.6.17
Rubik's Cube group 5N0TGAPTMC
| URI | m2://inv/5N0TGAPTMC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#QZCH, Rubik's Cube group (definition)
History
- 2026-11-02: add by m2/dev
5N10FNXY4B 5N10FNXY4B
| URI | m2://inv/5N10FNXY4B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21540#7N2J (statement)
History
- 2026-11-02: add by m2/v0.6.18
Smith 5N14N3HKME
| URI | m2://inv/5N14N3HKME |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#LY1M, Smith (definition)
History
- 2026-11-02: add by m2/dev
5N1K5J449J 5N1K5J449J
| URI | m2://inv/5N1K5J449J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#LX1N (statement). In 13GSWBXPCM/e1, lemma A.4
History
- 2026-10-27: add by m2/v0.3.5
5N1NFMFHDF 5N1NFMFHDF
| URI | m2://inv/5N1NFMFHDF |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nowhere-zero flow#VGVR (problem)
History
- 2026-11-02: add by m2/dev
Principle 5N22QX14DF
| URI | m2://inv/5N22QX14DF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical hypothesis test#5M9O, Principle (statement)
History
- 2026-11-02: add by m2/dev
Definitions 5N27KDXEKJ
| URI | m2://inv/5N27KDXEKJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edge coloring#34P0, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Formal definitions 5N29KHH4DV
| URI | m2://inv/5N29KHH4DV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heesch's problem#7RJ9, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
Unification algorithms 5N2B22XC8N
| URI | m2://inv/5N2B22XC8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unification (computer science)#6KQY, Unification algorithms (definition)
History
- 2026-11-02: add by m2/dev
Distributed.net 5N2ESATSBE
| URI | m2://inv/5N2ESATSBE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributed.net, Distributed.net (definition). Also Wikidata Q119787
History
- 2026-11-02: add by m2/dev
5N2GW1PAKN 5N2GW1PAKN
| URI | m2://inv/5N2GW1PAKN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_exercises.ptx#exercise-2 (exercise). In QKM9DD2H56, exercise, section 8
History
- 2026-11-01: add by m2/v0.6.13
Scott Shenker 5N2N7A96PB
| URI | m2://inv/5N2N7A96PB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#H1QZ, Scott Shenker (unknown)
History
- 2026-11-02: add by m2/dev
the fundamental theorem for surfaces in $H_1$ 5N2S7PR11C
| URI | m2://inv/5N2S7PR11C |
|---|---|
| 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 1509.00950#KAWN, the fundamental theorem for surfaces in $H_1$ (statement). In MDZFW5GACV/e1, theorem 1.10
History
- 2026-10-27: add by m2/v0.3.5
Nikhil Srivastava 5N30SC09AZ
| URI | m2://inv/5N30SC09AZ |
|---|---|
| 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#OW3W, Nikhil Srivastava (topic)
History
- 2026-11-02: add by m2/dev
Inference--execution separation 5N38GYTCR2
| URI | m2://inv/5N38GYTCR2 |
|---|---|
| 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.15824#CFE6, Inference--execution separation (statement). In GDZXR87FJV/e1, statement 1
History
- 2026-10-28: add by m2/v0.4.2
5N3KST09N7 5N3KST09N7
| URI | m2://inv/5N3KST09N7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05320#NWUK (statement). In MVXZWHKEX8/e1, theorem C
History
- 2026-10-29: add by m2/v0.4.10
mebibyte 5N3KWAKSY8
| URI | m2://inv/5N3KWAKSY8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q79758, mebibyte (unknown). Also MathWorld Mebibyte
History
- 2026-10-26: add by m2/dev
5N3MEEK9K6 5N3MEEK9K6
| URI | m2://inv/5N3MEEK9K6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27635#HRZ6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Keller's theorem for weak tiling 5N3MJ3M11K
| URI | m2://inv/5N3MJ3M11K |
|---|---|
| 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.34852#VOHX, Keller's theorem for weak tiling (statement). In TZXEMCBK5V/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Tail bound 5N3PFNT4C1
| URI | m2://inv/5N3PFNT4C1 |
|---|---|
| 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#QTPB, Tail bound (statement). In R515NECVME/e1, lemma 9.1
History
- 2026-10-30: add by m2/v0.4.12
$\delta (\varphi \ast V)$ bounded 5N3QEXDJ1X
| URI | m2://inv/5N3QEXDJ1X |
|---|---|
| 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#BYQ7, $\delta (\varphi \ast V)$ bounded (statement)
History
- 2026-11-01: add by m2/v0.6.15
5N3TDZXCPM 5N3TDZXCPM
| URI | m2://inv/5N3TDZXCPM |
|---|---|
| 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 2603.29838#5W23 (statement). In KP0X1RKKKB/e1, theorem A
History
- 2026-10-27: add by m2/v0.4.0
Paul Mahlo 5N3TQNYCXS
| URI | m2://inv/5N3TQNYCXS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#8HQF, Paul Mahlo (topic)
History
- 2026-11-02: add by m2/dev
5N3VYE180B 5N3VYE180B
| URI | m2://inv/5N3VYE180B |
|---|---|
| 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.05708#D82T (statement). In 3BJPFGJNSS/e1, theorem 8.2
History
- 2026-10-29: add by m2/v0.4.10
5N3W1YP8BM 5N3W1YP8BM
| URI | m2://inv/5N3W1YP8BM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#DWDA (definition). In M0SQY5EZN5/e1, definition 2.6.1
History
- 2026-10-27: add by m2/v0.3.5
Fat Chance: Probability from 0 to 1 5N3WZ93VGN
| URI | m2://inv/5N3WZ93VGN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fat Chance: Probability from 0 to 1, Fat Chance: Probability from 0 to 1 (definition). Also Wikidata Q96377824
History
- 2026-11-02: add by m2/dev
5N3X7KGW00 5N3X7KGW00
| URI | m2://inv/5N3X7KGW00 |
|---|---|
| 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 0910.5574#FSJQ (statement). In 2TJRBRKYAY/e1, lemma 9.1
History
- 2026-10-27: add by m2/v0.3.5
Madeleine Chaumont 5N41B1T7NT
| URI | m2://inv/5N41B1T7NT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Madeleine Chaumont, Madeleine Chaumont (topic). Also Wikidata Q51955091
History
- 2026-11-02: add by m2/dev
multigraph 5N4E49HKCC
| URI | m2://inv/5N4E49HKCC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.2/multigraph, multigraph (concept). In QKM9DD2H56, index, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
5N4EQMNW4S 5N4EQMNW4S
| URI | m2://inv/5N4EQMNW4S |
|---|---|
| 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#90UR (statement). In CGA36VE1C5/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.6
5N4HNW9ASJ 5N4HNW9ASJ
| URI | m2://inv/5N4HNW9ASJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#R56P (statement). In RTE2C0PH4S/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.2
5N4JG3Y9GW 5N4JG3Y9GW
| URI | m2://inv/5N4JG3Y9GW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.07461#6J4I (statement). In GAG532VMPF/e1, proposition 1.1.6
History
- 2026-10-27: add by m2/v0.3.5
Beta-dual space 5N4KNC42Z6
| URI | m2://inv/5N4KNC42Z6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#THA7, Beta-dual space (definition)
History
- 2026-11-02: add by m2/dev
Definition 5N4SWK3APQ
| URI | m2://inv/5N4SWK3APQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Product topology#5ZCB, Definition (definition)
History
- 2026-11-02: add by m2/dev
Lorenzo Mascheroni 5N4X23P3WC
| URI | m2://inv/5N4X23P3WC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#873N, Lorenzo Mascheroni (topic)
History
- 2026-11-02: add by m2/dev
Low-rank approximation 5N4XESG7D5
| URI | m2://inv/5N4XESG7D5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#1707, Low-rank approximation (definition)
History
- 2026-11-02: add by m2/dev
William of Ockham 5N4XV71RMV
| URI | m2://inv/5N4XV71RMV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William of Ockham, William of Ockham (topic). Also Wikidata Q43936
History
- 2026-11-02: add by m2/dev
Model-error bound 5N4YM9V9M0
| URI | m2://inv/5N4YM9V9M0 |
|---|---|
| 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.40077#POT5, Model-error bound (statement). In F0HMNYB8WB/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
5N52Y73GHR 5N52Y73GHR
| URI | m2://inv/5N52Y73GHR |
|---|---|
| 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#N4CQ (statement). In VSHAQTB2CA/e1, proposition B.1
History
- 2026-10-30: add by m2/v0.4.12
Cryptograph 5N59JTMN49
| URI | m2://inv/5N59JTMN49 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptograph, Cryptograph (definition). Also Wikidata Q97357929
History
- 2026-11-02: add by m2/dev
5N5D8TNJSG 5N5D8TNJSG
| URI | m2://inv/5N5D8TNJSG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20894#NHZ6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Cost-weighted entropy 5N5HWN5K3N
| URI | m2://inv/5N5HWN5K3N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.37368#6CA9, Cost-weighted entropy (statement). In FRMCKEGVJZ/e1, lemma 13
History
- 2026-10-30: add by m2/v0.4.12
5N5R80YBQR 5N5R80YBQR
| URI | m2://inv/5N5R80YBQR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21080#ZRDV (statement). In DGE917KQSQ/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.4.2
Michael Lin 5N5T2K22C8
| URI | m2://inv/5N5T2K22C8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#H6OR, Michael Lin (topic)
History
- 2026-11-02: add by m2/dev
5N5X3BPN8Q 5N5X3BPN8Q
| URI | m2://inv/5N5X3BPN8Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:precatset (example). In N54F33XE07, eg, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Distributed minimum spanning tree 5N5XBXPZYY
| URI | m2://inv/5N5XBXPZYY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributed minimum spanning tree, Distributed minimum spanning tree (definition). Also Wikidata Q5283163
History
- 2026-11-02: add by m2/dev
Butler, Margaret K. 5N5YM8HXBJ
| URI | m2://inv/5N5YM8HXBJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#YPQU, Butler, Margaret K. (topic)
History
- 2026-11-02: add by m2/dev
5N64RA69PM 5N64RA69PM
| URI | m2://inv/5N64RA69PM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#JKAD (definition)
History
- 2026-11-02: add by m2/v0.6.18
Example (block decomposition) 5N66FKRSHH
| URI | m2://inv/5N66FKRSHH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random coordinate descent#7HX8, Example (block decomposition) (example)
History
- 2026-11-02: add by m2/dev
Coble variety 5N67PZGPRT
| URI | m2://inv/5N67PZGPRT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coble variety, Coble variety (definition). Also Wikidata Q5138927
History
- 2026-11-02: add by m2/dev
Definition 5N6A8DFGD6
| URI | m2://inv/5N6A8DFGD6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentiable stack#SXDY, Definition (definition)
History
- 2026-11-02: add by m2/dev
harder 5N6FJ69P1H
| URI | m2://inv/5N6FJ69P1H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-8, harder (exercise). In E9HS8K3A52, exercise, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
5N6KA8XVVS 5N6KA8XVVS
| URI | m2://inv/5N6KA8XVVS |
|---|---|
| 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/0411039#53GF (statement). In ZTBDXSKFFW/e1, lemma 7.2
History
- 2026-10-27: add by m2/v0.3.5
5N6RB4A2HA 5N6RB4A2HA
| URI | m2://inv/5N6RB4A2HA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-prop.ptx#exercise-6 (exercise). In Y91XFCEVHQ, exercise, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Jeffrey A. Harvey 5N6SXA4NZV
| URI | m2://inv/5N6SXA4NZV |
|---|---|
| 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 Q6175805, Jeffrey A. Harvey (unknown). Also nLab Jeffrey Harvey
History
- 2026-10-26: add by m2/dev
5N71XSPGSE 5N71XSPGSE
| URI | m2://inv/5N71XSPGSE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06081#9FRE (statement). In 7Z3KQRFEVG/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Amie Wilkinson 5N76AHV1JB
| URI | m2://inv/5N76AHV1JB |
|---|---|
| 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#P64S, Amie Wilkinson (topic)
History
- 2026-11-02: add by m2/dev
Philipp Ludwig von Seidel 5N7AW20EBA
| URI | m2://inv/5N7AW20EBA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#1LTT, Philipp Ludwig von Seidel (unknown)
History
- 2026-11-02: add by m2/dev
5N7CMW1TKZ 5N7CMW1TKZ
| URI | m2://inv/5N7CMW1TKZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#7LVK (definition). In M0SQY5EZN5/e1, definition 2.1.15
History
- 2026-10-27: add by m2/v0.3.5
Profile entropy of forward magic 5N7FA0ZK9C
| URI | m2://inv/5N7FA0ZK9C |
|---|---|
| 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.02166#PPBL, Profile entropy of forward magic (statement). In R6RF3P6D5A/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.12
Quantified boolean formula 5N7G8THVD1
| URI | m2://inv/5N7G8THVD1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#LIZE, Quantified boolean formula (statement)
History
- 2026-11-02: add by m2/dev
Structure of $S(k)$ 5N7N7BX505
| URI | m2://inv/5N7N7BX505 |
|---|---|
| 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.07341#G4J6, Structure of $S(k)$ (statement). In 6KFS1X0MZR/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
Alfred Loewy 5N7SKD0EKH
| URI | m2://inv/5N7SKD0EKH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfred Loewy, Alfred Loewy (topic). Also Wikidata Q95665
History
- 2026-11-02: add by m2/dev
5N7W9DS7JS 5N7W9DS7JS
| URI | m2://inv/5N7W9DS7JS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35577#W586 (definition). In 4F8QRV05BV/e1, definition 2.7
History
- 2026-10-30: add by m2/v0.4.12
5N7WRA1CDM 5N7WRA1CDM
| URI | m2://inv/5N7WRA1CDM |
|---|---|
| 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.33219#FJI8 (statement). In ETTQWMJZXJ/e1, theorem 6
History
- 2026-10-30: add by m2/v0.4.12
5N7YFT8425 5N7YFT8425
| URI | m2://inv/5N7YFT8425 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.21611#O5GO (statement)
History
- 2026-11-02: add by m2/v0.6.18
5N872SPJSV 5N872SPJSV
| URI | m2://inv/5N872SPJSV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2609.32535#RY6P (statement). In WF27F8CKD2/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
Symmetry 5N8B9QV94N
| URI | m2://inv/5N8B9QV94N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic rational functions#BSNE, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Distance-regular graph 5N8CXHPBF3
| URI | m2://inv/5N8CXHPBF3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distance-regular graph, Distance-regular graph (definition). Also Wikidata Q3115556
History
- 2026-11-02: add by m2/dev
Désiré André 5N8KF0N2EQ
| URI | m2://inv/5N8KF0N2EQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Désiré André, Désiré André (topic). Also Wikidata Q5320260
History
- 2026-11-02: add by m2/dev
Claim 5N8M2J0EXY
| URI | m2://inv/5N8M2J0EXY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Śleszyński–Pringsheim theorem#6PCX, Claim (statement)
History
- 2026-11-02: add by m2/dev
*{Lemmata 2.1, 2.2, 2.3, 2.4, 2.5 5N8N8NEE8X
| URI | m2://inv/5N8N8NEE8X |
|---|---|
| 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.30575#UP6G, *{Lemmata 2.1, 2.2, 2.3, 2.4, 2.5 (statement). In 6WFFY0QM27/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
5N8VN87V98 5N8VN87V98
| URI | m2://inv/5N8VN87V98 |
|---|---|
| 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 2608.23797#4GTC (statement). In PZCA01JXVR/e1, theorem 9.2
History
- 2026-10-27: add by m2/v0.3.5
5N8XZHQGG4 5N8XZHQGG4
| URI | m2://inv/5N8XZHQGG4 |
|---|---|
| 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.06206#2KAQ (statement). In A7611PTXVQ/e1, theorem 4.4
History
- 2026-10-29: add by m2/v0.4.10
Sethi model 5N8YBDT03N
| URI | m2://inv/5N8YBDT03N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sethi model, Sethi model (definition). Also Wikidata Q7456650
History
- 2026-11-02: add by m2/dev
Intrinsic metric 5N8ZADACYM
| URI | m2://inv/5N8ZADACYM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intrinsic metric, Intrinsic metric (definition). Also Wikidata Q3855712
History
- 2026-11-02: add by m2/dev
5N922DJQQH 5N922DJQQH
| URI | m2://inv/5N922DJQQH |
|---|---|
| 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#45KV (statement). In V7SN19J84T/e1, lemma 6.8
History
- 2026-10-28: add by m2/v0.4.2
5N9C7Y06WR 5N9C7Y06WR
| URI | m2://inv/5N9C7Y06WR |
|---|---|
| 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 2609.27360#LDFS (statement)
History
- 2026-11-01: add by m2/v0.6.15
5N9HF70SPK 5N9HF70SPK
| URI | m2://inv/5N9HF70SPK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08226#NBRI (statement). In V6EPE8XHAD/e1, lemma 2.10
History
- 2026-10-29: add by m2/v0.4.10
Annealed sticky-elastic switching semigroup 5N9JPH5S9A
| URI | m2://inv/5N9JPH5S9A |
|---|---|
| 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.07380#BCFU, Annealed sticky-elastic switching semigroup (statement). In XM2CDRKSGE/e1, theorem 5.4
History
- 2026-10-29: add by m2/v0.4.10
Cramér's conjecture 5N9XVS8VKG
| URI | m2://inv/5N9XVS8VKG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brocard's conjecture#3XQY, Cramér's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Uniform nested ensemble 5NAAEQMPKA
| URI | m2://inv/5NAAEQMPKA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#TIF7, Uniform nested ensemble (definition). In 7MVPNFPRKB/e1, definition 7.1
History
- 2026-10-30: add by m2/v0.4.12
5NAF7F5FJ3 5NAF7F5FJ3
| URI | m2://inv/5NAF7F5FJ3 |
|---|---|
| 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 2404.18690#VTHF (statement). In MDCJJJRQ2X/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.3.5
David Berenstein 5NAHXW5HG9
| URI | m2://inv/5NAHXW5HG9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#34FR, David Berenstein (unknown)
History
- 2026-11-02: add by m2/dev
L. Gustave du Pasquier 5NANEQXGW1
| URI | m2://inv/5NANEQXGW1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L. Gustave du Pasquier, L. Gustave du Pasquier (topic). Also Wikidata Q42329089
History
- 2026-11-02: add by m2/dev
Elimination theory 5NAT9D3MEY
| URI | m2://inv/5NAT9D3MEY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#5AK7, Elimination theory (definition)
History
- 2026-11-02: add by m2/dev
5NB13AW49B 5NB13AW49B
| URI | m2://inv/5NB13AW49B |
|---|---|
| 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.33926#BZNV (statement). In 1XF3T5HXNV/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
difference 5NB1BQ8JYY
| URI | m2://inv/5NB1BQ8JYY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q29896155, difference (unknown). Also MathWorld Difference
History
- 2026-10-26: add by m2/dev
5NB5XW87GQ 5NB5XW87GQ
| URI | m2://inv/5NB5XW87GQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#lemma:ift (statement). In E59CDZA4DP, lemma, section 3.4.1
History
- 2026-11-01: add by m2/v0.6.13
Cocycle convention 5NB604BE1V
| URI | m2://inv/5NB604BE1V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04189#AE04, Cocycle convention (statement). In 1KRZ5ACTKE/e1, lemma 6.5
History
- 2026-10-29: add by m2/v0.4.12
5NB7H9KWKE 5NB7H9KWKE
| URI | m2://inv/5NB7H9KWKE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21931#V4IU (statement)
History
- 2026-11-02: add by m2/v0.6.17
5NBJBGATDB 5NBJBGATDB
| URI | m2://inv/5NBJBGATDB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/cardinals/classing.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 70.2
History
- 2026-11-01: add by m2/v0.6.13
5NBPX0M7YD 5NBPX0M7YD
| URI | m2://inv/5NBPX0M7YD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#DK21 (statement). In E7W2HDNEKJ/e1, lemma 7.16
History
- 2026-10-30: add by m2/v0.4.12
Analyst's traveling salesman theorem 5NBWB6MVN4
| URI | m2://inv/5NBWB6MVN4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#HV3N, Analyst's traveling salesman theorem (statement)
History
- 2026-11-02: add by m2/dev
5NC9RAHKN4 5NC9RAHKN4
| URI | m2://inv/5NC9RAHKN4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-303 (exercise). In VNMV985MXX, exercise, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
5NCBKZ8EKK 5NCBKZ8EKK
| URI | m2://inv/5NCBKZ8EKK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35632#93I2 (statement). In Q74G3BVZAQ/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.5
5NCFR8810G 5NCFR8810G
| URI | m2://inv/5NCFR8810G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.01411#056R (statement). In SD28S3K7BT/e1, corollary 41
History
- 2026-10-29: add by m2/v0.4.12
5NCP3YQ90Q 5NCP3YQ90Q
| URI | m2://inv/5NCP3YQ90Q |
|---|---|
| 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.35421#631C (statement). In KE8B8KMDJJ/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Examples 5NCS7ZDSTV
| URI | m2://inv/5NCS7ZDSTV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherent topology#T1VW, Examples (example)
History
- 2026-11-02: add by m2/dev
Proposition 19 5NCSH7XQYQ
| URI | m2://inv/5NCSH7XQYQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclid's lemma#M0BU, Proposition 19 (statement)
History
- 2026-11-02: add by m2/dev
5NCX52XG5B 5NCX52XG5B
| URI | m2://inv/5NCX52XG5B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22560#6R6M (statement)
History
- 2026-11-02: add by m2/v0.6.17
Indirect recursion 5ND4CFGWE3
| URI | m2://inv/5ND4CFGWE3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recursion (computer science)#4YR9, Indirect recursion (unknown)
History
- 2026-11-02: add by m2/dev
Fundamental principles 5ND6QXJR88
| URI | m2://inv/5ND6QXJR88 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermal radiation#9CL6, Fundamental principles (statement)
History
- 2026-11-02: add by m2/dev
Young's convolution inequality 5ND9BRT9VV
| URI | m2://inv/5ND9BRT9VV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#OTZ6, Young's convolution inequality (statement)
History
- 2026-11-02: add by m2/dev
Iterable cardinal 5NDD3P2N6S
| URI | m2://inv/5NDD3P2N6S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of large cardinal properties#PU9T, Iterable cardinal (definition)
History
- 2026-11-02: add by m2/dev
David Wolpert 5NDH9X41KQ
| URI | m2://inv/5NDH9X41KQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Wolpert, David Wolpert (topic). Also Wikidata Q18154286
History
- 2026-11-02: add by m2/dev
5NDT4DT12Y 5NDT4DT12Y
| URI | m2://inv/5NDT4DT12Y |
|---|---|
| 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.24353#S168 (statement)
History
- 2026-11-01: add by m2/v0.6.15
5NDW4FPF2M 5NDW4FPF2M
| URI | m2://inv/5NDW4FPF2M |
|---|---|
| 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 0910.5574#B2X2 (statement). In 2TJRBRKYAY/e1, theorem 11.5
History
- 2026-10-27: add by m2/v0.3.5
5NDW8E6M61 5NDW8E6M61
| URI | m2://inv/5NDW8E6M61 |
|---|---|
| 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#RYI7 (statement). In JWNYJVH8XG/e1, lemma 2.25
History
- 2026-10-29: add by m2/v0.4.10
Ten Spot, Kentucky 5NE1D7GY04
| URI | m2://inv/5NE1D7GY04 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#7IUJ, Ten Spot, Kentucky (unknown)
History
- 2026-11-02: add by m2/dev
Ashtekar variables 5NE2RCC39S
| URI | m2://inv/5NE2RCC39S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ashtekar variables, Ashtekar variables (definition). Also Wikidata Q706376
History
- 2026-11-02: add by m2/dev
Playfair cycle 5NE5SR8CJM
| URI | m2://inv/5NE5SR8CJM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Playfair#1RUX, Playfair cycle (unknown)
History
- 2026-11-02: add by m2/dev
Small set expansion hypothesis 5NEA3EGCHQ
| URI | m2://inv/5NEA3EGCHQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Small set expansion hypothesis, Small set expansion hypothesis (statement). Also Wikidata Q117322981
History
- 2026-11-02: add by m2/dev
Generation complexity 5NEF0HQMRH
| URI | m2://inv/5NEF0HQMRH |
|---|---|
| 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.00614#9EQJ, Generation complexity (statement). In NC5Z77F6H4/e1, corollary 3.2
History
- 2026-10-30: add by m2/v0.4.12
5NEGFD4BDX 5NEGFD4BDX
| URI | m2://inv/5NEGFD4BDX |
|---|---|
| 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.10086#JLZY (statement). In NP9X9CAK19/e1, lemma 7.3
History
- 2026-10-29: add by m2/v0.4.10
5NEGR6A5H2 5NEGR6A5H2
| URI | m2://inv/5NEGR6A5H2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dets.tex#example-1 (example). In RZP28ERRZV, example, section 56.1
History
- 2026-11-01: add by m2/v0.6.13
Preserving cardinals $\iff$ preserving regular cardinals 5NEKXZBM2A
| URI | m2://inv/5NEKXZBM2A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/CH.tex#proposition-1, Preserving cardinals $\iff$ preserving regular cardinals (statement). In RZP28ERRZV, proposition, section 88.3
History
- 2026-11-01: add by m2/v0.6.13
$N=8$, $m=10$ 5NEMV11PBB
| URI | m2://inv/5NEMV11PBB |
|---|---|
| Kind | example |
| 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.36088#27OJ, $N=8$, $m=10$ (example). In QJD3MZMJHW/e1, example 6.6
History
- 2026-10-30: add by m2/v0.4.12
5NEPA4HGY7 5NEPA4HGY7
| URI | m2://inv/5NEPA4HGY7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-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 2504.00596#AT9Z (statement). In F8RC6AENB0/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
Reflection formula 5NEXPWN0MB
| URI | m2://inv/5NEXPWN0MB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barnes G-function#FFKF, Reflection formula (statement)
History
- 2026-11-02: add by m2/dev
5NF3ACHT4V 5NF3ACHT4V
| URI | m2://inv/5NF3ACHT4V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 2609.03601#G2Z9 (statement). In F7TDYCHCSE/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
Akio Hattori 5NFCMYWZC0
| URI | m2://inv/5NFCMYWZC0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Akio Hattori, Akio Hattori (topic). Also Wikidata Q4701096
History
- 2026-11-02: add by m2/dev
Laeh Glenn 5NFEC45NFW
| URI | m2://inv/5NFEC45NFW |
|---|---|
| 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#OBUG, Laeh Glenn (unknown)
History
- 2026-11-02: add by m2/dev
Octavio Cordero Palacios 5NFEKBPMVB
| URI | m2://inv/5NFEKBPMVB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Octavio Cordero Palacios (writer), Octavio Cordero Palacios (topic). Also Wikidata Q16030035
History
- 2026-11-02: add by m2/dev
5NFFSRAYR6 5NFFSRAYR6
| URI | m2://inv/5NFFSRAYR6 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26114#BMT0 (problem)
History
- 2026-11-01: add by m2/v0.6.15
5NFWV4T6CS 5NFWV4T6CS
| URI | m2://inv/5NFWV4T6CS |
|---|---|
| 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.23332#6T1P (statement)
History
- 2026-11-02: add by m2/v0.6.17
parallelizable 5NFX5AD8K9
| URI | m2://inv/5NFX5AD8K9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#8TNU, parallelizable (definition)
History
- 2026-11-02: add by m2/dev
The even-$d=3$ unitary case: closed forms 5NFXC3G1J4
| URI | m2://inv/5NFXC3G1J4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#ATUD, The even-$d=3$ unitary case: closed forms (statement). In 9NVKKW8HDH/e1, proposition 2.40
History
- 2026-10-28: add by m2/v0.4.2
Reduction to the fundamental matrix 5NFZFDDAFQ
| URI | m2://inv/5NFZFDDAFQ |
|---|---|
| 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.24314#0483, Reduction to the fundamental matrix (statement)
History
- 2026-11-01: add by m2/v0.6.15
Davis-Knuth dragon 5NG5X8DPNX
| URI | m2://inv/5NG5X8DPNX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dragon curve#585L, Davis-Knuth dragon (unknown)
History
- 2026-11-02: add by m2/dev
Minkowski–Hlawka theorem 5NG7Z3S1Z4
| URI | m2://inv/5NG7Z3S1Z4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#JE3L, Minkowski–Hlawka theorem (statement)
History
- 2026-11-02: add by m2/dev
5NGA8SCNJV 5NGA8SCNJV
| URI | m2://inv/5NGA8SCNJV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/completeness/complete-consistent-sets.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 50.15
History
- 2026-11-01: add by m2/v0.6.13
Constructions 5NGGZYNQ9Z
| URI | m2://inv/5NGGZYNQ9Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory of finite groups#A6PJ, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Generalizations 5NGJR2VMYK
| URI | m2://inv/5NGJR2VMYK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy product#H4VW, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Profile regularity 5NGT8N9V84
| URI | m2://inv/5NGT8N9V84 |
|---|---|
| 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.21454#UG37, Profile regularity (statement). In ZP2RJFZ3V2/e1, theorem 4.10
History
- 2026-10-27: add by m2/v0.4.2
Andrica's conjecture 5NGZZD02VW
| URI | m2://inv/5NGZZD02VW |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1548146, Andrica's conjecture (conjecture). Also MathWorld AndricasConjecture
- wikipedia: Wikipedia Andrica's conjecture, Andrica's conjecture (conjecture). Also Wikidata Q1548146
History
- 2026-10-26: add by m2/dev
Thomas Edison 5NH22BRD63
| URI | m2://inv/5NH22BRD63 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#DRX4, Thomas Edison (unknown)
History
- 2026-11-02: add by m2/dev
Formulation 5NH486M7A0
| URI | m2://inv/5NH486M7A0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev–Markov–Stieltjes inequalities#O5MA, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Independence of the chosen relators 5NHCZWYNQP
| URI | m2://inv/5NHCZWYNQP |
|---|---|
| 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.21534#4WOF, Independence of the chosen relators (statement)
History
- 2026-11-02: add by m2/v0.6.18
5NHGEZDK9M 5NHGEZDK9M
| URI | m2://inv/5NHGEZDK9M |
|---|---|
| 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.35361#I35Z (statement). In E4PGMSEQTS/e1, lemma A.1
History
- 2026-10-30: add by m2/v0.4.12
5NHGKJYMZ5 5NHGKJYMZ5
| URI | m2://inv/5NHGKJYMZ5 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-82 (exercise). In E59CDZA4DP, exercise, section 10.6.6
History
- 2026-11-01: add by m2/v0.6.13
5NHH165H9R 5NHH165H9R
| URI | m2://inv/5NHH165H9R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25063#0TOJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
monkey saddle 5NHSFRXG7P
| URI | m2://inv/5NHSFRXG7P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q382375, monkey saddle (unknown). Also MathWorld MonkeySaddle
- wikipedia: Wikipedia Monkey saddle, Monkey saddle (definition). Also Wikidata Q382375
History
- 2026-10-26: add by m2/dev
Terminology 5NHWA20TDR
| URI | m2://inv/5NHWA20TDR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum chromodynamics#C4WU, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Howard Jerome Keisler 5NJA6FSTXF
| URI | m2://inv/5NJA6FSTXF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6H3Y, Howard Jerome Keisler (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OLBL, Howard Jerome Keisler (topic)
History
- 2026-11-02: add by m2/dev
quickly growing integer sequences with rational reciprocal series 5NJA7XGPM7
| URI | m2://inv/5NJA7XGPM7 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures by Paul Erdős#H6KO, quickly growing integer sequences with rational reciprocal series (object)
History
- 2026-11-02: add by m2/dev
5NJC6XE6F7 5NJC6XE6F7
| URI | m2://inv/5NJC6XE6F7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2610.19023#GFP1 (statement). In QFA8TMJPHZ/e1, corollary 1.6
History
- 2026-10-28: add by m2/v0.4.2
Statistica 5NJQSPDY5T
| URI | m2://inv/5NJQSPDY5T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistica, Statistica (definition). Also Wikidata Q1788435
History
- 2026-11-02: add by m2/dev
truncated octahedral number 5NJSZPTERT
| URI | m2://inv/5NJSZPTERT |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3879416, truncated octahedral number (object). Also MathWorld TruncatedOctahedralNumber, OEIS A005910
History
- 2026-10-26: add by m2/dev
Nancy Neudauer 5NJZ275REM
| URI | m2://inv/5NJZ275REM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nancy Neudauer, Nancy Neudauer (topic). Also Wikidata Q67191522
History
- 2026-11-02: add by m2/dev
Optimal regularity 5NJZ3Z39DF
| URI | m2://inv/5NJZ3Z39DF |
|---|---|
| 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.18270#K54A, Optimal regularity (statement). In CPDMYJ0NJV/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
approximation 5NK1CVDRA0
| URI | m2://inv/5NK1CVDRA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 42A10 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q27058, approximation (topic). Also nLab approximation
- wikipedia: Wikipedia Approximation, Approximation (definition). Also Wikidata Q27058
History
- 2026-10-26: add by m2/dev
Manipulation check 5NK2K87SSF
| URI | m2://inv/5NK2K87SSF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Manipulation check, Manipulation check (definition). Also Wikidata Q17125335
History
- 2026-11-02: add by m2/dev
dimension, of paths 5NKEXAC427
| URI | m2://inv/5NKEXAC427 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1/dimension-of-paths, dimension, of paths (concept). In N54F33XE07, index, section 1
History
- 2026-11-01: add by m2/v0.6.13
Exploration bound with exact leakage 5NKKEKC9XW
| URI | m2://inv/5NKKEKC9XW |
|---|---|
| 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#AUPL, Exploration bound with exact leakage (statement)
History
- 2026-11-01: add by m2/v0.6.15
5NKM0SA73C 5NKM0SA73C
| URI | m2://inv/5NKM0SA73C |
|---|---|
| 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#C7BU (definition). In S26QVW5613/e1, definition 1.2.2
History
- 2026-10-30: add by m2/v0.4.12
Time-synchronized one-time passwords 5NKPBXRZY4
| URI | m2://inv/5NKPBXRZY4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-time password#8C47, Time-synchronized one-time passwords (unknown)
History
- 2026-11-02: add by m2/dev
Algebraic properties 5NKXNSSCFW
| URI | m2://inv/5NKXNSSCFW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electromagnetic stress–energy tensor#DDEW, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
5NKXZX01QH 5NKXZX01QH
| URI | m2://inv/5NKXZX01QH |
|---|---|
| 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.29759#4EGI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples of groups 5NM1039MDM
| URI | m2://inv/5NM1039MDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#ZOXS, Examples of groups (definition)
- wikipedia: Wikipedia List of abstract algebra topics#CNO4, Examples of groups (definition)
History
- 2026-11-02: add by m2/dev
Theorem B 5NMAXXMZ46
| URI | m2://inv/5NMAXXMZ46 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartan's theorems A and B#6UDX, Theorem B (statement)
History
- 2026-11-02: add by m2/dev
5NMJCJ65TP 5NMJCJ65TP
| URI | m2://inv/5NMJCJ65TP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/lambda-definability/minimization.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 38.3
History
- 2026-11-01: add by m2/v0.6.13
5NMJZRTZ99 5NMJZRTZ99
| URI | m2://inv/5NMJZRTZ99 |
|---|---|
| Kind | example |
| 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#1QLI (example). In JYVGX17N4F/e1, example 4.1
History
- 2026-10-29: add by m2/v0.4.10
Landau–Ramanujan constant 5NMME47BWJ
| URI | m2://inv/5NMME47BWJ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#3Y3G, Landau–Ramanujan constant (object)
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#1FJC, Landau–Ramanujan constant (object)
History
- 2026-11-02: add by m2/dev
Immigration statistics in France 5NMMHJ9BBW
| URI | m2://inv/5NMMHJ9BBW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Immigration statistics in France, Immigration statistics in France (definition). Also Wikidata Q2421460
History
- 2026-11-02: add by m2/dev
Admissible stopped KS solution 5NMNNNS2FG
| URI | m2://inv/5NMNNNS2FG |
|---|---|
| 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 2609.28985#MBWZ, Admissible stopped KS solution (definition)
History
- 2026-11-01: add by m2/v0.6.15
Vertex figure 5NMX7DR7RQ
| URI | m2://inv/5NMX7DR7RQ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of regular polytopes#9M5E, Vertex figure (object)
History
- 2026-11-02: add by m2/dev
5NN4WMY3RM 5NN4WMY3RM
| URI | m2://inv/5NN4WMY3RM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25761#7EH2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
5NN5CVTG6D 5NN5CVTG6D
| URI | m2://inv/5NN5CVTG6D |
|---|---|
| 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.14318#YH8U (statement). In HA4SZZJ831/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Statement 5NN7A33Y76
| URI | m2://inv/5NN7A33Y76 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oppermann's conjecture#S526, Statement (statement)
History
- 2026-11-02: add by m2/dev
5NN7NFRDME 5NN7NFRDME
| URI | m2://inv/5NN7NFRDME |
|---|---|
| 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 2301.07434#CTT1 (statement). In 7XZHQ2H5ZD/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
5NN9JDCWTJ 5NN9JDCWTJ
| URI | m2://inv/5NN9JDCWTJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-zariski.tex#example-8 (example). In RZP28ERRZV, example, section 28.3
History
- 2026-11-01: add by m2/v0.6.13
algorithm 5NN9N4S5EA
| URI | m2://inv/5NN9N4S5EA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.1/algorithm, algorithm (concept). In N54F33XE07, index, section A.1
History
- 2026-11-01: add by m2/v0.6.13
Emission section 5NND27S6PR
| URI | m2://inv/5NND27S6PR |
|---|---|
| Kind | definition |
| 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.15686#QKMI, Emission section (definition). In 4HCK722M2G/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
5NNDVM9JA6 5NNDVM9JA6
| URI | m2://inv/5NNDVM9JA6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03756#243N (statement). In 2381M4GBTT/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
5NNDZ5SCXB 5NNDZ5SCXB
| URI | m2://inv/5NNDZ5SCXB |
|---|---|
| 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 2110.14727#U5P9 (statement). In EZTB8NZGVT/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.0
5NNK7HKYGY 5NNK7HKYGY
| URI | m2://inv/5NNK7HKYGY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/line-bundles.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 85.3
History
- 2026-11-01: add by m2/v0.6.13
5NNKBNV54M 5NNKBNV54M
| URI | m2://inv/5NNKBNV54M |
|---|---|
| Kind | definition |
| 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 2610.10469#YEZ2 (definition). In Q39BEKW6D9/e1, definition 3.13
History
- 2026-10-29: add by m2/v0.4.10
5NNMRHQW69 5NNMRHQW69
| URI | m2://inv/5NNMRHQW69 |
|---|---|
| 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 2609.30113#XNFX (definition)
History
- 2026-11-01: add by m2/v0.6.15
Like terms 5NP1F89XF0
| URI | m2://inv/5NP1F89XF0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Like terms, Like terms (definition). Also Wikidata Q5383004
History
- 2026-11-02: add by m2/dev
The Unscrambler 5NP7PPQV7J
| URI | m2://inv/5NP7PPQV7J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TP5C, The Unscrambler (definition)
History
- 2026-11-02: add by m2/dev
5NP7WW9X25 5NP7WW9X25
| URI | m2://inv/5NP7WW9X25 |
|---|---|
| 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#4O7K (statement). In CGA36VE1C5/e1, lemma 3.10.1
History
- 2026-10-27: add by m2/v0.3.6
5NP8M5737Z 5NP8M5737Z
| URI | m2://inv/5NP8M5737Z |
|---|---|
| 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.25129#CMQS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 5NPE27M6M3
| URI | m2://inv/5NPE27M6M3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability vector#E27V, Properties (statement)
History
- 2026-11-02: add by m2/dev
Properties 5NPHMY7TR3
| URI | m2://inv/5NPHMY7TR3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 12 (number)#8A0Y, Properties (statement)
History
- 2026-11-02: add by m2/dev
Local variation of the metric tensor 5NPJ4V0R23
| URI | m2://inv/5NPJ4V0R23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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.30220#VZNV, Local variation of the metric tensor (statement)
History
- 2026-11-01: add by m2/v0.6.15
5NPNQ15SGB 5NPNQ15SGB
| URI | m2://inv/5NPNQ15SGB |
|---|---|
| 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.17589#S496 (statement). In GSTK4569X1/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
Table of Gaussian integer factorizations 5NPY3V1EBF
| URI | m2://inv/5NPY3V1EBF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Table of Gaussian integer factorizations, Table of Gaussian integer factorizations (definition). Also Wikidata Q7673215
History
- 2026-11-02: add by m2/dev
5NQ0GD192N 5NQ0GD192N
| URI | m2://inv/5NQ0GD192N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-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.09678#Z7X6 (statement). In 9VG7PNZHZT/e1, theorem 7.3
History
- 2026-10-29: add by m2/v0.4.10
Formulation 5NQ2853ZHK
| URI | m2://inv/5NQ2853ZHK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alhazen's problem#HEW2, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Definition 5NQGFT0ZJ6
| URI | m2://inv/5NQGFT0ZJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular product of graphs#GB45, Definition (definition)
History
- 2026-11-02: add by m2/dev
Hugh Osborn 5NQGY1WBF2
| URI | m2://inv/5NQGY1WBF2 |
|---|---|
| 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 Q47006433, Hugh Osborn (unknown). Also nLab Hugh Osborn
History
- 2026-10-26: add by m2/dev
Spherical Harmonic transform 5NQKC9WA99
| URI | m2://inv/5NQKC9WA99 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#DLPC, Spherical Harmonic transform (unknown)
History
- 2026-11-02: add by m2/dev
Lemma 5NQRN0BT3S
| URI | m2://inv/5NQRN0BT3S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel measure#Q8PU, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Tvistein Pillars 5NQZTJ4W16
| URI | m2://inv/5NQZTJ4W16 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#2X2R, Tvistein Pillars (unknown)
History
- 2026-11-02: add by m2/dev
Algebraic curve 5NR70EX4YZ
| URI | m2://inv/5NR70EX4YZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#A694, Algebraic curve (definition)
History
- 2026-11-02: add by m2/dev
5NRB5EH3SM 5NRB5EH3SM
| URI | m2://inv/5NRB5EH3SM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21414#KSZM (statement)
History
- 2026-11-02: add by m2/v0.6.18
5NRCJNB2Q3 5NRCJNB2Q3
| URI | m2://inv/5NRCJNB2Q3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-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.09333#V6HW (statement). In Z9HC1EDTQP/e1, theorem 5.6
History
- 2026-10-29: add by m2/v0.4.10
preorder, of cardinal numbers 5NRNEEKZEF
| URI | m2://inv/5NRNEEKZEF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.2/preorder-of-cardinal-numbers, preorder, of cardinal numbers (concept). In N54F33XE07, index, section C.2
History
- 2026-11-01: add by m2/v0.6.13
Clausius theorem 5NRRA0R9YD
| URI | m2://inv/5NRRA0R9YD |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2428364, Clausius theorem (statement). Also Wikidata Q2428364
- thousand_plus: thousand_plus Q2428364, Clausius theorem (statement). Also Wikidata Q2428364, Wikipedia Clausius theorem
- wikipedia: Wikipedia Clausius theorem, Clausius theorem (statement). Also Wikidata Q2428364
History
- 2026-10-26: add by m2/dev
NP 5NRSF0RBMM
| URI | m2://inv/5NRSF0RBMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q628036, NP (definition). Also MathWorld NP-Problem, ProofWiki Definition:NP_Complexity_Class
- wikipedia: Wikipedia NP (complexity), NP (definition). Also Wikidata Q628036
History
- 2026-10-26: add by m2/dev
Rectangular coordinate system 5NRXSHSBQ2
| URI | m2://inv/5NRXSHSBQ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartesian coordinate system#BD1B, Rectangular coordinate system (unknown)
History
- 2026-11-02: add by m2/dev
5NS267HE6W 5NS267HE6W
| URI | m2://inv/5NS267HE6W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroInduction.tex#theorem-1 (statement). In P1C114YBXG, theorem, section D
History
- 2026-11-01: add by m2/v0.6.13
Empirical laws and initial conditions 5NS4G388XK
| URI | m2://inv/5NS4G388XK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Initial condition#PQNZ, Empirical laws and initial conditions (statement)
History
- 2026-11-02: add by m2/dev
Knot (mathematics) 5NS4XVSHK9
| URI | m2://inv/5NS4XVSHK9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometric topology topics#94GW, Knot (mathematics) (definition)
- wikipedia: Wikipedia List of topologies#8BZS, Knot (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
Tabular critic upper bound 5NS5Q9CPNR
| URI | m2://inv/5NS5Q9CPNR |
|---|---|
| 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.04117#P89S, Tabular critic upper bound (statement). In 65E9N3DFYP/e1, lemma 4.6
History
- 2026-10-29: add by m2/v0.4.12
5NS9CMWS23 5NS9CMWS23
| URI | m2://inv/5NS9CMWS23 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.37271#0J9S (statement). In 9WP2QGKMG8/e1, lemma 2.9
History
- 2026-10-30: add by m2/v0.4.12
5NSNMGN91A 5NSNMGN91A
| URI | m2://inv/5NSNMGN91A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17482#0OU3 (statement). In BQQK9JDJ9F/e1, corollary 4.5
History
- 2026-10-28: add by m2/v0.4.2
5NSTBRB3QY 5NSTBRB3QY
| URI | m2://inv/5NSTBRB3QY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27125#G97S (statement)
History
- 2026-11-01: add by m2/v0.6.15
5NSVQABM56 5NSVQABM56
| URI | m2://inv/5NSVQABM56 |
|---|---|
| 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#RG89 (statement). In CGA36VE1C5/e1, fact 10.1.1
History
- 2026-10-27: add by m2/v0.3.6
Ellen Baake 5NT73DN5HZ
| URI | m2://inv/5NT73DN5HZ |
|---|---|
| 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#WTD5, Ellen Baake (unknown)
History
- 2026-11-02: add by m2/dev
Landry--Minsky--Taylor 5NT7Z9YF65
| URI | m2://inv/5NT7Z9YF65 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10558#NL12, Landry--Minsky--Taylor (statement). In GYSF9JXQCH/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.10
Kinoshita–Terasaka knot 5NTB9B3G8Y
| URI | m2://inv/5NTB9B3G8Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q94827585, Kinoshita–Terasaka knot (unknown). Also MathWorld Kinoshita-TerasakaKnot
- wikipedia: Wikipedia Kinoshita–Terasaka knot, Kinoshita–Terasaka knot (definition). Also Wikidata Q94827585
History
- 2026-10-26: add by m2/dev
Mathematical Association 5NTC11N2GF
| URI | m2://inv/5NTC11N2GF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#WN6Q, Mathematical Association (definition)
History
- 2026-11-02: add by m2/dev
5NTCNEECTA 5NTCNEECTA
| URI | m2://inv/5NTCNEECTA |
|---|---|
| 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 2609.36377#940G (statement). In M98F6VRPZ2/e1, lemma 4.8
History
- 2026-10-30: add by m2/v0.4.12
5NTFVM17G8 5NTFVM17G8
| URI | m2://inv/5NTFVM17G8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09341#F418 (statement). In DSXBMRYE0V/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
1 yottameter 5NTK7KAAJN
| URI | m2://inv/5NTK7KAAJN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orders of magnitude (length)#WZT7, 1 yottameter (unknown)
History
- 2026-11-02: add by m2/dev
Frederick Mosteller 5NTRGAZY7Y
| URI | m2://inv/5NTRGAZY7Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7Q9W, Frederick Mosteller (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#1GD3, Frederick Mosteller (topic)
History
- 2026-11-02: add by m2/dev
Measurable cardinal 5NTWD7XBM0
| URI | m2://inv/5NTWD7XBM0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of large cardinal properties#E5RI, Measurable cardinal (definition)
History
- 2026-11-02: add by m2/dev
Andrea Montanari 5NTY0MM69S
| URI | m2://inv/5NTY0MM69S |
|---|---|
| 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#OTBK, Andrea Montanari (unknown)
History
- 2026-11-02: add by m2/dev
Leonard Ornstein 5NV1AGQ3MA
| URI | m2://inv/5NV1AGQ3MA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9HE7, Leonard Ornstein (unknown)
History
- 2026-11-02: add by m2/dev
Surjective function 5NV1MV4J19
| URI | m2://inv/5NV1MV4J19 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#MTNE, Surjective function (definition)
History
- 2026-11-02: add by m2/dev
Properties 5NV4AT3ABJ
| URI | m2://inv/5NV4AT3ABJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Buchholz psi functions#0LRP, Properties (statement)
History
- 2026-11-02: add by m2/dev
Peter Bühlmann 5NVAQTCQMZ
| URI | m2://inv/5NVAQTCQMZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#BOH7, Peter Bühlmann (unknown)
History
- 2026-11-02: add by m2/dev
5NVFX61GK1 5NVFX61GK1
| URI | m2://inv/5NVFX61GK1 |
|---|---|
| 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.17100#W0AA (statement). In 4TSS52DMB2/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
Example 5NVMQ196GD
| URI | m2://inv/5NVMQ196GD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial-matching meet-in-the-middle attack#3VNX, Example (example)
History
- 2026-11-02: add by m2/dev
Fermi coordinates 5NVSSWYQ2A
| URI | m2://inv/5NVSSWYQ2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5444397, Fermi coordinates (unknown). Also EoM Fermi_coordinates
- wikipedia: Wikipedia Fermi coordinates, Fermi coordinates (definition). Also Wikidata Q5444397
History
- 2026-10-26: add by m2/dev
5NVSV4D8DT 5NVSV4D8DT
| URI | m2://inv/5NVSV4D8DT |
|---|---|
| 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.17127#DRH7 (statement). In NZJ5B5KSDQ/e1, lemma 3
History
- 2026-10-28: add by m2/v0.4.2
Convex body 5NVTKB8WN7
| URI | m2://inv/5NVTKB8WN7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex body, Convex body (definition). Also Wikidata Q5166516
History
- 2026-11-02: add by m2/dev
Hermann Kober 5NVVZQQ69J
| URI | m2://inv/5NVVZQQ69J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#OY62, Hermann Kober (topic)
History
- 2026-11-02: add by m2/dev
Median test 5NVX8XCW8W
| URI | m2://inv/5NVX8XCW8W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Median test, Median test (definition). Also Wikidata Q1817650
History
- 2026-11-02: add by m2/dev
Finite-interval completeness 5NW1EW7C69
| URI | m2://inv/5NW1EW7C69 |
|---|---|
| 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.24807#T46A, Finite-interval completeness (statement)
History
- 2026-11-01: add by m2/v0.6.15
5NW4PYP432 5NW4PYP432
| URI | m2://inv/5NW4PYP432 |
|---|---|
| Kind | example |
| 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 1810.06028#Q6JV (example). In ZPFHH6YJG3/e1, example 2.11
History
- 2026-10-27: add by m2/v0.3.5
5NW5DG90DD 5NW5DG90DD
| URI | m2://inv/5NW5DG90DD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.14097#NHTS (statement). In H52QQS8WZA/e1, corollary 10.3
History
- 2026-10-27: add by m2/v0.3.5
How to Read Numbers 5NW5K348RR
| URI | m2://inv/5NW5K348RR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia How to Read Numbers, How to Read Numbers (definition). Also Wikidata Q124683331
History
- 2026-11-02: add by m2/dev
5NWEKT7WQ0 5NWEKT7WQ0
| URI | m2://inv/5NWEKT7WQ0 |
|---|---|
| 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.19694#P682 (statement). In EP0M4RSZ9P/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Polygonalization 5NWEMSZ8ZJ
| URI | m2://inv/5NWEMSZ8ZJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polygonalization, Polygonalization (definition). Also Wikidata Q113480775
History
- 2026-11-02: add by m2/dev
Fischer's theorem 5NWH0E098G
| URI | m2://inv/5NWH0E098G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-transposition group#MG06, Fischer's theorem (statement)
History
- 2026-11-02: add by m2/dev
Henry W. Gould 5NWMB7168Z
| URI | m2://inv/5NWMB7168Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Q3I1, Henry W. Gould (topic)
History
- 2026-11-02: add by m2/dev
Local normal form 5NWV8ZMTGT
| URI | m2://inv/5NWV8ZMTGT |
|---|---|
| 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.19953#UQPP, Local normal form (statement). In CHPJWBREES/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
5NWVQKYYVS 5NWVQKYYVS
| URI | m2://inv/5NWVQKYYVS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03050#REIJ (example). In WXBRJN9PHQ/e1, example 3.5
History
- 2026-10-29: add by m2/v0.4.12
General definition 5NX0722RXZ
| URI | m2://inv/5NX0722RXZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weight function#BCE2, General definition (definition)
History
- 2026-11-02: add by m2/dev
5NX2ZTNF65 5NX2ZTNF65
| URI | m2://inv/5NX2ZTNF65 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#proof-19 (proof). In N54F33XE07, proof, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
5NXEPE21DY 5NXEPE21DY
| URI | m2://inv/5NXEPE21DY |
|---|---|
| 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 2409.20170#PFAZ (definition). In QXJP79APHN/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.3.5
5NXG1YH3BT 5NXG1YH3BT
| URI | m2://inv/5NXG1YH3BT |
|---|---|
| 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#9YH6 (statement). In 4NJ4T3DEQB/e1, corollary 4.9
History
- 2026-10-28: add by m2/v0.4.2
5NXRD8FYM7 5NXRD8FYM7
| URI | m2://inv/5NXRD8FYM7 |
|---|---|
| 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#5KI6 (statement). In GW23NX78SB/e1, lemma 4.21
History
- 2026-10-28: add by m2/v0.4.2
5NXT3BF9YQ 5NXT3BF9YQ
| URI | m2://inv/5NXT3BF9YQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1709.04968#N3IP (statement). In BEX59Q3DE4/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
Economic switches 5NXZGX07NQ
| URI | m2://inv/5NXZGX07NQ |
|---|---|
| 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.21139#XUAR, Economic switches (statement). In E3NM0QN6KK/e1, lemma 5
History
- 2026-10-27: add by m2/v0.4.2
Challenging 5NY980YEJV
| URI | m2://inv/5NY980YEJV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-46, Challenging (exercise). In E59CDZA4DP, exercise, section 10.3.5
History
- 2026-11-01: add by m2/v0.6.13
Mental abacus 5NY9MWME0Z
| URI | m2://inv/5NY9MWME0Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mental abacus, Mental abacus (definition). Also Wikidata Q10419540
History
- 2026-11-02: add by m2/dev
5NYB9EMRQ9 5NYB9EMRQ9
| URI | m2://inv/5NYB9EMRQ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24131#P06P (statement)
History
- 2026-11-02: add by m2/v0.6.17
Andrew Forsyth 5NYG7B5Y67
| URI | m2://inv/5NYG7B5Y67 |
|---|---|
| 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#7JSS, Andrew Forsyth (unknown)
History
- 2026-11-02: add by m2/dev
5NYKH18AS0 5NYKH18AS0
| URI | m2://inv/5NYKH18AS0 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.4.2
Definitions 5NYQ5TR9FH
| URI | m2://inv/5NYQ5TR9FH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sub-Gaussian distribution#I11D, Definitions (definition)
History
- 2026-11-02: add by m2/dev
5NZ2GE5S38 5NZ2GE5S38
| URI | m2://inv/5NZ2GE5S38 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1701.00517#PQFS (statement). In JHPBT88FDW/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.3.5
Formal statement 5NZ8DKJ610
| URI | m2://inv/5NZ8DKJ610 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartan–Dieudonné theorem#CGC9, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
5NZG0QAAT8 5NZG0QAAT8
| URI | m2://inv/5NZG0QAAT8 |
|---|---|
| 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 2609.23526#39VZ (definition)
History
- 2026-11-02: add by m2/v0.6.17
Katerina Pisetsky 5NZGZQ835Z
| URI | m2://inv/5NZGZQ835Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#22VJ, Katerina Pisetsky (unknown)
History
- 2026-11-02: add by m2/dev
5NZKWE5QMY 5NZKWE5QMY
| URI | m2://inv/5NZKWE5QMY |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22205#EDOH (problem). In 7REABAAQED/e1, problem
History
- 2026-10-27: add by m2/v0.4.0
Linda B. Hayden 5NZNS6HN7E
| URI | m2://inv/5NZNS6HN7E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linda B. Hayden, Linda B. Hayden (topic). Also Wikidata Q58100509
History
- 2026-11-02: add by m2/dev
5NZYP48FN9 5NZYP48FN9
| URI | m2://inv/5NZYP48FN9 |
|---|---|
| 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 2609.24008#YT1P (statement)
History
- 2026-11-02: add by m2/v0.6.17
5NZZHNC49X 5NZZHNC49X
| URI | m2://inv/5NZZHNC49X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.37606#H36X (statement). In WNFW6GY38C/e1, corollary 9.9
History
- 2026-10-30: add by m2/v0.4.12