Inventory rows AS
The cards of the rows of the inventory whose ids start with AS. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Tadao Oda AS00SXTGV7
| URI | m2://inv/AS00SXTGV7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tadao Oda, Tadao Oda (topic). Also Wikidata Q4027292
History
- 2026-11-02: add by m2/dev
Lower max-domain of attraction AS03YJHYV9
| URI | m2://inv/AS03YJHYV9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29658#5NHJ, Lower max-domain of attraction (definition)
History
- 2026-11-01: add by m2/v0.6.15
Properties AS068TXCZX
| URI | m2://inv/AS068TXCZX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentagonal cupola#ARF6, Properties (statement)
History
- 2026-11-02: add by m2/dev
AS06MCSMHE AS06MCSMHE
| URI | m2://inv/AS06MCSMHE |
|---|---|
| Kind | example |
| 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.19309#MWKY (example). In XKENQH35DW/e1, example Example
History
- 2026-10-28: add by m2/v0.4.2
AS08A9Y8CH AS08A9Y8CH
| URI | m2://inv/AS08A9Y8CH |
|---|---|
| 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.21934#EMAL (statement). In YKD51BX3XB/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.4.2
AS0DT0X14D AS0DT0X14D
| URI | m2://inv/AS0DT0X14D |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10469#HZRW (example). In Q39BEKW6D9/e1, example 3.10
History
- 2026-10-29: add by m2/v0.4.10
A priori bound AS0QF4F3V2
| URI | m2://inv/AS0QF4F3V2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14498#HIGZ, A priori bound (statement). In 81YXGYETE4/e1, proposition 6
History
- 2026-10-28: add by m2/v0.4.2
AS0R0E6KK7 AS0R0E6KK7
| URI | m2://inv/AS0R0E6KK7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16055#9NPS (definition). In 389BW42CTK/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.2
AS18XEF1BB AS18XEF1BB
| URI | m2://inv/AS18XEF1BB |
|---|---|
| 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.14450#VW00 (statement). In ZHTGQT07PE/e1, lemma 4.16
History
- 2026-10-28: add by m2/v0.4.2
Trigonometry AS1DR2PXEB
| URI | m2://inv/AS1DR2PXEB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#L9GM, Trigonometry (topic)
History
- 2026-11-02: add by m2/dev
Randomization AS1FCSXH21
| URI | m2://inv/AS1FCSXH21 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#OD6U, Randomization (definition)
History
- 2026-11-02: add by m2/dev
AS1KGQRX96 AS1KGQRX96
| URI | m2://inv/AS1KGQRX96 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39254#AOXK (statement). In A59MZ9H284/e1, corollary 4.7
History
- 2026-10-30: add by m2/v0.4.12
AS1WHG57JC AS1WHG57JC
| URI | m2://inv/AS1WHG57JC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#YVIF (statement). In 67GE5M1GGD/e1, proposition 6.2
History
- 2026-10-30: add by m2/v0.4.12
AS201N02KF AS201N02KF
| URI | m2://inv/AS201N02KF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03337#CPTQ (statement). In VH7EZDGTNA/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.12
AS21T3ZJBF AS21T3ZJBF
| URI | m2://inv/AS21T3ZJBF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24041#QOXC (statement)
History
- 2026-11-02: add by m2/v0.6.17
AS21V6R7QA AS21V6R7QA
| URI | m2://inv/AS21V6R7QA |
|---|---|
| Kind | problem |
| 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#PAES (problem). In G70Q2FB591/e1, problem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Independence of the point above $\tau$ AS247NBJQH
| URI | m2://inv/AS247NBJQH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.20572#0SOS, Independence of the point above $\tau$ (statement)
History
- 2026-11-02: add by m2/v0.6.18
AS2D9QAEFS AS2D9QAEFS
| URI | m2://inv/AS2D9QAEFS |
|---|---|
| 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.09154#VLAJ (statement). In JYVGX17N4F/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.10
Tau function AS2E6E09F0
| URI | m2://inv/AS2E6E09F0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q104869809, Tau function (concept). Also nLab tau-function
- wikipedia: Wikipedia Tau function (integrable systems), Tau function (definition). Also Wikidata Q104869809
History
- 2026-10-26: add by m2/dev
AS2F11JJ6T AS2F11JJ6T
| URI | m2://inv/AS2F11JJ6T |
|---|---|
| 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 1009.2047#0Q9S (statement). In F3MWRNBNED/e1, corollary 5.2
History
- 2026-10-27: add by m2/v0.3.5
AS2N1M3TKX AS2N1M3TKX
| URI | m2://inv/AS2N1M3TKX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#1OW8 (statement). In B9EX6K51RD/e1, theorem A.1
History
- 2026-10-28: add by m2/v0.4.2
AS2T170C2W AS2T170C2W
| URI | m2://inv/AS2T170C2W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21098#DEV2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
cupola AS2WTFTW1W
| URI | m2://inv/AS2WTFTW1W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1792895, cupola (unknown). Also MathWorld Cupola
- wikipedia: Wikipedia Cupola (geometry), Cupola (definition). Also Wikidata Q1792895
History
- 2026-10-26: add by m2/dev
Challenging AS33SMK1RA
| URI | m2://inv/AS33SMK1RA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-41, Challenging (exercise). In E59CDZA4DP, exercise, section 7.5.1
History
- 2026-11-01: add by m2/v0.6.13
AS3KA8FB3F AS3KA8FB3F
| URI | m2://inv/AS3KA8FB3F |
|---|---|
| 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.16554#3NXG (statement). In GWNT8HEZG1/e1, proposition 4.19
History
- 2026-10-27: add by m2/v0.3.6
Example AS3QXCJNZP
| URI | m2://inv/AS3QXCJNZP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Okamoto–Uchiyama cryptosystem#LA27, Example (example)
History
- 2026-11-02: add by m2/dev
Mathematical quantity AS41C0MY8V
| URI | m2://inv/AS41C0MY8V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantity#CX00, Mathematical quantity (unknown)
History
- 2026-11-02: add by m2/dev
Order AS462W5HWH
| URI | m2://inv/AS462W5HWH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order (mathematics), Order (definition). Also Wikidata Q1820515
History
- 2026-11-02: add by m2/dev
number of ordinary boxes AS47BTHNB6
| URI | m2://inv/AS47BTHNB6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01753#WD3X, number of ordinary boxes (statement). In JY50YXMH5N/e1, corollary 42
History
- 2026-10-29: add by m2/v0.4.12
Displacement theorem AS47GZ1QPY
| URI | m2://inv/AS47GZ1QPY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point process operation#ESXO, Displacement theorem (statement)
History
- 2026-11-02: add by m2/dev
Legendrian submanifold AS4GQTMYYE
| URI | m2://inv/AS4GQTMYYE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#VD2B, Legendrian submanifold (topic)
History
- 2026-11-02: add by m2/dev
AS4N356M35 AS4N356M35
| URI | m2://inv/AS4N356M35 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01694#DX6G (statement). In EBMHYN0XK9/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
AS4RYQVBKP AS4RYQVBKP
| URI | m2://inv/AS4RYQVBKP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33584#P1VM (statement). In 3HFBAWQCA1/e1, proposition 5.8
History
- 2026-10-30: add by m2/v0.4.12
continuity AS4T6K1PZV
| URI | m2://inv/AS4T6K1PZV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12030090, continuity (unknown). Also MathWorld Continuity
History
- 2026-10-26: add by m2/dev
AS52SSMWQ7 AS52SSMWQ7
| URI | m2://inv/AS52SSMWQ7 |
|---|---|
| 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 1009.2043#CUQP (statement). In 7DCNHRBK5A/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
Further examples AS531HYYXX
| URI | m2://inv/AS531HYYXX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Big O notation#0KV0, Further examples (example)
History
- 2026-11-02: add by m2/dev
AS537RQHRF AS537RQHRF
| URI | m2://inv/AS537RQHRF |
|---|---|
| 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.29824#ZQCC (statement)
History
- 2026-11-01: add by m2/v0.6.15
AS53A5TT5M AS53A5TT5M
| URI | m2://inv/AS53A5TT5M |
|---|---|
| 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.02912#E0ES (statement). In 2GP3PK3A0C/e1, corollary 1
History
- 2026-10-29: add by m2/v0.4.12
Properties AS564DBQPM
| URI | m2://inv/AS564DBQPM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polylogarithm#LFMB, Properties (statement)
History
- 2026-11-02: add by m2/dev
AS5666JQCX AS5666JQCX
| URI | m2://inv/AS5666JQCX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19437#VN7A (statement). In 9PXXGQ978Z/e1, lemma 4.22
History
- 2026-10-28: add by m2/v0.4.2
Karush–Kuhn–Tucker conditions AS56QJ2P9P
| URI | m2://inv/AS56QJ2P9P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#DGI9, Karush–Kuhn–Tucker conditions (definition)
History
- 2026-11-02: add by m2/dev
Linear congruential generator AS5CSVD91A
| URI | m2://inv/AS5CSVD91A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#HCO5, Linear congruential generator (definition)
History
- 2026-11-02: add by m2/dev
Decomposition for repetitive reasoning AS5EDTWQ95
| URI | m2://inv/AS5EDTWQ95 |
|---|---|
| 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.00571#FN64, Decomposition for repetitive reasoning (statement). In W50NNC2MJS/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
zenzizenzizenzic AS5FYPQE9R
| URI | m2://inv/AS5FYPQE9R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q539027, zenzizenzizenzic (definition). Also ProofWiki Definition:Zenzizenzizenzic
- wikipedia: Wikipedia Zenzizenzizenzic, Zenzizenzizenzic (definition). Also Wikidata Q539027
History
- 2026-10-26: add by m2/dev
General relativity and the equivalence principle AS5G3QS8C9
| URI | m2://inv/AS5G3QS8C9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albert Einstein#AS51, General relativity and the equivalence principle (statement)
History
- 2026-11-02: add by m2/dev
Hölder's inequality AS5JD8V90N
| URI | m2://inv/AS5JD8V90N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#SU9S, Hölder's inequality (statement)
- wikipedia: Wikipedia List of inequalities#2PEU, Hölder's inequality (statement)
History
- 2026-11-02: add by m2/dev
AS5VBD0P3F AS5VBD0P3F
| URI | m2://inv/AS5VBD0P3F |
|---|---|
| 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.28011#FGHO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Taylor's theorem and convergence of Taylor series AS6DRKYCCN
| URI | m2://inv/AS6DRKYCCN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taylor's theorem#URUZ, Taylor's theorem and convergence of Taylor series (statement)
History
- 2026-11-02: add by m2/dev
AS6GM9YDKM AS6GM9YDKM
| URI | m2://inv/AS6GM9YDKM |
|---|---|
| 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 2405.10747#OO9L (statement). In X0PS03QCG0/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Demand with a continuous instrument and a continuous treatment AS6MVAENBB
| URI | m2://inv/AS6MVAENBB |
|---|---|
| Kind | example |
| 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.40156#GPDT, Demand with a continuous instrument and a continuous treatment (example). In PP8BEHWK33/e1, example 4
History
- 2026-10-30: add by m2/v0.4.12
AS6R75TVCM AS6R75TVCM
| URI | m2://inv/AS6R75TVCM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-15 (exercise). In E9HS8K3A52, exercise, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
Common ground AS6VZBY8B7
| URI | m2://inv/AS6VZBY8B7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Common ground (linguistics), Common ground (definition). Also Wikidata Q106074319
History
- 2026-11-02: add by m2/dev
AS6YZ7D86N AS6YZ7D86N
| URI | m2://inv/AS6YZ7D86N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02495#6H2G (statement). In T4S7XVAJJC/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
Hastie, Trevor AS728KYWCF
| URI | m2://inv/AS728KYWCF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#FQVR, Hastie, Trevor (unknown)
History
- 2026-11-02: add by m2/dev
Stefan Güttel AS76XQJ0K1
| URI | m2://inv/AS76XQJ0K1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stefan Güttel, Stefan Güttel (topic). Also Wikidata Q102411363
History
- 2026-11-02: add by m2/dev
AS77DHKS83 AS77DHKS83
| URI | m2://inv/AS77DHKS83 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/action.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Tom Bradley AS78AD4YS3
| URI | m2://inv/AS78AD4YS3 |
|---|---|
| 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#52Q1, Tom Bradley (unknown)
History
- 2026-11-02: add by m2/dev
Rank-finiteness AS7AQHD0QJ
| URI | m2://inv/AS7AQHD0QJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank-finiteness, Rank-finiteness (definition). Also Wikidata Q133284161
History
- 2026-11-02: add by m2/dev
Representation-theoretic estimates AS7CQCV8F1
| URI | m2://inv/AS7CQCV8F1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40271#2CKH, Representation-theoretic estimates (statement). In 9MXMRKFKDW/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
Kochen–Specker theorem AS7FYH20VD
| URI | m2://inv/AS7FYH20VD |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q528955, Kochen–Specker theorem (statement). Also Wikidata Q528955
- thousand_plus: thousand_plus Q528955, Kochen–Specker theorem (statement). Also Wikidata Q528955, Wikipedia Kochen–Specker theorem
- wikidata: Wikidata Q528955, Kochen–Specker theorem (unknown). Also nLab Kochen-Specker theorem
- wikipedia: Wikipedia Kochen–Specker theorem, Kochen–Specker theorem (statement). Also Wikidata Q528955
History
- 2026-10-26: add by m2/dev
Bordering round AS7GPPNHB0
| URI | m2://inv/AS7GPPNHB0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27966#XQLB, Bordering round (definition)
History
- 2026-11-01: add by m2/v0.6.15
AS7JRF987B AS7JRF987B
| URI | m2://inv/AS7JRF987B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 18-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 2304.07398#GBPK (definition). In JS5FKV1S9T/e1, definition F.3
History
- 2026-10-27: add by m2/v0.3.5
Stable Yang–Mills–Higgs pair AS7RWA9YB4
| URI | m2://inv/AS7RWA9YB4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable Yang–Mills–Higgs pair, Stable Yang–Mills–Higgs pair (definition). Also Wikidata Q131321673
History
- 2026-11-02: add by m2/dev
The i.i.d.\ model AS7THPY5N5
| URI | m2://inv/AS7THPY5N5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#OUET, The i.i.d.\ model (definition)
History
- 2026-11-01: add by m2/v0.6.15
AS865PTDW2 AS865PTDW2
| URI | m2://inv/AS865PTDW2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/norm-trace.tex#definition-3 (definition). In RZP28ERRZV, definition, section 15.2
History
- 2026-11-01: add by m2/v0.6.13
Lambert W function AS8D5J629T
| URI | m2://inv/AS8D5J629T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Lambert W function FW2JKAN14B |
Mentions
- wikidata: Wikidata Q429331, Lambert W function (definition). Also MathWorld LambertW-Function, nLab Lambert W-function, ProofWiki Definition:Lambert_W_Function
- wikipedia: Wikipedia Lambert W function, Lambert W function (definition). Also Wikidata Q429331
History
- 2026-10-26: add by m2/dev
Age of Earth AS8NHSPKCT
| URI | m2://inv/AS8NHSPKCT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Age of Earth, Age of Earth (definition). Also Wikidata Q935310
History
- 2026-11-02: add by m2/dev
Definition AS8PMNB80H
| URI | m2://inv/AS8PMNB80H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PPAD (complexity)#4LDX, Definition (definition)
History
- 2026-11-02: add by m2/dev
David Steurer AS8WPQ59RZ
| URI | m2://inv/AS8WPQ59RZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Z4W6, David Steurer (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations AS9103JCBP
| URI | m2://inv/AS9103JCBP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vandermonde matrix#EVD0, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Lotte Hollands AS93TQVHNZ
| URI | m2://inv/AS93TQVHNZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lotte Hollands, Lotte Hollands (topic). Also Wikidata Q58641633
History
- 2026-11-02: add by m2/dev
AS96C3RP0S AS96C3RP0S
| URI | m2://inv/AS96C3RP0S |
|---|---|
| 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 1701.00517#1XZG (statement). In JHPBT88FDW/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.3.5
Properties AS96CR23RK
| URI | m2://inv/AS96CR23RK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exact C*-algebra#LRVD, Properties (statement)
History
- 2026-11-02: add by m2/dev
Association of Christians in the Mathematical Sciences AS96Q41CT5
| URI | m2://inv/AS96Q41CT5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Association of Christians in the Mathematical Sciences, Association of Christians in the Mathematical Sciences (definition). Also Wikidata Q4809718
History
- 2026-11-02: add by m2/dev
Rudvalis group AS9ATFG347
| URI | m2://inv/AS9ATFG347 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#WJ3P, Rudvalis group (object)
History
- 2026-11-02: add by m2/dev
Gauss–Jacobi quadrature AS9BB38YAV
| URI | m2://inv/AS9BB38YAV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss–Jacobi quadrature, Gauss–Jacobi quadrature (definition). Also Wikidata Q5527851
History
- 2026-11-02: add by m2/dev
Collision Green function bounds AS9FYZAZZ4
| URI | m2://inv/AS9FYZAZZ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#UYGS, Collision Green function bounds (statement)
History
- 2026-11-02: add by m2/v0.6.17
Substitution theorem AS9H348Q8F
| URI | m2://inv/AS9H348Q8F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural deduction#ZZM6, Substitution theorem (statement)
History
- 2026-11-02: add by m2/dev
Global admissibility and exact objective AS9J165Q9M
| URI | m2://inv/AS9J165Q9M |
|---|---|
| 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.03633#7LRH, Global admissibility and exact objective (statement). In X3E4D61X4V/e1, lemma D.1
History
- 2026-10-29: add by m2/v0.4.12
AS9JN9S9X4 AS9JN9S9X4
| URI | m2://inv/AS9JN9S9X4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05850#FDTL (statement). In D424GB5MAW/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
Chen-ning Yang AS9MBF1T28
| URI | m2://inv/AS9MBF1T28 |
|---|---|
| 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 Q181369, Chen-ning Yang (unknown). Also nLab Chen Ning Yang, ProofWiki Mathematician:Yang_Chen-Ning
History
- 2026-10-26: add by m2/dev
AS9TN78YNW AS9TN78YNW
| URI | m2://inv/AS9TN78YNW |
|---|---|
| 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.28597#FUU6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
ASA31N8NBA ASA31N8NBA
| URI | m2://inv/ASA31N8NBA |
|---|---|
| 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.15460#Q7XO (statement). In T2Z3D2VQ9B/e1, theorem 7.1
History
- 2026-10-28: add by m2/v0.4.2
Examples ASA53CVJD5
| URI | m2://inv/ASA53CVJD5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinal collapsing function#ZBQ3, Examples (example)
History
- 2026-11-02: add by m2/dev
ASADZ060WE ASADZ060WE
| URI | m2://inv/ASADZ060WE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30262#XM7K (statement). In FWA5QW6FCF/e1, proposition 5.3
History
- 2026-10-31: add by m2/v0.5.6
Continuity ASAH25B8YA
| URI | m2://inv/ASAH25B8YA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sublinear function#FSGI, Continuity (statement)
History
- 2026-11-02: add by m2/dev
ASAN0PPCZW ASAN0PPCZW
| URI | m2://inv/ASAN0PPCZW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11965#025K (statement). In 48QX0QD0XR/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.3
ASAP92V8YS ASAP92V8YS
| URI | m2://inv/ASAP92V8YS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.07116#AK8N (example). In 5B030CB2RK/e1, example 9.2
History
- 2026-10-27: add by m2/v0.3.6
ASAPY16ER0 ASAPY16ER0
| URI | m2://inv/ASAPY16ER0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2609.23884#G11B (statement)
History
- 2026-11-02: add by m2/v0.6.17
Coherent sheaf ASB2PAE2AJ
| URI | m2://inv/ASB2PAE2AJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#TUQ7, Coherent sheaf (definition)
History
- 2026-11-02: add by m2/dev
ASB3G3WV7M ASB3G3WV7M
| URI | m2://inv/ASB3G3WV7M |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32338#D10H (problem). In HVY45JQRNK/e1, problem 1
History
- 2026-10-31: add by m2/v0.5.6
Collision lemma ASB6R9BVQX
| URI | m2://inv/ASB6R9BVQX |
|---|---|
| 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.22305#5JOO, Collision lemma (statement). In P6FTXTV09Q/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.0
ASB6Y0GH08 ASB6Y0GH08
| URI | m2://inv/ASB6Y0GH08 |
|---|---|
| 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#YMMM (statement). In F7TDYCHCSE/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Hyperbolic triangle ASBD6FB8ME
| URI | m2://inv/ASBD6FB8ME |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic triangle, Hyperbolic triangle (definition). Also Wikidata Q2246553
History
- 2026-11-02: add by m2/dev
Pauli action on the stabilizer eigenspace ASBMBAV3WP
| URI | m2://inv/ASBMBAV3WP |
|---|---|
| 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.02166#KN96, Pauli action on the stabilizer eigenspace (statement). In R6RF3P6D5A/e1, lemma B.2
History
- 2026-10-29: add by m2/v0.4.12
Koskela--Lehrb\"ack ASC11CBXXY
| URI | m2://inv/ASC11CBXXY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22407#ZRBH, Koskela--Lehrb\"ack (statement)
History
- 2026-11-02: add by m2/v0.6.17
ASC99JNN38 ASC99JNN38
| URI | m2://inv/ASC99JNN38 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30750#LRUJ (example). In DACV7NTAAK/e1, example D.2
History
- 2026-10-31: add by m2/v0.5.6
Eileen Brooke ASCCPN9D9W
| URI | m2://inv/ASCCPN9D9W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eileen Brooke, Eileen Brooke (topic). Also Wikidata Q55419361
History
- 2026-11-02: add by m2/dev
François Fages ASCCWRKDNZ
| URI | m2://inv/ASCCWRKDNZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia François Fages, François Fages (topic). Also Wikidata Q27863085
History
- 2026-11-02: add by m2/dev
Malay Ghosh ASCDSE0E1X
| URI | m2://inv/ASCDSE0E1X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Malay Ghosh, Malay Ghosh (topic). Also Wikidata Q6741535
History
- 2026-11-02: add by m2/dev
ASCGEPCYSG ASCGEPCYSG
| URI | m2://inv/ASCGEPCYSG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1904.09810#VUZF (example). In T1VFA7TXPA/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
Sunrise equation ASCHE392JJ
| URI | m2://inv/ASCHE392JJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sunrise equation, Sunrise equation (definition). Also Wikidata Q492486
History
- 2026-11-02: add by m2/dev
ASCV6GWFE0 ASCV6GWFE0
| URI | m2://inv/ASCV6GWFE0 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06925#SNMI (conjecture). In P0NV7337EK/e1, conjecture
History
- 2026-10-29: add by m2/v0.4.10
Sidorenko's conjecture ASCXMT0BCR
| URI | m2://inv/ASCXMT0BCR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sidorenko's conjecture, Sidorenko's conjecture (statement). Also Wikidata Q85801084
History
- 2026-11-02: add by m2/dev
PostBQP ASDAA1FJ8T
| URI | m2://inv/ASDAA1FJ8T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PostBQP, PostBQP (definition). Also Wikidata Q7233606
History
- 2026-11-02: add by m2/dev
inequation ASDAX8XWCX
| URI | m2://inv/ASDAX8XWCX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q165309, inequation (unknown). Also MathWorld Inequation
- wikipedia: Wikipedia Inequation, Inequation (definition). Also Wikidata Q165309
History
- 2026-10-26: add by m2/dev
ASDBMYQGVH ASDBMYQGVH
| URI | m2://inv/ASDBMYQGVH |
|---|---|
| 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.21399#Q3H2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Construction ASDD3M2EPK
| URI | m2://inv/ASDD3M2EPK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twist knot#9FB7, Construction (definition)
History
- 2026-11-02: add by m2/dev
ASDD6YQ5VQ ASDD6YQ5VQ
| URI | m2://inv/ASDD6YQ5VQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06895#XCQS (example). In PBB3PSDP0S/e1, example 1
History
- 2026-10-29: add by m2/v0.4.10
ASDFWTZ7N6 ASDFWTZ7N6
| URI | m2://inv/ASDFWTZ7N6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32524#X2R4 (example). In XGCND7R0B0/e1, example 5.2
History
- 2026-10-31: add by m2/v0.5.6
skewness ASDJHTDKA9
| URI | m2://inv/ASDJHTDKA9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130327722, skewness (unknown). Also MathWorld GraphSkewness
History
- 2026-10-26: add by m2/dev
ASDR4DMTED ASDR4DMTED
| URI | m2://inv/ASDR4DMTED |
|---|---|
| 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.22825#P3RB (statement)
History
- 2026-11-02: add by m2/v0.6.17
ASDSGE1APR ASDSGE1APR
| URI | m2://inv/ASDSGE1APR |
|---|---|
| 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.40251#0YB6 (statement). In 9J7TJYKGYX/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
ASDVTATXQY ASDVTATXQY
| URI | m2://inv/ASDVTATXQY |
|---|---|
| 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.09882#SXFX (statement). In 7XV6T4N79V/e1, lemma B.2
History
- 2026-10-29: add by m2/v0.4.10
Hurwitz surface ASE01FAYP7
| URI | m2://inv/ASE01FAYP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#8ANV, Hurwitz surface (definition)
History
- 2026-11-02: add by m2/dev
David Polak ASE1ME9YDN
| URI | m2://inv/ASE1ME9YDN |
|---|---|
| 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#C558, David Polak (unknown)
History
- 2026-11-02: add by m2/dev
ASE25Y708F ASE25Y708F
| URI | m2://inv/ASE25Y708F |
|---|---|
| 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 2601.15010#NGAE (statement). In K3WJ6ZN184/e1, proposition 6.4
History
- 2026-10-27: add by m2/v0.3.5
ASE7YRBPWP ASE7YRBPWP
| URI | m2://inv/ASE7YRBPWP |
|---|---|
| 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.27078#HOVU (statement)
History
- 2026-11-01: add by m2/v0.6.15
ASEBSXD63P ASEBSXD63P
| URI | m2://inv/ASEBSXD63P |
|---|---|
| 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.21036#AJHF (statement). In G0M4N3E0CG/e1, lemma 3.11
History
- 2026-10-27: add by m2/v0.4.2
Examples ASEC6H7X3X
| URI | m2://inv/ASEC6H7X3X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute Galois group#15GZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Exponential moving average (EMA) of iterates ASEFBV3C5V
| URI | m2://inv/ASEFBV3C5V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.07061#LVKT, Exponential moving average (EMA) of iterates (definition). In S988ZVA1QE/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.6
ASEFF7YBYY ASEFF7YBYY
| URI | m2://inv/ASEFF7YBYY |
|---|---|
| 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 2609.28020#ELUT (statement)
History
- 2026-11-01: add by m2/v0.6.15
ASET80H3BH ASET80H3BH
| URI | m2://inv/ASET80H3BH |
|---|---|
| Kind | problem |
| 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 2504.13328#16LD (problem). In 736Q32FYCG/e1, problem 5.4
History
- 2026-10-27: add by m2/v0.3.5
ASEYNKAQ64 ASEYNKAQ64
| URI | m2://inv/ASEYNKAQ64 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20849#DTMN (statement). In HK7FV97MFD/e1, corollary 3.1
History
- 2026-10-27: add by m2/v0.4.2
ASF26GQTVQ ASF26GQTVQ
| URI | m2://inv/ASF26GQTVQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CartesianProducts.tex#problem-10 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
ASF2XS9GC5 ASF2XS9GC5
| URI | m2://inv/ASF2XS9GC5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16241#FU4N (statement). In WNDHZVY4WK/e1, theorem D
History
- 2026-10-28: add by m2/v0.4.2
Uncertain geographic context problem ASF4P6ZY6N
| URI | m2://inv/ASF4P6ZY6N |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uncertain geographic context problem, Uncertain geographic context problem (problem). Also Wikidata Q116257548
History
- 2026-11-02: add by m2/dev
ASF8EFA1YG ASF8EFA1YG
| URI | m2://inv/ASF8EFA1YG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24465#Z5CE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rectified 600-cell ASFFWETB4Q
| URI | m2://inv/ASFFWETB4Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified 600-cell, Rectified 600-cell (definition). Also Wikidata Q7303162
History
- 2026-11-02: add by m2/dev
Catnip ASFG0DVK2A
| URI | m2://inv/ASFG0DVK2A |
|---|---|
| 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#8VGU, Catnip (unknown)
History
- 2026-11-02: add by m2/dev
ASFJA7PRQM ASFJA7PRQM
| URI | m2://inv/ASFJA7PRQM |
|---|---|
| Kind | definition |
| 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.10469#RFDV (definition). In Q39BEKW6D9/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Kirby calculus ASG29G3ZBK
| URI | m2://inv/ASG29G3ZBK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometric topology topics#LTFA, Kirby calculus (definition)
History
- 2026-11-02: add by m2/dev
ASG2E3VJZ9 ASG2E3VJZ9
| URI | m2://inv/ASG2E3VJZ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35339#3QQ3 (statement). In JT998WJYJJ/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
Zarankiewicz ASG2ZSTNN3
| URI | m2://inv/ASG2ZSTNN3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#YHA0, Zarankiewicz (unknown)
History
- 2026-11-02: add by m2/dev
contour integration ASG7PQ721N
| URI | m2://inv/ASG7PQ721N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Contour integral 06ZGPYTWK8 |
Mentions
- wikidata: Wikidata Q856103, contour integration (unknown). Also EoM Complex_integration,_method_of, MathWorld ContourIntegration
- wikipedia: Wikipedia Contour integration, Contour integration (definition). Also Wikidata Q856103
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Mapping cone ASG91ZTE5V
| URI | m2://inv/ASG91ZTE5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mapping cone (homological algebra), Mapping cone (definition). Also Wikidata Q6754178
History
- 2026-11-02: add by m2/dev
ASG9BQ8ZWM ASG9BQ8ZWM
| URI | m2://inv/ASG9BQ8ZWM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19076#NFCZ (statement). In M77QPWHHRX/e1, theorem 6
History
- 2026-10-28: add by m2/v0.4.2
ASGEFV4K72 ASGEFV4K72
| URI | m2://inv/ASGEFV4K72 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#9263 (statement). In 5KR3MHYVV6/e1, proposition 2.0
History
- 2026-10-28: add by m2/v0.4.2
Examples ASGPZ3N9PS
| URI | m2://inv/ASGPZ3N9PS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decomposition of time series#QXU3, Examples (example)
History
- 2026-11-02: add by m2/dev
Edwin F. Beckenbach ASGVFWVQGE
| URI | m2://inv/ASGVFWVQGE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RQ36, Edwin F. Beckenbach (topic)
History
- 2026-11-02: add by m2/dev
In law ASGVGPCH5D
| URI | m2://inv/ASGVGPCH5D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia False statement#NQN4, In law (statement)
History
- 2026-11-02: add by m2/dev
Linear predictor function ASH08GGKHS
| URI | m2://inv/ASH08GGKHS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear predictor function, Linear predictor function (definition). Also Wikidata Q6553486
History
- 2026-11-02: add by m2/dev
Clique tree properties ASH5W0QA89
| URI | m2://inv/ASH5W0QA89 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19669#NJNW, Clique tree properties (statement). In 1QPAA94Q76/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
Martin Jarmond ASH6WDJP9Q
| URI | m2://inv/ASH6WDJP9Q |
|---|---|
| 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#1ONG, Martin Jarmond (unknown)
History
- 2026-11-02: add by m2/dev
ASH9KTDPB0 ASH9KTDPB0
| URI | m2://inv/ASH9KTDPB0 |
|---|---|
| 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 2609.36045#KFWM (statement). In F0E8YBV0Z0/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
Benford's law compliance theorem ASHEN56D89
| URI | m2://inv/ASHEN56D89 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benford's law#DE2X, Benford's law compliance theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples ASHFA7QKJZ
| URI | m2://inv/ASHFA7QKJZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relative effective Cartier divisor#GGZ9, Examples (example)
History
- 2026-11-02: add by m2/dev
Achterbahn ASHFB0D924
| URI | m2://inv/ASHFB0D924 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Achterbahn (stream cipher), Achterbahn (definition). Also Wikidata Q4673923
History
- 2026-11-02: add by m2/dev
Harold R. Parks ASHKJ88K53
| URI | m2://inv/ASHKJ88K53 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harold R. Parks, Harold R. Parks (topic). Also Wikidata Q15429537
History
- 2026-11-02: add by m2/dev
ASJ047ZEFM ASJ047ZEFM
| URI | m2://inv/ASJ047ZEFM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/measure-space.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 67.4
History
- 2026-11-01: add by m2/v0.6.13
Definition ASJ13RCPVA
| URI | m2://inv/ASJ13RCPVA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-homogeneous polynomial#0Y59, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications ASJ4VZHYAZ
| URI | m2://inv/ASJ4VZHYAZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia True quantified Boolean formula#K2H9, Applications (example)
History
- 2026-11-02: add by m2/dev
universal central extension ASJ91Z6VQE
| URI | m2://inv/ASJ91Z6VQE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114145346, universal central extension (unknown). Also nLab universal central extension
History
- 2026-10-26: add by m2/dev
ASJD3GP34K ASJD3GP34K
| URI | m2://inv/ASJD3GP34K |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-3-4-2.xml#act-3-4-2 (exercise). In 907G4C4EJ1, activity, section 3.4.2
History
- 2026-11-01: add by m2/v0.6.13
Left invariant differential operator ASJGNZ3NB3
| URI | m2://inv/ASJGNZ3NB3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal enveloping algebra#9XGF, Left invariant differential operator (unknown)
History
- 2026-11-02: add by m2/dev
ASJHWTHX26 ASJHWTHX26
| URI | m2://inv/ASJHWTHX26 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04503#DP4J (statement). In GWQP1XPM8E/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
ASJVN0VGG0 ASJVN0VGG0
| URI | m2://inv/ASJVN0VGG0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09739#6HLH (statement). In ZYNZ95FSFD/e1, proposition 1.6
History
- 2026-10-29: add by m2/v0.4.10
Definition ASK3YXM0KZ
| URI | m2://inv/ASK3YXM0KZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Young function#JGJB, Definition (definition)
History
- 2026-11-02: add by m2/dev
ASK67WF33N ASK67WF33N
| URI | m2://inv/ASK67WF33N |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36181#XAH2 (example). In 1KSE33PVS6/e1, example 33
History
- 2026-10-30: add by m2/v0.4.12
ASKBTXGXDQ ASKBTXGXDQ
| URI | m2://inv/ASKBTXGXDQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 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 1209.5343#9U28 (statement). In 4SPYEGKZ8J/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.3.5
ASKGS0ZBZ0 ASKGS0ZBZ0
| URI | m2://inv/ASKGS0ZBZ0 |
|---|---|
| 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.32977#XCMQ (statement). In 4KT9TK3MG4/e1, lemma C.4
History
- 2026-10-31: add by m2/v0.5.6
ASKPFMVK3M ASKPFMVK3M
| URI | m2://inv/ASKPFMVK3M |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18287#E9KM (example). In ZXZN6RMN38/e1, example 1
History
- 2026-10-28: add by m2/v0.4.2
Existence and uniqueness ASKQQ2PY3K
| URI | m2://inv/ASKQQ2PY3K |
|---|---|
| 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.28014#VJNU, Existence and uniqueness (statement)
History
- 2026-11-01: add by m2/v0.6.15
ASKRZZNEZY ASKRZZNEZY
| URI | m2://inv/ASKRZZNEZY |
|---|---|
| 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#LEOZ (statement). In CY1FE8W1ZW/e1, lemma 0.278
History
- 2026-10-27: add by m2/v0.3.5
ASKW12C9TP ASKW12C9TP
| URI | m2://inv/ASKW12C9TP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#UHY9 (statement). In BSWNH3NW1M/e1, theorem 9.7
History
- 2026-10-27: add by m2/v0.4.0
vector, space ASKY8P9JF6
| URI | m2://inv/ASKY8P9JF6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3.3/vector-space, vector, space (concept). In N54F33XE07, index, section B.3.3
History
- 2026-11-01: add by m2/v0.6.13
Stefano Bianchini ASKYAB851R
| URI | m2://inv/ASKYAB851R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SMS4, Stefano Bianchini (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8RAV, Stefano Bianchini (topic)
History
- 2026-11-02: add by m2/dev
ASM40ESN1E ASM40ESN1E
| URI | m2://inv/ASM40ESN1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#IWWN (statement)
History
- 2026-11-01: add by m2/v0.6.15
ASM5949PZ8 ASM5949PZ8
| URI | m2://inv/ASM5949PZ8 |
|---|---|
| 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#V1IP (statement). In WRE0P7V6Z3/e1, theorem 1.6
History
- 2026-10-30: add by m2/v0.4.12
Variants ASMCYVDVDQ
| URI | m2://inv/ASMCYVDVDQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power law#SZTL, Variants (statement)
History
- 2026-11-02: add by m2/dev
ASMD2P73VV ASMD2P73VV
| URI | m2://inv/ASMD2P73VV |
|---|---|
| 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.22374#CYVH (statement)
History
- 2026-11-02: add by m2/v0.6.17
MAP estimator ASMG7RCXKR
| URI | m2://inv/ASMG7RCXKR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HH25, MAP estimator (definition)
History
- 2026-11-02: add by m2/dev
Proof of $(\forall x)P(x)$ by Contradiction ASMJ9KM73X
| URI | m2://inv/ASMJ9KM73X |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreQuantification.tex#skeleton-1, Proof of $(\forall x)P(x)$ by Contradiction (proof). In P1C114YBXG, skeleton, section F
History
- 2026-11-01: add by m2/v0.6.13
ASMMQZEYJ9 ASMMQZEYJ9
| URI | m2://inv/ASMMQZEYJ9 |
|---|---|
| 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.10813#7O47 (statement). In G8F4P7GDMA/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.3
ASMPX9CGYB ASMPX9CGYB
| URI | m2://inv/ASMPX9CGYB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09949#CQ7Z (statement). In VGJVFCDV8A/e1, lemma 2.22
History
- 2026-10-29: add by m2/v0.4.10
Definition ASMW7B3V68
| URI | m2://inv/ASMW7B3V68 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pearson distribution#BHAL, Definition (definition)
History
- 2026-11-02: add by m2/dev
phase counts to eigenvalue counts ASN23JTA2B
| URI | m2://inv/ASN23JTA2B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21268#07T6, phase counts to eigenvalue counts (statement). In 9W2YX5X4AX/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.4.2
CaRMetal ASN5W55VTB
| URI | m2://inv/ASN5W55VTB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#RS84, CaRMetal (unknown)
History
- 2026-11-02: add by m2/dev
ASNDPBVB5Q ASNDPBVB5Q
| URI | m2://inv/ASNDPBVB5Q |
|---|---|
| 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.30723#PI9A (statement). In HP8YZ2YN5W/e1, theorem 1
History
- 2026-10-31: add by m2/v0.5.6
ASNDQKHD9Q ASNDQKHD9Q
| URI | m2://inv/ASNDQKHD9Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18324#NPRC (statement). In C0EG2EY0M4/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
ASNV0BPDMZ ASNV0BPDMZ
| URI | m2://inv/ASNV0BPDMZ |
|---|---|
| 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 math/9602216#I9DL (statement). In SD43497T8C/e1, theorem 0.1
History
- 2026-10-27: add by m2/v0.3.5
ASNV82EAQ6 ASNV82EAQ6
| URI | m2://inv/ASNV82EAQ6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#prob:negation (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
ASNYZNSG59 ASNYZNSG59
| URI | m2://inv/ASNYZNSG59 |
|---|---|
| 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 2607.26169#ZXBY (statement). In Q46QV3B0NF/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.3.5
Newton polygon ASP43H2ASA
| URI | m2://inv/ASP43H2ASA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Newton polygon H7QNCE2QZJ |
Mentions
- wikidata: Wikidata Q115646, Newton polygon (unknown). Also EoM Newton_diagram
- wikipedia: Wikipedia Newton polygon, Newton polygon (definition). Also Wikidata Q115646
History
- 2026-10-26: add by m2/dev
ASP81C96B2 ASP81C96B2
| URI | m2://inv/ASP81C96B2 |
|---|---|
| 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.20758#S7GH (statement). In PG0B4PH9YH/e1, proposition 5.19
History
- 2026-10-27: add by m2/v0.4.2
ASPCGNE9QG ASPCGNE9QG
| URI | m2://inv/ASPCGNE9QG |
|---|---|
| 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.11481#34Z4 (statement). In 8XHK5ZCX7H/e1, theorem 4.6
History
- 2026-10-28: add by m2/v0.4.3
Hahn–Banach theorem ASPGKGM557
| URI | m2://inv/ASPGKGM557 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional analysis#1YOP, Hahn–Banach theorem (statement)
History
- 2026-11-02: add by m2/dev
ASPH166C4D ASPH166C4D
| URI | m2://inv/ASPH166C4D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13229#559O (statement). In 4WN20N5Z57/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.2
Electromagnetic stress–energy tensor ASPHRKZ826
| URI | m2://inv/ASPHRKZ826 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electromagnetic stress–energy tensor, Electromagnetic stress–energy tensor (definition). Also Wikidata Q3983790
History
- 2026-11-02: add by m2/dev
ASPN4ZQ9M9 ASPN4ZQ9M9
| URI | m2://inv/ASPN4ZQ9M9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10329#W0BO (statement). In SCSTR1Q1BW/e1, corollary 6.4
History
- 2026-10-29: add by m2/v0.4.10
BCI algebra ASPP9TZD88
| URI | m2://inv/ASPP9TZD88 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130397310, BCI algebra (concept). Also EoM BCI-algebra
History
- 2026-10-26: add by m2/dev
ASPQQW0XNW ASPQQW0XNW
| URI | m2://inv/ASPQQW0XNW |
|---|---|
| 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 2504.09464#ZWRT (statement). In RN1XRCS2CH/e1, lemma 8
History
- 2026-10-27: add by m2/v0.3.6
Vicky A. Clark ASPVHRX0T0
| URI | m2://inv/ASPVHRX0T0 |
|---|---|
| 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#XNYF, Vicky A. Clark (unknown)
History
- 2026-11-02: add by m2/dev
Related results ASPVQGZWYM
| URI | m2://inv/ASPVQGZWYM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Akhiezer's theorem#BER4, Related results (statement)
History
- 2026-11-02: add by m2/dev
Elliptic Gauss sum ASPXMHKQKA
| URI | m2://inv/ASPXMHKQKA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic Gauss sum, Elliptic Gauss sum (definition). Also Wikidata Q5365787
History
- 2026-11-02: add by m2/dev
Example ASPYRW7MPC
| URI | m2://inv/ASPYRW7MPC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parallel single-source shortest path algorithm#UFA2, Example (example)
History
- 2026-11-02: add by m2/dev
ASPZJ2HGQY ASPZJ2HGQY
| URI | m2://inv/ASPZJ2HGQY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#4JA9 (example). In 9DQKY7KGE8/e1, example A.17
History
- 2026-10-31: add by m2/v0.5.6
Ping Zhang ASPZPY1X1V
| URI | m2://inv/ASPZPY1X1V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ping Zhang (graph theorist), Ping Zhang (topic). Also Wikidata Q54621964
History
- 2026-11-02: add by m2/dev
Data manipulation ASQ07AZW0H
| URI | m2://inv/ASQ07AZW0H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Misuse of statistics#IZAF, Data manipulation (unknown)
History
- 2026-11-02: add by m2/dev
coherent ASQ4ZX0J4A
| URI | m2://inv/ASQ4ZX0J4A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#DE4X, coherent (definition)
History
- 2026-11-02: add by m2/dev
ASQ8X1ETXF ASQ8X1ETXF
| URI | m2://inv/ASQ8X1ETXF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#I6ZZ (statement). In ESDKTYDHC8/e1, corollary 3
History
- 2026-10-29: add by m2/v0.4.12
Local approximation of the effective half transition energy ASQNAM9QJS
| URI | m2://inv/ASQNAM9QJS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27181#A5GJ, Local approximation of the effective half transition energy (statement)
History
- 2026-11-01: add by m2/v0.6.15
ASQNXW8CNH ASQNXW8CNH
| URI | m2://inv/ASQNXW8CNH |
|---|---|
| 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#F6NB (statement). In KM2FWKP93A/e1, corollary 4.8
History
- 2026-10-27: add by m2/v0.4.0
ASRBQ0ZED1 ASRBQ0ZED1
| URI | m2://inv/ASRBQ0ZED1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17482#LASX (statement). In BQQK9JDJ9F/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2
Truncated order-5 pentagonal tiling ASRC3MCR36
| URI | m2://inv/ASRC3MCR36 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated order-5 pentagonal tiling, Truncated order-5 pentagonal tiling (object). Also Wikidata Q7847897
History
- 2026-11-02: add by m2/dev
Principle ASRDET5ZT1
| URI | m2://inv/ASRDET5ZT1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stellar parallax#74NX, Principle (statement)
History
- 2026-11-02: add by m2/dev
ASRGNT3AY0 ASRGNT3AY0
| URI | m2://inv/ASRGNT3AY0 |
|---|---|
| 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.17267#CI5H (statement). In 5VWB4A47R5/e1, theorem 7.1
History
- 2026-10-28: add by m2/v0.4.2
ASRGZP3B8W ASRGZP3B8W
| URI | m2://inv/ASRGZP3B8W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-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 2505.04593#NJOY (statement). In PEXJPV3NP8/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.3.5
S matrix ASRPE1Z337
| URI | m2://inv/ASRPE1Z337 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named matrices#OGU2, S matrix (definition)
History
- 2026-11-02: add by m2/dev
ASRWK1MXA4 ASRWK1MXA4
| URI | m2://inv/ASRWK1MXA4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.02139#M1X3 (definition). In TJ1NTK3KJW/e1, definition 8
History
- 2026-10-27: add by m2/v0.3.5
ASRY9Y1Z59 ASRY9Y1Z59
| URI | m2://inv/ASRY9Y1Z59 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20656#WCOJ (example)
History
- 2026-11-02: add by m2/v0.6.18
Dimension doubling theorem ASS2YXZW8S
| URI | m2://inv/ASS2YXZW8S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension doubling theorem, Dimension doubling theorem (statement). Also Wikidata Q116841638
History
- 2026-11-02: add by m2/dev
Rotor machine ASSFREFYFR
| URI | m2://inv/ASSFREFYFR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rotor machine, Rotor machine (definition). Also Wikidata Q1751757
History
- 2026-11-02: add by m2/dev
ASSJT5X0HP ASSJT5X0HP
| URI | m2://inv/ASSJT5X0HP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28265#SISS (example)
History
- 2026-11-01: add by m2/v0.6.15
ASSPAR2EM3 ASSPAR2EM3
| URI | m2://inv/ASSPAR2EM3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14616#5J6L (statement). In 17ACAG0N9C/e1, proposition 8.3
History
- 2026-10-28: add by m2/v0.4.2
ASSRR0P2SN ASSRR0P2SN
| URI | m2://inv/ASSRR0P2SN |
|---|---|
| Kind | problem |
| 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.25255#ZJLR (problem)
History
- 2026-11-01: add by m2/v0.6.15
ASSV64F2CX ASSV64F2CX
| URI | m2://inv/ASSV64F2CX |
|---|---|
| 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 2501.17009#2IMY (statement). In PESAKD6SSW/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.6
strong CP problem ASSVJY3TBC
| URI | m2://inv/ASSVJY3TBC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7624462, strong CP problem (unknown). Also nLab theta angle
History
- 2026-10-26: add by m2/dev
ASSX11ZY7N ASSX11ZY7N
| URI | m2://inv/ASSX11ZY7N |
|---|---|
| Kind | definition |
| 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.29839#608Y (definition)
History
- 2026-11-01: add by m2/v0.6.15
ASSY0894Y7 ASSY0894Y7
| URI | m2://inv/ASSY0894Y7 |
|---|---|
| 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#OL2I (statement). In WRE0P7V6Z3/e1, lemma 7.1
History
- 2026-10-30: add by m2/v0.4.12
403 (number) AST7B6P1P0
| URI | m2://inv/AST7B6P1P0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#NOFT, 403 (number) (unknown)
History
- 2026-11-02: add by m2/dev
dual function ASTCM8153M
| URI | m2://inv/ASTCM8153M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#5ZPR, dual function (definition). In GW23NX78SB/e1, definition 4.18
History
- 2026-10-28: add by m2/v0.4.2
ASTGZJV16S ASTGZJV16S
| URI | m2://inv/ASTGZJV16S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20018#4H89 (statement)
History
- 2026-11-02: add by m2/v0.6.18
ASV95ZXFZ1 ASV95ZXFZ1
| URI | m2://inv/ASV95ZXFZ1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17547#YBIB (definition). In XJ59TDP4HA/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Park test ASVAFJS11C
| URI | m2://inv/ASVAFJS11C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GKK3, Park test (definition)
History
- 2026-11-02: add by m2/dev
ASVH7SRM2V ASVH7SRM2V
| URI | m2://inv/ASVH7SRM2V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05986#KSG5 (statement). In N5ZM8MXJXH/e1, proposition B.8
History
- 2026-10-29: add by m2/v0.4.10
BVC-MFCQ ASVMWJJGEC
| URI | m2://inv/ASVMWJJGEC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20368#FJFK, BVC-MFCQ (definition)
History
- 2026-11-02: add by m2/v0.6.18
ASVSSXQWSN ASVSSXQWSN
| URI | m2://inv/ASVSSXQWSN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#58DS (definition). In Q5Z178SAHP/e1, definition 5.3
History
- 2026-10-30: add by m2/v0.4.12
Colbert number ASVYJAGP6C
| URI | m2://inv/ASVYJAGP6C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q65924808, Colbert number (unknown). Also MathWorld ColbertNumber, OEIS A258074
History
- 2026-10-26: add by m2/dev
Keune comparison in finite type ASW1G5F5AW
| URI | m2://inv/ASW1G5F5AW |
|---|---|
| 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 2609.21534#KS7A, Keune comparison in finite type (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples ASW3ET0FN7
| URI | m2://inv/ASW3ET0FN7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ground expression#YJT1, Examples (example)
History
- 2026-11-02: add by m2/dev
ASW442464P ASW442464P
| URI | m2://inv/ASW442464P |
|---|---|
| Kind | definition |
| 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 2205.09049#NF5Z (definition). In 37S7MNMZ2F/e1, definition 26
History
- 2026-10-27: add by m2/v0.3.5
Definition ASW51ATFVE
| URI | m2://inv/ASW51ATFVE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bouguer anomaly#YPVM, Definition (definition)
History
- 2026-11-02: add by m2/dev
abohm ASW5FW5S4G
| URI | m2://inv/ASW5FW5S4G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1091059, abohm (definition). Also ProofWiki Definition:Abohm
History
- 2026-10-26: add by m2/dev
ASWGCHRR5E ASWGCHRR5E
| URI | m2://inv/ASWGCHRR5E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23972#M014 (statement)
History
- 2026-11-02: add by m2/v0.6.17
ASWMD2WXCW ASWMD2WXCW
| URI | m2://inv/ASWMD2WXCW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.18302#NNYM (statement). In VJTRH1S4JA/e1, theorem 3.19
History
- 2026-10-28: add by m2/v0.4.2
Claude Shannon ASWMYF4DQP
| URI | m2://inv/ASWMYF4DQP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SKQ0, Claude Shannon (topic)
History
- 2026-11-02: add by m2/dev
Dionysodorus of Amisene ASWVZ4NCPR
| URI | m2://inv/ASWVZ4NCPR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dionysodorus of Amisene, Dionysodorus of Amisene (topic). Also Wikidata Q23906862
History
- 2026-11-02: add by m2/dev
William H. Press ASX0JZYWHR
| URI | m2://inv/ASX0JZYWHR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#M5XA, William H. Press (unknown)
History
- 2026-11-02: add by m2/dev
Parity of a permutation ASX5B1HMXA
| URI | m2://inv/ASX5B1HMXA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#VHYI, Parity of a permutation (definition)
History
- 2026-11-02: add by m2/dev
triangle group ASXB86KP1R
| URI | m2://inv/ASXB86KP1R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q652123, triangle group (unknown). Also LMFDB knowl group.triangle_group, MathWorld TriangularSymmetryGroup
- wikipedia: Wikipedia Triangle group, Triangle group (definition). Also Wikidata Q652123
History
- 2026-10-26: add by m2/dev
indicator set ASXDB5VQSF
| URI | m2://inv/ASXDB5VQSF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15099#7460, indicator set (definition). In PF5JJ9DS8Q/e1, definition 2.2.2
History
- 2026-10-28: add by m2/v0.4.2
Alan C. Newell ASXDKZCFPH
| URI | m2://inv/ASXDKZCFPH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alan C. Newell, Alan C. Newell (topic). Also Wikidata Q1522709
History
- 2026-11-02: add by m2/dev
ASXGTGKEP1 ASXGTGKEP1
| URI | m2://inv/ASXGTGKEP1 |
|---|---|
| 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 1601.02354#2VPE (statement). In 3YSZKHNCRA/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
Identity matrix ASXMKEMA5J
| URI | m2://inv/ASXMKEMA5J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square matrix#KGUO, Identity matrix (statement)
History
- 2026-11-02: add by m2/dev
ASXQF88F9A ASXQF88F9A
| URI | m2://inv/ASXQF88F9A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35605#YUC8 (definition). In X1KWTAA3M2/e1, definition 7
History
- 2026-10-27: add by m2/v0.3.5
ASXS9NH9RV ASXS9NH9RV
| URI | m2://inv/ASXS9NH9RV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-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.03138#KN46 (statement). In P5SY7AVP5E/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.12
Kay Ryan ASXSFRK55K
| URI | m2://inv/ASXSFRK55K |
|---|---|
| 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#L9H9, Kay Ryan (unknown)
History
- 2026-11-02: add by m2/dev
Application ASXSHSZFA1
| URI | m2://inv/ASXSHSZFA1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fresnel number#OQLT, Application (example)
History
- 2026-11-02: add by m2/dev
≈ ASY118WSXY
| URI | m2://inv/ASY118WSXY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#1OQ0, ≈ (definition)
History
- 2026-11-02: add by m2/dev
ASY3HGKTF1 ASY3HGKTF1
| URI | m2://inv/ASY3HGKTF1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-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 2609.29712#OQKC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Von Neumann universal constructor ASY6Y9YH9A
| URI | m2://inv/ASY6Y9YH9A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann universal constructor, Von Neumann universal constructor (definition). Also Wikidata Q1766038
History
- 2026-11-02: add by m2/dev
ASY7GRGTHR ASY7GRGTHR
| URI | m2://inv/ASY7GRGTHR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.20049#R4HG (statement)
History
- 2026-11-02: add by m2/v0.6.18
quantum decoherence ASYDBYCR6S
| URI | m2://inv/ASYDBYCR6S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q578430, quantum decoherence (unknown). Also nLab quantum decoherence
- wikipedia: Wikipedia Quantum decoherence, Quantum decoherence (definition). Also Wikidata Q578430
History
- 2026-10-26: add by m2/dev
Singapore Mathematical Olympiad ASYDV1PKQ2
| URI | m2://inv/ASYDV1PKQ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#SV8A, Singapore Mathematical Olympiad (unknown)
History
- 2026-11-02: add by m2/dev
Mixing LLT ASYFNH8F60
| URI | m2://inv/ASYFNH8F60 |
|---|---|
| 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#GKUK, Mixing LLT (statement). In WRE0P7V6Z3/e1, theorem D.21
History
- 2026-10-30: add by m2/v0.4.12
Second-marginal injectivity and Gaussianity under covariance slackness ASYH1PTT5M
| URI | m2://inv/ASYH1PTT5M |
|---|---|
| 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.01855#82WT, Second-marginal injectivity and Gaussianity under covariance slackness (statement). In MM8P5CJR18/e1, corollary 5.22
History
- 2026-10-29: add by m2/v0.4.12
Gamma distribution ASYJ1D6WWM
| URI | m2://inv/ASYJ1D6WWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#KEHL, Gamma distribution (definition)
History
- 2026-11-02: add by m2/dev
Variants ASYK6YHHSJ
| URI | m2://inv/ASYK6YHHSJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disjunctive normal form#HSGD, Variants (statement)
History
- 2026-11-02: add by m2/dev
R. E. Krichevsky ASYM2R2XBF
| URI | m2://inv/ASYM2R2XBF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#68OJ, R. E. Krichevsky (unknown)
History
- 2026-11-02: add by m2/dev
ASYMYYCCF5 ASYMYYCCF5
| URI | m2://inv/ASYMYYCCF5 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cereceda's conjecture#2HEJ (problem)
History
- 2026-11-02: add by m2/dev
Formulation ASYY1X4AZ8
| URI | m2://inv/ASYY1X4AZ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coriolis force#04DQ, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Optimal Steiner orbit codes ASYZ30YY3G
| URI | m2://inv/ASYZ30YY3G |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#8HIB, Optimal Steiner orbit codes (example). In 9NVKKW8HDH/e1, example 3.22
History
- 2026-10-28: add by m2/v0.4.2
ASYZSH78T8 ASYZSH78T8
| URI | m2://inv/ASYZSH78T8 |
|---|---|
| Kind | example |
| 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.37805#KP7J (example). In 9ABCBQEHZ9/e1, example 4.1
History
- 2026-10-30: add by m2/v0.4.12
One graph with both rate and reliability ASZ06SEHVB
| URI | m2://inv/ASZ06SEHVB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24568#R9ZO, One graph with both rate and reliability (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definitions ASZ66TVF8J
| URI | m2://inv/ASZ66TVF8J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covariance and contravariance of vectors#Z7JC, Definitions (definition)
History
- 2026-11-02: add by m2/dev
ASZ878SGJE ASZ878SGJE
| URI | m2://inv/ASZ878SGJE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20702#Y5GW (definition)
History
- 2026-11-02: add by m2/v0.6.18
Properties ASZ8PHYE7N
| URI | m2://inv/ASZ8PHYE7N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signature matrix#27G4, Properties (statement)
History
- 2026-11-02: add by m2/dev
Properties ASZ8Q8QW26
| URI | m2://inv/ASZ8Q8QW26 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic measure#DQYJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition ASZEKWA5H7
| URI | m2://inv/ASZEKWA5H7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heat kernel#K1BN, Definition (definition)
History
- 2026-11-02: add by m2/dev
ASZMGBCMAM ASZMGBCMAM
| URI | m2://inv/ASZMGBCMAM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.01612#S4SD (definition). In A5KESSK05N/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Finiteness of joint moments of $\Pi$-shaped regions ASZPT4QP1Y
| URI | m2://inv/ASZPT4QP1Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.09121#JFT9, Finiteness of joint moments of $\Pi$-shaped regions (statement). In 559PF7Q5BT/e1, proposition 20
History
- 2026-10-27: add by m2/v0.3.5
ASZVE4W6XZ ASZVE4W6XZ
| URI | m2://inv/ASZVE4W6XZ |
|---|---|
| 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 2412.14956#YA95 (statement). In T8BQ6HHZYT/e1, lemma 6.21
History
- 2026-10-27: add by m2/v0.3.5
Social rule system theory ASZVQ7PV7D
| URI | m2://inv/ASZVQ7PV7D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of systems theory#7I9Q, Social rule system theory (unknown)
History
- 2026-11-02: add by m2/dev
Finite cycle consistency ASZVS6CA8E
| URI | m2://inv/ASZVS6CA8E |
|---|---|
| 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.18287#YLQ7, Finite cycle consistency (statement). In ZXZN6RMN38/e1, theorem 11
History
- 2026-10-28: add by m2/v0.4.2
ASZYYEZV0H ASZYYEZV0H
| URI | m2://inv/ASZYYEZV0H |
|---|---|
| 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.04901#NAIT (statement). In XBWHYW36TP/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12