Inventory rows 1G
The cards of the rows of the inventory whose ids start with 1G. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Tarski's high school algebra problem 1G006VB7NZ
| URI | m2://inv/1G006VB7NZ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tarski's high school algebra problem, Tarski's high school algebra problem (problem). Also Wikidata Q7686759
History
- 2026-11-02: add by m2/dev
Abel transformation 1G0DC3XV72
| URI | m2://inv/1G0DC3XV72 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Niels Henrik Abel#LQ7Q, Abel transformation (definition)
History
- 2026-11-02: add by m2/dev
1G0K3KYHYQ 1G0K3KYHYQ
| URI | m2://inv/1G0K3KYHYQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21507#GGXO (statement). In 879ZDHVK7N/e1, theorem 4.8
History
- 2026-10-27: add by m2/v0.4.2
Prescribed output length and error 1G0RF7EKTD
| URI | m2://inv/1G0RF7EKTD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#MTRR, Prescribed output length and error (statement). In ZZER8ZBSCR/e1, proposition 5.8
History
- 2026-10-29: add by m2/v0.4.12
The selected leaf of a finite-level cascade 1G0S95YC5B
| URI | m2://inv/1G0S95YC5B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18350#E5S4, The selected leaf of a finite-level cascade (statement). In A20E8FZS21/e1, lemma A.3
History
- 2026-10-28: add by m2/v0.4.2
1G0YMTT20P 1G0YMTT20P
| URI | m2://inv/1G0YMTT20P |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_exercises.ptx#exercise-8 (exercise). In QKM9DD2H56, exercise, section 9
History
- 2026-11-01: add by m2/v0.6.13
1G18GZGKVS 1G18GZGKVS
| URI | m2://inv/1G18GZGKVS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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 math/0406514#WMUW (statement). In CY1FE8W1ZW/e1, corollary 0.218
History
- 2026-10-27: add by m2/v0.4.0
parallel 1G1AR7CNC5
| URI | m2://inv/1G1AR7CNC5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#INH5, parallel (definition)
History
- 2026-11-02: add by m2/dev
1G1BXMFT0T 1G1BXMFT0T
| URI | m2://inv/1G1BXMFT0T |
|---|---|
| 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.24051#CFP1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
1G1CCPFNZ0 1G1CCPFNZ0
| URI | m2://inv/1G1CCPFNZ0 |
|---|---|
| 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.08198#AY7J (statement). In 50K0H8HRED/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Indescribability conventions 1G1DGGMH76
| URI | m2://inv/1G1DGGMH76 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09086#YOLT, Indescribability conventions (definition). In JPC86V77CH/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
1G1JVFQ9C4 1G1JVFQ9C4
| URI | m2://inv/1G1JVFQ9C4 |
|---|---|
| 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 2012.05048#885C (statement). In NY9HW1E6DY/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Kempner series 1G1MJZYJ6S
| URI | m2://inv/1G1MJZYJ6S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Kempner series Q958DANJNA |
Mentions
- wikidata: Wikidata Q928481, Kempner series (unknown). Also MathWorld KempnerSeries
- wikipedia: Wikipedia Kempner series, Kempner series (definition). Also Wikidata Q928481
History
- 2026-10-26: add by m2/dev
1G1NEHRX8C 1G1NEHRX8C
| URI | m2://inv/1G1NEHRX8C |
|---|---|
| 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.14888#6UN9 (statement). In GN3ZT9DAD9/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Nandita Mitra 1G1T1M7E6M
| URI | m2://inv/1G1T1M7E6M |
|---|---|
| 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#9JK9, Nandita Mitra (unknown)
History
- 2026-11-02: add by m2/dev
1G263C10WQ 1G263C10WQ
| URI | m2://inv/1G263C10WQ |
|---|---|
| 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 2607.27272#JJWE (statement). In BDEA3TDATY/e1, theorem E
History
- 2026-10-27: add by m2/v0.3.5
1G2QYYSB8A 1G2QYYSB8A
| URI | m2://inv/1G2QYYSB8A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09812#ZHA4 (statement). In NWWKD8YX57/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
1G2SPBJH3X 1G2SPBJH3X
| URI | m2://inv/1G2SPBJH3X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#thm:dpath-forall (statement). In N54F33XE07, lem, section 1.9
History
- 2026-11-01: add by m2/v0.6.13
Sunil Mukhi 1G2T063MXN
| URI | m2://inv/1G2T063MXN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#5LDR, Sunil Mukhi (unknown)
History
- 2026-11-02: add by m2/dev
1G2TPTMFTW 1G2TPTMFTW
| URI | m2://inv/1G2TPTMFTW |
|---|---|
| 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.14189#SJYX (statement). In 39VAB08YDJ/e1, theorem 6.2
History
- 2026-10-28: add by m2/v0.4.2
preadditive category 1G34WNX7N9
| URI | m2://inv/1G34WNX7N9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Preadditive category SC6FD5F4J0 |
Mentions
- wikidata: Wikidata Q2099981, preadditive category (definition). Also nLab pre-additive category, ProofWiki Definition:Preadditive_Category
- wikipedia: Wikipedia Preadditive category, Preadditive category (definition). Also Wikidata Q2099981
History
- 2026-10-26: add by m2/dev
1G3EC9HK7N 1G3EC9HK7N
| URI | m2://inv/1G3EC9HK7N |
|---|---|
| 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 0911.1417#PCUN (statement). In BBD7TZW79R/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
1G3F0FHJP8 1G3F0FHJP8
| URI | m2://inv/1G3F0FHJP8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06810#8SLS (statement). In 1NY2SA03XF/e1, theorem 3.8
History
- 2026-10-29: add by m2/v0.4.10
Space of Controlled Paths - 1G3FKH1Q8R
| URI | m2://inv/1G3FKH1Q8R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.06473#TIRO, Space of Controlled Paths - (definition). In P1MYSYHSGX/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Tail of the hub-return density 1G3MGDWTCV
| URI | m2://inv/1G3MGDWTCV |
|---|---|
| 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.27335#YF2U, Tail of the hub-return density (statement)
History
- 2026-11-01: add by m2/v0.6.15
Milliken–Taylor theorem 1G47YQHT8Y
| URI | m2://inv/1G47YQHT8Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6859648, Milliken–Taylor theorem (statement). Also Wikidata Q6859648
- thousand_plus: thousand_plus Q6859648, Milliken–Taylor theorem (statement). Also Wikidata Q6859648, Wikipedia Milliken–Taylor theorem
- wikipedia: Wikipedia Milliken–Taylor theorem, Milliken–Taylor theorem (statement). Also Wikidata Q6859648
History
- 2026-10-26: add by m2/dev
Aleph exponentiation 1G4AT279VQ
| URI | m2://inv/1G4AT279VQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardinal number#H9W6, Aleph exponentiation (unknown)
History
- 2026-11-02: add by m2/dev
1G4GHAHSFF 1G4GHAHSFF
| URI | m2://inv/1G4GHAHSFF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#thm:contr-paths (statement). In N54F33XE07, lem, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Uses 1G4PDJHJWP
| URI | m2://inv/1G4PDJHJWP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigid category#SZRA, Uses (example)
History
- 2026-11-02: add by m2/dev
Erdős–Dushnik–Miller theorem 1G4R5W338F
| URI | m2://inv/1G4R5W338F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#GEDK, Erdős–Dushnik–Miller theorem (statement)
History
- 2026-11-02: add by m2/dev
John Aston 1G4REM40GN
| URI | m2://inv/1G4REM40GN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Royal Statistical Society#UXLG, John Aston (topic)
History
- 2026-11-02: add by m2/dev
Examples 1G52PKC6DA
| URI | m2://inv/1G52PKC6DA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite group#D5OO, Examples (example)
History
- 2026-11-02: add by m2/dev
Rahul Mukerjee 1G553FRC8X
| URI | m2://inv/1G553FRC8X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#IXM0, Rahul Mukerjee (unknown)
History
- 2026-11-02: add by m2/dev
European Union Statistics on Income and Living Conditions 1G5ATVA7M6
| URI | m2://inv/1G5ATVA7M6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia European Union Statistics on Income and Living Conditions, European Union Statistics on Income and Living Conditions (definition). Also Wikidata Q19604390
History
- 2026-11-02: add by m2/dev
accessible 1G5F5NDE9W
| URI | m2://inv/1G5F5NDE9W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#U4AZ, accessible (definition)
History
- 2026-11-02: add by m2/dev
1G5WYR28BH 1G5WYR28BH
| URI | m2://inv/1G5WYR28BH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39539#D7Z9 (definition). In GVR218P3ZR/e1, definition 10.0.2
History
- 2026-10-30: add by m2/v0.4.12
Heinrich Schotten 1G5Y08G3ZV
| URI | m2://inv/1G5Y08G3ZV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heinrich Schotten, Heinrich Schotten (topic). Also Wikidata Q32860769
History
- 2026-11-02: add by m2/dev
Applications 1G608RY6NC
| URI | m2://inv/1G608RY6NC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tannakian formalism#WQWP, Applications (example)
History
- 2026-11-02: add by m2/dev
1G680FZS1H 1G680FZS1H
| URI | m2://inv/1G680FZS1H |
|---|---|
| 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.21692#D4XD (statement). In CT4N0JGDP4/e1, lemma B.1
History
- 2026-10-27: add by m2/v0.4.2
Py 1G6FK863KE
| URI | m2://inv/1G6FK863KE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Py (cipher), Py (definition). Also Wikidata Q3411162
History
- 2026-11-02: add by m2/dev
Kutta–Joukowski theorem 1G6KW72HB4
| URI | m2://inv/1G6KW72HB4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1752988, Kutta–Joukowski theorem (statement). Also Wikidata Q1752988
- thousand_plus: thousand_plus Q1752988, Kutta–Joukowski theorem (statement). Also Wikidata Q1752988, Wikipedia Kutta–Joukowski theorem
- wikipedia: Wikipedia Kutta–Joukowski theorem, Kutta–Joukowski theorem (statement). Also Wikidata Q1752988
History
- 2026-10-26: add by m2/dev
1G6Q5NS30P 1G6Q5NS30P
| URI | m2://inv/1G6Q5NS30P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30200#2T3O (statement)
History
- 2026-11-01: add by m2/v0.6.15
1G6T4M5NRW 1G6T4M5NRW
| URI | m2://inv/1G6T4M5NRW |
|---|---|
| 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.13745#UHCQ (statement). In CFJH0Q39FZ/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.2
1G6W7M4Z5K 1G6W7M4Z5K
| URI | m2://inv/1G6W7M4Z5K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#I3GE (statement). In BDN507RN7J/e1, proposition 5.2.6
History
- 2026-10-30: add by m2/v0.4.12
faithful functor 1G71PT6ENK
| URI | m2://inv/1G71PT6ENK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12175350, faithful functor (definition). Also nLab faithful functor, ProofWiki Definition:Faithful_Functor
History
- 2026-10-26: add by m2/dev
1G73BD6RGN 1G73BD6RGN
| URI | m2://inv/1G73BD6RGN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.10268#WHJR (statement). In YR15TN4V4F/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.5
1G75PZ7MK6 1G75PZ7MK6
| URI | m2://inv/1G75PZ7MK6 |
|---|---|
| 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 0910.4613#753V (statement). In SYPZ9055PN/e1, corollary 2
History
- 2026-10-27: add by m2/v0.3.5
Exchange matrix 1G7DP5HEQ1
| URI | m2://inv/1G7DP5HEQ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exchange matrix, Exchange matrix (definition). Also Wikidata Q3750339
History
- 2026-11-02: add by m2/dev
1G7F51DK7B 1G7F51DK7B
| URI | m2://inv/1G7F51DK7B |
|---|---|
| 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.26357#UOAE (statement)
History
- 2026-11-01: add by m2/v0.6.15
1G7N0XJ6JY 1G7N0XJ6JY
| URI | m2://inv/1G7N0XJ6JY |
|---|---|
| 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.08664#N88N (statement). In 1YY0P4ZS0T/e1, proposition 41
History
- 2026-10-29: add by m2/v0.4.10
Formal definition 1G7TSK2N6V
| URI | m2://inv/1G7TSK2N6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov partition#A10O, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Glagolitic numerals 1G7VKX8G2X
| URI | m2://inv/1G7VKX8G2X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glagolitic numerals, Glagolitic numerals (definition). Also Wikidata Q1529123
History
- 2026-11-02: add by m2/dev
1G7Z721GF1 1G7Z721GF1
| URI | m2://inv/1G7Z721GF1 |
|---|---|
| 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.04323#NAPW (statement). In 3Z0D2NCJ0B/e1, lemma 19
History
- 2026-10-29: add by m2/v0.4.12
1G82S5P4CV 1G82S5P4CV
| URI | m2://inv/1G82S5P4CV |
|---|---|
| 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.10796#I4GD (statement). In 9YDW0QJZ6K/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.3
Weyl law for the harmonic oscillator 1G8A17ACZC
| URI | m2://inv/1G8A17ACZC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.05391#JXI1, Weyl law for the harmonic oscillator (statement). In 9B5TNEBJHV/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.10
Examples 1G8A88EYKV
| URI | m2://inv/1G8A88EYKV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gerbe#AGYW, Examples (example)
History
- 2026-11-02: add by m2/dev
1G8E9T4RCC 1G8E9T4RCC
| URI | m2://inv/1G8E9T4RCC |
|---|---|
| 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.26386#TNDO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Galois ring 1G8EB1CK46
| URI | m2://inv/1G8EB1CK46 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Galois ring, Galois ring (definition). Also Wikidata Q110542921
History
- 2026-11-02: add by m2/dev
pseudogroup 1G8HQZ9061
| URI | m2://inv/1G8HQZ9061 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Pseudogroup 3017J7P6JD |
Mentions
- wikidata: Wikidata Q4382845, pseudogroup (unknown). Also nLab pseudogroup
- wikipedia: Wikipedia Pseudogroup, Pseudogroup (definition). Also Wikidata Q4382845
History
- 2026-10-26: add by m2/dev
An infinite full-separation family 1G8RQQ9THH
| URI | m2://inv/1G8RQQ9THH |
|---|---|
| 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.23781#4WU9, An infinite full-separation family (statement)
History
- 2026-11-02: add by m2/v0.6.17
1G8VTWF5WP 1G8VTWF5WP
| URI | m2://inv/1G8VTWF5WP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28336#N14Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
1G9F5SQF36 1G9F5SQF36
| URI | m2://inv/1G9F5SQF36 |
|---|---|
| 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.32439#KRYO (statement). In GD8D1YH7K4/e1, theorem 2.8
History
- 2026-10-31: add by m2/v0.5.6
Roderick J. A. Little 1G9FF7Y9RH
| URI | m2://inv/1G9FF7Y9RH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roderick J. A. Little, Roderick J. A. Little (topic). Also Wikidata Q102116817
History
- 2026-11-02: add by m2/dev
Achiral tetrahedral symmetry 1G9HKBJSV4
| URI | m2://inv/1G9HKBJSV4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrahedral symmetry#SEVP, Achiral tetrahedral symmetry (unknown)
History
- 2026-11-02: add by m2/dev
Jaqueline Mesquita 1G9HRMMVAE
| URI | m2://inv/1G9HRMMVAE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jaqueline Mesquita, Jaqueline Mesquita (topic). Also Wikidata Q95733486
History
- 2026-11-02: add by m2/dev
Expected risk in terms of conditional variance 1G9KB7SV6J
| URI | m2://inv/1G9KB7SV6J |
|---|---|
| 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.15202#69NG, Expected risk in terms of conditional variance (statement). In X1FPG0KYBM/e1, theorem G.1
History
- 2026-10-28: add by m2/v0.4.2
A general class with a fixed abscissa 1G9Q6M2Q34
| URI | m2://inv/1G9Q6M2Q34 |
|---|---|
| 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#28CR, A general class with a fixed abscissa (statement). In W0PQMW25VY/e1, corollary 3.4
History
- 2026-10-30: add by m2/v0.4.12
1G9QW9HCA0 1G9QW9HCA0
| URI | m2://inv/1G9QW9HCA0 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#proof-21 (proof). In N54F33XE07, proof, section B.3.3
History
- 2026-11-01: add by m2/v0.6.13
Demographics of Penang 1G9S7ZMBJX
| URI | m2://inv/1G9S7ZMBJX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Penang, Demographics of Penang (definition). Also Wikidata Q129642735
History
- 2026-11-02: add by m2/dev
1G9V63T3JN 1G9V63T3JN
| URI | m2://inv/1G9V63T3JN |
|---|---|
| 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 2509.21444#FEWZ (statement). In CTVPA2FQT1/e1, proposition 3.1.1
History
- 2026-10-27: add by m2/v0.4.0
Intersecting secants theorem, intersecting chords theorem 1GA5Y28XVJ
| URI | m2://inv/1GA5Y28XVJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power of a point#1MJE, Intersecting secants theorem, intersecting chords theorem (statement)
History
- 2026-11-02: add by m2/dev
1GA6YBQAEQ 1GA6YBQAEQ
| URI | m2://inv/1GA6YBQAEQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 15.1
History
- 2026-11-01: add by m2/v0.6.13
Unión Matemática de América Latina y el Caribe 1GAFC38D0K
| URI | m2://inv/1GAFC38D0K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#57T6, Unión Matemática de América Latina y el Caribe (unknown)
History
- 2026-11-02: add by m2/dev
Marshall–Olkin exponential distribution 1GARE6W023
| URI | m2://inv/1GARE6W023 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#HG03, Marshall–Olkin exponential distribution (definition)
History
- 2026-11-02: add by m2/dev
M22 graph 1GAS91FFX6
| URI | m2://inv/1GAS91FFX6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115451, M22 graph (unknown). Also House of Graphs 1221, MathWorld M22Graph
- wikipedia: Wikipedia M22 graph, M22 graph (definition). Also Wikidata Q3115451
History
- 2026-10-26: add by m2/dev
1GASGFNRSV 1GASGFNRSV
| URI | m2://inv/1GASGFNRSV |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30323#DA30 (problem). In HDJ6N25XVT/e1, problem 1.3
History
- 2026-10-31: add by m2/v0.5.6
1GAZ8ADYWG 1GAZ8ADYWG
| URI | m2://inv/1GAZ8ADYWG |
|---|---|
| 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.33771#2RHX (statement). In ZXQA7QH0H0/e1, lemma 2.8
History
- 2026-10-30: add by m2/v0.4.12
1GB44B1HTS 1GB44B1HTS
| URI | m2://inv/1GB44B1HTS |
|---|---|
| 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.33451#1BVB (statement). In HGP7BN6QFD/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
1GBAA1PKYW 1GBAA1PKYW
| URI | m2://inv/1GBAA1PKYW |
|---|---|
| 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 2607.28337#SW9M (definition). In 7ZJFWBTBKM/e1, definition 2.2.1
History
- 2026-10-27: add by m2/v0.3.6
1GBC630WAD 1GBC630WAD
| URI | m2://inv/1GBC630WAD |
|---|---|
| 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 2505.04063#0LA8 (statement). In TFH7T63DX9/e1, lemma S.17
History
- 2026-10-27: add by m2/v0.3.5
1GBNNFFQXS 1GBNNFFQXS
| URI | m2://inv/1GBNNFFQXS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.04758#SNK5 (statement). In DRWDJG2G3S/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
c.f. 1GBVDJC1KH
| URI | m2://inv/1GBVDJC1KH |
|---|---|
| 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 2504.00267#FKG1, c.f. (statement). In 38XJWDZ2PH/e1, theorem 3.18
History
- 2026-10-27: add by m2/v0.3.5
1GBWYZ9TA0 1GBWYZ9TA0
| URI | m2://inv/1GBWYZ9TA0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17045#4CVJ (statement). In PA6JQDSKQT/e1, corollary 3.32
History
- 2026-10-28: add by m2/v0.4.2
1GBYHSGAYP 1GBYHSGAYP
| URI | m2://inv/1GBYHSGAYP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.00191#ZDMM (definition). In ZMH2KJDAWJ/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.3.5
Finnish Mathematical Society 1GBZHQYBT2
| URI | m2://inv/1GBZHQYBT2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#BKD8, Finnish Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
Ibn 'Adlan 1GC1DH7BGG
| URI | m2://inv/1GC1DH7BGG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#7UU6, Ibn 'Adlan (topic)
History
- 2026-11-02: add by m2/dev
Generalized star-height problem 1GC27P9GK7
| URI | m2://inv/1GC27P9GK7 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#X6SV, Generalized star-height problem (conjecture)
History
- 2026-11-02: add by m2/dev
1GC3RW0N73 1GC3RW0N73
| URI | m2://inv/1GC3RW0N73 |
|---|---|
| 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#SG20 (statement). In 8AHN9GSRMR/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.4.0
Harry Kesten 1GCD6RTD2Z
| URI | m2://inv/1GCD6RTD2Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#1KI6, Harry Kesten (topic)
History
- 2026-11-02: add by m2/dev
Gustav A. Hedlund 1GCG59BE2B
| URI | m2://inv/1GCG59BE2B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gustav A. Hedlund, Gustav A. Hedlund (topic). Also Wikidata Q1555939
History
- 2026-11-02: add by m2/dev
1GCKYSVSGW 1GCKYSVSGW
| URI | m2://inv/1GCKYSVSGW |
|---|---|
| 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.25656#5WBN (statement)
History
- 2026-11-01: add by m2/v0.6.15
1GCWJY1KNQ 1GCWJY1KNQ
| URI | m2://inv/1GCWJY1KNQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27295#UP98 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Statement 1GD0DWGV6P
| URI | m2://inv/1GD0DWGV6P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric function theory#V6TJ, Statement (statement)
History
- 2026-11-02: add by m2/dev
Pointwise Equality at the Head Yields Type Equality 1GD1M4C0P1
| URI | m2://inv/1GD1M4C0P1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#06JH, Pointwise Equality at the Head Yields Type Equality (statement). In CPYWHRTPKC/e1, corollary 4.14
History
- 2026-10-27: add by m2/v0.4.2
matching 1GD4FHMGBJ
| URI | m2://inv/1GD4FHMGBJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/14.2/matching, matching (concept). In QKM9DD2H56, index, section 14.2
History
- 2026-11-01: add by m2/v0.6.13
1GDA1GHYT2 1GDA1GHYT2
| URI | m2://inv/1GDA1GHYT2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08594#WNFM (statement). In FEE70SSD96/e1, theorem 1.6
History
- 2026-10-29: add by m2/v0.4.10
Equality in the dual defect bounds 1GDF50Q8QN
| URI | m2://inv/1GDF50Q8QN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-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.06739#1KFM, Equality in the dual defect bounds (statement). In HA9B7PD0YV/e1, corollary 36
History
- 2026-10-29: add by m2/v0.4.10
Joseph Kruskal 1GDN684WVG
| URI | m2://inv/1GDN684WVG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#OQI1, Joseph Kruskal (unknown)
History
- 2026-11-02: add by m2/dev
Ibn al-Durayhim 1GDNN2ZTT4
| URI | m2://inv/1GDNN2ZTT4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ibn al-Durayhim, Ibn al-Durayhim (topic). Also Wikidata Q5984298
History
- 2026-11-02: add by m2/dev
Alexander Holevo 1GDRSS4MER
| URI | m2://inv/1GDRSS4MER |
|---|---|
| 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#AA9G, Alexander Holevo (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OVDX, Alexander Holevo (topic)
History
- 2026-11-02: add by m2/dev
Examples 1GDYVH850S
| URI | m2://inv/1GDYVH850S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary topos#W588, Examples (example)
History
- 2026-11-02: add by m2/dev
Classical solution, case I: $V\geq 0$ 1GE09JD2ZK
| URI | m2://inv/1GE09JD2ZK |
|---|---|
| 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 2110.12380#RVOI, Classical solution, case I: $V\geq 0$ (statement). In M6MQPEDQ8N/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Shortest common supersequence 1GE0YF330X
| URI | m2://inv/1GE0YF330X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shortest common supersequence, Shortest common supersequence (definition). Also Wikidata Q11789272
History
- 2026-11-02: add by m2/dev
Examples 1GE18NPMQW
| URI | m2://inv/1GE18NPMQW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delta operator#15XH, Examples (example)
History
- 2026-11-02: add by m2/dev
1GE3EYA2GY 1GE3EYA2GY
| URI | m2://inv/1GE3EYA2GY |
|---|---|
| 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 1011.4141#6AEV (statement). In YQ4JYF18NH/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.3.5
Dukic, Vanja 1GE806T59R
| URI | m2://inv/1GE806T59R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#FCC0, Dukic, Vanja (topic)
History
- 2026-11-02: add by m2/dev
Remark on the axioms 1GEKG01FDK
| URI | m2://inv/1GEKG01FDK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Region connection calculus#R3LA, Remark on the axioms (statement)
History
- 2026-11-02: add by m2/dev
1GEN5AZC4P 1GEN5AZC4P
| URI | m2://inv/1GEN5AZC4P |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20656#BPMN (example)
History
- 2026-11-02: add by m2/v0.6.18
Algorithm 1GEQ9CQC7M
| URI | m2://inv/1GEQ9CQC7M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MinHash#NTZC, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Row regularity of finite-order strong-form linear constraints 1GEQVE9V33
| URI | m2://inv/1GEQVE9V33 |
|---|---|
| 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.04357#8WWB, Row regularity of finite-order strong-form linear constraints (statement). In 6FY8BVP1F3/e1, proposition C.8
History
- 2026-10-29: add by m2/v0.4.12
pseudo-ordinal 1GEW2SDW5S
| URI | m2://inv/1GEW2SDW5S |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/pseudo-ordinal, pseudo-ordinal (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
1GF092GP6S 1GF092GP6S
| URI | m2://inv/1GF092GP6S |
|---|---|
| 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.07180#SLWK (statement). In TM4H1RV0BQ/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
1GF0QBVWE7 1GF0QBVWE7
| URI | m2://inv/1GF0QBVWE7 |
|---|---|
| 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.02628#4LFO (statement). In G4S9C5M1A4/e1, theorem C.6
History
- 2026-10-29: add by m2/v0.4.12
Dmitry Dyakonov 1GFEXRZTCY
| URI | m2://inv/1GFEXRZTCY |
|---|---|
| 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 Q1232502, Dmitry Dyakonov (unknown). Also nLab Dmitri Diakonov
History
- 2026-10-26: add by m2/dev
Tor functor 1GFJDQ1D0Y
| URI | m2://inv/1GFJDQ1D0Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Tor functor DDQRERAQCV |
Mentions
- wikidata: Wikidata Q988381, Tor functor (unknown). Also nLab Tor
- wikipedia: Wikipedia Tor functor, Tor functor (definition). Also Wikidata Q988381
History
- 2026-10-26: add by m2/dev
Extensions 1GFK8Y1HT7
| URI | m2://inv/1GFK8Y1HT7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kneser's theorem (differential equations)#W126, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Doubling inequality 1GFKBMATVE
| URI | m2://inv/1GFKBMATVE |
|---|---|
| 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.18252#DXAU, Doubling inequality (statement). In PSQ3CNVK2D/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
secretary problem 1GFRF0G8BV
| URI | m2://inv/1GFRF0G8BV |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Secretary problem SXE9KQ02YE |
Mentions
- wikidata: Wikidata Q1372364, secretary problem (problem). Also MathWorld SultansDowryProblem
- wikipedia: Wikipedia Secretary problem, Secretary problem (problem). Also Wikidata Q1372364
History
- 2026-10-26: add by m2/dev
Haverstraw 1GFSRQ0T77
| URI | m2://inv/1GFSRQ0T77 |
|---|---|
| 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#9PCA, Haverstraw (unknown)
History
- 2026-11-02: add by m2/dev
axis-convexity 1GFV1VRMVW
| URI | m2://inv/1GFV1VRMVW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14051#92B3, axis-convexity (statement). In ZQ78SP5JBS/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Lek-Heng Lim 1GFX6ZMY2X
| URI | m2://inv/1GFX6ZMY2X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lek-Heng Lim, Lek-Heng Lim (topic). Also Wikidata Q46993003
History
- 2026-11-02: add by m2/dev
1GG8M05TZS 1GG8M05TZS
| URI | m2://inv/1GG8M05TZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24623#FFDM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Aaron Brown 1GGEX24SQJ
| URI | m2://inv/1GGEX24SQJ |
|---|---|
| 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#DDK2, Aaron Brown (unknown)
History
- 2026-11-02: add by m2/dev
1GGG4Z1GG3 1GGG4Z1GG3
| URI | m2://inv/1GGG4Z1GG3 |
|---|---|
| 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 2609.21403#1EGK (definition)
History
- 2026-11-02: add by m2/v0.6.18
TEOS-10 1GGJAD9610
| URI | m2://inv/1GGJAD9610 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TEOS-10, TEOS-10 (definition). Also Wikidata Q107040817
History
- 2026-11-02: add by m2/dev
1GH15X3XC8 1GH15X3XC8
| URI | m2://inv/1GH15X3XC8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23237#T32L (definition)
History
- 2026-11-02: add by m2/v0.6.17
1GH4WG8XQ2 1GH4WG8XQ2
| URI | m2://inv/1GH4WG8XQ2 |
|---|---|
| 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 2212.01916#58SS (statement). In XTGB5Z08YH/e1, corollary 4.5
History
- 2026-10-27: add by m2/v0.4.0
1GH6ZT47C5 1GH6ZT47C5
| URI | m2://inv/1GH6ZT47C5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#5YJ8 (definition). In REDG6QVHM3/e1, definition 5.4
History
- 2026-10-29: add by m2/v0.4.12
1GHCAH4RZV 1GHCAH4RZV
| URI | m2://inv/1GHCAH4RZV |
|---|---|
| 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.19360#HQLJ (statement). In MFCW5CY96C/e1, lemma 30
History
- 2026-10-28: add by m2/v0.4.2
1GHE50ZHZ4 1GHE50ZHZ4
| URI | m2://inv/1GHE50ZHZ4 |
|---|---|
| Kind | statement |
| 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.29747#ZAVI (statement)
History
- 2026-11-01: add by m2/v0.6.15
1GHH1HSKNP 1GHH1HSKNP
| URI | m2://inv/1GHH1HSKNP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14318#VG9S (statement). In HA4SZZJ831/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Fallacies of illicit transference 1GJ0D62QDM
| URI | m2://inv/1GJ0D62QDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fallacies of illicit transference, Fallacies of illicit transference (definition). Also Wikidata Q2911615
History
- 2026-11-02: add by m2/dev
Finite form of the graph minor theorem 1GJ2V5WMKQ
| URI | m2://inv/1GJ2V5WMKQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robertson–Seymour theorem#K9TO, Finite form of the graph minor theorem (statement)
History
- 2026-11-02: add by m2/dev
modular group 1GJ7SXBSD9
| URI | m2://inv/1GJ7SXBSD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Modular group VEKV1EM77B |
Mentions
- wikidata: Wikidata Q1834342, modular group (unknown). Also MathWorld ModularGroupGamma
- wikipedia: Wikipedia Modular group, Modular group (definition). Also Wikidata Q1834342
History
- 2026-10-26: add by m2/dev
$m$-cartesian structures 1GJDQKYF62
| URI | m2://inv/1GJDQKYF62 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#2FZ9, $m$-cartesian structures (definition). In BDN507RN7J/e1, definition 3.5.3
History
- 2026-10-30: add by m2/v0.4.12
Definitions and notations 1GJHX61N8G
| URI | m2://inv/1GJHX61N8G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Push–relabel maximum flow algorithm#8U16, Definitions and notations (definition)
History
- 2026-11-02: add by m2/dev
Ramamurti Shankar 1GJS9VESZF
| URI | m2://inv/1GJS9VESZF |
|---|---|
| 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 Q2129979, Ramamurti Shankar (unknown). Also nLab Ramamurti Shankar
History
- 2026-10-26: add by m2/dev
1GJZYHFHP0 1GJZYHFHP0
| URI | m2://inv/1GJZYHFHP0 |
|---|---|
| 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 2409.20170#IOTF (statement). In QXJP79APHN/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
incomplete elliptic integral of the first kind 1GKBPZ27PR
| URI | m2://inv/1GKBPZ27PR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109752309, incomplete elliptic integral of the first kind (unknown). Also MathWorld EllipticIntegraloftheFirstKind
History
- 2026-10-26: add by m2/dev
1GKJ7ES43W 1GKJ7ES43W
| URI | m2://inv/1GKJ7ES43W |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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.22394#ZVY7 (example)
History
- 2026-11-02: add by m2/v0.6.17
Applications 1GKJC84F7G
| URI | m2://inv/1GKJC84F7G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decision Linear assumption#SXHG, Applications (example)
History
- 2026-11-02: add by m2/dev
Jill Barnholtz-Sloan 1GKKA03P20
| URI | m2://inv/1GKKA03P20 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jill Barnholtz-Sloan, Jill Barnholtz-Sloan (topic). Also Wikidata Q61089748
History
- 2026-11-02: add by m2/dev
1GKPT4Y3PB 1GKPT4Y3PB
| URI | m2://inv/1GKPT4Y3PB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.16205#P0BS (statement). In 3GE9PS9AH0/e1, theorem 2.0.2
History
- 2026-10-27: add by m2/v0.3.5
Back-and-forth method 1GKS37KY6G
| URI | m2://inv/1GKS37KY6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Back-and-forth method, Back-and-forth method (definition). Also Wikidata Q4839003
History
- 2026-11-02: add by m2/dev
Total variation diminishing 1GKW813XR6
| URI | m2://inv/1GKW813XR6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Total variation diminishing, Total variation diminishing (definition). Also Wikidata Q7828154
History
- 2026-11-02: add by m2/dev
Phylogenetic tree 1GKXEH43KB
| URI | m2://inv/1GKXEH43KB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phylogenetic tree, Phylogenetic tree (definition). Also Wikidata Q242125
History
- 2026-11-02: add by m2/dev
Galois square class 1GM32DMNDS
| URI | m2://inv/1GM32DMNDS |
|---|---|
| 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.08664#N6JT, Galois square class (definition). In 1YY0P4ZS0T/e1, definition 57
History
- 2026-10-29: add by m2/v0.4.10
1GM5T2BMRE 1GM5T2BMRE
| URI | m2://inv/1GM5T2BMRE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19854#UTI1 (statement). In D50WST4CG3/e1, theorem 8.3
History
- 2026-10-28: add by m2/v0.4.2
1GM9QPZ7CS 1GM9QPZ7CS
| URI | m2://inv/1GM9QPZ7CS |
|---|---|
| Kind | example |
| 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 2605.29624#47DN (example). In TAD5A4R089/e1, example 4.1
History
- 2026-10-27: add by m2/v0.3.5
Discriminant of an algebraic number field 1GN03A8H2E
| URI | m2://inv/1GN03A8H2E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discriminant of an algebraic number field, Discriminant of an algebraic number field (definition). Also Wikidata Q1228885
History
- 2026-11-02: add by m2/dev
1GN05DEZ3B 1GN05DEZ3B
| URI | m2://inv/1GN05DEZ3B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#IIW2 (statement). In QHFP0837Q8/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.12
1GN0MKH0NS 1GN0MKH0NS
| URI | m2://inv/1GN0MKH0NS |
|---|---|
| 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.12329#EIVF (statement). In ZJQB9W60T6/e1, corollary 3.11
History
- 2026-10-28: add by m2/v0.4.2
Accuracy of the formula 1GN47GB9JX
| URI | m2://inv/1GN47GB9JX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bhāskara I's sine approximation formula#13WO, Accuracy of the formula (statement)
History
- 2026-11-02: add by m2/dev
1GN7V4K00T 1GN7V4K00T
| URI | m2://inv/1GN7V4K00T |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 60-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.10481#AJBN (conjecture). In ETV3D93XYD/e1, conjecture 2
History
- 2026-10-29: add by m2/v0.4.10
1GN9WQRF34 1GN9WQRF34
| URI | m2://inv/1GN9WQRF34 |
|---|---|
| Kind | example |
| 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.23605#4DWJ (example)
History
- 2026-11-02: add by m2/v0.6.17
1GNAC8B3X5 1GNAC8B3X5
| URI | m2://inv/1GNAC8B3X5 |
|---|---|
| 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.31220#RP82 (statement). In JMWCGMNE84/e1, theorem 5.5
History
- 2026-10-31: add by m2/v0.5.6
1GNB96KVKQ 1GNB96KVKQ
| URI | m2://inv/1GNB96KVKQ |
|---|---|
| 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 2203.15223#IFOY (statement). In HSY17Q75DM/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
Interval finite element 1GNC99XJAV
| URI | m2://inv/1GNC99XJAV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#4EPB, Interval finite element (definition)
History
- 2026-11-02: add by m2/dev
1GNGYA8AVV 1GNGYA8AVV
| URI | m2://inv/1GNGYA8AVV |
|---|---|
| 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.01656#2U5L (statement). In AHGQZ89DY0/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
abstract family of languages 1GNHE0Z5SZ
| URI | m2://inv/1GNHE0Z5SZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3065587, abstract family of languages (unknown). Also EoM Abstract_family_of_languages
- wikipedia: Wikipedia Abstract family of languages, Abstract family of languages (definition). Also Wikidata Q3065587
History
- 2026-10-26: add by m2/dev
Properties 1GNKJVKPXR
| URI | m2://inv/1GNKJVKPXR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doubly stochastic matrix#9YWI, Properties (statement)
History
- 2026-11-02: add by m2/dev
Compact Kantorovich duality 1GNM9WQ1WR
| URI | m2://inv/1GNM9WQ1WR |
|---|---|
| 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.24716#DSMD, Compact Kantorovich duality (statement)
History
- 2026-11-01: add by m2/v0.6.15
1GNSGVDK4S 1GNSGVDK4S
| URI | m2://inv/1GNSGVDK4S |
|---|---|
| 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 2501.17276#70KH (statement). In EWKHA675JY/e1, lemma 4.10
History
- 2026-10-27: add by m2/v0.3.5
Variational message passing 1GP2FQVJC9
| URI | m2://inv/1GP2FQVJC9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variational message passing, Variational message passing (definition). Also Wikidata Q7915799
History
- 2026-11-02: add by m2/dev
1GP7FAE8J9 1GP7FAE8J9
| URI | m2://inv/1GP7FAE8J9 |
|---|---|
| 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.14154#92Y7 (statement). In 8X6PXX2TRA/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
second derivative 1GP9K8TZ0N
| URI | m2://inv/1GP9K8TZ0N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.6.3/second-derivative, second derivative (concept). In 907G4C4EJ1, index, section 1.6.3
History
- 2026-11-01: add by m2/v0.6.13
1GPC7H4ZAV 1GPC7H4ZAV
| URI | m2://inv/1GPC7H4ZAV |
|---|---|
| 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.25038#FVSI (statement)
History
- 2026-11-01: add by m2/v0.6.15
1GPGRP9AHB 1GPGRP9AHB
| URI | m2://inv/1GPGRP9AHB |
|---|---|
| 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.19437#OIDV (statement). In 9PXXGQ978Z/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Quasi-likelihood 1GPKY4N83M
| URI | m2://inv/1GPKY4N83M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-likelihood, Quasi-likelihood (definition). Also Wikidata Q7269460
History
- 2026-11-02: add by m2/dev
Borel graph theorem 1GPNQ1T0QR
| URI | m2://inv/1GPNQ1T0QR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed graph theorem (functional analysis)#N2VR, Borel graph theorem (statement)
History
- 2026-11-02: add by m2/dev
Rate Threshold, Classical Setting 1GPX2CJH6J
| URI | m2://inv/1GPX2CJH6J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#0FLG, Rate Threshold, Classical Setting (definition). In 7MVPNFPRKB/e1, definition 8.7
History
- 2026-10-30: add by m2/v0.4.12
1GPZ10QF3W 1GPZ10QF3W
| URI | m2://inv/1GPZ10QF3W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2408.13548#5WGW (statement). In EQF1ZQ5K1S/e1, theorem 3.11
History
- 2026-10-27: add by m2/v0.4.0
1GQ0JXV0SK 1GQ0JXV0SK
| URI | m2://inv/1GQ0JXV0SK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21181#5PY8 (example). In 3D0GJXDY11/e1, example 5.9
History
- 2026-10-27: add by m2/v0.4.2
1GQ3C600NK 1GQ3C600NK
| URI | m2://inv/1GQ3C600NK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20558#O580 (statement). In 46370P3Y9S/e1, corollary 5.23
History
- 2026-10-27: add by m2/v0.4.2
1GQ3JRR76V 1GQ3JRR76V
| URI | m2://inv/1GQ3JRR76V |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#proof-22 (proof). In E59CDZA4DP, proof, section 11.4.1
History
- 2026-11-01: add by m2/v0.6.13
Finite graph 1GQ938TKE4
| URI | m2://inv/1GQ938TKE4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph (discrete mathematics)#K1CU, Finite graph (unknown)
History
- 2026-11-02: add by m2/dev
Inverse function theorem 1GQD5ZJ71V
| URI | m2://inv/1GQD5ZJ71V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse function theorem#99TD, Inverse function theorem (statement)
History
- 2026-11-02: add by m2/dev
Alison Motsinger-Reif 1GQEZ9PGTQ
| URI | m2://inv/1GQEZ9PGTQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alison Motsinger-Reif, Alison Motsinger-Reif (topic). Also Wikidata Q52448430
History
- 2026-11-02: add by m2/dev
Last Year at Marienbad 1GQRFDNDNS
| URI | m2://inv/1GQRFDNDNS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q225355, Last Year at Marienbad (unknown). Also MathWorld Marienbad
History
- 2026-10-26: add by m2/dev
1GQZ1A3CVB 1GQZ1A3CVB
| URI | m2://inv/1GQZ1A3CVB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20028#H0XD (definition)
History
- 2026-11-02: add by m2/v0.6.18
1GR8F6SP24 1GR8F6SP24
| URI | m2://inv/1GR8F6SP24 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31757#WT43 (statement). In KBJHAD5TTY/e1, proposition 3.1
History
- 2026-10-31: add by m2/v0.5.6
1GS56TKDGV 1GS56TKDGV
| URI | m2://inv/1GS56TKDGV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20513#HYMR (statement)
History
- 2026-11-02: add by m2/v0.6.18
Bill Morrow 1GSCWFEQ4C
| URI | m2://inv/1GSCWFEQ4C |
|---|---|
| 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#M14R, Bill Morrow (unknown)
History
- 2026-11-02: add by m2/dev
Robert O. Peterson 1GSG1QDMZ5
| URI | m2://inv/1GSG1QDMZ5 |
|---|---|
| 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#0F4U, Robert O. Peterson (unknown)
History
- 2026-11-02: add by m2/dev
Exact locally dense lattice from sparsification 1GSH6JKJP6
| URI | m2://inv/1GSH6JKJP6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14380#GGSF, Exact locally dense lattice from sparsification (statement). In 2ZRQP063HP/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
Most Different Systems Design 1GSJX6S2S0
| URI | m2://inv/1GSJX6S2S0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mill's methods#2356, Most Different Systems Design (unknown)
History
- 2026-11-02: add by m2/dev
Stationary process 1GT1AH2S3G
| URI | m2://inv/1GT1AH2S3G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#7BQT, Stationary process (definition)
- wikipedia: Wikipedia List of statistics articles#KCBY, Stationary process (definition)
- wikipedia: Wikipedia List of probability topics#RJUF, Stationary process (definition)
History
- 2026-11-02: add by m2/dev
1GT6SAW2X0 1GT6SAW2X0
| URI | m2://inv/1GT6SAW2X0 |
|---|---|
| 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 2311.03011#473F (statement). In 776A3XQTTM/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
1GTGPWJ91G 1GTGPWJ91G
| URI | m2://inv/1GTGPWJ91G |
|---|---|
| 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.21278#3NTG (statement). In DCH1JJGGYH/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.4.2
1GTQ2FXNGY 1GTQ2FXNGY
| URI | m2://inv/1GTQ2FXNGY |
|---|---|
| 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.19260#9HMX (statement). In PWXT7J9JX3/e1, proposition 4.9
History
- 2026-10-28: add by m2/v0.4.2
greatest common divisor 1GTV8EEKAX
| URI | m2://inv/1GTV8EEKAX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Greatest common divisor 0C8WYW4KYQ |
Mentions
- wikidata: Wikidata Q131752, greatest common divisor (unknown). Also EoM Greatest_common_divisor, MathWorld GreatestCommonDivisor, nLab greatest common divisor
- wikipedia: Wikipedia Greatest common divisor, Greatest common divisor (definition). Also Wikidata Q131752
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Three-subsets fixed by a permutation 1GV0M1N6JQ
| URI | m2://inv/1GV0M1N6JQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#HD1E, Three-subsets fixed by a permutation (statement). In 9NVKKW8HDH/e1, lemma 2.66
History
- 2026-10-28: add by m2/v0.4.2
GNU MPFR 1GV1NN0D5Z
| URI | m2://inv/1GV1NN0D5Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#73P7, GNU MPFR (unknown)
History
- 2026-11-02: add by m2/dev
Mohr's circle 1GV87RBJ8H
| URI | m2://inv/1GV87RBJ8H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#WHL2, Mohr's circle (definition)
History
- 2026-11-02: add by m2/dev
Examples 1GVC2A586Z
| URI | m2://inv/1GVC2A586Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logarithmically concave measure#Q0A7, Examples (example)
History
- 2026-11-02: add by m2/dev
Juraj Hromkovič 1GVFKW4YF1
| URI | m2://inv/1GVFKW4YF1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YN2B, Juraj Hromkovič (unknown)
History
- 2026-11-02: add by m2/dev
1GVG2YNN13 1GVG2YNN13
| URI | m2://inv/1GVG2YNN13 |
|---|---|
| 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.21005#UEBZ (statement). In E63NRC7MBE/e1, proposition 2.25
History
- 2026-10-27: add by m2/v0.4.2
1GVJRHFNSX 1GVJRHFNSX
| URI | m2://inv/1GVJRHFNSX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23279#QRRC (definition)
History
- 2026-11-02: add by m2/v0.6.17
Hilbert's problems 1GVM4MFMT0
| URI | m2://inv/1GVM4MFMT0 |
|---|---|
| Kind | conjecture |
| 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#U4UE, Hilbert's problems (conjecture)
History
- 2026-11-02: add by m2/dev
1GVR9FWKAY 1GVR9FWKAY
| URI | m2://inv/1GVR9FWKAY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#N6UU (statement). In G1RP4JY5PE/e1, theorem 1.4.1
History
- 2026-10-31: add by m2/v0.5.6
1GVSWYGK0K 1GVSWYGK0K
| URI | m2://inv/1GVSWYGK0K |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosmic inflation#OYJV (problem)
History
- 2026-11-02: add by m2/dev
1GVTDV52ZX 1GVTDV52ZX
| URI | m2://inv/1GVTDV52ZX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14240#HVL1 (statement). In HGQCBDDMQJ/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.2
Definition 1GVY4QKXS3
| URI | m2://inv/1GVY4QKXS3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spiral similarity#KY9J, Definition (definition)
History
- 2026-11-02: add by m2/dev
1GVY8K5KJM 1GVY8K5KJM
| URI | m2://inv/1GVY8K5KJM |
|---|---|
| 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.02628#4RYP (statement). In G4S9C5M1A4/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.12
1GVYT7KH13 1GVYT7KH13
| URI | m2://inv/1GVYT7KH13 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/meromorphic.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 41.6
History
- 2026-11-01: add by m2/v0.6.13
Limitation of the vanilla Azuma's inequality 1GVYW5GYV5
| URI | m2://inv/1GVYW5GYV5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Azuma's inequality#BMSS, Limitation of the vanilla Azuma's inequality (statement)
History
- 2026-11-02: add by m2/dev
Wilkie's theorem 1GW4889JES
| URI | m2://inv/1GW4889JES |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 03-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q8002487, Wilkie's theorem (statement). Also Wikidata Q8002487
- thousand_plus: thousand_plus Q8002487, Wilkie's theorem (statement). Also Wikidata Q8002487, Wikipedia Wilkie's theorem
- wikidata: Wikidata Q8002487, Wilkie's theorem (statement). Also MathWorld WilkiesTheorem
- wikipedia: Wikipedia Wilkie's theorem, Wilkie's theorem (statement). Also Wikidata Q8002487
History
- 2026-10-26: add by m2/dev
1GW8B5X7EM 1GW8B5X7EM
| URI | m2://inv/1GW8B5X7EM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-zariski.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 28.5
History
- 2026-11-01: add by m2/v0.6.13
GOST (hash function) 1GWCQDA3FR
| URI | m2://inv/1GWCQDA3FR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#OPZ4, GOST (hash function) (definition)
History
- 2026-11-02: add by m2/dev
Phase remainder along small graphs 1GWMX20TPX
| URI | m2://inv/1GWMX20TPX |
|---|---|
| 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#QY23, Phase remainder along small graphs (statement). In 4HCK722M2G/e1, corollary 4.2
History
- 2026-10-28: add by m2/v0.4.2
1GWXQGPDW6 1GWXQGPDW6
| URI | m2://inv/1GWXQGPDW6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#GY1V (statement). In 13H5BTAXHF/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
Entitative graph 1GX6AY2V1T
| URI | m2://inv/1GX6AY2V1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graph theory topics#64WD, Entitative graph (definition)
- wikipedia: Wikipedia List of Boolean algebra topics#5IP6, Entitative graph (definition)
History
- 2026-11-02: add by m2/dev
1GX800WVDX 1GX800WVDX
| URI | m2://inv/1GX800WVDX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 55-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.31919#9SZM (definition). In RHN12PW9P9/e1, definition 4.1
History
- 2026-10-31: add by m2/v0.5.6
List of mathematical topics in quantum theory 1GXA2NJJ6D
| URI | m2://inv/1GXA2NJJ6D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#3S3I, List of mathematical topics in quantum theory (topic)
History
- 2026-11-02: add by m2/dev
1GXE2HEPT9 1GXE2HEPT9
| URI | m2://inv/1GXE2HEPT9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24314#OG14 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Erdős–Stone theorem 1GXEX16GN2
| URI | m2://inv/1GXEX16GN2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Paul Erdős#65YK, Erdős–Stone theorem (statement)
History
- 2026-11-02: add by m2/dev
The $n$ embeddings of a number field 1GXK9G3TZZ
| URI | m2://inv/1GXK9G3TZZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#theorem-1, The $n$ embeddings of a number field (statement). In RZP28ERRZV, theorem, section 9.2
History
- 2026-11-01: add by m2/v0.6.13
Categories (Stoic) 1GXMJR35A3
| URI | m2://inv/1GXMJR35A3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stoicism#B0DB, Categories (Stoic) (unknown)
History
- 2026-11-02: add by m2/dev
Recovery of the intrinsic metric 1GXNFT1ZAH
| URI | m2://inv/1GXNFT1ZAH |
|---|---|
| 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.30103#15AW, Recovery of the intrinsic metric (statement)
History
- 2026-11-01: add by m2/v0.6.15
Birkhoff orthogonality 1GXQ9MPYN0
| URI | m2://inv/1GXQ9MPYN0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#LME8, Birkhoff orthogonality (definition)
History
- 2026-11-02: add by m2/dev
Computational indistinguishability 1GXQEJ1ZRW
| URI | m2://inv/1GXQEJ1ZRW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational indistinguishability, Computational indistinguishability (definition). Also Wikidata Q5157322
History
- 2026-11-02: add by m2/dev
Examples 1GXS2Q1WC9
| URI | m2://inv/1GXS2Q1WC9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuity correction#QWR2, Examples (example)
History
- 2026-11-02: add by m2/dev
Felix Berezin 1GXXQG6PKE
| URI | m2://inv/1GXXQG6PKE |
|---|---|
| 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 Q915301, Felix Berezin (unknown). Also nLab Felix Berezin
History
- 2026-10-26: add by m2/dev
Methods 1GY18A3BTG
| URI | m2://inv/1GY18A3BTG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic programming#2H8X, Methods (definition)
History
- 2026-11-02: add by m2/dev
1GY4HXMGJF 1GY4HXMGJF
| URI | m2://inv/1GY4HXMGJF |
|---|---|
| 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.23128#NJFM (statement)
History
- 2026-11-02: add by m2/v0.6.17
Ramanujan 1GY6NB024B
| URI | m2://inv/1GY6NB024B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#NREJ, Ramanujan (unknown)
History
- 2026-11-02: add by m2/dev
AW*-algebra 1GY6RQP3Q4
| URI | m2://inv/1GY6RQP3Q4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17002576, AW*-algebra (concept). Also EoM AW*-algebra
- wikipedia: Wikipedia AW*-algebra, AW*-algebra (definition). Also Wikidata Q17002576
History
- 2026-10-26: add by m2/dev
Geomview 1GY7EJWQ7Y
| URI | m2://inv/1GY7EJWQ7Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometry Center#PZO6, Geomview (unknown)
History
- 2026-11-02: add by m2/dev
Symbol 1GY9HNX1Q5
| URI | m2://inv/1GY9HNX1Q5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symbol (number theory), Symbol (definition). Also Wikidata Q7051624
History
- 2026-11-02: add by m2/dev
Endpoint-sensitive improvement criterion 1GYB3F6JXR
| URI | m2://inv/1GYB3F6JXR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04398#02I0, Endpoint-sensitive improvement criterion (statement). In DFZWC9HY0T/e1, corollary 4.5
History
- 2026-10-29: add by m2/v0.4.12
Zvika Brakerski 1GYC3V98J5
| URI | m2://inv/1GYC3V98J5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zvika Brakerski, Zvika Brakerski (topic). Also Wikidata Q112110099
History
- 2026-11-02: add by m2/dev
Homogeneity and heterogeneity 1GYCCVVC71
| URI | m2://inv/1GYCCVVC71 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homogeneity and heterogeneity (statistics), Homogeneity and heterogeneity (definition). Also Wikidata Q5891314
History
- 2026-11-02: add by m2/dev
Fisher's exact test 1GYCT149Y1
| URI | m2://inv/1GYCT149Y1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fisher's exact test, Fisher's exact test (definition). Also Wikidata Q41492
History
- 2026-11-02: add by m2/dev
Hyperfinite set 1GYG4CW6N3
| URI | m2://inv/1GYG4CW6N3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5958000, Hyperfinite set (concept). Also MathWorld HyperfiniteSet
- wikipedia: Wikipedia Hyperfinite set, Hyperfinite set (definition). Also Wikidata Q5958000
History
- 2026-10-26: add by m2/dev
Ordinal logic 1GYH6F8VS7
| URI | m2://inv/1GYH6F8VS7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinal logic, Ordinal logic (definition). Also Wikidata Q7100788
History
- 2026-11-02: add by m2/dev
1GYKFJ8PDE 1GYKFJ8PDE
| URI | m2://inv/1GYKFJ8PDE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#QDQ5 (statement). In HX63A1PH1W/e1, fact 3.10
History
- 2026-10-28: add by m2/v0.4.3
A surrogate bound at the tilt $s=\frac1\beta$ 1GYXJY6R7Z
| URI | m2://inv/1GYXJY6R7Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#INY3, A surrogate bound at the tilt $s=\frac1\beta$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stability in probability 1GYYQ5FYZ4
| URI | m2://inv/1GYYQ5FYZ4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10949#DQUE, Stability in probability (definition). In ANP2XNAH91/e1, definition 6
History
- 2026-10-28: add by m2/v0.4.3
Harriet Pollatsek 1GZ30D28DS
| URI | m2://inv/1GZ30D28DS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harriet Pollatsek, Harriet Pollatsek (topic). Also Wikidata Q16106050
History
- 2026-11-02: add by m2/dev
Gaussian units 1GZC8NH1S7
| URI | m2://inv/1GZC8NH1S7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#EKWT, Gaussian units (unknown)
History
- 2026-11-02: add by m2/dev
1GZFRKPDNQ 1GZFRKPDNQ
| URI | m2://inv/1GZFRKPDNQ |
|---|---|
| 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.01968#04VK (statement). In 9QE553Z0J5/e1, corollary 3.1
History
- 2026-10-29: add by m2/v0.4.12
Fabio Toninelli 1GZHKKEJ5C
| URI | m2://inv/1GZHKKEJ5C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fabio Toninelli, Fabio Toninelli (topic). Also Wikidata Q103098565
History
- 2026-11-02: add by m2/dev
sulfur-33 1GZT0VA76K
| URI | m2://inv/1GZT0VA76K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2055815, sulfur-33 (definition). Also ProofWiki Definition:Sulphur/33
History
- 2026-10-26: add by m2/dev
1GZZ3GHDYD 1GZZ3GHDYD
| URI | m2://inv/1GZZ3GHDYD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section1-1.xml#definition-2 (definition). In 649HGZKE96, definition, section 1.1.2
History
- 2026-11-01: add by m2/v0.6.13