Inventory rows SR
The cards of the rows of the inventory whose ids start with SR. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Power electronics SR0CBQ1NE9
| URI | m2://inv/SR0CBQ1NE9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#U5W5, Power electronics (unknown)
History
- 2026-11-02: add by m2/dev
SR0CM7Q0XF SR0CM7Q0XF
| URI | m2://inv/SR0CM7Q0XF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-arithgeom.ptx#exercise-11 (exercise). In Y91XFCEVHQ, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Theorem SR0D0VWY6A
| URI | m2://inv/SR0D0VWY6A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Honeycomb theorem#FMGP, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Japanese theorem for concyclic polygons SR0DAQ213J
| URI | m2://inv/SR0DAQ213J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#5SR8, Japanese theorem for concyclic polygons (statement)
History
- 2026-11-02: add by m2/dev
SR0SMKZHFJ SR0SMKZHFJ
| URI | m2://inv/SR0SMKZHFJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_intro-statements.ptx#example-9 (example). In Y91XFCEVHQ, example, section 1.2.2
History
- 2026-11-01: add by m2/v0.6.13
Solved game SR0WFGGH2N
| URI | m2://inv/SR0WFGGH2N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of game theory#VVRN, Solved game (definition)
History
- 2026-11-02: add by m2/dev
Bridge value SR12ZF78EH
| URI | m2://inv/SR12ZF78EH |
|---|---|
| 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.27250#0UPI, Bridge value (definition)
History
- 2026-11-01: add by m2/v0.6.15
Peter J. Freyd SR148X5FTM
| URI | m2://inv/SR148X5FTM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LS4L, Peter J. Freyd (topic)
History
- 2026-11-02: add by m2/dev
SR15ES1D8T SR15ES1D8T
| URI | m2://inv/SR15ES1D8T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.02061#C8YX (definition). In F5STMSPR6X/e1, definition 3.11
History
- 2026-10-29: add by m2/v0.4.12
Integrated graph distance control near the full separatrix SR16F1EKKR
| URI | m2://inv/SR16F1EKKR |
|---|---|
| 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.01050#BWRI, Integrated graph distance control near the full separatrix (statement). In 48NN33SAH7/e1, lemma I.1
History
- 2026-10-29: add by m2/v0.4.12
Λ-ring SR16HZ1ZDG
| URI | m2://inv/SR16HZ1ZDG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Λ-ring, Λ-ring (definition). Also Wikidata Q8083988
History
- 2026-11-02: add by m2/dev
SR1A2QZP89 SR1A2QZP89
| URI | m2://inv/SR1A2QZP89 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NP (complexity)#FGI8 (problem)
History
- 2026-11-02: add by m2/dev
SR1BFK1J9H SR1BFK1J9H
| URI | m2://inv/SR1BFK1J9H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#4FXG (statement). In F3BKXXPR3K/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.2
Controlled perturbation of the hard objective SR1CN9GHJW
| URI | m2://inv/SR1CN9GHJW |
|---|---|
| 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.01843#JZPA, Controlled perturbation of the hard objective (statement). In EDG9ZFDSWK/e1, corollary B.19
History
- 2026-10-29: add by m2/v0.4.12
German tank problem SR1FA1JCZZ
| URI | m2://inv/SR1FA1JCZZ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia German tank problem, German tank problem (problem). Also Wikidata Q3751512
History
- 2026-11-02: add by m2/dev
SR1GJKV1P6 SR1GJKV1P6
| URI | m2://inv/SR1GJKV1P6 |
|---|---|
| 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.17883#GB9X (statement). In 9WSJV2WY2S/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
Kaplansky's trick SR1QD2T1K3
| URI | m2://inv/SR1QD2T1K3 |
|---|---|
| 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.32651#3ZXL, Kaplansky's trick (statement). In WFJXSE3VDT/e1, lemma 2.3
History
- 2026-10-31: add by m2/v0.5.6
SR1W5W32RR SR1W5W32RR
| URI | m2://inv/SR1W5W32RR |
|---|---|
| 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 2610.10570#VUDY (statement). In V0MA250K2P/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.10
Definitions SR216DK69R
| URI | m2://inv/SR216DK69R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov's normability criterion#4CQG, Definitions (definition)
History
- 2026-11-02: add by m2/dev
(topological) fiber bundle SR24YZM7VA
| URI | m2://inv/SR24YZM7VA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Smooth vector and fiber bundles > (topological) fiber bundle, (topological) fiber bundle (unknown). Also Mathlib FiberBundle
- mathlib_overview: mathlib_overview Topology > General topology > topological fiber bundle, topological fiber bundle (unknown). Also Mathlib FiberBundle
History
- 2026-10-26: add by m2/dev
faceting SR2KESJJ58
| URI | m2://inv/SR2KESJJ58 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3064125, faceting (unknown). Also MathWorld Faceting
- wikipedia: Wikipedia Faceting, Faceting (object). Also Wikidata Q3064125
History
- 2026-10-26: add by m2/dev
National Incident-Based Reporting System SR2PBSPVG3
| URI | m2://inv/SR2PBSPVG3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Incident-Based Reporting System, National Incident-Based Reporting System (definition). Also Wikidata Q6973479
History
- 2026-11-02: add by m2/dev
Abu al-Wafa Buzjani SR2XW11Y2P
| URI | m2://inv/SR2XW11Y2P |
|---|---|
| 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 Q298439, Abu al-Wafa Buzjani (unknown). Also ProofWiki Mathematician:Abu'l-Wafa_Al-Buzjani
- wikipedia: Wikipedia Abu al-Wafa' al-Buzjani, Abu al-Wafa' al-Buzjani (topic). Also Wikidata Q298439
History
- 2026-10-26: add by m2/dev
Algebraic properties SR35QCWMX7
| URI | m2://inv/SR35QCWMX7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime power#86RA, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
Method SR3928K918
| URI | m2://inv/SR3928K918 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Macaulay's method#XYDK, Method (definition)
History
- 2026-11-02: add by m2/dev
Real reductive group SR3AY1MM34
| URI | m2://inv/SR3AY1MM34 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reductive group#R9MG, Real reductive group (unknown)
History
- 2026-11-02: add by m2/dev
Claude-Louis Mathieu SR3CN6SFCR
| URI | m2://inv/SR3CN6SFCR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claude-Louis Mathieu, Claude-Louis Mathieu (topic). Also Wikidata Q1096910
History
- 2026-11-02: add by m2/dev
Universal failure of Hausdorff lower bounds SR3D1CCXB9
| URI | m2://inv/SR3D1CCXB9 |
|---|---|
| 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 2609.20514#684E, Universal failure of Hausdorff lower bounds (statement)
History
- 2026-11-02: add by m2/v0.6.18
Standard deviation line SR3Q61V9TP
| URI | m2://inv/SR3Q61V9TP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard deviation line, Standard deviation line (definition). Also Wikidata Q115802548
History
- 2026-11-02: add by m2/dev
Sample mean and sample covariance SR3SK1Y2SW
| URI | m2://inv/SR3SK1Y2SW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LYKT, Sample mean and sample covariance (definition)
History
- 2026-11-02: add by m2/dev
Leopold Kronecker SR3WBVXEEX
| URI | m2://inv/SR3WBVXEEX |
|---|---|
| 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 Q76410, Leopold Kronecker (unknown). Also nLab Leopold Kronecker
- wikipedia: Wikipedia Leopold Kronecker, Leopold Kronecker (topic). Also Wikidata Q76410
History
- 2026-10-26: add by m2/dev
Halperin conjecture SR410G06KF
| URI | m2://inv/SR410G06KF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#8OVI, Halperin conjecture (statement)
History
- 2026-11-02: add by m2/dev
Gödel's axiom system (NBG) SR48KHNH57
| URI | m2://inv/SR48KHNH57 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann–Bernays–Gödel set theory#M8BC, Gödel's axiom system (NBG) (statement)
History
- 2026-11-02: add by m2/dev
bridged graph SR4B4HPS2Z
| URI | m2://inv/SR4B4HPS2Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q137562019, bridged graph (unknown). Also MathWorld BridgedGraph
History
- 2026-10-26: add by m2/dev
SR4B8GGSPV SR4B8GGSPV
| URI | m2://inv/SR4B8GGSPV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08638#6Y79 (statement). In 113VZ5XX7J/e1, lemma 5.9
History
- 2026-10-29: add by m2/v0.4.10
Generators, relations, and support of the primary quotient SR4F5MM4VW
| URI | m2://inv/SR4F5MM4VW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#I6KR, Generators, relations, and support of the primary quotient (statement). In XDTM624YPE/e1, theorem 18.8
History
- 2026-10-27: add by m2/v0.4.2
SR4G4RKDTM SR4G4RKDTM
| URI | m2://inv/SR4G4RKDTM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 0811.0544#D0LB (statement). In RKPZ3SC956/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
SR4QV9YRPM SR4QV9YRPM
| URI | m2://inv/SR4QV9YRPM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#ex:ap-path-inversion (exercise). In N54F33XE07, ex, section 7.10
History
- 2026-11-01: add by m2/v0.6.13
Definition SR4V44EMGN
| URI | m2://inv/SR4V44EMGN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cycle rank#0BLF, Definition (definition)
History
- 2026-11-02: add by m2/dev
SR4X80BJXX SR4X80BJXX
| URI | m2://inv/SR4X80BJXX |
|---|---|
| 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.14458#L03L (statement). In WJ76MVYAZQ/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
SR52MQ7Y2S SR52MQ7Y2S
| URI | m2://inv/SR52MQ7Y2S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.09171#KETB (statement). In 5ZPSZFE08Q/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
Randomized experiment SR52RWCG0M
| URI | m2://inv/SR52RWCG0M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#X38C, Randomized experiment (definition)
History
- 2026-11-02: add by m2/dev
conformal gravity SR5563688K
| URI | m2://inv/SR5563688K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5160256, conformal gravity (unknown). Also nLab conformal gravity
- wikipedia: Wikipedia Conformal gravity, Conformal gravity (definition). Also Wikidata Q5160256
History
- 2026-10-26: add by m2/dev
Imprecise probability SR5D1C9VRJ
| URI | m2://inv/SR5D1C9VRJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Imprecise probability, Imprecise probability (definition). Also Wikidata Q6007562
History
- 2026-11-02: add by m2/dev
SR5Q45B0WR SR5Q45B0WR
| URI | m2://inv/SR5Q45B0WR |
|---|---|
| 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.39269#MWBO (statement). In HS4X20TX33/e1, fact 0.17
History
- 2026-10-30: add by m2/v0.4.12
Algorithm SR5Z99GBKY
| URI | m2://inv/SR5Z99GBKY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NewDES#UO18, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Hermite width envelope SR6A0DNXM1
| URI | m2://inv/SR6A0DNXM1 |
|---|---|
| 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.10875#G8C7, Hermite width envelope (definition). In N91F15MHW1/e1, definition 8
History
- 2026-10-28: add by m2/v0.4.3
SR6BK2ZYKH SR6BK2ZYKH
| URI | m2://inv/SR6BK2ZYKH |
|---|---|
| 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#5HWO (statement). In F3X5W4E0AJ/e1, corollary 4
History
- 2026-10-30: add by m2/v0.4.12
SR6HRRTNF7 SR6HRRTNF7
| URI | m2://inv/SR6HRRTNF7 |
|---|---|
| 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.06899#YOND (statement). In 5Z2K9JGFSS/e1, corollary 3.11
History
- 2026-10-29: add by m2/v0.4.10
Properties SR6XPGJ612
| URI | m2://inv/SR6XPGJ612 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nested interval topology#L6XW, Properties (statement)
History
- 2026-11-02: add by m2/dev
Seismic to Simulation SR765CR3CZ
| URI | m2://inv/SR765CR3CZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reservoir modeling#EN15, Seismic to Simulation (unknown)
History
- 2026-11-02: add by m2/dev
SR77FB2ACH SR77FB2ACH
| URI | m2://inv/SR77FB2ACH |
|---|---|
| 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 1008.2055#KY0N (statement). In 76JR4WFT4B/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
SR79DNEBYB SR79DNEBYB
| URI | m2://inv/SR79DNEBYB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24043#GH3V (statement)
History
- 2026-11-02: add by m2/v0.6.17
Applications SR7G4QCPYD
| URI | m2://inv/SR7G4QCPYD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hölder's inequality#UL5D, Applications (example)
History
- 2026-11-02: add by m2/dev
SR7M59NCYC SR7M59NCYC
| URI | m2://inv/SR7M59NCYC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17798#NPPR (statement). In 66H5YPQCYV/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Properties SR860DD9XM
| URI | m2://inv/SR860DD9XM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birkhoff polytope#MBJB, Properties (statement)
History
- 2026-11-02: add by m2/dev
Method SR87VMGG3W
| URI | m2://inv/SR87VMGG3W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compressed sensing#C6J6, Method (definition)
History
- 2026-11-02: add by m2/dev
Examples SR8KEV6VR3
| URI | m2://inv/SR8KEV6VR3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy associative algebra#WIVW, Examples (example)
History
- 2026-11-02: add by m2/dev
direct sum of modules SR8WQZHY4J
| URI | m2://inv/SR8WQZHY4J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1142861, direct sum of modules (unknown). Also EoM Direct_sum, MathWorld ModuleDirectSum
- wikipedia: Wikipedia Direct sum of modules, Direct sum of modules (definition). Also Wikidata Q1142861
History
- 2026-10-26: add by m2/dev
Beatty's theorem SR93T98W78
| URI | m2://inv/SR93T98W78 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#1GOA, Beatty's theorem (object)
History
- 2026-11-02: add by m2/dev
Robine, Jean-Marie SR9FBJMP9V
| URI | m2://inv/SR9FBJMP9V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#G2OB, Robine, Jean-Marie (unknown)
History
- 2026-11-02: add by m2/dev
Basic theorems of the Lebesgue integral SR9FVTC4PT
| URI | m2://inv/SR9FVTC4PT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lebesgue integral#SBVR, Basic theorems of the Lebesgue integral (statement)
History
- 2026-11-02: add by m2/dev
SR9GBF1E2T SR9GBF1E2T
| URI | m2://inv/SR9GBF1E2T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27641#UCB3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dicyclic group SR9JB67AB7
| URI | m2://inv/SR9JB67AB7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dicyclic group, Dicyclic group (definition). Also Wikidata Q3777914
History
- 2026-11-02: add by m2/dev
Unbounded hypercomplete represented CFO SR9V42GR21
| URI | m2://inv/SR9V42GR21 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 2609.28220#M5M2, Unbounded hypercomplete represented CFO (statement)
History
- 2026-11-01: add by m2/v0.6.15
SR9WZFEGTR SR9WZFEGTR
| URI | m2://inv/SR9WZFEGTR |
|---|---|
| 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.14985#AQ38 (statement). In DGXJW3SCBR/e1, proposition 17
History
- 2026-10-28: add by m2/v0.4.2
Rational normal scroll SR9YBE7FE8
| URI | m2://inv/SR9YBE7FE8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational normal scroll, Rational normal scroll (definition). Also Wikidata Q7295773
History
- 2026-11-02: add by m2/dev
Club principle SRA0854QZE
| URI | m2://inv/SRA0854QZE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Club principle, Club principle (statement). Also Wikidata Q5136553
History
- 2026-11-02: add by m2/dev
Standard linear solid model SRA20PZC4P
| URI | m2://inv/SRA20PZC4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard linear solid model, Standard linear solid model (definition). Also Wikidata Q4118814
History
- 2026-11-02: add by m2/dev
13th root SRA6CE9HYN
| URI | m2://inv/SRA6CE9HYN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mental calculation#WJ3O, 13th root (unknown)
History
- 2026-11-02: add by m2/dev
SRA72X7JGR SRA72X7JGR
| URI | m2://inv/SRA72X7JGR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09084#3KN2 (statement). In F5VT2K2QYX/e1, theorem 9
History
- 2026-10-29: add by m2/v0.4.10
Graber,S. SRA9STQ2HQ
| URI | m2://inv/SRA9STQ2HQ |
|---|---|
| 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 2304.09819#G7F1, Graber,S. (statement). In FYKSPSVT37/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.4.0
SRAAJPTFXX SRAAJPTFXX
| URI | m2://inv/SRAAJPTFXX |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/total.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 3.16
History
- 2026-11-01: add by m2/v0.6.13
Hausdorff moment problem SRAC0M15EY
| URI | m2://inv/SRAC0M15EY |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RQ6E, Hausdorff moment problem (problem)
- wikipedia: Wikipedia List of things named after Felix Hausdorff#GNSI, Hausdorff moment problem (problem)
History
- 2026-11-02: add by m2/dev
SRARSC0ZGA SRARSC0ZGA
| URI | m2://inv/SRARSC0ZGA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#example-8 (example). In E9HS8K3A52, example, section 2.5.2
History
- 2026-11-01: add by m2/v0.6.13
Maclaurin series SRAYB98BXE
| URI | m2://inv/SRAYB98BXE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of misnamed theorems#1PQ3, Maclaurin series (definition)
History
- 2026-11-02: add by m2/dev
metabelian group SRAZDKJX83
| URI | m2://inv/SRAZDKJX83 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6822327, metabelian group (unknown). Also MathWorld MetabelianGroup, nLab metabelian group
- wikipedia: Wikipedia Metabelian group, Metabelian group (definition). Also Wikidata Q6822327
History
- 2026-10-26: add by m2/dev
John H. Walter SRB0XCNWSY
| URI | m2://inv/SRB0XCNWSY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John H. Walter, John H. Walter (topic). Also Wikidata Q15966642
History
- 2026-11-02: add by m2/dev
SRB3Z0GPSK SRB3Z0GPSK
| URI | m2://inv/SRB3Z0GPSK |
|---|---|
| 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.12983#UPZ3 (statement). In M6TFZ6E060/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
SRBAQETE1K SRBAQETE1K
| URI | m2://inv/SRBAQETE1K |
|---|---|
| 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 1311.6044#0MWQ (statement). In W4FFB6SVZD/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
SRBDF713MZ SRBDF713MZ
| URI | m2://inv/SRBDF713MZ |
|---|---|
| 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.04673#NV1O (statement). In KKC0CT44FJ/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
Krishnaswami Alladi SRBF4ZPWGZ
| URI | m2://inv/SRBF4ZPWGZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krishnaswami Alladi, Krishnaswami Alladi (topic). Also Wikidata Q18763803
History
- 2026-11-02: add by m2/dev
SRBJJAESAN SRBJJAESAN
| URI | m2://inv/SRBJJAESAN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04876#PB0W (statement). In 2TNAKVC0YP/e1, proposition 3.7
History
- 2026-10-29: add by m2/v0.4.12
Spreading two atoms SRBKE6R3CY
| URI | m2://inv/SRBKE6R3CY |
|---|---|
| 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.10017#XVHL, Spreading two atoms (statement). In CJRBKR4JKT/e1, lemma 7.14
History
- 2026-10-29: add by m2/v0.4.10
Definition 2.4.2 in , \coqident{Foundations}{PartA}{hfiber SRBP4HTTAD
| URI | m2://inv/SRBP4HTTAD |
|---|---|
| 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 1904.09810#AWBN, Definition 2.4.2 in , \coqident{Foundations}{PartA}{hfiber (definition). In T1VFA7TXPA/e1, definition 72
History
- 2026-10-27: add by m2/v0.3.5
Richard Montague SRBS9Z88W4
| URI | m2://inv/SRBS9Z88W4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#5CZH, Richard Montague (topic)
History
- 2026-11-02: add by m2/dev
SRBTR7DGKW SRBTR7DGKW
| URI | m2://inv/SRBTR7DGKW |
|---|---|
| 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.39809#CTF8 (statement). In 97YSJAHESY/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
square root of 5 SRBV9RJD24
| URI | m2://inv/SRBV9RJD24 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2337529, square root of 5 (object). Also OEIS A002163
- wikipedia: Wikipedia Square root of 5, Square root of 5 (definition). Also Wikidata Q2337529
History
- 2026-10-26: add by m2/dev
SRBXYTKDNC SRBXYTKDNC
| URI | m2://inv/SRBXYTKDNC |
|---|---|
| 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#X5J7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Quantitative marketing research SRC3BXTC14
| URI | m2://inv/SRC3BXTC14 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BIAI, Quantitative marketing research (definition)
History
- 2026-11-02: add by m2/dev
SRCCTP939Z SRCCTP939Z
| URI | m2://inv/SRCCTP939Z |
|---|---|
| Kind | example |
| 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 2508.03972#FY60 (example). In 2JD3KNKJ1P/e1, example 5.2
History
- 2026-10-27: add by m2/v0.3.5
Time orientability SRCVJ2RDW4
| URI | m2://inv/SRCVJ2RDW4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Causal structure#K066, Time orientability (unknown)
History
- 2026-11-02: add by m2/dev
Direct sum of groups SRD4GGB9BH
| URI | m2://inv/SRD4GGB9BH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#TEZK, Direct sum of groups (definition)
History
- 2026-11-02: add by m2/dev
Repetition blindness SRD9M2Y0TN
| URI | m2://inv/SRD9M2Y0TN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#YW2Q, Repetition blindness (unknown)
History
- 2026-11-02: add by m2/dev
SRDA9Y3VBA SRDA9Y3VBA
| URI | m2://inv/SRDA9Y3VBA |
|---|---|
| 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.08104#BSTV (statement). In AH6BX8RZTW/e1, corollary 1.7
History
- 2026-10-29: add by m2/v0.4.10
Stuart A. Rice SRDKB0H5TN
| URI | m2://inv/SRDKB0H5TN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#9PBO, Stuart A. Rice (topic)
History
- 2026-11-02: add by m2/dev
SRDWSSWJK1 SRDWSSWJK1
| URI | m2://inv/SRDWSSWJK1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.06872#JHJ5 (statement). In J4H3A11MMX/e1, theorem B
History
- 2026-10-29: add by m2/v0.4.10
endomorphism SRDWW6PQYZ
| URI | m2://inv/SRDWW6PQYZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#4ZA8, endomorphism (definition)
History
- 2026-11-02: add by m2/dev
SREDK0QCZB SREDK0QCZB
| URI | m2://inv/SREDK0QCZB |
|---|---|
| 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#91ML (statement). In GW23NX78SB/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
SRETEFVGBQ SRETEFVGBQ
| URI | m2://inv/SRETEFVGBQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-6-2-1.xml#act-6-2-1 (exercise). In 907G4C4EJ1, activity, section 6.2.2
History
- 2026-11-01: add by m2/v0.6.13
Notation SRF2FV4BG8
| URI | m2://inv/SRF2FV4BG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consistency#47GH, Notation (definition)
History
- 2026-11-02: add by m2/dev
SRF33T0CRQ SRF33T0CRQ
| URI | m2://inv/SRF33T0CRQ |
|---|---|
| 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.03517#L5PS (statement). In 3CGS9GSKTQ/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
SRF5D6PDZS SRF5D6PDZS
| URI | m2://inv/SRF5D6PDZS |
|---|---|
| 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#APF7 (statement). In 3KTZ6Z615H/e1, theorem 6.2
History
- 2026-10-30: add by m2/v0.4.12
SRFRWN9F9Y SRFRWN9F9Y
| URI | m2://inv/SRFRWN9F9Y |
|---|---|
| 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.37562#4TKG (statement). In PYY8DFK2JS/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
SRFTZ37EY2 SRFTZ37EY2
| URI | m2://inv/SRFTZ37EY2 |
|---|---|
| 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#906O (definition). In Q5Z178SAHP/e1, definition 3.8
History
- 2026-10-30: add by m2/v0.4.12
Gaussian brackets SRFWW7VFES
| URI | m2://inv/SRFWW7VFES |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#LZMQ, Gaussian brackets (unknown)
History
- 2026-11-02: add by m2/dev
Asclepius of Tralles SRG44AEQ7X
| URI | m2://inv/SRG44AEQ7X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#YXB2, Asclepius of Tralles (topic)
History
- 2026-11-02: add by m2/dev
Cartier expansion SRG5BN9HZ2
| URI | m2://inv/SRG5BN9HZ2 |
|---|---|
| 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.17476#J9OG, Cartier expansion (statement). In 6HXD74FA4S/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
Rhombitrihexagonal tiling SRG7VYCWSH
| URI | m2://inv/SRG7VYCWSH |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhombitrihexagonal tiling, Rhombitrihexagonal tiling (object). Also Wikidata Q3063640
History
- 2026-11-02: add by m2/dev
SRGD98EA07 SRGD98EA07
| URI | m2://inv/SRGD98EA07 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-4.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
SRGFCV9HGE SRGFCV9HGE
| URI | m2://inv/SRGFCV9HGE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#example-3 (example). In RZP28ERRZV, example, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
Hall's Marriage Theorem SRGH3VCS0H
| URI | m2://inv/SRGH3VCS0H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-matchings.ptx#theorem-1, Hall's Marriage Theorem (statement). In Y91XFCEVHQ, theorem, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
SRGJ6WRYTP SRGJ6WRYTP
| URI | m2://inv/SRGJ6WRYTP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24917#E4QZ (example)
History
- 2026-11-01: add by m2/v0.6.15
SRGK3E6Z2Y SRGK3E6Z2Y
| URI | m2://inv/SRGK3E6Z2Y |
|---|---|
| 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.40023#FFKA (statement). In JW9ARS9AQE/e1, proposition 4.3
History
- 2026-10-30: add by m2/v0.4.12
705 (number) SRGNASYPQG
| URI | m2://inv/SRGNASYPQG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#9TF7, 705 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Definitions SRGYWKBMKS
| URI | m2://inv/SRGYWKBMKS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tolerance relation#EWAP, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Shewhart individuals control chart SRGZRDH836
| URI | m2://inv/SRGZRDH836 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shewhart individuals control chart, Shewhart individuals control chart (definition). Also Wikidata Q7495725
History
- 2026-11-02: add by m2/dev
SRH1RAWWVA SRH1RAWWVA
| URI | m2://inv/SRH1RAWWVA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.21255#6HGO (statement)
History
- 2026-11-02: add by m2/v0.6.18
SRH4KGJ5AS SRH4KGJ5AS
| URI | m2://inv/SRH4KGJ5AS |
|---|---|
| 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.03497#UMMF (statement). In RRNHC0CAC9/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
Angle formulas SRH4XJA441
| URI | m2://inv/SRH4XJA441 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tangential quadrilateral#AIBH, Angle formulas (statement)
History
- 2026-11-02: add by m2/dev
Beverton–Holt model SRHD2FDK9K
| URI | m2://inv/SRHD2FDK9K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DDHX, Beverton–Holt model (definition)
History
- 2026-11-02: add by m2/dev
SRHGGT35B6 SRHGGT35B6
| URI | m2://inv/SRHGGT35B6 |
|---|---|
| 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.25314#QNC2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Loewner's torus inequality SRHKNPE1SE
| URI | m2://inv/SRHKNPE1SE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probabilistic proofs of non-probabilistic theorems#GZYC, Loewner's torus inequality (definition)
History
- 2026-11-02: add by m2/dev
Suzanne Weekes SRHM8K1QNQ
| URI | m2://inv/SRHM8K1QNQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Suzanne Weekes, Suzanne Weekes (topic). Also Wikidata Q30122232
History
- 2026-11-02: add by m2/dev
Horrocks–Mumford bundle SRJ15BYM5Z
| URI | m2://inv/SRJ15BYM5Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Horrocks–Mumford bundle, Horrocks–Mumford bundle (definition). Also Wikidata Q5905129
History
- 2026-11-02: add by m2/dev
Continuum hypothesis SRJ5Q4QSQ1
| URI | m2://inv/SRJ5Q4QSQ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statements independent of ZFC#F19N, Continuum hypothesis (statement)
History
- 2026-11-02: add by m2/dev
SRJ7RFW9DD SRJ7RFW9DD
| URI | m2://inv/SRJ7RFW9DD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#OKWF (definition). In 7V3HG30ZGW/e1, definition A.19
History
- 2026-10-27: add by m2/v0.4.0
Triangular zero-curvature representation SRJEZAHXT4
| URI | m2://inv/SRJEZAHXT4 |
|---|---|
| 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.19192#TAAP, Triangular zero-curvature representation (statement). In E53KCQ5029/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
Penalized regression SRJJA587J9
| URI | m2://inv/SRJJA587J9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regularized least squares#70G4, Penalized regression (unknown)
History
- 2026-11-02: add by m2/dev
Classical modular curve SRJKDE5DJS
| URI | m2://inv/SRJKDE5DJS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classical modular curve, Classical modular curve (definition). Also Wikidata Q3821113
History
- 2026-11-02: add by m2/dev
SRJNWNNRRS SRJNWNNRRS
| URI | m2://inv/SRJNWNNRRS |
|---|---|
| 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.33469#D7WB (statement). In TC5QA4AB4Z/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Gertrude Ehrlich SRJSJAVYS0
| URI | m2://inv/SRJSJAVYS0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gertrude Ehrlich, Gertrude Ehrlich (topic). Also Wikidata Q101079333
History
- 2026-11-02: add by m2/dev
SRK2KV4JZH SRK2KV4JZH
| URI | m2://inv/SRK2KV4JZH |
|---|---|
| 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.22296#VI3I (statement)
History
- 2026-11-02: add by m2/v0.6.17
SRK3YWNDMH SRK3YWNDMH
| URI | m2://inv/SRK3YWNDMH |
|---|---|
| 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.31327#QXX8 (definition). In F605BQ3AYX/e1, definition 5.6
History
- 2026-10-31: add by m2/v0.5.6
SRK5J2T0YG SRK5J2T0YG
| URI | m2://inv/SRK5J2T0YG |
|---|---|
| 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#7I72 (statement). In 9B5TNEBJHV/e1, lemma 3.21
History
- 2026-10-29: add by m2/v0.4.10
SRKGZSKEGG SRKGZSKEGG
| URI | m2://inv/SRKGZSKEGG |
|---|---|
| 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.35275#6036 (statement). In B0NV0JBAKB/e1, theorem 4.2
- arxiv: arXiv 2609.35275#NCWX (statement). In B0NV0JBAKB/e1, theorem A.6
History
- 2026-10-30: add by m2/v0.4.12
One-dimensional subtori SRKNS09HPP
| URI | m2://inv/SRKNS09HPP |
|---|---|
| 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.26576#2Y6O, One-dimensional subtori (statement)
History
- 2026-11-01: add by m2/v0.6.15
SRKT57MB55 SRKT57MB55
| URI | m2://inv/SRKT57MB55 |
|---|---|
| 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 2601.01000#VHAI (statement). In RYFV9HGWWZ/e1, lemma 35
History
- 2026-10-27: add by m2/v0.3.5
Moysey Fishbein SRMDB1CH0Z
| URI | m2://inv/SRMDB1CH0Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#KT95, Moysey Fishbein (unknown)
History
- 2026-11-02: add by m2/dev
Sequential decoding SRMH6QE4ZS
| URI | m2://inv/SRMH6QE4ZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequential decoding, Sequential decoding (definition). Also Wikidata Q7452500
History
- 2026-11-02: add by m2/dev
The pre-Bott classes SRMHFZ7YWS
| URI | m2://inv/SRMHFZ7YWS |
|---|---|
| Kind | definition |
| 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.21675#VZFX, The pre-Bott classes (definition). In TB1294GY5X/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.2
Snub (geometry) SRMNT72XW1
| URI | m2://inv/SRMNT72XW1 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#WVJ0, Snub (geometry) (object)
History
- 2026-11-02: add by m2/dev
Kazuhiro Fujiwara SRMP8SNMK7
| URI | m2://inv/SRMP8SNMK7 |
|---|---|
| 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#RZSD, Kazuhiro Fujiwara (unknown)
History
- 2026-11-02: add by m2/dev
Example SRMRBXT028
| URI | m2://inv/SRMRBXT028 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayes estimator#HJ99, Example (example)
History
- 2026-11-02: add by m2/dev
SRMXEG0300 SRMXEG0300
| URI | m2://inv/SRMXEG0300 |
|---|---|
| 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.11829#WYJR (statement). In 76DK6SPN88/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.3
prime number SRN6P3ZN2W
| URI | m2://inv/SRN6P3ZN2W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#PYSI, prime number (definition)
History
- 2026-11-02: add by m2/dev
SRN87KW49J SRN87KW49J
| URI | m2://inv/SRN87KW49J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#example-11 (example). In E59CDZA4DP, example, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
SRNDC3YXDE SRNDC3YXDE
| URI | m2://inv/SRNDC3YXDE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16606#MXON (statement). In A798V7TX99/e1, lemma 5.13
History
- 2026-10-28: add by m2/v0.4.2
ot SRNHYG5JEM
| URI | m2://inv/SRNHYG5JEM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#F04Y, ot (definition)
History
- 2026-11-02: add by m2/dev
Hyperboloid of one sheet SRNN0VQ1WH
| URI | m2://inv/SRNN0VQ1WH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of surfaces#6E57, Hyperboloid of one sheet (definition)
History
- 2026-11-02: add by m2/dev
SRP12Y3S4Y SRP12Y3S4Y
| URI | m2://inv/SRP12Y3S4Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28289#KJRJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
SRPC64QBGH SRPC64QBGH
| URI | m2://inv/SRPC64QBGH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.05529#714G (definition). In 9VPMHV0M4R/e1, definition 1.10
History
- 2026-10-31: add by m2/v0.5.6
Vladimir Ignatowski SRPCX98NP6
| URI | m2://inv/SRPCX98NP6 |
|---|---|
| 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 Q1385596, Vladimir Ignatowski (unknown). Also ProofWiki Mathematician:Vladimir_Sergeyevitch_Ignatowski
History
- 2026-10-26: add by m2/dev
Earliest deadline first scheduling SRQ3TA0CHN
| URI | m2://inv/SRQ3TA0CHN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#MF7R, Earliest deadline first scheduling (unknown)
History
- 2026-11-02: add by m2/dev
SRQ46JSEVC SRQ46JSEVC
| URI | m2://inv/SRQ46JSEVC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18419#ARRF (statement). In 7Q26JWKD7E/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Tietze transformation SRQ6A1ABRV
| URI | m2://inv/SRQ6A1ABRV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#CT01, Tietze transformation (definition)
History
- 2026-11-02: add by m2/dev
SRQ9D2N1YR SRQ9D2N1YR
| URI | m2://inv/SRQ9D2N1YR |
|---|---|
| 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 2507.17002#MPKZ (statement). In 2EEBP88T16/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.3.5
Projection with a gradient constraint SRQDQY8K9Q
| URI | m2://inv/SRQDQY8K9Q |
|---|---|
| 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.19410#JB53, Projection with a gradient constraint (statement). In GRESY1RPK6/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.2
SRQEGGYJZS SRQEGGYJZS
| URI | m2://inv/SRQEGGYJZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#ZX34 (statement). In 5KR3MHYVV6/e1, corollary 3.15
History
- 2026-10-28: add by m2/v0.4.2
SRQF01K49S SRQF01K49S
| URI | m2://inv/SRQF01K49S |
|---|---|
| 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.27823#A4DN (statement)
History
- 2026-11-01: add by m2/v0.6.15
SRQM8F7PBS SRQM8F7PBS
| URI | m2://inv/SRQM8F7PBS |
|---|---|
| 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.27181#WDTY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algebraic number field SRQSFTC7YS
| URI | m2://inv/SRQSFTC7YS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#YUIR, Algebraic number field (definition)
- wikipedia: Wikipedia List of abstract algebra topics#28VM, Algebraic number field (definition)
- wikipedia: Wikipedia List of commutative algebra topics#0FQR, Algebraic number field (definition)
History
- 2026-11-02: add by m2/dev
False discovery rate SRQSSA5Z6V
| URI | m2://inv/SRQSSA5Z6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia False discovery rate, False discovery rate (definition). Also Wikidata Q5432696
History
- 2026-11-02: add by m2/dev
Variants SRQXACQ593
| URI | m2://inv/SRQXACQ593 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Running key cipher#MY6E, Variants (statement)
History
- 2026-11-02: add by m2/dev
Cauchy transform and Riesz potential SRR4XT1A7H
| URI | m2://inv/SRR4XT1A7H |
|---|---|
| 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.13753#MQBW, Cauchy transform and Riesz potential (statement). In AHM0PBKZZN/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
SRR9JAEE3W SRR9JAEE3W
| URI | m2://inv/SRR9JAEE3W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-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 2307.06098#F1OP (statement). In DK1V8M7DS4/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
SRRA3P2TD6 SRRA3P2TD6
| URI | m2://inv/SRRA3P2TD6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-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 2609.39745#XTLF (example). In V276PQS61M/e1, example 3.2
History
- 2026-10-30: add by m2/v0.4.12
Histogram formula SRRA6N1J13
| URI | m2://inv/SRRA6N1J13 |
|---|---|
| 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 2609.27153#8FQI, Histogram formula (statement)
History
- 2026-11-01: add by m2/v0.6.15
SRRBB2YC2M SRRBB2YC2M
| URI | m2://inv/SRRBB2YC2M |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:dollocal (exercise). In VNMV985MXX, exercise, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Length (>1) of shortest sequences of consecutive primes started with prime(n) such that sum is also prime. SRRBDG3J79
| URI | m2://inv/SRRBDG3J79 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100194514, Length (>1) of shortest sequences of consecutive primes started with prime(n) such that sum is also prime. (object). Also OEIS A071194
History
- 2026-10-26: add by m2/dev
SRRFXDHV71 SRRFXDHV71
| URI | m2://inv/SRRFXDHV71 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24545#IPOV (definition)
History
- 2026-11-01: add by m2/v0.6.15
Segre classification SRRH9NZHS9
| URI | m2://inv/SRRH9NZHS9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7446318, Segre classification (concept). Also EoM Segre classification
- wikipedia: Wikipedia Segre classification, Segre classification (definition). Also Wikidata Q7446318
History
- 2026-10-26: add by m2/dev
SRRHKZD5HB SRRHKZD5HB
| URI | m2://inv/SRRHKZD5HB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14509#FXQR (statement). In N6GD8392QB/e1, theorem 17.1
History
- 2026-10-28: add by m2/v0.4.2
Comparison to the second recursion theorem SRRMCD2GPA
| URI | m2://inv/SRRMCD2GPA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleene's recursion theorem#A8AU, Comparison to the second recursion theorem (statement)
History
- 2026-11-02: add by m2/dev
Carmen Argote SRRMTJE7QQ
| URI | m2://inv/SRRMTJE7QQ |
|---|---|
| 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#C4J6, Carmen Argote (unknown)
History
- 2026-11-02: add by m2/dev
Main theorem SRRPAMK4V4
| URI | m2://inv/SRRPAMK4V4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2510.05499#8G2G, Main theorem (statement). In WRMNCC8VBC/e1, theorem 11
History
- 2026-10-27: add by m2/v0.3.6
Dilworth's theorem SRRS2ZFGW1
| URI | m2://inv/SRRS2ZFGW1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Szekeres theorem#D18N, Dilworth's theorem (statement)
History
- 2026-11-02: add by m2/dev
SRRT9426DG SRRT9426DG
| URI | m2://inv/SRRT9426DG |
|---|---|
| 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.15219#2780 (statement). In QMKFWSF9QZ/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Leopoldo Nachbin SRRWPBKG1Q
| URI | m2://inv/SRRWPBKG1Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KTQ2, Leopoldo Nachbin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QSNY, Leopoldo Nachbin (topic)
History
- 2026-11-02: add by m2/dev
Hoop stress SRS4KG324Q
| URI | m2://inv/SRS4KG324Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cylinder stress#I7UM, Hoop stress (unknown)
History
- 2026-11-02: add by m2/dev
SRSDQBVGMB SRSDQBVGMB
| URI | m2://inv/SRSDQBVGMB |
|---|---|
| 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 2609.29537#6C01 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Descartes' rule of signs SRSEHDJGXM
| URI | m2://inv/SRSEHDJGXM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#AD31, Descartes' rule of signs (definition)
History
- 2026-11-02: add by m2/dev
Paul Meier SRSFEC3A0V
| URI | m2://inv/SRSFEC3A0V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#032S, Paul Meier (topic)
History
- 2026-11-02: add by m2/dev
Sten scores SRSFWA7DYR
| URI | m2://inv/SRSFWA7DYR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sten scores, Sten scores (definition). Also Wikidata Q7607451
History
- 2026-11-02: add by m2/dev
matrix, shape SRSGKM2ARR
| URI | m2://inv/SRSGKM2ARR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/2.2.1/matrix-shape, matrix, shape (concept). In 649HGZKE96, index, section 2.2.1
History
- 2026-11-01: add by m2/v0.6.13
List of Fourier-related transforms SRSJ8Q78Q4
| URI | m2://inv/SRSJ8Q78Q4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier-related transforms, List of Fourier-related transforms (topic). Also Wikidata Q6571111
History
- 2026-11-02: add by m2/dev
SRSQ73XAZP SRSQ73XAZP
| URI | m2://inv/SRSQ73XAZP |
|---|---|
| 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 2012.11507#NCE7 (statement). In DZA5P853H9/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
SRSXT34VSQ SRSXT34VSQ
| URI | m2://inv/SRSXT34VSQ |
|---|---|
| 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.20758#KZVJ (definition). In PG0B4PH9YH/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.2
SRT32JVDY6 SRT32JVDY6
| URI | m2://inv/SRT32JVDY6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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 2609.21668#QLVO (definition)
History
- 2026-11-02: add by m2/v0.6.18
SRTAKA0Y5X SRTAKA0Y5X
| URI | m2://inv/SRTAKA0Y5X |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#proof-7 (proof). In N54F33XE07, proof, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
Uses SRTHTBEPZY
| URI | m2://inv/SRTHTBEPZY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotone likelihood ratio#72KZ, Uses (example)
History
- 2026-11-02: add by m2/dev
SRTTK5RDFY SRTTK5RDFY
| URI | m2://inv/SRTTK5RDFY |
|---|---|
| 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.06488#4JU5 (statement). In XG3BJ2QXXP/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
SRTVJBJD11 SRTVJBJD11
| URI | m2://inv/SRTVJBJD11 |
|---|---|
| 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.36668#W3NQ (statement). In RD729BY377/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Shannon–Hartley theorem SRTXWBS5EB
| URI | m2://inv/SRTXWBS5EB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#MY3K, Shannon–Hartley theorem (statement)
History
- 2026-11-02: add by m2/dev
⊗ SRV5T03CSZ
| URI | m2://inv/SRV5T03CSZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#71ME, ⊗ (definition)
History
- 2026-11-02: add by m2/dev
Relative-error estimate SRV6VRW1Q0
| URI | m2://inv/SRV6VRW1Q0 |
|---|---|
| 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#52RA, Relative-error estimate (statement)
History
- 2026-11-01: add by m2/v0.6.15
SRVATCTHZE SRVATCTHZE
| URI | m2://inv/SRVATCTHZE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09333#96BD (definition). In Z9HC1EDTQP/e1, definition 3.8
History
- 2026-10-29: add by m2/v0.4.10
Definition SRVFG4FX0F
| URI | m2://inv/SRVFG4FX0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Growth rate (group theory)#20Z1, Definition (definition)
History
- 2026-11-02: add by m2/dev
SRVGW8C4FK SRVGW8C4FK
| URI | m2://inv/SRVGW8C4FK |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#L1KS (unknown). In QNBFHFZ3H0/e1, unknown
History
- 2026-10-28: add by m2/v0.4.2
SRVKFW7TH6 SRVKFW7TH6
| URI | m2://inv/SRVKFW7TH6 |
|---|---|
| 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.27524#UF4R (statement)
History
- 2026-11-01: add by m2/v0.6.15
centered square number SRVKT6TNEA
| URI | m2://inv/SRVKT6TNEA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q190900, centered square number (unknown). Also MathWorld CenteredSquareNumber, OEIS A001844
- wikipedia: Wikipedia Centered square number, Centered square number (definition). Also Wikidata Q190900
History
- 2026-10-26: add by m2/dev
Statistics and Computing SRVTEYBRS9
| URI | m2://inv/SRVTEYBRS9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#ERWG, Statistics and Computing (unknown)
History
- 2026-11-02: add by m2/dev
SRVVQ21PNF SRVVQ21PNF
| URI | m2://inv/SRVVQ21PNF |
|---|---|
| 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.37897#YWU6 (statement). In RBQ5FNCVNZ/e1, lemma 6.16
History
- 2026-10-30: add by m2/v0.4.12
SRVY1TQ8K6 SRVY1TQ8K6
| URI | m2://inv/SRVY1TQ8K6 |
|---|---|
| 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#NCDB (statement). In K9G02J8MXT/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.2
Applications SRVY3NX0EE
| URI | m2://inv/SRVY3NX0EE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical semantics#3SEH, Applications (example)
History
- 2026-11-02: add by m2/dev
Definition and properties SRW80HKFM4
| URI | m2://inv/SRW80HKFM4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Courant bracket#R5M7, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
SRWAGAMPYB SRWAGAMPYB
| URI | m2://inv/SRWAGAMPYB |
|---|---|
| Kind | example |
| 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.11679#TH2N (example). In 30PZ8ZVR3A/e1, example 3.6
History
- 2026-10-28: add by m2/v0.4.3
A rectifiable path that is not a cross-section path SRWPHY7657
| URI | m2://inv/SRWPHY7657 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26129#A6R2, A rectifiable path that is not a cross-section path (statement)
History
- 2026-11-01: add by m2/v0.6.15
Centered set SRWPM3H3XS
| URI | m2://inv/SRWPM3H3XS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centered set, Centered set (definition). Also Wikidata Q5060033
History
- 2026-11-02: add by m2/dev
SRWV3JK91Q SRWV3JK91Q
| URI | m2://inv/SRWV3JK91Q |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/alpha.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 38.9
History
- 2026-11-01: add by m2/v0.6.13
special compound SRXDMAT9C4
| URI | m2://inv/SRXDMAT9C4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#73TF, special compound (unknown)
History
- 2026-11-02: add by m2/dev
Jesús Ildefonso Díaz SRXEYX2DSE
| URI | m2://inv/SRXEYX2DSE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jesús Ildefonso Díaz, Jesús Ildefonso Díaz (topic). Also Wikidata Q19903948
History
- 2026-11-02: add by m2/dev
SRXKN8XCAS SRXKN8XCAS
| URI | m2://inv/SRXKN8XCAS |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#proof-21 (proof). In E59CDZA4DP, proof, section 4.4.2
History
- 2026-11-01: add by m2/v0.6.13
Eigenfunction SRXNNBCF32
| URI | m2://inv/SRXNNBCF32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#WPYB, Eigenfunction (definition)
History
- 2026-11-02: add by m2/dev
Non-convexity SRXPH0FDKF
| URI | m2://inv/SRXPH0FDKF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-convexity (economics), Non-convexity (definition). Also Wikidata Q7048884
History
- 2026-11-02: add by m2/dev
Raw Expressions SRXRP13EMQ
| URI | m2://inv/SRXRP13EMQ |
|---|---|
| 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.21131#YKPA, Raw Expressions (definition). In CPYWHRTPKC/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.2
Fictitious domain method SRXRPXHRQE
| URI | m2://inv/SRXRPXHRQE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fictitious domain method, Fictitious domain method (definition). Also Wikidata Q5446587
History
- 2026-11-02: add by m2/dev
Bispectrum SRXS8RMW92
| URI | m2://inv/SRXS8RMW92 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CE1K, Bispectrum (definition)
History
- 2026-11-02: add by m2/dev
SRXSQC1D87 SRXSQC1D87
| URI | m2://inv/SRXSQC1D87 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/infinite-valued-logics/goedel.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 39.4
History
- 2026-11-01: add by m2/v0.6.13
SRXXRYY9DE SRXXRYY9DE
| URI | m2://inv/SRXXRYY9DE |
|---|---|
| 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.09729#BGD3 (statement). In 7CDD4HCYTV/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.10
composition algebra SRY0A5YD93
| URI | m2://inv/SRY0A5YD93 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2835957, composition algebra (unknown). Also nLab composition algebra
- wikipedia: Wikipedia Composition algebra, Composition algebra (definition). Also Wikidata Q2835957
History
- 2026-10-26: add by m2/dev
SRY6YXKJPJ SRY6YXKJPJ
| URI | m2://inv/SRY6YXKJPJ |
|---|---|
| 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#HSX1 (statement). In CPDMYJ0NJV/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
SRYW98XH3G SRYW98XH3G
| URI | m2://inv/SRYW98XH3G |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-36 (proof). In N54F33XE07, proof, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Exact replica realization of fractional bin packing SRZ7B11XFV
| URI | m2://inv/SRZ7B11XFV |
|---|---|
| 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#9Q1Z, Exact replica realization of fractional bin packing (statement). In 9YAE8FNQST/e1, theorem 3.7
History
- 2026-10-30: add by m2/v0.4.12
$(\epsilon,\delta)$-repetition budget SRZ8TQPXPB
| URI | m2://inv/SRZ8TQPXPB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10795#G8OV, $(\epsilon,\delta)$-repetition budget (definition). In RXPSC74YPT/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.3
Bertrand competition SRZ9ZTW8YP
| URI | m2://inv/SRZ9ZTW8YP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bertrand competition, Bertrand competition (definition). Also Wikidata Q828555
History
- 2026-11-02: add by m2/dev
SRZK9DRGKW SRZK9DRGKW
| URI | m2://inv/SRZK9DRGKW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#ex:lem-ldn (exercise). In N54F33XE07, ex, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Properties SRZQ5Y75CC
| URI | m2://inv/SRZQ5Y75CC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum mean square error estimator#YCEV, Properties (statement)
History
- 2026-11-02: add by m2/dev
SRZXPK3YA1 SRZXPK3YA1
| URI | m2://inv/SRZXPK3YA1 |
|---|---|
| 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.33154#7DX3 (statement). In N28DEYRBW7/e1, lemma C.1
History
- 2026-10-30: add by m2/v0.4.12