Inventory rows 7T
The cards of the rows of the inventory whose ids start with 7T. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Cochran, William Gemmell 7T04WMVZ81
| URI | m2://inv/7T04WMVZ81 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#JG15, Cochran, William Gemmell (topic)
History
- 2026-11-02: add by m2/dev
Interface with the Polymath effective approximation 7T05H3MSQW
| URI | m2://inv/7T05H3MSQW |
|---|---|
| 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.37164#R48B, Interface with the Polymath effective approximation (statement). In B2PG75FSQJ/e1, proposition 2.4
History
- 2026-10-30: add by m2/v0.4.12
7T0AJYNT22 7T0AJYNT22
| URI | m2://inv/7T0AJYNT22 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.01653#7T0Q (statement). In WZMHJCQPB2/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
Ernests Fogels 7T0AXV5EQH
| URI | m2://inv/7T0AXV5EQH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ernests Fogels, Ernests Fogels (topic). Also Wikidata Q37732616
History
- 2026-11-02: add by m2/dev
Statement of inequality 7T0CHZP5A4
| URI | m2://inv/7T0CHZP5A4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fannes–Audenaert inequality#MB0P, Statement of inequality (statement)
History
- 2026-11-02: add by m2/dev
Transit route network design problem 7T0JDARH4R
| URI | m2://inv/7T0JDARH4R |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transit route network design problem, Transit route network design problem (problem). Also Wikidata Q134425947
History
- 2026-11-02: add by m2/dev
Statement of the theorem 7T0QESRG0B
| URI | m2://inv/7T0QESRG0B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fatou–Lebesgue theorem#CDF6, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Alan Agresti 7T0X21CW7M
| URI | m2://inv/7T0X21CW7M |
|---|---|
| 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#MWWB, Alan Agresti (unknown)
History
- 2026-11-02: add by m2/dev
O'Rourke--Touri 2016 7T0XMDHXJ0
| URI | m2://inv/7T0XMDHXJ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11047#M0SJ, O'Rourke--Touri 2016 (statement). In MNQAZ70XTH/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.3
7T10YXY4NG 7T10YXY4NG
| URI | m2://inv/7T10YXY4NG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-75 (exercise). In E59CDZA4DP, exercise, section 10.6.6
History
- 2026-11-01: add by m2/v0.6.13
Hagood, Margaret Jarman 7T130BG43X
| URI | m2://inv/7T130BG43X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#ND74, Hagood, Margaret Jarman (unknown)
History
- 2026-11-02: add by m2/dev
7T13TJ3S9V 7T13TJ3S9V
| URI | m2://inv/7T13TJ3S9V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/coding-terms.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 27.3
History
- 2026-11-01: add by m2/v0.6.13
Combinatorial Mathematics Society of Australasia 7T18JTZG5P
| URI | m2://inv/7T18JTZG5P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Combinatorial Mathematics Society of Australasia, Combinatorial Mathematics Society of Australasia (definition). Also Wikidata Q30673277
History
- 2026-11-02: add by m2/dev
7T1JH2QEY5 7T1JH2QEY5
| URI | m2://inv/7T1JH2QEY5 |
|---|---|
| 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.03555#64T7 (statement). In 9JZJTRRVR1/e1, lemma 6.5
History
- 2026-10-29: add by m2/v0.4.12
convergence tests 7T1KMN99VK
| URI | m2://inv/7T1KMN99VK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#U9Q0, convergence tests (definition)
History
- 2026-11-02: add by m2/dev
Column indicator 7T1RBETD5E
| URI | m2://inv/7T1RBETD5E |
|---|---|
| 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.09341#D62A, Column indicator (definition). In DSXBMRYE0V/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Paley–Zygmund inequality 7T20259CAS
| URI | m2://inv/7T20259CAS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6IPO, Paley–Zygmund inequality (statement)
- wikipedia: Wikipedia List of probability topics#0NTB, Paley–Zygmund inequality (statement)
- wikipedia: Wikipedia List of inequalities#6C0P, Paley–Zygmund inequality (statement)
History
- 2026-11-02: add by m2/dev
65537-gon 7T207VZ6H3
| URI | m2://inv/7T207VZ6H3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q253731, 65537-gon (unknown). Also MathWorld 65537-gon
- wikipedia: Wikipedia 65537-gon, 65537-gon (definition). Also Wikidata Q253731
History
- 2026-10-26: add by m2/dev
7T26ZH2RW9 7T26ZH2RW9
| URI | m2://inv/7T26ZH2RW9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09129#XVR8 (statement). In Z1RZSF68XZ/e1, corollary 2.5
History
- 2026-10-29: add by m2/v0.4.10
7T29RVV6X7 7T29RVV6X7
| URI | m2://inv/7T29RVV6X7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16877#6I38 (statement). In YY4KFNMPC0/e1, theorem 4.6
History
- 2026-10-28: add by m2/v0.4.2
7T2DVT4C4T 7T2DVT4C4T
| URI | m2://inv/7T2DVT4C4T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#VE4B (statement). In 7SSKW778T8/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.10
Von Neumann's inequality 7T2K7RSR1E
| URI | m2://inv/7T2K7RSR1E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#JX76, Von Neumann's inequality (statement)
History
- 2026-11-02: add by m2/dev
Definition 7T2T1D5BB0
| URI | m2://inv/7T2T1D5BB0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual lattice#MCVB, Definition (definition)
History
- 2026-11-02: add by m2/dev
Chinese multiplication table 7T34MRF3AR
| URI | m2://inv/7T34MRF3AR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chinese multiplication table, Chinese multiplication table (definition). Also Wikidata Q986420
History
- 2026-11-02: add by m2/dev
Set exponentiation 7T38Q128GD
| URI | m2://inv/7T38Q128GD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponentiation#7BPB, Set exponentiation (unknown)
History
- 2026-11-02: add by m2/dev
Example 7T3CSAZJJK
| URI | m2://inv/7T3CSAZJJK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardy space#TRO4, Example (example)
History
- 2026-11-02: add by m2/dev
Open problems 7T3G0THBFW
| URI | m2://inv/7T3G0THBFW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Communication complexity#B3MR, Open problems (statement)
History
- 2026-11-02: add by m2/dev
Deborah A. Nolan 7T3KJFMA2M
| URI | m2://inv/7T3KJFMA2M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#KCL8, Deborah A. Nolan (topic)
History
- 2026-11-02: add by m2/dev
7T3ZHV3G0Z 7T3ZHV3G0Z
| URI | m2://inv/7T3ZHV3G0Z |
|---|---|
| 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 0908.3266#VYSO (statement). In B0W6PMDN3N/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
Kathy Driver 7T47C9X6K0
| URI | m2://inv/7T47C9X6K0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kathy Driver, Kathy Driver (topic). Also Wikidata Q76462978
History
- 2026-11-02: add by m2/dev
7T4A4TC9TE 7T4A4TC9TE
| URI | m2://inv/7T4A4TC9TE |
|---|---|
| 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.10927#G52U (statement). In DHEJP3YATV/e1, proposition 23
History
- 2026-10-28: add by m2/v0.4.3
Saccheri quadrilateral 7T4FG2ACQF
| URI | m2://inv/7T4FG2ACQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Saccheri quadrilateral, Saccheri quadrilateral (definition). Also Wikidata Q138224
History
- 2026-11-02: add by m2/dev
Fire code (error correction) 7T4R0AVA45
| URI | m2://inv/7T4R0AVA45 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic code#SWJU, Fire code (error correction) (unknown)
History
- 2026-11-02: add by m2/dev
Toeplitz characterization and global PBF 7T4TYH0CT7
| URI | m2://inv/7T4TYH0CT7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08568#W1YU, Toeplitz characterization and global PBF (statement). In FDDA562VCA/e1, theorem 2.36
History
- 2026-10-29: add by m2/v0.4.10
7T537YYJXN 7T537YYJXN
| URI | m2://inv/7T537YYJXN |
|---|---|
| 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.16554#TRDF (statement). In GWNT8HEZG1/e1, corollary 2.4
History
- 2026-10-27: add by m2/v0.3.6
7T53CHG33R 7T53CHG33R
| URI | m2://inv/7T53CHG33R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11478#0VBO (statement). In R81S9R1XNR/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.3
semiregular polyhedron 7T56JX8NJW
| URI | m2://inv/7T56JX8NJW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2311217, semiregular polyhedron (unknown). Also MathWorld SemiregularPolyhedron
- wikipedia: Wikipedia Semiregular polyhedron, Semiregular polyhedron (definition). Also Wikidata Q2311217
History
- 2026-10-26: add by m2/dev
7T5720MESS 7T5720MESS
| URI | m2://inv/7T5720MESS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33018#GV6N (definition). In 8XVS0QJ2AH/e1, definition 46
History
- 2026-10-31: add by m2/v0.5.6
7T5CTDS532 7T5CTDS532
| URI | m2://inv/7T5CTDS532 |
|---|---|
| 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 2610.07180#98HO (definition). In TM4H1RV0BQ/e1, definition 1.5
History
- 2026-10-27: add by m2/v0.3.5
7T5G3G36QD 7T5G3G36QD
| URI | m2://inv/7T5G3G36QD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.16332#2H74 (statement). In JJQPFXZQ3D/e1, theorem 0.2
History
- 2026-10-28: add by m2/v0.4.2
Marion Lee Johnson 7T5JFQM93F
| URI | m2://inv/7T5JFQM93F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marion Lee Johnson, Marion Lee Johnson (topic). Also Wikidata Q70114295
History
- 2026-11-02: add by m2/dev
Born rule 7T5JMDTAH4
| URI | m2://inv/7T5JMDTAH4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Born rule, Born rule (definition). Also Wikidata Q894014
History
- 2026-11-02: add by m2/dev
727 (number) 7T5VQ50V9J
| URI | m2://inv/7T5VQ50V9J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#O89V, 727 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Boundary slope as interior normal derivative 7T5XS20XTA
| URI | m2://inv/7T5XS20XTA |
|---|---|
| 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.17519#7NZU, Boundary slope as interior normal derivative (statement). In H2DNTQ5MKV/e1, lemma 4.11
History
- 2026-10-28: add by m2/v0.4.2
7T5Z03Y9H3 7T5Z03Y9H3
| URI | m2://inv/7T5Z03Y9H3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.17066#EI10 (example). In X2AEJAQEP8/e1, example 2.5
History
- 2026-10-27: add by m2/v0.3.5
7T5Z3M5C0Z 7T5Z3M5C0Z
| URI | m2://inv/7T5Z3M5C0Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#IKKQ (statement). In X47RYAZF8P/e1, lemma 8.13
History
- 2026-10-28: add by m2/v0.4.2
7T60MKMSWN 7T60MKMSWN
| URI | m2://inv/7T60MKMSWN |
|---|---|
| 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.02642#TRRW (statement). In VMWV58VWKN/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.12
7T6CBDQ5K2 7T6CBDQ5K2
| URI | m2://inv/7T6CBDQ5K2 |
|---|---|
| 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 2608.19483#6YB5 (statement). In M2PEDAF7AX/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
7T6JTT9P11 7T6JTT9P11
| URI | m2://inv/7T6JTT9P11 |
|---|---|
| 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.38772#OK5J (statement). In 1C3R5NAQAP/e1, theorem 3.11
History
- 2026-10-30: add by m2/v0.4.12
7T6K89Z43Q 7T6K89Z43Q
| URI | m2://inv/7T6K89Z43Q |
|---|---|
| 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.15472#2WIA (statement). In 5Z3FH46YSY/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
A set neither open nor closed 7T6PD0NED9
| URI | m2://inv/7T6PD0NED9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#example-18, A set neither open nor closed (example). In RZP28ERRZV, example, section 100.7
History
- 2026-11-01: add by m2/v0.6.13
7T6RYXCSED 7T6RYXCSED
| URI | m2://inv/7T6RYXCSED |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32078#CPP8 (statement). In 5PN85N6EJF/e1, lemma E.1
History
- 2026-10-31: add by m2/v0.5.6
Rice, Thomas Spring 7T6WQGK0FC
| URI | m2://inv/7T6WQGK0FC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#1YGZ, Rice, Thomas Spring (unknown)
History
- 2026-11-02: add by m2/dev
7T6XGJC7Y0 7T6XGJC7Y0
| URI | m2://inv/7T6XGJC7Y0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28265#83B3 (example)
History
- 2026-11-01: add by m2/v0.6.15
Perturbation density 7T7094A26J
| URI | m2://inv/7T7094A26J |
|---|---|
| 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.11619#WK9Z, Perturbation density (statement). In HT2K76Y9WS/e1, lemma 3.11
History
- 2026-10-28: add by m2/v0.4.3
Theorem 7T72TAWCAG
| URI | m2://inv/7T72TAWCAG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert space#SKE3, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Bitwise operation 7T75TR8404
| URI | m2://inv/7T75TR8404 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bitwise operation, Bitwise operation (definition). Also Wikidata Q879126
History
- 2026-11-02: add by m2/dev
7T76EN5F8A 7T76EN5F8A
| URI | m2://inv/7T76EN5F8A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27641#WVE9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
7T76P23C03 7T76P23C03
| URI | m2://inv/7T76P23C03 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04876#H533 (statement). In 2TNAKVC0YP/e1, lemma 2.11
History
- 2026-10-29: add by m2/v0.4.12
Examples 7T7CCZAWDX
| URI | m2://inv/7T7CCZAWDX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Improper integral#WKLQ, Examples (example)
History
- 2026-11-02: add by m2/dev
Representation of a Lie superalgebra 7T7J27E77W
| URI | m2://inv/7T7J27E77W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation of a Lie superalgebra, Representation of a Lie superalgebra (definition). Also Wikidata Q7314199
History
- 2026-11-02: add by m2/dev
7T7RP7Q9SK 7T7RP7Q9SK
| URI | m2://inv/7T7RP7Q9SK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35398#77JB (statement). In NAJCCHYXR6/e1, corollary 3.5
History
- 2026-10-30: add by m2/v0.4.12
19 de Abril 7T7VFSCT22
| URI | m2://inv/7T7VFSCT22 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#NE0N, 19 de Abril (unknown)
History
- 2026-11-02: add by m2/dev
7T824RVDKV 7T824RVDKV
| URI | m2://inv/7T824RVDKV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.21914#TTS8 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Elisabeth M. Werner 7T86464MT3
| URI | m2://inv/7T86464MT3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DYHZ, Elisabeth M. Werner (topic)
- wikipedia: Wikipedia List of German mathematicians#LQKX, Elisabeth M. Werner (topic)
History
- 2026-11-02: add by m2/dev
Kruskal-Katona Theorem 7T8751XXX3
| URI | m2://inv/7T8751XXX3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homomorphism density#PKUA, Kruskal-Katona Theorem (statement)
History
- 2026-11-02: add by m2/dev
7T8A8Y4W0C 7T8A8Y4W0C
| URI | m2://inv/7T8A8Y4W0C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/assignments.tex#probtag-1 (exercise). In PKGMM3P5QY, probtag, section 19.4
History
- 2026-11-01: add by m2/v0.6.13
Tate module 7T8D3YR3MT
| URI | m2://inv/7T8D3YR3MT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Tate module 4CSMQFTGD8 |
Mentions
- wikidata: Wikidata Q7687981, Tate module (concept). Also nLab Tate module
- wikipedia: Wikipedia Tate module, Tate module (definition). Also Wikidata Q7687981
History
- 2026-10-26: add by m2/dev
Relativistic kinetic energy 7T8FJZ88SA
| URI | m2://inv/7T8FJZ88SA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kinetic energy#BAPH, Relativistic kinetic energy (unknown)
History
- 2026-11-02: add by m2/dev
Classical solution, case $V \in \mathbb{R}$ 7T8H22RPG9
| URI | m2://inv/7T8H22RPG9 |
|---|---|
| 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#0IE4, Classical solution, case $V \in \mathbb{R}$ (statement). In M6MQPEDQ8N/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Rhombitriangular-hexagonal prismatic honeycomb 7T8QF57WX9
| URI | m2://inv/7T8QF57WX9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#E2QH, Rhombitriangular-hexagonal prismatic honeycomb (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#W70K, Rhombitriangular-hexagonal prismatic honeycomb (definition)
History
- 2026-11-02: add by m2/dev
Klein four group 7T8WHTJTDP
| URI | m2://inv/7T8WHTJTDP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#example-3, Klein four group (example). In RZP28ERRZV, example, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Rina Zazkis 7T96AA5Q6N
| URI | m2://inv/7T96AA5Q6N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rina Zazkis, Rina Zazkis (topic). Also Wikidata Q29026885
History
- 2026-11-02: add by m2/dev
absorbing 7T99DEW6XV
| URI | m2://inv/7T99DEW6XV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#QV37, absorbing (definition)
History
- 2026-11-02: add by m2/dev
intersection 7T9BZHEWQ4
| URI | m2://inv/7T9BZHEWQ4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.2/intersection, intersection (concept). In QKM9DD2H56, index, section B.2
History
- 2026-11-01: add by m2/v0.6.13
Formal definition 7T9GX32YXV
| URI | m2://inv/7T9GX32YXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chinese restaurant process#3YGR, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Religious principles 7TA5K65Z25
| URI | m2://inv/7TA5K65Z25 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics and architecture#LH8S, Religious principles (statement)
History
- 2026-11-02: add by m2/dev
deltoidal icositetrahedral graph 7TA7YWJ38C
| URI | m2://inv/7TA7YWJ38C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115581, deltoidal icositetrahedral graph (unknown). Also House of Graphs 1032, MathWorld DeltoidalIcositetrahedralGraph
History
- 2026-10-26: add by m2/dev
Analogs under weakenings of the axiom of choice 7TAACPEKE1
| URI | m2://inv/7TAACPEKE1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zorn's lemma#VP48, Analogs under weakenings of the axiom of choice (statement)
History
- 2026-11-02: add by m2/dev
Adams, Frick, and Virk 7TAKGEZNBR
| URI | m2://inv/7TAKGEZNBR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2503.19729#79U8, Adams, Frick, and Virk (statement). In 40YZ43TS8K/e1, theorem 2.13
History
- 2026-10-27: add by m2/v0.3.5
7TANDWE5C0 7TANDWE5C0
| URI | m2://inv/7TANDWE5C0 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-38 (proof). In N54F33XE07, proof, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Compatible proposed trajectory 7TAQM2AGE2
| URI | m2://inv/7TAQM2AGE2 |
|---|---|
| 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.19912#22VT, Compatible proposed trajectory (definition)
History
- 2026-11-02: add by m2/v0.6.18
7TB3KC5G82 7TB3KC5G82
| URI | m2://inv/7TB3KC5G82 |
|---|---|
| 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.38267#U9EJ (statement). In 518V871EKW/e1, theorem 3.4
History
- 2026-10-30: add by m2/v0.4.12
Theodor Vahlen 7TB3MJ6S2V
| URI | m2://inv/7TB3MJ6S2V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#OSGM, Theodor Vahlen (unknown)
History
- 2026-11-02: add by m2/dev
Training, validation, and test data sets 7TB5M0AQ25
| URI | m2://inv/7TB5M0AQ25 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Training, validation, and test data sets, Training, validation, and test data sets (definition). Also Wikidata Q3985153
History
- 2026-11-02: add by m2/dev
7TB6AZTH03 7TB6AZTH03
| URI | m2://inv/7TB6AZTH03 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#YL1W (statement). In 7V3HG30ZGW/e1, proposition 6.12
History
- 2026-10-27: add by m2/v0.4.0
Cubic pyramid 7TB6J8X7QY
| URI | m2://inv/7TB6J8X7QY |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic pyramid, Cubic pyramid (object). Also Wikidata Q16953147
History
- 2026-11-02: add by m2/dev
transfer 7TB81XWRH7
| URI | m2://inv/7TB81XWRH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#CD0B, transfer (definition)
History
- 2026-11-02: add by m2/dev
7TBAK3W7CP 7TBAK3W7CP
| URI | m2://inv/7TBAK3W7CP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12576#M83N (statement). In BVAWVRS3R9/e1, lemma 2.11
History
- 2026-10-28: add by m2/v0.4.2
7TBHHWX269 7TBHHWX269
| URI | m2://inv/7TBHHWX269 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#9LW2 (definition). In X47RYAZF8P/e1, definition 3.25
History
- 2026-10-28: add by m2/v0.4.2
7TBQ8BR5W1 7TBQ8BR5W1
| URI | m2://inv/7TBQ8BR5W1 |
|---|---|
| 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 2609.23522#31RX (statement)
History
- 2026-11-02: add by m2/v0.6.17
69,696 7TBS4SC76X
| URI | m2://inv/7TBS4SC76X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 60,000#EGYV, 69,696 (unknown)
History
- 2026-11-02: add by m2/dev
Applications 7TBT9SY5X0
| URI | m2://inv/7TBT9SY5X0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benford's law#KY07, Applications (example)
History
- 2026-11-02: add by m2/dev
No free lunch theorem 7TBZ2M3B7C
| URI | m2://inv/7TBZ2M3B7C |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7045226, No free lunch theorem (statement). Also Wikidata Q7045226
- thousand_plus: thousand_plus Q7045226, No free lunch theorem (statement). Also Wikidata Q7045226, Wikipedia No free lunch theorem
- wikipedia: Wikipedia No free lunch theorem, No free lunch theorem (statement). Also Wikidata Q7045226
History
- 2026-10-26: add by m2/dev
Doppler blueshift 7TBZ4TZE92
| URI | m2://inv/7TBZ4TZE92 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Redshift#SBLK, Doppler blueshift (unknown)
History
- 2026-11-02: add by m2/dev
7TC17EP3WT 7TC17EP3WT
| URI | m2://inv/7TC17EP3WT |
|---|---|
| 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/provability-consistency.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 15.3
History
- 2026-11-01: add by m2/v0.6.13
Daniel Rider 7TC1D871YH
| URI | m2://inv/7TC1D871YH |
|---|---|
| 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#5NNR, Daniel Rider (topic)
History
- 2026-11-02: add by m2/dev
up to homotopy 7TC39KAQ29
| URI | m2://inv/7TC39KAQ29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#VZB4, up to homotopy (definition)
History
- 2026-11-02: add by m2/dev
Construction 7TCGDW8PYQ
| URI | m2://inv/7TCGDW8PYQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ulam spiral#VTUC, Construction (definition)
History
- 2026-11-02: add by m2/dev
Definitions 7TCMZ6Z4AG
| URI | m2://inv/7TCMZ6Z4AG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex geometry#W6MZ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Mathias Metternich 7TCN5V18X1
| URI | m2://inv/7TCN5V18X1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathias Metternich, Mathias Metternich (topic). Also Wikidata Q215499
History
- 2026-11-02: add by m2/dev
Properties 7TCZ2QHHXQ
| URI | m2://inv/7TCZ2QHHXQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central simple algebra#W6CV, Properties (statement)
History
- 2026-11-02: add by m2/dev
7TD2FF8E81 7TD2FF8E81
| URI | m2://inv/7TD2FF8E81 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04466#ZS7R (statement). In EHW82CK883/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
Applications 7TD3BTP0F0
| URI | m2://inv/7TD3BTP0F0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflection seismology#1DBO, Applications (example)
History
- 2026-11-02: add by m2/dev
Stephen E. Robertson 7TD4WH7SYC
| URI | m2://inv/7TD4WH7SYC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0W7T, Stephen E. Robertson (unknown)
History
- 2026-11-02: add by m2/dev
7TDA8KBQWB 7TDA8KBQWB
| URI | m2://inv/7TDA8KBQWB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11517#ZTB7 (statement). In 87NF85QAKT/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.3
7TDD1TNZ9S 7TDD1TNZ9S
| URI | m2://inv/7TDD1TNZ9S |
|---|---|
| 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 2510.23812#6JOG (statement). In D8XZBXJPR5/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
7TDDEGC5VH 7TDDEGC5VH
| URI | m2://inv/7TDDEGC5VH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.13877#9N2K (statement). In NBMA6DBKJG/e1, lemma 6.14
History
- 2026-10-28: add by m2/v0.4.2
7TDFFA8CWJ 7TDFFA8CWJ
| URI | m2://inv/7TDFFA8CWJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.40123#GWRJ (statement). In WK2YHYEDZ9/e1, corollary 3.8
History
- 2026-10-30: add by m2/v0.4.12
Shafarevich–Weil theorem 7TDP5PKNXH
| URI | m2://inv/7TDP5PKNXH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after André Weil#QSVB, Shafarevich–Weil theorem (statement)
History
- 2026-11-02: add by m2/dev
Weber number 7TDS6KKFN5
| URI | m2://inv/7TDS6KKFN5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weber number, Weber number (definition). Also Wikidata Q947531
History
- 2026-11-02: add by m2/dev
7TDSJBJS2K 7TDSJBJS2K
| URI | m2://inv/7TDSJBJS2K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27617#902X (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bidirectional feasibility condition 7TDXEKZ6RW
| URI | m2://inv/7TDXEKZ6RW |
|---|---|
| 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.33753#VI3X, Bidirectional feasibility condition (definition). In CGNMRJYD7Y/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
Definitions 7TE1NECNWW
| URI | m2://inv/7TE1NECNWW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilks's lambda distribution#AHKT, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Discrete spline interpolation 7TEBC9PF5A
| URI | m2://inv/7TEBC9PF5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete spline interpolation, Discrete spline interpolation (definition). Also Wikidata Q25051591
History
- 2026-11-02: add by m2/dev
7TEFV9XPRB 7TEFV9XPRB
| URI | m2://inv/7TEFV9XPRB |
|---|---|
| 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.35404#RPQ3 (statement). In DH84PYVRCF/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
Theorem 7TEQN6Y0Q8
| URI | m2://inv/7TEQN6Y0Q8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tits alternative#92WO, Theorem (statement)
History
- 2026-11-02: add by m2/dev
7TF0TBES7Q 7TF0TBES7Q
| URI | m2://inv/7TF0TBES7Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21900#U74U (statement)
History
- 2026-11-02: add by m2/v0.6.17
real numbers, Escard\'o--Simpson 7TF109DQW6
| URI | m2://inv/7TF109DQW6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/real-numbers-escard-o-simpson, real numbers, Escard\'o--Simpson (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
Identity matrix 7TF5MWH714
| URI | m2://inv/7TF5MWH714 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square root of a 2 by 2 matrix#ACBH, Identity matrix (statement)
History
- 2026-11-02: add by m2/dev
7TF6Y69GDN 7TF6Y69GDN
| URI | m2://inv/7TF6Y69GDN |
|---|---|
| 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.10325#9ONE (statement). In 66CDJ94PGW/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Doane's formula 7TF7F34GMH
| URI | m2://inv/7TF7F34GMH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sturges's rule#SCDN, Doane's formula (statement)
History
- 2026-11-02: add by m2/dev
Hyperbolicity and Morse index 7TFCR15HRG
| URI | m2://inv/7TFCR15HRG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19953#JVO7, Hyperbolicity and Morse index (statement). In CHPJWBREES/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Bristol Bridges Walk 7TFG7GFAVD
| URI | m2://inv/7TFG7GFAVD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bristol Bridges Walk, Bristol Bridges Walk (definition). Also Wikidata Q123700152
History
- 2026-11-02: add by m2/dev
Rainer K. Sachs 7TFHESTRRP
| URI | m2://inv/7TFHESTRRP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#MHQZ, Rainer K. Sachs (unknown)
History
- 2026-11-02: add by m2/dev
Global positive coefficientwise solutions for the Pi\ neiro system 7TFQYMSFQ1
| URI | m2://inv/7TFQYMSFQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#LRHF, Global positive coefficientwise solutions for the Pi\ neiro system (statement)
History
- 2026-11-01: add by m2/v0.6.15
Semantic --- \textsc{Ctx-Ext 7TFRTSDDAS
| URI | m2://inv/7TFRTSDDAS |
|---|---|
| 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#BG26, Semantic --- \textsc{Ctx-Ext (statement). In CPYWHRTPKC/e1, lemma 7.35
History
- 2026-10-27: add by m2/v0.4.2
Directional-change intrinsic time 7TFTZCPRTV
| URI | m2://inv/7TFTZCPRTV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Directional-change intrinsic time, Directional-change intrinsic time (definition). Also Wikidata Q96376409
History
- 2026-11-02: add by m2/dev
Statement of the theorem 7TFV4WMZGJ
| URI | m2://inv/7TFV4WMZGJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stickelberger's theorem#UWFB, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Georg Cantor 7TFVN64APF
| URI | m2://inv/7TFVN64APF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#2LA9, Georg Cantor (topic)
History
- 2026-11-02: add by m2/dev
Gaussian comparison in covariance norm 7TG3DZEN34
| URI | m2://inv/7TG3DZEN34 |
|---|---|
| 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.32710#7QEF, Gaussian comparison in covariance norm (statement). In KVYG6R7CGJ/e1, lemma 3.4
History
- 2026-10-31: add by m2/v0.5.6
7TG5K7SHV9 7TG5K7SHV9
| URI | m2://inv/7TG5K7SHV9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0909.2893#K14P (statement). In JQ4JYAXCMK/e1, corollary 7
History
- 2026-10-27: add by m2/v0.3.5
Slippery slope 7TG8NRQAYP
| URI | m2://inv/7TG8NRQAYP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#CP8M, Slippery slope (definition)
History
- 2026-11-02: add by m2/dev
Svetlana Jitomirskaya 7TGC6KFXCS
| URI | m2://inv/7TGC6KFXCS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#X5EP, Svetlana Jitomirskaya (topic)
History
- 2026-11-02: add by m2/dev
Minkowski addition 7TGE375R7C
| URI | m2://inv/7TGE375R7C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Minkowski addition SXS6D87PHE |
Mentions
- wikidata: Wikidata Q1322294, Minkowski addition (definition). Also EoM Minkowski_addition, MathWorld MinkowskiSum, ProofWiki Definition:Minkowski_Sum
- wikipedia: Wikipedia Minkowski addition, Minkowski addition (definition). Also Wikidata Q1322294
History
- 2026-10-26: add by m2/dev
Potential good reduction 7TGH6W4T4M
| URI | m2://inv/7TGH6W4T4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7234823, Potential good reduction (unknown). Also LMFDB knowl ag.potential_good_reduction, LMFDB knowl ec.potential_good_reduction
- wikipedia: Wikipedia Potential good reduction, Potential good reduction (definition). Also Wikidata Q7234823
History
- 2026-10-26: add by m2/dev
Absolutely continuous probability distribution 7TGK3FG75X
| URI | m2://inv/7TGK3FG75X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability distribution#U5BK, Absolutely continuous probability distribution (unknown)
History
- 2026-11-02: add by m2/dev
7TGKBE5ZR6 7TGKBE5ZR6
| URI | m2://inv/7TGKBE5ZR6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00596#2WA6 (statement). In F8RC6AENB0/e1, theorem E
History
- 2026-10-27: add by m2/v0.3.5
7TGNENFBMZ 7TGNENFBMZ
| URI | m2://inv/7TGNENFBMZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08226#W61R (statement). In V6EPE8XHAD/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
7TGP2Z6YVX 7TGP2Z6YVX
| URI | m2://inv/7TGP2Z6YVX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/sequent-calculus/more-rules.tex#ex-1 (example). In PKGMM3P5QY, ex, section 53.6
History
- 2026-11-01: add by m2/v0.6.13
7TGQJVGMEF 7TGQJVGMEF
| URI | m2://inv/7TGQJVGMEF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21528#F22W (statement)
History
- 2026-11-02: add by m2/v0.6.18
Almost sure rates 7TGWEHAQNR
| URI | m2://inv/7TGWEHAQNR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12873#QST2, Almost sure rates (statement). In 9MMD2N7DQ1/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
7TGZPCV3AH 7TGZPCV3AH
| URI | m2://inv/7TGZPCV3AH |
|---|---|
| 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 2503.16884#DPNZ (statement). In B984KNW591/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.3.5
Biased graph 7TH0X57MTY
| URI | m2://inv/7TH0X57MTY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biased graph, Biased graph (definition). Also Wikidata Q4902585
History
- 2026-11-02: add by m2/dev
Unitary equivalence of the $\tau$-CCR and standard CCR representations 7TH1FERP4S
| URI | m2://inv/7TH1FERP4S |
|---|---|
| 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.01855#Z4T0, Unitary equivalence of the $\tau$-CCR and standard CCR representations (statement). In MM8P5CJR18/e1, proposition 3.13
History
- 2026-10-29: add by m2/v0.4.12
\textsc{Discounted Hitting Domination 7TH653SYQ2
| URI | m2://inv/7TH653SYQ2 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31535#C48G, \textsc{Discounted Hitting Domination (problem). In BAWCMJQGVA/e1, problem 4.5
History
- 2026-10-31: add by m2/v0.5.6
Properties 7TH8HFFBZK
| URI | m2://inv/7TH8HFFBZK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nuclear space#UPUA, Properties (statement)
History
- 2026-11-02: add by m2/dev
7THBSR6M8F 7THBSR6M8F
| URI | m2://inv/7THBSR6M8F |
|---|---|
| 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.14548#62EO (statement). In TTNKABAYVB/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Drinfeld 7THCYAY2NR
| URI | m2://inv/7THCYAY2NR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#LRSY, Drinfeld (definition)
History
- 2026-11-02: add by m2/dev
plexus 7THHCVJFZY
| URI | m2://inv/7THHCVJFZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#4URA, plexus (definition)
History
- 2026-11-02: add by m2/dev
Michael Cowling 7THN5KHE0J
| URI | m2://inv/7THN5KHE0J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZSDH, Michael Cowling (unknown)
History
- 2026-11-02: add by m2/dev
7THS7VY78Z 7THS7VY78Z
| URI | m2://inv/7THS7VY78Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23119#4Z87 (statement)
History
- 2026-11-02: add by m2/v0.6.17
7THYTJCETN 7THYTJCETN
| URI | m2://inv/7THYTJCETN |
|---|---|
| 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.24845#5LYT (statement)
History
- 2026-11-01: add by m2/v0.6.15
7THZ67A27Z 7THZ67A27Z
| URI | m2://inv/7THZ67A27Z |
|---|---|
| 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.11619#B3J8 (statement). In HT2K76Y9WS/e1, proposition A.2
History
- 2026-10-28: add by m2/v0.4.3
7TJ41PCW11 7TJ41PCW11
| URI | m2://inv/7TJ41PCW11 |
|---|---|
| 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 0808.1331#WG59 (statement). In RB2B1N73P0/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
Composition of graphs 7TJ468BZSK
| URI | m2://inv/7TJ468BZSK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25188#U2BJ, Composition of graphs (definition)
History
- 2026-11-01: add by m2/v0.6.15
Inequalities in information theory 7TJ4GAXNJF
| URI | m2://inv/7TJ4GAXNJF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inequalities in information theory, Inequalities in information theory (definition). Also Wikidata Q17092428
History
- 2026-11-02: add by m2/dev
Johnson, Norman Lloyd 7TJ5TBQ2KP
| URI | m2://inv/7TJ5TBQ2KP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#XUWV, Johnson, Norman Lloyd (topic)
History
- 2026-11-02: add by m2/dev
7TJ8FJY52N 7TJ8FJY52N
| URI | m2://inv/7TJ8FJY52N |
|---|---|
| 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.05327#TS5Y (statement). In ZD7BWDKT84/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.10
Thomas C. Chalmers 7TJ8K811V2
| URI | m2://inv/7TJ8K811V2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas C. Chalmers, Thomas C. Chalmers (topic). Also Wikidata Q7788119
History
- 2026-11-02: add by m2/dev
7TJ8ZBYN0F 7TJ8ZBYN0F
| URI | m2://inv/7TJ8ZBYN0F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19288#LQCB (definition). In 1EA6AM9V01/e1, definition 1.10
History
- 2026-10-28: add by m2/v0.4.2
Symmetries 7TJADHGEK8
| URI | m2://inv/7TJADHGEK8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Apeirogon#ES4K, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
Monsky's theorem 7TJF1N0B7M
| URI | m2://inv/7TJF1N0B7M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#H3NY, Monsky's theorem (statement)
History
- 2026-11-02: add by m2/dev
7TJP17WZC4 7TJP17WZC4
| URI | m2://inv/7TJP17WZC4 |
|---|---|
| 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#66EH (definition). In BDN507RN7J/e1, definition 3.2.1
History
- 2026-10-30: add by m2/v0.4.12
Backward Monge realization of a discrete target 7TJQBH545X
| URI | m2://inv/7TJQBH545X |
|---|---|
| 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 2609.38228#48HB, Backward Monge realization of a discrete target (statement). In 9YAE8FNQST/e1, corollary 10.2
History
- 2026-10-30: add by m2/v0.4.12
7TJR6XSEGG 7TJR6XSEGG
| URI | m2://inv/7TJR6XSEGG |
|---|---|
| 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.15720#27P9 (statement). In VNN52G3BRE/e1, corollary B.9
History
- 2026-10-28: add by m2/v0.4.2
7TJSMC5677 7TJSMC5677
| URI | m2://inv/7TJSMC5677 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13291#1T06 (conjecture). In D16PSAVVWV/e1, conjecture 7.4
History
- 2026-10-28: add by m2/v0.4.2
Baxter permutation 7TJTJ1E5FM
| URI | m2://inv/7TJTJ1E5FM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baxter permutation, Baxter permutation (definition). Also Wikidata Q4873869
History
- 2026-11-02: add by m2/dev
7TK1METGJF 7TK1METGJF
| URI | m2://inv/7TK1METGJF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1004.4564#Q52G (definition). In BZ54C9SKYS/e1, definition 6.11
History
- 2026-10-27: add by m2/v0.3.5
7TK2XJX4SG 7TK2XJX4SG
| URI | m2://inv/7TK2XJX4SG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09735#KSS6 (statement). In C518KB563H/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
7TK3AWCW42 7TK3AWCW42
| URI | m2://inv/7TK3AWCW42 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/church-rosser/parallel-beta-eta-reduction.tex#thm:refl (statement). In PKGMM3P5QY, thm, section 36.2
History
- 2026-11-01: add by m2/v0.6.13
7TK7XQBPCM 7TK7XQBPCM
| URI | m2://inv/7TK7XQBPCM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20119#MNHL (example)
History
- 2026-11-02: add by m2/v0.6.18
7TK9AKTRBY 7TK9AKTRBY
| URI | m2://inv/7TK9AKTRBY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#example-2 (example). In RZP28ERRZV, example, section 32.1
History
- 2026-11-01: add by m2/v0.6.13
block 7TKABEMEVN
| URI | m2://inv/7TKABEMEVN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4927124, block (unknown). Also MathWorld GroupBlock
- wikipedia: Wikipedia Block (permutation group theory), Block (definition). Also Wikidata Q4927124
History
- 2026-10-26: add by m2/dev
Examples 7TKAK7K1FK
| URI | m2://inv/7TKAK7K1FK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Estrin's scheme#HIEU, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties 7TKFGS8ATS
| URI | m2://inv/7TKFGS8ATS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semiprime#F897, Properties (statement)
History
- 2026-11-02: add by m2/dev
7TKG4YG2GQ 7TKG4YG2GQ
| URI | m2://inv/7TKG4YG2GQ |
|---|---|
| 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.38138#XCBN (problem). In G97FA99ZEF/e1, problem 1.6
History
- 2026-10-30: add by m2/v0.4.12
7TKKGP9647 7TKKGP9647
| URI | m2://inv/7TKKGP9647 |
|---|---|
| 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.20588#36P8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
7TKM14S88C 7TKM14S88C
| URI | m2://inv/7TKM14S88C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.16669#TO9F (statement). In 1463YCCRP5/e1, lemma 6.9
History
- 2026-10-27: add by m2/v0.4.0
Specker sequence 7TKR8HFW3R
| URI | m2://inv/7TKR8HFW3R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2308311, Specker sequence (concept). Also nLab Specker sequence
- wikipedia: Wikipedia Specker sequence, Specker sequence (definition). Also Wikidata Q2308311
History
- 2026-10-26: add by m2/dev
7TKVCAZP3S 7TKVCAZP3S
| URI | m2://inv/7TKVCAZP3S |
|---|---|
| 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.14509#5QIH (statement). In N6GD8392QB/e1, proposition 5.4
History
- 2026-10-28: add by m2/v0.4.2
rank 7TKW9QBH8N
| URI | m2://inv/7TKW9QBH8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#GX4S, rank (definition)
History
- 2026-11-02: add by m2/dev
domain, of a constructor 7TM53BXWJX
| URI | m2://inv/7TM53BXWJX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.6/domain-of-a-constructor, domain, of a constructor (concept). In N54F33XE07, index, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
Nerd pride 7TM68P2CDS
| URI | m2://inv/7TM68P2CDS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nerd#RFF3, Nerd pride (unknown)
History
- 2026-11-02: add by m2/dev
Alastair Denniston 7TM7D6NKM1
| URI | m2://inv/7TM7D6NKM1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#DILW, Alastair Denniston (topic)
History
- 2026-11-02: add by m2/dev
location-scale family 7TMNFSXS39
| URI | m2://inv/7TMNFSXS39 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34613#TUCD, location-scale family (definition). In JPR86T9Y78/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
Fundamental Theorem (Soundness 7TMT8XTE7Q
| URI | m2://inv/7TMT8XTE7Q |
|---|---|
| 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#KBIP, Fundamental Theorem (Soundness (statement). In CPYWHRTPKC/e1, theorem 7.47
History
- 2026-10-27: add by m2/v0.4.2
Lemma 1 7TMV8KJ507
| URI | m2://inv/7TMV8KJ507 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zorn's lemma#COYH, Lemma 1 (statement)
History
- 2026-11-02: add by m2/dev
Definition 7TMYHBHMDJ
| URI | m2://inv/7TMYHBHMDJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lawrence–Krammer representation#W35T, Definition (definition)
History
- 2026-11-02: add by m2/dev
Sylvester equation 7TMZPVCQT4
| URI | m2://inv/7TMZPVCQT4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylvester equation, Sylvester equation (definition). Also Wikidata Q3730848
History
- 2026-11-02: add by m2/dev
Affine parameter 7TN38NP0PB
| URI | m2://inv/7TN38NP0PB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodesic#0OYE, Affine parameter (unknown)
History
- 2026-11-02: add by m2/dev
Contraction mapping 7TN3GPNJQ7
| URI | m2://inv/7TN3GPNJQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contraction mapping, Contraction mapping (definition). Also Wikidata Q515173
History
- 2026-11-02: add by m2/dev
7TNENVF9Q3 7TNENVF9Q3
| URI | m2://inv/7TNENVF9Q3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-28 (exercise). In E9HS8K3A52, exercise, section 9.2.1
History
- 2026-11-01: add by m2/v0.6.13
Simultaneous equations model 7TNNEHWQPE
| URI | m2://inv/7TNNEHWQPE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simultaneous equations model, Simultaneous equations model (definition). Also Wikidata Q4420961
History
- 2026-11-02: add by m2/dev
Octopus Decomposition 7TNR96HKZ8
| URI | m2://inv/7TNR96HKZ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10558#HMPD, Octopus Decomposition (statement). In GYSF9JXQCH/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
7TNTHZYGRK 7TNTHZYGRK
| URI | m2://inv/7TNTHZYGRK |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wall–Sun–Sun prime#E398 (problem)
History
- 2026-11-02: add by m2/dev
7TP1J1CV73 7TP1J1CV73
| URI | m2://inv/7TP1J1CV73 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#UUIE (unknown). In QNBFHFZ3H0/e1, unknown 110
History
- 2026-10-28: add by m2/v0.4.2
Proof of Bertrand's postulate 7TPNWBHE5Q
| URI | m2://inv/7TPNWBHE5Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#7XTO, Proof of Bertrand's postulate (definition)
History
- 2026-11-02: add by m2/dev
first-order variable 7TPQZ122DM
| URI | m2://inv/7TPQZ122DM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#CLTB, first-order variable (definition)
History
- 2026-11-02: add by m2/dev
7TPVF539W5 7TPVF539W5
| URI | m2://inv/7TPVF539W5 |
|---|---|
| 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#13ZR (statement). In 3Z0D2NCJ0B/e1, lemma 27
History
- 2026-10-29: add by m2/v0.4.12
Regressive discrete Fourier series 7TPWF0T35F
| URI | m2://inv/7TPWF0T35F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier analysis topics#9LWU, Regressive discrete Fourier series (definition)
History
- 2026-11-02: add by m2/dev
Adversary 7TQ6KFY4TQ
| URI | m2://inv/7TQ6KFY4TQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adversary (cryptography), Adversary (definition). Also Wikidata Q2825412
History
- 2026-11-02: add by m2/dev
A one-variable \(q\)-binomial specialization 7TQ7D2ZS46
| URI | m2://inv/7TQ7D2ZS46 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24541#NQEF, A one-variable \(q\)-binomial specialization (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cayley-Hamilton 7TQDVY4AMC
| URI | m2://inv/7TQDVY4AMC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dets.tex#theorem-1, Cayley-Hamilton (statement). In RZP28ERRZV, theorem, section 56.3
History
- 2026-11-01: add by m2/v0.6.13
Elliptic Lehmer conjecture 7TQPCBTT1Z
| URI | m2://inv/7TQPCBTT1Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lehmer's conjecture#3I91, Elliptic Lehmer conjecture (unknown)
History
- 2026-11-02: add by m2/dev
7TQW7SFN91 7TQW7SFN91
| URI | m2://inv/7TQW7SFN91 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Acyclic orientation 7TR174ACKD
| URI | m2://inv/7TR174ACKD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acyclic orientation, Acyclic orientation (definition). Also Wikidata Q4677986
History
- 2026-11-02: add by m2/dev
Conditional probability distribution 7TR34C2DD5
| URI | m2://inv/7TR34C2DD5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional probability distribution, Conditional probability distribution (definition). Also Wikidata Q2300258
History
- 2026-11-02: add by m2/dev
Statement 7TR5HCBR13
| URI | m2://inv/7TR5HCBR13 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coin problem#TQ52, Statement (statement)
History
- 2026-11-02: add by m2/dev
7TRGDYPTB2 7TRGDYPTB2
| URI | m2://inv/7TRGDYPTB2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27641#UT78 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Prescribed centers and relative widths 7TS78HXQQW
| URI | m2://inv/7TS78HXQQW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24930#L2G3, Prescribed centers and relative widths (statement)
History
- 2026-11-01: add by m2/v0.6.15
axiom of dependent choice 7TS9362SR2
| URI | m2://inv/7TS9362SR2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Axiom of dependent choice WEMJBN339R |
Mentions
- wikidata: Wikidata Q3303153, axiom of dependent choice (statement). Also nLab dependent choice, ProofWiki Axiom:Axiom_of_Dependent_Choice
- wikipedia: Wikipedia Axiom of dependent choice, Axiom of dependent choice (statement). Also Wikidata Q3303153
History
- 2026-10-26: add by m2/dev
7TSADQ32PN 7TSADQ32PN
| URI | m2://inv/7TSADQ32PN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18239#ECN5 (statement). In C60WZ6WQSY/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.2
7TSGSEZ770 7TSGSEZ770
| URI | m2://inv/7TSGSEZ770 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13629#4ER3 (definition). In PQNYA0C510/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
7TSX46VGN8 7TSX46VGN8
| URI | m2://inv/7TSX46VGN8 |
|---|---|
| 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.35678#SEIC (statement). In 4X4ZS7CEKD/e1, proposition 17
History
- 2026-10-30: add by m2/v0.4.12
Takafumi Murai 7TT7YJW43A
| URI | m2://inv/7TT7YJW43A |
|---|---|
| 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#13QD, Takafumi Murai (unknown)
History
- 2026-11-02: add by m2/dev
\bf Types of nodes 7TTJMVBDZB
| URI | m2://inv/7TTJMVBDZB |
|---|---|
| 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.14445#DILL, \bf Types of nodes (definition). In V56MKF0KW2/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
7TTP8ZZTPR 7TTP8ZZTPR
| URI | m2://inv/7TTP8ZZTPR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21937#BNM8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Boris Komrakov 7TTTJQX77X
| URI | m2://inv/7TTTJQX77X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boris Komrakov, Boris Komrakov (topic). Also Wikidata Q893750
History
- 2026-11-02: add by m2/dev
Dieudonn\'{e}'s Lemma 7TTTWQ9Q72
| URI | m2://inv/7TTTWQ9Q72 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26154#S4NJ, Dieudonn\'{e}'s Lemma (statement)
History
- 2026-11-01: add by m2/v0.6.15
7TTX62NKD0 7TTX62NKD0
| URI | m2://inv/7TTX62NKD0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37093#VOK8 (statement). In GA6QH32CJQ/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
7TV4W18AH6 7TV4W18AH6
| URI | m2://inv/7TV4W18AH6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03856#NUUU (statement). In HTBRYNPHSJ/e1, corollary 6.4
History
- 2026-10-29: add by m2/v0.4.12
Proper-face pair-shock aggregation 7TVG7NFP0T
| URI | m2://inv/7TVG7NFP0T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29658#84XK, Proper-face pair-shock aggregation (statement)
History
- 2026-11-01: add by m2/v0.6.15
7TVNA6EY88 7TVNA6EY88
| URI | m2://inv/7TVNA6EY88 |
|---|---|
| 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.15525#HOJR (statement). In EFDRME13PT/e1, corollary 4.8
History
- 2026-10-28: add by m2/v0.4.2
7TVTSN4P1Z 7TVTSN4P1Z
| URI | m2://inv/7TVTSN4P1Z |
|---|---|
| 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 2506.07061#S04N (statement). In G2PA4KAGRP/e1, proposition 2.9
History
- 2026-10-27: add by m2/v0.3.6
Matrix factorization 7TVV335WEV
| URI | m2://inv/7TVV335WEV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix factorization (algebra), Matrix factorization (definition). Also Wikidata Q111939812
History
- 2026-11-02: add by m2/dev
7TVVNA1WMA 7TVVNA1WMA
| URI | m2://inv/7TVVNA1WMA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-5 (exercise). In E9HS8K3A52, exercise, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
7TVXGW9655 7TVXGW9655
| URI | m2://inv/7TVXGW9655 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21090#2NGP (statement)
History
- 2026-11-02: add by m2/v0.6.18
7TW5GFKXVF 7TW5GFKXVF
| URI | m2://inv/7TW5GFKXVF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28265#LSQ5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
\emph{Sample-splitting for U-statistics 7TW5NNSE4H
| URI | m2://inv/7TW5NNSE4H |
|---|---|
| Kind | example |
| 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 2601.13428#7MXB, \emph{Sample-splitting for U-statistics (example). In SM4QEDZSS6/e1, example 5
History
- 2026-10-27: add by m2/v0.3.5
7TWJWR0J50 7TWJWR0J50
| URI | m2://inv/7TWJWR0J50 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#OI2F (statement). In 5KR3MHYVV6/e1, corollary 3.13
History
- 2026-10-28: add by m2/v0.4.2
7TWKJCJETK 7TWKJCJETK
| URI | m2://inv/7TWKJCJETK |
|---|---|
| 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.21475#OK9L (statement). In TTRSZVT4VX/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.2
Formula 7TX5GE9YGR
| URI | m2://inv/7TX5GE9YGR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inclusion–exclusion principle#6NY1, Formula (statement)
History
- 2026-11-02: add by m2/dev
Ch. X, Thm 2.2(c 7TX8A6A9JS
| URI | m2://inv/7TX8A6A9JS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01924#RIR5, Ch. X, Thm 2.2(c (statement). In CB89152EQW/e1, lemma 15
History
- 2026-10-29: add by m2/v0.4.12
Relative Entropy 7TX8DBGYSY
| URI | m2://inv/7TX8DBGYSY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28297#VLJ6, Relative Entropy (statement)
History
- 2026-11-01: add by m2/v0.6.15
7TXKRWYJ8Y 7TXKRWYJ8Y
| URI | m2://inv/7TXKRWYJ8Y |
|---|---|
| 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 2401.15490#EXLC (problem). In AAY60GVERS/e1, problem 5
History
- 2026-10-27: add by m2/v0.3.5
7TXQE75BK7 7TXQE75BK7
| URI | m2://inv/7TXQE75BK7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/zig-zag.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 85.1
History
- 2026-11-01: add by m2/v0.6.13
Exact first-order profiles 7TXSTT6W9V
| URI | m2://inv/7TXSTT6W9V |
|---|---|
| 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.15086#RS8F, Exact first-order profiles (statement). In V60MVF3KQ1/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
7TXZZSNR11 7TXZZSNR11
| URI | m2://inv/7TXZZSNR11 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#DDQS (statement). In VN084GGZGK/e1, proposition 3.20
History
- 2026-10-28: add by m2/v0.4.3
7TY235PFTX 7TY235PFTX
| URI | m2://inv/7TY235PFTX |
|---|---|
| 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#CFUB (statement). In BDN507RN7J/e1, proposition 3.5.4
History
- 2026-10-30: add by m2/v0.4.12
7TYBQYPKH0 7TYBQYPKH0
| URI | m2://inv/7TYBQYPKH0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20190#2JZE (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition 7TYD8R3P7W
| URI | m2://inv/7TYD8R3P7W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pinwheel tiling#0CPS, Definition (definition)
History
- 2026-11-02: add by m2/dev
7TYDK1AW0P 7TYDK1AW0P
| URI | m2://inv/7TYDK1AW0P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31127#OZIZ (statement). In NS3RZ26JC7/e1, lemma 8
History
- 2026-10-31: add by m2/v0.5.6
7TYEKQ5V42 7TYEKQ5V42
| URI | m2://inv/7TYEKQ5V42 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30098#K986 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Georg Faber 7TYGQNHJQ3
| URI | m2://inv/7TYGQNHJQ3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georg Faber, Georg Faber (topic). Also Wikidata Q1504181
History
- 2026-11-02: add by m2/dev
Wieferich number 7TYJTRFSE9
| URI | m2://inv/7TYJTRFSE9 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q125339449, Wieferich number (object). Also OEIS A077816
History
- 2026-10-26: add by m2/dev
7TYP1KX6SW 7TYP1KX6SW
| URI | m2://inv/7TYP1KX6SW |
|---|---|
| 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 2210.06147#Q7CC (statement). In 94RBNQA07A/e1, proposition 6.3
History
- 2026-10-27: add by m2/v0.3.5
7TYP9YEASW 7TYP9YEASW
| URI | m2://inv/7TYP9YEASW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.01567#WK9E (statement). In GB0V23Q6C5/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
Journey into Geometries 7TYSQMXRSS
| URI | m2://inv/7TYSQMXRSS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journey into Geometries, Journey into Geometries (definition). Also Wikidata Q104848583
History
- 2026-11-02: add by m2/dev
7TYWSEMB0A 7TYWSEMB0A
| URI | m2://inv/7TYWSEMB0A |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/constructions.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 96.1
History
- 2026-11-01: add by m2/v0.6.13
7TZ1EXDCJM 7TZ1EXDCJM
| URI | m2://inv/7TZ1EXDCJM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.10840#L58Y (statement). In P0HKF5DY7M/e1, lemma 5.6
History
- 2026-10-27: add by m2/v0.3.5
7TZ3MYYHQJ 7TZ3MYYHQJ
| URI | m2://inv/7TZ3MYYHQJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.09796#JEEF (statement). In NAA7WFQN20/e1, theorem C
History
- 2026-10-27: add by m2/v0.3.5
\textbf{Mixing time of randomized ULMC beyond log-concavity 7TZ451QWC7
| URI | m2://inv/7TZ451QWC7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20713#YRXF, \textbf{Mixing time of randomized ULMC beyond log-concavity (statement)
History
- 2026-11-02: add by m2/v0.6.18
John D. P. Meldrum 7TZ5A6TMAX
| URI | m2://inv/7TZ5A6TMAX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John D. P. Meldrum, John D. P. Meldrum (topic). Also Wikidata Q102219569
History
- 2026-11-02: add by m2/dev
7TZCD5Y057 7TZCD5Y057
| URI | m2://inv/7TZCD5Y057 |
|---|---|
| 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 2404.18704#UPMI (statement). In T4MQVXFGWC/e1, theorem 7.1
History
- 2026-10-27: add by m2/v0.3.5
Mean for growing multiplicities 7TZDR2A4AD
| URI | m2://inv/7TZDR2A4AD |
|---|---|
| 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.17479#5MVZ, Mean for growing multiplicities (statement). In 4FWAY748N7/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
reflexive 7TZR4ZY885
| URI | m2://inv/7TZR4ZY885 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.10/reflexive, reflexive (concept). In QKM9DD2H56, index, section B.10
History
- 2026-11-01: add by m2/v0.6.13
7TZR8RQQ75 7TZR8RQQ75
| URI | m2://inv/7TZR8RQQ75 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.00560#S1UM (statement). In KH1H3TSWPS/e1, theorem 4.15
History
- 2026-10-27: add by m2/v0.3.6
7TZSR68XB6 7TZSR68XB6
| URI | m2://inv/7TZSR68XB6 |
|---|---|
| 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 1004.4564#HRL8 (statement). In BZ54C9SKYS/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
7TZV9TXH9M 7TZV9TXH9M
| URI | m2://inv/7TZV9TXH9M |
|---|---|
| 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.17204#UW8P (statement). In 5CZ2BNV4MT/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Principal factor 7TZZ1ZVWTH
| URI | m2://inv/7TZZ1ZVWTH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal factor, Principal factor (definition). Also Wikidata Q17099663
History
- 2026-11-02: add by m2/dev