Inventory rows MT
The cards of the rows of the inventory whose ids start with MT. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Perturbation estimate MT03F7HKMP
| URI | m2://inv/MT03F7HKMP |
|---|---|
| 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.11619#0VFY, Perturbation estimate (statement). In HT2K76Y9WS/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.3
MT0H1757N7 MT0H1757N7
| URI | m2://inv/MT0H1757N7 |
|---|---|
| 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 2610.08594#6H45 (statement). In FEE70SSD96/e1, lemma 6.6
History
- 2026-10-29: add by m2/v0.4.10
MT0H6FHGZZ MT0H6FHGZZ
| URI | m2://inv/MT0H6FHGZZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0909.2893#9LXY (statement). In JQ4JYAXCMK/e1, lemma 19
History
- 2026-10-27: add by m2/v0.3.5
Simson line MT0KG4FZCG
| URI | m2://inv/MT0KG4FZCG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#S2YG, Simson line (definition)
History
- 2026-11-02: add by m2/dev
Strobogrammatic number MT0P78M65R
| URI | m2://inv/MT0P78M65R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7624215, Strobogrammatic number (object). Also OEIS A000787
- wikipedia: Wikipedia Strobogrammatic number, Strobogrammatic number (definition). Also Wikidata Q7624215
History
- 2026-10-26: add by m2/dev
Igor Shafarevich MT0T6FVSXX
| URI | m2://inv/MT0T6FVSXX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#X0WE, Igor Shafarevich (topic)
- wikipedia: Wikipedia List of algebraic geometry topics#L87Z, Igor Shafarevich (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZSPT, Igor Shafarevich (topic)
History
- 2026-11-02: add by m2/dev
Arnold diffusion MT13TNJVSV
| URI | m2://inv/MT13TNJVSV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Arnold diffusion ZVY046R4XB |
Mentions
- wikidata: Wikidata Q4795328, Arnold diffusion (concept). Also MathWorld ArnoldDiffusion
- wikipedia: Wikipedia Arnold diffusion, Arnold diffusion (definition). Also Wikidata Q4795328
History
- 2026-10-26: add by m2/dev
Stochastics and Dynamics MT15WRSJX5
| URI | m2://inv/MT15WRSJX5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability journals#VRI7, Stochastics and Dynamics (unknown)
History
- 2026-11-02: add by m2/dev
Factoriangular number MT16EJ0W43
| URI | m2://inv/MT16EJ0W43 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factoriangular number, Factoriangular number (definition). Also Wikidata Q133406175
History
- 2026-11-02: add by m2/dev
Theorem MT17ZTXR32
| URI | m2://inv/MT17ZTXR32 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integration by substitution#PYNH, Theorem (statement)
History
- 2026-11-02: add by m2/dev
MT187XHPXM MT187XHPXM
| URI | m2://inv/MT187XHPXM |
|---|---|
| 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 2610.00856#WQ0M (statement). In W6VHD4QBY4/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.12
Exponential smoothing MT1MTFWD0X
| URI | m2://inv/MT1MTFWD0X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NMUC, Exponential smoothing (definition)
- wikipedia: Wikipedia List of exponential topics#4Q04, Exponential smoothing (definition)
History
- 2026-11-02: add by m2/dev
linear diophantine equation MT1PQTZ5T3
| URI | m2://inv/MT1PQTZ5T3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Linear Diophantine equation 0R9GF3JD0K |
Mentions
- wikidata: Wikidata Q3730870, linear diophantine equation (definition). Also MathWorld LinearDiophantineEquation, ProofWiki Definition:Diophantine_Equation/Linear_Diophantine_Equation
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
MT1PZJK0BQ MT1PZJK0BQ
| URI | m2://inv/MT1PZJK0BQ |
|---|---|
| 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.38436#5SQ7 (statement). In 702AF3E4AF/e1, theorem 7.7
History
- 2026-10-30: add by m2/v0.4.12
MT23JZJT4B MT23JZJT4B
| URI | m2://inv/MT23JZJT4B |
|---|---|
| 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.02506#BEDZ (statement). In 3JKRBZWJ33/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.12
MT279PMYQM MT279PMYQM
| URI | m2://inv/MT279PMYQM |
|---|---|
| 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.01441#5UI8 (statement). In V678XY1P9A/e1, fact 2
History
- 2026-10-29: add by m2/v0.4.12
MT28043Y6X MT28043Y6X
| URI | m2://inv/MT28043Y6X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#FBY8 (statement). In X47RYAZF8P/e1, lemma 8.12
History
- 2026-10-28: add by m2/v0.4.2
Heide Gluesing-Luerssen MT2DQ04WS6
| URI | m2://inv/MT2DQ04WS6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heide Gluesing-Luerssen, Heide Gluesing-Luerssen (topic). Also Wikidata Q28037291
History
- 2026-11-02: add by m2/dev
Giovanni Antonelli MT32ME4EQS
| URI | m2://inv/MT32ME4EQS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#19HY, Giovanni Antonelli (unknown)
History
- 2026-11-02: add by m2/dev
MT331GVH98 MT331GVH98
| URI | m2://inv/MT331GVH98 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16779#OKW0 (statement). In 1R7H0ZAHWA/e1, proposition 2.13
History
- 2026-10-28: add by m2/v0.4.2
Translation and halving MT350R0RBC
| URI | m2://inv/MT350R0RBC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16059#9OED, Translation and halving (statement). In 51W7AECQDA/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
The supplementary laws using Legendre symbols MT36B854TG
| URI | m2://inv/MT36B854TG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic reciprocity#R4DJ, The supplementary laws using Legendre symbols (statement)
History
- 2026-11-02: add by m2/dev
MT37GCQF7Q MT37GCQF7Q
| URI | m2://inv/MT37GCQF7Q |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-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.35102#IXO5 (example). In XK6H7F2F13/e1, example 1.9
History
- 2026-10-30: add by m2/v0.4.12
Benjamin Galluzzo MT38D3KGZW
| URI | m2://inv/MT38D3KGZW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benjamin Galluzzo, Benjamin Galluzzo (topic). Also Wikidata Q103904020
History
- 2026-11-02: add by m2/dev
Estimation of signal parameters via rotational invariance techniques MT38P4NBBJ
| URI | m2://inv/MT38P4NBBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#V358, Estimation of signal parameters via rotational invariance techniques (definition)
History
- 2026-11-02: add by m2/dev
MT3AERZC62 MT3AERZC62
| URI | m2://inv/MT3AERZC62 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09735#TVO9 (statement). In C518KB563H/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Sheaf space MT3G9PB0J4
| URI | m2://inv/MT3G9PB0J4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sheaf (mathematics)#A7ML, Sheaf space (unknown)
History
- 2026-11-02: add by m2/dev
MT3GBH1MAP MT3GBH1MAP
| URI | m2://inv/MT3GBH1MAP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00134#7VSV (statement). In S654779J5P/e1, theorem 5
History
- 2026-10-30: add by m2/v0.4.12
Double vector bundle MT3K7RJ2YT
| URI | m2://inv/MT3K7RJ2YT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double vector bundle, Double vector bundle (definition). Also Wikidata Q25303812
History
- 2026-11-02: add by m2/dev
MT3PPDBPS8 MT3PPDBPS8
| URI | m2://inv/MT3PPDBPS8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22011#OOQC (statement)
History
- 2026-11-02: add by m2/v0.6.17
Silver rhombus MT3PYKHHX2
| URI | m2://inv/MT3PYKHHX2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Silver ratio#AWR1, Silver rhombus (unknown)
History
- 2026-11-02: add by m2/dev
Torsten Carleman MT3VTFYABV
| URI | m2://inv/MT3VTFYABV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torsten Carleman, Torsten Carleman (topic). Also Wikidata Q526581
History
- 2026-11-02: add by m2/dev
MT40Y4CVG0 MT40Y4CVG0
| URI | m2://inv/MT40Y4CVG0 |
|---|---|
| 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 2402.08944#MLFV (statement). In D8QFZG5R1D/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.6
Concatenation of segments MT42BT26YW
| URI | m2://inv/MT42BT26YW |
|---|---|
| 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.17677#S99O, Concatenation of segments (statement). In 5E9G06XJKC/e1, lemma E.18
History
- 2026-10-28: add by m2/v0.4.2
MT44CEK39F MT44CEK39F
| URI | m2://inv/MT44CEK39F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1705.01594#BDP9 (statement). In BR3N3GSY2C/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
MT47186HK0 MT47186HK0
| URI | m2://inv/MT47186HK0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10795#ONMS (statement). In RXPSC74YPT/e1, proposition C.5
History
- 2026-10-28: add by m2/v0.4.3
approximate delta function MT47FQA6NM
| URI | m2://inv/MT47FQA6NM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/1.8.4/approximate-delta-function, approximate delta function (concept). In E59CDZA4DP, index, section 1.8.4
History
- 2026-11-01: add by m2/v0.6.13
Samuel Gitler MT48X2V21N
| URI | m2://inv/MT48X2V21N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#PPUT, Samuel Gitler (unknown)
History
- 2026-11-02: add by m2/dev
Theorem 1 MT4E1STJ9K
| URI | m2://inv/MT4E1STJ9K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual norm#BQEZ, Theorem 1 (statement)
History
- 2026-11-02: add by m2/dev
Support persistence MT53KDTEHP
| URI | m2://inv/MT53KDTEHP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32078#4CXM, Support persistence (statement). In 5PN85N6EJF/e1, proposition 13.1
History
- 2026-10-31: add by m2/v0.5.6
Wrapped Cauchy distribution MT55DZY1DX
| URI | m2://inv/MT55DZY1DX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#RVDP, Wrapped Cauchy distribution (definition)
History
- 2026-11-02: add by m2/dev
Tajima's D MT5BYFKF06
| URI | m2://inv/MT5BYFKF06 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#C5G0, Tajima's D (definition)
History
- 2026-11-02: add by m2/dev
MT5HPP8MYY MT5HPP8MYY
| URI | m2://inv/MT5HPP8MYY |
|---|---|
| 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 2410.10337#3DA5 (statement). In RBBF0XNZ5E/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
MT5JWHEG27 MT5JWHEG27
| URI | m2://inv/MT5JWHEG27 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#KR49 (statement). In JWNYJVH8XG/e1, corollary 5.6
History
- 2026-10-29: add by m2/v0.4.10
Formula MT5KM1ZCTP
| URI | m2://inv/MT5KM1ZCTP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stationary phase approximation#UQQL, Formula (statement)
History
- 2026-11-02: add by m2/dev
Semi-abelian variety MT5VSH0JCA
| URI | m2://inv/MT5VSH0JCA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abelian variety#FX4I, Semi-abelian variety (unknown)
History
- 2026-11-02: add by m2/dev
Uniqueness Modulo Gauge MT61F3A9EP
| URI | m2://inv/MT61F3A9EP |
|---|---|
| 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.20316#G8CG, Uniqueness Modulo Gauge (statement)
History
- 2026-11-02: add by m2/v0.6.18
MT68457G0Y MT68457G0Y
| URI | m2://inv/MT68457G0Y |
|---|---|
| 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.13528#XFZ2 (statement). In TSBJEBS7SP/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Georgy Adelson-Velsky MT6E1DEJY9
| URI | m2://inv/MT6E1DEJY9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#R9AK, Georgy Adelson-Velsky (unknown)
History
- 2026-11-02: add by m2/dev
One bounded target MT6FDMFW8A
| URI | m2://inv/MT6FDMFW8A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09640#QAA3, One bounded target (statement). In E9T3B4RVW4/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Thomas Baker MT6NQ026BD
| URI | m2://inv/MT6NQ026BD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Baker (mathematician), Thomas Baker (topic). Also Wikidata Q7787331
History
- 2026-11-02: add by m2/dev
Skew parameters via Cayley's formula MT76TTX4NG
| URI | m2://inv/MT76TTX4NG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rotation matrix#CSD0, Skew parameters via Cayley's formula (statement)
History
- 2026-11-02: add by m2/dev
MT77P0Q1GA MT77P0Q1GA
| URI | m2://inv/MT77P0Q1GA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#PUQD (definition). In V5PVKDKGGG/e1, definition 5.5
History
- 2026-10-28: add by m2/v0.4.2
Chandrashekhar Khare MT7BCS82X6
| URI | m2://inv/MT7BCS82X6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#18QJ, Chandrashekhar Khare (topic)
History
- 2026-11-02: add by m2/dev
Busemann's theorem MT7CZA1955
| URI | m2://inv/MT7CZA1955 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#6O3G, Busemann's theorem (statement)
History
- 2026-11-02: add by m2/dev
MT7JYH56QG MT7JYH56QG
| URI | m2://inv/MT7JYH56QG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09812#90XW (statement). In NWWKD8YX57/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
weak convergence MT7WFC35AA
| URI | m2://inv/MT7WFC35AA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7977941, weak convergence (unknown). Also MathWorld WeakConvergence
- wikipedia: Wikipedia Weak convergence (Hilbert space), Weak convergence (definition). Also Wikidata Q7977941
History
- 2026-10-26: add by m2/dev
Henry Pogorzelski MT7X6HV5C1
| URI | m2://inv/MT7X6HV5C1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#UEAX, Henry Pogorzelski (topic)
History
- 2026-11-02: add by m2/dev
Joel Spruck MT7Y9B0HD9
| URI | m2://inv/MT7Y9B0HD9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joel Spruck, Joel Spruck (topic). Also Wikidata Q97010607
History
- 2026-11-02: add by m2/dev
MT813KXRPK MT813KXRPK
| URI | m2://inv/MT813KXRPK |
|---|---|
| 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.39260#8LFM (statement). In ZNDB1AZZSA/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
MT86A6C184 MT86A6C184
| URI | m2://inv/MT86A6C184 |
|---|---|
| Kind | definition |
| 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#S14D (definition). In QFA8TMJPHZ/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Tom Karp MT8D2E5J3C
| URI | m2://inv/MT8D2E5J3C |
|---|---|
| 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#VM4W, Tom Karp (unknown)
History
- 2026-11-02: add by m2/dev
MT8E0VW9Y5 MT8E0VW9Y5
| URI | m2://inv/MT8E0VW9Y5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.07961#VYRY (statement). In 4DK4VRKZVM/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
Negative log predictive density MT8H1A14YD
| URI | m2://inv/MT8H1A14YD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Negative log predictive density, Negative log predictive density (definition). Also Wikidata Q115516557
History
- 2026-11-02: add by m2/dev
Canonical normal form MT8M59Q3TZ
| URI | m2://inv/MT8M59Q3TZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical normal form, Canonical normal form (definition). Also Wikidata Q2719417
History
- 2026-11-02: add by m2/dev
MT8MDEME1R MT8MDEME1R
| URI | m2://inv/MT8MDEME1R |
|---|---|
| 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.25880#XA7S (statement)
History
- 2026-11-01: add by m2/v0.6.15
MT8QVDC4P9 MT8QVDC4P9
| URI | m2://inv/MT8QVDC4P9 |
|---|---|
| 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#MOB9 (statement). In 7V3HG30ZGW/e1, corollary A.32
History
- 2026-10-27: add by m2/v0.4.0
binode MT8TT9FMRJ
| URI | m2://inv/MT8TT9FMRJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#J53F, binode (definition)
History
- 2026-11-02: add by m2/dev
Transitivity of semantic subtyping for contexts MT922XH8QE
| URI | m2://inv/MT922XH8QE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#ZRJR, Transitivity of semantic subtyping for contexts (statement). In CPYWHRTPKC/e1, lemma 6.24
History
- 2026-10-27: add by m2/v0.4.2
Doctor Who MT9BFTTEXA
| URI | m2://inv/MT9BFTTEXA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.3/doctor-who, Doctor Who (concept). In Y91XFCEVHQ, index, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
MT9C6FDQ3D MT9C6FDQ3D
| URI | m2://inv/MT9C6FDQ3D |
|---|---|
| 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.10093#I1OY (statement). In NJDN112PFS/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
MT9DTVVGMY MT9DTVVGMY
| URI | m2://inv/MT9DTVVGMY |
|---|---|
| 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.04895#XOI6 (statement). In A7M06ZVYA8/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
closed formula, for a function MT9E8N8H6B
| URI | m2://inv/MT9E8N8H6B |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.4.1/closed-formula-for-a-function, closed formula, for a function (concept). In Y91XFCEVHQ, index, section 1.4.1
History
- 2026-11-01: add by m2/v0.6.13
MT9H6VMG98 MT9H6VMG98
| URI | m2://inv/MT9H6VMG98 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13953#GHBI (statement). In D8258MF12E/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Examples MT9KJJVD2S
| URI | m2://inv/MT9KJJVD2S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjunction space#CJ1R, Examples (example)
History
- 2026-11-02: add by m2/dev
MT9MFQYM81 MT9MFQYM81
| URI | m2://inv/MT9MFQYM81 |
|---|---|
| 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.07299#EKI5 (statement). In M70KP0BZ99/e1, proposition 4.11
History
- 2026-10-29: add by m2/v0.4.10
Definition MT9NKVWHFC
| URI | m2://inv/MT9NKVWHFC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Γ-convergence#Q97L, Definition (definition)
History
- 2026-11-02: add by m2/dev
Cylinder stress MT9Q4QFF6W
| URI | m2://inv/MT9Q4QFF6W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cylinder stress, Cylinder stress (definition). Also Wikidata Q5199275
History
- 2026-11-02: add by m2/dev
Counting recurrence MT9QQJN5VC
| URI | m2://inv/MT9QQJN5VC |
|---|---|
| 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.31336#1N99, Counting recurrence (statement). In 70RV7J456D/e1, lemma 8
History
- 2026-10-31: add by m2/v0.5.6
MT9TM8TTCS MT9TM8TTCS
| URI | m2://inv/MT9TM8TTCS |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17717#M0DN (problem). In YXRKS451PK/e1, problem 1.7
History
- 2026-10-28: add by m2/v0.4.2
Ravi Vakil MT9V8XC4DD
| URI | m2://inv/MT9V8XC4DD |
|---|---|
| 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 Q2133711, Ravi Vakil (unknown). Also nLab Ravi Vakil
- wikipedia: Wikipedia Ravi Vakil, Ravi Vakil (topic). Also Wikidata Q2133711
History
- 2026-10-26: add by m2/dev
MTA0NKBGG4 MTA0NKBGG4
| URI | m2://inv/MTA0NKBGG4 |
|---|---|
| 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 2609.40189#JCV5 (definition). In K2MDWD9V46/e1, definition 2.4
History
- 2026-10-30: add by m2/v0.4.12
self-dual Yang–Mills theory MTA2APGKTM
| URI | m2://inv/MTA2APGKTM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q75195445, self-dual Yang–Mills theory (unknown). Also nLab self-dual Yang-Mills theory
History
- 2026-10-26: add by m2/dev
general linear model MTA9M1HFMV
| URI | m2://inv/MTA9M1HFMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#2X4L, general linear model (definition)
History
- 2026-11-02: add by m2/dev
MTAFK3M27Q MTAFK3M27Q
| URI | m2://inv/MTAFK3M27Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17553#WTYV (statement). In ETMBHKF5A9/e1, lemma 5.15
History
- 2026-10-28: add by m2/v0.4.2
MTAGJSKST6 MTAGJSKST6
| URI | m2://inv/MTAGJSKST6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21507#FL2I (statement). In 879ZDHVK7N/e1, theorem 3.20
History
- 2026-10-27: add by m2/v0.4.2
JAX MTAP78E5YZ
| URI | m2://inv/MTAP78E5YZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#T5JJ, JAX (unknown)
History
- 2026-11-02: add by m2/dev
Bôcher's theorem MTAX6D9Z4T
| URI | m2://inv/MTAX6D9Z4T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#JZHO, Bôcher's theorem (statement)
History
- 2026-11-02: add by m2/dev
MTB9E2NXZS MTB9E2NXZS
| URI | m2://inv/MTB9E2NXZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#N0XM (statement). In GXHKRV5BPY/e1, corollary C.9
History
- 2026-10-29: add by m2/v0.4.10
Karine Beauchard MTB9WBB49E
| URI | m2://inv/MTB9WBB49E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karine Beauchard, Karine Beauchard (topic). Also Wikidata Q64225580
History
- 2026-11-02: add by m2/dev
MTBCF7FTT9 MTBCF7FTT9
| URI | m2://inv/MTBCF7FTT9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#SIKQ (statement). In G70Q2FB591/e1, lemma 2.9
History
- 2026-10-28: add by m2/v0.4.2
Huguette Delavault MTBKGGJRY9
| URI | m2://inv/MTBKGGJRY9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Huguette Delavault, Huguette Delavault (topic). Also Wikidata Q3142785
History
- 2026-11-02: add by m2/dev
Itô calculus MTBSF2GS68
| URI | m2://inv/MTBSF2GS68 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#VNOJ, Itô calculus (definition)
History
- 2026-11-02: add by m2/dev
MTBW5EWEZD MTBW5EWEZD
| URI | m2://inv/MTBW5EWEZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25718#5FVG (statement)
History
- 2026-11-01: add by m2/v0.6.15
MTBW9ZRFS7 MTBW9ZRFS7
| URI | m2://inv/MTBW9ZRFS7 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#proof-15 (proof). In N54F33XE07, proof, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
MTC2TVKGX1 MTC2TVKGX1
| URI | m2://inv/MTC2TVKGX1 |
|---|---|
| Kind | example |
| 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.35558#QUP3 (example). In HR2TQ292AE/e1, example 3.6
History
- 2026-10-30: add by m2/v0.4.12
Uniform output mass and the half-input endpoint MTC31J2M78
| URI | m2://inv/MTC31J2M78 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#UB8K, Uniform output mass and the half-input endpoint (statement). In 9YAE8FNQST/e1, corollary 15.19
History
- 2026-10-30: add by m2/v0.4.12
Tukey, John MTC3K0WG1G
| URI | m2://inv/MTC3K0WG1G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#5LAS, Tukey, John (topic)
History
- 2026-11-02: add by m2/dev
600-cell prism MTC639B4T1
| URI | m2://inv/MTC639B4T1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#JTQJ, 600-cell prism (definition)
History
- 2026-11-02: add by m2/dev
MTCY05A3EF MTCY05A3EF
| URI | m2://inv/MTCY05A3EF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11671#Y3NL (statement). In V06H8BAGEH/e1, proposition 4.11
History
- 2026-10-28: add by m2/v0.4.3
MTD5E1HX7K MTD5E1HX7K
| URI | m2://inv/MTD5E1HX7K |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/arithmetization/cauchy.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 78.1
History
- 2026-11-01: add by m2/v0.6.13
Systematic sampling MTD6ZMF8F6
| URI | m2://inv/MTD6ZMF8F6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Systematic sampling, Systematic sampling (definition). Also Wikidata Q1502997
History
- 2026-11-02: add by m2/dev
Barnaba Oriani MTD7Y853AP
| URI | m2://inv/MTD7Y853AP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#0POR, Barnaba Oriani (unknown)
History
- 2026-11-02: add by m2/dev
MTD8TPZ1WQ MTD8TPZ1WQ
| URI | m2://inv/MTD8TPZ1WQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10773#QD6Y (statement). In 744Y8ZPEV7/e1, proposition 2.6
History
- 2026-10-28: add by m2/v0.4.3
Statement MTDHHW9H48
| URI | m2://inv/MTDHHW9H48 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kawasaki's theorem#M6LM, Statement (statement)
History
- 2026-11-02: add by m2/dev
Collinearity equation MTDHPJXQ01
| URI | m2://inv/MTDHPJXQ01 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collinearity equation, Collinearity equation (definition). Also Wikidata Q1779440
History
- 2026-11-02: add by m2/dev
Notation MTDP3JQF0Q
| URI | m2://inv/MTDP3JQF0Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resultant#ZEU2, Notation (definition)
History
- 2026-11-02: add by m2/dev
Examples MTDPZCZ6NJ
| URI | m2://inv/MTDPZCZ6NJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intensive and extensive properties#3L7C, Examples (example)
History
- 2026-11-02: add by m2/dev
Simple example MTE00JKQGG
| URI | m2://inv/MTE00JKQGG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Action (physics)#P5UJ, Simple example (example)
History
- 2026-11-02: add by m2/dev
Generalizations MTE1RCK85A
| URI | m2://inv/MTE1RCK85A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power residue symbol#2JJX, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
MTEFR14HG6 MTEFR14HG6
| URI | m2://inv/MTEFR14HG6 |
|---|---|
| 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.10325#RLUO (statement). In 66CDJ94PGW/e1, theorem D
History
- 2026-10-29: add by m2/v0.4.10
representative MTEGZ5B962
| URI | m2://inv/MTEGZ5B962 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#9GU9, representative (definition)
History
- 2026-11-02: add by m2/dev
MTENH6R0GH MTENH6R0GH
| URI | m2://inv/MTENH6R0GH |
|---|---|
| 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.20270#ELXF (statement). In GV0QGZH67P/e1, corollary 5.2
History
- 2026-10-27: add by m2/v0.4.2
Otto M. Nikodym MTEXTJAW61
| URI | m2://inv/MTEXTJAW61 |
|---|---|
| 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 Q1259589, Otto M. Nikodym (unknown). Also ProofWiki Mathematician:Otton_Marcin_Nikodym
- wikipedia: Wikipedia Otto M. Nikodym, Otto M. Nikodym (topic). Also Wikidata Q1259589
History
- 2026-10-26: add by m2/dev
MTF0Q4C68Y MTF0Q4C68Y
| URI | m2://inv/MTF0Q4C68Y |
|---|---|
| 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 2609.37931#3GU7 (definition). In J8C1EXQW86/e1, definition 5.1
History
- 2026-10-30: add by m2/v0.4.12
MTF8YEP7S5 MTF8YEP7S5
| URI | m2://inv/MTF8YEP7S5 |
|---|---|
| Kind | definition |
| 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#LQ1O (definition). In 6KR7Z5ETRY/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
MTF9B43565 MTF9B43565
| URI | m2://inv/MTF9B43565 |
|---|---|
| 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.27898#WP0D (statement)
History
- 2026-11-01: add by m2/v0.6.15
Spatial resolution MTF9N2VKMP
| URI | m2://inv/MTF9N2VKMP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#4K5D, Spatial resolution (unknown)
History
- 2026-11-02: add by m2/dev
Dual Steenrod algebra MTFEAHWQ6G
| URI | m2://inv/MTFEAHWQ6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual Steenrod algebra, Dual Steenrod algebra (definition). Also Wikidata Q105043988
History
- 2026-11-02: add by m2/dev
MTFR2TVEAG MTFR2TVEAG
| URI | m2://inv/MTFR2TVEAG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.30067#O7LC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples MTFVPXCC2J
| URI | m2://inv/MTFVPXCC2J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Support function#L3JZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Density of finite-rank separable sums MTFZYQ7NWG
| URI | m2://inv/MTFZYQ7NWG |
|---|---|
| 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.03303#C56C, Density of finite-rank separable sums (statement). In VS9KKQWEMX/e1, theorem B.2
History
- 2026-10-29: add by m2/v0.4.12
King Edward VII Land MTG2FTCDQE
| URI | m2://inv/MTG2FTCDQE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#MJSK, King Edward VII Land (unknown)
History
- 2026-11-02: add by m2/dev
parabolic partial differential equation MTGCD6ADFH
| URI | m2://inv/MTGCD6ADFH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Parabolic partial differential equation 1CCTH8X2FT |
Mentions
- wikidata: Wikidata Q1575416, parabolic partial differential equation (unknown). Also EoM Parabolic_partial_differential_equation, MathWorld ParabolicPartialDifferentialEquation
- wikipedia: Wikipedia Parabolic partial differential equation, Parabolic partial differential equation (definition). Also Wikidata Q1575416
History
- 2026-10-26: add by m2/dev
Example MTGCQPKZSJ
| URI | m2://inv/MTGCQPKZSJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian process#HHQU, Example (example)
History
- 2026-11-02: add by m2/dev
Algorithm MTGD7T0RAV
| URI | m2://inv/MTGD7T0RAV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pathfinder network#B541, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Quantificational variability effect MTGDX9H3MW
| URI | m2://inv/MTGDX9H3MW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantificational variability effect, Quantificational variability effect (definition). Also Wikidata Q7268911
History
- 2026-11-02: add by m2/dev
MTGHEF9GX3 MTGHEF9GX3
| URI | m2://inv/MTGHEF9GX3 |
|---|---|
| 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.14458#OAFM (definition). In WJ76MVYAZQ/e1, definition 3.9
History
- 2026-10-28: add by m2/v0.4.2
Truss MTGMND7W30
| URI | m2://inv/MTGMND7W30 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truss, Truss (definition). Also Wikidata Q1328068
History
- 2026-11-02: add by m2/dev
Lerner symmetry theorem MTGTB1408K
| URI | m2://inv/MTGTB1408K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#RR9G, Lerner symmetry theorem (statement)
History
- 2026-11-02: add by m2/dev
Tangent parallelogram MTH2DW679X
| URI | m2://inv/MTH2DW679X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugate diameters#QO11, Tangent parallelogram (unknown)
History
- 2026-11-02: add by m2/dev
MTH4BCRWVG MTH4BCRWVG
| URI | m2://inv/MTH4BCRWVG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#ex:trunc-bool-interval (exercise). In N54F33XE07, ex, section 5.13
History
- 2026-11-01: add by m2/v0.6.13
Putnam's model-theoretic argument MTH9G8AP1W
| URI | m2://inv/MTH9G8AP1W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#3D1M, Putnam's model-theoretic argument (definition)
History
- 2026-11-02: add by m2/dev
Einstein pseudotensor MTHBQ1X71V
| URI | m2://inv/MTHBQ1X71V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stress–energy–momentum pseudotensor#EN4I, Einstein pseudotensor (unknown)
History
- 2026-11-02: add by m2/dev
Observation projection MTHCM0015T
| URI | m2://inv/MTHCM0015T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32078#JMQA, Observation projection (statement). In 5PN85N6EJF/e1, theorem 2.3
History
- 2026-10-31: add by m2/v0.5.6
Uniform moments of the cavity coordinates MTHM0BW42T
| URI | m2://inv/MTHM0BW42T |
|---|---|
| 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.32710#LF71, Uniform moments of the cavity coordinates (statement). In KVYG6R7CGJ/e1, lemma 3.22
History
- 2026-10-31: add by m2/v0.5.6
Short words and bounded witness words MTHPQDDJRB
| URI | m2://inv/MTHPQDDJRB |
|---|---|
| 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.39700#40QS, Short words and bounded witness words (statement). In E7W2HDNEKJ/e1, theorem 10.15
History
- 2026-10-30: add by m2/v0.4.12
Construction MTHTPPDRTP
| URI | m2://inv/MTHTPPDRTP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré residue#Y3AM, Construction (definition)
History
- 2026-11-02: add by m2/dev
Gabriel--Ulmer duality MTHXK89DZG
| URI | m2://inv/MTHXK89DZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.03601#AULV, Gabriel--Ulmer duality (statement). In F7TDYCHCSE/e1, theorem 7.4
History
- 2026-10-27: add by m2/v0.3.5
MTHXYJ07WE MTHXYJ07WE
| URI | m2://inv/MTHXYJ07WE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12852#WEUQ (statement). In 1NRV3J17T7/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
MTHZ2A7XJX MTHZ2A7XJX
| URI | m2://inv/MTHZ2A7XJX |
|---|---|
| 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 2602.13510#JD42 (statement). In Y75MQW7CFV/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Using Zariski's lemma MTJ5BTW3F9
| URI | m2://inv/MTJ5BTW3F9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's Nullstellensatz#BL18, Using Zariski's lemma (statement)
History
- 2026-11-02: add by m2/dev
Chien's search MTJ6410FD0
| URI | m2://inv/MTJ6410FD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#7CQZ, Chien's search (definition)
History
- 2026-11-02: add by m2/dev
MTJ81VM7TE MTJ81VM7TE
| URI | m2://inv/MTJ81VM7TE |
|---|---|
| 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 2103.12669#R95Z (statement). In ZA6XNBA90V/e1, lemma 3.11
History
- 2026-10-27: add by m2/v0.3.5
MTJDJNSKPY MTJDJNSKPY
| URI | m2://inv/MTJDJNSKPY |
|---|---|
| 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.04935#VU5K (statement). In 7WVPJVPQH2/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
Uses MTJF99FEJX
| URI | m2://inv/MTJF99FEJX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data compression#U96G, Uses (example)
History
- 2026-11-02: add by m2/dev
Examples MTJMHRR7SY
| URI | m2://inv/MTJMHRR7SY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rep-tile#J3X7, Examples (example)
History
- 2026-11-02: add by m2/dev
Squaregraph MTJPWAVMS1
| URI | m2://inv/MTJPWAVMS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Squaregraph, Squaregraph (definition). Also Wikidata Q7582090
History
- 2026-11-02: add by m2/dev
MTJX80E8H4 MTJX80E8H4
| URI | m2://inv/MTJX80E8H4 |
|---|---|
| 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.24323#ZPJY (statement)
History
- 2026-11-01: add by m2/v0.6.15
MTJXQ66WV7 MTJXQ66WV7
| URI | m2://inv/MTJXQ66WV7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22082#BG75 (statement). In 7PACGDW3N7/e1, proposition 23.1
History
- 2026-10-27: add by m2/v0.4.0
MTJYX4CE4D MTJYX4CE4D
| URI | m2://inv/MTJYX4CE4D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37739#3ON6 (statement). In F5XF5VXTXY/e1, lemma A.1
History
- 2026-10-30: add by m2/v0.4.12
MTK3ZV5MS8 MTK3ZV5MS8
| URI | m2://inv/MTK3ZV5MS8 |
|---|---|
| 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 1912.13357#ZGXP (statement). In K8CQDCYBR3/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
Trena Wilkerson MTK4H04WEF
| URI | m2://inv/MTK4H04WEF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trena Wilkerson, Trena Wilkerson (topic). Also Wikidata Q104591529
History
- 2026-11-02: add by m2/dev
Geometric object MTKBKD6MA3
| URI | m2://inv/MTKBKD6MA3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometry#6KNY, Geometric object (unknown)
History
- 2026-11-02: add by m2/dev
Evert Willem Beth MTKFRSK80E
| URI | m2://inv/MTKFRSK80E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evert Willem Beth, Evert Willem Beth (topic). Also Wikidata Q706898
History
- 2026-11-02: add by m2/dev
MTKKDQFGH1 MTKKDQFGH1
| URI | m2://inv/MTKKDQFGH1 |
|---|---|
| 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#XWTP (statement). In WRE0P7V6Z3/e1, lemma C.4
History
- 2026-10-30: add by m2/v0.4.12
Strict inequality of the SSQ rate MTKM4Y5NHT
| URI | m2://inv/MTKM4Y5NHT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15549#CI7B, Strict inequality of the SSQ rate (statement). In S96K5CR1B7/e1, corollary 3
History
- 2026-10-28: add by m2/v0.4.2
AM–QM inequality MTKQEGB6R6
| URI | m2://inv/MTKQEGB6R6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia QM–AM–GM–HM inequalities#F4EV, AM–QM inequality (statement)
History
- 2026-11-02: add by m2/dev
MTKRF9H5DN MTKRF9H5DN
| URI | m2://inv/MTKRF9H5DN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24412#3UQB (statement)
History
- 2026-11-01: add by m2/v0.6.15
MTKV55WKV9 MTKV55WKV9
| URI | m2://inv/MTKV55WKV9 |
|---|---|
| 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.21715#XRKZ (statement). In QW0SV5D6MQ/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.4.2
MTKY7ZJ19K MTKY7ZJ19K
| URI | m2://inv/MTKY7ZJ19K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09333#HM93 (statement). In Z9HC1EDTQP/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.10
MTKYQKNN2J MTKYQKNN2J
| URI | m2://inv/MTKYQKNN2J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20060#VWX4 (statement)
History
- 2026-11-02: add by m2/v0.6.18
MTKYT67KS9 MTKYT67KS9
| URI | m2://inv/MTKYT67KS9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#76KA (statement). In CY1FE8W1ZW/e1, lemma 0.224
History
- 2026-10-27: add by m2/v0.3.5
Gumbel distribution MTM37FA1B9
| URI | m2://inv/MTM37FA1B9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gumbel distribution, Gumbel distribution (definition). Also Wikidata Q1096862
History
- 2026-11-02: add by m2/dev
Examples MTM7AZEFSW
| URI | m2://inv/MTM7AZEFSW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed linear operator#B329, Examples (example)
History
- 2026-11-02: add by m2/dev
MTMCEZHH4H MTMCEZHH4H
| URI | m2://inv/MTMCEZHH4H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.02432#BFXI (definition). In B366ACYB37/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
MTMH8QSNGK MTMH8QSNGK
| URI | m2://inv/MTMH8QSNGK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.20678#ULKE (statement)
History
- 2026-11-02: add by m2/v0.6.18
The Ax–Katz theorem MTMRQAEEYW
| URI | m2://inv/MTMRQAEEYW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chevalley–Warning theorem#RC5G, The Ax–Katz theorem (statement)
History
- 2026-11-02: add by m2/dev
primitive part MTMXF94SBS
| URI | m2://inv/MTMXF94SBS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130417616, primitive part (unknown). Also MathWorld PrimitivePart
History
- 2026-10-26: add by m2/dev
Formally real field MTMYTMBGCF
| URI | m2://inv/MTMYTMBGCF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of field theory#50P1, Formally real field (definition)
History
- 2026-11-02: add by m2/dev
Sadleirian Chair MTN112T2VZ
| URI | m2://inv/MTN112T2VZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics history topics#BIJV, Sadleirian Chair (definition)
History
- 2026-11-02: add by m2/dev
MTN24HT7JP MTN24HT7JP
| URI | m2://inv/MTN24HT7JP |
|---|---|
| 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.05722#WGBX (statement). In NDKWV5J14V/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Bitangent MTN97XV6C9
| URI | m2://inv/MTN97XV6C9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#YQ0S, Bitangent (definition)
History
- 2026-11-02: add by m2/dev
Glynn Winskel MTNPW5MS5J
| URI | m2://inv/MTNPW5MS5J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q62560641, Glynn Winskel (unknown). Also nLab Glynn Winskel
History
- 2026-10-26: add by m2/dev
MTNWK368ND MTNWK368ND
| URI | m2://inv/MTNWK368ND |
|---|---|
| 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.12105#GNXY (statement). In 289HM2RXT3/e1, corollary 4.6
History
- 2026-10-28: add by m2/v0.4.3
Soundness MTP1VG1JYQ
| URI | m2://inv/MTP1VG1JYQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#7WGE, Soundness (statement). In 13H5BTAXHF/e1, theorem 24
History
- 2026-10-27: add by m2/v0.3.5
Meta-analysis MTP3454Z3K
| URI | m2://inv/MTP3454Z3K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meta-analysis, Meta-analysis (definition). Also Wikidata Q815382
History
- 2026-11-02: add by m2/dev
Giovan Battista Bellaso MTPC9S94SG
| URI | m2://inv/MTPC9S94SG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#P91O, Giovan Battista Bellaso (topic)
History
- 2026-11-02: add by m2/dev
MTPCCHMFJY MTPCCHMFJY
| URI | m2://inv/MTPCCHMFJY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09945#V8RV (statement). In V7VCEA0VAA/e1, theorem 2.15
History
- 2026-10-29: add by m2/v0.4.10
polar submanifolds for one trace MTPEP72KDX
| URI | m2://inv/MTPEP72KDX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.04000#MD5W, polar submanifolds for one trace (statement). In CBCCH5VTMQ/e1, lemma 3.15
History
- 2026-10-29: add by m2/v0.4.12
MTPJQBAH2V MTPJQBAH2V
| URI | m2://inv/MTPJQBAH2V |
|---|---|
| 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.24541#SG8R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statement MTPP5QWCS1
| URI | m2://inv/MTPP5QWCS1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baire category theorem#S1S6, Statement (statement)
History
- 2026-11-02: add by m2/dev
MTPRW5RX60 MTPRW5RX60
| URI | m2://inv/MTPRW5RX60 |
|---|---|
| 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.26019#OZ8N (statement)
History
- 2026-11-01: add by m2/v0.6.15
MTPSY2BG1G MTPSY2BG1G
| URI | m2://inv/MTPSY2BG1G |
|---|---|
| Kind | definition |
| 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.05990#GPBT (definition). In G2R1ARDYK0/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.10
MTQF8TF2CX MTQF8TF2CX
| URI | m2://inv/MTQF8TF2CX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40207#1UP3 (statement). In JXTG8KP95P/e1, corollary 3.12
History
- 2026-10-30: add by m2/v0.4.12
MTQPF86N1F MTQPF86N1F
| URI | m2://inv/MTQPF86N1F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36622#GZBA (statement). In 9704QPRPR6/e1, corollary 3.3
History
- 2026-10-30: add by m2/v0.4.12
factor through MTQW531FZN
| URI | m2://inv/MTQW531FZN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#WZ00, factor through (definition)
History
- 2026-11-02: add by m2/dev
MTQY0BZH4D MTQY0BZH4D
| URI | m2://inv/MTQY0BZH4D |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14838#2AG0 (example). In J7ZX3WWRQP/e1, example 2.27
History
- 2026-10-28: add by m2/v0.4.2
recursion principle, for natural numbers MTR2ZJ0M8N
| URI | m2://inv/MTR2ZJ0M8N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.9/recursion-principle-for-natural-numbers, recursion principle, for natural numbers (concept). In N54F33XE07, index, section A.9
History
- 2026-11-01: add by m2/v0.6.13
Examples MTR499WQE1
| URI | m2://inv/MTR499WQE1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Negative binomial distribution#CYWZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Special linear group MTRB6XN5FA
| URI | m2://inv/MTRB6XN5FA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#PT5D, Special linear group (definition)
History
- 2026-11-02: add by m2/dev
Galactic coordinate system MTRR3PG5AY
| URI | m2://inv/MTRR3PG5AY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Galactic coordinate system, Galactic coordinate system (definition). Also Wikidata Q385487
History
- 2026-11-02: add by m2/dev
MTRS9S98K7 MTRS9S98K7
| URI | m2://inv/MTRS9S98K7 |
|---|---|
| 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 2604.10080#Z4R5 (statement). In KM2FWKP93A/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.4.0
Sierpinski triangle MTRTVE68W0
| URI | m2://inv/MTRTVE68W0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of chaotic maps#HHXT, Sierpinski triangle (definition)
- wikipedia: Wikipedia List of mathematical shapes#6WFA, Sierpinski triangle (definition)
- wikipedia: Wikipedia List of factorial and binomial topics#AANE, Sierpinski triangle (definition)
History
- 2026-11-02: add by m2/dev
Properties MTS5J05DXE
| URI | m2://inv/MTS5J05DXE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Szilassi polyhedron#U7PH, Properties (statement)
History
- 2026-11-02: add by m2/dev
MTSBPX5J5F MTSBPX5J5F
| URI | m2://inv/MTSBPX5J5F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28323#GSU7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
MTSDXHA9ZN MTSDXHA9ZN
| URI | m2://inv/MTSDXHA9ZN |
|---|---|
| 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.13423#CZSF (statement). In 9JWYWC92M3/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
MTSPPY7TNP MTSPPY7TNP
| URI | m2://inv/MTSPPY7TNP |
|---|---|
| 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.29152#ZF2U (statement)
History
- 2026-11-01: add by m2/v0.6.15
MTT15S02E6 MTT15S02E6
| URI | m2://inv/MTT15S02E6 |
|---|---|
| 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.34551#KM0M (statement). In 3AF7G56AGE/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Banach bundle MTT32HVGG8
| URI | m2://inv/MTT32HVGG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach bundle (non-commutative geometry), Banach bundle (definition). Also Wikidata Q4853762
History
- 2026-11-02: add by m2/dev
Regression analysis MTT5RZBGN2
| URI | m2://inv/MTT5RZBGN2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FABA, Regression analysis (definition)
History
- 2026-11-02: add by m2/dev
MTT62AD80J MTT62AD80J
| URI | m2://inv/MTT62AD80J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35442#OENG (statement). In C6R0DAA279/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
Kanakanahalli Ramachandra MTT9Q0ME89
| URI | m2://inv/MTT9Q0ME89 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#O6Y5, Kanakanahalli Ramachandra (topic)
History
- 2026-11-02: add by m2/dev
MTTK79A141 MTTK79A141
| URI | m2://inv/MTTK79A141 |
|---|---|
| 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 2609.33651#E7TN (statement). In 69DBD2HKGK/e1, lemma 7.4
History
- 2026-10-30: add by m2/v0.4.12
Binary OR MTV3J16QNF
| URI | m2://inv/MTV3J16QNF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bitwise operation#5EYS, Binary OR (unknown)
History
- 2026-11-02: add by m2/dev
MTV5TNTCZQ MTV5TNTCZQ
| URI | m2://inv/MTV5TNTCZQ |
|---|---|
| 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 2211.04758#T7P5 (statement). In DRWDJG2G3S/e1, theorem 1.14
History
- 2026-10-27: add by m2/v0.3.5
Lie product formula MTV61KPVMT
| URI | m2://inv/MTV61KPVMT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Lie product formula HK3BRMK912 |
Mentions
- wikidata: Wikidata Q3077645, Lie product formula (statement). Also MathWorld TrotterProductFormula
- wikipedia: Wikipedia Lie product formula, Lie product formula (statement). Also Wikidata Q3077645
History
- 2026-10-26: add by m2/dev
MTV8YKET5E MTV8YKET5E
| URI | m2://inv/MTV8YKET5E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-statements.ptx#exercise-2 (exercise). In Y91XFCEVHQ, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
*{Theorem 2.1.1 MTVDSY1Y5Y
| URI | m2://inv/MTVDSY1Y5Y |
|---|---|
| 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#MSWA, *{Theorem 2.1.1 (statement). In NSBSWH6XB4/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.12
MTW40RE26Y MTW40RE26Y
| URI | m2://inv/MTW40RE26Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.14143#62VK (definition). In 7WV4JVGEN1/e1, definition 5.7
History
- 2026-10-27: add by m2/v0.4.0
MTWCTG6VRV MTWCTG6VRV
| URI | m2://inv/MTWCTG6VRV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08196#CB4X (example). In 8QVWZ23N42/e1, example 5.17
History
- 2026-10-29: add by m2/v0.4.10
similarities in their morphology and lifestyle MTWNXQG8Q5
| URI | m2://inv/MTWNXQG8Q5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#6Y1H, similarities in their morphology and lifestyle (unknown)
History
- 2026-11-02: add by m2/dev
MTWVYNFA55 MTWVYNFA55
| URI | m2://inv/MTWVYNFA55 |
|---|---|
| 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 2403.01959#HQNU (statement). In 5YMNGJRC6Y/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.3.5
Euler substitution MTWYV53DJJ
| URI | m2://inv/MTWYV53DJJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler substitution, Euler substitution (definition). Also Wikidata Q4368359
History
- 2026-11-02: add by m2/dev
0-Connected MTWZVFYTXD
| URI | m2://inv/MTWZVFYTXD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connected space#7RQK, 0-Connected (unknown)
History
- 2026-11-02: add by m2/dev
MTX1SCHPVJ MTX1SCHPVJ
| URI | m2://inv/MTX1SCHPVJ |
|---|---|
| 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#26GG (statement). In FEQ72D1AX6/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.4.2
Examples MTX9RPVZPF
| URI | m2://inv/MTX9RPVZPF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fekete's lemma#98WE, Examples (example)
History
- 2026-11-02: add by m2/dev
Sign of the principal eigenvalue MTXD7RX282
| URI | m2://inv/MTXD7RX282 |
|---|---|
| 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.28024#J7SZ, Sign of the principal eigenvalue (statement)
History
- 2026-11-01: add by m2/v0.6.15
Weil–Brezin Map MTXQPG174X
| URI | m2://inv/MTXQPG174X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after André Weil#4VTK, Weil–Brezin Map (definition)
History
- 2026-11-02: add by m2/dev
Kronecker's theorem MTXV4BGC31
| URI | m2://inv/MTXV4BGC31 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q848810, Kronecker's theorem (statement). Also Wikidata Q848810
- thousand_plus: thousand_plus Q848810, Kronecker's theorem (statement). Also Wikidata Q848810, Wikipedia Kronecker's theorem
- wikipedia: Wikipedia Kronecker's theorem, Kronecker's theorem (statement). Also Wikidata Q848810
History
- 2026-10-26: add by m2/dev
Alan J. Hoffman MTXW9P5480
| URI | m2://inv/MTXW9P5480 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#N1P1, Alan J. Hoffman (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XA34, Alan J. Hoffman (unknown)
History
- 2026-11-02: add by m2/dev
Definition MTXXP7E9GB
| URI | m2://inv/MTXXP7E9GB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spark (mathematics)#ZP5R, Definition (definition)
History
- 2026-11-02: add by m2/dev
Eichler order MTY2X756K5
| URI | m2://inv/MTY2X756K5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eichler order, Eichler order (definition). Also Wikidata Q5348728
History
- 2026-11-02: add by m2/dev
MTY6SS9DSW MTY6SS9DSW
| URI | m2://inv/MTY6SS9DSW |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.02065#2X22 (problem). In 60CK7P5F36/e1, problem 8.3
History
- 2026-10-27: add by m2/v0.3.5
Tate's theorem and the Artin map MTYA5S1WXT
| URI | m2://inv/MTYA5S1WXT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Class formation#KQF2, Tate's theorem and the Artin map (statement)
History
- 2026-11-02: add by m2/dev
MTYJ95Z9JA MTYJ95Z9JA
| URI | m2://inv/MTYJ95Z9JA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/cover-project.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 97.1
History
- 2026-11-01: add by m2/v0.6.13
MTYKACYSNC MTYKACYSNC
| URI | m2://inv/MTYKACYSNC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0810.0962#D6S3 (statement). In 80YMRN5KS9/e1, lemma 22
History
- 2026-10-27: add by m2/v0.3.5
MTYYVFCHZM MTYYVFCHZM
| URI | m2://inv/MTYYVFCHZM |
|---|---|
| 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.26776#577Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Generalized Plurality MTZ5DDT2HR
| URI | m2://inv/MTZ5DDT2HR |
|---|---|
| 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.02506#3O1W, Generalized Plurality (definition). In 3JKRBZWJ33/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.12
Applications MTZ5RGQY8V
| URI | m2://inv/MTZ5RGQY8V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infomax#IEDV, Applications (example)
History
- 2026-11-02: add by m2/dev
countable set MTZB1FKBN5
| URI | m2://inv/MTZB1FKBN5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Countable set 01TQB88H4C |
Mentions
- wikidata: Wikidata Q66707394, countable set (definition). Also Mathlib Countable, MathWorld CountableSet, ProofWiki Definition:Countable_Set
- wikipedia: Wikipedia Countable set, Countable set (definition). Also Wikidata Q66707394
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Dagum, Estelle Bee MTZB9H771S
| URI | m2://inv/MTZB9H771S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#7SA0, Dagum, Estelle Bee (unknown)
History
- 2026-11-02: add by m2/dev
MTZFVATWC5 MTZFVATWC5
| URI | m2://inv/MTZFVATWC5 |
|---|---|
| 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.18226#T1AT (statement). In B3EHT1FRM5/e1, corollary 2.9
History
- 2026-10-28: add by m2/v0.4.2
Rajesh Gopakumar MTZJQQ7YJN
| URI | m2://inv/MTZJQQ7YJN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7286054, Rajesh Gopakumar (unknown). Also nLab Rajesh Gopakumar
History
- 2026-10-26: add by m2/dev
Mario Pascal MTZMCED1YC
| URI | m2://inv/MTZMCED1YC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mario Pascal, Mario Pascal (topic). Also Wikidata Q3848920
History
- 2026-11-02: add by m2/dev
Hölder's inequality MTZQ3G9BJF
| URI | m2://inv/MTZQ3G9BJF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > Hölder's inequality, Hölder's inequality (unknown). Also Mathlib NNReal.lintegral_mul_le_Lp_mul_Lq
History
- 2026-10-26: add by m2/dev
Structure of inverse RGAs MTZQFBGT5S
| URI | m2://inv/MTZQFBGT5S |
|---|---|
| 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.35558#V38X, Structure of inverse RGAs (statement). In HR2TQ292AE/e1, theorem 4.3
History
- 2026-10-30: add by m2/v0.4.12
Type-predicate syntactic escape MTZRSB1QBS
| URI | m2://inv/MTZRSB1QBS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#2MLY, Type-predicate syntactic escape (statement). In CPYWHRTPKC/e1, lemma 7.22
History
- 2026-10-27: add by m2/v0.4.2
MTZVRMTVDM MTZVRMTVDM
| URI | m2://inv/MTZVRMTVDM |
|---|---|
| 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.26307#DNSY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Terminology MTZYDS3BPF
| URI | m2://inv/MTZYDS3BPF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fictitious play#L6HN, Terminology (definition)
History
- 2026-11-02: add by m2/dev
The two possible height increments MTZZCQVFWH
| URI | m2://inv/MTZZCQVFWH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#BLOW, The two possible height increments (statement)
History
- 2026-11-01: add by m2/v0.6.15