Inventory rows D7
The cards of the rows of the inventory whose ids start with D7. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
D707ATTQRD D707ATTQRD
| URI | m2://inv/D707ATTQRD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31365#OGUZ (statement). In 19GENJ3NCP/e1, theorem 2.6
History
- 2026-10-31: add by m2/v0.5.6
Tiny and miny D707MXMFXZ
| URI | m2://inv/D707MXMFXZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tiny and miny, Tiny and miny (definition). Also Wikidata Q7808658
History
- 2026-11-02: add by m2/dev
D70DB100ZW D70DB100ZW
| URI | m2://inv/D70DB100ZW |
|---|---|
| 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 2408.03317#PNMI (statement). In T2ESY2PE1R/e1, corollary 4.3
History
- 2026-10-27: add by m2/v0.3.5
Positive polynomial D70GS3ZB0F
| URI | m2://inv/D70GS3ZB0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive polynomial, Positive polynomial (definition). Also Wikidata Q7233283
History
- 2026-11-02: add by m2/dev
D70HCBTP7J D70HCBTP7J
| URI | m2://inv/D70HCBTP7J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section1-1.xml#activity-1 (exercise). In 649HGZKE96, activity, section 1.1.1
History
- 2026-11-01: add by m2/v0.6.13
D70M37CT1A D70M37CT1A
| URI | m2://inv/D70M37CT1A |
|---|---|
| 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#TRQU (statement). In 1463YCCRP5/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.4.0
D70QZD98HZ D70QZD98HZ
| URI | m2://inv/D70QZD98HZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02244#THPA (statement). In 3REM2EXQK7/e1, theorem 3.14
History
- 2026-10-29: add by m2/v0.4.12
D70THGZS0T D70THGZS0T
| URI | m2://inv/D70THGZS0T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2206.11797#W3FU (statement). In 8SJWWZN4FH/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.4.0
Single-layer FedAvg convergence rate D70WJYK5TZ
| URI | m2://inv/D70WJYK5TZ |
|---|---|
| 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.02659#42C9, Single-layer FedAvg convergence rate (statement). In EV933413SJ/e1, corollary 4.8
History
- 2026-10-29: add by m2/v0.4.12
Bohumil Bydžovský D70YFY0VWH
| URI | m2://inv/D70YFY0VWH |
|---|---|
| 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#Q9PD, Bohumil Bydžovský (topic)
History
- 2026-11-02: add by m2/dev
D710908NRN D710908NRN
| URI | m2://inv/D710908NRN |
|---|---|
| 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.11757#VPPJ (statement). In VSJRVTHWWA/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.3
Norton's theorem D712YRAAEC
| URI | m2://inv/D712YRAAEC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#0WM0, Norton's theorem (statement)
History
- 2026-11-02: add by m2/dev
D719HCQK5S D719HCQK5S
| URI | m2://inv/D719HCQK5S |
|---|---|
| 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.00512#VSJK (statement). In RB5QBG3MJY/e1, theorem 4.14
History
- 2026-10-30: add by m2/v0.4.12
Vincent Lafforgue D71AVKTVNE
| URI | m2://inv/D71AVKTVNE |
|---|---|
| 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#9TS0, Vincent Lafforgue (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#H441, Vincent Lafforgue (topic)
History
- 2026-11-02: add by m2/dev
air D71CPCH0ES
| URI | m2://inv/D71CPCH0ES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7391292, air (definition). Also ProofWiki Definition:Air
History
- 2026-10-26: add by m2/dev
string D71J1SDYT3
| URI | m2://inv/D71J1SDYT3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q184754, string (unknown). Also MathWorld String
- wikipedia: Wikipedia String (computer science), String (definition). Also Wikidata Q184754
History
- 2026-10-26: add by m2/dev
Cantor D71NZ98C3Y
| URI | m2://inv/D71NZ98C3Y |
|---|---|
| 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/comparing-size.tex#thm:cantor, Cantor (statement). In PKGMM3P5QY, thm, section 83.3
History
- 2026-11-01: add by m2/v0.6.13
Graph center D71RVH4Z4E
| URI | m2://inv/D71RVH4Z4E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph center, Graph center (definition). Also Wikidata Q5597075
History
- 2026-11-02: add by m2/dev
D71VQREWMT D71VQREWMT
| URI | m2://inv/D71VQREWMT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/ramification.tex#dproblem-1 (exercise). In RZP28ERRZV, dproblem, section 18.6
History
- 2026-11-01: add by m2/v0.6.13
List of fellows of the American Statistical Association D7224761D3
| URI | m2://inv/D7224761D3 |
|---|---|
| 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, List of fellows of the American Statistical Association (topic). Also Wikidata Q27664469
History
- 2026-11-02: add by m2/dev
Statement of the conjecture D7232PV8KR
| URI | m2://inv/D7232PV8KR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brumer–Stark conjecture#DZXV, Statement of the conjecture (statement)
History
- 2026-11-02: add by m2/dev
D725N4PDGC D725N4PDGC
| URI | m2://inv/D725N4PDGC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09739#MEQQ (example). In ZYNZ95FSFD/e1, example 2.6
History
- 2026-10-29: add by m2/v0.4.10
Swain equation D726BW9YP6
| URI | m2://inv/D726BW9YP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Swain equation, Swain equation (definition). Also Wikidata Q7653004
History
- 2026-11-02: add by m2/dev
D72KSQ0WKV D72KSQ0WKV
| URI | m2://inv/D72KSQ0WKV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35460#TX7Z (statement). In R515NECVME/e1, proposition 8.8
History
- 2026-10-30: add by m2/v0.4.12
Ravindra Shripad Kulkarni D72TG57EMP
| URI | m2://inv/D72TG57EMP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#SXOP, Ravindra Shripad Kulkarni (topic)
History
- 2026-11-02: add by m2/dev
D7346F8TK9 D7346F8TK9
| URI | m2://inv/D7346F8TK9 |
|---|---|
| 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.19684#NV05 (statement). In 9KQC3ZT2SH/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
D735TGVPMS D735TGVPMS
| URI | m2://inv/D735TGVPMS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12908#NDW5 (definition). In TNC658NVMQ/e1, definition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Examples D73AHM58RN
| URI | m2://inv/D73AHM58RN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dihedral symmetry in three dimensions#IT65, Examples (example)
History
- 2026-11-02: add by m2/dev
Fundamental theorem for complex line integrals D73BDPRKD0
| URI | m2://inv/D73BDPRKD0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy's integral theorem#2CL0, Fundamental theorem for complex line integrals (statement)
History
- 2026-11-02: add by m2/dev
D73DHB88RN D73DHB88RN
| URI | m2://inv/D73DHB88RN |
|---|---|
| Kind | example |
| 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.23871#4GQJ (example)
History
- 2026-11-02: add by m2/v0.6.17
D73GP6GMTC D73GP6GMTC
| URI | m2://inv/D73GP6GMTC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09506#DZBZ (statement). In AQC7E6RAT4/e1, theorem 1.6
History
- 2026-10-29: add by m2/v0.4.10
A divergent trajectory when $U$ does not halt D73XST0SNB
| URI | m2://inv/D73XST0SNB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-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.22058#DFA9, A divergent trajectory when $U$ does not halt (statement)
History
- 2026-11-02: add by m2/v0.6.17
Gradient-update alignment D73ZZ2W5D1
| URI | m2://inv/D73ZZ2W5D1 |
|---|---|
| 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.03306#6A1E, Gradient-update alignment (statement). In CXQ7FKSKSB/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Applications D741X4EYHT
| URI | m2://inv/D741X4EYHT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegel modular variety#II4O, Applications (example)
History
- 2026-11-02: add by m2/dev
D7439BVQG8 D7439BVQG8
| URI | m2://inv/D7439BVQG8 |
|---|---|
| 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 2110.06338#E1AX (definition). In W1VVK7WDPK/e1, definition 4.3
History
- 2026-10-27: add by m2/v0.4.0
double induction D7467FJEAD
| URI | m2://inv/D7467FJEAD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/3.5/double-induction, double induction (concept). In Y91XFCEVHQ, index, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
D74CBGR753 D74CBGR753
| URI | m2://inv/D74CBGR753 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38975#O8I8 (definition). In D2247CRPPE/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
D74KYR1V2E D74KYR1V2E
| URI | m2://inv/D74KYR1V2E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.16491#PX7E (definition). In P9J6P06Y40/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.3.5
Explicit cap data D74N9K142K
| URI | m2://inv/D74N9K142K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11077#AFML, Explicit cap data (statement). In 4333A6G5K5/e1, proposition B.6
History
- 2026-10-28: add by m2/v0.4.3
D74NF0BEV9 D74NF0BEV9
| URI | m2://inv/D74NF0BEV9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30086#G5E2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
D74SABQEMS D74SABQEMS
| URI | m2://inv/D74SABQEMS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35858#L7CO (statement). In R2K4HZN8RW/e1, proposition 2.3
History
- 2026-10-30: add by m2/v0.4.12
Interaction (statistics) D74VRVC9ZG
| URI | m2://inv/D74VRVC9ZG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZFYY, Interaction (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Tube Lemma D7563V1PYS
| URI | m2://inv/D7563V1PYS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tube lemma#JBJI, Tube Lemma (statement)
History
- 2026-11-02: add by m2/dev
Definition D75AJ2Y3X9
| URI | m2://inv/D75AJ2Y3X9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virasoro conformal block#LIDT, Definition (definition)
History
- 2026-11-02: add by m2/dev
John Sturgeon Mackay D75GJ8YT4S
| URI | m2://inv/D75GJ8YT4S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Sturgeon Mackay, John Sturgeon Mackay (topic). Also Wikidata Q18912638
History
- 2026-11-02: add by m2/dev
D75HVSJY81 D75HVSJY81
| URI | m2://inv/D75HVSJY81 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18346#IYX3 (statement). In QVPNGHTMEX/e1, theorem 4.6
History
- 2026-10-28: add by m2/v0.4.2
Limit theorems (lmt) D75KBEBCC4
| URI | m2://inv/D75KBEBCC4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catalog of articles in probability theory#CE5H, Limit theorems (lmt) (statement)
History
- 2026-11-02: add by m2/dev
D75PN1RYF6 D75PN1RYF6
| URI | m2://inv/D75PN1RYF6 |
|---|---|
| Kind | example |
| 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#HZZD (example)
History
- 2026-11-02: add by m2/v0.6.17
generate an algebra D760F5KAD5
| URI | m2://inv/D760F5KAD5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/1.7.2/generate-an-algebra, generate an algebra (concept). In E59CDZA4DP, index, section 1.7.2
History
- 2026-11-01: add by m2/v0.6.13
D761CZS1J2 D761CZS1J2
| URI | m2://inv/D761CZS1J2 |
|---|---|
| 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 2404.05965#PISJ (statement). In GD1GED3FZ3/e1, lemma 7.5
History
- 2026-10-27: add by m2/v0.3.5
D7624CBHVZ D7624CBHVZ
| URI | m2://inv/D7624CBHVZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-binom.ptx#investigation-1 (exercise). In Y91XFCEVHQ, investigation, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Applications D766WKWDT6
| URI | m2://inv/D766WKWDT6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outline of probability#QSDW, Applications (example)
History
- 2026-11-02: add by m2/dev
D76GZQQV9H D76GZQQV9H
| URI | m2://inv/D76GZQQV9H |
|---|---|
| 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.23237#VFV8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
fundamental groupoid D76J2PTWA2
| URI | m2://inv/D76J2PTWA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#3PAE, fundamental groupoid (definition)
History
- 2026-11-02: add by m2/dev
statistical graphics D76PABRNFT
| URI | m2://inv/D76PABRNFT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#6YKH, statistical graphics (definition)
History
- 2026-11-02: add by m2/dev
D771Z164F2 D771Z164F2
| URI | m2://inv/D771Z164F2 |
|---|---|
| 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 2609.38793#HMFV (definition). In T2N92YSY5R/e1, definition 4.6
History
- 2026-10-30: add by m2/v0.4.12
Hortensia Soto D77464S77N
| URI | m2://inv/D77464S77N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hortensia Soto, Hortensia Soto (topic). Also Wikidata Q104747470
History
- 2026-11-02: add by m2/dev
D775KR5MZG D775KR5MZG
| URI | m2://inv/D775KR5MZG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2304.03611#U9SR (definition). In 75E8ZB1CBV/e1, definition 2.2.4
History
- 2026-10-27: add by m2/v0.4.0
Akram Aldroubi D779MCR9R8
| URI | m2://inv/D779MCR9R8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Akram Aldroubi, Akram Aldroubi (topic). Also Wikidata Q43304783
History
- 2026-11-02: add by m2/dev
D77D0QDJ5Q D77D0QDJ5Q
| URI | m2://inv/D77D0QDJ5Q |
|---|---|
| Kind | definition |
| 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 2609.29399#SLQN (definition)
History
- 2026-11-01: add by m2/v0.6.15
D77EDT42J0 D77EDT42J0
| URI | m2://inv/D77EDT42J0 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06441#OPO5 (unknown). In YFJ62HWHVK/e1, unknown 2.2
History
- 2026-10-29: add by m2/v0.4.10
local parameterization D77KWSSE0B
| URI | m2://inv/D77KWSSE0B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Submanifolds of $\R^n$ > local parameterization, local parameterization (unknown)
History
- 2026-10-26: add by m2/dev
Clinical significance D77T8XNGCQ
| URI | m2://inv/D77T8XNGCQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1TYQ, Clinical significance (definition)
History
- 2026-11-02: add by m2/dev
complete intuition D77TPEDC6A
| URI | m2://inv/D77TPEDC6A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#1BEO, complete intuition (definition)
History
- 2026-11-02: add by m2/dev
Mathematical formulation of quantum mechanics D7820ZS10T
| URI | m2://inv/D7820ZS10T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical formulation of quantum mechanics, Mathematical formulation of quantum mechanics (definition). Also Wikidata Q606855
History
- 2026-11-02: add by m2/dev
D782WH91WQ D782WH91WQ
| URI | m2://inv/D782WH91WQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31126#SD2F (statement). In GK1V5GEHTK/e1, corollary 4.8
History
- 2026-10-31: add by m2/v0.5.6
Results D78777B3JN
| URI | m2://inv/D78777B3JN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Long branch attraction#YYLR, Results (statement)
History
- 2026-11-02: add by m2/dev
antinomy D789ATFXGW
| URI | m2://inv/D789ATFXGW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#FEXZ, antinomy (definition)
History
- 2026-11-02: add by m2/dev
D78EHN8P03 D78EHN8P03
| URI | m2://inv/D78EHN8P03 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02901#OMI7 (statement). In NSP90G5XCQ/e1, lemma 2.25
History
- 2026-10-29: add by m2/v0.4.12
diagonalization of normal endomorphisms D78Q1QTG0T
| URI | m2://inv/D78Q1QTG0T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > diagonalization of normal endomorphisms, diagonalization of normal endomorphisms (unknown)
History
- 2026-10-26: add by m2/dev
Examples D790BTETBH
| URI | m2://inv/D790BTETBH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobson radical#XNRX, Examples (example)
History
- 2026-11-02: add by m2/dev
duodecimal D790J5H43P
| URI | m2://inv/D790J5H43P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q212177, duodecimal (definition). Also MathWorld Duodecimal, ProofWiki Definition:Duodecimal_Notation
- wikipedia: Wikipedia Duodecimal, Duodecimal (definition). Also Wikidata Q212177
History
- 2026-10-26: add by m2/dev
Example D7938NC4ED
| URI | m2://inv/D7938NC4ED |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear approximation#L28C, Example (example)
History
- 2026-11-02: add by m2/dev
D795QD33PP D795QD33PP
| URI | m2://inv/D795QD33PP |
|---|---|
| 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#19WX (statement). In BDN507RN7J/e1, corollary 3.6.8
History
- 2026-10-30: add by m2/v0.4.12
D79DZC5M3H D79DZC5M3H
| URI | m2://inv/D79DZC5M3H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07114#689L (statement). In HP3TM356J6/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.10
Fisher–Yates shuffle D79HVSFJZX
| URI | m2://inv/D79HVSFJZX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#55JJ, Fisher–Yates shuffle (unknown)
History
- 2026-11-02: add by m2/dev
D79J0STPYT D79J0STPYT
| URI | m2://inv/D79J0STPYT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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 2406.13841#KYO5 (statement). In AB2EMMXC7X/e1, corollary 4.7
History
- 2026-10-27: add by m2/v0.3.5
Goldbach's conjecture D79Y16MZJT
| URI | m2://inv/D79Y16MZJT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#S681, Goldbach's conjecture (definition)
History
- 2026-11-02: add by m2/dev
Cauchy integral formula D7A0HGHEG6
| URI | m2://inv/D7A0HGHEG6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-27, Cauchy integral formula (statement). In VNMV985MXX, thm, section B
History
- 2026-11-01: add by m2/v0.6.13
Construction D7AB42WFWN
| URI | m2://inv/D7AB42WFWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1 22 polytope#4OVH, Construction (definition)
History
- 2026-11-02: add by m2/dev
Implementations D7ACQEZNWN
| URI | m2://inv/D7ACQEZNWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probabilistic signature scheme#ZEB1, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Martin Markl D7AG3WQXCN
| URI | m2://inv/D7AG3WQXCN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q95087994, Martin Markl (unknown). Also nLab Martin Markl
History
- 2026-10-26: add by m2/dev
Carl Gustav Jacob Jacobi D7AK4T1SS8
| URI | m2://inv/D7AK4T1SS8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q76564, Carl Gustav Jacob Jacobi (unknown). Also nLab Carl Gustav Jacob Jacobi
- wikipedia: Wikipedia Carl Gustav Jacob Jacobi, Carl Gustav Jacob Jacobi (topic). Also Wikidata Q76564
History
- 2026-10-26: add by m2/dev
Accretion disk D7AMH8VT7D
| URI | m2://inv/D7AMH8VT7D |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Accretion disk, Accretion disk (conjecture). Also Wikidata Q237604
History
- 2026-11-02: add by m2/dev
Uniform isomorphism D7ANHT5S0P
| URI | m2://inv/D7ANHT5S0P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#5O6X, Uniform isomorphism (definition)
History
- 2026-11-02: add by m2/dev
Normal variance-mean mixture D7AQ2PBTAP
| URI | m2://inv/D7AQ2PBTAP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#N0MX, Normal variance-mean mixture (definition)
History
- 2026-11-02: add by m2/dev
D7AT5QEE6T D7AT5QEE6T
| URI | m2://inv/D7AT5QEE6T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-basics.ptx#exercise-18 (exercise). In Y91XFCEVHQ, exercise, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Corollary 2 D7ATT5S9V4
| URI | m2://inv/D7ATT5S9V4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Agnew's theorem#HGQU, Corollary 2 (statement)
History
- 2026-11-02: add by m2/dev
Cartesian tensor D7AVS39QP4
| URI | m2://inv/D7AVS39QP4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#X5MF, Cartesian tensor (definition)
History
- 2026-11-02: add by m2/dev
Population centre (Canada) D7AWYKW9JR
| URI | m2://inv/D7AWYKW9JR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Census geographic units of Canada#5UGI, Population centre (Canada) (unknown)
History
- 2026-11-02: add by m2/dev
The two ceilings; i.i.d.\ model D7AYAAB3NB
| URI | m2://inv/D7AYAAB3NB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#7A9N, The two ceilings; i.i.d.\ model (statement)
History
- 2026-11-01: add by m2/v0.6.15
\upshape Mader D7B60QQ93E
| URI | m2://inv/D7B60QQ93E |
|---|---|
| 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.23634#L899, \upshape Mader (statement)
History
- 2026-11-02: add by m2/v0.6.17
D7BJP6MAKA D7BJP6MAKA
| URI | m2://inv/D7BJP6MAKA |
|---|---|
| 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.20013#UJT0 (statement). In SC5JZQKZH6/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.4.2
D7C4EY143X D7C4EY143X
| URI | m2://inv/D7C4EY143X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-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.26743#PP5D (statement)
History
- 2026-11-01: add by m2/v0.6.15
Simultaneous selection D7C53FZFAB
| URI | m2://inv/D7C53FZFAB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#PJSF, Simultaneous selection (statement). In ZZER8ZBSCR/e1, lemma B.10
History
- 2026-10-29: add by m2/v0.4.12
D7C7AGV58G D7C7AGV58G
| URI | m2://inv/D7C7AGV58G |
|---|---|
| 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.06466#BUTH (statement). In 6W451V3N75/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
D7CBVHVGWM D7CBVHVGWM
| URI | m2://inv/D7CBVHVGWM |
|---|---|
| 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.23238#EWCK (statement)
History
- 2026-11-02: add by m2/v0.6.17
Magic D7CD159S5Y
| URI | m2://inv/D7CD159S5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magic (cryptography), Magic (definition). Also Wikidata Q451935
History
- 2026-11-02: add by m2/dev
Modularity Theorem: geometric and arithmetic forms D7CDCPBX89
| URI | m2://inv/D7CDCPBX89 |
|---|---|
| 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.26196#8PQQ, Modularity Theorem: geometric and arithmetic forms (statement)
History
- 2026-11-01: add by m2/v0.6.15
D7CHE07CJV D7CHE07CJV
| URI | m2://inv/D7CHE07CJV |
|---|---|
| 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.38188#O4NR (statement). In 7615KVXDB5/e1, theorem 3.6
History
- 2026-10-30: add by m2/v0.4.12
Properties D7CHG65F0P
| URI | m2://inv/D7CHG65F0P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymmetric relation#AUAU, Properties (statement)
History
- 2026-11-02: add by m2/dev
D7CS1N6QR3 D7CS1N6QR3
| URI | m2://inv/D7CS1N6QR3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#thm:arch (statement). In E59CDZA4DP, thm, section 7.2.2
History
- 2026-11-01: add by m2/v0.6.13
D7D698432P D7D698432P
| URI | m2://inv/D7D698432P |
|---|---|
| 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 2506.16491#1DUS (statement). In P9J6P06Y40/e1, theorem 5.16
History
- 2026-10-27: add by m2/v0.3.5
Necessary but not sufficient D7D8RDQKC5
| URI | m2://inv/D7D8RDQKC5 |
|---|---|
| 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.27966#AVUG, Necessary but not sufficient (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stefan E. Warschawski D7D8WN9N9P
| URI | m2://inv/D7D8WN9N9P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5ZQG, Stefan E. Warschawski (unknown)
History
- 2026-11-02: add by m2/dev
CHSH inequality D7D9PKR4QR
| URI | m2://inv/D7D9PKR4QR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#AX7K, CHSH inequality (statement)
- wikipedia: Wikipedia List of inequalities#68X6, CHSH inequality (statement)
History
- 2026-11-02: add by m2/dev
D7DJE565Z2 D7DJE565Z2
| URI | m2://inv/D7DJE565Z2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-57 (exercise). In E9HS8K3A52, exercise, section 10.5.1
History
- 2026-11-01: add by m2/v0.6.13
D7DJJGGBQ3 D7DJJGGBQ3
| URI | m2://inv/D7DJJGGBQ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16114#LZVX (statement). In JZZ3FJ382R/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
Statement D7DMT7RBHP
| URI | m2://inv/D7DMT7RBHP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Khintchine inequality#BBK5, Statement (statement)
History
- 2026-11-02: add by m2/dev
D7DN2GACT7 D7DN2GACT7
| URI | m2://inv/D7DN2GACT7 |
|---|---|
| Kind | example |
| 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.20911#QJ3J (example). In FF3MV70E7Z/e1, example 3.1
History
- 2026-10-27: add by m2/v0.4.2
Theorem D7DYZXPGYH
| URI | m2://inv/D7DYZXPGYH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia UTM theorem#F9YK, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Basic principle D7E2WM4A9G
| URI | m2://inv/D7E2WM4A9G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caustic (optics)#53OG, Basic principle (statement)
History
- 2026-11-02: add by m2/dev
D7E36HFQ9W D7E36HFQ9W
| URI | m2://inv/D7E36HFQ9W |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-29: add by m2/v0.4.10
D7E806Y54B D7E806Y54B
| URI | m2://inv/D7E806Y54B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#definition-4 (definition). In RZP28ERRZV, definition, section 55.3
History
- 2026-11-01: add by m2/v0.6.13
D7E8DJTFGA D7E8DJTFGA
| URI | m2://inv/D7E8DJTFGA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0301148#V5LF (definition). In 5RE15848Z0/e1, definition 0.1
History
- 2026-10-27: add by m2/v0.3.5
Graham's number D7E8RNE0EX
| URI | m2://inv/D7E8RNE0EX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#P4WU, Graham's number (definition)
History
- 2026-11-02: add by m2/dev
D7E9Z0TZQR D7E9Z0TZQR
| URI | m2://inv/D7E9Z0TZQR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2201.04174#VVXP (statement). In NVTHDNQQ4Q/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
Applications D7EC201Z0J
| URI | m2://inv/D7EC201Z0J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Landweber iteration#GC22, Applications (example)
History
- 2026-11-02: add by m2/dev
Corollary D7EP8KPR4X
| URI | m2://inv/D7EP8KPR4X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Golden–Thompson inequality#5FJ9, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Variants D7EV0VEWVY
| URI | m2://inv/D7EV0VEWVY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positional game#YK49, Variants (statement)
History
- 2026-11-02: add by m2/dev
Seema Nanda D7F3D7MGTF
| URI | m2://inv/D7F3D7MGTF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seema Nanda, Seema Nanda (topic). Also Wikidata Q18356621
History
- 2026-11-02: add by m2/dev
Cohomology D7FB76M7SZ
| URI | m2://inv/D7FB76M7SZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#Z4TL, Cohomology (definition)
History
- 2026-11-02: add by m2/dev
Verblunsky's theorem D7FCH6G0YE
| URI | m2://inv/D7FCH6G0YE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal polynomials on the unit circle#HQMD, Verblunsky's theorem (statement)
History
- 2026-11-02: add by m2/dev
Michael Gage D7FGW4NCY0
| URI | m2://inv/D7FGW4NCY0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Gage (mathematician), Michael Gage (topic). Also Wikidata Q21822519
History
- 2026-11-02: add by m2/dev
Failure inside the first characteristic block D7FPBNBHXY
| URI | m2://inv/D7FPBNBHXY |
|---|---|
| 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.05652#0BQP, Failure inside the first characteristic block (statement). In 8BNPFYQDQX/e1, theorem 13.1
History
- 2026-10-29: add by m2/v0.4.10
Endpoint-rooted chain counts D7G53FRKZ1
| URI | m2://inv/D7G53FRKZ1 |
|---|---|
| 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.20414#YZ7I, Endpoint-rooted chain counts (statement). In X2NNNW8CX5/e1, lemma 7.6
History
- 2026-10-27: add by m2/v0.4.2
Various statements of the law D7G884NM8K
| URI | m2://inv/D7G884NM8K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Second law of thermodynamics#MWT8, Various statements of the law (statement)
History
- 2026-11-02: add by m2/dev
Sesquipower D7G9PW57JP
| URI | m2://inv/D7G9PW57JP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sesquipower, Sesquipower (definition). Also Wikidata Q7456103
History
- 2026-11-02: add by m2/dev
D7GBV5T1E5 D7GBV5T1E5
| URI | m2://inv/D7GBV5T1E5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.03672#5QLQ (definition). In EZZSZ1F071/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.0
D7GCXCSVKP D7GCXCSVKP
| URI | m2://inv/D7GCXCSVKP |
|---|---|
| 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.03264#T1B0 (statement). In 5TXRSPPTHP/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.12
Applications D7GMFCYV7T
| URI | m2://inv/D7GMFCYV7T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polytree#3Y1U, Applications (example)
History
- 2026-11-02: add by m2/dev
D7GMZBR47X D7GMZBR47X
| URI | m2://inv/D7GMZBR47X |
|---|---|
| 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.19806#3KT1 (statement). In 64WX3WHW4H/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
D7H2G2734Y D7H2G2734Y
| URI | m2://inv/D7H2G2734Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04694#QLAT (statement). In W9A0Z2NBMA/e1, lemma 29
History
- 2026-10-29: add by m2/v0.4.12
D7HKCSRJR4 D7HKCSRJR4
| URI | m2://inv/D7HKCSRJR4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/top-more.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 101.2.1
History
- 2026-11-01: add by m2/v0.6.13
Extensions D7HN2C9Z14
| URI | m2://inv/D7HN2C9Z14 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal distribution#EY01, Extensions (statement)
History
- 2026-11-02: add by m2/dev
D7HNY4S9K3 D7HNY4S9K3
| URI | m2://inv/D7HNY4S9K3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01354#PFMB (statement). In BWD76W20W8/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.12
D7HPJW6TPJ D7HPJW6TPJ
| URI | m2://inv/D7HPJW6TPJ |
|---|---|
| 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 2306.08237#31YB (statement). In E22A2MFR4Y/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.6
D7HV4N7169 D7HV4N7169
| URI | m2://inv/D7HV4N7169 |
|---|---|
| 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.16358#H2D8 (statement). In RJA3YJ9NYK/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
D7HWVP0BVH D7HWVP0BVH
| URI | m2://inv/D7HWVP0BVH |
|---|---|
| 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#XFAX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gelfand–Fuks cohomology D7J2R7CS47
| URI | m2://inv/D7J2R7CS47 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q96379141, Gelfand–Fuks cohomology (unknown). Also nLab Gelfand-Fuks cohomology
- wikipedia: Wikipedia Gelfand–Fuks cohomology, Gelfand–Fuks cohomology (definition). Also Wikidata Q96379141
History
- 2026-10-26: add by m2/dev
Properties D7J31G1SQV
| URI | m2://inv/D7J31G1SQV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentiable vector-valued functions from Euclidean space#QMJT, Properties (statement)
History
- 2026-11-02: add by m2/dev
D7J3N7WSP6 D7J3N7WSP6
| URI | m2://inv/D7J3N7WSP6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25038#RE31 (statement)
History
- 2026-11-01: add by m2/v0.6.15
The reach of the scan D7JAS3QWEK
| URI | m2://inv/D7JAS3QWEK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14695#KIXW, The reach of the scan (statement). In T15EJSPCNG/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Countryman line D7JJD7CBQN
| URI | m2://inv/D7JJD7CBQN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Countryman line, Countryman line (definition). Also Wikidata Q5177543
History
- 2026-11-02: add by m2/dev
Andrey Markov D7JPYKFZV0
| URI | m2://inv/D7JPYKFZV0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q176659 (unknown). Also nLab Andrey Markov
- wikipedia: Wikipedia Andrey Markov, Andrey Markov (topic). Also Wikidata Q176659
History
- 2026-10-26: add by m2/dev
Alexander Macfarlane D7JQEP9DJD
| URI | m2://inv/D7JQEP9DJD |
|---|---|
| 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#0AZ3, Alexander Macfarlane (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Q5W4, Alexander Macfarlane (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TAT8, Alexander Macfarlane (unknown)
History
- 2026-11-02: add by m2/dev
Dominic Gardiner Bowling Edelen D7JRBSQFZP
| URI | m2://inv/D7JRBSQFZP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q102139331, Dominic Gardiner Bowling Edelen (unknown). Also nLab Dominic+G.+B.+Edelen
History
- 2026-10-26: add by m2/dev
D7JTT3WK4M D7JTT3WK4M
| URI | m2://inv/D7JTT3WK4M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05194#612J (statement). In 77R8YQ16JH/e1, corollary 3.2
History
- 2026-10-29: add by m2/v0.4.10
D7JW07E2DZ D7JW07E2DZ
| URI | m2://inv/D7JW07E2DZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21969#LOTV (definition)
History
- 2026-11-02: add by m2/v0.6.17
Block reward D7JYFJT1ZQ
| URI | m2://inv/D7JYFJT1ZQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptocurrency#FQKR, Block reward (unknown)
History
- 2026-11-02: add by m2/dev
D7K8CYSF7A D7K8CYSF7A
| URI | m2://inv/D7K8CYSF7A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#E7I4 (definition)
History
- 2026-11-01: add by m2/v0.6.15
D7K9JQSQM0 D7K9JQSQM0
| URI | m2://inv/D7K9JQSQM0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/swapsum.tex#definition-1 (definition). In RZP28ERRZV, definition, section 70.1
History
- 2026-11-01: add by m2/v0.6.13
Knizhnik–Zamolodchikov equations D7KBCKMZMH
| URI | m2://inv/D7KBCKMZMH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6422663, Knizhnik–Zamolodchikov equations (unknown). Also nLab Knizhnik-Zamolodchikov equation
- wikipedia: Wikipedia Knizhnik–Zamolodchikov equations, Knizhnik–Zamolodchikov equations (definition). Also Wikidata Q6422663
History
- 2026-10-26: add by m2/dev
D7KD5DDGFC D7KD5DDGFC
| URI | m2://inv/D7KD5DDGFC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/affine-var.tex#ques-5 (exercise). In RZP28ERRZV, ques, section 19.4
History
- 2026-11-01: add by m2/v0.6.13
Necessity of the four conditions D7KMQNQXFP
| URI | m2://inv/D7KMQNQXFP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39262#8NSX, Necessity of the four conditions (statement). In XA2NE2Z06S/e1, theorem 7.5
History
- 2026-10-30: add by m2/v0.4.12
D7KN4MJ9MG D7KN4MJ9MG
| URI | m2://inv/D7KN4MJ9MG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20385#ASE1 (statement). In 54HS9AHWPE/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.2
D7KQGYHWAF D7KQGYHWAF
| URI | m2://inv/D7KQGYHWAF |
|---|---|
| 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.28674#QNG8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lovász Local Lemma D7KR4XNJRD
| URI | m2://inv/D7KR4XNJRD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/16.8/lovász-local-lemma, Lovász Local Lemma (concept). In QKM9DD2H56, index, section 16.8
History
- 2026-11-01: add by m2/v0.6.13
Tomato can principle\index{tomato can principle} D7KRXW8CGC
| URI | m2://inv/D7KRXW8CGC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm:tomatocan, Tomato can principle\index{tomato can principle} (statement). In VNMV985MXX, thm, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
D7KSMJJXY5 D7KSMJJXY5
| URI | m2://inv/D7KSMJJXY5 |
|---|---|
| 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.20285#XHBB (statement). In RQA728RB77/e1, corollary 12
History
- 2026-10-27: add by m2/v0.4.2
D7KT4059D9 D7KT4059D9
| URI | m2://inv/D7KT4059D9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01073#FJNU (statement). In W4TYN4PGE8/e1, lemma 2.54
History
- 2026-10-27: add by m2/v0.3.5
Camille McKayle D7KW62MBGS
| URI | m2://inv/D7KW62MBGS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Camille McKayle, Camille McKayle (topic). Also Wikidata Q48141868
History
- 2026-11-02: add by m2/dev
D7KYPXFGMS D7KYPXFGMS
| URI | m2://inv/D7KYPXFGMS |
|---|---|
| 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.22847#A7WU (statement)
History
- 2026-11-02: add by m2/v0.6.17
Constructions D7KYYWV6TF
| URI | m2://inv/D7KYYWV6TF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Desargues configuration#6EQC, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Nicholas Metropolis D7M0DF684H
| URI | m2://inv/D7M0DF684H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q92928, Nicholas Metropolis (unknown). Also ProofWiki Mathematician:Nicholas_Constantine_Metropolis
History
- 2026-10-26: add by m2/dev
Universal left fibration D7M56JSXRJ
| URI | m2://inv/D7M56JSXRJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibration of simplicial sets#VV65, Universal left fibration (unknown)
History
- 2026-11-02: add by m2/dev
$R_\beta$ is an \evar attaining the bound D7M7GCN20N
| URI | m2://inv/D7M7GCN20N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#Y6T2, $R_\beta$ is an \evar attaining the bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
Large spherical models are forbidden by subpolynomial norm D7MC5KAE35
| URI | m2://inv/D7MC5KAE35 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26619#E1YF, Large spherical models are forbidden by subpolynomial norm (statement)
History
- 2026-11-01: add by m2/v0.6.15
abelian von Neumann algebra D7MJ476140
| URI | m2://inv/D7MJ476140 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 46L05 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4666687, abelian von Neumann algebra (topic)
- wikipedia: Wikipedia Abelian von Neumann algebra, Abelian von Neumann algebra (definition). Also Wikidata Q4666687
History
- 2026-10-26: add by m2/dev
Extensions D7MJJT82DS
| URI | m2://inv/D7MJJT82DS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modal logic#ZNKV, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Richard Routley D7MPWSPHGF
| URI | m2://inv/D7MPWSPHGF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#KO7N, Richard Routley (topic)
History
- 2026-11-02: add by m2/dev
Reducing the theorem to formulas of degree 1 D7MV1727YA
| URI | m2://inv/D7MV1727YA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Original proof of Gödel's completeness theorem#1PIF, Reducing the theorem to formulas of degree 1 (statement)
History
- 2026-11-02: add by m2/dev
Krull dimension D7N9E36RCG
| URI | m2://inv/D7N9E36RCG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#KNKY, Krull dimension (definition)
History
- 2026-11-02: add by m2/dev
Directed algebraic topology D7NDF8AVVV
| URI | m2://inv/D7NDF8AVVV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#SBWS, Directed algebraic topology (definition)
History
- 2026-11-02: add by m2/dev
Akihiro Kanamori D7NE4N9JE9
| URI | m2://inv/D7NE4N9JE9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#O131, Akihiro Kanamori (topic)
History
- 2026-11-02: add by m2/dev
elliptic cone D7NJ92CWEY
| URI | m2://inv/D7NJ92CWEY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30092400, elliptic cone (unknown). Also MathWorld EllipticCone
History
- 2026-10-26: add by m2/dev
duodecic D7NPHQ7B6Z
| URI | m2://inv/D7NPHQ7B6Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#NICM, duodecic (definition)
History
- 2026-11-02: add by m2/dev
D7NVC6C3TB D7NVC6C3TB
| URI | m2://inv/D7NVC6C3TB |
|---|---|
| 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 2208.05288#WFZD (statement). In RTW3GDYPND/e1, lemma 3.10
History
- 2026-10-27: add by m2/v0.4.0
Applications D7NW0KTZBV
| URI | m2://inv/D7NW0KTZBV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized integer gamma distribution#VTH6, Applications (example)
History
- 2026-11-02: add by m2/dev
type D7NZRBZA64
| URI | m2://inv/D7NZRBZA64 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#HFL0, type (definition)
History
- 2026-11-02: add by m2/dev
D7P6VDKMRW D7P6VDKMRW
| URI | m2://inv/D7P6VDKMRW |
|---|---|
| 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.16059#Q9A9 (statement). In 51W7AECQDA/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
D7P88K3A95 D7P88K3A95
| URI | m2://inv/D7P88K3A95 |
|---|---|
| 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.33421#V8RY (statement). In YMVA1SJ640/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
proof, assistant D7PPGZJA7Z
| URI | m2://inv/D7PPGZJA7Z |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.12.3/proof-assistant, proof, assistant (concept). In N54F33XE07, index, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
Equator D7Q3YSD37C
| URI | m2://inv/D7Q3YSD37C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#034Z, Equator (unknown)
History
- 2026-11-02: add by m2/dev
D7Q5JERP9Z D7Q5JERP9Z
| URI | m2://inv/D7Q5JERP9Z |
|---|---|
| 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.26951#4E5R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Factorization of composite Mersenne numbers D7QA6XX14S
| URI | m2://inv/D7QA6XX14S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mersenne prime#WHXC, Factorization of composite Mersenne numbers (unknown)
History
- 2026-11-02: add by m2/dev
Sample maximum and minimum D7QAQ09NQ1
| URI | m2://inv/D7QAQ09NQ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GN9R, Sample maximum and minimum (definition)
History
- 2026-11-02: add by m2/dev
Stanine D7QJZKFGMN
| URI | m2://inv/D7QJZKFGMN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#AT03, Stanine (definition)
History
- 2026-11-02: add by m2/dev
weak counterexample D7QRBBHEQQ
| URI | m2://inv/D7QRBBHEQQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#AO79, weak counterexample (definition)
History
- 2026-11-02: add by m2/dev
Generalizations D7QYAAPS8Y
| URI | m2://inv/D7QYAAPS8Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cylindric algebra#LTTR, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
D7QZFJ70R2 D7QZFJ70R2
| URI | m2://inv/D7QZFJ70R2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26745#PMO2 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Uniformly most powerful test D7R08ZHCYK
| URI | m2://inv/D7R08ZHCYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniformly most powerful test, Uniformly most powerful test (definition). Also Wikidata Q7885148
History
- 2026-11-02: add by m2/dev
Leibniz calculator D7RD9XWWT8
| URI | m2://inv/D7RD9XWWT8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Gottfried Leibniz#W8QI, Leibniz calculator (unknown)
History
- 2026-11-02: add by m2/dev
Drain whirlpools D7RFBA1HAR
| URI | m2://inv/D7RFBA1HAR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coriolis force#LK3N, Drain whirlpools (unknown)
History
- 2026-11-02: add by m2/dev
binary tree D7RP1W4H9F
| URI | m2://inv/D7RP1W4H9F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Binary tree 02A8EMC83C |
Mentions
- wikidata: Wikidata Q380172, binary tree (unknown). Also EoM Binary_tree, MathWorld BinaryTree
- wikipedia: Wikipedia Binary tree, Binary tree (definition). Also Wikidata Q380172
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
D7RQ4TNZH8 D7RQ4TNZH8
| URI | m2://inv/D7RQ4TNZH8 |
|---|---|
| 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.07122#M9EN (statement). In W0ZHX9DHPV/e1, proposition 15
History
- 2026-10-29: add by m2/v0.4.10
Single-tree message construction D7RS5BRMNG
| URI | m2://inv/D7RS5BRMNG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12544#YTQZ, Single-tree message construction (statement). In XXV36V6CK8/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.2
Brahmagupta's formula D7S0SH9HZ6
| URI | m2://inv/D7S0SH9HZ6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brahmagupta#F9DC, Brahmagupta's formula (statement)
History
- 2026-11-02: add by m2/dev
Properties D7S40HD80N
| URI | m2://inv/D7S40HD80N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shear mapping#HVYX, Properties (statement)
History
- 2026-11-02: add by m2/dev
D7S63DEDQV D7S63DEDQV
| URI | m2://inv/D7S63DEDQV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30049#2Y1L (definition)
History
- 2026-11-01: add by m2/v0.6.15
D7S6GG0VZV D7S6GG0VZV
| URI | m2://inv/D7S6GG0VZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/constructions.tex#definition-4 (definition). In RZP28ERRZV, definition, section 96.4
History
- 2026-11-01: add by m2/v0.6.13
Grigorieff forcing D7S71SQ65B
| URI | m2://inv/D7S71SQ65B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of forcing notions#6WDY, Grigorieff forcing (unknown)
History
- 2026-11-02: add by m2/dev
Improved moment estimates at infinity D7SB03M4WR
| URI | m2://inv/D7SB03M4WR |
|---|---|
| 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.25301#7MNP, Improved moment estimates at infinity (statement)
History
- 2026-11-01: add by m2/v0.6.15
D7SJ070MD5 D7SJ070MD5
| URI | m2://inv/D7SJ070MD5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#example:expsecondorder (example). In E9HS8K3A52, example, section 6.2.1
History
- 2026-11-01: add by m2/v0.6.13
D7T33SHRN2 D7T33SHRN2
| URI | m2://inv/D7T33SHRN2 |
|---|---|
| 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.12481#6I5F (statement). In TD288AK3EJ/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
Symmetries D7T3H7BEDZ
| URI | m2://inv/D7T3H7BEDZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rindler coordinates#PNIG, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
Swendsen–Wang algorithm D7T73WT0K5
| URI | m2://inv/D7T73WT0K5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Swendsen–Wang algorithm, Swendsen–Wang algorithm (definition). Also Wikidata Q7655875
History
- 2026-11-02: add by m2/dev
Multiplicity of a prime factor D7TBFYDX28
| URI | m2://inv/D7TBFYDX28 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplicity (mathematics)#L3Q3, Multiplicity of a prime factor (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations D7TCAYS5TZ
| URI | m2://inv/D7TCAYS5TZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eilenberg–Zilber theorem#JII2, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
D7TH2BK53R D7TH2BK53R
| URI | m2://inv/D7TH2BK53R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#9PYG (statement). In E7W2HDNEKJ/e1, theorem 6.20
History
- 2026-10-30: add by m2/v0.4.12
Multi-string Turing machine with input and output D7TMQZ2SH8
| URI | m2://inv/D7TMQZ2SH8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DSPACE#QK5L, Multi-string Turing machine with input and output (unknown)
History
- 2026-11-02: add by m2/dev
Examples D7TSTE7T9M
| URI | m2://inv/D7TSTE7T9M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse distribution#PX2L, Examples (example)
History
- 2026-11-02: add by m2/dev
D7V11ABW25 D7V11ABW25
| URI | m2://inv/D7V11ABW25 |
|---|---|
| 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.06707#8342 (statement). In 9TR5E527P5/e1, lemma 1.4
History
- 2026-10-29: add by m2/v0.4.10
D7V8K4G05A D7V8K4G05A
| URI | m2://inv/D7V8K4G05A |
|---|---|
| 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.01561#JTD9 (statement). In W4G7BCHYEW/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
The Puzzle Palace D7VCH26QXS
| URI | m2://inv/D7VCH26QXS |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Puzzle Palace, The Puzzle Palace (problem). Also Wikidata Q7758845
History
- 2026-11-02: add by m2/dev
Maternal impression D7VHVC9W14
| URI | m2://inv/D7VHVC9W14 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#4A9Q, Maternal impression (unknown)
History
- 2026-11-02: add by m2/dev
Morton's theorem D7VM0AZQ1J
| URI | m2://inv/D7VM0AZQ1J |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6914794, Morton's theorem (statement). Also Wikidata Q6914794
- thousand_plus: thousand_plus Q6914794, Morton's theorem (statement). Also Wikidata Q6914794, Wikipedia Morton's theorem
- wikipedia: Wikipedia Morton's theorem, Morton's theorem (statement). Also Wikidata Q6914794
History
- 2026-10-26: add by m2/dev
D7VMR3KNY7 D7VMR3KNY7
| URI | m2://inv/D7VMR3KNY7 |
|---|---|
| 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.24795#NGAN (statement)
History
- 2026-11-01: add by m2/v0.6.15
D7W2G6JQ5Q D7W2G6JQ5Q
| URI | m2://inv/D7W2G6JQ5Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03231#W7GG (statement). In 3Y76AQQGF0/e1, lemma 7.3
History
- 2026-10-29: add by m2/v0.4.12
Properties D7W693C88V
| URI | m2://inv/D7W693C88V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard deviation#WDQN, Properties (statement)
History
- 2026-11-02: add by m2/dev
D7WCKVGM2Z D7WCKVGM2Z
| URI | m2://inv/D7WCKVGM2Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#G2UN (statement). In JWNYJVH8XG/e1, lemma 4.11
History
- 2026-10-29: add by m2/v0.4.10
D7WQKB8NXX D7WQKB8NXX
| URI | m2://inv/D7WQKB8NXX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30086#2GTA (statement)
History
- 2026-11-01: add by m2/v0.6.15
resolvent killed outside of an interval D7WTV0QM90
| URI | m2://inv/D7WTV0QM90 |
|---|---|
| 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.29326#UYNW, resolvent killed outside of an interval (statement). In 3F83V6VKKA/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.6
Great stellated truncated dodecahedron D7X1KEZWJE
| URI | m2://inv/D7X1KEZWJE |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#GO5U, Great stellated truncated dodecahedron (object)
History
- 2026-11-02: add by m2/dev
Weapons of Math Destruction D7X52YGV4S
| URI | m2://inv/D7X52YGV4S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weapons of Math Destruction, Weapons of Math Destruction (definition). Also Wikidata Q30325523
History
- 2026-11-02: add by m2/dev
Example D7X5N5V749
| URI | m2://inv/D7X5N5V749 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group of rational points on the unit circle#VS31, Example (example)
History
- 2026-11-02: add by m2/dev
D7XCV92BAN D7XCV92BAN
| URI | m2://inv/D7XCV92BAN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-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 2103.14389#ELST (definition). In NAMCCRM50R/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
D7XR8GM67F D7XR8GM67F
| URI | m2://inv/D7XR8GM67F |
|---|---|
| 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.05784#8KJC (statement). In 6NVP3YRWVA/e1, theorem 3.12
History
- 2026-10-29: add by m2/v0.4.10
D7XRX1S4MG D7XRX1S4MG
| URI | m2://inv/D7XRX1S4MG |
|---|---|
| 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.24747#WWUX (statement)
History
- 2026-11-01: add by m2/v0.6.15
D7XTRPCCGY D7XTRPCCGY
| URI | m2://inv/D7XTRPCCGY |
|---|---|
| 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.17571#0CN0 (statement). In SWFN2HCEE7/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Musical set theory D7XY55JF7N
| URI | m2://inv/D7XY55JF7N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#9FDF, Musical set theory (unknown)
History
- 2026-11-02: add by m2/dev
Definitions D7XYWZFJQF
| URI | m2://inv/D7XYWZFJQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson distribution#8D5Y, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Examples D7XYYAW07R
| URI | m2://inv/D7XYYAW07R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof by exhaustion#R0TY, Examples (example)
History
- 2026-11-02: add by m2/dev
D7Y3684SG9 D7Y3684SG9
| URI | m2://inv/D7Y3684SG9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26479#3S4T (statement)
History
- 2026-11-01: add by m2/v0.6.15
D7YABC50VN D7YABC50VN
| URI | m2://inv/D7YABC50VN |
|---|---|
| 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 2507.12309#E567 (statement). In ZR53K3E0FR/e1, lemma 21
History
- 2026-10-27: add by m2/v0.3.6
D7Z3W2G87B D7Z3W2G87B
| URI | m2://inv/D7Z3W2G87B |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16554#FS8O (example). In GWNT8HEZG1/e1, example 4.31
History
- 2026-10-27: add by m2/v0.3.6
Flag cost and potential D7ZD9CE8Q2
| URI | m2://inv/D7ZD9CE8Q2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#GC95, Flag cost and potential (definition). In 7MVPNFPRKB/e1, definition 4.2
History
- 2026-10-30: add by m2/v0.4.12
D7ZNZC4M9J D7ZNZC4M9J
| URI | m2://inv/D7ZNZC4M9J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#prob:tychonoff (exercise). In RZP28ERRZV, problem, section 95.6
History
- 2026-11-01: add by m2/v0.6.13
Matrix polynomial D7ZQ0EAA4N
| URI | m2://inv/D7ZQ0EAA4N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix polynomial, Matrix polynomial (definition). Also Wikidata Q6787887
History
- 2026-11-02: add by m2/dev