Inventory rows PY
The cards of the rows of the inventory whose ids start with PY. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Turingery PY05Q53E32
| URI | m2://inv/PY05Q53E32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#O6H5, Turingery (definition)
History
- 2026-11-02: add by m2/dev
Cumulative distribution function of the normal distribution PY08QQDC9F
| URI | m2://inv/PY08QQDC9F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal distribution#N10U, Cumulative distribution function of the normal distribution (unknown)
History
- 2026-11-02: add by m2/dev
PY0AD01SCY PY0AD01SCY
| URI | m2://inv/PY0AD01SCY |
|---|---|
| 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.22769#0H5T (statement)
History
- 2026-11-02: add by m2/v0.6.17
PY0RCVSSW5 PY0RCVSSW5
| URI | m2://inv/PY0RCVSSW5 |
|---|---|
| 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#P775 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition PY0SXA1944
| URI | m2://inv/PY0SXA1944 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structural stability#JGXQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Uniqueness of a variable PY0WXQ5N16
| URI | m2://inv/PY0WXQ5N16 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factor analysis#0NJ1, Uniqueness of a variable (definition)
History
- 2026-11-02: add by m2/dev
Example usage PY116E70M1
| URI | m2://inv/PY116E70M1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer square root#T002, Example usage (example)
History
- 2026-11-02: add by m2/dev
PY12GJPYQ4 PY12GJPYQ4
| URI | m2://inv/PY12GJPYQ4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04431#QWN7 (example). In 3PSAWXCCJ8/e1, example 2
History
- 2026-10-29: add by m2/v0.4.12
separation of variables PY15FJKS2T
| URI | m2://inv/PY15FJKS2T |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/5.6.2/separation-of-variables, separation of variables (concept). In E9HS8K3A52, index, section 5.6.2
History
- 2026-11-01: add by m2/v0.6.13
Peter Green PY1CJK3KZQ
| URI | m2://inv/PY1CJK3KZQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Royal Statistical Society#RIFA, Peter Green (unknown)
History
- 2026-11-02: add by m2/dev
\emph{Change of quantization PY1SD9TKGE
| URI | m2://inv/PY1SD9TKGE |
|---|---|
| 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.37593#Z6JI, \emph{Change of quantization (statement). In YTF96VHKAH/e1, lemma A.9
History
- 2026-10-30: add by m2/v0.4.12
Ushiki's theorem PY1W6CAWQ0
| URI | m2://inv/PY1W6CAWQ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ushiki's theorem, Ushiki's theorem (statement). Also Wikidata Q7901945
History
- 2026-11-02: add by m2/dev
Definitions PY1ZH6FDTB
| URI | m2://inv/PY1ZH6FDTB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed graph property#5GOB, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Naimark equivalence PY22AJGQ1F
| URI | m2://inv/PY22AJGQ1F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Naimark equivalence, Naimark equivalence (definition). Also Wikidata Q16899860
History
- 2026-11-02: add by m2/dev
PY22SK5TMW PY22SK5TMW
| URI | m2://inv/PY22SK5TMW |
|---|---|
| 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.06033#9VFI (statement). In Q1YDP67JQ4/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
Epps effect PY2CRKRN0V
| URI | m2://inv/PY2CRKRN0V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OL0M, Epps effect (definition)
History
- 2026-11-02: add by m2/dev
PY2D4ST29T PY2D4ST29T
| URI | m2://inv/PY2D4ST29T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06463#VRY4 (statement). In 3WWY9K1K9V/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
Monotonicity PY2RZ2HTD1
| URI | m2://inv/PY2RZ2HTD1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/proof-theoretic-notions.tex#prop:monotonicity, Monotonicity (statement). In PKGMM3P5QY, prop, section 22.5
History
- 2026-11-01: add by m2/v0.6.13
\bf{Asymptotic Variance Comparison between $\hat\beta_{0,t}^{\text{WCLS}}$ and $\hat\beta_{0,t}^{\text{U}}$ PY2WGPSYCN
| URI | m2://inv/PY2WGPSYCN |
|---|---|
| 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 2306.17260#HK9U, \bf{Asymptotic Variance Comparison between $\hat\beta_{0,t}^{\text{WCLS}}$ and $\hat\beta_{0,t}^{\text{U}}$ (statement). In V0T2SY4M6S/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
PY35ADA1VX PY35ADA1VX
| URI | m2://inv/PY35ADA1VX |
|---|---|
| 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.14217#QXJG (statement). In K0DHYQC5B7/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.2
PY3RP3C5RS PY3RP3C5RS
| URI | m2://inv/PY3RP3C5RS |
|---|---|
| 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.23287#JU1L (statement)
History
- 2026-11-02: add by m2/v0.6.17
Deterministic post-sampling General--Merging PY3SNXB6BW
| URI | m2://inv/PY3SNXB6BW |
|---|---|
| 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.21033#E3CJ, Deterministic post-sampling General--Merging (statement). In A8C1M9BSWH/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.4.2
symmetric part of a tensor PY3Y4YNT8P
| URI | m2://inv/PY3Y4YNT8P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122590609, symmetric part of a tensor (unknown). Also MathWorld SymmetricPart
History
- 2026-10-26: add by m2/dev
Leonard Porter Ayres PY467VS9QK
| URI | m2://inv/PY467VS9QK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#0R8J, Leonard Porter Ayres (unknown)
History
- 2026-11-02: add by m2/dev
PY48XT5RZF PY48XT5RZF
| URI | m2://inv/PY48XT5RZF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#378L (definition)
History
- 2026-11-01: add by m2/v0.6.15
Santaló's formula PY4CDCRM1M
| URI | m2://inv/PY4CDCRM1M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holmes–Thompson volume#3K5W, Santaló's formula (statement)
History
- 2026-11-02: add by m2/dev
Shmuel Gal PY4D810D7M
| URI | m2://inv/PY4D810D7M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shmuel Gal, Shmuel Gal (topic). Also Wikidata Q7499646
History
- 2026-11-02: add by m2/dev
Maria Korovina PY4EAV7Q8V
| URI | m2://inv/PY4EAV7Q8V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maria Korovina, Maria Korovina (topic). Also Wikidata Q53914996
History
- 2026-11-02: add by m2/dev
Ideographic approach PY4NADQYDG
| URI | m2://inv/PY4NADQYDG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ideographic approach, Ideographic approach (definition). Also Wikidata Q25104396
History
- 2026-11-02: add by m2/dev
PY4T1PNV0N PY4T1PNV0N
| URI | m2://inv/PY4T1PNV0N |
|---|---|
| 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 2602.07485#YR5P (statement). In 8KAC1E81JQ/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.5
Error-correcting code PY4WC52Q5F
| URI | m2://inv/PY4WC52Q5F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#5TAP, Error-correcting code (definition)
History
- 2026-11-02: add by m2/dev
Johanna N. Y. Franklin PY4YJ2ZT2B
| URI | m2://inv/PY4YJ2ZT2B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johanna N. Y. Franklin, Johanna N. Y. Franklin (topic). Also Wikidata Q102315812
History
- 2026-11-02: add by m2/dev
PY560HTZY3 PY560HTZY3
| URI | m2://inv/PY560HTZY3 |
|---|---|
| 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#T3BY (statement)
History
- 2026-11-02: add by m2/v0.6.18
Lutz and Siskind PY58SF57P3
| URI | m2://inv/PY58SF57P3 |
|---|---|
| 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.14548#IP36, Lutz and Siskind (statement). In TTNKABAYVB/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
Bremsstrahlung PY5QX0QHC1
| URI | m2://inv/PY5QX0QHC1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bremsstrahlung, Bremsstrahlung (definition). Also Wikidata Q655904
History
- 2026-11-02: add by m2/dev
Remark PY5RRJ6TPX
| URI | m2://inv/PY5RRJ6TPX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension theory (algebra)#N5DX, Remark (unknown)
History
- 2026-11-02: add by m2/dev
Applications PY5VD2N4CD
| URI | m2://inv/PY5VD2N4CD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rule of product#HCMZ, Applications (example)
History
- 2026-11-02: add by m2/dev
local ring PY6CDADYTC
| URI | m2://inv/PY6CDADYTC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | Local ring MZ02BKPHJA |
Mentions
- mathlib_overview: mathlib_overview General algebra > Rings > local ring, local ring (unknown). Also Mathlib IsLocalRing
- wikidata: Wikidata Q1142704, local ring (definition). Also EoM Local_ring, Mathlib IsLocalRing, MathWorld LocalRing, nLab local ring, ProofWiki Definition:Local_Ring
- wikipedia: Wikipedia Local ring, Local ring (definition). Also Wikidata Q1142704
History
- 2026-10-26: add by m2/dev
PY6GW38714 PY6GW38714
| URI | m2://inv/PY6GW38714 |
|---|---|
| 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 2509.09379#VFD9 (statement). In DJXA86KDY8/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
PY6RVA4GR7 PY6RVA4GR7
| URI | m2://inv/PY6RVA4GR7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#QL6A (statement). In 4WPYBTARS2/e1, corollary 4.18
History
- 2026-10-29: add by m2/v0.4.12
PY73APSYVJ PY73APSYVJ
| URI | m2://inv/PY73APSYVJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21034#6LB6 (definition)
History
- 2026-11-02: add by m2/v0.6.18
Dimension dependence for Gaussian sources PY741M8JN0
| URI | m2://inv/PY741M8JN0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09640#M454, Dimension dependence for Gaussian sources (statement). In E9T3B4RVW4/e1, proposition 5
History
- 2026-10-29: add by m2/v0.4.10
Candidate solution PY7556T65D
| URI | m2://inv/PY7556T65D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#N7S8, Candidate solution (definition)
History
- 2026-11-02: add by m2/dev
PY76KQSPQB PY76KQSPQB
| URI | m2://inv/PY76KQSPQB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-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 1804.05688#CRNQ (statement). In M8F4PDHH3S/e1, proposition A.8
History
- 2026-10-27: add by m2/v0.3.5
(Oka–Cartan) coherent theorem PY77TJW13S
| URI | m2://inv/PY77TJW13S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Function of several complex variables#8C11, (Oka–Cartan) coherent theorem (statement)
History
- 2026-11-02: add by m2/dev
PY78GKQP14 PY78GKQP14
| URI | m2://inv/PY78GKQP14 |
|---|---|
| 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.02751#LIVT (statement). In MWGXPXF3BW/e1, lemma 19
History
- 2026-10-29: add by m2/v0.4.12
PY7FT2YT9R PY7FT2YT9R
| URI | m2://inv/PY7FT2YT9R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25823#JT1O (statement)
History
- 2026-11-01: add by m2/v0.6.15
PY7HG0B62N PY7HG0B62N
| URI | m2://inv/PY7HG0B62N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.13802#OZGR (statement). In MH358B1GVQ/e1, proposition
History
- 2026-10-27: add by m2/v0.3.5
PY7KBKYT1J PY7KBKYT1J
| URI | m2://inv/PY7KBKYT1J |
|---|---|
| Kind | definition |
| 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 2609.26340#18FD (definition)
History
- 2026-11-01: add by m2/v0.6.15
Lester S. Hill PY7MNGMS86
| URI | m2://inv/PY7MNGMS86 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lester S. Hill, Lester S. Hill (topic). Also Wikidata Q6531947
History
- 2026-11-02: add by m2/dev
Dougall PY7VJ1G0Y8
| URI | m2://inv/PY7VJ1G0Y8 |
|---|---|
| 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.17957#SI5V, Dougall (statement). In T5ZBX4YPZB/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Shifted Bohr-Sommerfeld rule PY7WECGNEH
| URI | m2://inv/PY7WECGNEH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.28076#PGIL, Shifted Bohr-Sommerfeld rule (statement)
History
- 2026-11-01: add by m2/v0.6.15
phase PY7Y2J6XBM
| URI | m2://inv/PY7Y2J6XBM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q185553, phase (unknown). Also MathWorld Phase
History
- 2026-10-26: add by m2/dev
PY7YF2V7EF PY7YF2V7EF
| URI | m2://inv/PY7YF2V7EF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21358#OYXG (definition). In XV70TXYS5A/e1, definition 2.13
History
- 2026-10-27: add by m2/v0.4.2
PY7ZXT26FB PY7ZXT26FB
| URI | m2://inv/PY7ZXT26FB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16563#SPE5 (statement). In V51HCA9ZAA/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Descriptive set theory PY80QE4Y3W
| URI | m2://inv/PY80QE4Y3W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#XM6P, Descriptive set theory (topic)
History
- 2026-11-02: add by m2/dev
⁅ PY8A8WWS5K
| URI | m2://inv/PY8A8WWS5K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bracket#1D0J, ⁅ (unknown)
History
- 2026-11-02: add by m2/dev
PY8BCJPDWX PY8BCJPDWX
| URI | m2://inv/PY8BCJPDWX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#7844 (definition). In 7SSKW778T8/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Money illusion PY8DCCX36A
| URI | m2://inv/PY8DCCX36A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#GCBY, Money illusion (unknown)
History
- 2026-11-02: add by m2/dev
Symmetric decreasing rearrangement PY8GE613SV
| URI | m2://inv/PY8GE613SV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric decreasing rearrangement, Symmetric decreasing rearrangement (definition). Also Wikidata Q2502733
History
- 2026-11-02: add by m2/dev
Fomenko Anatoliy Timofeevich PY8J0FJJTR
| URI | m2://inv/PY8J0FJJTR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians#LJ1Q, Fomenko Anatoliy Timofeevich (topic)
History
- 2026-11-02: add by m2/dev
Corpuscularianism PY8R56523B
| URI | m2://inv/PY8R56523B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#QZ9K, Corpuscularianism (unknown)
History
- 2026-11-02: add by m2/dev
PY8R5E3PB3 PY8R5E3PB3
| URI | m2://inv/PY8R5E3PB3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16362#GZHU (statement). In 4NJ4T3DEQB/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.2
Hesse pencil PY8SGZ22DC
| URI | m2://inv/PY8SGZ22DC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hesse pencil, Hesse pencil (definition). Also Wikidata Q17023327
History
- 2026-11-02: add by m2/dev
Bertrand Russell PY8XCKR8WB
| URI | m2://inv/PY8XCKR8WB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q33760, Bertrand Russell (unknown). Also nLab Bertrand Russell, ProofWiki Mathematician:Bertrand_Arthur_William_Russell
- wikipedia: Wikipedia Bertrand Russell, Bertrand Russell (topic). Also Wikidata Q33760
History
- 2026-10-26: add by m2/dev
apartness PY8ZB4SJG6
| URI | m2://inv/PY8ZB4SJG6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/apartness, apartness (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
Mehdi Behzad PY938HC7NN
| URI | m2://inv/PY938HC7NN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NMCB, Mehdi Behzad (unknown)
History
- 2026-11-02: add by m2/dev
Johann Faulhaber PY94YRF73Z
| URI | m2://inv/PY94YRF73Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johann Faulhaber, Johann Faulhaber (topic). Also Wikidata Q72369
History
- 2026-11-02: add by m2/dev
PY9D7ZC7YD PY9D7ZC7YD
| URI | m2://inv/PY9D7ZC7YD |
|---|---|
| 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.18673#9M0E (statement). In 7ZFD9XRKA1/e1, lemma 2.19
History
- 2026-10-28: add by m2/v0.4.2
D8 lattice PY9F914675
| URI | m2://inv/PY9F914675 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 8-demicubic honeycomb#I8NR, D8 lattice (unknown)
History
- 2026-11-02: add by m2/dev
Torsion outside the vanishing range PY9FJW7HS1
| URI | m2://inv/PY9FJW7HS1 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 20-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.04305#F9E2, Torsion outside the vanishing range (problem). In Y1DR0DPWD0/e1, problem 8.2
History
- 2026-10-29: add by m2/v0.4.12
Kernel density estimation PY9N26AN3N
| URI | m2://inv/PY9N26AN3N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kernel density estimation, Kernel density estimation (definition). Also Wikidata Q458825
History
- 2026-11-02: add by m2/dev
modularity theorem PY9XEMEKRP
| URI | m2://inv/PY9XEMEKRP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | Modularity theorem CS1NVJBZMH |
Mentions
- mathlib_1000: mathlib_1000 Q649469, Modularity theorem (statement). Also Wikidata Q649469
- thousand_plus: thousand_plus Q649469, Modularity theorem (statement). Also Wikidata Q649469, Wikipedia Modularity theorem
- wikidata: Wikidata Q649469, modularity theorem (statement). Also MathWorld Taniyama-ShimuraConjecture
- wikipedia: Wikipedia Modularity theorem, Modularity theorem (statement). Also Wikidata Q649469
History
- 2026-10-26: add by m2/dev
PYA1KA35X9 PYA1KA35X9
| URI | m2://inv/PYA1KA35X9 |
|---|---|
| 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.22784#DC3V (statement)
History
- 2026-11-02: add by m2/v0.6.17
PYA2NS6ZEM PYA2NS6ZEM
| URI | m2://inv/PYA2NS6ZEM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23617#QZ6P (statement)
History
- 2026-11-02: add by m2/v0.6.17
PYA9G3F9FF PYA9G3F9FF
| URI | m2://inv/PYA9G3F9FF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-2.xml#example-5 (example). In 649HGZKE96, example, section 4.2.3
History
- 2026-11-01: add by m2/v0.6.13
G factor in non-humans PYAAKQG9XM
| URI | m2://inv/PYAAKQG9XM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia G factor in non-humans, G factor in non-humans (definition). Also Wikidata Q22908559
History
- 2026-11-02: add by m2/dev
PYADTNG99E PYADTNG99E
| URI | m2://inv/PYADTNG99E |
|---|---|
| Kind | statement |
| 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.33263#MZH4 (statement). In 6S5EH3388Z/e1, lemma 2.13
History
- 2026-10-30: add by m2/v0.4.12
Smoothing spline PYATRNTHD1
| URI | m2://inv/PYATRNTHD1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#UU84, Smoothing spline (definition)
History
- 2026-11-02: add by m2/dev
PYB2K0NW2B PYB2K0NW2B
| URI | m2://inv/PYB2K0NW2B |
|---|---|
| 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.36113#KFIU (statement). In FSGSVD0XYH/e1, lemma 8
History
- 2026-10-30: add by m2/v0.4.12
PYB31ESBHB PYB31ESBHB
| URI | m2://inv/PYB31ESBHB |
|---|---|
| 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 2504.19468#2WNS (statement). In EY54F2SX08/e1, corollary 3.9
History
- 2026-10-27: add by m2/v0.3.5
PYB8AGBH1A PYB8AGBH1A
| URI | m2://inv/PYB8AGBH1A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#QUPP (statement)
History
- 2026-11-01: add by m2/v0.6.15
PYBA68YAZV PYBA68YAZV
| URI | m2://inv/PYBA68YAZV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28495#Y9RK (definition)
History
- 2026-11-01: add by m2/v0.6.15
No-cloning theorem PYBAY4QSH9
| URI | m2://inv/PYBAY4QSH9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#ZJ3Y, No-cloning theorem (statement)
- wikipedia: Wikipedia List of mathematical topics in quantum theory#38L8, No-cloning theorem (statement)
History
- 2026-11-02: add by m2/dev
Phases of clinical research PYBBJTR35Q
| URI | m2://inv/PYBBJTR35Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phases of clinical research, Phases of clinical research (definition). Also Wikidata Q7180990
History
- 2026-11-02: add by m2/dev
Joan Birman PYBMM193YF
| URI | m2://inv/PYBMM193YF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CNJU, Joan Birman (topic)
History
- 2026-11-02: add by m2/dev
rhombic dodecahedron PYBRK4ED75
| URI | m2://inv/PYBRK4ED75 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1132285, rhombic dodecahedron (object). Also MathWorld RhombicDodecahedron
- wikipedia: Wikipedia Rhombic dodecahedron, Rhombic dodecahedron (definition). Also Wikidata Q1132285
History
- 2026-10-26: add by m2/dev
Frobenius inner product and spectral norm PYC0Q6FC7G
| URI | m2://inv/PYC0Q6FC7G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 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.20520#JMPN, Frobenius inner product and spectral norm (definition)
History
- 2026-11-02: add by m2/v0.6.18
group, abelian PYC5M4VFG4
| URI | m2://inv/PYC5M4VFG4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.7.2/group-abelian, group, abelian (concept). In N54F33XE07, index, section 7.7.2
History
- 2026-11-01: add by m2/v0.6.13
Definition PYCC8B896H
| URI | m2://inv/PYCC8B896H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Essential manifold#K61W, Definition (definition)
History
- 2026-11-02: add by m2/dev
PYD2RB7PB3 PYD2RB7PB3
| URI | m2://inv/PYD2RB7PB3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06719#23C5 (statement). In CBSA058Y53/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
George Boole's The Laws of Thought 1854; John Venn's Symbolic Logic 1881 PYD4ZRDAYZ
| URI | m2://inv/PYD4ZRDAYZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of the function concept#251O, George Boole's The Laws of Thought 1854; John Venn's Symbolic Logic 1881 (statement)
History
- 2026-11-02: add by m2/dev
I had no need of that hypothesis PYD5Q0BVNB
| URI | m2://inv/PYD5Q0BVNB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pierre-Simon Laplace#WP5C, I had no need of that hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Properties PYDA3MJY0M
| URI | m2://inv/PYDA3MJY0M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computable number#W7DX, Properties (statement)
History
- 2026-11-02: add by m2/dev
PYDDVJYYBM PYDDVJYYBM
| URI | m2://inv/PYDDVJYYBM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-zariski.tex#example-9 (example). In RZP28ERRZV, example, section 28.4
History
- 2026-11-01: add by m2/v0.6.13
Crosscap number PYDKXTHJB8
| URI | m2://inv/PYDKXTHJB8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#0WCK, Crosscap number (definition)
History
- 2026-11-02: add by m2/dev
regular ideal PYDVEZRFF7
| URI | m2://inv/PYDVEZRFF7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4299465, regular ideal (unknown). Also EoM Modular_ideal
- wikipedia: Wikipedia Regular ideal, Regular ideal (definition). Also Wikidata Q4299465
History
- 2026-10-26: add by m2/dev
PYDVN1EJRN PYDVN1EJRN
| URI | m2://inv/PYDVN1EJRN |
|---|---|
| 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.18335#BTZP (statement). In XKN1C8Y9SD/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.2
PYE201CDYM PYE201CDYM
| URI | m2://inv/PYE201CDYM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34946#4TRE (statement). In Y27BAB2BB4/e1, proposition 6.2
History
- 2026-10-30: add by m2/v0.4.12
PYEAT1EYZ0 PYEAT1EYZ0
| URI | m2://inv/PYEAT1EYZ0 |
|---|---|
| Kind | example |
| 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#UZVT (example). In M77QPWHHRX/e1, example 1
History
- 2026-10-28: add by m2/v0.4.2
Strongly monotone VIs under mixed noise PYEDSHASEZ
| URI | m2://inv/PYEDSHASEZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12641#FQ0T, Strongly monotone VIs under mixed noise (statement). In X5BYGZZHPF/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
PYENGMDRD3 PYENGMDRD3
| URI | m2://inv/PYENGMDRD3 |
|---|---|
| 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 2406.19866#69IF (statement). In 9F94CEQ1ZM/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
New York Number Theory Seminar PYENJXTP6B
| URI | m2://inv/PYENJXTP6B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia New York Number Theory Seminar, New York Number Theory Seminar (definition). Also Wikidata Q16964223
History
- 2026-11-02: add by m2/dev
PYEQCCKTD3 PYEQCCKTD3
| URI | m2://inv/PYEQCCKTD3 |
|---|---|
| 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.22338#APAJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Bochner–Riesz conjecture PYER8Q0P5T
| URI | m2://inv/PYER8Q0P5T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bochner–Riesz mean#2ELW, Bochner–Riesz conjecture (statement)
History
- 2026-11-02: add by m2/dev
Michael's Conjecture PYES3RA6G7
| URI | m2://inv/PYES3RA6G7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet algebra#MLY9, Michael's Conjecture (statement)
History
- 2026-11-02: add by m2/dev
Compound of six tetrahedra with rotational freedom PYEZQCE3SD
| URI | m2://inv/PYEZQCE3SD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of six tetrahedra with rotational freedom, Compound of six tetrahedra with rotational freedom (definition). Also Wikidata Q5156888
History
- 2026-11-02: add by m2/dev
PYF9NRH2EA PYF9NRH2EA
| URI | m2://inv/PYF9NRH2EA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09729#C6MR (statement). In 7CDD4HCYTV/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
Tracy–Widom distribution PYFA38E4W6
| URI | m2://inv/PYFA38E4W6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tracy–Widom distribution, Tracy–Widom distribution (definition). Also Wikidata Q7831889
History
- 2026-11-02: add by m2/dev
PYFM1BC498 PYFM1BC498
| URI | m2://inv/PYFM1BC498 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#YPH9 (unknown)
History
- 2026-11-02: add by m2/dev
Related results PYFNC4P2GP
| URI | m2://inv/PYFNC4P2GP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuratowski's theorem#RNPX, Related results (statement)
History
- 2026-11-02: add by m2/dev
Monotonicity of Stein exponents PYG32Q5TYN
| URI | m2://inv/PYG32Q5TYN |
|---|---|
| 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.40355#5CKY, Monotonicity of Stein exponents (statement). In SBP98GWKC8/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
PYG3Q0T1K5 PYG3Q0T1K5
| URI | m2://inv/PYG3Q0T1K5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#094E (statement). In BDN507RN7J/e1, corollary 3.5.15
History
- 2026-10-30: add by m2/v0.4.12
Examples PYGBEZAYC4
| URI | m2://inv/PYGBEZAYC4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mellin transform#FPV1, Examples (example)
History
- 2026-11-02: add by m2/dev
Linnik distribution PYGDY987BM
| URI | m2://inv/PYGDY987BM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#D4V1, Linnik distribution (definition)
History
- 2026-11-02: add by m2/dev
Properties PYGJ2SK27E
| URI | m2://inv/PYGJ2SK27E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Go First Dice#1CSI, Properties (statement)
History
- 2026-11-02: add by m2/dev
Vierlingsbeek PYGK8MCT27
| URI | m2://inv/PYGK8MCT27 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#WKJK, Vierlingsbeek (unknown)
History
- 2026-11-02: add by m2/dev
Pasting theorem for strict n-category (ver. Power (1991)) PYGN9TE7RZ
| URI | m2://inv/PYGN9TE7RZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pasting theorem#YSGP, Pasting theorem for strict n-category (ver. Power (1991)) (statement)
History
- 2026-11-02: add by m2/dev
Fermat's theorem on sums of two squares PYGPDRF55Z
| URI | m2://inv/PYGPDRF55Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#Y59G, Fermat's theorem on sums of two squares (statement)
History
- 2026-11-02: add by m2/dev
PYGWAWH5W7 PYGWAWH5W7
| URI | m2://inv/PYGWAWH5W7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.02073#DFMG (statement). In 3PNCRG6J62/e1, corollary 2.5
History
- 2026-10-27: add by m2/v0.3.5
Corollary PYH4CMNS2T
| URI | m2://inv/PYH4CMNS2T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard's lemma#7QXA, Corollary (statement)
History
- 2026-11-02: add by m2/dev
IDEA PYH7YT8ZKY
| URI | m2://inv/PYH7YT8ZKY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptosystems#RKHZ, IDEA (definition)
History
- 2026-11-02: add by m2/dev
PYH9QQN2T1 PYH9QQN2T1
| URI | m2://inv/PYH9QQN2T1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26382#L6QO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Carl R. de Boor PYHG3E0VFN
| URI | m2://inv/PYHG3E0VFN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#6SVN, Carl R. de Boor (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CG7V, Carl R. de Boor (topic)
History
- 2026-11-02: add by m2/dev
Policy capturing PYHN0W5087
| URI | m2://inv/PYHN0W5087 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#H9WD, Policy capturing (definition)
History
- 2026-11-02: add by m2/dev
lattice path PYHNV6YT41
| URI | m2://inv/PYHNV6YT41 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/2.5/lattice-path, lattice path (concept). In QKM9DD2H56, index, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Applications PYHWNKDS21
| URI | m2://inv/PYHWNKDS21 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spatial ecology#L658, Applications (example)
History
- 2026-11-02: add by m2/dev
PYJ7BWEK16 PYJ7BWEK16
| URI | m2://inv/PYJ7BWEK16 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16492#SA60 (statement). In XQZ3X5A955/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
PYJ9HCPWYJ PYJ9HCPWYJ
| URI | m2://inv/PYJ9HCPWYJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#XJ37 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Contraction over two generations PYJFAYT04J
| URI | m2://inv/PYJFAYT04J |
|---|---|
| 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.28791#F5R5, Contraction over two generations (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rhombipentahexagonal tiling PYJHET6D48
| URI | m2://inv/PYJHET6D48 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhombipentahexagonal tiling, Rhombipentahexagonal tiling (object). Also Wikidata Q17044532
History
- 2026-11-02: add by m2/dev
Parameter-ratio identities PYJHVMQ9V5
| URI | m2://inv/PYJHVMQ9V5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#UE7M, Parameter-ratio identities (statement). In 5BZQS1KY9A/e1, lemma 9.10
History
- 2026-10-29: add by m2/v0.4.10
Amber L. Puha PYJTAC52SQ
| URI | m2://inv/PYJTAC52SQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amber L. Puha, Amber L. Puha (topic). Also Wikidata Q102191966
History
- 2026-11-02: add by m2/dev
Holomorph PYKM0XE5T7
| URI | m2://inv/PYKM0XE5T7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holomorph (mathematics), Holomorph (definition). Also Wikidata Q3139500
History
- 2026-11-02: add by m2/dev
Frobenius reciprocity PYKR202G6J
| URI | m2://inv/PYKR202G6J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#ZY0O, Frobenius reciprocity (definition)
- wikipedia: Wikipedia List of abstract algebra topics#LTDD, Frobenius reciprocity (definition)
- wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#3LXV, Frobenius reciprocity (definition)
History
- 2026-11-02: add by m2/dev
Miyanishi's theorem PYKV2KTHET
| URI | m2://inv/PYKV2KTHET |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally nilpotent derivation#AU9D, Miyanishi's theorem (statement)
History
- 2026-11-02: add by m2/dev
Mean equinox PYM27P6NKY
| URI | m2://inv/PYM27P6NKY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ecliptic coordinate system#STGG, Mean equinox (unknown)
History
- 2026-11-02: add by m2/dev
Examples PYM27ZVTYF
| URI | m2://inv/PYM27ZVTYF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sub-Gaussian distribution#U69O, Examples (example)
History
- 2026-11-02: add by m2/dev
PYM6YG378W PYM6YG378W
| URI | m2://inv/PYM6YG378W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#WN6Y (statement)
History
- 2026-11-02: add by m2/v0.6.18
reduced row echelon form PYM94HFVCS
| URI | m2://inv/PYM94HFVCS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/1.2.3/reduced-row-echelon-form, reduced row echelon form (concept). In 649HGZKE96, index, section 1.2.3
History
- 2026-11-01: add by m2/v0.6.13
PYM9XC11HP PYM9XC11HP
| URI | m2://inv/PYM9XC11HP |
|---|---|
| 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.13556#8QRK (statement). In 5ZB8N3YY72/e1, corollary 4.12
History
- 2026-10-28: add by m2/v0.4.2
Bodhisattva Sen PYMCKSDAB6
| URI | m2://inv/PYMCKSDAB6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bodhisattva Sen, Bodhisattva Sen (topic). Also Wikidata Q102367477
History
- 2026-11-02: add by m2/dev
Shridhara PYMDFQD741
| URI | m2://inv/PYMDFQD741 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#IAHR, Shridhara (topic)
History
- 2026-11-02: add by m2/dev
The Freudenthal suspension theorem PYMH5RW01Y
| URI | m2://inv/PYMH5RW01Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#thm:freudenthal, The Freudenthal suspension theorem (statement). In N54F33XE07, thm, section 7.6
History
- 2026-11-01: add by m2/v0.6.13
Look-and-say sequence PYMK79FWAM
| URI | m2://inv/PYMK79FWAM |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1129511, Look-and-say sequence (object). Also MathWorld LookandSaySequence, OEIS A005150
- wikipedia: Wikipedia Look-and-say sequence, Look-and-say sequence (object). Also Wikidata Q1129511
History
- 2026-10-26: add by m2/dev
Degrees of freedom under general constraints PYMPNAW09P
| URI | m2://inv/PYMPNAW09P |
|---|---|
| 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.25704#O09N, Degrees of freedom under general constraints (statement)
History
- 2026-11-01: add by m2/v0.6.15
PYMWV7W81F PYMWV7W81F
| URI | m2://inv/PYMWV7W81F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-120 (exercise). In E9HS8K3A52, exercise, section 5.10.4
History
- 2026-11-01: add by m2/v0.6.13
PYN0WTS86G PYN0WTS86G
| URI | m2://inv/PYN0WTS86G |
|---|---|
| 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 2605.24355#2UCG (statement). In VV3AJMWWCR/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.6
Applications PYN8JAN90Z
| URI | m2://inv/PYN8JAN90Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable normal bundle#70QS, Applications (example)
History
- 2026-11-02: add by m2/dev
Gibbs optimizer PYN8WG0T0Z
| URI | m2://inv/PYN8WG0T0Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39699#LHUW, Gibbs optimizer (statement). In 6M4TMC8G6X/e1, lemma 15
History
- 2026-10-30: add by m2/v0.4.12
Definition PYNB8VE963
| URI | m2://inv/PYNB8VE963 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertex cover#M8AC, Definition (definition)
History
- 2026-11-02: add by m2/dev
Surgery theory PYNBHA9WH1
| URI | m2://inv/PYNBHA9WH1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#SZ50, Surgery theory (definition)
History
- 2026-11-02: add by m2/dev
Radar cross section PYNW2X7RXC
| URI | m2://inv/PYNW2X7RXC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radar cross section, Radar cross section (definition). Also Wikidata Q560430
History
- 2026-11-02: add by m2/dev
King, Willford I. PYNY6ZMT0Y
| URI | m2://inv/PYNY6ZMT0Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#VQW5, King, Willford I. (unknown)
History
- 2026-11-02: add by m2/dev
PYP2WJ6QWZ PYP2WJ6QWZ
| URI | m2://inv/PYP2WJ6QWZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30648#M7UX (statement). In 2P83KYQCMA/e1, lemma 15
History
- 2026-10-31: add by m2/v0.5.6
PYP7F05XMK PYP7F05XMK
| URI | m2://inv/PYP7F05XMK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop-20 (statement). In VNMV985MXX, prop, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Morris Hirsch PYPDPD660F
| URI | m2://inv/PYPDPD660F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q472127, Morris Hirsch (unknown). Also nLab Morris Hirsch
- wikipedia: Wikipedia Morris Hirsch, Morris Hirsch (topic). Also Wikidata Q472127
History
- 2026-10-26: add by m2/dev
RIPEMD PYPKN17ZMK
| URI | m2://inv/PYPKN17ZMK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RIPEMD, RIPEMD (definition). Also Wikidata Q2124306
History
- 2026-11-02: add by m2/dev
Vlasov–Maxwell equations PYPMJYTVX6
| URI | m2://inv/PYPMJYTVX6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#AA4U, Vlasov–Maxwell equations (definition)
History
- 2026-11-02: add by m2/dev
Six Hills PYPSCB5WEA
| URI | m2://inv/PYPSCB5WEA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#3K10, Six Hills (unknown)
History
- 2026-11-02: add by m2/dev
Topic outline of probability PYPWMJ3HPD
| URI | m2://inv/PYPWMJ3HPD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of statistics topics#RX71, Topic outline of probability (topic)
History
- 2026-11-02: add by m2/dev
Levi's lemma PYPY9MHW9K
| URI | m2://inv/PYPY9MHW9K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levi's lemma, Levi's lemma (statement). Also Wikidata Q6535335
History
- 2026-11-02: add by m2/dev
PYPYAATXB4 PYPYAATXB4
| URI | m2://inv/PYPYAATXB4 |
|---|---|
| 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.25656#NFRB (statement)
History
- 2026-11-01: add by m2/v0.6.15
PYQDH0JVKF PYQDH0JVKF
| URI | m2://inv/PYQDH0JVKF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#VHKI (statement). In JW8HH6EPG2/e1, lemma 2.9
History
- 2026-10-29: add by m2/v0.4.10
kappa PYQGTC1KF2
| URI | m2://inv/PYQGTC1KF2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#N61P, kappa (definition)
History
- 2026-11-02: add by m2/dev
PYQKMZN6QB PYQKMZN6QB
| URI | m2://inv/PYQKMZN6QB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/relations-as-sets.tex#relations (example). In PKGMM3P5QY, ex, section 80.6
History
- 2026-11-01: add by m2/v0.6.13
Examples PYQN39J3S7
| URI | m2://inv/PYQN39J3S7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wedge (geometry)#LF5H, Examples (example)
History
- 2026-11-02: add by m2/dev
PYQXFGKN2V PYQXFGKN2V
| URI | m2://inv/PYQXFGKN2V |
|---|---|
| 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 1905.00573#U5EU (statement). In 74RNQVBM2G/e1, proposition 3.28
History
- 2026-10-27: add by m2/v0.3.5
elementary function PYR3BDYVPS
| URI | m2://inv/PYR3BDYVPS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q824282, elementary function (unknown). Also MathWorld ElementaryFunction, nLab elementary function
- wikipedia: Wikipedia Elementary function, Elementary function (definition). Also Wikidata Q824282
History
- 2026-10-26: add by m2/dev
PYR3XF855R PYR3XF855R
| URI | m2://inv/PYR3XF855R |
|---|---|
| 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#8EXC (statement)
History
- 2026-11-02: add by m2/v0.6.17
Antonio Giorgilli PYRA11RHXT
| URI | m2://inv/PYRA11RHXT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#M7NU, Antonio Giorgilli (topic)
History
- 2026-11-02: add by m2/dev
Application PYRJBB2V74
| URI | m2://inv/PYRJBB2V74 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Streamlines, streaklines, and pathlines#TOZ2, Application (example)
History
- 2026-11-02: add by m2/dev
relativistic astrophysics PYRM53K298
| URI | m2://inv/PYRM53K298 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110609911, relativistic astrophysics (unknown). Also EoM Relativistic_astrophysics,_mathematical_problems_in
History
- 2026-10-26: add by m2/dev
PYRSGSSEHD PYRSGSSEHD
| URI | m2://inv/PYRSGSSEHD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03081#UZ2Y (statement). In TX0H26X4VX/e1, theorem 6.8
History
- 2026-10-29: add by m2/v0.4.12
PYRTF3HP3A PYRTF3HP3A
| URI | m2://inv/PYRTF3HP3A |
|---|---|
| Kind | definition |
| 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 2105.13129#GXNN (definition). In J5Z1JD5VKR/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.0
Examples PYRTM0TT0J
| URI | m2://inv/PYRTM0TT0J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Description logic#8ZA6, Examples (example)
History
- 2026-11-02: add by m2/dev
PYRTPVTA7N PYRTPVTA7N
| URI | m2://inv/PYRTPVTA7N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09206#EPVJ (definition). In T7R1Q29DQK/e1, definition
History
- 2026-10-29: add by m2/v0.4.10
PYS1T9G2Y3 PYS1T9G2Y3
| URI | m2://inv/PYS1T9G2Y3 |
|---|---|
| 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 2610.21388#FMHZ (example). In 3X4E9KSVWV/e1, example 3.8
History
- 2026-10-27: add by m2/v0.4.2
PYSBC6BKBT PYSBC6BKBT
| URI | m2://inv/PYSBC6BKBT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29877#Y8HK (definition)
History
- 2026-11-01: add by m2/v0.6.15
PYSM636EH2 PYSM636EH2
| URI | m2://inv/PYSM636EH2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36021#HW5V (statement). In CB68ATPEV9/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
PYSZ11NZ78 PYSZ11NZ78
| URI | m2://inv/PYSZ11NZ78 |
|---|---|
| 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 2401.05118#F70J (statement). In BT0T0QS2TN/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.4.0
Comparison principle PYT3RVQYE8
| URI | m2://inv/PYT3RVQYE8 |
|---|---|
| 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.18350#LQY1, Comparison principle (statement). In A20E8FZS21/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
List of schools for quantitative psychology PYT8JSW7HQ
| URI | m2://inv/PYT8JSW7HQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of schools for quantitative psychology, List of schools for quantitative psychology (topic). Also Wikidata Q20716374
History
- 2026-11-02: add by m2/dev
Glossary of algebraic topology PYTW6Q11RD
| URI | m2://inv/PYTW6Q11RD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology, Glossary of algebraic topology (topic). Also Wikidata Q25036778
History
- 2026-11-02: add by m2/dev
PYTXTKMMGX PYTXTKMMGX
| URI | m2://inv/PYTXTKMMGX |
|---|---|
| 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.13798#1BZB (statement). In GF2MA6Y29D/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
Normal PYV2212F8M
| URI | m2://inv/PYV2212F8M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal (geometry), Normal (definition). Also Wikidata Q273176
History
- 2026-11-02: add by m2/dev
PYV5MH2Y1V PYV5MH2Y1V
| URI | m2://inv/PYV5MH2Y1V |
|---|---|
| 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#HM7X (statement). In WRE0P7V6Z3/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
without (any) loss of generality (WLOG, WOLOG, WALOG), we may assume (WMA) PYV7MTCXKR
| URI | m2://inv/PYV7MTCXKR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#C7DP, without (any) loss of generality (WLOG, WOLOG, WALOG), we may assume (WMA) (definition)
History
- 2026-11-02: add by m2/dev
logical topology PYV7Z4RQXH
| URI | m2://inv/PYV7Z4RQXH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6667507, logical topology (unknown). Also nLab logical topology
History
- 2026-10-26: add by m2/dev
PYVAHTAS42 PYVAHTAS42
| URI | m2://inv/PYVAHTAS42 |
|---|---|
| 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.10474#Z897 (statement). In MB29RAAQMG/e1, lemma 6.10
History
- 2026-10-29: add by m2/v0.4.10
Theorem PYVB9TZY7W
| URI | m2://inv/PYVB9TZY7W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Josephus problem#CZJM, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Execution semantics PYVCYJ1CZP
| URI | m2://inv/PYVCYJ1CZP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Programming language#XK9E, Execution semantics (unknown)
History
- 2026-11-02: add by m2/dev
Conservativity forced by (N2 PYVDBRCVHD
| URI | m2://inv/PYVDBRCVHD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#MVNS, Conservativity forced by (N2 (statement). In TC5QA4AB4Z/e1, proposition 3.5
History
- 2026-10-30: add by m2/v0.4.12
PYVM6J91A5 PYVM6J91A5
| URI | m2://inv/PYVM6J91A5 |
|---|---|
| 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 2609.20718#3AAQ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Filtration by single-step quotients PYVN8W0D72
| URI | m2://inv/PYVN8W0D72 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05892#G2YM, Filtration by single-step quotients (statement). In PXWRTA62JK/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
K-equivalence PYVPG8SH4K
| URI | m2://inv/PYVPG8SH4K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-equivalence, K-equivalence (definition). Also Wikidata Q6322819
History
- 2026-11-02: add by m2/dev
Symmetry-enforced graph-orbit degeneracy PYVSZFRTK5
| URI | m2://inv/PYVSZFRTK5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14081#WGKV, Symmetry-enforced graph-orbit degeneracy (statement). In DCCKKQ7Y21/e1, theorem II.2
History
- 2026-10-28: add by m2/v0.4.2
Søren Galatius PYVVFT22TG
| URI | m2://inv/PYVVFT22TG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SH87, Søren Galatius (topic)
History
- 2026-11-02: add by m2/dev
PYVVV3SETK PYVVV3SETK
| URI | m2://inv/PYVVV3SETK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34852#JN6I (statement). In TZXEMCBK5V/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
double-star snark PYW8P2TKV6
| URI | m2://inv/PYW8P2TKV6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3487138, double-star snark (unknown). Also House of Graphs 1049, MathWorld DoubleStarSnark
- wikipedia: Wikipedia Double-star snark, Double-star snark (definition). Also Wikidata Q3487138
History
- 2026-10-26: add by m2/dev
African Mathematical Union PYWPAMG0T8
| URI | m2://inv/PYWPAMG0T8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia African Mathematical Union, African Mathematical Union (definition). Also Wikidata Q3550328
History
- 2026-11-02: add by m2/dev
Bergman operator PYWS669A77
| URI | m2://inv/PYWS669A77 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mutation (Jordan algebra)#KUIL, Bergman operator (unknown)
History
- 2026-11-02: add by m2/dev
When the qubitized code is a stabilizer code PYX1FY16GM
| URI | m2://inv/PYX1FY16GM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-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.04834#QCJD, When the qubitized code is a stabilizer code (statement). In YZNK67K060/e1, proposition 6.7
History
- 2026-10-29: add by m2/v0.4.12
Thiem solution PYX4197W4S
| URI | m2://inv/PYX4197W4S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aquifer test#UH2H, Thiem solution (unknown)
History
- 2026-11-02: add by m2/dev
Apollonian circles PYX7B1FY7J
| URI | m2://inv/PYX7B1FY7J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#U37G, Apollonian circles (definition)
History
- 2026-11-02: add by m2/dev
Definition PYXB5QZRQ8
| URI | m2://inv/PYXB5QZRQ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Assembly (realizability)#TU7Z, Definition (definition)
History
- 2026-11-02: add by m2/dev
PYXEWT8HXX PYXEWT8HXX
| URI | m2://inv/PYXEWT8HXX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19590#GMJX (example). In AZFARX0CXG/e1, example 1.10
History
- 2026-10-28: add by m2/v0.4.2
PYXJ40J2YW PYXJ40J2YW
| URI | m2://inv/PYXJ40J2YW |
|---|---|
| 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.31910#KTCE (statement). In E4EK1XXPY4/e1, lemma 7.1
History
- 2026-10-31: add by m2/v0.5.6
PYXTDXEK3M PYXTDXEK3M
| URI | m2://inv/PYXTDXEK3M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.07240#8Z32 (statement). In D0F1GK5AHW/e1, corollary 2.11
History
- 2026-10-29: add by m2/v0.4.10
Medieval nominalism PYXYVTEY9Z
| URI | m2://inv/PYXYVTEY9Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nominalism#4IN3, Medieval nominalism (unknown)
History
- 2026-11-02: add by m2/dev
permuting variables PYY396A4KY
| URI | m2://inv/PYY396A4KY |
|---|---|
| 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#0XNR, permuting variables (definition). In GW23NX78SB/e1, definition 4.9
History
- 2026-10-28: add by m2/v0.4.2
Proof of density theorem PYYG97YK0Z
| URI | m2://inv/PYYG97YK0Z |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/semisimple.tex#proof-3, Proof of density theorem (proof). In RZP28ERRZV, proof, section 81.2
History
- 2026-11-01: add by m2/v0.6.13
PYYP8T27M4 PYYP8T27M4
| URI | m2://inv/PYYP8T27M4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2401.11433#PTIJ (statement). In JNA2B803FH/e1, corollary 4.3
History
- 2026-10-27: add by m2/v0.3.5
Associação Brasileira de Estatística PYYRWNZNSB
| URI | m2://inv/PYYRWNZNSB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Associação Brasileira de Estatística, Associação Brasileira de Estatística (definition). Also Wikidata Q4810221
History
- 2026-11-02: add by m2/dev
PYZ1713HK8 PYZ1713HK8
| URI | m2://inv/PYZ1713HK8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/derived-rules.tex#prop-5 (statement). In PKGMM3P5QY, prop, section 50.2
History
- 2026-11-01: add by m2/v0.6.13
Algorithm PYZ8KG7M69
| URI | m2://inv/PYZ8KG7M69 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tarski–Kuratowski algorithm#FSG6, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
PYZBAHWF0Y PYZBAHWF0Y
| URI | m2://inv/PYZBAHWF0Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#TILR (statement). In 5E9G06XJKC/e1, lemma C.29
History
- 2026-10-28: add by m2/v0.4.2
Examples PYZCAYNHC4
| URI | m2://inv/PYZCAYNHC4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coordinate vector#73HG, Examples (example)
History
- 2026-11-02: add by m2/dev
Lilly Yue PYZCM3J5CW
| URI | m2://inv/PYZCM3J5CW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lilly Yue, Lilly Yue (topic). Also Wikidata Q107523448
History
- 2026-11-02: add by m2/dev
Non-examples PYZE5KDVP9
| URI | m2://inv/PYZE5KDVP9 |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz's lemma#HTT8, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
payoff matrix PYZEQWB15W
| URI | m2://inv/PYZEQWB15W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q123423860, payoff matrix (unknown). Also MathWorld PayoffMatrix
History
- 2026-10-26: add by m2/dev
PYZRJTH6MD PYZRJTH6MD
| URI | m2://inv/PYZRJTH6MD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#62OQ (statement). In A1GWWGRXPA/e1, lemma 5.17
History
- 2026-10-27: add by m2/v0.4.2
George Paget Thomson PYZSKYPNVZ
| URI | m2://inv/PYZSKYPNVZ |
|---|---|
| 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 Q133846, George Paget Thomson (unknown). Also ProofWiki Mathematician:George_Paget_Thomson
History
- 2026-10-26: add by m2/dev
singularly perturbed problem PYZX1ZNED5
| URI | m2://inv/PYZX1ZNED5 |
|---|---|
| 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 2204.07227#012E, singularly perturbed problem (example). In R85Z7ZZGBC/e1, example 5.2
History
- 2026-10-27: add by m2/v0.3.5
PYZYX09NDW PYZYX09NDW
| URI | m2://inv/PYZYX09NDW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22240#LRWH (statement)
History
- 2026-11-02: add by m2/v0.6.17