Inventory rows ME
The cards of the rows of the inventory whose ids start with ME. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
ME02TC03Z4 ME02TC03Z4
| URI | m2://inv/ME02TC03Z4 |
|---|---|
| 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.23558#VOOG (statement)
History
- 2026-11-02: add by m2/v0.6.17
Stieltjes measure ME03CMV9MH
| URI | m2://inv/ME03CMV9MH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > Stieltjes measure, Stieltjes measure (unknown). Also Mathlib StieltjesFunction.measure
History
- 2026-10-26: add by m2/dev
ME0GS0ARR9 ME0GS0ARR9
| URI | m2://inv/ME0GS0ARR9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05850#201C (definition). In D424GB5MAW/e1, definition 4.7
History
- 2026-10-29: add by m2/v0.4.10
ME0JCHQ22S ME0JCHQ22S
| URI | m2://inv/ME0JCHQ22S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27241#DQ2B (definition)
History
- 2026-11-01: add by m2/v0.6.15
Boundary element method ME0TEQPE9F
| URI | m2://inv/ME0TEQPE9F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partial differential equation topics#P36E, Boundary element method (definition)
History
- 2026-11-02: add by m2/dev
Erdős–Kac theorem ME17N17PP3
| URI | m2://inv/ME17N17PP3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Paul Erdős#RHGO, Erdős–Kac theorem (statement)
- wikipedia: Wikipedia List of number theory topics#AWE4, Erdős–Kac theorem (statement)
History
- 2026-11-02: add by m2/dev
Solidity ME186AGPXQ
| URI | m2://inv/ME186AGPXQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-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.22109#9JVJ, Solidity (statement). In MZ60NP20BH/e1, theorem 4.10
History
- 2026-10-27: add by m2/v0.4.0
ME1929AB4A ME1929AB4A
| URI | m2://inv/ME1929AB4A |
|---|---|
| Kind | statement |
| 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#IJ4Z (statement). In 7V3HG30ZGW/e1, proposition A.31
History
- 2026-10-27: add by m2/v0.4.0
Dieter Jungnickel ME270SS7AQ
| URI | m2://inv/ME270SS7AQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dieter Jungnickel, Dieter Jungnickel (topic). Also Wikidata Q1222226
History
- 2026-11-02: add by m2/dev
ME276XSC5C ME276XSC5C
| URI | m2://inv/ME276XSC5C |
|---|---|
| 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.03337#QA9S (statement). In VH7EZDGTNA/e1, theorem 5.5
History
- 2026-10-29: add by m2/v0.4.12
Examples ME27YWDRDS
| URI | m2://inv/ME27YWDRDS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie group action#QXUY, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition ME29JDJBD0
| URI | m2://inv/ME29JDJBD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tate cohomology group#TUT9, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples ME29XDPVDJ
| URI | m2://inv/ME29XDPVDJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smooth scheme#BNUO, Examples (example)
History
- 2026-11-02: add by m2/dev
Co-NP-completeness of second-level recognition ME2CZJ8ZDZ
| URI | m2://inv/ME2CZJ8ZDZ |
|---|---|
| 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.37589#ZONF, Co-NP-completeness of second-level recognition (statement). In 18HVB2SKW1/e1, theorem 3.7
History
- 2026-10-30: add by m2/v0.4.12
ME2GJ7YYWN ME2GJ7YYWN
| URI | m2://inv/ME2GJ7YYWN |
|---|---|
| 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.09390#AQT9 (statement). In 7SSKW778T8/e1, lemma 8.1
History
- 2026-10-29: add by m2/v0.4.10
Limit Identification ME32MG5MDG
| URI | m2://inv/ME32MG5MDG |
|---|---|
| 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.22513#6TPK, Limit Identification (statement)
History
- 2026-11-02: add by m2/v0.6.17
Example ME345P8Q1P
| URI | m2://inv/ME345P8Q1P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jónsson–Tarski algebra#LUID, Example (example)
History
- 2026-11-02: add by m2/dev
Semi-simple Lie group ME3AY589V7
| URI | m2://inv/ME3AY589V7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple Lie group#8AKF, Semi-simple Lie group (unknown)
History
- 2026-11-02: add by m2/dev
ME3JWXHASV ME3JWXHASV
| URI | m2://inv/ME3JWXHASV |
|---|---|
| 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.32174#010N (statement). In GHKR740SG3/e1, theorem 21.3
History
- 2026-10-31: add by m2/v0.5.6
Argumentation ME3NEFTEW7
| URI | m2://inv/ME3NEFTEW7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#IJ4S, Argumentation (unknown)
History
- 2026-11-02: add by m2/dev
Cyclic module ME3WQ0JR2Q
| URI | m2://inv/ME3WQ0JR2Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic module, Cyclic module (definition). Also Wikidata Q3317997
History
- 2026-11-02: add by m2/dev
ME40VRGVET ME40VRGVET
| URI | m2://inv/ME40VRGVET |
|---|---|
| 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.37208#MTP6 (statement). In 7MCBCP4T0B/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
truth-in-a-model ME43G1E698
| URI | m2://inv/ME43G1E698 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#KSR9, truth-in-a-model (definition)
History
- 2026-11-02: add by m2/dev
Applications ME48QE68PV
| URI | m2://inv/ME48QE68PV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Necklace polynomial#UPFJ, Applications (example)
History
- 2026-11-02: add by m2/dev
Properties ME4A4GFEP6
| URI | m2://inv/ME4A4GFEP6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum mutual information#AFK8, Properties (statement)
History
- 2026-11-02: add by m2/dev
ME4AVVJX6Q ME4AVVJX6Q
| URI | m2://inv/ME4AVVJX6Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.09319#7MPS (statement). In GMRT5GHBZS/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
valence ME4B12SFRZ
| URI | m2://inv/ME4B12SFRZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#DOWL, valence (definition)
History
- 2026-11-02: add by m2/dev
ME4F276297 ME4F276297
| URI | m2://inv/ME4F276297 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-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 2610.06455#7NVY (statement). In N6GB5J5BAY/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.10
ME4GKB3EGA ME4GKB3EGA
| URI | m2://inv/ME4GKB3EGA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.23212#XR0B (statement). In 4X12V9RS0D/e1, lemma H.1
History
- 2026-10-27: add by m2/v0.3.5
Example ME4SMVDAF2
| URI | m2://inv/ME4SMVDAF2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur–Weyl duality#OLI9, Example (example)
History
- 2026-11-02: add by m2/dev
Definitions ME4XT1DSPE
| URI | m2://inv/ME4XT1DSPE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegel upper half-space#WFYW, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Domination of $\nu^\alpha_{\A,\,\B}$ ME59MSNSTV
| URI | m2://inv/ME59MSNSTV |
|---|---|
| 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.21781#UUXJ, Domination of $\nu^\alpha_{\A,\,\B}$ (statement). In FEQ72D1AX6/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.4.2
ME5CWFMCXV ME5CWFMCXV
| URI | m2://inv/ME5CWFMCXV |
|---|---|
| Kind | definition |
| 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 2405.02275#7IT8 (definition). In 1QXCNGRWV1/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.3.5
Generalizations ME5EMTRJ27
| URI | m2://inv/ME5EMTRJ27 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic dynamics#TFCJ, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
initial ideal ME5H9PM5B2
| URI | m2://inv/ME5H9PM5B2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#NA5R, initial ideal (definition)
History
- 2026-11-02: add by m2/dev
ME5N4SRVW4 ME5N4SRVW4
| URI | m2://inv/ME5N4SRVW4 |
|---|---|
| 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 2308.05715#ZKMO (definition). In FC0SB9JFWH/e1, definition 5.13
History
- 2026-10-27: add by m2/v0.3.5
ME5R0P807K ME5R0P807K
| URI | m2://inv/ME5R0P807K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28374#5C39 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Goong Chen ME5VHC0CH6
| URI | m2://inv/ME5VHC0CH6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Taiwanese mathematicians#ZMW4, Goong Chen (unknown)
History
- 2026-11-02: add by m2/dev
Example ME5WR3ZWKD
| URI | m2://inv/ME5WR3ZWKD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Type (model theory)#1IRO, Example (example)
History
- 2026-11-02: add by m2/dev
ME5Z91CVGS ME5Z91CVGS
| URI | m2://inv/ME5Z91CVGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.27360#5X6N (statement)
History
- 2026-11-01: add by m2/v0.6.15
acceptance ME6V2A6M1J
| URI | m2://inv/ME6V2A6M1J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.5/acceptance, acceptance (concept). In N54F33XE07, index, section B.5
History
- 2026-11-01: add by m2/v0.6.13
ME6YVTTRPM ME6YVTTRPM
| URI | m2://inv/ME6YVTTRPM |
|---|---|
| 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.17817#PKH2 (statement). In M8TSJ24RC2/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
ME78DD33X8 ME78DD33X8
| URI | m2://inv/ME78DD33X8 |
|---|---|
| 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.00786#40RK (statement). In XKEE0DK6N3/e1, corollary 4.5
History
- 2026-10-29: add by m2/v0.4.12
ME795H8M3D ME795H8M3D
| URI | m2://inv/ME795H8M3D |
|---|---|
| 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.20916#4FWM (statement). In HV598NZW9X/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.4.2
Example ME7BGV7B8B
| URI | m2://inv/ME7BGV7B8B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shanks transformation#8ILC, Example (example)
History
- 2026-11-02: add by m2/dev
ME7CY1X4XQ ME7CY1X4XQ
| URI | m2://inv/ME7CY1X4XQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2609.37606#Z5VV (statement). In WNFW6GY38C/e1, theorem 8.4
History
- 2026-10-30: add by m2/v0.4.12
DEBtox ME7JH90Q30
| URI | m2://inv/ME7JH90Q30 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DEBtox, DEBtox (definition). Also Wikidata Q5204767
History
- 2026-11-02: add by m2/dev
ME7K2JMM2H ME7K2JMM2H
| URI | m2://inv/ME7K2JMM2H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.39593#TBXY (statement). In BF0RYHPMS1/e1, proposition 4.9
History
- 2026-10-30: add by m2/v0.4.12
Math wars ME82CQ025W
| URI | m2://inv/ME82CQ025W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Math wars, Math wars (definition). Also Wikidata Q6786779
History
- 2026-11-02: add by m2/dev
Euler integral ME871DQ0VX
| URI | m2://inv/ME871DQ0VX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler integral, Euler integral (definition). Also Wikidata Q992526
History
- 2026-11-02: add by m2/dev
ME881TPNVW ME881TPNVW
| URI | m2://inv/ME881TPNVW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/substitution.tex#thm:infv (statement). In PKGMM3P5QY, thm, section 38.15
History
- 2026-11-01: add by m2/v0.6.13
Tuza's conjecture ME8ASAQRM2
| URI | m2://inv/ME8ASAQRM2 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tuza's conjecture, Tuza's conjecture (conjecture). Also Wikidata Q117254042
History
- 2026-11-02: add by m2/dev
Lord Kelvin ME8CGNR4CA
| URI | m2://inv/ME8CGNR4CA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#W0A5, Lord Kelvin (unknown)
History
- 2026-11-02: add by m2/dev
Special cases ME8D90QGHR
| URI | m2://inv/ME8D90QGHR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alhazen's problem#PGGY, Special cases (statement)
History
- 2026-11-02: add by m2/dev
ME8G190EGF ME8G190EGF
| URI | m2://inv/ME8G190EGF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02484#UPF8 (statement). In D1V0MQZTFQ/e1, proposition 5.3
History
- 2026-10-29: add by m2/v0.4.12
No boundedness for $\ell^p$-regular potentials ME8JW9ZVM2
| URI | m2://inv/ME8JW9ZVM2 |
|---|---|
| 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 2204.09167#SU9K, No boundedness for $\ell^p$-regular potentials (statement). In S1MENYEAG5/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
ME8NJ0PZDS ME8NJ0PZDS
| URI | m2://inv/ME8NJ0PZDS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38838#XC3K (statement). In 3EH8M9GWTX/e1, proposition 4.9
History
- 2026-10-30: add by m2/v0.4.12
ME8NVD8N2Q ME8NVD8N2Q
| URI | m2://inv/ME8NVD8N2Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25094#6WPT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Abu Said Gorgani ME8RWQ5P2D
| URI | m2://inv/ME8RWQ5P2D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#2CEN, Abu Said Gorgani (unknown)
History
- 2026-11-02: add by m2/dev
ME8SYPFRGP ME8SYPFRGP
| URI | m2://inv/ME8SYPFRGP |
|---|---|
| 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.21781#LYA3 (statement). In FEQ72D1AX6/e1, proposition 7.1
History
- 2026-10-27: add by m2/v0.4.2
lattice, subset ME8WP2HYTR
| URI | m2://inv/ME8WP2HYTR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.5/lattice-subset, lattice, subset (concept). In QKM9DD2H56, index, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Ordinal directional regret ME8WSDEES0
| URI | m2://inv/ME8WSDEES0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05428#71IG, Ordinal directional regret (definition). In 31MQPCA8SH/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Recovery debt and effective capacity ME929EPPYN
| URI | m2://inv/ME929EPPYN |
|---|---|
| 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.17329#4LNI, Recovery debt and effective capacity (statement). In F6GD5JWK9M/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Margaret Meyer ME93ZTK456
| URI | m2://inv/ME93ZTK456 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Margaret Meyer, Margaret Meyer (topic). Also Wikidata Q6759722
History
- 2026-11-02: add by m2/dev
seven circles theorem ME97K9DEMF
| URI | m2://inv/ME97K9DEMF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7457534, seven circles theorem (statement). Also MathWorld SevenCirclesTheorem
- wikipedia: Wikipedia Seven circles theorem, Seven circles theorem (statement). Also Wikidata Q7457534
History
- 2026-10-26: add by m2/dev
Theorem ME9BRGYNFV
| URI | m2://inv/ME9BRGYNFV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cramér's decomposition theorem#98MC, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Gregory Seregin ME9DATHEGA
| URI | m2://inv/ME9DATHEGA |
|---|---|
| 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#ZCY9, Gregory Seregin (unknown)
History
- 2026-11-02: add by m2/dev
ME9E6SPQTB ME9E6SPQTB
| URI | m2://inv/ME9E6SPQTB |
|---|---|
| Kind | example |
| 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 2610.05986#5WUR (example). In N5ZM8MXJXH/e1, example 4.2
History
- 2026-10-29: add by m2/v0.4.10
sin ME9JNTF3D5
| URI | m2://inv/ME9JNTF3D5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Complex-valued series > power series expansion of elementary functions > sin, sin (unknown). Also Mathlib Complex.hasSum_sin
History
- 2026-10-26: add by m2/dev
Mass in general relativity ME9M0MTV6K
| URI | m2://inv/ME9M0MTV6K |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mass in general relativity, Mass in general relativity (conjecture). Also Wikidata Q6784057
History
- 2026-11-02: add by m2/dev
Arnold Schoenberg ME9TC4GJ38
| URI | m2://inv/ME9TC4GJ38 |
|---|---|
| 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#39HD, Arnold Schoenberg (unknown)
History
- 2026-11-02: add by m2/dev
Salamis Tablet ME9VY8Z45A
| URI | m2://inv/ME9VY8Z45A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Salamis Tablet, Salamis Tablet (definition). Also Wikidata Q1714587
History
- 2026-11-02: add by m2/dev
Crank–Nicolson method ME9YGKH3NM
| URI | m2://inv/ME9YGKH3NM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crank–Nicolson method, Crank–Nicolson method (definition). Also Wikidata Q588725
History
- 2026-11-02: add by m2/dev
MEACVD862B MEACVD862B
| URI | m2://inv/MEACVD862B |
|---|---|
| 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 2610.05986#W7AW (statement). In N5ZM8MXJXH/e1, theorem 4.9
History
- 2026-10-29: add by m2/v0.4.10
Maximum term method MEANPRVBXY
| URI | m2://inv/MEANPRVBXY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum term method, Maximum term method (definition). Also Wikidata Q6795917
History
- 2026-11-02: add by m2/dev
MEAR8WVRJX MEAR8WVRJX
| URI | m2://inv/MEAR8WVRJX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-trees.ptx#exercise-6 (exercise). In Y91XFCEVHQ, exercise, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
MEAYCVGJZJ MEAYCVGJZJ
| URI | m2://inv/MEAYCVGJZJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12736#BWD1 (definition). In 5350Q52F6P/e1, definition 5.3
History
- 2026-10-28: add by m2/v0.4.2
MEB2JH7Z1C MEB2JH7Z1C
| URI | m2://inv/MEB2JH7Z1C |
|---|---|
| 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 2504.13802#58W9 (statement). In MH358B1GVQ/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.5
Classification of retained edge states MEB3QSS1CW
| URI | m2://inv/MEB3QSS1CW |
|---|---|
| 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.31811#CYUN, Classification of retained edge states (statement). In A8ZBZW9RNA/e1, lemma 5.2
History
- 2026-10-31: add by m2/v0.5.6
Infinite dihedral group MEB77S4984
| URI | m2://inv/MEB77S4984 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite dihedral group, Infinite dihedral group (definition). Also Wikidata Q6029845
History
- 2026-11-02: add by m2/dev
Brjuno number MEB85EM216
| URI | m2://inv/MEB85EM216 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Brjuno number 5WR304YRST |
Mentions
- wikidata: Wikidata Q4971764, Brjuno number (unknown). Also MathWorld BrjunoNumber
- wikipedia: Wikipedia Brjuno number, Brjuno number (object). Also Wikidata Q4971764
History
- 2026-10-26: add by m2/dev
Kiepert conics MEB8VWS97E
| URI | m2://inv/MEB8VWS97E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q111165553, Kiepert conics (unknown). Also MathWorld KiepertParabola
- wikipedia: Wikipedia Kiepert conics, Kiepert conics (definition). Also Wikidata Q111165553
History
- 2026-10-26: add by m2/dev
MEBA0VX67Z MEBA0VX67Z
| URI | m2://inv/MEBA0VX67Z |
|---|---|
| Kind | definition |
| 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 1903.07030#PWJB (definition). In 9H45HQE7AZ/e1, definition 3.31
History
- 2026-10-27: add by m2/v0.3.5
MEBBKK9WMQ MEBBKK9WMQ
| URI | m2://inv/MEBBKK9WMQ |
|---|---|
| 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.21622#U3E3 (statement). In H21X3FHNYJ/e1, theorem Theorem
History
- 2026-10-27: add by m2/v0.4.2
Isaac Barrow MEBMFJHYN3
| URI | m2://inv/MEBMFJHYN3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isaac Barrow, Isaac Barrow (topic). Also Wikidata Q207718
History
- 2026-11-02: add by m2/dev
MEBP4FH7HS MEBP4FH7HS
| URI | m2://inv/MEBP4FH7HS |
|---|---|
| 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.01273#0ORB (statement). In RAT41DDR51/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
MEBTS3VF0X MEBTS3VF0X
| URI | m2://inv/MEBTS3VF0X |
|---|---|
| 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 1002.0879#A4ZG (statement). In M0SQY5EZN5/e1, lemma 2.9.13
History
- 2026-10-27: add by m2/v0.3.5
Relatively hyperbolic group MEBY4802PP
| URI | m2://inv/MEBY4802PP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relatively hyperbolic group, Relatively hyperbolic group (definition). Also Wikidata Q7310818
History
- 2026-11-02: add by m2/dev
MEC3Y8ZRKB MEC3Y8ZRKB
| URI | m2://inv/MEC3Y8ZRKB |
|---|---|
| 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.13745#H416 (statement). In CFJH0Q39FZ/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
ETA index in QSAR MEC4KCWFFM
| URI | m2://inv/MEC4KCWFFM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological index#3TJI, ETA index in QSAR (unknown)
History
- 2026-11-02: add by m2/dev
Bell series MEC4ZPE1YY
| URI | m2://inv/MEC4ZPE1YY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#61HU, Bell series (definition)
History
- 2026-11-02: add by m2/dev
MEC52MFMKV MEC52MFMKV
| URI | m2://inv/MEC52MFMKV |
|---|---|
| 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.09001#3KI7 (statement). In HJC1JJZRSH/e1, corollary 4.8
History
- 2026-10-29: add by m2/v0.4.10
MEC5WVQDW3 MEC5WVQDW3
| URI | m2://inv/MEC5WVQDW3 |
|---|---|
| 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.40274#PIHL (statement). In 7ZDNJC9MST/e1, lemma 2.7
History
- 2026-10-30: add by m2/v0.4.12
Progressive diversion MEC9NBHKKN
| URI | m2://inv/MEC9NBHKKN |
|---|---|
| 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.18445#4D4V, Progressive diversion (statement). In X63FGXZP4F/e1, proposition 6.2
History
- 2026-10-28: add by m2/v0.4.2
MECD60ZJCF MECD60ZJCF
| URI | m2://inv/MECD60ZJCF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.01237#2O1J (definition). In M9VHCG48HB/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
Geometry of Interaction MECE5TYEFP
| URI | m2://inv/MECE5TYEFP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5535524, Geometry of Interaction (unknown). Also nLab Geometry of Interaction
- wikipedia: Wikipedia Geometry of interaction, Geometry of interaction (definition). Also Wikidata Q5535524
History
- 2026-10-26: add by m2/dev
MECNHH6SF5 MECNHH6SF5
| URI | m2://inv/MECNHH6SF5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06200#F7Q3 (definition). In B5XCHJKX7Q/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
MED2AYGWC6 MED2AYGWC6
| URI | m2://inv/MED2AYGWC6 |
|---|---|
| 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 2208.07490#601R (statement). In EK9MF8KMFC/e1, proposition 6
History
- 2026-10-27: add by m2/v0.3.5
MED4KN2NR5 MED4KN2NR5
| URI | m2://inv/MED4KN2NR5 |
|---|---|
| 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.02669#NNAV (statement). In NSBSWH6XB4/e1, lemma 8.2
History
- 2026-10-29: add by m2/v0.4.12
MED94YZQVK MED94YZQVK
| URI | m2://inv/MED94YZQVK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00146#QR9L (example). In 6KR7Z5ETRY/e1, example A.2
History
- 2026-10-27: add by m2/v0.3.5
MEDAC7G4VA MEDAC7G4VA
| URI | m2://inv/MEDAC7G4VA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2210.17066#D05J (statement). In X2AEJAQEP8/e1, proposition 4.10
History
- 2026-10-27: add by m2/v0.3.5
MEDBDDXAKH MEDBDDXAKH
| URI | m2://inv/MEDBDDXAKH |
|---|---|
| Kind | definition |
| 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.05299#J8UO (definition). In 68AE571S4P/e1, definition 2.12
History
- 2026-10-29: add by m2/v0.4.10
Properties MEDCQQ40VY
| URI | m2://inv/MEDCQQ40VY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear group#A83X, Properties (statement)
History
- 2026-11-02: add by m2/dev
Theorem MEDD8H3DZF
| URI | m2://inv/MEDD8H3DZF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symbolic power of an ideal#89CH, Theorem (statement)
History
- 2026-11-02: add by m2/dev
MEDE7XYEEF MEDE7XYEEF
| URI | m2://inv/MEDE7XYEEF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30363#ZM2C (statement). In QHBBP180QJ/e1, proposition 17
History
- 2026-10-31: add by m2/v0.5.6
key-value map MEDGPB7T0Z
| URI | m2://inv/MEDGPB7T0Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Data structures > Maps > key-value map, key-value map (unknown). Also Mathlib AList
History
- 2026-10-26: add by m2/dev
MEDMMTFM8P MEDMMTFM8P
| URI | m2://inv/MEDMMTFM8P |
|---|---|
| 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.26262#ONX1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
MEDMS4VVCT MEDMS4VVCT
| URI | m2://inv/MEDMS4VVCT |
|---|---|
| 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.09298#FMCF (statement). In 1SPQ4J3AWY/e1, corollary 8.6
History
- 2026-10-29: add by m2/v0.4.10
Robert B. Davis MEDSJXGXMD
| URI | m2://inv/MEDSJXGXMD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert B. Davis, Robert B. Davis (topic). Also Wikidata Q28970656
History
- 2026-11-02: add by m2/dev
370 MEDZ41KZQJ
| URI | m2://inv/MEDZ41KZQJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1095791, 370 (statement). Also ProofWiki 370
History
- 2026-10-26: add by m2/dev
Pinsker's inequality MEE7B4JR8Z
| URI | m2://inv/MEE7B4JR8Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38659#NW9Z, Pinsker's inequality (statement). In DCJ23ZYXGK/e1, lemma E.3
History
- 2026-10-30: add by m2/v0.4.12
Examples MEE7HV8V1V
| URI | m2://inv/MEE7HV8V1V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DNS Certification Authority Authorization#WIV5, Examples (example)
History
- 2026-11-02: add by m2/dev
MEEBR801YB MEEBR801YB
| URI | m2://inv/MEEBR801YB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/semantic-notions.tex#prop:quant-terms (statement). In PKGMM3P5QY, prop, section 19.15
History
- 2026-11-01: add by m2/v0.6.13
MEEC541KMN MEEC541KMN
| URI | m2://inv/MEEC541KMN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21632#9Z9R (definition). In Q4RZTN2EX6/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.4.2
Fully explicit complex two-row upper bounds MEEEXCY0YY
| URI | m2://inv/MEEEXCY0YY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04398#OBRJ, Fully explicit complex two-row upper bounds (statement). In DFZWC9HY0T/e1, corollary 4.9
History
- 2026-10-29: add by m2/v0.4.12
MEEK5CXRR0 MEEK5CXRR0
| URI | m2://inv/MEEK5CXRR0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-79 (exercise). In E59CDZA4DP, exercise, section 2.6.3
History
- 2026-11-01: add by m2/v0.6.13
Mason equation MEEXF4DMY3
| URI | m2://inv/MEEXF4DMY3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mason equation, Mason equation (definition). Also Wikidata Q6783650
History
- 2026-11-02: add by m2/dev
The tree estimate MEF0J25P04
| URI | m2://inv/MEF0J25P04 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09650#F209, The tree estimate (definition). In 628KM8869P/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.10
George Darwin MEF52J9F9X
| URI | m2://inv/MEF52J9F9X |
|---|---|
| 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#VA30, George Darwin (topic)
History
- 2026-11-02: add by m2/dev
Properties MEFYQCSC0K
| URI | m2://inv/MEFYQCSC0K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mediant (mathematics)#AKGE, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition MEFYVHRYDW
| URI | m2://inv/MEFYVHRYDW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Facet theory#W4XB, Definition (definition)
History
- 2026-11-02: add by m2/dev
MEG3BZ07BK MEG3BZ07BK
| URI | m2://inv/MEG3BZ07BK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#L3VI (statement). In WRE0P7V6Z3/e1, lemma 5
History
- 2026-10-30: add by m2/v0.4.12
Remark MEG4566TCP
| URI | m2://inv/MEG4566TCP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractional Fourier transform#USW9, Remark (unknown)
History
- 2026-11-02: add by m2/dev
MEG45GCXGM MEG45GCXGM
| URI | m2://inv/MEG45GCXGM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#thm:closed interval connected (statement). In P1C114YBXG, theorem, section K
History
- 2026-11-01: add by m2/v0.6.13
Pentagonal pyramid MEG72NN7NB
| URI | m2://inv/MEG72NN7NB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#BCDV, Pentagonal pyramid (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#CCR4, Pentagonal pyramid (definition)
History
- 2026-11-02: add by m2/dev
Murray Aitkin MEG795M7B4
| URI | m2://inv/MEG795M7B4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#ZWY6, Murray Aitkin (unknown)
History
- 2026-11-02: add by m2/dev
Quoting out of context MEGB98RP4M
| URI | m2://inv/MEGB98RP4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quoting out of context, Quoting out of context (definition). Also Wikidata Q5106561
History
- 2026-11-02: add by m2/dev
Subgroup distortion MEGCFK4RRT
| URI | m2://inv/MEGCFK4RRT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subgroup distortion, Subgroup distortion (definition). Also Wikidata Q113827508
History
- 2026-11-02: add by m2/dev
MEGE6HMXYT MEGE6HMXYT
| URI | m2://inv/MEGE6HMXYT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34011#WIV6 (statement). In RAXRNDW2Z0/e1, proposition 2.3
History
- 2026-10-30: add by m2/v0.4.12
Global Regularity via Self-Similarity MEGH2EMK09
| URI | m2://inv/MEGH2EMK09 |
|---|---|
| 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 2504.21000#MW50, Global Regularity via Self-Similarity (statement). In BCVFS160MF/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Byzantine fault MEGK7R9XKS
| URI | m2://inv/MEGK7R9XKS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1353446, Byzantine fault (unknown). Also MathWorld ByzantineGeneralsProblem
History
- 2026-10-26: add by m2/dev
Open mapping theorem for continuous maps MEGNTJV449
| URI | m2://inv/MEGNTJV449 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Open mapping theorem (functional analysis)#J6VT, Open mapping theorem for continuous maps (statement)
History
- 2026-11-02: add by m2/dev
Formulation MEGQARQCWH
| URI | m2://inv/MEGQARQCWH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kramers–Kronig relations#1KBB, Formulation (definition)
History
- 2026-11-02: add by m2/dev
MEGX5YK07E MEGX5YK07E
| URI | m2://inv/MEGX5YK07E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28141#MZ9W (definition)
History
- 2026-11-01: add by m2/v0.6.15
MEGYKWJQ43 MEGYKWJQ43
| URI | m2://inv/MEGYKWJQ43 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#RX9O (statement)
History
- 2026-11-01: add by m2/v0.6.15
MEGYPMVAK1 MEGYPMVAK1
| URI | m2://inv/MEGYPMVAK1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22964#8JQX (statement)
History
- 2026-11-02: add by m2/v0.6.17
Lightning Network MEGYWNZYRE
| URI | m2://inv/MEGYWNZYRE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of bitcoin forks#OF1X, Lightning Network (unknown)
History
- 2026-11-02: add by m2/dev
MEGZ9FEQQ6 MEGZ9FEQQ6
| URI | m2://inv/MEGZ9FEQQ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32338#Z6H8 (statement). In HVY45JQRNK/e1, proposition 2.16
History
- 2026-10-31: add by m2/v0.5.6
Church's theorem MEH17V0FRW
| URI | m2://inv/MEH17V0FRW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entscheidungsproblem#GHZU, Church's theorem (unknown)
History
- 2026-11-02: add by m2/dev
Hopfield Network MEHAZGCEG6
| URI | m2://inv/MEHAZGCEG6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unsupervised learning#A8TP, Hopfield Network (definition)
History
- 2026-11-02: add by m2/dev
MEHFK4045Y MEHFK4045Y
| URI | m2://inv/MEHFK4045Y |
|---|---|
| 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 1612.08394#0P67 (statement). In 1P8D88DKG5/e1, proposition 8.1
History
- 2026-10-27: add by m2/v0.3.5
MEHJFKAZQ1 MEHJFKAZQ1
| URI | m2://inv/MEHJFKAZQ1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/semisimple.tex#prob:dten_irrep (exercise). In RZP28ERRZV, problem, section 81.5
History
- 2026-11-01: add by m2/v0.6.13
Larry V. Hedges MEHP0H2HVK
| URI | m2://inv/MEHP0H2HVK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Larry V. Hedges, Larry V. Hedges (topic). Also Wikidata Q6491240
History
- 2026-11-02: add by m2/dev
MEHQQC497N MEHQQC497N
| URI | m2://inv/MEHQQC497N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.17736#2KT3 (statement). In 2F182H14AM/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
MEHTDCAA6W MEHTDCAA6W
| URI | m2://inv/MEHTDCAA6W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01411#XQIW (statement). In SD28S3K7BT/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.12
Example MEJ52RY4NQ
| URI | m2://inv/MEJ52RY4NQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kummer's transformation of series#F4AJ, Example (example)
History
- 2026-11-02: add by m2/dev
MEJ7PD64DS MEJ7PD64DS
| URI | m2://inv/MEJ7PD64DS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-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.34845#B1TB (statement). In SBZNH932ZV/e1, lemma 4.11
History
- 2026-10-30: add by m2/v0.4.12
Hodge index theorem MEJGX74WYH
| URI | m2://inv/MEJGX74WYH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#52CT, Hodge index theorem (statement)
History
- 2026-11-02: add by m2/dev
MEJJBNA0DS MEJJBNA0DS
| URI | m2://inv/MEJJBNA0DS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/manifolds.tex#example-3 (example). In RZP28ERRZV, example, section 44.3
History
- 2026-11-01: add by m2/v0.6.13
MEJX3BRZCE MEJX3BRZCE
| URI | m2://inv/MEJX3BRZCE |
|---|---|
| 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 2106.09062#OJWI (statement). In 8HAH8QVKDF/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.6
First Main Lemma MEJYD2F5XC
| URI | m2://inv/MEJYD2F5XC |
|---|---|
| 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.10583#FP9O, First Main Lemma (statement). In 5BZQS1KY9A/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Constantin Teleman MEK3RVBP4Z
| URI | m2://inv/MEK3RVBP4Z |
|---|---|
| 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 Q21033031, Constantin Teleman (unknown). Also nLab Constantin Teleman
- wikipedia: Wikipedia Constantin Teleman, Constantin Teleman (topic). Also Wikidata Q21033031
History
- 2026-10-26: add by m2/dev
MEK78TJBPM MEK78TJBPM
| URI | m2://inv/MEK78TJBPM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05259#DXSG (statement). In X1J5HKPS3R/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.10
Closed determinant identity MEKTHKY6K8
| URI | m2://inv/MEKTHKY6K8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.15180#FKAS, Closed determinant identity (statement). In AMRWRJDNKJ/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
MEM0AEEZAF MEM0AEEZAF
| URI | m2://inv/MEM0AEEZAF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-169 (exercise). In VNMV985MXX, exercise, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
MEM5DX6W8C MEM5DX6W8C
| URI | m2://inv/MEM5DX6W8C |
|---|---|
| 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.03488#31FA (statement). In 9GXR1WEYWT/e1, corollary 3.7
History
- 2026-10-29: add by m2/v0.4.12
Example (Brahmagupta) MEMAC99DKF
| URI | m2://inv/MEMAC99DKF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indian mathematics#8G0V, Example (Brahmagupta) (example)
History
- 2026-11-02: add by m2/dev
Asymptotic Convergence and Neighborhood Attainment under KL Property MEMBAY3GM4
| URI | m2://inv/MEMBAY3GM4 |
|---|---|
| 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.00738#H8U9, Asymptotic Convergence and Neighborhood Attainment under KL Property (statement). In 4TF7XCXPZ2/e1, theorem 5
History
- 2026-10-30: add by m2/v0.4.12
MEMGZY1QYX MEMGZY1QYX
| URI | m2://inv/MEMGZY1QYX |
|---|---|
| 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.21403#0TNC (statement)
History
- 2026-11-02: add by m2/v0.6.18
MEMKJWAJ30 MEMKJWAJ30
| URI | m2://inv/MEMKJWAJ30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04809#1MLN (statement). In 2VHV0RNTNV/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.12
MEMNQD7NBP MEMNQD7NBP
| URI | m2://inv/MEMNQD7NBP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01346#BX4O (statement). In 44DQ7W1NW9/e1, corollary 4.10
History
- 2026-10-29: add by m2/v0.4.12
Alexander G. Burgess MEMNST8NKJ
| URI | m2://inv/MEMNST8NKJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander G. Burgess, Alexander G. Burgess (topic). Also Wikidata Q20713658
History
- 2026-11-02: add by m2/dev
Perturbed $h$-spaces MEMT358S82
| URI | m2://inv/MEMT358S82 |
|---|---|
| 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#VO7E, Perturbed $h$-spaces (statement). In N6GD8392QB/e1, lemma 11.8
History
- 2026-10-28: add by m2/v0.4.2
biconnected graph MEMTDM7SN6
| URI | m2://inv/MEMTDM7SN6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4390447, biconnected graph (unknown). Also MathWorld BiconnectedGraph
- wikipedia: Wikipedia Biconnected graph, Biconnected graph (definition). Also Wikidata Q4390447
History
- 2026-10-26: add by m2/dev
MEMYPP1Q7R MEMYPP1Q7R
| URI | m2://inv/MEMYPP1Q7R |
|---|---|
| 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.00625#R2L2 (statement). In BGA625B7W1/e1, proposition 3.13
History
- 2026-10-30: add by m2/v0.4.12
MENFSHP1Y0 MENFSHP1Y0
| URI | m2://inv/MENFSHP1Y0 |
|---|---|
| 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.36423#3X69 (statement). In Q5Z178SAHP/e1, theorem 8.2
History
- 2026-10-30: add by m2/v0.4.12
Ossip Bernstein MENP6S51FT
| URI | m2://inv/MENP6S51FT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#CNON, Ossip Bernstein (unknown)
History
- 2026-11-02: add by m2/dev
MENTH1FPN1 MENTH1FPN1
| URI | m2://inv/MENTH1FPN1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.07021#O2WM (statement). In H4CM84JVPC/e1, theorem 7.1
History
- 2026-10-27: add by m2/v0.3.5
MENXXQCADK MENXXQCADK
| URI | m2://inv/MENXXQCADK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 2610.19023#Q2NE (statement). In QFA8TMJPHZ/e1, proposition 6.6
History
- 2026-10-28: add by m2/v0.4.2
Generalizations MEP0MHWBD4
| URI | m2://inv/MEP0MHWBD4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FKT algorithm#CNB8, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
MEP39RTDBQ MEP39RTDBQ
| URI | m2://inv/MEP39RTDBQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.04317#A9WM (statement). In 49V3ANDZTY/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
Anisotropic Epstein zeta function for vanishing wave vectors MEP8GNCFKG
| URI | m2://inv/MEP8GNCFKG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.28282#NRNP, Anisotropic Epstein zeta function for vanishing wave vectors (statement)
History
- 2026-11-01: add by m2/v0.6.15
MEP95HFJVH MEP95HFJVH
| URI | m2://inv/MEP95HFJVH |
|---|---|
| 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 2510.12502#8VRM (statement). In 3A4K47Y9F2/e1, lemma 3.33
History
- 2026-10-27: add by m2/v0.4.0
Michael C. Reed MEP9SQTQY0
| URI | m2://inv/MEP9SQTQY0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DRN0, Michael C. Reed (topic)
History
- 2026-11-02: add by m2/dev
Robert M. Hauser MEPBA10MFA
| URI | m2://inv/MEPBA10MFA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#9ZPN, Robert M. Hauser (unknown)
History
- 2026-11-02: add by m2/dev
Yuri Kondratiev MEPED40KZY
| URI | m2://inv/MEPED40KZY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yuri Kondratiev, Yuri Kondratiev (topic). Also Wikidata Q16913579
History
- 2026-11-02: add by m2/dev
Precise characterization for nonzero training error MEPHZ8W415
| URI | m2://inv/MEPHZ8W415 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38453#FSYK, Precise characterization for nonzero training error (statement). In DWKWF242Y0/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
Unified fixed-depth Sobolev rates MEPTYVK9XZ
| URI | m2://inv/MEPTYVK9XZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16094#4LVF, Unified fixed-depth Sobolev rates (statement). In RHBS9QDHC3/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Gelfond–Schneider constant MEQ1ENGKP7
| URI | m2://inv/MEQ1ENGKP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#19IP, Gelfond–Schneider constant (definition)
History
- 2026-11-02: add by m2/dev
Newtonian gravitational constant MEQ257YRFM
| URI | m2://inv/MEQ257YRFM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18373, Newtonian gravitational constant (definition). Also nLab gravitational constant, ProofWiki Definition:Universal_Gravitational_Constant
History
- 2026-10-26: add by m2/dev
MEQ36NJ1VS MEQ36NJ1VS
| URI | m2://inv/MEQ36NJ1VS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.01473#HOWS (definition). In ABS9M47F4K/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.6
Snell envelope MEQE3SZ8H3
| URI | m2://inv/MEQE3SZ8H3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snell envelope, Snell envelope (definition). Also Wikidata Q7547626
History
- 2026-11-02: add by m2/dev
Wasserstein and total-variation biases MEQE9054AR
| URI | m2://inv/MEQE9054AR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12713#A2ZA, Wasserstein and total-variation biases (statement). In F14A5HX20Q/e1, corollary 5.2
History
- 2026-10-28: add by m2/v0.4.2
The direct problem for smooth data MEQF4DAHGG
| URI | m2://inv/MEQF4DAHGG |
|---|---|
| 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#6O71, The direct problem for smooth data (statement). In AHM0PBKZZN/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.2
Sylvie Corteel MEQRY06QE6
| URI | m2://inv/MEQRY06QE6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SB3C, Sylvie Corteel (topic)
History
- 2026-11-02: add by m2/dev
Examples MEQVNDN1HR
| URI | m2://inv/MEQVNDN1HR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Existentially closed model#B61R, Examples (example)
History
- 2026-11-02: add by m2/dev
Constructions of magic squares MER0DCV9R1
| URI | m2://inv/MER0DCV9R1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constructions of magic squares, Constructions of magic squares (definition). Also Wikidata Q137763041
History
- 2026-11-02: add by m2/dev
Minidoka MER5RX7EAN
| URI | m2://inv/MER5RX7EAN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#JFNC, Minidoka (unknown)
History
- 2026-11-02: add by m2/dev
Regression function MER5SEXH06
| URI | m2://inv/MER5SEXH06 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regression analysis#LVQA, Regression function (unknown)
History
- 2026-11-02: add by m2/dev
James Weatherup MER5WX34TY
| URI | m2://inv/MER5WX34TY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#694B, James Weatherup (unknown)
History
- 2026-11-02: add by m2/dev
Berezin MERA36H22S
| URI | m2://inv/MERA36H22S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#AQF1, Berezin (definition)
History
- 2026-11-02: add by m2/dev
Higher moments for list prediction MERH7TSATD
| URI | m2://inv/MERH7TSATD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#HEYY, Higher moments for list prediction (statement). In ZZER8ZBSCR/e1, theorem A.8
History
- 2026-10-29: add by m2/v0.4.12
Semidirect product MERKJDVACT
| URI | m2://inv/MERKJDVACT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#08ZR, Semidirect product (definition)
- wikipedia: Wikipedia List of abstract algebra topics#ZVEP, Semidirect product (definition)
History
- 2026-11-02: add by m2/dev
Practical formulas MERM3M9QF3
| URI | m2://inv/MERM3M9QF3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inductance#EOPK, Practical formulas (statement)
History
- 2026-11-02: add by m2/dev
Jacobi's four-square theorem MESA5C3SZR
| URI | m2://inv/MESA5C3SZR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#SFNP, Jacobi's four-square theorem (statement)
History
- 2026-11-02: add by m2/dev
Kneser–Tits conjecture MESA97WV5N
| URI | m2://inv/MESA97WV5N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kneser–Tits conjecture, Kneser–Tits conjecture (statement). Also Wikidata Q6421982
History
- 2026-11-02: add by m2/dev
Clark–Ocone formula MESBRGWPYY
| URI | m2://inv/MESBRGWPYY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Malliavin calculus#6WBX, Clark–Ocone formula (statement)
History
- 2026-11-02: add by m2/dev
The setting MESDBGSTVZ
| URI | m2://inv/MESDBGSTVZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27766#152L, The setting (definition)
History
- 2026-11-01: add by m2/v0.6.15
Product-block case MESFE4RC0A
| URI | m2://inv/MESFE4RC0A |
|---|---|
| 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.17608#MTCR, Product-block case (statement). In VAGWC38NSF/e1, proposition 3.8
History
- 2026-10-28: add by m2/v0.4.2
Theorem MESJY6G6JN
| URI | m2://inv/MESJY6G6JN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral theory#KFEG, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Rate inheritance for common stepsize schedules MESRNR7R77
| URI | m2://inv/MESRNR7R77 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18739#EFDF, Rate inheritance for common stepsize schedules (statement). In VGJXQRC44C/e1, corollary 17
History
- 2026-10-28: add by m2/v0.4.2
MET130TKZ6 MET130TKZ6
| URI | m2://inv/MET130TKZ6 |
|---|---|
| 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 2610.20273#JO6R (definition). In AEGHDSD5S7/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.4.2
Definition MET65RT98Y
| URI | m2://inv/MET65RT98Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slow manifold#8ZJ6, Definition (definition)
History
- 2026-11-02: add by m2/dev
cf.\ Theorem 3.3.2 and Theorem 3.4.1 of , and cf.\ Theorem II.3.1 and Lemma II.3.2 MET9D03FYZ
| URI | m2://inv/MET9D03FYZ |
|---|---|
| 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 2610.13241#BUO1, cf.\ Theorem 3.3.2 and Theorem 3.4.1 of , and cf.\ Theorem II.3.1 and Lemma II.3.2 (statement). In DWQWQ5KTEE/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
\ac{islr} controllability METKXZ5W3V
| URI | m2://inv/METKXZ5W3V |
|---|---|
| Kind | problem |
| 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.21653#RV43, \ac{islr} controllability (problem). In 266RE655Z2/e1, problem 1
History
- 2026-10-27: add by m2/v0.4.2
Kumaraswamy distribution METPY5DBB1
| URI | m2://inv/METPY5DBB1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kumaraswamy distribution, Kumaraswamy distribution (definition). Also Wikidata Q3258202
History
- 2026-11-02: add by m2/dev
Examples MEV0AKKCA4
| URI | m2://inv/MEV0AKKCA4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order isomorphism#IZUR, Examples (example)
History
- 2026-11-02: add by m2/dev
Dyck words MEV4FTXB56
| URI | m2://inv/MEV4FTXB56 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Enumerative combinatorics > Dyck words, Dyck words (unknown). Also Mathlib DyckWord
History
- 2026-10-26: add by m2/dev
Breuer–Guralnick MEV68DYTMF
| URI | m2://inv/MEV68DYTMF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.35191#3CJO, Breuer–Guralnick (statement). In W9Z6S1PDTP/e1, theorem 6.1
History
- 2026-10-30: add by m2/v0.4.12
finitary monad MEVDBPPP86
| URI | m2://inv/MEVDBPPP86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#JNE0, finitary monad (definition)
History
- 2026-11-02: add by m2/dev
MEVGCWFYDR MEVGCWFYDR
| URI | m2://inv/MEVGCWFYDR |
|---|---|
| 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.02174#PUSH (statement). In 7JPHSV4NXW/e1, theorem B
History
- 2026-10-29: add by m2/v0.4.12
Igor Prünster MEVS5WJZK8
| URI | m2://inv/MEVS5WJZK8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Igor Prünster, Igor Prünster (topic). Also Wikidata Q107488225
History
- 2026-11-02: add by m2/dev
Mockenhaupt-Tao MEVS74XSFN
| URI | m2://inv/MEVS74XSFN |
|---|---|
| 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 2208.07784#DAVA, Mockenhaupt-Tao (statement). In X0GJCD9768/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.0
MEVX8JVG60 MEVX8JVG60
| URI | m2://inv/MEVX8JVG60 |
|---|---|
| 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#N7GG (statement). In 43TBS9P2PX/e1, fact 3.2
History
- 2026-10-28: add by m2/v0.4.2
MEVZ2Y9MM2 MEVZ2Y9MM2
| URI | m2://inv/MEVZ2Y9MM2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2302.06336#PJPL (statement). In CCRSWBXWXW/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
Generalised belief propagation MEW60PDX5K
| URI | m2://inv/MEW60PDX5K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Belief propagation#4X08, Generalised belief propagation (unknown)
History
- 2026-11-02: add by m2/dev
MEW6EDA89K MEW6EDA89K
| URI | m2://inv/MEW6EDA89K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-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 2610.02017#HEMB (definition). In F6C80AEXC1/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Ringi-sho MEWCP5RTMY
| URI | m2://inv/MEWCP5RTMY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Consensus decision-making#D3PW, Ringi-sho (unknown)
History
- 2026-11-02: add by m2/dev
MEWVV9YSMP MEWVV9YSMP
| URI | m2://inv/MEWVV9YSMP |
|---|---|
| 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.02379#POOG (statement). In W9E40AZJ03/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
MEWWCA8PVN MEWWCA8PVN
| URI | m2://inv/MEWWCA8PVN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25275#QRRS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lifting property MEXDBHE21T
| URI | m2://inv/MEXDBHE21T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lifting property, Lifting property (definition). Also Wikidata Q30672450
History
- 2026-11-02: add by m2/dev
Structure theorem for finitely generated modules over a principal ideal domain MEXV86TWPZ
| URI | m2://inv/MEXV86TWPZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#9JR3, Structure theorem for finitely generated modules over a principal ideal domain (statement)
History
- 2026-11-02: add by m2/dev
MEXW4N0N9E MEXW4N0N9E
| URI | m2://inv/MEXW4N0N9E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/integrate.tex#theorem-3 (statement). In RZP28ERRZV, theorem, section 31.4
History
- 2026-11-01: add by m2/v0.6.13
Borel--Haefliger , Sullivan MEXXGAQHKZ
| URI | m2://inv/MEXXGAQHKZ |
|---|---|
| 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 2609.29450#S7TW, Borel--Haefliger , Sullivan (statement)
History
- 2026-11-01: add by m2/v0.6.15
Oded Schramm MEY6G52RSH
| URI | m2://inv/MEY6G52RSH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#AZVR, Oded Schramm (topic)
History
- 2026-11-02: add by m2/dev
MEY9CGCMGE MEY9CGCMGE
| URI | m2://inv/MEY9CGCMGE |
|---|---|
| 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.35542#PLID (statement). In ATVC0HYDKD/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
MEYAX7ETK3 MEYAX7ETK3
| URI | m2://inv/MEYAX7ETK3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#S7AA (statement). In VN084GGZGK/e1, proposition 3.16
History
- 2026-10-28: add by m2/v0.4.3
MEYFT4Y7PK MEYFT4Y7PK
| URI | m2://inv/MEYFT4Y7PK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/ordinal.tex#definition-4 (definition). In RZP28ERRZV, definition, section 92.3
History
- 2026-11-01: add by m2/v0.6.13
Example MEYSXXBGKE
| URI | m2://inv/MEYSXXBGKE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nielsen–Schreier theorem#HNV2, Example (example)
History
- 2026-11-02: add by m2/dev
flat manifold MEYTY2MX37
| URI | m2://inv/MEYTY2MX37 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q601110, flat manifold (unknown). Also MathWorld FlatManifold
- wikipedia: Wikipedia Flat manifold, Flat manifold (definition). Also Wikidata Q601110
History
- 2026-10-26: add by m2/dev
Examples MEZ1VZY739
| URI | m2://inv/MEZ1VZY739 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shift matrix#IPM7, Examples (example)
History
- 2026-11-02: add by m2/dev
Toponomics MEZ3T2HX80
| URI | m2://inv/MEZ3T2HX80 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toponomics, Toponomics (topic). Also Wikidata Q17142444
History
- 2026-11-02: add by m2/dev
MEZ4XK9KKC MEZ4XK9KKC
| URI | m2://inv/MEZ4XK9KKC |
|---|---|
| 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.21489#96E9 (statement). In R0Q0RV8XCF/e1, theorem 4.15
History
- 2026-10-27: add by m2/v0.4.2
MEZ8YPB72E MEZ8YPB72E
| URI | m2://inv/MEZ8YPB72E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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 1802.02910#P88N (statement). In AY2MA29921/e1, theorem 03
History
- 2026-10-27: add by m2/v0.3.5
MEZDH1QGW1 MEZDH1QGW1
| URI | m2://inv/MEZDH1QGW1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 01-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06338#AD8R (example). In F1CYVYK7YB/e1, example 3.5
History
- 2026-10-29: add by m2/v0.4.10
Applications MEZFCSMPTP
| URI | m2://inv/MEZFCSMPTP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard product (matrices)#Z4XB, Applications (example)
History
- 2026-11-02: add by m2/dev
Uniform moment estimate MEZJ53P82J
| URI | m2://inv/MEZJ53P82J |
|---|---|
| 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.15421#TQT4, Uniform moment estimate (statement). In 3RBKH0DA74/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
Characterization MEZNKV9M0D
| URI | m2://inv/MEZNKV9M0D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electroactive polymer#7OMP, Characterization (statement)
History
- 2026-11-02: add by m2/dev
MEZSRKEK1W MEZSRKEK1W
| URI | m2://inv/MEZSRKEK1W |
|---|---|
| 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.08193#G57G (statement). In 8XAKGH8S2D/e1, lemma 3.12
History
- 2026-10-29: add by m2/v0.4.10
MEZT04W9NZ MEZT04W9NZ
| URI | m2://inv/MEZT04W9NZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16114#WYNG (statement). In JZZ3FJ382R/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
MEZT15BH2Y MEZT15BH2Y
| URI | m2://inv/MEZT15BH2Y |
|---|---|
| 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.21359#XVOB (statement)
History
- 2026-11-02: add by m2/v0.6.18
MEZTDSK9ST MEZTDSK9ST
| URI | m2://inv/MEZTDSK9ST |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2009.11127#J82K (statement). In QEFS0Y021A/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.3.5