Inventory rows SW
The cards of the rows of the inventory whose ids start with SW. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
homotopy colimit SW03FBJJCP
| URI | m2://inv/SW03FBJJCP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#D84H, homotopy colimit (definition)
History
- 2026-11-02: add by m2/dev
Agrawal's conjecture SW04VB7DTV
| URI | m2://inv/SW04VB7DTV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#R3HQ, Agrawal's conjecture (statement)
History
- 2026-11-02: add by m2/dev
SW0AMCNHVZ SW0AMCNHVZ
| URI | m2://inv/SW0AMCNHVZ |
|---|---|
| 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.00914#XU1E (statement). In TQ9CKHBTWN/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.12
monoidal adjunction SW0E7M1TSJ
| URI | m2://inv/SW0E7M1TSJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6901641, monoidal adjunction (unknown). Also nLab monoidal adjunction
- wikipedia: Wikipedia Monoidal adjunction, Monoidal adjunction (definition). Also Wikidata Q6901641
History
- 2026-10-26: add by m2/dev
SW0GM3T7R8 SW0GM3T7R8
| URI | m2://inv/SW0GM3T7R8 |
|---|---|
| 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.09154#0Y5G (statement). In JYVGX17N4F/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
Moment bounds for fixed spectral transforms SW0NXG0N0W
| URI | m2://inv/SW0NXG0N0W |
|---|---|
| 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.05388#GBQW, Moment bounds for fixed spectral transforms (statement). In 4HJK1986EJ/e1, lemma C.6
History
- 2026-10-29: add by m2/v0.4.10
SW0R7C33B0 SW0R7C33B0
| URI | m2://inv/SW0R7C33B0 |
|---|---|
| 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.37739#7JY4 (statement). In F5XF5VXTXY/e1, lemma 2.13
History
- 2026-10-30: add by m2/v0.4.12
SW0S3AJPTR SW0S3AJPTR
| URI | m2://inv/SW0S3AJPTR |
|---|---|
| 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 2401.14162#YTF5 (statement). In JC1XF1JE6J/e1, theorem 3.12
History
- 2026-10-27: add by m2/v0.3.5
Osculating circle SW0YZPEH1F
| URI | m2://inv/SW0YZPEH1F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#PGDI, Osculating circle (definition)
- wikipedia: Wikipedia List of curves topics#6SKM, Osculating circle (definition)
History
- 2026-11-02: add by m2/dev
Gelfand pair SW19S1MJJJ
| URI | m2://inv/SW19S1MJJJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gelfand pair, Gelfand pair (definition). Also Wikidata Q5530423
History
- 2026-11-02: add by m2/dev
Axis-aligned object SW1C3K6T04
| URI | m2://inv/SW1C3K6T04 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axis-aligned object, Axis-aligned object (definition). Also Wikidata Q4830579
History
- 2026-11-02: add by m2/dev
Darboux integral SW1CEFKYFN
| URI | m2://inv/SW1CEFKYFN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/8.1.1/darboux-integral, Darboux integral (concept). In E59CDZA4DP, index, section 8.1.1
History
- 2026-11-01: add by m2/v0.6.13
SW1CVW04YF SW1CVW04YF
| URI | m2://inv/SW1CVW04YF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#TH98 (statement). In CGA36VE1C5/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.6
Cordeiro, Gauss Moutinho SW1DEJBA2G
| URI | m2://inv/SW1DEJBA2G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#60OH, Cordeiro, Gauss Moutinho (topic)
History
- 2026-11-02: add by m2/dev
SW1JTV84HP SW1JTV84HP
| URI | m2://inv/SW1JTV84HP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14380#UQ74 (statement). In 2ZRQP063HP/e1, lemma A.3
History
- 2026-10-28: add by m2/v0.4.2
where a cover can skip rank SW1K5SYJAP
| URI | m2://inv/SW1K5SYJAP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#PQL4, where a cover can skip rank (statement). In PCAS8S14J6/e1, lemma 3.8
History
- 2026-10-31: add by m2/v0.5.6
SW1KKXK172 SW1KKXK172
| URI | m2://inv/SW1KKXK172 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#CY7W (definition). In G70Q2FB591/e1, definition 4.6
History
- 2026-10-28: add by m2/v0.4.2
Hypothesis Testing for Two Way Factorial Design. SW1NT4J6VZ
| URI | m2://inv/SW1NT4J6VZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Main effect#PBUM, Hypothesis Testing for Two Way Factorial Design. (statement)
History
- 2026-11-02: add by m2/dev
Sketch of proof SW1S8DFBZH
| URI | m2://inv/SW1S8DFBZH |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-43, Sketch of proof (proof). In N54F33XE07, proof, section C.5
History
- 2026-11-01: add by m2/v0.6.13
Boris Khesin SW1SP8M0C0
| URI | m2://inv/SW1SP8M0C0 |
|---|---|
| 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 Q15455484, Boris Khesin (unknown). Also nLab Boris Khesin
- wikipedia: Wikipedia Boris Khesin, Boris Khesin (topic). Also Wikidata Q15455484
History
- 2026-10-26: add by m2/dev
Bidirectional scattering distribution function SW1T4SZTV4
| URI | m2://inv/SW1T4SZTV4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#CZN1, Bidirectional scattering distribution function (unknown)
History
- 2026-11-02: add by m2/dev
SW1Y26H2BC SW1Y26H2BC
| URI | m2://inv/SW1Y26H2BC |
|---|---|
| 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 1304.4839#VGH1 (statement). In YWS516YD1V/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
Partition function SW1YPRC20J
| URI | m2://inv/SW1YPRC20J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partition function (statistical mechanics), Partition function (definition). Also Wikidata Q230963
History
- 2026-11-02: add by m2/dev
Ideal classes in $\QQ(\sqrt{-5})$ SW1Z4ZM3V6
| URI | m2://inv/SW1Z4ZM3V6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#example-1, Ideal classes in $\QQ(\sqrt{-5})$ (example). In RZP28ERRZV, example, section 9.1
History
- 2026-11-01: add by m2/v0.6.13
Properties SW226KXW0N
| URI | m2://inv/SW226KXW0N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conway's 99-graph problem#MH3J, Properties (statement)
History
- 2026-11-02: add by m2/dev
$B$ generates $G$ SW26XGZ6A3
| URI | m2://inv/SW26XGZ6A3 |
|---|---|
| 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.00902#NX06, $B$ generates $G$ (statement). In 1BYMXTH5MW/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Grand stellated 120-cell SW2H7RR9C4
| URI | m2://inv/SW2H7RR9C4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grand stellated 120-cell, Grand stellated 120-cell (definition). Also Wikidata Q5595272
History
- 2026-11-02: add by m2/dev
SW2N98GY9D SW2N98GY9D
| URI | m2://inv/SW2N98GY9D |
|---|---|
| Kind | definition |
| 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 0809.0068#OLT7 (definition). In MBKYGM01FK/e1, definition 4.3
History
- 2026-10-27: add by m2/v0.3.5
Centrix SW2T8RP1MM
| URI | m2://inv/SW2T8RP1MM |
|---|---|
| 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 0904.3493#WSP1, Centrix (definition). In 1ARY7220P4/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
Symbol SW2VHKV3TD
| URI | m2://inv/SW2VHKV3TD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symbol (formal), Symbol (definition). Also Wikidata Q2372244
History
- 2026-11-02: add by m2/dev
SW2WPNY9SP SW2WPNY9SP
| URI | m2://inv/SW2WPNY9SP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.39845#J17G (statement). In RK8DFVGQP1/e1, proposition 18
History
- 2026-10-30: add by m2/v0.4.12
Sinusoidal trees SW2Y6EF05D
| URI | m2://inv/SW2Y6EF05D |
|---|---|
| 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.10993#N5ZZ, Sinusoidal trees (statement). In 1JCPN0K7DB/e1, corollary 5.2
History
- 2026-10-28: add by m2/v0.4.3
Fallacy of division SW31NFJXK7
| URI | m2://inv/SW31NFJXK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fallacy of division, Fallacy of division (definition). Also Wikidata Q1616189
History
- 2026-11-02: add by m2/dev
Vector projection SW31RX3RNK
| URI | m2://inv/SW31RX3RNK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector projection, Vector projection (definition). Also Wikidata Q2734388
History
- 2026-11-02: add by m2/dev
SW330FCHP3 SW330FCHP3
| URI | m2://inv/SW330FCHP3 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/swapsum.tex#proof-3 (proof). In RZP28ERRZV, proof, section 70.4
History
- 2026-11-01: add by m2/v0.6.13
SW3DNHT8BF SW3DNHT8BF
| URI | m2://inv/SW3DNHT8BF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 19-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 2211.10178#7DVQ (statement). In 8T90H89HNB/e1, corollary 1.7
History
- 2026-10-27: add by m2/v0.3.5
SW3P4HZRDB SW3P4HZRDB
| URI | m2://inv/SW3P4HZRDB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#MVL7 (statement). In V97F4YZ8B0/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
Quenched CLT for $U$ SW3W468D12
| URI | m2://inv/SW3W468D12 |
|---|---|
| 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 2109.12716#IRX1, Quenched CLT for $U$ (statement). In 6X76XBE3HV/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
Depressed cubic SW3XCYY1B4
| URI | m2://inv/SW3XCYY1B4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic equation#1JYA, Depressed cubic (unknown)
History
- 2026-11-02: add by m2/dev
Definition SW3ZMETPQV
| URI | m2://inv/SW3ZMETPQV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distribution (differential geometry)#0H13, Definition (definition)
History
- 2026-11-02: add by m2/dev
SW47YX0XAQ SW47YX0XAQ
| URI | m2://inv/SW47YX0XAQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.02432#Z2LF (definition). In B366ACYB37/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Definition SW48D53TVB
| URI | m2://inv/SW48D53TVB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iwasawa decomposition#LNXX, Definition (definition)
History
- 2026-11-02: add by m2/dev
Timelike quantitative focusing SW49DK4QER
| URI | m2://inv/SW49DK4QER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.11911#59DJ, Timelike quantitative focusing (statement). In 5BYE5NYB89/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.3
Equivariance erosion index SW49SBRFG1
| URI | m2://inv/SW49SBRFG1 |
|---|---|
| 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.25987#H3RU, Equivariance erosion index (definition)
History
- 2026-11-01: add by m2/v0.6.15
potassium-40 SW4FR05KTQ
| URI | m2://inv/SW4FR05KTQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2251076, potassium-40 (definition). Also ProofWiki Definition:Potassium/40
History
- 2026-10-26: add by m2/dev
163 SW4QZDT0XP
| URI | m2://inv/SW4QZDT0XP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q721026, 163 (unknown). Also MathWorld 163
History
- 2026-10-26: add by m2/dev
Alfred Landé SW4T7AMEF2
| URI | m2://inv/SW4T7AMEF2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#I7NE, Alfred Landé (unknown)
History
- 2026-11-02: add by m2/dev
Properties SW4TG1YDWA
| URI | m2://inv/SW4TG1YDWA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Addition#SWUT, Properties (statement)
History
- 2026-11-02: add by m2/dev
SW4XDQR3VG SW4XDQR3VG
| URI | m2://inv/SW4XDQR3VG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1907.01440#PNLC (definition). In QDRYC6WJJ7/e1, definition 8
History
- 2026-10-27: add by m2/v0.3.5
General second-order algorithm SW562V8DXA
| URI | m2://inv/SW562V8DXA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03222#4A12, General second-order algorithm (definition). In BB0JGNK4YF/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.12
Variants SW580NP885
| URI | m2://inv/SW580NP885 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmometer#20XP, Variants (statement)
History
- 2026-11-02: add by m2/dev
SW5907XKYC SW5907XKYC
| URI | m2://inv/SW5907XKYC |
|---|---|
| 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.23605#ARHL (statement)
History
- 2026-11-02: add by m2/v0.6.17
SW5J9F21EK SW5J9F21EK
| URI | m2://inv/SW5J9F21EK |
|---|---|
| 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.21507#7A77 (statement)
History
- 2026-11-02: add by m2/v0.6.18
479 (number) SW62ERHAJX
| URI | m2://inv/SW62ERHAJX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#TKBS, 479 (number) (unknown)
History
- 2026-11-02: add by m2/dev
SW65KR3EEH SW65KR3EEH
| URI | m2://inv/SW65KR3EEH |
|---|---|
| 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 1008.4946#99KR (definition). In R4ZM6Q4SHH/e1, definition 6
History
- 2026-10-27: add by m2/v0.3.5
Unified oracle inequalities for \(L^1\)- and \(L^2\)-norms SW664DJ5AC
| URI | m2://inv/SW664DJ5AC |
|---|---|
| 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.11760#W2MU, Unified oracle inequalities for \(L^1\)- and \(L^2\)-norms (statement). In NBNERWXW53/e1, theorem 7.2
History
- 2026-10-28: add by m2/v0.4.3
SW6G9B51BQ SW6G9B51BQ
| URI | m2://inv/SW6G9B51BQ |
|---|---|
| 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 2501.17850#QJ2U (statement). In WS5KWBEG5Q/e1, lemma 8
History
- 2026-10-27: add by m2/v0.4.0
2026 removal of Telegram from the App Store SW6VKAF75A
| URI | m2://inv/SW6VKAF75A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Telegram (software)#BCZ8, 2026 removal of Telegram from the App Store (unknown)
History
- 2026-11-02: add by m2/dev
Dyadic deficit identity SW6WQ0XRVG
| URI | m2://inv/SW6WQ0XRVG |
|---|---|
| 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.39633#QUXT, Dyadic deficit identity (statement). In B339AJZP2S/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
SW6YFJD9BY SW6YFJD9BY
| URI | m2://inv/SW6YFJD9BY |
|---|---|
| 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.21752#8OTW (statement). In E4DJTPKHAX/e1, corollary 5.11
History
- 2026-10-27: add by m2/v0.4.2
SW7357M1RM SW7357M1RM
| URI | m2://inv/SW7357M1RM |
|---|---|
| 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.32338#37E9 (statement). In HVY45JQRNK/e1, lemma 2.11
History
- 2026-10-31: add by m2/v0.5.6
SW745DY9KV SW745DY9KV
| URI | m2://inv/SW745DY9KV |
|---|---|
| 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#I2N6 (definition). In BDN507RN7J/e1, definition 4.1.4
History
- 2026-10-30: add by m2/v0.4.12
SW745HX5VD SW745HX5VD
| URI | m2://inv/SW745HX5VD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/artin.tex#example-3 (example). In RZP28ERRZV, example, section 8.4
History
- 2026-11-01: add by m2/v0.6.13
Profile-constrained overlaps SW74YDDFPZ
| URI | m2://inv/SW74YDDFPZ |
|---|---|
| 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.19356#B4ZY, Profile-constrained overlaps (statement). In 2B5QA28NCX/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Transonic SW89RNVZS9
| URI | m2://inv/SW89RNVZS9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transonic, Transonic (definition). Also Wikidata Q1579556
History
- 2026-11-02: add by m2/dev
SW8BB45FMT SW8BB45FMT
| URI | m2://inv/SW8BB45FMT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22040#1LF9 (example). In 2QP93JHYNB/e1, example 9.4
History
- 2026-10-27: add by m2/v0.4.2
Internal set theory SW8M0MYF53
| URI | m2://inv/SW8M0MYF53 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Internal set theory, Internal set theory (definition). Also Wikidata Q1666284
History
- 2026-11-02: add by m2/dev
type theory SW8TAYCBWS
| URI | m2://inv/SW8TAYCBWS |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 03B15, 03B38 |
| Sources | 2 |
| Outcome | open |
| Node | Type theory Q48KGV33AH |
Mentions
- wikidata: Wikidata Q1056428, type theory (topic). Also nLab type theory
- wikipedia: Wikipedia Type theory, Type theory (definition). Also Wikidata Q1056428
History
- 2026-10-26: add by m2/dev
SW8WB8KJ8Y SW8WB8KJ8Y
| URI | m2://inv/SW8WB8KJ8Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#PD2I (definition)
History
- 2026-11-02: add by m2/v0.6.18
Definition SW93GR1P8V
| URI | m2://inv/SW93GR1P8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternating planar algebra#WD6C, Definition (definition)
History
- 2026-11-02: add by m2/dev
SW93HQM849 SW93HQM849
| URI | m2://inv/SW93HQM849 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#INX8 (proof). In WJD9YPGGYH/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Arthur Bakker SW953BS8N3
| URI | m2://inv/SW953BS8N3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur Bakker, Arthur Bakker (topic). Also Wikidata Q59647077
History
- 2026-11-02: add by m2/dev
Statistical Signal Processing SW95AFHAPX
| URI | m2://inv/SW95AFHAPX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signal processing#0PIB, Statistical Signal Processing (unknown)
History
- 2026-11-02: add by m2/dev
Jacques Tits SW95CAVHJB
| URI | m2://inv/SW95CAVHJB |
|---|---|
| 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 Q451331, Jacques Tits (unknown). Also nLab Jacques Tits, ProofWiki Mathematician:Jacques_Tits
- wikipedia: Wikipedia Jacques Tits, Jacques Tits (topic). Also Wikidata Q451331
History
- 2026-10-26: add by m2/dev
SW964J6VC0 SW964J6VC0
| URI | m2://inv/SW964J6VC0 |
|---|---|
| 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.20466#7QZG (statement). In M4ZVJWM8YA/e1, theorem 6.11
History
- 2026-10-27: add by m2/v0.4.2
hyperbolic cylinder SW98RZTPB6
| URI | m2://inv/SW98RZTPB6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4138707, hyperbolic cylinder (unknown). Also MathWorld HyperbolicCylinder
History
- 2026-10-26: add by m2/dev
SW9BHC7QV9 SW9BHC7QV9
| URI | m2://inv/SW9BHC7QV9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21507#GPZC (definition). In 879ZDHVK7N/e1, definition 3.16
History
- 2026-10-27: add by m2/v0.4.2
SW9S9KMVD3 SW9S9KMVD3
| URI | m2://inv/SW9S9KMVD3 |
|---|---|
| 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.08335#8ATP (statement). In HK3YR0QKCV/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Robert Duncan MacPherson SWA49P5S8Y
| URI | m2://inv/SWA49P5S8Y |
|---|---|
| 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#1UIM, Robert Duncan MacPherson (topic)
History
- 2026-11-02: add by m2/dev
SWA4GKZSTR SWA4GKZSTR
| URI | m2://inv/SWA4GKZSTR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#A7AK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Factorization and polynomials for geometrically spaced roots SWA4M5440Z
| URI | m2://inv/SWA4M5440Z |
|---|---|
| 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#VPLS, Factorization and polynomials for geometrically spaced roots (statement). In FDDA562VCA/e1, proposition 3.22
History
- 2026-10-29: add by m2/v0.4.10
Product of per-macrostep weights SWA80B02J3
| URI | m2://inv/SWA80B02J3 |
|---|---|
| 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.22301#WAQZ, Product of per-macrostep weights (statement)
History
- 2026-11-02: add by m2/v0.6.17
SWA9WFY0M6 SWA9WFY0M6
| URI | m2://inv/SWA9WFY0M6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-15 (exercise). In Y91XFCEVHQ, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
SWAAB93QNC SWAAB93QNC
| URI | m2://inv/SWAAB93QNC |
|---|---|
| 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.21461#S54N (statement). In DWQANBV7B7/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.4.2
SWAKJNC6VV SWAKJNC6VV
| URI | m2://inv/SWAKJNC6VV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#FG4F (statement). In V97F4YZ8B0/e1, lemma 8.14
History
- 2026-10-28: add by m2/v0.4.2
Appendix B SWB44NQV64
| URI | m2://inv/SWB44NQV64 |
|---|---|
| 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#XPHX, Appendix B (statement). In HP3TM356J6/e1, lemma 15
History
- 2026-10-29: add by m2/v0.4.10
SWB77WWT0Q SWB77WWT0Q
| URI | m2://inv/SWB77WWT0Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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 0806.0678#QJYQ (statement). In 5RMV7VP13X/e1, corollary 2.8
History
- 2026-10-27: add by m2/v0.3.5
Formulation SWBBBNBCBD
| URI | m2://inv/SWBBBNBCBD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Half-range Fourier series#AKIV, Formulation (definition)
History
- 2026-11-02: add by m2/dev
List of cognitive biases SWBC9S3QAK
| URI | m2://inv/SWBC9S3QAK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases, List of cognitive biases (topic). Also Wikidata Q2607828
History
- 2026-11-02: add by m2/dev
Věra Kůrková SWBEDHHN26
| URI | m2://inv/SWBEDHHN26 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Věra Kůrková, Věra Kůrková (topic). Also Wikidata Q27869516
History
- 2026-11-02: add by m2/dev
Rank-and-spectral-gap transition SWBJCR9SJ9
| URI | m2://inv/SWBJCR9SJ9 |
|---|---|
| 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.16680#XSUI, Rank-and-spectral-gap transition (statement). In H29YHXQZV6/e1, theorem 18
History
- 2026-10-28: add by m2/v0.4.2
SWBQMV750D SWBQMV750D
| URI | m2://inv/SWBQMV750D |
|---|---|
| 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.08980#SGXH (statement). In X407M6WFNR/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
Edward de Bono SWBQYESXZA
| URI | m2://inv/SWBQYESXZA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edward de Bono, Edward de Bono (topic). Also Wikidata Q41322
History
- 2026-11-02: add by m2/dev
SWBVPAG1Z8 SWBVPAG1Z8
| URI | m2://inv/SWBVPAG1Z8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38532#46OF (definition). In X7YYWCZFTV/e1, definition 4.2
History
- 2026-10-30: add by m2/v0.4.12
SWBXMB9YYX SWBXMB9YYX
| URI | m2://inv/SWBXMB9YYX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.04566#8QB9 (definition). In 80S2NP05HJ/e1, definition 3.15
History
- 2026-10-27: add by m2/v0.4.0
Examples SWBZPDF0BE
| URI | m2://inv/SWBZPDF0BE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal bundle#O3WZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Turing Pharmaceuticals SWC4X9BASY
| URI | m2://inv/SWC4X9BASY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#RQM8, Turing Pharmaceuticals (unknown)
History
- 2026-11-02: add by m2/dev
SWC61TNHRA SWC61TNHRA
| URI | m2://inv/SWC61TNHRA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18929#E4AZ (statement). In ZRJ2DZT6P1/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
SWC6CK79EN SWC6CK79EN
| URI | m2://inv/SWC6CK79EN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01411#J1EO (statement). In SD28S3K7BT/e1, corollary 11
History
- 2026-10-29: add by m2/v0.4.12
Bounds on Average Area SWC79J50G3
| URI | m2://inv/SWC79J50G3 |
|---|---|
| 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.07671#8MDC, Bounds on Average Area (statement). In XHHBGCVG90/e1, theorem 5.3.2
History
- 2026-10-29: add by m2/v0.4.10
SWCG4YD9E4 SWCG4YD9E4
| URI | m2://inv/SWCG4YD9E4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 40.4
History
- 2026-11-01: add by m2/v0.6.13
SWCMJ2RZDM SWCMJ2RZDM
| URI | m2://inv/SWCMJ2RZDM |
|---|---|
| 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.35030#ODNG (statement). In DPT4P2BTEW/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
SWCQ3D1QA2 SWCQ3D1QA2
| URI | m2://inv/SWCQ3D1QA2 |
|---|---|
| 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.31243#CXX2 (statement). In E8FP48FJMZ/e1, theorem 8.2
History
- 2026-10-31: add by m2/v0.5.6
Kind SWCSWG5N4G
| URI | m2://inv/SWCSWG5N4G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kind (type theory), Kind (definition). Also Wikidata Q6410497
History
- 2026-11-02: add by m2/dev
SWCTRW9JCP SWCTRW9JCP
| URI | m2://inv/SWCTRW9JCP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_intro_graph.ptx#ex_radiostations (example). In QKM9DD2H56, example, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
SWCX687JJ3 SWCX687JJ3
| URI | m2://inv/SWCX687JJ3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09333#VLCF (definition). In Z9HC1EDTQP/e1, definition 3.5
History
- 2026-10-29: add by m2/v0.4.10
conjugation SWD9N16AM3
| URI | m2://inv/SWD9N16AM3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77980581, conjugation (unknown). Also MathWorld Conjugation
History
- 2026-10-26: add by m2/dev
Structural break SWDAQD8NM3
| URI | m2://inv/SWDAQD8NM3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#E798, Structural break (definition)
History
- 2026-11-02: add by m2/dev
Fast marching method SWDFJQZPWY
| URI | m2://inv/SWDFJQZPWY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fast marching method, Fast marching method (definition). Also Wikidata Q5437042
History
- 2026-11-02: add by m2/dev
Richard Cleve SWDG3YN13H
| URI | m2://inv/SWDG3YN13H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LMU8, Richard Cleve (topic)
History
- 2026-11-02: add by m2/dev
limsup SWDJBQC09E
| URI | m2://inv/SWDJBQC09E |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/10.3.1/limsup, limsup (concept). In E59CDZA4DP, index, section 10.3.1
History
- 2026-11-01: add by m2/v0.6.13
SWDPB22D0R SWDPB22D0R
| URI | m2://inv/SWDPB22D0R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2609.24610#SHKK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Frobenius covariant SWDVDKNEZQ
| URI | m2://inv/SWDVDKNEZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius covariant, Frobenius covariant (definition). Also Wikidata Q5505099
History
- 2026-11-02: add by m2/dev
SWDXFNFRTW SWDXFNFRTW
| URI | m2://inv/SWDXFNFRTW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20299#FUXW (statement). In P7T0W5D3W3/e1, theorem
History
- 2026-10-27: add by m2/v0.4.2
thick subcategory SWE1VNTC23
| URI | m2://inv/SWE1VNTC23 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#D4LZ, thick subcategory (definition)
History
- 2026-11-02: add by m2/dev
SWE2GFKE1C SWE2GFKE1C
| URI | m2://inv/SWE2GFKE1C |
|---|---|
| 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.30165#5XEU (statement)
History
- 2026-11-01: add by m2/v0.6.15
SWE2ZFVSZP SWE2ZFVSZP
| URI | m2://inv/SWE2ZFVSZP |
|---|---|
| Kind | problem |
| 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.39169#UETA (problem). In ANHWXYPQFX/e1, problem 4.5
History
- 2026-10-30: add by m2/v0.4.12
Robinson's joint consistency theorem SWE4MNMRTX
| URI | m2://inv/SWE4MNMRTX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#PMKE, Robinson's joint consistency theorem (statement)
History
- 2026-11-02: add by m2/dev
Joan & Joseph Birman Research Prize in Topology and Geometry SWE9P9Z1YS
| URI | m2://inv/SWE9P9Z1YS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joan & Joseph Birman Research Prize in Topology and Geometry, Joan & Joseph Birman Research Prize in Topology and Geometry (definition). Also Wikidata Q63391503
History
- 2026-11-02: add by m2/dev
SWEMMXJPPK SWEMMXJPPK
| URI | m2://inv/SWEMMXJPPK |
|---|---|
| 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 2606.20229#RFRL (statement). In 1B85G2QJC2/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.6
SWEQP5X8J4 SWEQP5X8J4
| URI | m2://inv/SWEQP5X8J4 |
|---|---|
| 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#UA2J (statement). In VN084GGZGK/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.3
SWEYS2NJ4X SWEYS2NJ4X
| URI | m2://inv/SWEYS2NJ4X |
|---|---|
| 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.23605#2CSM (statement)
History
- 2026-11-02: add by m2/v0.6.17
SWF1N1F412 SWF1N1F412
| URI | m2://inv/SWF1N1F412 |
|---|---|
| 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.13378#OMUY (statement). In QAH7SV1JT6/e1, corollary 4.4
History
- 2026-10-28: add by m2/v0.4.2
Application SWF3Q103T8
| URI | m2://inv/SWF3Q103T8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shephard's lemma#V8O3, Application (example)
History
- 2026-11-02: add by m2/dev
troy pound SWF940AE4R
| URI | m2://inv/SWF940AE4R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q39617818, troy pound (definition). Also ProofWiki Definition:Troy/Pound
History
- 2026-10-26: add by m2/dev
Quantitative iteration lemma SWF9V2PC5E
| URI | m2://inv/SWF9V2PC5E |
|---|---|
| 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.08434#8P0Y, Quantitative iteration lemma (statement). In VN8087G2FC/e1, lemma 7.5
History
- 2026-10-29: add by m2/v0.4.10
Statistical interference SWFABRENQV
| URI | m2://inv/SWFABRENQV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3UNT, Statistical interference (definition)
History
- 2026-11-02: add by m2/dev
SWFBCZG0GF SWFBCZG0GF
| URI | m2://inv/SWFBCZG0GF |
|---|---|
| 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.30480#GFF3 (statement). In VP7MPRKH0M/e1, theorem 5.4
History
- 2026-10-31: add by m2/v0.5.6
Physical Pendulum SWFBEBDXCJ
| URI | m2://inv/SWFBEBDXCJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pendulum (mechanics)#23DE, Physical Pendulum (unknown)
History
- 2026-11-02: add by m2/dev
Ushadevi Bhosle SWFCPSGFM8
| URI | m2://inv/SWFCPSGFM8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ushadevi Bhosle, Ushadevi Bhosle (topic). Also Wikidata Q18395116
History
- 2026-11-02: add by m2/dev
Definition SWFER3R22T
| URI | m2://inv/SWFER3R22T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subdirectly irreducible algebra#ILPH, Definition (definition)
History
- 2026-11-02: add by m2/dev
SWFG0SYEHW SWFG0SYEHW
| URI | m2://inv/SWFG0SYEHW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/induction/structural-induction.tex#prop:initial (statement). In PKGMM3P5QY, prop, section 44.5
History
- 2026-11-01: add by m2/v0.6.13
inverse Laplace transform SWFJF2BN94
| URI | m2://inv/SWFJF2BN94 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Inverse Laplace transform 07WBTX1MHA |
Mentions
- wikidata: Wikidata Q2162701, inverse Laplace transform (unknown). Also MathWorld BromwichIntegral
- wikipedia: Wikipedia Inverse Laplace transform, Inverse Laplace transform (definition). Also Wikidata Q2162701
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Paul G. Mezey SWFM6Y82Z4
| URI | m2://inv/SWFM6Y82Z4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YLAB, Paul G. Mezey (unknown)
History
- 2026-11-02: add by m2/dev
Examples SWFPM8DFVC
| URI | m2://inv/SWFPM8DFVC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expected shortfall#12PI, Examples (example)
History
- 2026-11-02: add by m2/dev
SWFT80QJK1 SWFT80QJK1
| URI | m2://inv/SWFT80QJK1 |
|---|---|
| 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 2204.01121#HFWS (statement). In 1HP57QXBGF/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
Edward Wilfred Odell, Jr. SWG0AS28R6
| URI | m2://inv/SWG0AS28R6 |
|---|---|
| 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#HZZS, Edward Wilfred Odell, Jr. (topic)
History
- 2026-11-02: add by m2/dev
SWG5151DMC SWG5151DMC
| URI | m2://inv/SWG5151DMC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.14143#4QS9 (definition). In 7WV4JVGEN1/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.0
SWGC8JJWPM SWGC8JJWPM
| URI | m2://inv/SWGC8JJWPM |
|---|---|
| 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.13888#W89R (statement). In 2G5K2GZTX7/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.4.0
SWGTDRRN2T SWGTDRRN2T
| URI | m2://inv/SWGTDRRN2T |
|---|---|
| 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.35442#I59T (statement). In C6R0DAA279/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
SWGWB3YJAR SWGWB3YJAR
| URI | m2://inv/SWGWB3YJAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04398#L0UV (statement). In DFZWC9HY0T/e1, proposition 1.3
History
- 2026-10-29: add by m2/v0.4.12
Klaus Hulek SWH3BP2FWK
| URI | m2://inv/SWH3BP2FWK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#JP23, Klaus Hulek (topic)
History
- 2026-11-02: add by m2/dev
Formal definition SWH4A0CTTF
| URI | m2://inv/SWH4A0CTTF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multi-track Turing machine#NUVS, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Implications for law enforcement SWH4MZE0QQ
| URI | m2://inv/SWH4MZE0QQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chaffing and winnowing#WVIG, Implications for law enforcement (statement)
History
- 2026-11-02: add by m2/dev
Definition SWH6WKP3QX
| URI | m2://inv/SWH6WKP3QX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compressibility#PHXT, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications SWH7X94QTF
| URI | m2://inv/SWH7X94QTF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power (statistics)#42VS, Applications (example)
History
- 2026-11-02: add by m2/dev
Applications SWHHJ439SJ
| URI | m2://inv/SWHHJ439SJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finitely generated group#WHRK, Applications (example)
History
- 2026-11-02: add by m2/dev
Smooth point SWHJWR681N
| URI | m2://inv/SWHJWR681N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#QF3R, Smooth point (definition)
History
- 2026-11-02: add by m2/dev
SWHMA16PKW SWHMA16PKW
| URI | m2://inv/SWHMA16PKW |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#4QXJ (unknown). In QNBFHFZ3H0/e1, unknown 29
History
- 2026-10-28: add by m2/v0.4.2
Formal statement SWHT77JJNX
| URI | m2://inv/SWHT77JJNX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stein's unbiased risk estimate#Y98X, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Normalized collar extension SWJ2AY1JKX
| URI | m2://inv/SWJ2AY1JKX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.09848#MBYO, Normalized collar extension (statement). In HF7YNMW39N/e1, proposition 8.2
History
- 2026-10-27: add by m2/v0.4.0
SWJ2RZKSC2 SWJ2RZKSC2
| URI | m2://inv/SWJ2RZKSC2 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/more-soundness.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 55.8
History
- 2026-11-01: add by m2/v0.6.13
SWJ3SFXX63 SWJ3SFXX63
| URI | m2://inv/SWJ3SFXX63 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20131#VGC5 (definition). In 29D4TTE3J2/e1, definition 6.1
History
- 2026-10-27: add by m2/v0.4.2
Base36 SWJ6G7K11M
| URI | m2://inv/SWJ6G7K11M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Base36, Base36 (definition). Also Wikidata Q72625666
History
- 2026-11-02: add by m2/dev
Francesco Sbrana SWJA3R7FAK
| URI | m2://inv/SWJA3R7FAK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francesco Sbrana, Francesco Sbrana (topic). Also Wikidata Q45743824
History
- 2026-11-02: add by m2/dev
SWJAXKNE5H SWJAXKNE5H
| URI | m2://inv/SWJAXKNE5H |
|---|---|
| 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 2610.08885#E9AT (statement). In B4RHB3CF12/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
Four Lane Ends SWJDY38QYV
| URI | m2://inv/SWJDY38QYV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#IM82, Four Lane Ends (unknown)
History
- 2026-11-02: add by m2/dev
SWJFNHQG3W SWJFNHQG3W
| URI | m2://inv/SWJFNHQG3W |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/metatheory/second-order-arithmetic.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 66.1
History
- 2026-11-01: add by m2/v0.6.13
a collapsible boundary arc: a ball with irregular cells SWJK2XCJN3
| URI | m2://inv/SWJK2XCJN3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#SSPG, a collapsible boundary arc: a ball with irregular cells (example). In PCAS8S14J6/e1, example D.9
History
- 2026-10-31: add by m2/v0.5.6
Statistical Committee of Armenia SWJKN4YPYT
| URI | m2://inv/SWJKN4YPYT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical Committee of Armenia, Statistical Committee of Armenia (definition). Also Wikidata Q6978691
History
- 2026-11-02: add by m2/dev
Cordonnier number SWJP9CS29H
| URI | m2://inv/SWJP9CS29H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plastic ratio#52BV, Cordonnier number (unknown)
History
- 2026-11-02: add by m2/dev
rhombic triacontahedral graph SWJTMGA96G
| URI | m2://inv/SWJTMGA96G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115608, rhombic triacontahedral graph (unknown). Also House of Graphs 1284, MathWorld RhombicTriacontahedralGraph
History
- 2026-10-26: add by m2/dev
Slice sampling SWJYNKBHM0
| URI | m2://inv/SWJYNKBHM0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slice sampling, Slice sampling (definition). Also Wikidata Q4128565
History
- 2026-11-02: add by m2/dev
SWK7KPF9AB SWK7KPF9AB
| URI | m2://inv/SWK7KPF9AB |
|---|---|
| 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.21752#6157 (statement). In E4DJTPKHAX/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.4.2
SWKFR9NJE8 SWKFR9NJE8
| URI | m2://inv/SWKFR9NJE8 |
|---|---|
| Kind | example |
| 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#LM7Z (example). In EHW82CK883/e1, example 7.4
History
- 2026-10-29: add by m2/v0.4.12
SWKQSVA4P0 SWKQSVA4P0
| URI | m2://inv/SWKQSVA4P0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.23797#Y8DH (statement). In PZCA01JXVR/e1, corollary 6.4
History
- 2026-10-27: add by m2/v0.3.5
SWKRX17A6J SWKRX17A6J
| URI | m2://inv/SWKRX17A6J |
|---|---|
| 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 2204.13401#ZB8P (definition). In B8MJT0GGW8/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.4.0
SWKV3AK781 SWKV3AK781
| URI | m2://inv/SWKV3AK781 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#1QKH (statement). In 6KR7Z5ETRY/e1, lemma 2.42
History
- 2026-10-27: add by m2/v0.3.5
SWM5BPSH4B SWM5BPSH4B
| URI | m2://inv/SWM5BPSH4B |
|---|---|
| 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.18777#6OW9 (statement). In TFZDPHDF7V/e1, proposition A.8
History
- 2026-10-27: add by m2/v0.3.6
SWM6QQXF74 SWM6QQXF74
| URI | m2://inv/SWM6QQXF74 |
|---|---|
| Kind | definition |
| 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 2609.24917#CDB8 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Functional predicate SWM6ZCTD0N
| URI | m2://inv/SWM6ZCTD0N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#J4E7, Functional predicate (definition)
History
- 2026-11-02: add by m2/dev
SWM8TY5MVR SWM8TY5MVR
| URI | m2://inv/SWM8TY5MVR |
|---|---|
| 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.01932#T227 (statement). In XDKWW6NR0K/e1, fact 3.1
History
- 2026-10-29: add by m2/v0.4.12
Richardson--Chernoff extrapolation on a prescribed power scale SWM9TFXE74
| URI | m2://inv/SWM9TFXE74 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16094#ODO4, Richardson--Chernoff extrapolation on a prescribed power scale (statement). In RHBS9QDHC3/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Boundary subdifferential SWMCJ4VNEB
| URI | m2://inv/SWMCJ4VNEB |
|---|---|
| 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#K0JS, Boundary subdifferential (statement). In H2DNTQ5MKV/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
SWME76XXP1 SWME76XXP1
| URI | m2://inv/SWME76XXP1 |
|---|---|
| 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.37450#S4UY (statement). In FP05Z6EBV4/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
SWMM29W0RX SWMM29W0RX
| URI | m2://inv/SWMM29W0RX |
|---|---|
| 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.13852#E809 (statement). In SXTGSAH3WF/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Corner Flow SWMP4QF22F
| URI | m2://inv/SWMP4QF22F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.31294#ODQL, Corner Flow (statement). In 6GK9EJMWY4/e1, proposition 3.12
History
- 2026-10-31: add by m2/v0.5.6
pointwise, functionality SWMR6CMPHP
| URI | m2://inv/SWMR6CMPHP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.12.3/pointwise-functionality, pointwise, functionality (concept). In N54F33XE07, index, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
noncommutative projective geometry SWMRJ0WTDY
| URI | m2://inv/SWMRJ0WTDY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18354167, noncommutative projective geometry (topic). Also nLab noncommutative projective geometry
- wikipedia: Wikipedia Noncommutative projective geometry, Noncommutative projective geometry (definition). Also Wikidata Q18354167
History
- 2026-10-26: add by m2/dev
Examples SWMS72HH19
| URI | m2://inv/SWMS72HH19 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-stability#E8A4, Examples (example)
History
- 2026-11-02: add by m2/dev
Character blocks for divisor operator SWMV1G6S2J
| URI | m2://inv/SWMV1G6S2J |
|---|---|
| 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.03520#4CMT, Character blocks for divisor operator (statement). In CSRZ9CWK69/e1, corollary 6.4
History
- 2026-10-29: add by m2/v0.4.12
SWMZ4EM9KT SWMZ4EM9KT
| URI | m2://inv/SWMZ4EM9KT |
|---|---|
| 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 2405.05684#D4E3 (statement). In 1PR73ECTZB/e1, lemma 20
History
- 2026-10-27: add by m2/v0.3.5
SWN8452K2P SWN8452K2P
| URI | m2://inv/SWN8452K2P |
|---|---|
| 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 2511.17751#DP00 (statement). In J39X0NB31S/e1, corollary 1.3
History
- 2026-10-27: add by m2/v0.3.5
SWNE4C7TT7 SWNE4C7TT7
| URI | m2://inv/SWNE4C7TT7 |
|---|---|
| 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 2609.30444#QSSU (example). In RZWJ0AT8W5/e1, example 4.11
History
- 2026-10-31: add by m2/v0.5.6
SWNNS76PYR SWNNS76PYR
| URI | m2://inv/SWNNS76PYR |
|---|---|
| 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.09084#V60Y (statement). In F5VT2K2QYX/e1, lemma 24
History
- 2026-10-29: add by m2/v0.4.10
Example SWNQAGYXCS
| URI | m2://inv/SWNQAGYXCS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factor analysis of mixed data#S8JF, Example (example)
History
- 2026-11-02: add by m2/dev
SWNRCXARFF SWNRCXARFF
| URI | m2://inv/SWNRCXARFF |
|---|---|
| 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.07828#5BBW (statement). In TWGMVT1N1G/e1, theorem 9.4
History
- 2026-10-29: add by m2/v0.4.10
$n=11$, $s=2$ SWNRG07V12
| URI | m2://inv/SWNRG07V12 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20087#BG0T, $n=11$, $s=2$ (example). In ZRE2WQR5XA/e1, example IV.7
History
- 2026-10-27: add by m2/v0.4.2
Binary-coded ternary SWNX5N3QN2
| URI | m2://inv/SWNX5N3QN2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ternary numeral system#JI2U, Binary-coded ternary (unknown)
History
- 2026-11-02: add by m2/dev
SWP1H0TXXK SWP1H0TXXK
| URI | m2://inv/SWP1H0TXXK |
|---|---|
| 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.25915#FURU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sommerfeld identity SWP1M01M6R
| URI | m2://inv/SWP1M01M6R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sommerfeld identity, Sommerfeld identity (statement). Also Wikidata Q784909
History
- 2026-11-02: add by m2/dev
Fourier transforms SWP8FSWSKC
| URI | m2://inv/SWP8FSWSKC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Tempered distributions > Fourier transforms, Fourier transforms (unknown). Also Mathlib FourierTransform.fourierCLM
History
- 2026-10-26: add by m2/dev
SWPBRPMG5F SWPBRPMG5F
| URI | m2://inv/SWPBRPMG5F |
|---|---|
| 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 2606.16311#3KLN (statement). In 3G0HCK0DVA/e1, lemma A.3
History
- 2026-10-27: add by m2/v0.3.5
Lynda Wiest SWPGZD2HTY
| URI | m2://inv/SWPGZD2HTY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lynda Wiest, Lynda Wiest (topic). Also Wikidata Q64706261
History
- 2026-11-02: add by m2/dev
Brouwer Fixed Point Theorem SWPHF13ZJA
| URI | m2://inv/SWPHF13ZJA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_100: mathlib_100 36, Brouwer Fixed Point Theorem (statement)
History
- 2026-10-26: add by m2/dev
SWPHNSAXKQ SWPHNSAXKQ
| URI | m2://inv/SWPHNSAXKQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.05529#2C6N (statement). In 9VPMHV0M4R/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
natural numbers SWPRHQ30J7
| URI | m2://inv/SWPRHQ30J7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#QNUI, natural numbers (definition)
History
- 2026-11-02: add by m2/dev
Examples SWPV60PDG2
| URI | m2://inv/SWPV60PDG2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct sum of groups#4XRH, Examples (example)
History
- 2026-11-02: add by m2/dev
Hadwiger conjecture SWQ057NQVR
| URI | m2://inv/SWQ057NQVR |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadwiger conjecture (combinatorial geometry), Hadwiger conjecture (conjecture). Also Wikidata Q5638115
History
- 2026-11-02: add by m2/dev
Definition SWQBBC02DS
| URI | m2://inv/SWQBBC02DS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local asymptotic normality#4FK1, Definition (definition)
History
- 2026-11-02: add by m2/dev
Sylvia Esterby SWQNW79990
| URI | m2://inv/SWQNW79990 |
|---|---|
| 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#2601, Sylvia Esterby (unknown)
History
- 2026-11-02: add by m2/dev
SWQSKPSD28 SWQSKPSD28
| URI | m2://inv/SWQSKPSD28 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21680#MFL4 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Divisor SWQY97VNY2
| URI | m2://inv/SWQY97VNY2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#K7HH, Divisor (definition)
History
- 2026-11-02: add by m2/dev
Linear coercivity condition SWQZW14YTE
| URI | m2://inv/SWQZW14YTE |
|---|---|
| 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.20399#8K6B, Linear coercivity condition (statement)
History
- 2026-11-02: add by m2/v0.6.18
SWR01VE35T SWR01VE35T
| URI | m2://inv/SWR01VE35T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23279#KV6M (statement)
History
- 2026-11-02: add by m2/v0.6.17
SWR1B8CAW6 SWR1B8CAW6
| URI | m2://inv/SWR1B8CAW6 |
|---|---|
| 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#BCA9 (statement). In NBMA6DBKJG/e1, corollary 6.2
History
- 2026-10-28: add by m2/v0.4.2
Descent lemma for $\s$ with MSS SWR1BRVRCA
| URI | m2://inv/SWR1BRVRCA |
|---|---|
| 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.07290#KMZ3, Descent lemma for $\s$ with MSS (statement). In WC7BN66XSN/e1, lemma 13
History
- 2026-10-29: add by m2/v0.4.10
Normal-inverse Gaussian distribution SWRE5VREEJ
| URI | m2://inv/SWRE5VREEJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XSE7, Normal-inverse Gaussian distribution (definition)
History
- 2026-11-02: add by m2/dev
Archimedean dual graph SWRETTXRDP
| URI | m2://inv/SWRETTXRDP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122897617, Archimedean dual graph (unknown). Also MathWorld ArchimedeanDualGraph
History
- 2026-10-26: add by m2/dev
SWRFM552PA SWRFM552PA
| URI | m2://inv/SWRFM552PA |
|---|---|
| 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.21256#O9KZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Residual amplification on the half annuli SWRG31RG24
| URI | m2://inv/SWRG31RG24 |
|---|---|
| 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#FFKF, Residual amplification on the half annuli (statement). In RQA728RB77/e1, proposition 19
History
- 2026-10-27: add by m2/v0.4.2
SWRJKS27G2 SWRJKS27G2
| URI | m2://inv/SWRJKS27G2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/meromorphic.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 41.2
History
- 2026-11-01: add by m2/v0.6.13
Infiltration product SWRKHY2D4K
| URI | m2://inv/SWRKHY2D4K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shuffle algebra#PMGA, Infiltration product (unknown)
History
- 2026-11-02: add by m2/dev
SWRKPJ8MVK SWRKPJ8MVK
| URI | m2://inv/SWRKPJ8MVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28794#ODZC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tullio Levi-Civita SWRR61ZCHD
| URI | m2://inv/SWRR61ZCHD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#FHRR, Tullio Levi-Civita (topic)
History
- 2026-11-02: add by m2/dev
Halley's method SWRS4BBTQN
| URI | m2://inv/SWRS4BBTQN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Halley's method RPME2B5MS2 |
Mentions
- wikidata: Wikidata Q1476051, Halley's method (unknown). Also MathWorld HalleysMethod
- wikipedia: Wikipedia Halley's method, Halley's method (definition). Also Wikidata Q1476051
History
- 2026-10-26: add by m2/dev
SWRVN7FHG3 SWRVN7FHG3
| URI | m2://inv/SWRVN7FHG3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10221#0TUM (definition). In 9Z5M655EPV/e1, definition 2.9
History
- 2026-10-29: add by m2/v0.4.10
SWS555Z241 SWS555Z241
| URI | m2://inv/SWS555Z241 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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 2304.07398#G792 (statement). In JS5FKV1S9T/e1, proposition C.2
History
- 2026-10-27: add by m2/v0.3.5
SWS6SCGSTA SWS6SCGSTA
| URI | m2://inv/SWS6SCGSTA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#G4DE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definitions SWS6ZG8F18
| URI | m2://inv/SWS6ZG8F18 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener sausage#HWU2, Definitions (definition)
History
- 2026-11-02: add by m2/dev
SWSH5B6Y62 SWSH5B6Y62
| URI | m2://inv/SWSH5B6Y62 |
|---|---|
| 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.20230#X640 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Millard Hampton SWSPKM6SFA
| URI | m2://inv/SWSPKM6SFA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#QTAP, Millard Hampton (unknown)
History
- 2026-11-02: add by m2/dev
SWT68HBMPY SWT68HBMPY
| URI | m2://inv/SWT68HBMPY |
|---|---|
| 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.27049#U0FL (statement)
History
- 2026-11-01: add by m2/v0.6.15
SWT6X7DJ08 SWT6X7DJ08
| URI | m2://inv/SWT6X7DJ08 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14236#4MGI (statement). In XEQD21EBTT/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
6-sphere coordinates SWT8ERHZX3
| URI | m2://inv/SWT8ERHZX3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4641575, 6-sphere coordinates (unknown). Also MathWorld 6-SphereCoordinates
- wikipedia: Wikipedia 6-sphere coordinates, 6-sphere coordinates (definition). Also Wikidata Q4641575
History
- 2026-10-26: add by m2/dev
Uniform Boundedness for $x^d+c$ SWTACDRKFB
| URI | m2://inv/SWTACDRKFB |
|---|---|
| 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 2105.03715#FEB4, Uniform Boundedness for $x^d+c$ (statement). In H3FWT3Z0J4/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Unfriendly partition SWTBQCHEDB
| URI | m2://inv/SWTBQCHEDB |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unfriendly partition, Unfriendly partition (conjecture). Also Wikidata Q112740261
History
- 2026-11-02: add by m2/dev
SWTF8VS2TR SWTF8VS2TR
| URI | m2://inv/SWTF8VS2TR |
|---|---|
| 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.18287#12XY (statement). In ZXZN6RMN38/e1, lemma 15
History
- 2026-10-28: add by m2/v0.4.2
mathematics, predicative SWTJ695FHS
| URI | m2://inv/SWTJ695FHS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C/mathematics-predicative, mathematics, predicative (concept). In N54F33XE07, index, section C
History
- 2026-11-01: add by m2/v0.6.13
505 (number) SWTWJHRYHR
| URI | m2://inv/SWTWJHRYHR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#4OBX, 505 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Drake, Gerrish, Skandera SWTX72X6HB
| URI | m2://inv/SWTX72X6HB |
|---|---|
| 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.04809#F2D6, Drake, Gerrish, Skandera (statement). In 2VHV0RNTNV/e1, theorem 7.1
History
- 2026-10-29: add by m2/v0.4.12
SWV1XGWW7B SWV1XGWW7B
| URI | m2://inv/SWV1XGWW7B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.12831#V5GG (statement). In 7ZBQ8WGQVB/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
Integrated score approximation by the Transformer class SWV8CVQ246
| URI | m2://inv/SWV8CVQ246 |
|---|---|
| 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.05333#7P16, Integrated score approximation by the Transformer class (statement). In N37WKFTR7Q/e1, proposition E.6
History
- 2026-10-29: add by m2/v0.4.10
SWVA70SSMD SWVA70SSMD
| URI | m2://inv/SWVA70SSMD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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.33841#KP1R (statement). In 3CVQHT206K/e1, proposition 4.13
History
- 2026-10-30: add by m2/v0.4.12
DES-X SWVAV9R22S
| URI | m2://inv/SWVAV9R22S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DES-X, DES-X (definition). Also Wikidata Q2454245
History
- 2026-11-02: add by m2/dev
Empirical occupation measure convergence in MMD SWVHC33NXR
| URI | m2://inv/SWVHC33NXR |
|---|---|
| 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.13916#DE8Z, Empirical occupation measure convergence in MMD (statement). In JS2JSD0507/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
Normalization SWVTYHSX6P
| URI | m2://inv/SWVTYHSX6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11652#0BGU, Normalization (statement). In VEXM27M8Q1/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.3
SWVWYQ1KCX SWVWYQ1KCX
| URI | m2://inv/SWVWYQ1KCX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14189#ZSAA (statement). In 39VAB08YDJ/e1, theorem 4.8
History
- 2026-10-28: add by m2/v0.4.2
projective plane SWW1QD0FPZ
| URI | m2://inv/SWW1QD0FPZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Projective plane DANFNN8C4Y |
Mentions
- wikidata: Wikidata Q1475760, projective plane (unknown). Also MathWorld ProjectivePlane
- wikipedia: Wikipedia Projective plane, Projective plane (definition). Also Wikidata Q1475760
History
- 2026-10-26: add by m2/dev
Definition SWW8CCC3EN
| URI | m2://inv/SWW8CCC3EN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Independence (probability theory)#I1P8, Definition (definition)
History
- 2026-11-02: add by m2/dev
Nachbin's theorem SWWNKSQS4K
| URI | m2://inv/SWWNKSQS4K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#VCT0, Nachbin's theorem (statement)
History
- 2026-11-02: add by m2/dev
SWXE7HNC66 SWXE7HNC66
| URI | m2://inv/SWXE7HNC66 |
|---|---|
| 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 2610.22074#DA5K (statement). In F3BKXXPR3K/e1, corollary 3.70
History
- 2026-10-27: add by m2/v0.4.2
SWXGVDZTG8 SWXGVDZTG8
| URI | m2://inv/SWXGVDZTG8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34295#AIQ6 (statement). In A93R925Z24/e1, corollary 5.2
History
- 2026-10-30: add by m2/v0.4.12
SWXK1JRXRG SWXK1JRXRG
| URI | m2://inv/SWXK1JRXRG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20368#Q71C (statement)
History
- 2026-11-02: add by m2/v0.6.18
List of statistical tests SWXPK3EK4Z
| URI | m2://inv/SWXPK3EK4Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of statistics topics#7MTH, List of statistical tests (unknown)
History
- 2026-11-02: add by m2/dev
SWY093ZS07 SWY093ZS07
| URI | m2://inv/SWY093ZS07 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08323#MQDK (definition). In FR51ART4NF/e1, definition 2.8
History
- 2026-10-29: add by m2/v0.4.10
Example SWY7FDXVDJ
| URI | m2://inv/SWY7FDXVDJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entropic vector#H04A, Example (example)
History
- 2026-11-02: add by m2/dev
SWYKE1Q4CS SWYKE1Q4CS
| URI | m2://inv/SWYKE1Q4CS |
|---|---|
| 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.08935#CX0I (statement). In G02N9D40B9/e1, theorem C
History
- 2026-10-29: add by m2/v0.4.10
Sun, Jiayang SWYNGX7SGS
| URI | m2://inv/SWYNGX7SGS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#DSUO, Sun, Jiayang (unknown)
History
- 2026-11-02: add by m2/dev
Bounds in the far region SWYPC66RD2
| URI | m2://inv/SWYPC66RD2 |
|---|---|
| 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.22301#19UV, Bounds in the far region (statement)
History
- 2026-11-02: add by m2/v0.6.17
Alina Carmen Cojocaru SWYPN84TBK
| URI | m2://inv/SWYPN84TBK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alina Carmen Cojocaru, Alina Carmen Cojocaru (topic). Also Wikidata Q54614086
History
- 2026-11-02: add by m2/dev
SWYTXJ464Q SWYTXJ464Q
| URI | m2://inv/SWYTXJ464Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2203.15223#WXTQ (statement). In HSY17Q75DM/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Cartan's lemma SWZ56G6S0C
| URI | m2://inv/SWZ56G6S0C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartan's lemma (potential theory), Cartan's lemma (statement). Also Wikidata Q5047039
History
- 2026-11-02: add by m2/dev
SWZ9JMPMEK SWZ9JMPMEK
| URI | m2://inv/SWZ9JMPMEK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2605.10911#3J0Q (statement). In Y23VR7N90M/e1, proposition 16
History
- 2026-10-27: add by m2/v0.3.5
SWZAPKXY8Z SWZAPKXY8Z
| URI | m2://inv/SWZAPKXY8Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16541#WUOJ (statement). In D0XH7W96T3/e1, corollary 3.10
History
- 2026-10-28: add by m2/v0.4.2
SWZBP7DSC8 SWZBP7DSC8
| URI | m2://inv/SWZBP7DSC8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#2LE7 (definition). In QNBFHFZ3H0/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
Twin prime SWZC8BVZR4
| URI | m2://inv/SWZC8BVZR4 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#FO24, Twin prime (conjecture)
History
- 2026-11-02: add by m2/dev
Affine geometry of curves SWZENF0MS3
| URI | m2://inv/SWZENF0MS3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine geometry of curves, Affine geometry of curves (definition). Also Wikidata Q4688941
History
- 2026-11-02: add by m2/dev
norm upper bound at cone points SWZVKKB9KQ
| URI | m2://inv/SWZVKKB9KQ |
|---|---|
| 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 2608.24606#RIT1, norm upper bound at cone points (statement). In VFV3FFB7Q7/e1, lemma 12
History
- 2026-10-27: add by m2/v0.3.5