Inventory rows SE
The cards of the rows of the inventory whose ids start with SE. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Shannon-like long-horizon mobility information rate SE04GYJHRN
| URI | m2://inv/SE04GYJHRN |
|---|---|
| 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.10436#WIB4, Shannon-like long-horizon mobility information rate (statement). In 88798T0A0X/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
Kevin Mulligan SE09J6SETN
| URI | m2://inv/SE09J6SETN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kevin Mulligan, Kevin Mulligan (topic). Also Wikidata Q350124
History
- 2026-11-02: add by m2/dev
SE09ZJ1AGR SE09ZJ1AGR
| URI | m2://inv/SE09ZJ1AGR |
|---|---|
| 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.33953#0J74 (statement). In QS8R9BEJ8N/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
Jun Igusa SE0BMZTY6D
| URI | m2://inv/SE0BMZTY6D |
|---|---|
| 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#RILV, Jun Igusa (topic)
History
- 2026-11-02: add by m2/dev
Taylor microscale SE0EB5SRJ6
| URI | m2://inv/SE0EB5SRJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taylor microscale, Taylor microscale (definition). Also Wikidata Q7690193
History
- 2026-11-02: add by m2/dev
SE0G096Z2Q SE0G096Z2Q
| URI | m2://inv/SE0G096Z2Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.19866#YEFP (definition). In 9F94CEQ1ZM/e1, definition 2.18
History
- 2026-10-27: add by m2/v0.3.5
Spinor SE0GFZT8JG
| URI | m2://inv/SE0GFZT8JG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#0EJ8, Spinor (definition)
History
- 2026-11-02: add by m2/dev
Raj Chandra Bose SE0HM55YS5
| URI | m2://inv/SE0HM55YS5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#XLLB, Raj Chandra Bose (topic)
History
- 2026-11-02: add by m2/dev
regular heptagon SE0TAY247X
| URI | m2://inv/SE0TAY247X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18017733, regular heptagon (unknown). Also MathWorld RegularHeptagon
History
- 2026-10-26: add by m2/dev
SE0Z4C65MJ SE0Z4C65MJ
| URI | m2://inv/SE0Z4C65MJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20675#A5A1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Gauss linking integral SE10FKM22X
| URI | m2://inv/SE10FKM22X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linking number#5I59, Gauss linking integral (unknown)
History
- 2026-11-02: add by m2/dev
Raised cosine distribution SE11SGDZPK
| URI | m2://inv/SE11SGDZPK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raised cosine distribution, Raised cosine distribution (definition). Also Wikidata Q3258483
History
- 2026-11-02: add by m2/dev
V=L SE1BFWA5Y2
| URI | m2://inv/SE1BFWA5Y2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#71WC, V=L (definition)
History
- 2026-11-02: add by m2/dev
icositetragonal number SE1FY3BKY8
| URI | m2://inv/SE1FY3BKY8 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18451098, icositetragonal number (object). Also OEIS A051876
History
- 2026-10-26: add by m2/dev
SE1G6QAPE4 SE1G6QAPE4
| URI | m2://inv/SE1G6QAPE4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#QZ32 (example). In M0SQY5EZN5/e1, example 4.8.3
History
- 2026-10-27: add by m2/v0.3.5
Real K-theory SE1GEY9CYR
| URI | m2://inv/SE1GEY9CYR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#PF8T, Real K-theory (definition)
History
- 2026-11-02: add by m2/dev
Splitting lemma SE1HX27ZE6
| URI | m2://inv/SE1HX27ZE6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Splitting lemma, Splitting lemma (statement). Also Wikidata Q2757856
History
- 2026-11-02: add by m2/dev
SE1KBH5CM4 SE1KBH5CM4
| URI | m2://inv/SE1KBH5CM4 |
|---|---|
| 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.31104#DHR6 (example). In 67NFPNF39Y/e1, example
History
- 2026-10-31: add by m2/v0.5.6
SE1KTP3EH8 SE1KTP3EH8
| URI | m2://inv/SE1KTP3EH8 |
|---|---|
| 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 Q15452885 (unknown). Also nLab Alexandru Buium
History
- 2026-10-26: add by m2/dev
SE1X5BVG9J SE1X5BVG9J
| URI | m2://inv/SE1X5BVG9J |
|---|---|
| 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.00337#E7RO (statement). In 5STQ3ABZ60/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
The Sun SE1XANB8MG
| URI | m2://inv/SE1XANB8MG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#ALW1, The Sun (unknown)
History
- 2026-11-02: add by m2/dev
Signal SE1Y1FVV1T
| URI | m2://inv/SE1Y1FVV1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signal (software), Signal (definition). Also Wikidata Q19718090
History
- 2026-11-02: add by m2/dev
Definition SE24YG2T28
| URI | m2://inv/SE24YG2T28 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Premise#DBDZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Harcourt's theorem SE2C7NKG0N
| URI | m2://inv/SE2C7NKG0N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harcourt's theorem, Harcourt's theorem (statement). Also Wikidata Q17020898
History
- 2026-11-02: add by m2/dev
Example SE2CQ97D5J
| URI | m2://inv/SE2CQ97D5J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index of dispersion#HJWB, Example (example)
History
- 2026-11-02: add by m2/dev
SE2EYFFQTQ SE2EYFFQTQ
| URI | m2://inv/SE2EYFFQTQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_polya_exercises.ptx#ex_polya_perm-rep (exercise). In QKM9DD2H56, exercise, section 15
History
- 2026-11-01: add by m2/v0.6.13
2024 Chilean census SE2FQV5ATS
| URI | m2://inv/SE2FQV5ATS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2024 Chilean census, 2024 Chilean census (definition). Also Wikidata Q106369845
History
- 2026-11-02: add by m2/dev
Laplacian bound for the $f_t$'s SE2SK81ZDR
| URI | m2://inv/SE2SK81ZDR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.04317#8YR0, Laplacian bound for the $f_t$'s (statement). In 49V3ANDZTY/e1, proposition 6.17
History
- 2026-10-27: add by m2/v0.3.5
SE32K3HT1E SE32K3HT1E
| URI | m2://inv/SE32K3HT1E |
|---|---|
| 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#5AFU (statement). In MDZFW5GACV/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
Lower support SE33760PQX
| URI | m2://inv/SE33760PQX |
|---|---|
| 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#GF9C, Lower support (statement). In 1KRZ5ACTKE/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
SE345ZK8Y0 SE345ZK8Y0
| URI | m2://inv/SE345ZK8Y0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-80 (exercise). In E59CDZA4DP, exercise, section 2.6.3
History
- 2026-11-01: add by m2/v0.6.13
Notation in probability and statistics SE3FQBST3X
| URI | m2://inv/SE3FQBST3X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KVXP, Notation in probability and statistics (definition)
- wikipedia: Wikipedia Lists of statistics topics#BQQX, Notation in probability and statistics (definition)
History
- 2026-11-02: add by m2/dev
SE3GC4WNTA SE3GC4WNTA
| URI | m2://inv/SE3GC4WNTA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-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 2610.01208#T43L (statement). In 317GZJ38HS/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.12
SE3MCN5913 SE3MCN5913
| URI | m2://inv/SE3MCN5913 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16779#XHWC (statement). In 1R7H0ZAHWA/e1, proposition 3.8
History
- 2026-10-28: add by m2/v0.4.2
Definition SE3NHT1FA2
| URI | m2://inv/SE3NHT1FA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal-Wishart distribution#11LA, Definition (definition)
History
- 2026-11-02: add by m2/dev
SE3Q65AGAS SE3Q65AGAS
| URI | m2://inv/SE3Q65AGAS |
|---|---|
| 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 2407.04161#19GJ (statement). In JBZJ7NPQ4G/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.4.0
Raymond Woodard Brink SE3W6WR8HS
| URI | m2://inv/SE3W6WR8HS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raymond Woodard Brink, Raymond Woodard Brink (topic). Also Wikidata Q7299243
History
- 2026-11-02: add by m2/dev
Locked period with mismatch SE3WEP4SPX
| URI | m2://inv/SE3WEP4SPX |
|---|---|
| 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.15686#6QKD, Locked period with mismatch (statement). In 4HCK722M2G/e1, corollary 6.3
History
- 2026-10-28: add by m2/v0.4.2
The range of three filters SE40Z3KYRZ
| URI | m2://inv/SE40Z3KYRZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#CA8Y, The range of three filters (statement). In JY6RYSNXMJ/e1, proposition 12
History
- 2026-10-29: add by m2/v0.4.10
Degrees of freedom (physics and chemistry) SE41YPHKM4
| URI | m2://inv/SE41YPHKM4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#PYIA, Degrees of freedom (physics and chemistry) (unknown)
History
- 2026-11-02: add by m2/dev
Drift of the backward gain SE42M00G9A
| URI | m2://inv/SE42M00G9A |
|---|---|
| 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.06653#BFFL, Drift of the backward gain (statement). In 9D2N76AJAT/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.10
SE4608B14A SE4608B14A
| URI | m2://inv/SE4608B14A |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0003117#IT3E (example). In WD2NCBV9F0/e1, example 7.5
History
- 2026-10-27: add by m2/v0.3.5
Properties SE4A0YJ75S
| URI | m2://inv/SE4A0YJ75S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indecomposable continuum#41F1, Properties (statement)
History
- 2026-11-02: add by m2/dev
Nikolai Chudakov SE4E85W2EX
| URI | m2://inv/SE4E85W2EX |
|---|---|
| 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#PNUV, Nikolai Chudakov (unknown)
History
- 2026-11-02: add by m2/dev
Semi-continuity SE4FRFTAVJ
| URI | m2://inv/SE4FRFTAVJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#NSBZ, Semi-continuity (definition)
History
- 2026-11-02: add by m2/dev
Lamé's special quartic SE4WNFXB5H
| URI | m2://inv/SE4WNFXB5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lamé's special quartic, Lamé's special quartic (definition). Also Wikidata Q6482773
History
- 2026-11-02: add by m2/dev
CubeHash SE4ZK2GESD
| URI | m2://inv/SE4ZK2GESD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CubeHash, CubeHash (definition). Also Wikidata Q4036754
History
- 2026-11-02: add by m2/dev
Talagrand's concentration inequality SE508D2068
| URI | m2://inv/SE508D2068 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Talagrand's concentration inequality, Talagrand's concentration inequality (statement). Also Wikidata Q7678798
History
- 2026-11-02: add by m2/dev
The Bridges Organization SE53T52HH0
| URI | m2://inv/SE53T52HH0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Bridges Organization, The Bridges Organization (definition). Also Wikidata Q21015638
History
- 2026-11-02: add by m2/dev
David Webb SE560R2XS3
| URI | m2://inv/SE560R2XS3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Webb (mathematician), David Webb (topic). Also Wikidata Q16886473
History
- 2026-11-02: add by m2/dev
Critical point SE5D8YQ37T
| URI | m2://inv/SE5D8YQ37T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07064#OH0U, Critical point (definition). In GPK6W5XQM3/e1, definition 10
History
- 2026-10-29: add by m2/v0.4.10
Terry Lyons SE5FYJ1Q2T
| URI | m2://inv/SE5FYJ1Q2T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Terry Lyons (mathematician), Terry Lyons (topic). Also Wikidata Q1405455
History
- 2026-11-02: add by m2/dev
SE5Z00AG0J SE5Z00AG0J
| URI | m2://inv/SE5Z00AG0J |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30579#OYV3 (problem). In FDYZFDHZH9/e1, problem 1.5
History
- 2026-10-31: add by m2/v0.5.6
Tail splits into a slow interface mode and fast bulk modes SE5ZRAS8MQ
| URI | m2://inv/SE5ZRAS8MQ |
|---|---|
| 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.22384#C226, Tail splits into a slow interface mode and fast bulk modes (statement)
History
- 2026-11-02: add by m2/v0.6.17
Simultaneous optimality over a prefix SE62DRMKSG
| URI | m2://inv/SE62DRMKSG |
|---|---|
| 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.02843#2UIN, Simultaneous optimality over a prefix (statement). In 2XC1KQXA9H/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.12
SE65GGP5BN SE65GGP5BN
| URI | m2://inv/SE65GGP5BN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34020#MNP2 (statement). In DAMYG8BFAK/e1, lemma 4.8
History
- 2026-10-30: add by m2/v0.4.12
SE6CWPMBNS SE6CWPMBNS
| URI | m2://inv/SE6CWPMBNS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21937#7GZ2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
William Hamilton Martin and Bernon F. Mitchell SE6FDG36AT
| URI | m2://inv/SE6FDG36AT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#9D60, William Hamilton Martin and Bernon F. Mitchell (unknown)
History
- 2026-11-02: add by m2/dev
Space form SE6MN8BVZW
| URI | m2://inv/SE6MN8BVZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#5NOI, Space form (definition)
- wikipedia: Wikipedia List of differential geometry topics#H2OH, Space form (definition)
History
- 2026-11-02: add by m2/dev
Signal and observation distances SE6NZB9H9Z
| URI | m2://inv/SE6NZB9H9Z |
|---|---|
| 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 2610.11834#SI1W, Signal and observation distances (definition). In SMC03CWP4R/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.3
Pamela E. Harris SE70J1MGVV
| URI | m2://inv/SE70J1MGVV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pamela E. Harris, Pamela E. Harris (topic). Also Wikidata Q83116417
History
- 2026-11-02: add by m2/dev
SE759N9661 SE759N9661
| URI | m2://inv/SE759N9661 |
|---|---|
| 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.32058#CVBR (statement). In N0G73NM4WC/e1, lemma 4.3
History
- 2026-10-31: add by m2/v0.5.6
SE75Q33JD8 SE75Q33JD8
| URI | m2://inv/SE75Q33JD8 |
|---|---|
| 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.00775#AVJR (statement). In WVHA7H05QC/e1, corollary 2.15
History
- 2026-10-29: add by m2/v0.4.12
random permutation SE773JZ0TY
| URI | m2://inv/SE773JZ0TY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3375503, random permutation (unknown). Also MathWorld RandomPermutation
History
- 2026-10-26: add by m2/dev
Algorithms SE7BF2ZKMB
| URI | m2://inv/SE7BF2ZKMB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matroid parity problem#5Z17, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
SE7DAY26H5 SE7DAY26H5
| URI | m2://inv/SE7DAY26H5 |
|---|---|
| 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 2206.11809#1B3U (statement). In YQXYSNW78V/e1, proposition 15
History
- 2026-10-27: add by m2/v0.3.5
SE7FHF5CZV SE7FHF5CZV
| URI | m2://inv/SE7FHF5CZV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ModularArithmetic.tex#problem-5 (exercise). In P1C114YBXG, problem, section F
History
- 2026-11-01: add by m2/v0.6.13
SE7SD2944Y SE7SD2944Y
| URI | m2://inv/SE7SD2944Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#prob:converse and inverse (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
Maximum spacing estimation SE7W65YAT8
| URI | m2://inv/SE7W65YAT8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#EVSF, Maximum spacing estimation (definition)
History
- 2026-11-02: add by m2/dev
SE7YC66XJ7 SE7YC66XJ7
| URI | m2://inv/SE7YC66XJ7 |
|---|---|
| Kind | definition |
| 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.21649#PUE8 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Canonical form of a coincidence SE84CCSKRG
| URI | m2://inv/SE84CCSKRG |
|---|---|
| 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.22564#TS46, Canonical form of a coincidence (statement)
History
- 2026-11-02: add by m2/v0.6.17
Olga Ladyzhenskaya SE85ZAYG3E
| URI | m2://inv/SE85ZAYG3E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olga Ladyzhenskaya, Olga Ladyzhenskaya (topic). Also Wikidata Q450269
History
- 2026-11-02: add by m2/dev
Rheology SE8BFWN9KF
| URI | m2://inv/SE8BFWN9KF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rheology, Rheology (topic). Also Wikidata Q271707
History
- 2026-11-02: add by m2/dev
Lee Hwa Chung theorem SE8CD5M9VV
| URI | m2://inv/SE8CD5M9VV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lee Hwa Chung theorem#8EF0, Lee Hwa Chung theorem (statement)
History
- 2026-11-02: add by m2/dev
Ludwig Maurer SE8VP1AB15
| URI | m2://inv/SE8VP1AB15 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ludwig Maurer, Ludwig Maurer (topic). Also Wikidata Q104822
History
- 2026-11-02: add by m2/dev
simplicial space SE95RWJ60G
| URI | m2://inv/SE95RWJ60G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16872732, simplicial space (unknown). Also EoM Simplicial_space, nLab simplicial space
- wikipedia: Wikipedia Simplicial space, Simplicial space (definition). Also Wikidata Q16872732
History
- 2026-10-26: add by m2/dev
Jack Thorne SE96BS77QM
| URI | m2://inv/SE96BS77QM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jack Thorne (mathematician), Jack Thorne (topic). Also Wikidata Q56884388
History
- 2026-11-02: add by m2/dev
SE98HNSSBB SE98HNSSBB
| URI | m2://inv/SE98HNSSBB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21972#S59P (statement)
History
- 2026-11-02: add by m2/v0.6.17
Beneš method SE9F9XG8G5
| URI | m2://inv/SE9F9XG8G5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beneš method, Beneš method (definition). Also Wikidata Q16840260
History
- 2026-11-02: add by m2/dev
Linear algebraic group SE9FJ36GT5
| URI | m2://inv/SE9FJ36GT5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear algebraic group, Linear algebraic group (definition). Also Wikidata Q6553407
History
- 2026-11-02: add by m2/dev
Willem Jacob van Stockum SE9HJMNAN3
| URI | m2://inv/SE9HJMNAN3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Willem Jacob van Stockum, Willem Jacob van Stockum (topic). Also Wikidata Q1876226
History
- 2026-11-02: add by m2/dev
SE9HX9F2C0 SE9HX9F2C0
| URI | m2://inv/SE9HX9F2C0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39790#MMRS (statement). In C2C9GTQFYF/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
SE9WZHK15F SE9WZHK15F
| URI | m2://inv/SE9WZHK15F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-statements.ptx#exercise-14 (exercise). In Y91XFCEVHQ, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
SEA2GWQK0A SEA2GWQK0A
| URI | m2://inv/SEA2GWQK0A |
|---|---|
| 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.20431#N1SS (statement)
History
- 2026-11-02: add by m2/v0.6.18
algebraically closed field SEA6KVKJ18
| URI | m2://inv/SEA6KVKJ18 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Algebraically closed field 0PF6TM8TWT |
Mentions
- wikidata: Wikidata Q1047547, algebraically closed field (unknown). Also MathWorld AlgebraicallyClosed, nLab algebraically closed field
- wikipedia: Wikipedia Algebraically closed field, Algebraically closed field (definition). Also Wikidata Q1047547
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Chuck Easttom SEAF7ZHVWR
| URI | m2://inv/SEAF7ZHVWR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chuck Easttom, Chuck Easttom (topic). Also Wikidata Q64590581
History
- 2026-11-02: add by m2/dev
Wittenbauer's theorem SEAJ2R3ZGQ
| URI | m2://inv/SEAJ2R3ZGQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3527183, Wittenbauer's theorem (statement). Also EoM Wittenbauer_theorem, MathWorld WittenbauersTheorem
History
- 2026-10-26: add by m2/dev
Definitions SEANA09CE8
| URI | m2://inv/SEANA09CE8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperfinite equivalence relation#X78J, Definitions (definition)
History
- 2026-11-02: add by m2/dev
SEAV8MVCPW SEAV8MVCPW
| URI | m2://inv/SEAV8MVCPW |
|---|---|
| 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.08658#WIZG (statement). In 7PK5WS7246/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
SEAW1AVXHC SEAW1AVXHC
| URI | m2://inv/SEAW1AVXHC |
|---|---|
| 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 2405.10747#3FKB (statement). In X0PS03QCG0/e1, lemma 1.2
History
- 2026-10-27: add by m2/v0.3.5
SEAX2STTF4 SEAX2STTF4
| URI | m2://inv/SEAX2STTF4 |
|---|---|
| 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.13295#L3R8 (statement). In 8Q7QXTWD0S/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
SEAZCZ90Y6 SEAZCZ90Y6
| URI | m2://inv/SEAZCZ90Y6 |
|---|---|
| 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.01924#PT4I (statement). In CB89152EQW/e1, theorem 0.6
History
- 2026-10-29: add by m2/v0.4.12
Special Whitehead group SEBE8S97T4
| URI | m2://inv/SEBE8S97T4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic K-theory#XURF, Special Whitehead group (unknown)
History
- 2026-11-02: add by m2/dev
SEBX4NYNKP SEBX4NYNKP
| URI | m2://inv/SEBX4NYNKP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise:inversederformula (exercise). In E59CDZA4DP, exercise, section 3.1.3
History
- 2026-11-01: add by m2/v0.6.13
SEC2PDDC6S SEC2PDDC6S
| URI | m2://inv/SEC2PDDC6S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#exercise-23 (exercise). In E9HS8K3A52, exercise, section 3.3.3
History
- 2026-11-01: add by m2/v0.6.13
Examples SEC4ANJZJH
| URI | m2://inv/SEC4ANJZJH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum neural network#A373, Examples (example)
History
- 2026-11-02: add by m2/dev
A condition for empty intersection SECBV94JD8
| URI | m2://inv/SECBV94JD8 |
|---|---|
| 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.33794#21DI, A condition for empty intersection (statement). In W0PQMW25VY/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
SECKH17JTV SECKH17JTV
| URI | m2://inv/SECKH17JTV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#defn-9 (definition). In VNMV985MXX, defn, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Text mining SECTXY74Y5
| URI | m2://inv/SECTXY74Y5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Text mining, Text mining (definition). Also Wikidata Q676880
History
- 2026-11-02: add by m2/dev
Hilbert projection theorem (case x = 0) SECYMP9PSF
| URI | m2://inv/SECYMP9PSF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert projection theorem#RJ52, Hilbert projection theorem (case x = 0) (statement)
History
- 2026-11-02: add by m2/dev
SED0H9ZDAS SED0H9ZDAS
| URI | m2://inv/SED0H9ZDAS |
|---|---|
| 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#6K7C (statement). In ZTBDXSKFFW/e1, lemma 8.2
History
- 2026-10-27: add by m2/v0.3.5
SED0YNZ7M4 SED0YNZ7M4
| URI | m2://inv/SED0YNZ7M4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08135#W7Q5 (statement). In D4PE6R0BT3/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Satkhira SED7BAH1V3
| URI | m2://inv/SED7BAH1V3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#V72Q, Satkhira (unknown)
History
- 2026-11-02: add by m2/dev
modal possibilism SED95M33Q6
| URI | m2://inv/SED95M33Q6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#R21G, modal possibilism (definition)
History
- 2026-11-02: add by m2/dev
SED9C3BJMG SED9C3BJMG
| URI | m2://inv/SED9C3BJMG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/normal-logics.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 50.7
History
- 2026-11-01: add by m2/v0.6.13
Binary decision diagram SEDFQ4GW8P
| URI | m2://inv/SEDFQ4GW8P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary decision diagram, Binary decision diagram (definition). Also Wikidata Q864155
History
- 2026-11-02: add by m2/dev
SEDGKTZBG9 SEDGKTZBG9
| URI | m2://inv/SEDGKTZBG9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.08018#YFX0 (statement). In TN93YFN45W/e1, proposition 6.3
History
- 2026-10-27: add by m2/v0.4.0
SEDP0RKM4M SEDP0RKM4M
| URI | m2://inv/SEDP0RKM4M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.17066#7HZ4 (definition). In X2AEJAQEP8/e1, definition 4.11
History
- 2026-10-27: add by m2/v0.3.5
SEDQY006WJ SEDQY006WJ
| URI | m2://inv/SEDQY006WJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#VAEM (statement). In X3RFXWN6FW/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.6
Janet Wittes SEDZ3YT4XE
| URI | m2://inv/SEDZ3YT4XE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Janet Wittes, Janet Wittes (topic). Also Wikidata Q60902988
History
- 2026-11-02: add by m2/dev
Definition SEE9JM70R2
| URI | m2://inv/SEE9JM70R2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hash chain#O73W, Definition (definition)
History
- 2026-11-02: add by m2/dev
SEEB7Z9NZ5 SEEB7Z9NZ5
| URI | m2://inv/SEEB7Z9NZ5 |
|---|---|
| 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.20259#UA4B (statement). In VHNRE38D97/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
Examples SEEC9HW8N8
| URI | m2://inv/SEEC9HW8N8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boundary (topology)#B9SL, Examples (example)
History
- 2026-11-02: add by m2/dev
Kodak SEECSYHT41
| URI | m2://inv/SEECSYHT41 |
|---|---|
| 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#BDFH, Kodak (unknown)
History
- 2026-11-02: add by m2/dev
duality SEEFBENXQS
| URI | m2://inv/SEEFBENXQS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Duality in order theory MRYFDAG5G8 |
Mentions
- wikidata: Wikidata Q554403, duality (concept). Also MathWorld DualityLaw
- wikipedia: Wikipedia Duality (order theory), Duality (definition). Also Wikidata Q554403
History
- 2026-10-26: add by m2/dev
Sweedler's Hopf algebra SEEP1WVZ3K
| URI | m2://inv/SEEP1WVZ3K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sweedler's Hopf algebra, Sweedler's Hopf algebra (definition). Also Wikidata Q7655070
History
- 2026-11-02: add by m2/dev
Enrico Bompiani SEEPZ2339H
| URI | m2://inv/SEEPZ2339H |
|---|---|
| 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#E5QA, Enrico Bompiani (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#V7J3, Enrico Bompiani (topic)
History
- 2026-11-02: add by m2/dev
game-theoretic semantics SEEQ09Z2BC
| URI | m2://inv/SEEQ09Z2BC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#3XA4, game-theoretic semantics (definition)
History
- 2026-11-02: add by m2/dev
SEEYHSWG4R SEEYHSWG4R
| URI | m2://inv/SEEYHSWG4R |
|---|---|
| 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.13291#QG10 (statement). In D16PSAVVWV/e1, corollary 6.3
History
- 2026-10-28: add by m2/v0.4.2
SEF1HEATE5 SEF1HEATE5
| URI | m2://inv/SEF1HEATE5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.00585#I1ZV (statement). In 332PQD90SW/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
SEF4R2B6BR SEF4R2B6BR
| URI | m2://inv/SEF4R2B6BR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#VEFF (statement). In 6HJQXZS0A6/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.12
Gaussian cover SEF70PG3V9
| URI | m2://inv/SEF70PG3V9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01071#Y1BC, Gaussian cover (definition). In X1YF62ZFB6/e1, definition 5
History
- 2026-10-29: add by m2/v0.4.12
Theorem SEFEJDZTWF
| URI | m2://inv/SEFEJDZTWF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum circuit#NPUP, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Constant scalar curvature Kähler metric SEFGA3C0VB
| URI | m2://inv/SEFGA3C0VB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constant scalar curvature Kähler metric, Constant scalar curvature Kähler metric (definition). Also Wikidata Q5163666
History
- 2026-11-02: add by m2/dev
Warren M. Persons SEFGM1RNPM
| URI | m2://inv/SEFGM1RNPM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#RQ17, Warren M. Persons (unknown)
History
- 2026-11-02: add by m2/dev
Asymptotically quasi-homogeneous vector fields SEFJVXHEVK
| URI | m2://inv/SEFJVXHEVK |
|---|---|
| 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.05354#8FR5, Asymptotically quasi-homogeneous vector fields (definition). In TZ5BMDXRQZ/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
SEFQDTT9A4 SEFQDTT9A4
| URI | m2://inv/SEFQDTT9A4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28282#1XQ9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
SEFWTPNC5S SEFWTPNC5S
| URI | m2://inv/SEFWTPNC5S |
|---|---|
| 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 2609.32300#KU2I (statement). In VNE8N0D2FB/e1, lemma 3.7
History
- 2026-10-31: add by m2/v0.5.6
Segregated Runge–Kutta methods SEFY03V7CA
| URI | m2://inv/SEFY03V7CA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Segregated Runge–Kutta methods, Segregated Runge–Kutta methods (definition). Also Wikidata Q30589195
History
- 2026-11-02: add by m2/dev
SEG2AXD1CR SEG2AXD1CR
| URI | m2://inv/SEG2AXD1CR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21552#CHOB (definition)
History
- 2026-11-02: add by m2/v0.6.18
Definitions SEG3CX8V7D
| URI | m2://inv/SEG3CX8V7D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine plane#CWQB, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Sullivan SEG6A6Y1V9
| URI | m2://inv/SEG6A6Y1V9 |
|---|---|
| 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.23834#U0HL, Sullivan (statement)
History
- 2026-11-02: add by m2/v0.6.17
SEGM2XND9Z SEGM2XND9Z
| URI | m2://inv/SEGM2XND9Z |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13532#I9ZQ (example). In 9B0X8YPF3P/e1, example 9.4
History
- 2026-10-28: add by m2/v0.4.2
Shifted average at the zeros SEGNR87XSJ
| URI | m2://inv/SEGNR87XSJ |
|---|---|
| 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.12853#HDZA, Shifted average at the zeros (statement). In GAX7MSHJE0/e1, corollary 2.2
History
- 2026-10-28: add by m2/v0.4.2
Symplectic manifold SEGQVEZ2Z2
| URI | m2://inv/SEGQVEZ2Z2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#MIUV, Symplectic manifold (definition)
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#46FI, Symplectic manifold (definition)
- wikipedia: Wikipedia List of manifolds#QCRK, Symplectic manifold (definition)
History
- 2026-11-02: add by m2/dev
Sphuṭacandrāpti SEGVSBZFT2
| URI | m2://inv/SEGVSBZFT2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sphuṭacandrāpti, Sphuṭacandrāpti (definition). Also Wikidata Q30595511
History
- 2026-11-02: add by m2/dev
Algorithms SEGZGFBNQN
| URI | m2://inv/SEGZGFBNQN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian path problem#QPX2, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Knot tabulation SEH52ARE0A
| URI | m2://inv/SEH52ARE0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knot tabulation, Knot tabulation (definition). Also Wikidata Q17098394
History
- 2026-11-02: add by m2/dev
paraboloidal coordinates SEH544WGW9
| URI | m2://inv/SEH544WGW9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7133742, paraboloidal coordinates (unknown). Also MathWorld ParaboloidalCoordinates
- wikipedia: Wikipedia Paraboloidal coordinates, Paraboloidal coordinates (definition). Also Wikidata Q7133742
History
- 2026-10-26: add by m2/dev
Inverse probability SEH87QTV0Z
| URI | m2://inv/SEH87QTV0Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse probability, Inverse probability (definition). Also Wikidata Q6060409
History
- 2026-11-02: add by m2/dev
Examples SEH8AMZW0H
| URI | m2://inv/SEH8AMZW0H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Darboux integral#K8JT, Examples (example)
History
- 2026-11-02: add by m2/dev
Notation SEH8J8NW1Y
| URI | m2://inv/SEH8J8NW1Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semidirect product#LUTI, Notation (definition)
History
- 2026-11-02: add by m2/dev
Natural numbers and the axiom of infinity SEHCH40DT7
| URI | m2://inv/SEHCH40DT7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia New Foundations#YRJZ, Natural numbers and the axiom of infinity (statement)
History
- 2026-11-02: add by m2/dev
Jacob Adler SEHMCX8V16
| URI | m2://inv/SEHMCX8V16 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#MDLA, Jacob Adler (unknown)
History
- 2026-11-02: add by m2/dev
Examples SEHWJTNTW3
| URI | m2://inv/SEHWJTNTW3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasisimple group#GBWD, Examples (example)
History
- 2026-11-02: add by m2/dev
SEHXHJVKRF SEHXHJVKRF
| URI | m2://inv/SEHXHJVKRF |
|---|---|
| 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.32282#PMPS (statement). In MF7XEPN4GV/e1, lemma 1
History
- 2026-10-31: add by m2/v0.5.6
SEJ1Y2M6RT SEJ1Y2M6RT
| URI | m2://inv/SEJ1Y2M6RT |
|---|---|
| Kind | definition |
| 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#NG7J (definition). In PZCA01JXVR/e1, definition 6.1
History
- 2026-10-27: add by m2/v0.3.5
Neurophysiological Biomarker Toolbox SEJ32JVCY1
| URI | m2://inv/SEJ32JVCY1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#PGLU, Neurophysiological Biomarker Toolbox (unknown)
History
- 2026-11-02: add by m2/dev
Differentiation Through the Finite Sites SEJFXZ5W35
| URI | m2://inv/SEJFXZ5W35 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12239#D1AD, Differentiation Through the Finite Sites (statement). In CW9MNA6K58/e1, lemma 9.18
History
- 2026-10-28: add by m2/v0.4.2
SEJGSQRQ88 SEJGSQRQ88
| URI | m2://inv/SEJGSQRQ88 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10372#ORNU (statement). In P77W283VXT/e1, theorem 4.9
History
- 2026-10-29: add by m2/v0.4.10
Big data SEJK3684QR
| URI | m2://inv/SEJK3684QR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Big data, Big data (definition). Also Wikidata Q858810
History
- 2026-11-02: add by m2/dev
Group law SEJTG0MGG5
| URI | m2://inv/SEJTG0MGG5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic curve#03HN, Group law (statement)
History
- 2026-11-02: add by m2/dev
SEK2C5MM6G SEK2C5MM6G
| URI | m2://inv/SEK2C5MM6G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exact:exampleabove (example). In E9HS8K3A52, example, section 4.8.1
History
- 2026-11-01: add by m2/v0.6.13
Generalized Dickson's conjecture SEK56WB2VW
| URI | m2://inv/SEK56WB2VW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dickson's conjecture#3PNS, Generalized Dickson's conjecture (statement)
History
- 2026-11-02: add by m2/dev
SEK8Y0CBEM SEK8Y0CBEM
| URI | m2://inv/SEK8Y0CBEM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04466#N8HL (statement). In EHW82CK883/e1, corollary 7.1
History
- 2026-10-29: add by m2/v0.4.12
SEKNYJ5H7B SEKNYJ5H7B
| URI | m2://inv/SEKNYJ5H7B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10964#7UE0 (statement). In 16KVMD76PZ/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.3
Nexus Tools Platform SEKQQ8M6QC
| URI | m2://inv/SEKQQ8M6QC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nexus Tools Platform, Nexus Tools Platform (definition). Also Wikidata Q65085052
History
- 2026-11-02: add by m2/dev
Example SEKRQF1CS1
| URI | m2://inv/SEKRQF1CS1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hohmann transfer orbit#KFW8, Example (example)
History
- 2026-11-02: add by m2/dev
Smooth Urysohn lemma SEKWS1Q1EW
| URI | m2://inv/SEKWS1Q1EW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-59, Smooth Urysohn lemma (statement). In VNMV985MXX, thm, section E.3
History
- 2026-11-01: add by m2/v0.6.13
Algorithms SEM2FW54VN
| URI | m2://inv/SEM2FW54VN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indifference graph#3156, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Amadour SEM48TXXXN
| URI | m2://inv/SEM48TXXXN |
|---|---|
| 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#M4X6, Amadour (unknown)
History
- 2026-11-02: add by m2/dev
SEM94R16BF SEM94R16BF
| URI | m2://inv/SEM94R16BF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#H11I (statement). In WAXS6FS388/e1, proposition 5.3
History
- 2026-10-30: add by m2/v0.4.12
SEMC99EZHH SEMC99EZHH
| URI | m2://inv/SEMC99EZHH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20675#JRX1 (statement)
History
- 2026-11-02: add by m2/v0.6.18
SEMF4E0WBZ SEMF4E0WBZ
| URI | m2://inv/SEMF4E0WBZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#QD5F (statement). In GXHKRV5BPY/e1, lemma 3.18
History
- 2026-10-29: add by m2/v0.4.10
SEMGPGK53Q SEMGPGK53Q
| URI | m2://inv/SEMGPGK53Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31523#DJ65 (definition). In 2BET1RE1F6/e1, definition 2.12
History
- 2026-10-31: add by m2/v0.5.6
SEMTK83WXG SEMTK83WXG
| URI | m2://inv/SEMTK83WXG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-addmult.ptx#exercise-8 (exercise). In Y91XFCEVHQ, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Hui Shi SEMW3E5J9R
| URI | m2://inv/SEMW3E5J9R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#3RL7, Hui Shi (topic)
History
- 2026-11-02: add by m2/dev
SEMYD4WES0 SEMYD4WES0
| URI | m2://inv/SEMYD4WES0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15393#3C30 (statement). In H6T3AP80VE/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
SEN08PXWCZ SEN08PXWCZ
| URI | m2://inv/SEN08PXWCZ |
|---|---|
| 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 2605.17536#VNY4 (statement). In TG15VZ0P8R/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Jason Rosenhouse SEN7YM601E
| URI | m2://inv/SEN7YM601E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jason Rosenhouse, Jason Rosenhouse (topic). Also Wikidata Q15429119
History
- 2026-11-02: add by m2/dev
Luis Silvestre SENBRR3ZNG
| URI | m2://inv/SENBRR3ZNG |
|---|---|
| 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#7J02, Luis Silvestre (unknown)
History
- 2026-11-02: add by m2/dev
SENDMQ5MNY SENDMQ5MNY
| URI | m2://inv/SENDMQ5MNY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27484#IQZA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Constraint satisfaction problem SENDQ7SB3D
| URI | m2://inv/SENDQ7SB3D |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constraint satisfaction problem, Constraint satisfaction problem (problem). Also Wikidata Q1128326
History
- 2026-11-02: add by m2/dev
SENF14PKHW SENF14PKHW
| URI | m2://inv/SENF14PKHW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#lem:vol_OK_mesh (statement). In RZP28ERRZV, lemma, section 9.3
History
- 2026-11-01: add by m2/v0.6.13
Binomial coefficient SENTN3F49R
| URI | m2://inv/SENTN3F49R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of integrals#J4KT, Binomial coefficient (definition)
History
- 2026-11-02: add by m2/dev
Version spaces are cosets SEP64WMN50
| URI | m2://inv/SEP64WMN50 |
|---|---|
| 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.18154#RURU, Version spaces are cosets (statement). In 4W7ARR1DAR/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Kraft–McMillan theorem SEPE4XE3HX
| URI | m2://inv/SEPE4XE3HX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#NM32, Kraft–McMillan theorem (statement)
History
- 2026-11-02: add by m2/dev
Fundamental theorem of cyclic groups SEPEFFCWE7
| URI | m2://inv/SEPEFFCWE7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#D6UV, Fundamental theorem of cyclic groups (definition)
History
- 2026-11-02: add by m2/dev
SEPN3X5ST2 SEPN3X5ST2
| URI | m2://inv/SEPN3X5ST2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29574#X18A (statement)
History
- 2026-11-01: add by m2/v0.6.15
SEPQ0A5RM6 SEPQ0A5RM6
| URI | m2://inv/SEPQ0A5RM6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10221#8DKN (definition). In 9Z5M655EPV/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.10
SEPQZK2SVN SEPQZK2SVN
| URI | m2://inv/SEPQZK2SVN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22040#8DFN (statement). In 2QP93JHYNB/e1, theorem 8.4
History
- 2026-10-27: add by m2/v0.4.2
SEPS8SJGJP SEPS8SJGJP
| URI | m2://inv/SEPS8SJGJP |
|---|---|
| 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 2508.16102#09BO (statement). In 55QFMZQ5HM/e1, proposition 2.16
History
- 2026-10-27: add by m2/v0.3.6
SEPWGGKTRK SEPWGGKTRK
| URI | m2://inv/SEPWGGKTRK |
|---|---|
| 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.25472#30N9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
SEQ1H6Y3F8 SEQ1H6Y3F8
| URI | m2://inv/SEQ1H6Y3F8 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/soundness.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 55.12
History
- 2026-11-01: add by m2/v0.6.13
SEQ9A1A8MD SEQ9A1A8MD
| URI | m2://inv/SEQ9A1A8MD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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.02983#60KI (statement). In HMNKENER22/e1, theorem 7.2
History
- 2026-10-29: add by m2/v0.4.12
Diagnostic test SEQ9GAY1E2
| URI | m2://inv/SEQ9GAY1E2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Medical test#USUT, Diagnostic test (unknown)
History
- 2026-11-02: add by m2/dev
SEQPDT0NZJ SEQPDT0NZJ
| URI | m2://inv/SEQPDT0NZJ |
|---|---|
| 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 2503.19528#PVWO (statement). In EM5955MDHN/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Mary Wheeler SER8AYK706
| URI | m2://inv/SER8AYK706 |
|---|---|
| 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#30YF, Mary Wheeler (topic)
History
- 2026-11-02: add by m2/dev
SER9YAXC2K SER9YAXC2K
| URI | m2://inv/SER9YAXC2K |
|---|---|
| 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 2007.14459#SOCB (statement). In SGQ7VFEZ22/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
René-Louis Baire SERJ1HYSKC
| URI | m2://inv/SERJ1HYSKC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia René-Louis Baire, René-Louis Baire (topic). Also Wikidata Q371910
History
- 2026-11-02: add by m2/dev
SERZVVRKT4 SERZVVRKT4
| URI | m2://inv/SERZVVRKT4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-46 (exercise). In E59CDZA4DP, exercise, section 2.4.4
History
- 2026-11-01: add by m2/v0.6.13
Melvyn B. Nathanson SESD253M7E
| URI | m2://inv/SESD253M7E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#2QG7, Melvyn B. Nathanson (topic)
History
- 2026-11-02: add by m2/dev
SESD7TN89J SESD7TN89J
| URI | m2://inv/SESD7TN89J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20131#2D5R (statement). In 29D4TTE3J2/e1, proposition 9.4
History
- 2026-10-27: add by m2/v0.4.2
Deal.II SESQJF1HVQ
| URI | m2://inv/SESQJF1HVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#U0KM, Deal.II (definition)
History
- 2026-11-02: add by m2/dev
SET0R33K5K SET0R33K5K
| URI | m2://inv/SET0R33K5K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2609.27751#VWG2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
SET1Y31JGM SET1Y31JGM
| URI | m2://inv/SET1Y31JGM |
|---|---|
| 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.08567#WR8L (statement). In CMJE9V2BJ0/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
SET2X0N9C1 SET2X0N9C1
| URI | m2://inv/SET2X0N9C1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17408#7HWI (statement). In QR8H4M1X4N/e1, lemma 3.10
History
- 2026-10-28: add by m2/v0.4.2
SET3034E46 SET3034E46
| URI | m2://inv/SET3034E46 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-3.xml#proposition-1 (statement). In 649HGZKE96, proposition, section 4.3.4
History
- 2026-11-01: add by m2/v0.6.13
SET3P23D21 SET3P23D21
| URI | m2://inv/SET3P23D21 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#prop:invcont (statement). In E59CDZA4DP, prop, section 2.6.2
History
- 2026-11-01: add by m2/v0.6.13
Dining cryptographers SET7ZHQ9PE
| URI | m2://inv/SET7ZHQ9PE |
|---|---|
| Kind | example |
| 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 1803.10042#3PH1, Dining cryptographers (example). In 718SP8YERQ/e1, example A2
History
- 2026-10-27: add by m2/v0.3.5
SETBVB7GSC SETBVB7GSC
| URI | m2://inv/SETBVB7GSC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:boundedeigen (exercise). In VNMV985MXX, exercise, section 1.5
History
- 2026-11-01: add by m2/v0.6.13
\text{Realization of Three-Gap Differences SETCHKV9YB
| URI | m2://inv/SETCHKV9YB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02495#DME9, \text{Realization of Three-Gap Differences (statement). In T4S7XVAJJC/e1, proposition 9.7
History
- 2026-10-29: add by m2/v0.4.12
Q-factorial SETF40ER3S
| URI | m2://inv/SETF40ER3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#5H8T, Q-factorial (definition)
History
- 2026-11-02: add by m2/dev
Nowhere dense SETG88XEMG
| URI | m2://inv/SETG88XEMG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#D5C8, Nowhere dense (definition)
History
- 2026-11-02: add by m2/dev
Tieton SETHKT09VR
| URI | m2://inv/SETHKT09VR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#KIJU, Tieton (unknown)
History
- 2026-11-02: add by m2/dev
Envy-freeness up to any item SETJJA353R
| URI | m2://inv/SETJJA353R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Envy-freeness up to any item, Envy-freeness up to any item (definition). Also Wikidata Q139967590
History
- 2026-11-02: add by m2/dev
SETK5F3294 SETK5F3294
| URI | m2://inv/SETK5F3294 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#UWHF (statement). In X765ZXXVC3/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
SETT55VNGM SETT55VNGM
| URI | m2://inv/SETT55VNGM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-2.xml#prop-eigen-basis (statement). In 649HGZKE96, proposition, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
SETW4C04ET SETW4C04ET
| URI | m2://inv/SETW4C04ET |
|---|---|
| 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.31274#7YQA (statement). In RK0ZMDJ23T/e1, lemma 4.2.1
History
- 2026-10-31: add by m2/v0.5.6
SETWXYQ57K SETWXYQ57K
| URI | m2://inv/SETWXYQ57K |
|---|---|
| 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.23671#RGPA (statement)
History
- 2026-11-02: add by m2/v0.6.17
Estimation error of mask predictor SETZEH55Q0
| URI | m2://inv/SETZEH55Q0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12544#YRJP, Estimation error of mask predictor (statement). In XXV36V6CK8/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Theorem SEV3FBHX8C
| URI | m2://inv/SEV3FBHX8C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Best response#OSKJ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Computational synthetic geometry SEV8JHBKZ2
| URI | m2://inv/SEV8JHBKZ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#E525, Computational synthetic geometry (definition)
History
- 2026-11-02: add by m2/dev
Arcadia SEVBXMRTF5
| URI | m2://inv/SEVBXMRTF5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arcadia (play), Arcadia (definition). Also Wikidata Q672288
History
- 2026-11-02: add by m2/dev
bipartite double cover SEVHG2F1Q6
| URI | m2://inv/SEVHG2F1Q6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4915409, bipartite double cover (unknown). Also MathWorld BipartiteDoubleGraph
- wikipedia: Wikipedia Bipartite double cover, Bipartite double cover (definition). Also Wikidata Q4915409
History
- 2026-10-26: add by m2/dev
Kirstine Smith SEVS52APPC
| URI | m2://inv/SEVS52APPC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kirstine Smith, Kirstine Smith (topic). Also Wikidata Q14950039
History
- 2026-11-02: add by m2/dev
Modular function SEVSJFMA32
| URI | m2://inv/SEVSJFMA32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#USLV, Modular function (definition)
History
- 2026-11-02: add by m2/dev
SEVSREEC5Y SEVSREEC5Y
| URI | m2://inv/SEVSREEC5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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.15869#T46J (statement). In 5VRP29WZEK/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
SEVX2H4M4J SEVX2H4M4J
| URI | m2://inv/SEVX2H4M4J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18929#RYLB (statement). In ZRJ2DZT6P1/e1, corollary 5.12
History
- 2026-10-28: add by m2/v0.4.2
Reciprocity SEW45SRKW2
| URI | m2://inv/SEW45SRKW2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reciprocity (engineering), Reciprocity (definition). Also Wikidata Q7302483
History
- 2026-11-02: add by m2/dev
Emil Grosswald SEW5B5TP2Q
| URI | m2://inv/SEW5B5TP2Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#WNUZ, Emil Grosswald (topic)
History
- 2026-11-02: add by m2/dev
Example SEW7KHWXQ2
| URI | m2://inv/SEW7KHWXQ2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divisibility rule#N2B8, Example (example)
History
- 2026-11-02: add by m2/dev
Weierstrass factorization theorem SEWBDSPTBB
| URI | m2://inv/SEWBDSPTBB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/weierstrass-factorization-theorem, Weierstrass factorization theorem (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
Simple theorems in the algebra of sets SEWC1QQR7C
| URI | m2://inv/SEWC1QQR7C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple theorems in the algebra of sets, Simple theorems in the algebra of sets (statement). Also Wikidata Q7520837
History
- 2026-11-02: add by m2/dev
SEWD8H1G6T SEWD8H1G6T
| URI | m2://inv/SEWD8H1G6T |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lander, Parkin, and Selfridge conjecture#MYYS (problem)
History
- 2026-11-02: add by m2/dev
Neyer d-optimal test SEWM3TZBMZ
| URI | m2://inv/SEWM3TZBMZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neyer d-optimal test, Neyer d-optimal test (definition). Also Wikidata Q7021414
History
- 2026-11-02: add by m2/dev
SEWNA8NHYW SEWNA8NHYW
| URI | m2://inv/SEWNA8NHYW |
|---|---|
| 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 2601.10370#UQ5M (statement). In S5ZSEFYBD3/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
SEWPFCJWAH SEWPFCJWAH
| URI | m2://inv/SEWPFCJWAH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.20410#JWY8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Computation SEWPRBBRWD
| URI | m2://inv/SEWPRBBRWD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect matching#K178, Computation (definition)
History
- 2026-11-02: add by m2/dev
SEWSYPHKJZ SEWSYPHKJZ
| URI | m2://inv/SEWSYPHKJZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#PF6F (statement). In 6HJQXZS0A6/e1, lemma 1.5
History
- 2026-10-29: add by m2/v0.4.12
IMA Journal of Applied Mathematics SEWYHSBJZ5
| URI | m2://inv/SEWYHSBJZ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia IMA Journal of Applied Mathematics, IMA Journal of Applied Mathematics (definition). Also Wikidata Q13731239
History
- 2026-11-02: add by m2/dev
SEX3BQJ20D SEX3BQJ20D
| URI | m2://inv/SEX3BQJ20D |
|---|---|
| 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 2311.16252#ZPLF (statement). In 8AHN9GSRMR/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.4.0
Mixed inhomogeneous Littlewood SEXA7FC310
| URI | m2://inv/SEXA7FC310 |
|---|---|
| Kind | conjecture |
| 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.15809#X2PD, Mixed inhomogeneous Littlewood (conjecture). In 6GBT11XKAF/e1, conjecture 3.1
History
- 2026-10-28: add by m2/v0.4.2
Partial least squares regression SEXEY3W02S
| URI | m2://inv/SEXEY3W02S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KJPY, Partial least squares regression (definition)
History
- 2026-11-02: add by m2/dev
Yaakov Dori SEXJZZ5NS2
| URI | m2://inv/SEXJZZ5NS2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#6878, Yaakov Dori (unknown)
History
- 2026-11-02: add by m2/dev
De Rham curve SEXS4QVKAE
| URI | m2://inv/SEXS4QVKAE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of chaotic maps#KCL0, De Rham curve (definition)
- wikipedia: Wikipedia List of mathematical shapes#C3YL, De Rham curve (definition)
- wikipedia: Wikipedia List of curves#ZXF0, De Rham curve (definition)
History
- 2026-11-02: add by m2/dev
SEXTT317DF SEXTT317DF
| URI | m2://inv/SEXTT317DF |
|---|---|
| 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 2511.05069#CEV5 (statement). In SFQBJBTW8K/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.3.5
SEXYWAWN4D SEXYWAWN4D
| URI | m2://inv/SEXYWAWN4D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16779#A07Z (statement). In 1R7H0ZAHWA/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Iterated function system SEXZ4TK694
| URI | m2://inv/SEXZ4TK694 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#BJZ0, Iterated function system (definition)
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#ZY8Z, Iterated function system (definition)
History
- 2026-11-02: add by m2/dev
Local differential estimates SEXZCRKQCZ
| URI | m2://inv/SEXZCRKQCZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.06308#EKYC, Local differential estimates (statement). In HTWSDDAWGS/e1, lemma B.2
History
- 2026-10-29: add by m2/v0.4.10
Giulio Ascoli SEYD9CD27D
| URI | m2://inv/SEYD9CD27D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giulio Ascoli, Giulio Ascoli (topic). Also Wikidata Q1456853
History
- 2026-11-02: add by m2/dev
SEYFKEZ9HK SEYFKEZ9HK
| URI | m2://inv/SEYFKEZ9HK |
|---|---|
| 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.09482#6J05 (statement). In VYMEQQVMBD/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Rational normal curve SEYM3VEHV9
| URI | m2://inv/SEYM3VEHV9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#RM1O, Rational normal curve (definition)
- wikipedia: Wikipedia List of algebraic geometry topics#TYNX, Rational normal curve (definition)
- wikipedia: Wikipedia List of curves#N6G7, Rational normal curve (definition)
History
- 2026-11-02: add by m2/dev
SEYN0PWSJ0 SEYN0PWSJ0
| URI | m2://inv/SEYN0PWSJ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.05871#P0BQ (statement). In 399GJ6EEC2/e1, corollary 3
History
- 2026-10-27: add by m2/v0.3.5
SEYNDTSSP0 SEYNDTSSP0
| URI | m2://inv/SEYNDTSSP0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InfiniteSets.tex#thm:infiniteSetsSameCardinality (statement). In P1C114YBXG, theorem, section D
History
- 2026-11-01: add by m2/v0.6.13
Explicit periodic data SEYP6E66JV
| URI | m2://inv/SEYP6E66JV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11077#ZJIV, Explicit periodic data (statement). In 4333A6G5K5/e1, proposition A.3
History
- 2026-10-28: add by m2/v0.4.3
Algebra over a field SEYV1JTVBD
| URI | m2://inv/SEYV1JTVBD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebra over a field, Algebra over a field (definition). Also Wikidata Q1000660
History
- 2026-11-02: add by m2/dev
Problem SEYWA7HMQ5
| URI | m2://inv/SEYWA7HMQ5 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mass point geometry#CFEX, Problem (problem)
History
- 2026-11-02: add by m2/dev
Plain folks SEYWFA5QE1
| URI | m2://inv/SEYWFA5QE1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plain folks, Plain folks (definition). Also Wikidata Q7200647
History
- 2026-11-02: add by m2/dev
SEZ76Z30RQ SEZ76Z30RQ
| URI | m2://inv/SEZ76Z30RQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#7ECQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
SEZ8CFYGMV SEZ8CFYGMV
| URI | m2://inv/SEZ8CFYGMV |
|---|---|
| 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.21868#J4DO (statement). In WWAQEF0093/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.4.2
Alexei Semenov SEZAPK19TP
| URI | m2://inv/SEZAPK19TP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexei Semenov (mathematician), Alexei Semenov (topic). Also Wikidata Q4415778
History
- 2026-11-02: add by m2/dev
Discrete Rolle's lemma SEZARY48R6
| URI | m2://inv/SEZARY48R6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19010#2UEF, Discrete Rolle's lemma (statement). In 6315NJBYJM/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
SEZD7K0HBB SEZD7K0HBB
| URI | m2://inv/SEZD7K0HBB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30976#EOV3 (definition). In 4QY9J1A0KT/e1, definition 7
History
- 2026-10-31: add by m2/v0.5.6
Linear independence SEZGGXG9TK
| URI | m2://inv/SEZGGXG9TK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#1RUJ, Linear independence (definition)
History
- 2026-11-02: add by m2/dev
Entropy power inequality SEZMAG5RY9
| URI | m2://inv/SEZMAG5RY9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#I4MU, Entropy power inequality (statement)
- wikipedia: Wikipedia List of inequalities#9SHD, Entropy power inequality (statement)
History
- 2026-11-02: add by m2/dev
the first jump degree of $\Z/p^n$ SEZV2BSKVS
| URI | m2://inv/SEZV2BSKVS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09298#LYOJ, the first jump degree of $\Z/p^n$ (statement). In 1SPQ4J3AWY/e1, theorem 4.9
History
- 2026-10-29: add by m2/v0.4.10