Inventory rows RT
The cards of the rows of the inventory whose ids start with RT. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
RT00QCWMFF RT00QCWMFF
| URI | m2://inv/RT00QCWMFF |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.00590#GU9G (proof). In D3WTQN2F7B/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
List of equations RT04V0P9F6
| URI | m2://inv/RT04V0P9F6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#00AV, List of equations (unknown)
- wikipedia: Wikipedia List of theorems#MG6V, List of equations (unknown)
History
- 2026-11-02: add by m2/dev
RT05B7ZJ4T RT05B7ZJ4T
| URI | m2://inv/RT05B7ZJ4T |
|---|---|
| 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.03288#YO4M (statement). In ZHP1MFSACN/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Surgery exact sequence RT0FVEF4MP
| URI | m2://inv/RT0FVEF4MP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surgery exact sequence, Surgery exact sequence (definition). Also Wikidata Q7646195
History
- 2026-11-02: add by m2/dev
Carl A. Wiley RT0GKB81RH
| URI | m2://inv/RT0GKB81RH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carl A. Wiley, Carl A. Wiley (topic). Also Wikidata Q18575429
History
- 2026-11-02: add by m2/dev
Partial isometry RT0GWX3APJ
| URI | m2://inv/RT0GWX3APJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial isometry, Partial isometry (definition). Also Wikidata Q904849
History
- 2026-11-02: add by m2/dev
RT0J71PHKF RT0J71PHKF
| URI | m2://inv/RT0J71PHKF |
|---|---|
| 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.19300#JU0Q (statement). In S6S4RD5VXJ/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.2
RT0R1M89HB RT0R1M89HB
| URI | m2://inv/RT0R1M89HB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40207#KAEG (definition). In JXTG8KP95P/e1, definition 2.24
History
- 2026-10-30: add by m2/v0.4.12
RT0WKM65DK RT0WKM65DK
| URI | m2://inv/RT0WKM65DK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/replacement/finiteaxiomatizability.tex#finiteextensionofZ (statement). In PKGMM3P5QY, prop, section 73.7
History
- 2026-11-01: add by m2/v0.6.13
RT0WTNTDN2 RT0WTNTDN2
| URI | m2://inv/RT0WTNTDN2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11047#GRQJ (statement). In MNQAZ70XTH/e1, lemma 8.1
History
- 2026-10-28: add by m2/v0.4.3
Kuen surface RT0Y0PWGPB
| URI | m2://inv/RT0Y0PWGPB |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q133575363, Kuen surface (unknown). Also MathWorld KuenSurface
- wikipedia: Wikipedia Kuen surface, Kuen surface (object). Also Wikidata Q133575363
History
- 2026-10-26: add by m2/dev
716 (number) RT11BE9XE3
| URI | m2://inv/RT11BE9XE3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#C4P9, 716 (number) (unknown)
History
- 2026-11-02: add by m2/dev
RT12BRKCBT RT12BRKCBT
| URI | m2://inv/RT12BRKCBT |
|---|---|
| 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.12108#O3J9 (statement). In JQH3FHYPW3/e1, theorem 4.7
History
- 2026-10-28: add by m2/v0.4.2
RT15GSTQ08 RT15GSTQ08
| URI | m2://inv/RT15GSTQ08 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17116#2LO1 (statement). In A02X6MX28Y/e1, corollary 6.4
History
- 2026-10-28: add by m2/v0.4.2
Genevieve M. Knight RT1718ATZN
| URI | m2://inv/RT1718ATZN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Genevieve M. Knight, Genevieve M. Knight (topic). Also Wikidata Q48581489
History
- 2026-11-02: add by m2/dev
Completion with a deterministic convolution parameter RT1C9WD1C6
| URI | m2://inv/RT1C9WD1C6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#PAT3, Completion with a deterministic convolution parameter (statement). In 9YAE8FNQST/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
completion, Rezk RT1GEH4A6R
| URI | m2://inv/RT1GEH4A6R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/completion-rezk, completion, Rezk (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
Theorems on Cardinal utility RT1J0S98HB
| URI | m2://inv/RT1J0S98HB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Debreu's representation theorems#7FGV, Theorems on Cardinal utility (statement)
History
- 2026-11-02: add by m2/dev
Shell integration RT1R00KSKM
| URI | m2://inv/RT1R00KSKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#8KR3, Shell integration (definition)
History
- 2026-11-02: add by m2/dev
RT1SV48EVA RT1SV48EVA
| URI | m2://inv/RT1SV48EVA |
|---|---|
| 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.15535#RD8O (statement). In 73A9KWZJRD/e1, theorem 7.2
History
- 2026-10-28: add by m2/v0.4.2
RT26MTHA0V RT26MTHA0V
| URI | m2://inv/RT26MTHA0V |
|---|---|
| Kind | problem |
| 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.20716#VU8Q (problem)
History
- 2026-11-02: add by m2/v0.6.18
RT2D8E48A2 RT2D8E48A2
| URI | m2://inv/RT2D8E48A2 |
|---|---|
| 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 2512.07340#M7B4 (statement). In WXE3PVAZBT/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.3.5
Definition RT2EFE4JZY
| URI | m2://inv/RT2EFE4JZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dendroidal set#ZN88, Definition (definition)
History
- 2026-11-02: add by m2/dev
The degree-eleven monomial polygon RT2HWF1DCH
| URI | m2://inv/RT2HWF1DCH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#0G5I, The degree-eleven monomial polygon (statement). In 8BNPFYQDQX/e1, lemma 13.3
History
- 2026-10-29: add by m2/v0.4.10
RT2JW30GMA RT2JW30GMA
| URI | m2://inv/RT2JW30GMA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22551#1IVG (statement)
History
- 2026-11-02: add by m2/v0.6.17
identification of the kernels RT2KHN6MMX
| URI | m2://inv/RT2KHN6MMX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22355#PODU, identification of the kernels (statement)
History
- 2026-11-02: add by m2/v0.6.17
RT2TWGZXEP RT2TWGZXEP
| URI | m2://inv/RT2TWGZXEP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#9I9J (definition). In CY1FE8W1ZW/e1, definition 0.231
History
- 2026-10-27: add by m2/v0.3.5
RT30E8CRX0 RT30E8CRX0
| URI | m2://inv/RT30E8CRX0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#sol:eulerexln (exercise). In E9HS8K3A52, exercise, section 6.1.1
History
- 2026-11-01: add by m2/v0.6.13
Harish-Chandra-Itzykson-Zuber integral formula RT31HZDE3Y
| URI | m2://inv/RT31HZDE3Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dyson Brownian motion#90VK, Harish-Chandra-Itzykson-Zuber integral formula (statement)
History
- 2026-11-02: add by m2/dev
Matrix semiring RT355R1YK1
| URI | m2://inv/RT355R1YK1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix ring#AH4K, Matrix semiring (unknown)
History
- 2026-11-02: add by m2/dev
Gaspare Mignosi RT38HMB4GN
| URI | m2://inv/RT38HMB4GN |
|---|---|
| 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#9J5L, Gaspare Mignosi (topic)
History
- 2026-11-02: add by m2/dev
Hall, Peter Gavin RT3CKDSB1F
| URI | m2://inv/RT3CKDSB1F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#QX44, Hall, Peter Gavin (topic)
History
- 2026-11-02: add by m2/dev
RT3J30JS6D RT3J30JS6D
| URI | m2://inv/RT3J30JS6D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23522#NES1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
fibration sequence RT3SFM0NGE
| URI | m2://inv/RT3SFM0NGE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#N8JO, fibration sequence (definition)
History
- 2026-11-02: add by m2/dev
Van 't Hoff plot RT3WYT11XY
| URI | m2://inv/RT3WYT11XY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van 't Hoff equation#CN9D, Van 't Hoff plot (unknown)
History
- 2026-11-02: add by m2/dev
Potential in the exponential--geometric family RT423JKP5C
| URI | m2://inv/RT423JKP5C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15466#BKLU, Potential in the exponential--geometric family (statement). In KJ7V6XG4M7/e1, corollary 6
History
- 2026-10-28: add by m2/v0.4.2
Definition RT42TJMHK3
| URI | m2://inv/RT42TJMHK3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Priestley space#IZ2Y, Definition (definition)
History
- 2026-11-02: add by m2/dev
RT42TZM6NX RT42TZM6NX
| URI | m2://inv/RT42TZM6NX |
|---|---|
| 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.33327#1J7B (statement). In A5R31P82BK/e1, proposition A.1
History
- 2026-10-30: add by m2/v0.4.12
Yury Osipov RT47V46BGK
| URI | m2://inv/RT47V46BGK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yury Osipov, Yury Osipov (topic). Also Wikidata Q85404
History
- 2026-11-02: add by m2/dev
Peter J. Huber RT48ZNRZ6N
| URI | m2://inv/RT48ZNRZ6N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IGJX, Peter J. Huber (unknown)
History
- 2026-11-02: add by m2/dev
RT4AXAECWX RT4AXAECWX
| URI | m2://inv/RT4AXAECWX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08226#YL4M (statement). In V6EPE8XHAD/e1, lemma 5.7
History
- 2026-10-29: add by m2/v0.4.10
RT4C5N8FE7 RT4C5N8FE7
| URI | m2://inv/RT4C5N8FE7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20599#BDLD (statement)
History
- 2026-11-02: add by m2/v0.6.18
Notation RT4D5FBDDA
| URI | m2://inv/RT4D5FBDDA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded variation#NUGE, Notation (definition)
History
- 2026-11-02: add by m2/dev
edge RT4DJ8CQ3Y
| URI | m2://inv/RT4DJ8CQ3Y |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.1/edge, edge (concept). In QKM9DD2H56, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
RT4J65KWG6 RT4J65KWG6
| URI | m2://inv/RT4J65KWG6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15291#MNGT (statement). In YVS8268AG8/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
Hyune-Ju Kim RT4KZS4X1V
| URI | m2://inv/RT4KZS4X1V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyune-Ju Kim, Hyune-Ju Kim (topic). Also Wikidata Q88245513
History
- 2026-11-02: add by m2/dev
Symbols of grouping RT4Q30TRVC
| URI | m2://inv/RT4Q30TRVC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symbols of grouping, Symbols of grouping (definition). Also Wikidata Q118901735
History
- 2026-11-02: add by m2/dev
RT4SKWK19Q RT4SKWK19Q
| URI | m2://inv/RT4SKWK19Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27136#MX4L (statement)
History
- 2026-11-01: add by m2/v0.6.15
RT51SGXRCW RT51SGXRCW
| URI | m2://inv/RT51SGXRCW |
|---|---|
| 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.26366#VU6X (definition)
History
- 2026-11-01: add by m2/v0.6.15
List of things named after Alan Turing RT578MJPZ6
| URI | m2://inv/RT578MJPZ6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing, List of things named after Alan Turing (topic). Also Wikidata Q56724102
History
- 2026-11-02: add by m2/dev
RT57FF45VK RT57FF45VK
| URI | m2://inv/RT57FF45VK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20725#D36Q (statement)
History
- 2026-11-02: add by m2/v0.6.18
RT5HGYS81Y RT5HGYS81Y
| URI | m2://inv/RT5HGYS81Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2407.02022#OG60 (statement). In RZDNWV9E29/e1, lemma 2.11
History
- 2026-10-27: add by m2/v0.3.6
Anisotropic Drucker–Prager yield criterion RT5KB7V2BC
| URI | m2://inv/RT5KB7V2BC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Drucker–Prager yield criterion#DYZQ, Anisotropic Drucker–Prager yield criterion (statement)
History
- 2026-11-02: add by m2/dev
Lehmann, Erich Leo RT5PB9ZGSM
| URI | m2://inv/RT5PB9ZGSM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#0YEF, Lehmann, Erich Leo (topic)
History
- 2026-11-02: add by m2/dev
RT68B5JZ02 RT68B5JZ02
| URI | m2://inv/RT68B5JZ02 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.07470#CLUH (proof). In XPF72KTPMZ/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
RT6BE8VGEQ RT6BE8VGEQ
| URI | m2://inv/RT6BE8VGEQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.00832#WNHX (statement). In KM0XEAXFMF/e1, corollary 6.3
History
- 2026-10-27: add by m2/v0.3.5
396 (number) RT6T7HS52M
| URI | m2://inv/RT6T7HS52M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#8CKG, 396 (number) (unknown)
History
- 2026-11-02: add by m2/dev
proof, assistant RT758SX3W2
| URI | m2://inv/RT758SX3W2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u1/proof-assistant, proof, assistant (concept). In N54F33XE07, index, section u1.u1
History
- 2026-11-01: add by m2/v0.6.13
MacMahon Squares RT7C5HY7X1
| URI | m2://inv/RT7C5HY7X1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MacMahon Squares, MacMahon Squares (definition). Also Wikidata Q106959113
History
- 2026-11-02: add by m2/dev
Karch Kiraly RT7P16EFV7
| URI | m2://inv/RT7P16EFV7 |
|---|---|
| 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#T0LV, Karch Kiraly (unknown)
History
- 2026-11-02: add by m2/dev
Eclat algorithm RT7TD2QNST
| URI | m2://inv/RT7TD2QNST |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Association rule learning#EAUI, Eclat algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Huzurbazar, V. S. RT8726069W
| URI | m2://inv/RT8726069W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#34DP, Huzurbazar, V. S. (unknown)
History
- 2026-11-02: add by m2/dev
RT89VJM0EE RT89VJM0EE
| URI | m2://inv/RT89VJM0EE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#example-15 (example). In E9HS8K3A52, example, section 5.4.2
History
- 2026-11-01: add by m2/v0.6.13
RT8EBB7MYQ RT8EBB7MYQ
| URI | m2://inv/RT8EBB7MYQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20131#2B6X (statement). In 29D4TTE3J2/e1, lemma 9.9
History
- 2026-10-27: add by m2/v0.4.2
Kleene connectives RT8HXPH3T8
| URI | m2://inv/RT8HXPH3T8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#WI2O, Kleene connectives (definition)
History
- 2026-11-02: add by m2/dev
Trapezoidal rule RT8JM6DQ91
| URI | m2://inv/RT8JM6DQ91 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#K7XB, Trapezoidal rule (definition)
History
- 2026-11-02: add by m2/dev
Exact packet reconstruction RT8RGKZQVC
| URI | m2://inv/RT8RGKZQVC |
|---|---|
| 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#GX5F, Exact packet reconstruction (statement). In 9CS15SV662/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.3
RT8TMD4C8H RT8TMD4C8H
| URI | m2://inv/RT8TMD4C8H |
|---|---|
| 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.14689#7FPR (statement). In 6BKMNJYNPJ/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
RT91KSH3HS RT91KSH3HS
| URI | m2://inv/RT91KSH3HS |
|---|---|
| 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.18562#CGNC (statement). In 793KXAR957/e1, theorem 3.8
History
- 2026-10-28: add by m2/v0.4.2
Algorithmic number theory RT91WZC9YC
| URI | m2://inv/RT91WZC9YC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#YB05, Algorithmic number theory (definition)
History
- 2026-11-02: add by m2/dev
Vopěnka RT925X7F3Q
| URI | m2://inv/RT925X7F3Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#1P3L, Vopěnka (definition)
History
- 2026-11-02: add by m2/dev
Lagrange's identity RT94R27YQH
| URI | m2://inv/RT94R27YQH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross product#43KH, Lagrange's identity (statement)
History
- 2026-11-02: add by m2/dev
Definition RT9D2VVDWT
| URI | m2://inv/RT9D2VVDWT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniell integral#NARJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Theorem RT9EG4DMAE
| URI | m2://inv/RT9EG4DMAE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extensions of symmetric operators#XRFC, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples RT9KPVT88V
| URI | m2://inv/RT9KPVT88V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weight (strings)#KOVP, Examples (example)
History
- 2026-11-02: add by m2/dev
Sprague-Grundy RT9NPA6FFY
| URI | m2://inv/RT9NPA6FFY |
|---|---|
| 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.30302#0T0D, Sprague-Grundy (statement). In R6ABTE22G0/e1, theorem 3
History
- 2026-10-31: add by m2/v0.5.6
RT9QPSAHD7 RT9QPSAHD7
| URI | m2://inv/RT9QPSAHD7 |
|---|---|
| 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.19853#T2LX (statement). In BDD1M5GZR3/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
RT9ZBBSST2 RT9ZBBSST2
| URI | m2://inv/RT9ZBBSST2 |
|---|---|
| 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.10527#ANR5 (statement). In 9AXPPWBA9R/e1, lemma 8
History
- 2026-10-29: add by m2/v0.4.10
RTA1YVDXM8 RTA1YVDXM8
| URI | m2://inv/RTA1YVDXM8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#prob:Darth Vader (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
Application in residue theorem RTA3ASN5QJ
| URI | m2://inv/RTA3ASN5QJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residue (complex analysis)#9WWP, Application in residue theorem (statement)
History
- 2026-11-02: add by m2/dev
Hannu Oja RTA6M857GR
| URI | m2://inv/RTA6M857GR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hannu Oja, Hannu Oja (topic). Also Wikidata Q11861423
History
- 2026-11-02: add by m2/dev
Theorem RTAAQK6BPH
| URI | m2://inv/RTAAQK6BPH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixed Poisson distribution#AFIF, Theorem (statement)
History
- 2026-11-02: add by m2/dev
RTAFA2AJNB RTAFA2AJNB
| URI | m2://inv/RTAFA2AJNB |
|---|---|
| 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.07164#ECTQ (statement). In Q1XJ5VWE1N/e1, theorem 4.8
History
- 2026-10-29: add by m2/v0.4.10
Zeisel number RTAFPHKQYS
| URI | m2://inv/RTAFPHKQYS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2334637, Zeisel number (unknown). Also MathWorld ZeiselNumber, OEIS A051015
History
- 2026-10-26: add by m2/dev
Local Pierce–Birkhoff conjecture RTAG4T8YZ2
| URI | m2://inv/RTAG4T8YZ2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pierce–Birkhoff conjecture#S7SK, Local Pierce–Birkhoff conjecture (statement)
History
- 2026-11-02: add by m2/dev
Frank Proschan RTAKWJ7J11
| URI | m2://inv/RTAKWJ7J11 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank Proschan, Frank Proschan (topic). Also Wikidata Q15810132
History
- 2026-11-02: add by m2/dev
Contact conditions RTAM8F31RP
| URI | m2://inv/RTAM8F31RP |
|---|---|
| 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 2610.06490#J7DW, Contact conditions (statement). In NKXTXH59P1/e1, lemma F.6
History
- 2026-10-29: add by m2/v0.4.10
RTAMNRMDN9 RTAMNRMDN9
| URI | m2://inv/RTAMNRMDN9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01073#ZU7N (statement). In W4TYN4PGE8/e1, corollary 3.20
History
- 2026-10-27: add by m2/v0.3.5
RTAP8GAG6V RTAP8GAG6V
| URI | m2://inv/RTAP8GAG6V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16203#G9FX (statement). In 43TBS9P2PX/e1, corollary 5.5
History
- 2026-10-28: add by m2/v0.4.2
Dirac delta function RTB1ZQBQV4
| URI | m2://inv/RTB1ZQBQV4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#W19Z, Dirac delta function (definition)
History
- 2026-11-02: add by m2/dev
QUADPACK RTB2JT6HHY
| URI | m2://inv/RTB2JT6HHY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#XX8W, QUADPACK (unknown)
History
- 2026-11-02: add by m2/dev
Big-O notation RTB7MJDB6C
| URI | m2://inv/RTB7MJDB6C |
|---|---|
| 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 2609.38118#RVOS, Big-O notation (definition). In K4KKTYYKKH/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
Variant RTBDCDDGG2
| URI | m2://inv/RTBDCDDGG2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ailles rectangle#HU7Y, Variant (statement)
History
- 2026-11-02: add by m2/dev
RTBQ17YS33 RTBQ17YS33
| URI | m2://inv/RTBQ17YS33 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38131#U626 (statement). In GM3S19KFDH/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Oscar Randal-Williams RTBY385SSX
| URI | m2://inv/RTBY385SSX |
|---|---|
| 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 Q64763227, Oscar Randal-Williams (unknown). Also nLab Oscar Randal-Williams
- wikipedia: Wikipedia Oscar Randal-Williams, Oscar Randal-Williams (topic). Also Wikidata Q64763227
History
- 2026-10-26: add by m2/dev
Claudio Bunster RTBY4JENMD
| URI | m2://inv/RTBY4JENMD |
|---|---|
| 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 Q440387, Claudio Bunster (unknown). Also nLab Claudio Teitelboim
History
- 2026-10-26: add by m2/dev
RTBY6BC79S RTBY6BC79S
| URI | m2://inv/RTBY6BC79S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#NYR5 (statement). In X38P26DK6S/e1, proposition 6.2
History
- 2026-10-27: add by m2/v0.4.0
RTBZJFVAXG RTBZJFVAXG
| URI | m2://inv/RTBZJFVAXG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08251#6CMT (definition). In YRJKC9DJEA/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
RTC07QNS1J RTC07QNS1J
| URI | m2://inv/RTC07QNS1J |
|---|---|
| Kind | statement |
| 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.15593#US5Z (statement). In PREJREM4BB/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
Eight Corners, Wisconsin RTC58N5D8C
| URI | m2://inv/RTC58N5D8C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#NWUG, Eight Corners, Wisconsin (unknown)
History
- 2026-11-02: add by m2/dev
RTCDYZ0951 RTCDYZ0951
| URI | m2://inv/RTCDYZ0951 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03520#C891 (statement). In CSRZ9CWK69/e1, proposition 9.5
History
- 2026-10-29: add by m2/v0.4.12
THOG problem RTCFSBV865
| URI | m2://inv/RTCFSBV865 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia THOG problem, THOG problem (problem). Also Wikidata Q17045452
History
- 2026-11-02: add by m2/dev
Examples RTCHJ9HPKY
| URI | m2://inv/RTCHJ9HPKY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius inner product#OL36, Examples (example)
History
- 2026-11-02: add by m2/dev
RTCHR8G40E RTCHR8G40E
| URI | m2://inv/RTCHR8G40E |
|---|---|
| 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.02141#0H6N (definition). In 5AB8YPS19N/e1, definition 2.5
History
- 2026-10-29: add by m2/v0.4.12
Fixed-$G$ calibration RTCMG31W6V
| URI | m2://inv/RTCMG31W6V |
|---|---|
| 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.17403#IQ3Z, Fixed-$G$ calibration (statement). In 9EMNMAW8YH/e1, theorem 29
History
- 2026-10-28: add by m2/v0.4.2
Mixed product formula in arbitrary degrees RTCZYC0X4G
| URI | m2://inv/RTCZYC0X4G |
|---|---|
| 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.13888#8B82, Mixed product formula in arbitrary degrees (statement). In XJWYBPS14M/e1, corollary 5.2
History
- 2026-10-28: add by m2/v0.4.2
special case RTD1Q8KTPN
| URI | m2://inv/RTD1Q8KTPN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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.15099#SFNH, special case (statement). In PF5JJ9DS8Q/e1, proposition 3.2.3
History
- 2026-10-28: add by m2/v0.4.2
Theorem 3 RTD2ZW7DPP
| URI | m2://inv/RTD2ZW7DPP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generic-case complexity#KNOK, Theorem 3 (statement)
History
- 2026-11-02: add by m2/dev
Negative Square roots RTD73FQA9M
| URI | m2://inv/RTD73FQA9M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Imaginary number#4YYE, Negative Square roots (unknown)
History
- 2026-11-02: add by m2/dev
RTDA9DXJE9 RTDA9DXJE9
| URI | m2://inv/RTDA9DXJE9 |
|---|---|
| Kind | statement |
| 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#VCC6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Composition of Semantic Weakenings RTDFTNEJDT
| URI | m2://inv/RTDFTNEJDT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#TX4J, Composition of Semantic Weakenings (statement). In CPYWHRTPKC/e1, lemma 6.29
History
- 2026-10-27: add by m2/v0.4.2
Slater integrals RTDH11XVXP
| URI | m2://inv/RTDH11XVXP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slater integrals, Slater integrals (definition). Also Wikidata Q7538914
History
- 2026-11-02: add by m2/dev
RTDN5Z7740 RTDN5Z7740
| URI | m2://inv/RTDN5Z7740 |
|---|---|
| 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.36423#YTNM (definition). In Q5Z178SAHP/e1, definition 3.3
History
- 2026-10-30: add by m2/v0.4.12
RTDT6HTWP6 RTDT6HTWP6
| URI | m2://inv/RTDT6HTWP6 |
|---|---|
| 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 2111.01197#1XVT (statement). In Z36XFKVTS0/e1, lemma A
History
- 2026-10-27: add by m2/v0.3.5
RTDX2ACCH9 RTDX2ACCH9
| URI | m2://inv/RTDX2ACCH9 |
|---|---|
| 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 1011.5443#7O24 (statement). In VQ0K2GV62A/e1, proposition 4.7
History
- 2026-10-27: add by m2/v0.3.5
Actuarial science RTEFWSXGZE
| URI | m2://inv/RTEFWSXGZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fields of application of statistics#82GR, Actuarial science (definition)
History
- 2026-11-02: add by m2/dev
RTF5S819YF RTF5S819YF
| URI | m2://inv/RTF5S819YF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01932#Y6FC (definition). In XDKWW6NR0K/e1, definition 7.7
History
- 2026-10-29: add by m2/v0.4.12
Schwarz lemma RTF7SEFTFS
| URI | m2://inv/RTF7SEFTFS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Complex analysis > Schwarz lemma, Schwarz lemma (unknown). Also Mathlib Complex.norm_le_norm_of_mapsTo_ball
History
- 2026-10-26: add by m2/dev
Collage theorem RTF9R5X6CZ
| URI | m2://inv/RTF9R5X6CZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collage theorem, Collage theorem (statement). Also Wikidata Q3527255
History
- 2026-11-02: add by m2/dev
Theorem RTFJ6MRZ1K
| URI | m2://inv/RTFJ6MRZ1K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadric#6G1I, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Velocity-addition formula RTFN4D1Q2G
| URI | m2://inv/RTFN4D1Q2G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Velocity-addition formula, Velocity-addition formula (statement). Also Wikidata Q1715792
History
- 2026-11-02: add by m2/dev
Applications RTFTXR9V1V
| URI | m2://inv/RTFTXR9V1V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Γ-convergence#ZN1Z, Applications (example)
History
- 2026-11-02: add by m2/dev
Laurent series RTFZST59DY
| URI | m2://inv/RTFZST59DY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Functions on one complex variable > Laurent series, Laurent series (unknown)
History
- 2026-10-26: add by m2/dev
Ernest Preston Lane RTG41ZFP7D
| URI | m2://inv/RTG41ZFP7D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ernest Preston Lane, Ernest Preston Lane (topic). Also Wikidata Q56849484
History
- 2026-11-02: add by m2/dev
Laurent Saloff-Coste RTG499XFH8
| URI | m2://inv/RTG499XFH8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laurent Saloff-Coste, Laurent Saloff-Coste (topic). Also Wikidata Q1488046
History
- 2026-11-02: add by m2/dev
Chern's conjectures hierarchically RTGDFDAVN2
| URI | m2://inv/RTGDFDAVN2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chern's conjecture for hypersurfaces in spheres#WCX1, Chern's conjectures hierarchically (statement)
History
- 2026-11-02: add by m2/dev
reduced scheme RTGDNP4GSV
| URI | m2://inv/RTGDNP4GSV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q123508622, reduced scheme (unknown). Also EoM Reduced_scheme, nLab reduced scheme
History
- 2026-10-26: add by m2/dev
RTGE78EJY5 RTGE78EJY5
| URI | m2://inv/RTGE78EJY5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#2DTR (statement). In 4WPYBTARS2/e1, proposition 3.14
History
- 2026-10-29: add by m2/v0.4.12
Independent identically-distributed random variables RTGECK18XP
| URI | m2://inv/RTGECK18XP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#57FX, Independent identically-distributed random variables (definition)
History
- 2026-11-02: add by m2/dev
RTGGNH6FM4 RTGGNH6FM4
| URI | m2://inv/RTGGNH6FM4 |
|---|---|
| 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 2606.00589#DRY5 (statement). In C8JAGP8VCQ/e1, lemma 10.1
History
- 2026-10-27: add by m2/v0.3.5
RTGKY41JSS RTGKY41JSS
| URI | m2://inv/RTGKY41JSS |
|---|---|
| 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.20825#D4M7 (statement). In K9G02J8MXT/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.2
Frank Quinn RTGNWADYE8
| URI | m2://inv/RTGNWADYE8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EGY7, Frank Quinn (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IIGA, Frank Quinn (topic)
History
- 2026-11-02: add by m2/dev
Definition RTGTJAWG10
| URI | m2://inv/RTGTJAWG10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time Warp Edit Distance#ZK8C, Definition (definition)
History
- 2026-11-02: add by m2/dev
Symmetries and conservation laws RTGVWDE5GH
| URI | m2://inv/RTGVWDE5GH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum mechanics#8GX7, Symmetries and conservation laws (statement)
History
- 2026-11-02: add by m2/dev
Informal qLCL threshold RTH07Y58GK
| URI | m2://inv/RTH07Y58GK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#VAGB, Informal qLCL threshold (statement). In 7MVPNFPRKB/e1, theorem 1.6
History
- 2026-10-30: add by m2/v0.4.12
RTH4ZEY5SC RTH4ZEY5SC
| URI | m2://inv/RTH4ZEY5SC |
|---|---|
| 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.06372#2VEK (statement). In G3E1P350Z6/e1, lemma 6.6
History
- 2026-10-29: add by m2/v0.4.10
Banach manifold RTH7NS611R
| URI | m2://inv/RTH7NS611R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#ZVRD, Banach manifold (definition)
History
- 2026-11-02: add by m2/dev
RTHBCYVNVE RTHBCYVNVE
| URI | m2://inv/RTHBCYVNVE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33841#LDWU (statement). In 3CVQHT206K/e1, corollary 5.5
History
- 2026-10-30: add by m2/v0.4.12
M. Gweneth Humphreys Award RTHRBQYSS4
| URI | m2://inv/RTHRBQYSS4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M. Gweneth Humphreys Award, M. Gweneth Humphreys Award (definition). Also Wikidata Q28402502
History
- 2026-11-02: add by m2/dev
Multipartition RTJ3HG3MJV
| URI | m2://inv/RTJ3HG3MJV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partition topics#4MC3, Multipartition (definition)
History
- 2026-11-02: add by m2/dev
RTJ8SE172T RTJ8SE172T
| URI | m2://inv/RTJ8SE172T |
|---|---|
| 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#HHCA (statement). In FK89DQ9J4S/e1, theorem A.1
History
- 2026-10-30: add by m2/v0.4.12
Statement RTJCXRW9SW
| URI | m2://inv/RTJCXRW9SW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jung's theorem#SHW0, Statement (statement)
History
- 2026-11-02: add by m2/dev
Bourgain-Guth, , Theorem 6 RTJEPY7J1N
| URI | m2://inv/RTJEPY7J1N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12480#MGZ5, Bourgain-Guth, , Theorem 6 (statement). In 585QYGX4X6/e1, theorem 22
History
- 2026-10-28: add by m2/v0.4.2
Descent of the fixed potential RTJMH4K1ZE
| URI | m2://inv/RTJMH4K1ZE |
|---|---|
| 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.28306#JDLE, Descent of the fixed potential (statement)
History
- 2026-11-01: add by m2/v0.6.15
RTJVVJR25F RTJVVJR25F
| URI | m2://inv/RTJVVJR25F |
|---|---|
| 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.20008#M8CF (statement)
History
- 2026-11-02: add by m2/v0.6.18
Extensions RTJXKHC6C5
| URI | m2://inv/RTJXKHC6C5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coefficient of determination#IL0Z, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Entropy loss under addition RTK1YPFBXP
| URI | m2://inv/RTK1YPFBXP |
|---|---|
| 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 2610.10511#LKYY, Entropy loss under addition (statement). In BTX64QG716/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
Eva Vedel Jensen RTK6WPG21M
| URI | m2://inv/RTK6WPG21M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eva Vedel Jensen, Eva Vedel Jensen (topic). Also Wikidata Q99518962
History
- 2026-11-02: add by m2/dev
RTKC2DSH7Z RTKC2DSH7Z
| URI | m2://inv/RTKC2DSH7Z |
|---|---|
| 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 2610.14837#59DM (statement). In J4P6HXMJCH/e1, corollary 6.4
History
- 2026-10-28: add by m2/v0.4.2
RTKEWV2XH8 RTKEWV2XH8
| URI | m2://inv/RTKEWV2XH8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2602.15812#O5QX (statement). In GAAZD3SGPN/e1, proposition
History
- 2026-10-27: add by m2/v0.3.5
RTKG3NAGMP RTKG3NAGMP
| URI | m2://inv/RTKG3NAGMP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-2.xml#example-4 (example). In 649HGZKE96, example, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
Properties RTKM6V47G3
| URI | m2://inv/RTKM6V47G3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modulus and characteristic of convexity#NK4W, Properties (statement)
History
- 2026-11-02: add by m2/dev
RTKVPQ7V14 RTKVPQ7V14
| URI | m2://inv/RTKVPQ7V14 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08935#R6TG (statement). In G02N9D40B9/e1, lemma 3.5.3
History
- 2026-10-29: add by m2/v0.4.10
Noncentral chi-squared distribution RTKYAD7SEC
| URI | m2://inv/RTKYAD7SEC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PXOU, Noncentral chi-squared distribution (definition)
History
- 2026-11-02: add by m2/dev
Properties RTKZEAM3GW
| URI | m2://inv/RTKZEAM3GW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residually finite group#Z3FW, Properties (statement)
History
- 2026-11-02: add by m2/dev
RTM8DE6A5W RTM8DE6A5W
| URI | m2://inv/RTM8DE6A5W |
|---|---|
| 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.07162#G94O (statement). In MQEB9ZHQAT/e1, theorem
History
- 2026-10-29: add by m2/v0.4.10
RTMHX1DYQR RTMHX1DYQR
| URI | m2://inv/RTMHX1DYQR |
|---|---|
| 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.03661#SGUB (statement). In ESDKTYDHC8/e1, corollary 7
History
- 2026-10-29: add by m2/v0.4.12
Synthesis or transpose convolution RTMXK5YZDD
| URI | m2://inv/RTMXK5YZDD |
|---|---|
| Kind | definition |
| 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.13892#S2KO, Synthesis or transpose convolution (definition). In HV9KKEBBDD/e1, definition III.10
History
- 2026-10-28: add by m2/v0.4.2
Type I, Type II, Type I/II trichotomy RTN0MSPSCA
| URI | m2://inv/RTN0MSPSCA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09567#LD0F, Type I, Type II, Type I/II trichotomy (statement). In 7RV6BDZAFK/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.10
RTN672REHJ RTN672REHJ
| URI | m2://inv/RTN672REHJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32176#6AAG (definition). In N9F5R2PV0E/e1, definition 4.1
History
- 2026-10-31: add by m2/v0.5.6
Non-examples of subgroups RTN9QD143S
| URI | m2://inv/RTN9QD143S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#example-20, Non-examples of subgroups (example). In RZP28ERRZV, example, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Another explicit formula RTNAJY6WXT
| URI | m2://inv/RTNAJY6WXT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli polynomials#28EG, Another explicit formula (statement)
History
- 2026-11-02: add by m2/dev
RTND94E8KW RTND94E8KW
| URI | m2://inv/RTND94E8KW |
|---|---|
| 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.29903#GFGV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Near-binary profile RTNHFYPJT9
| URI | m2://inv/RTNHFYPJT9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14085#O3PD, Near-binary profile (statement). In T8F19ZGHF3/e1, lemma 4.8
History
- 2026-10-28: add by m2/v0.4.2
RTNJ8PJCW8 RTNJ8PJCW8
| URI | m2://inv/RTNJ8PJCW8 |
|---|---|
| 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 2610.17004#HITN (statement). In XNJGNMS6H0/e1, theorem 5.12
History
- 2026-10-28: add by m2/v0.4.2
Definition RTNMMVC23J
| URI | m2://inv/RTNMMVC23J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Davis distribution#U5SG, Definition (definition)
History
- 2026-11-02: add by m2/dev
Tripod packing RTNZD03JKJ
| URI | m2://inv/RTNZD03JKJ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#IQGC, Tripod packing (conjecture)
History
- 2026-11-02: add by m2/dev
co-NP complete RTNZK95HQH
| URI | m2://inv/RTNZK95HQH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in fair division#CE1W, co-NP complete (definition)
History
- 2026-11-02: add by m2/dev
RTP66E2TBM RTP66E2TBM
| URI | m2://inv/RTP66E2TBM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36622#DCNW (statement). In 9704QPRPR6/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Algorithm RTPDJ8CTYZ
| URI | m2://inv/RTPDJ8CTYZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Churning (cipher)#A9L8, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
RTPM0BFTM8 RTPM0BFTM8
| URI | m2://inv/RTPM0BFTM8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2006.07610#Y7J9 (statement). In RYB8WE6DQ4/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
RTPMB5JDSM RTPMB5JDSM
| URI | m2://inv/RTPMB5JDSM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#FKJ6 (statement). In GW23NX78SB/e1, lemma 3.19
History
- 2026-10-28: add by m2/v0.4.2
RTPN3PNG0W RTPN3PNG0W
| URI | m2://inv/RTPN3PNG0W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10925#AXFB (statement). In 9604WYX0BW/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.3
edge form RTPQC9BZC3
| URI | m2://inv/RTPQC9BZC3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18803#1MZA, edge form (statement). In VG8AF124T3/e1, proposition 6.4
History
- 2026-10-28: add by m2/v0.4.2
Examples RTPTM9EQM0
| URI | m2://inv/RTPTM9EQM0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degenerate conic#6TH7, Examples (example)
History
- 2026-11-02: add by m2/dev
Flynn's taxonomy RTQ1HVWNHP
| URI | m2://inv/RTQ1HVWNHP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#LV5L, Flynn's taxonomy (unknown)
History
- 2026-11-02: add by m2/dev
Theorem RTQ39FE86J
| URI | m2://inv/RTQ39FE86J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singleton bound#51E3, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Kochański's approximation RTQ4WN5TGF
| URI | m2://inv/RTQ4WN5TGF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2006381, Kochański's approximation (unknown). Also MathWorld KochanskisApproximation
History
- 2026-10-26: add by m2/dev
RTQ5EQQW9H RTQ5EQQW9H
| URI | m2://inv/RTQ5EQQW9H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27078#2ZDY (definition)
History
- 2026-11-01: add by m2/v0.6.15
Adel Javanmard RTQCFB90RE
| URI | m2://inv/RTQCFB90RE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adel Javanmard, Adel Javanmard (topic). Also Wikidata Q131119643
History
- 2026-11-02: add by m2/dev
Tail expansion of the score RTQFX4NC2X
| URI | m2://inv/RTQFX4NC2X |
|---|---|
| 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.08007#YL5C, Tail expansion of the score (statement). In MBFRRC83TH/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
Quartic fourfolds RTQY5QPEEG
| URI | m2://inv/RTQY5QPEEG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#XROK, Quartic fourfolds (example)
History
- 2026-11-02: add by m2/v0.6.17
Exterior calculus identities RTR15214CS
| URI | m2://inv/RTR15214CS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exterior calculus identities, Exterior calculus identities (definition). Also Wikidata Q60790352
History
- 2026-11-02: add by m2/dev
The closed testing principle RTR46DXANQ
| URI | m2://inv/RTR46DXANQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed testing procedure#CE33, The closed testing principle (statement)
History
- 2026-11-02: add by m2/dev
Million Death Study RTR7F5Y6R6
| URI | m2://inv/RTR7F5Y6R6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Million Death Study, Million Death Study (definition). Also Wikidata Q17049068
History
- 2026-11-02: add by m2/dev
Examples RTRBQKG9FF
| URI | m2://inv/RTRBQKG9FF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection (linear algebra)#C7PL, Examples (example)
History
- 2026-11-02: add by m2/dev
Star-PCGs RTRH5R08CH
| URI | m2://inv/RTRH5R08CH |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14681#X993, Star-PCGs (problem). In 459W0NBS5Q/e1, problem 5
History
- 2026-10-28: add by m2/v0.4.2
Triple correlation RTRY5RRC9N
| URI | m2://inv/RTRY5RRC9N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triple correlation, Triple correlation (definition). Also Wikidata Q7843504
History
- 2026-11-02: add by m2/dev
Generalizations RTRZVPXT2Z
| URI | m2://inv/RTRZVPXT2Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Myhill–Nerode theorem#GKID, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Applications RTS23P8646
| URI | m2://inv/RTS23P8646 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rolling#JU18, Applications (example)
History
- 2026-11-02: add by m2/dev
RTS4FS47DY RTS4FS47DY
| URI | m2://inv/RTS4FS47DY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#example-17 (example). In E59CDZA4DP, example, section 4.3.1
History
- 2026-11-01: add by m2/v0.6.13
Noisy channel coding theorem and capacity RTS8QHQ8Z4
| URI | m2://inv/RTS8QHQ8Z4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shannon–Hartley theorem#E3Q4, Noisy channel coding theorem and capacity (statement)
History
- 2026-11-02: add by m2/dev
RTS9M59MQP RTS9M59MQP
| URI | m2://inv/RTS9M59MQP |
|---|---|
| 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.36313#0NW0 (statement). In Z5SP3NW41S/e1, theorem 3.6
History
- 2026-10-30: add by m2/v0.4.12
alternating series test RTSA7FWNZE
| URI | m2://inv/RTSA7FWNZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#OL9P, alternating series test (definition)
History
- 2026-11-02: add by m2/dev
HP 10s RTSGFMN8ZE
| URI | m2://inv/RTSGFMN8ZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HP 10s, HP 10s (definition). Also Wikidata Q5635541
History
- 2026-11-02: add by m2/dev
Line RTSHSN573J
| URI | m2://inv/RTSHSN573J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#W5QW, Line (definition)
History
- 2026-11-02: add by m2/dev
Example RTSJWWQFJR
| URI | m2://inv/RTSJWWQFJR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector field#PTBK, Example (example)
History
- 2026-11-02: add by m2/dev
Charles Cantor RTSKMPJHD0
| URI | m2://inv/RTSKMPJHD0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#N4BY, Charles Cantor (unknown)
History
- 2026-11-02: add by m2/dev
RTSR7G53JT RTSR7G53JT
| URI | m2://inv/RTSR7G53JT |
|---|---|
| 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 2301.02848#QHYD (statement). In G6WQDW52TJ/e1, lemma 3.9
History
- 2026-10-27: add by m2/v0.3.6
Hopf link RTSX0VPDFJ
| URI | m2://inv/RTSX0VPDFJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18803#SC5G, Hopf link (example). In VG8AF124T3/e1, example 5.5
History
- 2026-10-28: add by m2/v0.4.2
Feldman–Hájek theorem RTT707Q1G1
| URI | m2://inv/RTT707Q1G1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feldman–Hájek theorem, Feldman–Hájek theorem (statement). Also Wikidata Q60794154
History
- 2026-11-02: add by m2/dev
All $G$-invariant triple systems RTT8P5X2FB
| URI | m2://inv/RTT8P5X2FB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#CK4T, All $G$-invariant triple systems (statement). In 9NVKKW8HDH/e1, corollary 2.5
History
- 2026-10-28: add by m2/v0.4.2
Conway chained arrow notation RTTEGE00RJ
| URI | m2://inv/RTTEGE00RJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after John Horton Conway#HC1H, Conway chained arrow notation (definition)
History
- 2026-11-02: add by m2/dev
pushout, of sets RTTZKHCEQM
| URI | m2://inv/RTTZKHCEQM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.9/pushout-of-sets, pushout, of sets (concept). In N54F33XE07, index, section 5.9
History
- 2026-11-01: add by m2/v0.6.13
Alan Baker RTV3T7EZCC
| URI | m2://inv/RTV3T7EZCC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alan Baker (philosopher), Alan Baker (topic). Also Wikidata Q13362826
History
- 2026-11-02: add by m2/dev
RTVF8ZEQDK RTVF8ZEQDK
| URI | m2://inv/RTVF8ZEQDK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-29 (exercise). In E9HS8K3A52, exercise, section 10.3.1
History
- 2026-11-01: add by m2/v0.6.13
One pooled gradient RTVR85HXBV
| URI | m2://inv/RTVR85HXBV |
|---|---|
| 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.12641#D37A, One pooled gradient (statement). In X5BYGZZHPF/e1, lemma M.3
History
- 2026-10-28: add by m2/v0.4.2
The series map RTVSYY863E
| URI | m2://inv/RTVSYY863E |
|---|---|
| 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#IK1W, The series map (statement). In 1AC4S19925/e1, lemma 3.3
History
- 2026-10-30: add by m2/v0.4.12
RTVV1Q1ZTM RTVV1Q1ZTM
| URI | m2://inv/RTVV1Q1ZTM |
|---|---|
| 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.03420#QHC4 (statement). In TG11SZZQCR/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.12
Oscillator representation RTVWVN0D8S
| URI | m2://inv/RTVWVN0D8S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oscillator representation, Oscillator representation (definition). Also Wikidata Q7106417
History
- 2026-11-02: add by m2/dev
RTVZ5XV3T9 RTVZ5XV3T9
| URI | m2://inv/RTVZ5XV3T9 |
|---|---|
| Kind | statement |
| 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.18016#CI2W (statement). In V5PVKDKGGG/e1, proposition 7.6
History
- 2026-10-28: add by m2/v0.4.2
RTW1VTVD8P RTW1VTVD8P
| URI | m2://inv/RTW1VTVD8P |
|---|---|
| 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.29449#QATU (statement)
History
- 2026-11-01: add by m2/v0.6.15
RTWA4ZXFPM RTWA4ZXFPM
| URI | m2://inv/RTWA4ZXFPM |
|---|---|
| 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.20119#VPZP (definition)
History
- 2026-11-02: add by m2/v0.6.18
RTWFKXZYVN RTWFKXZYVN
| URI | m2://inv/RTWFKXZYVN |
|---|---|
| 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.02993#36TH (statement). In TJH58FRGEN/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.12
RTWHD0WC28 RTWHD0WC28
| URI | m2://inv/RTWHD0WC28 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/card-arithmetic/simp.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 69.5
History
- 2026-11-01: add by m2/v0.6.13
Bullshit RTWJQF5D1K
| URI | m2://inv/RTWJQF5D1K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bullshit, Bullshit (definition). Also Wikidata Q2063516
History
- 2026-11-02: add by m2/dev
Traveling tournament problem RTX4MRT0KS
| URI | m2://inv/RTX4MRT0KS |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Traveling tournament problem, Traveling tournament problem (problem). Also Wikidata Q16963647
History
- 2026-11-02: add by m2/dev
Vladimir Kondratiev RTX8F22KV4
| URI | m2://inv/RTX8F22KV4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vladimir Kondratiev, Vladimir Kondratiev (topic). Also Wikidata Q4230590
History
- 2026-11-02: add by m2/dev
Richmond surface RTX9W4F9TR
| URI | m2://inv/RTX9W4F9TR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#4HLX, Richmond surface (definition)
History
- 2026-11-02: add by m2/dev
VIPER microprocessor RTXFJA3A36
| URI | m2://inv/RTXFJA3A36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia VIPER microprocessor, VIPER microprocessor (definition). Also Wikidata Q7907035
History
- 2026-11-02: add by m2/dev
Chantal David RTXP1MKVM3
| URI | m2://inv/RTXP1MKVM3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chantal David, Chantal David (topic). Also Wikidata Q41215763
History
- 2026-11-02: add by m2/dev
John Williams Calkin RTXPGTN1E1
| URI | m2://inv/RTXPGTN1E1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Williams Calkin, John Williams Calkin (topic). Also Wikidata Q15821603
History
- 2026-11-02: add by m2/dev
Generalizations RTXT2YWTGA
| URI | m2://inv/RTXT2YWTGA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius algebra#LOCE, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
RTXX5Q4R8C RTXX5Q4R8C
| URI | m2://inv/RTXX5Q4R8C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13518#THG4 (statement). In 613TY6V089/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
RTXXS0PQQQ RTXXS0PQQQ
| URI | m2://inv/RTXXS0PQQQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/machines-computations/disciplined-machines.tex#defn:disciplined (definition). In PKGMM3P5QY, defn, section 85.5
History
- 2026-11-01: add by m2/v0.6.13
Unique key RTY3ASNHTQ
| URI | m2://inv/RTY3ASNHTQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#KRGF, Unique key (unknown)
History
- 2026-11-02: add by m2/dev
Hervé Jacquet RTY76S487E
| URI | m2://inv/RTY76S487E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#4DEY, Hervé Jacquet (topic)
History
- 2026-11-02: add by m2/dev
Localization theorem RTY8XBD1TT
| URI | m2://inv/RTY8XBD1TT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equivariant cohomology#R278, Localization theorem (statement)
History
- 2026-11-02: add by m2/dev
Formula RTY9Q1ZRCG
| URI | m2://inv/RTY9Q1ZRCG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pyramidal number#GMWL, Formula (statement)
History
- 2026-11-02: add by m2/dev
Edge detection RTYHSX883S
| URI | m2://inv/RTYHSX883S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-2.xml#activity-3, Edge detection (exercise). In 649HGZKE96, activity, section 3.2.4
History
- 2026-11-01: add by m2/v0.6.13
RTZAA2FJY9 RTZAA2FJY9
| URI | m2://inv/RTZAA2FJY9 |
|---|---|
| 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.04165#PVYE (statement). In PKN283MHF8/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.12
Algorithms RTZPZCTK9V
| URI | m2://inv/RTZPZCTK9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cluster analysis#VCA6, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
distance traveled RTZW0M34PF
| URI | m2://inv/RTZW0M34PF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/4.1.3/distance-traveled, distance traveled (concept). In 907G4C4EJ1, index, section 4.1.3
History
- 2026-11-01: add by m2/v0.6.13
RTZWMVYCTR RTZWMVYCTR
| URI | m2://inv/RTZWMVYCTR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20713#UYN9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
John Leech RTZZ1ZGW89
| URI | m2://inv/RTZZ1ZGW89 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Leech (mathematician), John Leech (topic). Also Wikidata Q930817
History
- 2026-11-02: add by m2/dev