Inventory rows RM
The cards of the rows of the inventory whose ids start with RM. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Polynomial multiplication RM0G4VJ8NG
| URI | m2://inv/RM0G4VJ8NG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial#DOCN, Polynomial multiplication (unknown)
History
- 2026-11-02: add by m2/dev
Hypercuboid RM0PDWX90B
| URI | m2://inv/RM0PDWX90B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperrectangle#YF8D, Hypercuboid (unknown)
History
- 2026-11-02: add by m2/dev
an explicit continuation square RM0QE3F0XC
| URI | m2://inv/RM0QE3F0XC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.08190#9EAH, an explicit continuation square (statement). In AC1NA254DB/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Daniel Edwin Rutherford RM0WPJGEYM
| URI | m2://inv/RM0WPJGEYM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel Edwin Rutherford, Daniel Edwin Rutherford (topic). Also Wikidata Q1160532
History
- 2026-11-02: add by m2/dev
RM13JAJRNZ RM13JAJRNZ
| URI | m2://inv/RM13JAJRNZ |
|---|---|
| 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.29597#F6MW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Small characteristic RM17M4GFHJ
| URI | m2://inv/RM17M4GFHJ |
|---|---|
| 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 1308.2487#C4SW, Small characteristic (statement). In 322XSWF4EA/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
$\mu$ Elimination RM1B3FQ8SF
| URI | m2://inv/RM1B3FQ8SF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.16491#P95K, $\mu$ Elimination (statement). In P9J6P06Y40/e1, lemma 4.11
History
- 2026-10-27: add by m2/v0.3.5
RM1EMNAT4Q RM1EMNAT4Q
| URI | m2://inv/RM1EMNAT4Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.08723#5RRQ (statement). In HGE2NCQW29/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
RM1H85DJG6 RM1H85DJG6
| URI | m2://inv/RM1H85DJG6 |
|---|---|
| Kind | example |
| 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.04046#HFTE (example). In 3THDT8WNF7/e1, example 7
History
- 2026-10-29: add by m2/v0.4.12
RM1P6VK457 RM1P6VK457
| URI | m2://inv/RM1P6VK457 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.09796#BH33 (statement). In NAA7WFQN20/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
RM1ZGDBEXD RM1ZGDBEXD
| URI | m2://inv/RM1ZGDBEXD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11143#1BXW (statement). In 9CS15SV662/e1, corollary 10.1
History
- 2026-10-28: add by m2/v0.4.3
Inductive probability RM2DHFDRJ1
| URI | m2://inv/RM2DHFDRJ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inductive probability, Inductive probability (definition). Also Wikidata Q17050471
History
- 2026-11-02: add by m2/dev
Samuel Eilenberg RM2EB5YT87
| URI | m2://inv/RM2EB5YT87 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#7HAP, Samuel Eilenberg (topic)
History
- 2026-11-02: add by m2/dev
operad RM2PQ81Q3B
| URI | m2://inv/RM2PQ81Q3B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.1/operad, operad (concept). In N54F33XE07, index, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
RM2QMJCNJK RM2QMJCNJK
| URI | m2://inv/RM2QMJCNJK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31413#VR2W (statement). In 1C68G64QZS/e1, theorem 2
History
- 2026-10-31: add by m2/v0.5.6
RM2XN0BR4S RM2XN0BR4S
| URI | m2://inv/RM2XN0BR4S |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/lambda-definability/arithmetical-functions.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 37.8
History
- 2026-11-01: add by m2/v0.6.13
RM365QH3TK RM365QH3TK
| URI | m2://inv/RM365QH3TK |
|---|---|
| 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.12353#DRW3 (statement). In 7TSXNR7TC5/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Comparison of densities with the same punctures RM39WQP9QQ
| URI | m2://inv/RM39WQP9QQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30103#NMVF, Comparison of densities with the same punctures (statement)
History
- 2026-11-01: add by m2/v0.6.15
RM3A8RWHT4 RM3A8RWHT4
| URI | m2://inv/RM3A8RWHT4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16562#0JSL (statement). In 7QGPEBC70Y/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.2
RM3B76QH94 RM3B76QH94
| URI | m2://inv/RM3B76QH94 |
|---|---|
| Kind | definition |
| 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.32174#VM5R (definition). In GHKR740SG3/e1, definition 11.1
History
- 2026-10-31: add by m2/v0.5.6
classical, category theory RM3D5AT0W6
| URI | m2://inv/RM3D5AT0W6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2/classical-category-theory, classical, category theory (concept). In N54F33XE07, index, section 2
History
- 2026-11-01: add by m2/v0.6.13
RM3G7ANV15 RM3G7ANV15
| URI | m2://inv/RM3G7ANV15 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-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 2303.09207#3DRO (statement). In 9DQKY7KGE8/e1, lemma C.5
History
- 2026-10-31: add by m2/v0.5.6
completely multiplicative function RM3HD6740J
| URI | m2://inv/RM3HD6740J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Completely multiplicative function 0GS27TKF1V |
Mentions
- wikidata: Wikidata Q5156533, completely multiplicative function (unknown). Also MathWorld CompletelyMultiplicativeFunction
- wikipedia: Wikipedia Completely multiplicative function, Completely multiplicative function (definition). Also Wikidata Q5156533
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Sanity testing RM3M156KJP
| URI | m2://inv/RM3M156KJP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#3XP4, Sanity testing (definition)
History
- 2026-11-02: add by m2/dev
limit inferior RM3QSQCVTC
| URI | m2://inv/RM3QSQCVTC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/10.3.4/limit-inferior, limit inferior (concept). In E59CDZA4DP, index, section 10.3.4
History
- 2026-11-01: add by m2/v0.6.13
Twelve Mile, Kansas RM42S6GEG8
| URI | m2://inv/RM42S6GEG8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#VTNC, Twelve Mile, Kansas (unknown)
History
- 2026-11-02: add by m2/dev
Critical Cell RM48JCYH44
| URI | m2://inv/RM48JCYH44 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01937#YZAA, Critical Cell (definition). In BAEDMM7YM5/e1, definition 14
History
- 2026-10-29: add by m2/v0.4.12
RM4AVD4ZB8 RM4AVD4ZB8
| URI | m2://inv/RM4AVD4ZB8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31220#GDAX (statement). In JMWCGMNE84/e1, theorem 5.6
History
- 2026-10-31: add by m2/v0.5.6
Definition RM4C5RKCM9
| URI | m2://inv/RM4C5RKCM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wrapped exponential distribution#34UY, Definition (definition)
History
- 2026-11-02: add by m2/dev
RM4G6PZ3MP RM4G6PZ3MP
| URI | m2://inv/RM4G6PZ3MP |
|---|---|
| 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.01433#K43J (definition). In 160PQ7F1AS/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.12
RM4W23MBJQ RM4W23MBJQ
| URI | m2://inv/RM4W23MBJQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-85 (exercise). In E59CDZA4DP, exercise, section 10.6.6
History
- 2026-11-01: add by m2/v0.6.13
RM4WADPSBT RM4WADPSBT
| URI | m2://inv/RM4WADPSBT |
|---|---|
| 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 2609.28489#4VOH (definition)
History
- 2026-11-01: add by m2/v0.6.15
Spearman's rank correlation coefficient RM4WKJ7EBC
| URI | m2://inv/RM4WKJ7EBC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3OUH, Spearman's rank correlation coefficient (definition)
History
- 2026-11-02: add by m2/dev
RM4Y5SF8H9 RM4Y5SF8H9
| URI | m2://inv/RM4Y5SF8H9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35307#497T (definition). In FT5TKY10T8/e1, definition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Applications RM4YJBAH5P
| URI | m2://inv/RM4YJBAH5P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bézout matrix#718Y, Applications (example)
History
- 2026-11-02: add by m2/dev
Exhaustion dependence RM4Z3KFDXN
| URI | m2://inv/RM4Z3KFDXN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32078#MP8C, Exhaustion dependence (statement). In 5PN85N6EJF/e1, proposition 7.2
History
- 2026-10-31: add by m2/v0.5.6
RM52CJJSCF RM52CJJSCF
| URI | m2://inv/RM52CJJSCF |
|---|---|
| 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.39539#DM0V (statement). In GVR218P3ZR/e1, lemma 7.1.1
History
- 2026-10-30: add by m2/v0.4.12
RM562JV1X2 RM562JV1X2
| URI | m2://inv/RM562JV1X2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2507.12309#NRBP (statement). In ZR53K3E0FR/e1, theorem 32
History
- 2026-10-27: add by m2/v0.3.6
RM58WJNXET RM58WJNXET
| URI | m2://inv/RM58WJNXET |
|---|---|
| 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.33679#2678 (statement). In 3N9E9T6AF5/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
surface of revolution RM5A13ZAJM
| URI | m2://inv/RM5A13ZAJM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q849425, surface of revolution (unknown). Also MathWorld SurfaceofRevolution
- wikipedia: Wikipedia Surface of revolution, Surface of revolution (definition). Also Wikidata Q849425
History
- 2026-10-26: add by m2/dev
Properties RM5BYXVYWY
| URI | m2://inv/RM5BYXVYWY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stereographic projection#P8SA, Properties (statement)
History
- 2026-11-02: add by m2/dev
Properties RM5M7856FS
| URI | m2://inv/RM5M7856FS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplicative function#4NOK, Properties (statement)
History
- 2026-11-02: add by m2/dev
Edward Fraenkel RM5S0ZF84B
| URI | m2://inv/RM5S0ZF84B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edward Fraenkel, Edward Fraenkel (topic). Also Wikidata Q1530507
History
- 2026-11-02: add by m2/dev
RM5T304N5A RM5T304N5A
| URI | m2://inv/RM5T304N5A |
|---|---|
| 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 0809.4587#0Z8O (statement). In KQ8JPHDKKE/e1, proposition 9.7.9
History
- 2026-10-27: add by m2/v0.3.5
Imperfect group RM5TYYJ649
| URI | m2://inv/RM5TYYJ649 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Imperfect group, Imperfect group (definition). Also Wikidata Q6006292
History
- 2026-11-02: add by m2/dev
State--observation moment equivalence RM63ZSH7SQ
| URI | m2://inv/RM63ZSH7SQ |
|---|---|
| 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.19421#JTUK, State--observation moment equivalence (statement). In 3S1VFGYWQE/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
Ernst Hellinger RM6DF3FRDH
| URI | m2://inv/RM6DF3FRDH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#G0G0, Ernst Hellinger (topic)
History
- 2026-11-02: add by m2/dev
Basic principles RM6H333VR3
| URI | m2://inv/RM6H333VR3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial fraction decomposition#BZSA, Basic principles (statement)
History
- 2026-11-02: add by m2/dev
RM6HSBEQP0 RM6HSBEQP0
| URI | m2://inv/RM6HSBEQP0 |
|---|---|
| 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 2609.36321#J6BS (statement). In 3KTZ6Z615H/e1, theorem 6.7
History
- 2026-10-30: add by m2/v0.4.12
RM6KS7JSF6 RM6KS7JSF6
| URI | m2://inv/RM6KS7JSF6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01828#Y71N (statement). In RQMJY73C8Q/e1, theorem IV.1
History
- 2026-10-29: add by m2/v0.4.12
Constructions RM77AS2J9H
| URI | m2://inv/RM77AS2J9H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetrahexagonal tiling#AAIU, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Exponential local convergence under non-degeneracy of the solution RM7NW6SXVJ
| URI | m2://inv/RM7NW6SXVJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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.30220#FHO2, Exponential local convergence under non-degeneracy of the solution (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples RM7WPTGH6C
| URI | m2://inv/RM7WPTGH6C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supersingular elliptic curve#QXTP, Examples (example)
History
- 2026-11-02: add by m2/dev
in general RM7ZS2H4N7
| URI | m2://inv/RM7ZS2H4N7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#49RK, in general (definition)
History
- 2026-11-02: add by m2/dev
Fubini's theorem on differentiation RM8B3Q4BN5
| URI | m2://inv/RM8B3Q4BN5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#9MID, Fubini's theorem on differentiation (statement)
History
- 2026-11-02: add by m2/dev
Relations between principles RM8D00VWGA
| URI | m2://inv/RM8D00VWGA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peirce's law#16BC, Relations between principles (statement)
History
- 2026-11-02: add by m2/dev
RM8G2NPEVG RM8G2NPEVG
| URI | m2://inv/RM8G2NPEVG |
|---|---|
| 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.38014#KEOA (statement). In F3X5W4E0AJ/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
RM8PYT39EK RM8PYT39EK
| URI | m2://inv/RM8PYT39EK |
|---|---|
| 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 2610.01354#971Y (definition). In BWD76W20W8/e1, definition 6.1
History
- 2026-10-29: add by m2/v0.4.12
Michele de Franchis RM8QE5C30R
| URI | m2://inv/RM8QE5C30R |
|---|---|
| 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#EXAM, Michele de Franchis (topic)
History
- 2026-11-02: add by m2/dev
RM8WXNVGXX RM8WXNVGXX
| URI | m2://inv/RM8WXNVGXX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36309#R2KE (definition). In FAJ10EJMYE/e1, definition 3
History
- 2026-10-30: add by m2/v0.4.12
Pollard's p − 1 algorithm RM93NFY930
| URI | m2://inv/RM93NFY930 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1937853, Pollard's p − 1 algorithm (unknown). Also MathWorld Pollardp-1FactorizationMethod
- wikipedia: Wikipedia Pollard's p − 1 algorithm, Pollard's p − 1 algorithm (definition). Also Wikidata Q1937853
History
- 2026-10-26: add by m2/dev
Rolin Wavre RM9EJ4VW9D
| URI | m2://inv/RM9EJ4VW9D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rolin Wavre, Rolin Wavre (topic). Also Wikidata Q2163937
History
- 2026-11-02: add by m2/dev
split link RM9F6Y0TT1
| URI | m2://inv/RM9F6Y0TT1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7578698, split link (unknown). Also MathWorld SplittableLink
- wikipedia: Wikipedia Split link, Split link (definition). Also Wikidata Q7578698
History
- 2026-10-26: add by m2/dev
RM9MCD6FDV RM9MCD6FDV
| URI | m2://inv/RM9MCD6FDV |
|---|---|
| Kind | conjecture |
| 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.06033#72BR (conjecture). In Q1YDP67JQ4/e1, conjecture 1.1
History
- 2026-10-29: add by m2/v0.4.10
RM9VPF5D4K RM9VPF5D4K
| URI | m2://inv/RM9VPF5D4K |
|---|---|
| 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.37425#8KR0 (statement). In E02TSC01RN/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Ōno's lexical law (original version) RMA00P89YV
| URI | m2://inv/RMA00P89YV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ōno's lexical law#2HNQ, Ōno's lexical law (original version) (statement)
History
- 2026-11-02: add by m2/dev
RMAHR0G1D9 RMAHR0G1D9
| URI | m2://inv/RMAHR0G1D9 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#SIHG (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Theodor Schneider RMAKRCXHCK
| URI | m2://inv/RMAKRCXHCK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theodor Schneider, Theodor Schneider (topic). Also Wikidata Q68512
History
- 2026-11-02: add by m2/dev
RMAKXNWB5P RMAKXNWB5P
| URI | m2://inv/RMAKXNWB5P |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph pebbling#Z3I9 (problem)
History
- 2026-11-02: add by m2/dev
RMAWEF7GTD RMAWEF7GTD
| URI | m2://inv/RMAWEF7GTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#defn-5 (definition). In VNMV985MXX, defn, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Theorem RMAZ4CERSD
| URI | m2://inv/RMAZ4CERSD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isometry#HB4E, Theorem (statement)
History
- 2026-11-02: add by m2/dev
R-equivalent RMB3FBK3K8
| URI | m2://inv/RMB3FBK3K8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#1RJE, R-equivalent (unknown)
History
- 2026-11-02: add by m2/dev
Cyril H. Goulden RMBCBZYR39
| URI | m2://inv/RMBCBZYR39 |
|---|---|
| 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#JN7K, Cyril H. Goulden (unknown)
History
- 2026-11-02: add by m2/dev
B meson RMBED33ZXT
| URI | m2://inv/RMBED33ZXT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q795131, B meson (unknown). Also nLab B meson
History
- 2026-10-26: add by m2/dev
Interpolative decomposition RMBQHHPX1E
| URI | m2://inv/RMBQHHPX1E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interpolative decomposition, Interpolative decomposition (definition). Also Wikidata Q18744949
History
- 2026-11-02: add by m2/dev
Hanssen–Kuipers discriminant RMBTFR61NX
| URI | m2://inv/RMBTFR61NX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#KO8L, Hanssen–Kuipers discriminant (definition)
History
- 2026-11-02: add by m2/dev
Sofia Kovalevskaia RMC0MQVYDM
| URI | m2://inv/RMC0MQVYDM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#81ZE, Sofia Kovalevskaia (topic)
History
- 2026-11-02: add by m2/dev
Third example (with two sums) RMC71EPRPT
| URI | m2://inv/RMC71EPRPT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributive property#TIVS, Third example (with two sums) (definition)
History
- 2026-11-02: add by m2/dev
RMC8F2V3PM RMC8F2V3PM
| URI | m2://inv/RMC8F2V3PM |
|---|---|
| Kind | example |
| 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 2207.07461#BFBD (example). In GAG532VMPF/e1, example 1.2.3
History
- 2026-10-27: add by m2/v0.3.5
Susan Assmann RMC8TVF5NX
| URI | m2://inv/RMC8TVF5NX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susan Assmann, Susan Assmann (topic). Also Wikidata Q102246445
History
- 2026-11-02: add by m2/dev
Hierarchical estimate of the Hermite truncation term RMCDK4M0Y5
| URI | m2://inv/RMCDK4M0Y5 |
|---|---|
| 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.14498#9OL1, Hierarchical estimate of the Hermite truncation term (statement). In 81YXGYETE4/e1, proposition 9
History
- 2026-10-28: add by m2/v0.4.2
Graham–Rothschild theorem RMCWBP63N1
| URI | m2://inv/RMCWBP63N1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graham–Rothschild theorem, Graham–Rothschild theorem (statement). Also Wikidata Q104848151
History
- 2026-11-02: add by m2/dev
RMCXT2GZBS RMCXT2GZBS
| URI | m2://inv/RMCXT2GZBS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03704#L7VB (statement). In 22PZM74WT5/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
RMD6G367VD RMD6G367VD
| URI | m2://inv/RMD6G367VD |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-28: add by m2/v0.4.2
Hash flooding RMD72MEJJF
| URI | m2://inv/RMD72MEJJF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collision attack#0PB5, Hash flooding (unknown)
History
- 2026-11-02: add by m2/dev
Linear approximation RMDD097G53
| URI | m2://inv/RMDD097G53 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear approximation, Linear approximation (definition). Also Wikidata Q2071054
History
- 2026-11-02: add by m2/dev
RMDJFE1QQV RMDJFE1QQV
| URI | m2://inv/RMDJFE1QQV |
|---|---|
| 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.09042#R28M (statement). In 7CS3N5K9FJ/e1, lemma 12
History
- 2026-10-29: add by m2/v0.4.10
RMDRQMGGS2 RMDRQMGGS2
| URI | m2://inv/RMDRQMGGS2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/sol-and-set-theory/power-of-continuum.tex#prop-2 (statement). In PKGMM3P5QY, prop, section 66.6
History
- 2026-11-01: add by m2/v0.6.13
RMDT9EG9W4 RMDT9EG9W4
| URI | m2://inv/RMDT9EG9W4 |
|---|---|
| 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 2305.06030#ONUZ (statement). In 2Q0CNQ8DQB/e1, theorem 1.7
History
- 2026-10-27: add by m2/v0.3.5
Implementations RMDWKWSH7G
| URI | m2://inv/RMDWKWSH7G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inductive type#1CJH, Implementations (definition)
History
- 2026-11-02: add by m2/dev
RMDXRWP9NP RMDXRWP9NP
| URI | m2://inv/RMDXRWP9NP |
|---|---|
| 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.11056#C475 (statement). In 1NDB3SAG7K/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.3
Mega RMDZAFW1J0
| URI | m2://inv/RMDZAFW1J0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#7FQ8, Mega (definition)
History
- 2026-11-02: add by m2/dev
RMDZWQMWTR RMDZWQMWTR
| URI | m2://inv/RMDZWQMWTR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00134#2971 (statement). In S654779J5P/e1, corollary
History
- 2026-10-30: add by m2/v0.4.12
Andreas Georgiou RME065ASMR
| URI | m2://inv/RME065ASMR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andreas Georgiou (economist), Andreas Georgiou (topic). Also Wikidata Q15455041
History
- 2026-11-02: add by m2/dev
Regular chain RME55PSG4F
| URI | m2://inv/RME55PSG4F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular chain, Regular chain (definition). Also Wikidata Q7309593
History
- 2026-11-02: add by m2/dev
RME6SN4Z0A RME6SN4Z0A
| URI | m2://inv/RME6SN4Z0A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23972#QYEH (statement)
History
- 2026-11-02: add by m2/v0.6.17
Newtonian mechanics RMEEMVG9JY
| URI | m2://inv/RMEEMVG9JY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#202G, Newtonian mechanics (statement)
History
- 2026-11-02: add by m2/dev
restricted randomization RMEMDC8YWY
| URI | m2://inv/RMEMDC8YWY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#Y7W1, restricted randomization (definition)
History
- 2026-11-02: add by m2/dev
André Weil RMEMK18VDY
| URI | m2://inv/RMEMK18VDY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#PWCG, André Weil (topic)
History
- 2026-11-02: add by m2/dev
RMET9BCBF7 RMET9BCBF7
| URI | m2://inv/RMET9BCBF7 |
|---|---|
| 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 0903.1504#3L4U (statement). In D5YZ438QTY/e1, proposition 2.5
History
- 2026-10-27: add by m2/v0.3.5
RMEW1GQJXN RMEW1GQJXN
| URI | m2://inv/RMEW1GQJXN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00115#4NTT (statement). In JK8PYKCZRA/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
RMEWTG479X RMEWTG479X
| URI | m2://inv/RMEWTG479X |
|---|---|
| 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.23941#YY5H (statement)
History
- 2026-11-02: add by m2/v0.6.17
Refutation by contradiction RMF53P7Z1D
| URI | m2://inv/RMF53P7Z1D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reductio ad absurdum#ZC21, Refutation by contradiction (unknown)
History
- 2026-11-02: add by m2/dev
The Tower of Hanoi – Myths and Maths RMFBKSK3EC
| URI | m2://inv/RMFBKSK3EC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Tower of Hanoi – Myths and Maths, The Tower of Hanoi – Myths and Maths (definition). Also Wikidata Q96409664
History
- 2026-11-02: add by m2/dev
RMFG2GA5PK RMFG2GA5PK
| URI | m2://inv/RMFG2GA5PK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18329#UJR3 (definition). In 3VWEPEFHN3/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Manifold decomposition RMFGSPXEX0
| URI | m2://inv/RMFGSPXEX0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Manifold decomposition, Manifold decomposition (definition). Also Wikidata Q6749571
History
- 2026-11-02: add by m2/dev
Shape of the image RMFHQ3MYP6
| URI | m2://inv/RMFHQ3MYP6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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.12434#7V09, Shape of the image (statement). In YCRZC9SDCE/e1, lemma 10.6
History
- 2026-10-28: add by m2/v0.4.2
Mark Goresky RMFKTKDDQC
| URI | m2://inv/RMFKTKDDQC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#M0V0, Mark Goresky (topic)
History
- 2026-11-02: add by m2/dev
RMFQKJ1FA8 RMFQKJ1FA8
| URI | m2://inv/RMFQKJ1FA8 |
|---|---|
| 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.38206#RMP9 (statement). In F71MS1F637/e1, theorem 5.1
History
- 2026-10-30: add by m2/v0.4.12
RMFYBTWB9S RMFYBTWB9S
| URI | m2://inv/RMFYBTWB9S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10790#YSXX (statement). In HHQ6P3RRB8/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.3
RMFYS0FH3Q RMFYS0FH3Q
| URI | m2://inv/RMFYS0FH3Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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 2005.03073#0NRL (statement). In P2ETMXKVDS/e1, proposition 2.15
History
- 2026-10-27: add by m2/v0.3.5
Vladimir Dmitriev RMG2A864WK
| URI | m2://inv/RMG2A864WK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vladimir Dmitriev (mathematician), Vladimir Dmitriev (topic). Also Wikidata Q25396434
History
- 2026-11-02: add by m2/dev
Partial leverage RMG95AZN6X
| URI | m2://inv/RMG95AZN6X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial leverage, Partial leverage (definition). Also Wikidata Q7140376
History
- 2026-11-02: add by m2/dev
RMGDH2FKS4 RMGDH2FKS4
| URI | m2://inv/RMGDH2FKS4 |
|---|---|
| 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.31327#D419 (statement). In F605BQ3AYX/e1, lemma 5.2
History
- 2026-10-31: add by m2/v0.5.6
Jean van Heijenoort RMGH0GKTGQ
| URI | m2://inv/RMGH0GKTGQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean van Heijenoort, Jean van Heijenoort (topic). Also Wikidata Q449711
History
- 2026-11-02: add by m2/dev
Properties RMGS8F465A
| URI | m2://inv/RMGS8F465A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degree of an algebraic variety#EN8D, Properties (statement)
History
- 2026-11-02: add by m2/dev
Erd\H{o}s--Volkmann RMGT3D9PZ6
| URI | m2://inv/RMGT3D9PZ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38970#VLFS, Erd\H{o}s--Volkmann (statement). In VE6WBAMDSA/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Hopkins statistic RMH4W11P6P
| URI | m2://inv/RMH4W11P6P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopkins statistic, Hopkins statistic (definition). Also Wikidata Q30715527
History
- 2026-11-02: add by m2/dev
Geoffrey Colin Shephard RMHAMVGAX4
| URI | m2://inv/RMHAMVGAX4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geoffrey Colin Shephard, Geoffrey Colin Shephard (topic). Also Wikidata Q5534531
History
- 2026-11-02: add by m2/dev
RMHB71CXPW RMHB71CXPW
| URI | m2://inv/RMHB71CXPW |
|---|---|
| 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.18270#9E5I (statement). In CPDMYJ0NJV/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
RMHBD8YQ79 RMHBD8YQ79
| URI | m2://inv/RMHBD8YQ79 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03688#HMC4 (example). In HMWJQY9NAP/e1, example 4
History
- 2026-10-29: add by m2/v0.4.12
RMHJQ1MZZF RMHJQ1MZZF
| URI | m2://inv/RMHJQ1MZZF |
|---|---|
| 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.04135#42JE (statement). In 587PWJ6W5D/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.12
Set of uniqueness RMJ417Q65A
| URI | m2://inv/RMJ417Q65A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set of uniqueness, Set of uniqueness (definition). Also Wikidata Q7456288
History
- 2026-11-02: add by m2/dev
XOR and Hamming weight RMJ4MQREKC
| URI | m2://inv/RMJ4MQREKC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09341#Q2ZD, XOR and Hamming weight (statement). In DSXBMRYE0V/e1, corollary A.2
History
- 2026-10-29: add by m2/v0.4.10
One Tree Hill RMJBHPC189
| URI | m2://inv/RMJBHPC189 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#4LEL, One Tree Hill (unknown)
History
- 2026-11-02: add by m2/dev
A. Wallace Tashima RMJC26AG3P
| URI | m2://inv/RMJC26AG3P |
|---|---|
| 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#BBXD, A. Wallace Tashima (unknown)
History
- 2026-11-02: add by m2/dev
Statement RMJHR4PSG9
| URI | m2://inv/RMJHR4PSG9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Waldspurger formula#XV2J, Statement (statement)
History
- 2026-11-02: add by m2/dev
RMJJ5SK3EV RMJJ5SK3EV
| URI | m2://inv/RMJJ5SK3EV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/proofs-in-nd.tex#ex-1 (example). In PKGMM3P5QY, ex, section 27.7
History
- 2026-11-01: add by m2/v0.6.13
RMJMAF9N6C RMJMAF9N6C
| URI | m2://inv/RMJMAF9N6C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-1.xml#activity-3 (exercise). In 649HGZKE96, activity, section 6.1.3
History
- 2026-11-01: add by m2/v0.6.13
RMJRKX3CWF RMJRKX3CWF
| URI | m2://inv/RMJRKX3CWF |
|---|---|
| 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.31604#0R0E (statement). In GSN5YTQS2K/e1, lemma 3.18
History
- 2026-10-31: add by m2/v0.5.6
RMJVEAQKP6 RMJVEAQKP6
| URI | m2://inv/RMJVEAQKP6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#1UXV (statement). In XGPZ0G9E1Q/e1, proposition 8.3
History
- 2026-10-29: add by m2/v0.4.12
Procedure RMJX2VYFEJ
| URI | m2://inv/RMJX2VYFEJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GRIM test#RWJM, Procedure (definition)
History
- 2026-11-02: add by m2/dev
RMKBWQTXVG RMKBWQTXVG
| URI | m2://inv/RMKBWQTXVG |
|---|---|
| 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 2411.07061#S16H (statement). In S988ZVA1QE/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.6
Kunihiko Kodaira RMKBX4HFR7
| URI | m2://inv/RMKBX4HFR7 |
|---|---|
| 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 Q333918, Kunihiko Kodaira (unknown). Also nLab Kunihiko Kodaira, ProofWiki Mathematician:Kunihiko_Kodaira
- wikipedia: Wikipedia Kunihiko Kodaira, Kunihiko Kodaira (topic). Also Wikidata Q333918
History
- 2026-10-26: add by m2/dev
Public-key encryption RMKDSND9JQ
| URI | m2://inv/RMKDSND9JQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14615#61I2, Public-key encryption (statement). In 7D5MMP8XB5/e1, corollary 8.3
History
- 2026-10-28: add by m2/v0.4.2
Statement RMKJ0VMSY8
| URI | m2://inv/RMKJ0VMSY8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cramér–Rao bound#0JPX, Statement (statement)
History
- 2026-11-02: add by m2/dev
Method RMKTAKGDWC
| URI | m2://inv/RMKTAKGDWC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bootstrapping populations#DLYE, Method (definition)
History
- 2026-11-02: add by m2/dev
F-regular RMKWGV2Z3K
| URI | m2://inv/RMKWGV2Z3K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#6IYY, F-regular (definition)
History
- 2026-11-02: add by m2/dev
Peter Chadwick RMKZZDGMTZ
| URI | m2://inv/RMKZZDGMTZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Chadwick (mathematician), Peter Chadwick (topic). Also Wikidata Q21165118
History
- 2026-11-02: add by m2/dev
Multivariate normal distribution RMM2AAF9N0
| URI | m2://inv/RMM2AAF9N0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#4Z13, Multivariate normal distribution (definition)
History
- 2026-11-02: add by m2/dev
Universal change of cut RMM2D22DTE
| URI | m2://inv/RMM2D22DTE |
|---|---|
| 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.08787#T093, Universal change of cut (statement). In CCQ5XXWYDZ/e1, proposition E.2
History
- 2026-10-29: add by m2/v0.4.10
Truncated order-4 apeirogonal tiling RMM3TPZ1TF
| URI | m2://inv/RMM3TPZ1TF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated order-4 apeirogonal tiling, Truncated order-4 apeirogonal tiling (definition). Also Wikidata Q7847893
History
- 2026-11-02: add by m2/dev
moment RMM43GEHK4
| URI | m2://inv/RMM43GEHK4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Moment 01XAHPADBA |
Mentions
- wikidata: Wikidata Q638982, moment (unknown). Also MathWorld Moment, nLab moment
- wikipedia: Wikipedia Moment (mathematics), Moment (definition). Also Wikidata Q638982
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Lucien Godeaux RMMB2MT8M9
| URI | m2://inv/RMMB2MT8M9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucien Godeaux, Lucien Godeaux (topic). Also Wikidata Q6697072
History
- 2026-11-02: add by m2/dev
RMMG69B178 RMMG69B178
| URI | m2://inv/RMMG69B178 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX, 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16157#NVFM (statement). In GV251MW5RP/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
RMMPMZEG40 RMMPMZEG40
| URI | m2://inv/RMMPMZEG40 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05391#IVD2 (statement). In 9B5TNEBJHV/e1, lemma 1.1
History
- 2026-10-29: add by m2/v0.4.10
Jakob Böhme RMMT5FQZ49
| URI | m2://inv/RMMT5FQZ49 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q77017, Jakob Böhme (unknown). Also nLab Jakob Böhme
History
- 2026-10-26: add by m2/dev
Definition RMMW1BAEPT
| URI | m2://inv/RMMW1BAEPT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinitesimal generator (stochastic processes)#13P1, Definition (definition)
History
- 2026-11-02: add by m2/dev
Without the axiom of choice RMMY3KP517
| URI | m2://inv/RMMY3KP517 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inaccessible cardinal#7420, Without the axiom of choice (statement)
History
- 2026-11-02: add by m2/dev
Examples RMMZQ2B9H0
| URI | m2://inv/RMMZQ2B9H0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Preadditive category#BYAV, Examples (example)
History
- 2026-11-02: add by m2/dev
Integrality gap RMN2NXWF4P
| URI | m2://inv/RMN2NXWF4P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear programming relaxation#JNLF, Integrality gap (unknown)
History
- 2026-11-02: add by m2/dev
RMN2R7TKTS RMN2R7TKTS
| URI | m2://inv/RMN2R7TKTS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.02432#YZ2B (example). In B366ACYB37/e1, example 3.33
History
- 2026-10-27: add by m2/v0.3.5
Metamagical Themas RMN5F80K58
| URI | m2://inv/RMN5F80K58 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metamagical Themas, Metamagical Themas (definition). Also Wikidata Q6822966
History
- 2026-11-02: add by m2/dev
RMN6J6BBRD RMN6J6BBRD
| URI | m2://inv/RMN6J6BBRD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28374#V651 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Aboodh transform RMNG8CD53Z
| URI | m2://inv/RMNG8CD53Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#EGHX, Aboodh transform (definition)
History
- 2026-11-02: add by m2/dev
chord RMNHM40TKH
| URI | m2://inv/RMNHM40TKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#7T14, chord (definition)
History
- 2026-11-02: add by m2/dev
Spin chain RMNMA87GKV
| URI | m2://inv/RMNMA87GKV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38220#ANR3, Spin chain (statement). In 1AC4S19925/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Application RMNXYET5CP
| URI | m2://inv/RMNXYET5CP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum flow problem#G7IZ, Application (example)
History
- 2026-11-02: add by m2/dev
Gaven Martin RMPAV1QETT
| URI | m2://inv/RMPAV1QETT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaven Martin, Gaven Martin (topic). Also Wikidata Q19666957
History
- 2026-11-02: add by m2/dev
RMPBYAB7HW RMPBYAB7HW
| URI | m2://inv/RMPBYAB7HW |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Woodall's conjecture#UTYO (problem)
History
- 2026-11-02: add by m2/dev
analysis, constructive RMPDDVRZKN
| URI | m2://inv/RMPDDVRZKN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.5/analysis-constructive, analysis, constructive (concept). In N54F33XE07, index, section B.5
History
- 2026-11-01: add by m2/v0.6.13
Size RMPDTWZ48X
| URI | m2://inv/RMPDTWZ48X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Size, Size (definition). Also Wikidata Q322481
History
- 2026-11-02: add by m2/dev
Globalization from the controlling norm RMPEGTR0WV
| URI | m2://inv/RMPEGTR0WV |
|---|---|
| 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.02721#S2GN, Globalization from the controlling norm (statement). In XXFYVDVPPE/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
RMPJSVS44F RMPJSVS44F
| URI | m2://inv/RMPJSVS44F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22657#BG2J (statement)
History
- 2026-11-02: add by m2/v0.6.17
Regular Polytopes RMPP1XMF4S
| URI | m2://inv/RMPP1XMF4S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular Polytopes (book), Regular Polytopes (definition). Also Wikidata Q127661
History
- 2026-11-02: add by m2/dev
RMPP7P9ZNR RMPP7P9ZNR
| URI | m2://inv/RMPP7P9ZNR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20915#TAWT (statement). In 5M1SXP75D9/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.2
RMPPM7HEQ8 RMPPM7HEQ8
| URI | m2://inv/RMPPM7HEQ8 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#AD7I (unknown). In 4YJH4FPWDA/e1, unknown 3.16
History
- 2026-10-30: add by m2/v0.4.12
RMPS2JB34Y RMPS2JB34Y
| URI | m2://inv/RMPS2JB34Y |
|---|---|
| Kind | conjecture |
| 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.06419#1ZRO (conjecture). In JSZRXT3W3E/e1, conjecture 1.1
History
- 2026-10-29: add by m2/v0.4.10
RMPTBB9001 RMPTBB9001
| URI | m2://inv/RMPTBB9001 |
|---|---|
| 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.14616#WVWN (statement). In 17ACAG0N9C/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
RMQ0449J4M RMQ0449J4M
| URI | m2://inv/RMQ0449J4M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11965#HL8I (statement). In 48QX0QD0XR/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.3
RMQ3RSZ90Q RMQ3RSZ90Q
| URI | m2://inv/RMQ3RSZ90Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04835#UTDR (statement). In P6PHR4W23S/e1, proposition 4.6
History
- 2026-10-29: add by m2/v0.4.12
*{Theorem 3.1 RMQJ5PNW1H
| URI | m2://inv/RMQJ5PNW1H |
|---|---|
| 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.03323#TV6P, *{Theorem 3.1 (statement). In J1ZP57QWED/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
David Jerison RMQK3F82ZK
| URI | m2://inv/RMQK3F82ZK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Jerison, David Jerison (topic). Also Wikidata Q5235634
History
- 2026-11-02: add by m2/dev
Algorithms RMQK5JNKMP
| URI | m2://inv/RMQK5JNKMP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kendall rank correlation coefficient#6K0V, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
RMQKXKC86Z RMQKXKC86Z
| URI | m2://inv/RMQKXKC86Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#VPZN (statement). In 13H5BTAXHF/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.5
RMQMJA5YQJ RMQMJA5YQJ
| URI | m2://inv/RMQMJA5YQJ |
|---|---|
| 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.12736#BKOY (statement). In 5350Q52F6P/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
RMQSYK8Y1K RMQSYK8Y1K
| URI | m2://inv/RMQSYK8Y1K |
|---|---|
| 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.15817#W7BP (statement). In NVJMA8ARHP/e1, theorem 3.1.3
History
- 2026-10-28: add by m2/v0.4.2
Symmetries RMQX4KSSK1
| URI | m2://inv/RMQX4KSSK1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli polynomials#CREK, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
Abraham Goldfaden RMQYZ3ZJV4
| URI | m2://inv/RMQYZ3ZJV4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#BV8Q, Abraham Goldfaden (unknown)
History
- 2026-11-02: add by m2/dev
RMR5BDBJHQ RMR5BDBJHQ
| URI | m2://inv/RMR5BDBJHQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30363#YZ0N (statement). In QHBBP180QJ/e1, corollary 3
History
- 2026-10-31: add by m2/v0.5.6
Definitions RMR6082JWD
| URI | m2://inv/RMR6082JWD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tellegen's theorem#L81I, Definitions (definition)
History
- 2026-11-02: add by m2/dev
RMR74K85ZM RMR74K85ZM
| URI | m2://inv/RMR74K85ZM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/categories.tex#example-2 (example). In RZP28ERRZV, example, section 36.2
History
- 2026-11-01: add by m2/v0.6.13
RMR9JDY9K2 RMR9JDY9K2
| URI | m2://inv/RMR9JDY9K2 |
|---|---|
| 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.02870#9A8T (statement). In JJQQJ4KX94/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.12
RMRA3Y96F6 RMRA3Y96F6
| URI | m2://inv/RMRA3Y96F6 |
|---|---|
| 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 2610.20909#WXZ6 (statement). In 7ZBX5WVEZP/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.4.2
Upper bound and recovery RMREZ60X3M
| URI | m2://inv/RMREZ60X3M |
|---|---|
| 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.04027#19M8, Upper bound and recovery (statement). In DQB4YR2DFH/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.12
Salem number RMRG67D0FF
| URI | m2://inv/RMRG67D0FF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Salem number, Salem number (definition). Also Wikidata Q3343049
History
- 2026-11-02: add by m2/dev
RMRGDXDBB8 RMRGDXDBB8
| URI | m2://inv/RMRGDXDBB8 |
|---|---|
| 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.29806#QMVG (statement)
History
- 2026-11-01: add by m2/v0.6.15
RMRH684T11 RMRH684T11
| URI | m2://inv/RMRH684T11 |
|---|---|
| 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 2604.23212#XIFR (statement). In 4X12V9RS0D/e1, lemma I.4
History
- 2026-10-27: add by m2/v0.3.5
discrete RMRJBGTSF6
| URI | m2://inv/RMRJBGTSF6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#3Q0U, discrete (definition)
History
- 2026-11-02: add by m2/dev
Comparison to Rogers's theorem RMRK4GJJXD
| URI | m2://inv/RMRK4GJJXD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleene's recursion theorem#ZEL5, Comparison to Rogers's theorem (statement)
History
- 2026-11-02: add by m2/dev
RMRNAPG5BF RMRNAPG5BF
| URI | m2://inv/RMRNAPG5BF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 62-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 2609.35574#T1HY (statement). In 3Q70DMD7Z7/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
RMRXWQMQMM RMRXWQMQMM
| URI | m2://inv/RMRXWQMQMM |
|---|---|
| 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.35467#DFUT (statement). In FK89DQ9J4S/e1, theorem 6.8
History
- 2026-10-30: add by m2/v0.4.12
Selberg trace formula RMS0G1B4DJ
| URI | m2://inv/RMS0G1B4DJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson summation formula#EWH6, Selberg trace formula (statement)
History
- 2026-11-02: add by m2/dev
Poincaré gauge RMS53EMEDY
| URI | m2://inv/RMS53EMEDY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauge fixing#HYUT, Poincaré gauge (unknown)
History
- 2026-11-02: add by m2/dev
Symmetry RMS5HPR5VX
| URI | m2://inv/RMS5HPR5VX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snub order-8 triangular tiling#56QG, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
RMSA7S4PR8 RMSA7S4PR8
| URI | m2://inv/RMSA7S4PR8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.16003#9T07 (statement). In BJGS6ZCQ12/e1, theorem 7.9
History
- 2026-10-27: add by m2/v0.3.6
Interior compactness and liminf RMSGR4X99D
| URI | m2://inv/RMSGR4X99D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20215#7VKX, Interior compactness and liminf (statement)
History
- 2026-11-02: add by m2/v0.6.18
RMSHZJM0C5 RMSHZJM0C5
| URI | m2://inv/RMSHZJM0C5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28794#QBOZ (definition)
History
- 2026-11-01: add by m2/v0.6.15
LFA sample complexity RMSJA01KAS
| URI | m2://inv/RMSJA01KAS |
|---|---|
| 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.04117#0OAL, LFA sample complexity (statement). In 65E9N3DFYP/e1, theorem 5.11
History
- 2026-10-29: add by m2/v0.4.12
Small-mass criterion in mixed norms RMSNY3581Z
| URI | m2://inv/RMSNY3581Z |
|---|---|
| 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.13613#RS5J, Small-mass criterion in mixed norms (statement). In 3HCT4TQ5PM/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
contextualism RMSSEW99NH
| URI | m2://inv/RMSSEW99NH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#S2NM, contextualism (definition)
History
- 2026-11-02: add by m2/dev
Sandip Trivedi RMT004QCK0
| URI | m2://inv/RMT004QCK0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7416382, Sandip Trivedi (unknown). Also nLab Sandip Trivedi
History
- 2026-10-26: add by m2/dev
Mu Alpha Theta RMT5QKCASA
| URI | m2://inv/RMT5QKCASA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of United States regional mathematics competitions#Y5F0, Mu Alpha Theta (unknown)
History
- 2026-11-02: add by m2/dev
RMTC30AYBC RMTC30AYBC
| URI | m2://inv/RMTC30AYBC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#XMQH (definition)
History
- 2026-11-02: add by m2/v0.6.17
Rosenthal's dichotomy RMTJSDJ518
| URI | m2://inv/RMTJSDJ518 |
|---|---|
| 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.12908#9PJE, Rosenthal's dichotomy (statement). In TNC658NVMQ/e1, fact 3.4
History
- 2026-10-28: add by m2/v0.4.2
$n$th derivative test RMTK9RKP44
| URI | m2://inv/RMTK9RKP44 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/3.3.3/n-th-derivative-test, $n$th derivative test (concept). In E59CDZA4DP, index, section 3.3.3
History
- 2026-11-01: add by m2/v0.6.13
Gaussian third moments and a random variance sum RMTQG6ZMJG
| URI | m2://inv/RMTQG6ZMJG |
|---|---|
| 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.05498#A66I, Gaussian third moments and a random variance sum (statement). In TJT32RQ9GC/e1, lemma 6.18
History
- 2026-10-29: add by m2/v0.4.10
Exact-uniform-weight contrast RMTR164H1B
| URI | m2://inv/RMTR164H1B |
|---|---|
| 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#BJBT, Exact-uniform-weight contrast (statement). In H29YHXQZV6/e1, corollary 24
History
- 2026-10-28: add by m2/v0.4.2
Example RMTT74MAK0
| URI | m2://inv/RMTT74MAK0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel subgroup#RLP2, Example (example)
History
- 2026-11-02: add by m2/dev
Parabiaugmented truncated dodecahedron RMV21FMHDX
| URI | m2://inv/RMV21FMHDX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#VRO9, Parabiaugmented truncated dodecahedron (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#OQ7Q, Parabiaugmented truncated dodecahedron (definition)
History
- 2026-11-02: add by m2/dev
RMV7SM92JX RMV7SM92JX
| URI | m2://inv/RMV7SM92JX |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#proof-23 (proof). In E59CDZA4DP, proof, section 8.5.1
History
- 2026-11-01: add by m2/v0.6.13
KKT estimates at a non-update iteration RMVAXVMQDA
| URI | m2://inv/RMVAXVMQDA |
|---|---|
| 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.39736#IUY6, KKT estimates at a non-update iteration (statement). In BB1XJ47PVW/e1, lemma 26
History
- 2026-10-30: add by m2/v0.4.12
Asymptotic smoothness RMVFJKWJJD
| URI | m2://inv/RMVFJKWJJD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11027#2LGK, Asymptotic smoothness (definition). In 2BBW80EX78/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.3
Stephen G. West RMVFPFAD2M
| URI | m2://inv/RMVFPFAD2M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stephen G. West, Stephen G. West (topic). Also Wikidata Q58494618
History
- 2026-11-02: add by m2/dev
Definition RMVGRRF3NZ
| URI | m2://inv/RMVGRRF3NZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Fourier series#8KRE, Definition (definition)
History
- 2026-11-02: add by m2/dev
Euler–Mascheroni constant RMVQBQZV7R
| URI | m2://inv/RMVQBQZV7R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Laplace transforms#ISFN, Euler–Mascheroni constant (unknown)
History
- 2026-11-02: add by m2/dev
RMVSRMGBZV RMVSRMGBZV
| URI | m2://inv/RMVSRMGBZV |
|---|---|
| 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.04603#Y46H (statement). In HEAG8V2JM1/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
RMVVY4Y84V RMVVY4Y84V
| URI | m2://inv/RMVVY4Y84V |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21501#VHO0 (example). In 1H64QT301C/e1, example 4.3
History
- 2026-10-27: add by m2/v0.4.2
Definition RMW19ZRT3Z
| URI | m2://inv/RMW19ZRT3Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Split interval#I8KL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Induced sub-matrix RMX1RVY34B
| URI | m2://inv/RMX1RVY34B |
|---|---|
| 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.30203#E4HN, Induced sub-matrix (definition)
History
- 2026-11-01: add by m2/v0.6.15
RMX5A1H4E3 RMX5A1H4E3
| URI | m2://inv/RMX5A1H4E3 |
|---|---|
| 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.34923#X1FY (statement). In 7WKVFJEZQT/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Beyond Infinity RMX704PNGJ
| URI | m2://inv/RMX704PNGJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beyond Infinity (mathematics book), Beyond Infinity (definition). Also Wikidata Q108532401
History
- 2026-11-02: add by m2/dev
Export of cryptography RMXE87CF5A
| URI | m2://inv/RMXE87CF5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Export of cryptography, Export of cryptography (definition). Also Wikidata Q3733198
History
- 2026-11-02: add by m2/dev
sulfur RMXGQCPYEE
| URI | m2://inv/RMXGQCPYEE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q682, sulfur (definition). Also ProofWiki Definition:Sulphur
History
- 2026-10-26: add by m2/dev
Minkowski Sausage RMXMJKXD9T
| URI | m2://inv/RMXMJKXD9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4240628, Minkowski Sausage (unknown). Also MathWorld MinkowskiSausage
- wikipedia: Wikipedia Minkowski sausage, Minkowski sausage (definition). Also Wikidata Q4240628
History
- 2026-10-26: add by m2/dev
RMXR5YAZFF RMXR5YAZFF
| URI | m2://inv/RMXR5YAZFF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22082#RIN3 (statement). In 7PACGDW3N7/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.0
RMXSR6RA85 RMXSR6RA85
| URI | m2://inv/RMXSR6RA85 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13972#Y3Q2 (statement). In S1KHNS8XQM/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.2
Johann Lantz RMXTBNSZ9Q
| URI | m2://inv/RMXTBNSZ9Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#FVAC, Johann Lantz (topic)
History
- 2026-11-02: add by m2/dev
RMXTP7WB9W RMXTP7WB9W
| URI | m2://inv/RMXTP7WB9W |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#5TF9 (example). In 13H5BTAXHF/e1, example 3
History
- 2026-10-27: add by m2/v0.3.5
Levy–Khintchine representation RMXYF4CJWX
| URI | m2://inv/RMXYF4CJWX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lévy process#10CB, Levy–Khintchine representation (unknown)
History
- 2026-11-02: add by m2/dev
RMY51GQY2P RMY51GQY2P
| URI | m2://inv/RMY51GQY2P |
|---|---|
| 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.16081#2JR8 (statement). In RS6WWZKMT6/e1, lemma 6.6
History
- 2026-10-28: add by m2/v0.4.2
RMY72D66R3 RMY72D66R3
| URI | m2://inv/RMY72D66R3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#example-7 (example). In RZP28ERRZV, example, section 52.7.4
History
- 2026-11-01: add by m2/v0.6.13
Jennifer Brown RMYBX119SS
| URI | m2://inv/RMYBX119SS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jennifer Brown (statistician), Jennifer Brown (topic). Also Wikidata Q44303736
History
- 2026-11-02: add by m2/dev
RMYQX7A58W RMYQX7A58W
| URI | m2://inv/RMYQX7A58W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2406.06762#3JXE (statement). In J99PFFJXPE/e1, proposition 3.12
History
- 2026-10-27: add by m2/v0.3.6
Demo effect RMYTDQYFH4
| URI | m2://inv/RMYTDQYFH4 |
|---|---|
| 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#GUBG, Demo effect (unknown)
History
- 2026-11-02: add by m2/dev
SAA backward passes, true-law forward passes RMYVCASYJB
| URI | m2://inv/RMYVCASYJB |
|---|---|
| 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.12713#BR52, SAA backward passes, true-law forward passes (statement). In F14A5HX20Q/e1, proposition D.5.1
History
- 2026-10-28: add by m2/v0.4.2
RMYW74QCGM RMYW74QCGM
| URI | m2://inv/RMYW74QCGM |
|---|---|
| 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 2308.07021#ZS4V (statement). In H4CM84JVPC/e1, corollary 5.3
History
- 2026-10-27: add by m2/v0.3.5
Gamma Graph RMYWKV3A56
| URI | m2://inv/RMYWKV3A56 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Existential graph#ZFP4, Gamma Graph (unknown)
History
- 2026-11-02: add by m2/dev
Set cover RMYXZSGD0V
| URI | m2://inv/RMYXZSGD0V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09810#LWVW, Set cover (definition). In B6PCH930FV/e1, definition 13
History
- 2026-10-29: add by m2/v0.4.10
Hogben, Lancelot RMZ03H3K8W
| URI | m2://inv/RMZ03H3K8W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#F8LG, Hogben, Lancelot (unknown)
History
- 2026-11-02: add by m2/dev
algebraic group RMZA7GSC0N
| URI | m2://inv/RMZA7GSC0N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Algebraic group GH81SYAPPN |
Mentions
- wikidata: Wikidata Q1695400, algebraic group (unknown). Also EoM Algebraic_group, MathWorld AlgebraicGroup, nLab algebraic group
- wikipedia: Wikipedia Algebraic group, Algebraic group (definition). Also Wikidata Q1695400
History
- 2026-10-26: add by m2/dev
Russell's paradox RMZHNTHFER
| URI | m2://inv/RMZHNTHFER |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reductio ad absurdum#9CTD, Russell's paradox (statement)
History
- 2026-11-02: add by m2/dev
Direct multiple shooting method RMZJ8TP49X
| URI | m2://inv/RMZJ8TP49X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct multiple shooting method, Direct multiple shooting method (definition). Also Wikidata Q1227584
History
- 2026-11-02: add by m2/dev
RMZKCGTFJR RMZKCGTFJR
| URI | m2://inv/RMZKCGTFJR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 01-XX, 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.06338#T4YF (example). In F1CYVYK7YB/e1, example 2.5
History
- 2026-10-29: add by m2/v0.4.10
Hieronymus Georg Zeuthen RMZP03TDJW
| URI | m2://inv/RMZP03TDJW |
|---|---|
| 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#1LK1, Hieronymus Georg Zeuthen (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5SO0, Hieronymus Georg Zeuthen (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#76DV, Hieronymus Georg Zeuthen (topic)
History
- 2026-11-02: add by m2/dev
RMZRP7V1FT RMZRP7V1FT
| URI | m2://inv/RMZRP7V1FT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#exercise-6 (exercise). In E9HS8K3A52, exercise, section 3.1.5
History
- 2026-11-01: add by m2/v0.6.13