Inventory rows QS
The cards of the rows of the inventory whose ids start with QS. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Lower semicontinuity and convexity QS01KHGD3B
| URI | m2://inv/QS01KHGD3B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#XSN7, Lower semicontinuity and convexity (statement). In KM3Q791JY0/e1, corollary 3.7
History
- 2026-10-27: add by m2/v0.4.2
Théophile Pépin QS02ZSN4M6
| URI | m2://inv/QS02ZSN4M6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Théophile Pépin, Théophile Pépin (topic). Also Wikidata Q3807666
History
- 2026-11-02: add by m2/dev
The cotangent space is a vector space; the tangent space is only a cone QS057GQXYC
| URI | m2://inv/QS057GQXYC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.26270#PBA8, The cotangent space is a vector space; the tangent space is only a cone (statement)
History
- 2026-11-01: add by m2/v0.6.15
QS078GVF19 QS078GVF19
| URI | m2://inv/QS078GVF19 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31393#0W4D (statement). In ED0WC9Z55C/e1, lemma 2.2
History
- 2026-10-31: add by m2/v0.5.6
Artin conductor QS0AWX09DN
| URI | m2://inv/QS0AWX09DN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin conductor, Artin conductor (definition). Also Wikidata Q4801176
History
- 2026-11-02: add by m2/dev
Euler's theorem QS0DSHD88N
| URI | m2://inv/QS0DSHD88N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#JJVV, Euler's theorem (statement)
History
- 2026-11-02: add by m2/dev
Gap statistic QS0S72R4A6
| URI | m2://inv/QS0S72R4A6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Determining the number of clusters in a data set#PP2U, Gap statistic (unknown)
History
- 2026-11-02: add by m2/dev
25 QS0Y9D9YM2
| URI | m2://inv/QS0Y9D9YM2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 25 (number), 25 (definition). Also Wikidata Q79986
History
- 2026-11-02: add by m2/dev
Functional determinant QS0ZTGDDXJ
| URI | m2://inv/QS0ZTGDDXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional determinant, Functional determinant (definition). Also Wikidata Q2947601
History
- 2026-11-02: add by m2/dev
Rips machine QS0ZZFV8VN
| URI | m2://inv/QS0ZZFV8VN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rips machine, Rips machine (definition). Also Wikidata Q7335750
History
- 2026-11-02: add by m2/dev
Definition QS102NVGA2
| URI | m2://inv/QS102NVGA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Telescoping (mathematics)#2T64, Definition (definition)
History
- 2026-11-02: add by m2/dev
Indian states ranking by availability of toilets QS142YK66Q
| URI | m2://inv/QS142YK66Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indian states ranking by availability of toilets, Indian states ranking by availability of toilets (definition). Also Wikidata Q24933550
History
- 2026-11-02: add by m2/dev
Half Moon Island QS17F1D0ZQ
| URI | m2://inv/QS17F1D0ZQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#FMRR, Half Moon Island (unknown)
History
- 2026-11-02: add by m2/dev
QS18TQ7TGS QS18TQ7TGS
| URI | m2://inv/QS18TQ7TGS |
|---|---|
| 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.39707#9BBK (statement). In NFH5VEY1D1/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
QS1JEFWW6R QS1JEFWW6R
| URI | m2://inv/QS1JEFWW6R |
|---|---|
| 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 2102.09374#0USB (statement). In TGAHH1F8K5/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.6
QS1K7ANX7N QS1K7ANX7N
| URI | m2://inv/QS1K7ANX7N |
|---|---|
| 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.10902#RC28 (statement). In 96T1K6C3NZ/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.3
Introduction to 3-Manifolds QS1NF2Y1X8
| URI | m2://inv/QS1NF2Y1X8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Introduction to 3-Manifolds, Introduction to 3-Manifolds (definition). Also Wikidata Q96382774
History
- 2026-11-02: add by m2/dev
Bracket quadratic level set QS1VFQHEKE
| URI | m2://inv/QS1VFQHEKE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00843#U8MS, Bracket quadratic level set (example). In 1K7M5TD0M2/e1, example 1.2
History
- 2026-10-29: add by m2/v0.4.12
Chung Soon-yeong QS1WJEV68T
| URI | m2://inv/QS1WJEV68T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chung Soon-yeong, Chung Soon-yeong (topic). Also Wikidata Q123749366
History
- 2026-11-02: add by m2/dev
QS221NAY7V QS221NAY7V
| URI | m2://inv/QS221NAY7V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-proofs.ptx#exercise-12 (exercise). In Y91XFCEVHQ, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
QS28ZHZE1D QS28ZHZE1D
| URI | m2://inv/QS28ZHZE1D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37562#DZ23 (statement). In PYY8DFK2JS/e1, theorem B
History
- 2026-10-30: add by m2/v0.4.12
Lewandowski-Kurowicka-Joe distribution QS29KHQTXF
| URI | m2://inv/QS29KHQTXF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lewandowski-Kurowicka-Joe distribution, Lewandowski-Kurowicka-Joe distribution (definition). Also Wikidata Q110682440
History
- 2026-11-02: add by m2/dev
QS2CB8BR1T QS2CB8BR1T
| URI | m2://inv/QS2CB8BR1T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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.25289#DTZC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Consequences of the cross-boundary polynomial spectrum QS2EEG7XSW
| URI | m2://inv/QS2EEG7XSW |
|---|---|
| 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.05388#PP6D, Consequences of the cross-boundary polynomial spectrum (statement). In 4HJK1986EJ/e1, lemma C.4
History
- 2026-10-29: add by m2/v0.4.10
QS2FBFDZZ8 QS2FBFDZZ8
| URI | m2://inv/QS2FBFDZZ8 |
|---|---|
| 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#I2T5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Construction QS2GKFWH04
| URI | m2://inv/QS2GKFWH04 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Runcinated tesseracts#KWIC, Construction (definition)
History
- 2026-11-02: add by m2/dev
QS2GZYF6H0 QS2GZYF6H0
| URI | m2://inv/QS2GZYF6H0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-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 2610.17139#RCG1 (statement). In AQWX60Z563/e1, proposition 4.12
History
- 2026-10-28: add by m2/v0.4.2
Variations QS2WTDVZPK
| URI | m2://inv/QS2WTDVZPK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sperner property of a partially ordered set#QG45, Variations (statement)
History
- 2026-11-02: add by m2/dev
Kikuchi Dairoku QS2WTM6XDC
| URI | m2://inv/QS2WTM6XDC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kikuchi Dairoku, Kikuchi Dairoku (topic). Also Wikidata Q976582
History
- 2026-11-02: add by m2/dev
Maximum Principle QS304SB61K
| URI | m2://inv/QS304SB61K |
|---|---|
| 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 2304.02722#UKAN, Maximum Principle (statement). In AH7D55D3WV/e1, lemma A.2
History
- 2026-10-27: add by m2/v0.3.5
Closed-form projection on the sphere QS34HRVPKZ
| URI | m2://inv/QS34HRVPKZ |
|---|---|
| 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 2610.17946#P4QN, Closed-form projection on the sphere (statement). In A7HTYWJNCX/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
Lagrange multiplier QS35JS27G3
| URI | m2://inv/QS35JS27G3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#SSWD, Lagrange multiplier (definition)
- wikipedia: Wikipedia List of numerical analysis topics#UXD9, Lagrange multiplier (definition)
- wikipedia: Wikipedia List of multivariable calculus topics#EZ27, Lagrange multiplier (definition)
History
- 2026-11-02: add by m2/dev
Joseph B. Keller QS35SYRQHH
| URI | m2://inv/QS35SYRQHH |
|---|---|
| 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#G7PE, Joseph B. Keller (topic)
History
- 2026-11-02: add by m2/dev
QS38AB7JBN QS38AB7JBN
| URI | m2://inv/QS38AB7JBN |
|---|---|
| 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.23872#F1VX (statement)
History
- 2026-11-02: add by m2/v0.6.17
dodecagram QS38C8PE9X
| URI | m2://inv/QS38C8PE9X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3033697, dodecagram (unknown). Also MathWorld Dodecagram
- wikipedia: Wikipedia Dodecagram, Dodecagram (definition). Also Wikidata Q3033697
History
- 2026-10-26: add by m2/dev
QS38QX0WD8 QS38QX0WD8
| URI | m2://inv/QS38QX0WD8 |
|---|---|
| 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 2512.08487#XLTD (statement). In 77TVQVYN0Z/e1, lemma 10
History
- 2026-10-27: add by m2/v0.3.6
QS3DCST7YV QS3DCST7YV
| URI | m2://inv/QS3DCST7YV |
|---|---|
| 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.02141#550I (statement). In 5AB8YPS19N/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.12
QS3N47PDYQ QS3N47PDYQ
| URI | m2://inv/QS3N47PDYQ |
|---|---|
| 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.23238#RSLP (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples QS3VNHFXHX
| URI | m2://inv/QS3VNHFXHX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parafactorial local ring#2I4W, Examples (example)
History
- 2026-11-02: add by m2/dev
Perfect closure QS3XPSM75N
| URI | m2://inv/QS3XPSM75N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect field#HUWH, Perfect closure (unknown)
History
- 2026-11-02: add by m2/dev
QS3Y2ZJG1T QS3Y2ZJG1T
| URI | m2://inv/QS3Y2ZJG1T |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03336#8HA8 (example). In 4ZD20W8BVF/e1, example 3.2
History
- 2026-10-29: add by m2/v0.4.12
Quantitative jump-time localization QS40YZ07ST
| URI | m2://inv/QS40YZ07ST |
|---|---|
| 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.14154#1VDK, Quantitative jump-time localization (statement). In 8X6PXX2TRA/e1, lemma 7.4
History
- 2026-10-28: add by m2/v0.4.2
William Lawvere QS42Q4KKHY
| URI | m2://inv/QS42Q4KKHY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#V9AH, William Lawvere (topic)
History
- 2026-11-02: add by m2/dev
QS43V420HB QS43V420HB
| URI | m2://inv/QS43V420HB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09990#SNAA (statement). In CMG6TE1RDP/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.10
Lower bound from the candidate chain QS4680TJ2F
| URI | m2://inv/QS4680TJ2F |
|---|---|
| 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.33360#R3LV, Lower bound from the candidate chain (statement). In GH6FSDK4YB/e1, theorem 5.4
History
- 2026-10-30: add by m2/v0.4.12
The ring of Gaussian integers is a Euclidean domain QS4E3QTT6A
| URI | m2://inv/QS4E3QTT6A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#example-7, The ring of Gaussian integers is a Euclidean domain (example). In RZP28ERRZV, example, section 4.7
History
- 2026-11-01: add by m2/v0.6.13
QS4H31YB2C QS4H31YB2C
| URI | m2://inv/QS4H31YB2C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10338#PV1E (statement). In WZ3GXRAB00/e1, proposition 4.7
History
- 2026-10-29: add by m2/v0.4.10
Hereditary C*-subalgebra QS4QJG36ND
| URI | m2://inv/QS4QJG36ND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hereditary C*-subalgebra, Hereditary C*-subalgebra (definition). Also Wikidata Q5737793
History
- 2026-11-02: add by m2/dev
Fourier's law QS4YA42ZR6
| URI | m2://inv/QS4YA42ZR6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermal conduction#RW8C, Fourier's law (statement)
History
- 2026-11-02: add by m2/dev
Idempotents and square-zero elements QS4ZPY1JZK
| URI | m2://inv/QS4ZPY1JZK |
|---|---|
| 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.12483#GKJS, Idempotents and square-zero elements (statement). In 159250CY6S/e1, proposition 6.1
History
- 2026-10-28: add by m2/v0.4.2
The normal forms theorem QS511NKYGG
| URI | m2://inv/QS511NKYGG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bass–Serre theory#0P0V, The normal forms theorem (statement)
History
- 2026-11-02: add by m2/dev
Generalizations QS55XGBA2T
| URI | m2://inv/QS55XGBA2T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dispersion function#P89P, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Refractivity QS56A7EVA2
| URI | m2://inv/QS56A7EVA2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Refractive index#A9LD, Refractivity (unknown)
History
- 2026-11-02: add by m2/dev
Selection algorithm QS5E1BQZ05
| URI | m2://inv/QS5E1BQZ05 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#64G8, Selection algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Jerzy Andrzej Filar QS5J9BACGY
| URI | m2://inv/QS5J9BACGY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jerzy Andrzej Filar, Jerzy Andrzej Filar (topic). Also Wikidata Q76332101
History
- 2026-11-02: add by m2/dev
nucleosynthesis QS5KJA2SWP
| URI | m2://inv/QS5KJA2SWP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q471702, nucleosynthesis (unknown). Also nLab nucleosynthesis
History
- 2026-10-26: add by m2/dev
George Pólya QS5SJE28MD
| URI | m2://inv/QS5SJE28MD |
|---|---|
| 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 Q296259, George Pólya (unknown). Also nLab George Polya
History
- 2026-10-26: add by m2/dev
Definition QS612YC21D
| URI | m2://inv/QS612YC21D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exceptional character#XHFU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Kruskal's algorithm QS61BYVDP6
| URI | m2://inv/QS61BYVDP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#KRSQ, Kruskal's algorithm (definition)
History
- 2026-11-02: add by m2/dev
QS638Q250S QS638Q250S
| URI | m2://inv/QS638Q250S |
|---|---|
| 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.09154#2TEW (example). In JYVGX17N4F/e1, example 6.1
History
- 2026-10-29: add by m2/v0.4.10
Denjoy–Riesz theorem QS63Q3MA8M
| URI | m2://inv/QS63Q3MA8M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analyst's traveling salesman theorem#0XL7, Denjoy–Riesz theorem (statement)
History
- 2026-11-02: add by m2/dev
associativity, of path concatenation, coherence of QS6BBD49DK
| URI | m2://inv/QS6BBD49DK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.1/associativity-of-path-concatenation-coherence-of, associativity, of path concatenation, coherence of (concept). In N54F33XE07, index, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
Continuous-time weak \(A_p\)--\(A_\infty\) estimates QS6C0GQFR1
| URI | m2://inv/QS6C0GQFR1 |
|---|---|
| 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 2609.20531#9JSI, Continuous-time weak \(A_p\)--\(A_\infty\) estimates (statement)
History
- 2026-11-02: add by m2/v0.6.18
copositive matrix QS6EFQYS83
| URI | m2://inv/QS6EFQYS83 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2655506, copositive matrix (unknown). Also MathWorld CopositiveMatrix
- wikipedia: Wikipedia Copositive matrix, Copositive matrix (definition). Also Wikidata Q2655506
History
- 2026-10-26: add by m2/dev
QS6VRSQJBG QS6VRSQJBG
| URI | m2://inv/QS6VRSQJBG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/prop-reduce.tex#prop:trans-red (statement). In PKGMM3P5QY, prop, section 3.11
History
- 2026-11-01: add by m2/v0.6.13
Order-zero graph QS6VSC9D4B
| URI | m2://inv/QS6VSC9D4B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Null graph#O0YX, Order-zero graph (unknown)
History
- 2026-11-02: add by m2/dev
QS7BZ8HPPJ QS7BZ8HPPJ
| URI | m2://inv/QS7BZ8HPPJ |
|---|---|
| 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.02570#VU1Y (statement). In 6JK30RQ1SX/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
monomial QS7C4GCJFY
| URI | m2://inv/QS7C4GCJFY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q243723, monomial (definition). Also EoM Monomial, MathWorld Monomial, nLab monomial, ProofWiki Definition:Monomial
- wikipedia: Wikipedia Monomial, Monomial (definition). Also Wikidata Q243723
History
- 2026-10-26: add by m2/dev
Finite width preserves the population rate QS7GSN6WVK
| URI | m2://inv/QS7GSN6WVK |
|---|---|
| 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.09356#3O9M, Finite width preserves the population rate (statement). In 3VVGPXWH6R/e1, corollary 3.4
History
- 2026-10-29: add by m2/v0.4.10
QS7J6KER4X QS7J6KER4X
| URI | m2://inv/QS7J6KER4X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35183#2LBT (statement). In FYM5XFD9RR/e1, corollary 2.16
History
- 2026-10-30: add by m2/v0.4.12
QS7JKQ41EN QS7JKQ41EN
| URI | m2://inv/QS7JKQ41EN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25275#X8M1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
313 (Number) QS7MPX0GT7
| URI | m2://inv/QS7MPX0GT7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#1KOB, 313 (Number) (unknown)
History
- 2026-11-02: add by m2/dev
QS7MVNZSSZ QS7MVNZSSZ
| URI | m2://inv/QS7MVNZSSZ |
|---|---|
| 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.08935#GJ3F (definition). In G02N9D40B9/e1, definition 3.5.1
History
- 2026-10-29: add by m2/v0.4.10
Turing machine equivalents QS7Q552YZ3
| URI | m2://inv/QS7Q552YZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turing machine equivalents, Turing machine equivalents (definition). Also Wikidata Q7854962
History
- 2026-11-02: add by m2/dev
QS7SSR9GZ5 QS7SSR9GZ5
| URI | m2://inv/QS7SSR9GZ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#8SPN (statement). In X47RYAZF8P/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.2
QS808JXZQX QS808JXZQX
| URI | m2://inv/QS808JXZQX |
|---|---|
| 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/9201244#04YD (statement). In 7D3HCN21MK/e1, fact 3.6
History
- 2026-10-27: add by m2/v0.3.5
QS84P5EHBF QS84P5EHBF
| URI | m2://inv/QS84P5EHBF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.10930#I3P9 (definition). In HX63A1PH1W/e1, definition 3.32
History
- 2026-10-28: add by m2/v0.4.3
Klaus Roth QS84YAYX7N
| URI | m2://inv/QS84YAYX7N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#L258, Klaus Roth (topic)
History
- 2026-11-02: add by m2/dev
Marino Pannelli QS857PYGCT
| URI | m2://inv/QS857PYGCT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marino Pannelli, Marino Pannelli (topic). Also Wikidata Q45124486
History
- 2026-11-02: add by m2/dev
QS85QX6EB7 QS85QX6EB7
| URI | m2://inv/QS85QX6EB7 |
|---|---|
| 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 2212.05398#S39I (statement). In WQKQ8438M7/e1, lemma 6.5
History
- 2026-10-27: add by m2/v0.3.5
The CRT-Estimands Framework QS86HWQEAJ
| URI | m2://inv/QS86HWQEAJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ICH E9(R1) addendum on estimands and sensitivity analyses in clinical trials#OKA4, The CRT-Estimands Framework (unknown)
History
- 2026-11-02: add by m2/dev
QS86XKTRWE QS86XKTRWE
| URI | m2://inv/QS86XKTRWE |
|---|---|
| Kind | example |
| 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 2605.30285#3KPW (example). In YMY0NNSM27/e1, example 2.6
History
- 2026-10-27: add by m2/v0.3.6
QS89JXEH72 QS89JXEH72
| URI | m2://inv/QS89JXEH72 |
|---|---|
| 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 2607.20739#CU4W (statement). In XFZJZS3GB1/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
QS8EGCHVQ0 QS8EGCHVQ0
| URI | m2://inv/QS8EGCHVQ0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:affinedisctouchingsmooth (exercise). In VNMV985MXX, exercise, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Norwegian Statistical Association QS8GEPYZ34
| URI | m2://inv/QS8GEPYZ34 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#N7WC, Norwegian Statistical Association (definition)
History
- 2026-11-02: add by m2/dev
QS8VZQHY2J QS8VZQHY2J
| URI | m2://inv/QS8VZQHY2J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 2610.18929#JFC6 (statement). In ZRJ2DZT6P1/e1, corollary 5.3
History
- 2026-10-28: add by m2/v0.4.2
Cycle double cover conjecture QS8Z7KMAJG
| URI | m2://inv/QS8Z7KMAJG |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#JUAQ, Cycle double cover conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Hajnal–Szemerédi theorem QS9A0B54JY
| URI | m2://inv/QS9A0B54JY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equitable coloring#PHEM, Hajnal–Szemerédi theorem (statement)
History
- 2026-11-02: add by m2/dev
Louis Billera QS9AVZGV18
| URI | m2://inv/QS9AVZGV18 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louis Billera, Louis Billera (topic). Also Wikidata Q1871534
History
- 2026-11-02: add by m2/dev
Examples QS9AXFV8Q4
| URI | m2://inv/QS9AXFV8Q4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized eigenvector#LM8A, Examples (example)
History
- 2026-11-02: add by m2/dev
International Mathematical Union QS9BTT4SZC
| URI | m2://inv/QS9BTT4SZC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Mathematical Union, International Mathematical Union (definition). Also Wikidata Q828490
History
- 2026-11-02: add by m2/dev
QS9DQ2CARN QS9DQ2CARN
| URI | m2://inv/QS9DQ2CARN |
|---|---|
| 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#8FR5 (statement). In P5SY7AVP5E/e1, theorem 4.9
History
- 2026-10-29: add by m2/v0.4.12
Uses QS9GABN2NZ
| URI | m2://inv/QS9GABN2NZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morlet wavelet#80FA, Uses (example)
History
- 2026-11-02: add by m2/dev
QS9MGNRZK5 QS9MGNRZK5
| URI | m2://inv/QS9MGNRZK5 |
|---|---|
| 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.17589#7YV7 (statement). In GSTK4569X1/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
QSA0ZMDVFY QSA0ZMDVFY
| URI | m2://inv/QSA0ZMDVFY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12295#6GFA (statement). In 6DZPR52HRP/e1, lemma 6.5
History
- 2026-10-28: add by m2/v0.4.2
Process algebra QSAGNQVFWK
| URI | m2://inv/QSAGNQVFWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#LSO2, Process algebra (definition)
History
- 2026-11-02: add by m2/dev
Pointwise spectral correspondence QSAPM68RZR
| URI | m2://inv/QSAPM68RZR |
|---|---|
| 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.00077#OSXY, Pointwise spectral correspondence (statement). In C04B15GH1T/e1, proposition 4.4
History
- 2026-10-30: add by m2/v0.4.12
Kepler Object of Interest QSAQQ75JRA
| URI | m2://inv/QSAQQ75JRA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Johannes Kepler#XH4V, Kepler Object of Interest (unknown)
History
- 2026-11-02: add by m2/dev
QSAX5DQ7R9 QSAX5DQ7R9
| URI | m2://inv/QSAX5DQ7R9 |
|---|---|
| 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 2208.06310#R9U4 (statement). In 9YR0E0T9XA/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
QSB7HGE3G8 QSB7HGE3G8
| URI | m2://inv/QSB7HGE3G8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01216#YC2T (statement). In 59016RQTW6/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Contraction loss and required vertex counts QSBB9M4GW0
| URI | m2://inv/QSBB9M4GW0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 35-XX, 47-XX, 58-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26058#XH68, Contraction loss and required vertex counts (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples QSBEMJA43V
| URI | m2://inv/QSBEMJA43V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Portmanteau test#K3FE, Examples (example)
History
- 2026-11-02: add by m2/dev
377 (number) QSBEWPS7K4
| URI | m2://inv/QSBEWPS7K4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#O7SM, 377 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Antonio Schinella Conti QSBH1Y9K60
| URI | m2://inv/QSBH1Y9K60 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#LBR1, Antonio Schinella Conti (unknown)
- wikipedia: Wikipedia List of Italian mathematicians#MLRJ, Antonio Schinella Conti (unknown)
History
- 2026-11-02: add by m2/dev
QSBJ7JKW45 QSBJ7JKW45
| URI | m2://inv/QSBJ7JKW45 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 14.6
History
- 2026-11-01: add by m2/v0.6.13
V. V. Filippov QSBVTF2DQ3
| URI | m2://inv/QSBVTF2DQ3 |
|---|---|
| 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#J5WR, V. V. Filippov (unknown)
History
- 2026-11-02: add by m2/dev
Robert Kendall Lazarsfeld QSBYECYA5B
| URI | m2://inv/QSBYECYA5B |
|---|---|
| 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#HNKA, Robert Kendall Lazarsfeld (topic)
History
- 2026-11-02: add by m2/dev
Closed map lemma QSC0ZR1CHR
| URI | m2://inv/QSC0ZR1CHR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Open and closed maps#9A5B, Closed map lemma (statement)
History
- 2026-11-02: add by m2/dev
Geometric fixed points QSCCXXGPAH
| URI | m2://inv/QSCCXXGPAH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#UPU8, Geometric fixed points (definition). In TB1294GY5X/e1, definition A.4
History
- 2026-10-27: add by m2/v0.4.2
Statistical machine translation QSCG2ZSQVC
| URI | m2://inv/QSCG2ZSQVC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical machine translation, Statistical machine translation (definition). Also Wikidata Q3245113
History
- 2026-11-02: add by m2/dev
Giuseppe Pompilj QSCND82KVV
| URI | m2://inv/QSCND82KVV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#TSZ4, Giuseppe Pompilj (topic)
History
- 2026-11-02: add by m2/dev
in \emph{Grundgesetze}. QSD0EMP3JS
| URI | m2://inv/QSD0EMP3JS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/story/grundgesetze.tex#lem-1, in \emph{Grundgesetze}. (statement). In PKGMM3P5QY, lem, section 75.5
History
- 2026-11-01: add by m2/v0.6.13
QSD6A43A56 QSD6A43A56
| URI | m2://inv/QSD6A43A56 |
|---|---|
| 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.40054#72D2 (statement). In CA4C9PFM1E/e1, lemma 3.1.6
History
- 2026-10-30: add by m2/v0.4.12
QSD8P8QBBH QSD8P8QBBH
| URI | m2://inv/QSD8P8QBBH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#TMBC (statement). In 1QSCT53ZED/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.4.0
Formal definition QSDFSSY7GY
| URI | m2://inv/QSDFSSY7GY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex combination#QNFB, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
QSDP8AGJS8 QSDP8AGJS8
| URI | m2://inv/QSDP8AGJS8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06699#F0BL (statement). In GXHKRV5BPY/e1, lemma 5.13
History
- 2026-10-29: add by m2/v0.4.10
Monotone local objectives QSDP9PBY52
| URI | m2://inv/QSDP9PBY52 |
|---|---|
| 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.04027#X3ST, Monotone local objectives (statement). In DQB4YR2DFH/e1, corollary 11.1
History
- 2026-10-29: add by m2/v0.4.12
Derivative at the interpolation threshold QSDRQN1R9P
| URI | m2://inv/QSDRQN1R9P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38453#GWTN, Derivative at the interpolation threshold (statement). In DWKWF242Y0/e1, lemma 25
History
- 2026-10-30: add by m2/v0.4.12
Definition QSDX4Y0K32
| URI | m2://inv/QSDX4Y0K32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hasse derivative#RNGR, Definition (definition)
History
- 2026-11-02: add by m2/dev
QSDXY6MN5P QSDXY6MN5P
| URI | m2://inv/QSDXY6MN5P |
|---|---|
| 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.33557#N5NN (statement). In 95YZVAPGJA/e1, lemma 6.6
History
- 2026-10-30: add by m2/v0.4.12
QSE0TD7NHM QSE0TD7NHM
| URI | m2://inv/QSE0TD7NHM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#Y1HK (statement). In 6WJ0R9YEBR/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
QSE4RBFZ7H QSE4RBFZ7H
| URI | m2://inv/QSE4RBFZ7H |
|---|---|
| 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.02141#LEGR (statement). In 5AB8YPS19N/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Statement QSE6DY4MF4
| URI | m2://inv/QSE6DY4MF4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grothendieck spectral sequence#S6MO, Statement (statement)
History
- 2026-11-02: add by m2/dev
HKDF QSEJ1W83KJ
| URI | m2://inv/QSEJ1W83KJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HKDF, HKDF (definition). Also Wikidata Q24962849
History
- 2026-11-02: add by m2/dev
Napkin ring problem QSETREH1KR
| URI | m2://inv/QSETREH1KR |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Napkin ring problem, Napkin ring problem (problem). Also Wikidata Q6964957
History
- 2026-11-02: add by m2/dev
Detlef Gromoll QSEV3BWFDE
| URI | m2://inv/QSEV3BWFDE |
|---|---|
| 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 Q105289, Detlef Gromoll (unknown). Also nLab Detlef Gromoll
- wikipedia: Wikipedia Detlef Gromoll, Detlef Gromoll (topic). Also Wikidata Q105289
History
- 2026-10-26: add by m2/dev
Automated QSFMX1TX4G
| URI | m2://inv/QSFMX1TX4G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#AKZL, Automated (unknown)
History
- 2026-11-02: add by m2/dev
QSFRGAG086 QSFRGAG086
| URI | m2://inv/QSFRGAG086 |
|---|---|
| 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 2609.27846#L8LH (statement)
History
- 2026-11-01: add by m2/v0.6.15
disdyakis triacontahedron QSFTNB511X
| URI | m2://inv/QSFTNB511X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1512266, disdyakis triacontahedron (object). Also MathWorld DisdyakisTriacontahedron
- wikipedia: Wikipedia Disdyakis triacontahedron, Disdyakis triacontahedron (definition). Also Wikidata Q1512266
History
- 2026-10-26: add by m2/dev
Manley–Rowe relations QSFTXVB8GB
| URI | m2://inv/QSFTXVB8GB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Manley–Rowe relations, Manley–Rowe relations (definition). Also Wikidata Q4428892
History
- 2026-11-02: add by m2/dev
QSFWDG1NPG QSFWDG1NPG
| URI | m2://inv/QSFWDG1NPG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.21892#HYB8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
QSFWRFASBV QSFWRFASBV
| URI | m2://inv/QSFWRFASBV |
|---|---|
| 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 2606.02312#PSSA (statement). In 1SZV94R22Y/e1, lemma 6.4
History
- 2026-10-27: add by m2/v0.3.5
Electrovacuum solution QSG168RWJG
| URI | m2://inv/QSG168RWJG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Electrovacuum solution, Electrovacuum solution (definition). Also Wikidata Q5358583
History
- 2026-11-02: add by m2/dev
Finite Dirichlet mass QSG75Z10E9
| URI | m2://inv/QSG75Z10E9 |
|---|---|
| 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.03811#C695, Finite Dirichlet mass (statement). In DHQWFJW02X/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.12
Applications QSGJ1XBSJJ
| URI | m2://inv/QSGJ1XBSJJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bilunabirotunda#IWES, Applications (example)
History
- 2026-11-02: add by m2/dev
QSGKHZBGS9 QSGKHZBGS9
| URI | m2://inv/QSGKHZBGS9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 2609.28814#XYZC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples QSGR3JD6MY
| URI | m2://inv/QSGR3JD6MY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix ring#JZR7, Examples (example)
History
- 2026-11-02: add by m2/dev
Klein quadric QSGR5YA2RG
| URI | m2://inv/QSGR5YA2RG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Felix Klein#M6AF, Klein quadric (definition)
History
- 2026-11-02: add by m2/dev
Representation theory of the Poincaré group QSGZA7M3R0
| URI | m2://inv/QSGZA7M3R0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory of the Poincaré group, Representation theory of the Poincaré group (definition). Also Wikidata Q7314229
History
- 2026-11-02: add by m2/dev
Emilio Artom QSH5F4ZDNQ
| URI | m2://inv/QSH5F4ZDNQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#1V5R, Emilio Artom (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0HWG, Emilio Artom (topic)
History
- 2026-11-02: add by m2/dev
Degree-optimal canonical moment partitions QSH999T1KM
| URI | m2://inv/QSH999T1KM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#3L5X, Degree-optimal canonical moment partitions (statement). In 9YAE8FNQST/e1, theorem 12.1
History
- 2026-10-30: add by m2/v0.4.12
Anton von Braunmühl QSHDJMYG5R
| URI | m2://inv/QSHDJMYG5R |
|---|---|
| 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#0DXL, Anton von Braunmühl (topic)
History
- 2026-11-02: add by m2/dev
QSHK2HNXE9 QSHK2HNXE9
| URI | m2://inv/QSHK2HNXE9 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#proof-9 (proof). In E59CDZA4DP, proof, section 7.2.3
History
- 2026-11-01: add by m2/v0.6.13
Irina Mitrea QSHTZHXDMT
| URI | m2://inv/QSHTZHXDMT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irina Mitrea, Irina Mitrea (topic). Also Wikidata Q19564363
History
- 2026-11-02: add by m2/dev
Examples QSHXA45W7C
| URI | m2://inv/QSHXA45W7C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variable and attribute (research)#DPOG, Examples (example)
History
- 2026-11-02: add by m2/dev
QSJ19DA53M QSJ19DA53M
| URI | m2://inv/QSJ19DA53M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08594#K4AO (statement). In FEE70SSD96/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.10
QSJ33JMCZ4 QSJ33JMCZ4
| URI | m2://inv/QSJ33JMCZ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30086#5980 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Thyrsa Frazier Svager QSJ59GGCAB
| URI | m2://inv/QSJ59GGCAB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thyrsa Frazier Svager, Thyrsa Frazier Svager (topic). Also Wikidata Q12897730
History
- 2026-11-02: add by m2/dev
Adaptive complexity in terms of backbone geometry QSJ6N6G4EV
| URI | m2://inv/QSJ6N6G4EV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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.34025#GBAH, Adaptive complexity in terms of backbone geometry (statement). In VCG579E7MM/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
Deterministic whole-face stability QSJ6ZB1CCX
| URI | m2://inv/QSJ6ZB1CCX |
|---|---|
| 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.11309#Y1FT, Deterministic whole-face stability (statement). In TTEAQA1XXR/e1, lemma G.2
History
- 2026-10-28: add by m2/v0.4.3
QSJ80YGT1G QSJ80YGT1G
| URI | m2://inv/QSJ80YGT1G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26262#8UGU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Edouard Zeckendorf QSJHX2C9BE
| URI | m2://inv/QSJHX2C9BE |
|---|---|
| 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 Q644257, Edouard Zeckendorf (unknown). Also ProofWiki Mathematician:Edouard_Zeckendorf
History
- 2026-10-26: add by m2/dev
QSJJE9QPDX QSJJE9QPDX
| URI | m2://inv/QSJJE9QPDX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroFunctions.tex#definition-1 (definition). In P1C114YBXG, definition, section D
History
- 2026-11-01: add by m2/v0.6.13
QSJNVB8ESB QSJNVB8ESB
| URI | m2://inv/QSJNVB8ESB |
|---|---|
| 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 2608.23797#J2RS (statement). In PZCA01JXVR/e1, proposition 2.6
History
- 2026-10-27: add by m2/v0.3.5
QSJXRY9762 QSJXRY9762
| URI | m2://inv/QSJXRY9762 |
|---|---|
| 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 2210.04075#542U (statement). In C5DZR0TC5E/e1, corollary 2.9
History
- 2026-10-27: add by m2/v0.3.5
QSK1RY2DJB QSK1RY2DJB
| URI | m2://inv/QSK1RY2DJB |
|---|---|
| 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 2208.05288#BT42 (statement). In RTW3GDYPND/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.0
Harry J. Khamis QSK6WPS9RF
| URI | m2://inv/QSK6WPS9RF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#V4BL, Harry J. Khamis (topic)
History
- 2026-11-02: add by m2/dev
Kappa statistics QSK99BMJVS
| URI | m2://inv/QSK99BMJVS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#8JN8, Kappa statistics (definition)
History
- 2026-11-02: add by m2/dev
QSKA51ZM6X QSKA51ZM6X
| URI | m2://inv/QSKA51ZM6X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22528#1QFB (example)
History
- 2026-11-02: add by m2/v0.6.17
U75 QSKG14RMA2
| URI | m2://inv/QSKG14RMA2 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform tilings on the sphere, plane, and hyperbolic plane#OQTK, U75 (object)
History
- 2026-11-02: add by m2/dev
Definition QSKHDKJXAX
| URI | m2://inv/QSKHDKJXAX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moore–Penrose inverse#38Z8, Definition (definition)
History
- 2026-11-02: add by m2/dev
Compound of two great snub icosidodecahedra QSKMJE4N45
| URI | m2://inv/QSKMJE4N45 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of two great snub icosidodecahedra, Compound of two great snub icosidodecahedra (definition). Also Wikidata Q5156914
History
- 2026-11-02: add by m2/dev
Definition QSKV0CDC6R
| URI | m2://inv/QSKV0CDC6R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line of greatest slope#7GT5, Definition (definition)
History
- 2026-11-02: add by m2/dev
superposition QSM0DXDT8M
| URI | m2://inv/QSM0DXDT8M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.3/superposition, superposition (concept). In E9HS8K3A52, index, section 10.3
History
- 2026-11-01: add by m2/v0.6.13
QSM3T00QMQ QSM3T00QMQ
| URI | m2://inv/QSM3T00QMQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-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.31523#YC3D (statement). In 2BET1RE1F6/e1, theorem 2.10
History
- 2026-10-31: add by m2/v0.5.6
World Statistics Day QSM3VQYJCQ
| URI | m2://inv/QSM3VQYJCQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia World Statistics Day, World Statistics Day (definition). Also Wikidata Q1056713
History
- 2026-11-02: add by m2/dev
QSM622MW3R QSM622MW3R
| URI | m2://inv/QSM622MW3R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/semantic-notions.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 62.7
History
- 2026-11-01: add by m2/v0.6.13
Definition QSM8D6ENMD
| URI | m2://inv/QSM8D6ENMD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Product category#FKZ8, Definition (definition)
History
- 2026-11-02: add by m2/dev
Unit vector notation QSM8NZ4NZ1
| URI | m2://inv/QSM8NZ4NZ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vector notation#O4NJ, Unit vector notation (unknown)
History
- 2026-11-02: add by m2/dev
Set-theoretic definition of natural numbers QSMC5Y2WEZ
| URI | m2://inv/QSMC5Y2WEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set-theoretic definition of natural numbers, Set-theoretic definition of natural numbers (definition). Also Wikidata Q2995274
History
- 2026-11-02: add by m2/dev
Path space (disambiguation) QSMCY4RETE
| URI | m2://inv/QSMCY4RETE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IQL4, Path space (disambiguation) (unknown)
History
- 2026-11-02: add by m2/dev
QSMDP7YA5X QSMDP7YA5X
| URI | m2://inv/QSMDP7YA5X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1010.3284#SRGL (statement). In 7D3VBRZGMY/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
QSMEZM3KWW QSMEZM3KWW
| URI | m2://inv/QSMEZM3KWW |
|---|---|
| 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.21355#U5R7 (statement). In XKJ7VKN4P0/e1, theorem 16
History
- 2026-10-27: add by m2/v0.4.2
Nodary QSMN52M72T
| URI | m2://inv/QSMN52M72T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nodary, Nodary (definition). Also Wikidata Q7046617
History
- 2026-11-02: add by m2/dev
QSMRBD3D8H QSMRBD3D8H
| URI | m2://inv/QSMRBD3D8H |
|---|---|
| Kind | problem |
| 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#2XE1 (problem). In GWQP1XPM8E/e1, problem 2
History
- 2026-10-29: add by m2/v0.4.12
Infinite parity function QSMW5SZDNS
| URI | m2://inv/QSMW5SZDNS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parity function#49E9, Infinite parity function (unknown)
History
- 2026-11-02: add by m2/dev
QSN6DJ63M3 QSN6DJ63M3
| URI | m2://inv/QSN6DJ63M3 |
|---|---|
| Kind | problem |
| 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 1011.5443#X1ZF (problem). In VQ0K2GV62A/e1, problem
History
- 2026-10-27: add by m2/v0.3.5
QSN6WWHHZZ QSN6WWHHZZ
| URI | m2://inv/QSN6WWHHZZ |
|---|---|
| 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.15720#MZW9 (statement). In VNN52G3BRE/e1, theorem 7.2
History
- 2026-10-28: add by m2/v0.4.2
Classification rule QSN6WYB1PC
| URI | m2://inv/QSN6WYB1PC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classification rule, Classification rule (definition). Also Wikidata Q137731318
History
- 2026-11-02: add by m2/dev
QSN86XMY1K QSN86XMY1K
| URI | m2://inv/QSN86XMY1K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.02694#0AHG (definition). In A8EK2ARN5Q/e1, definition
History
- 2026-10-27: add by m2/v0.4.0
Kähler potential QSND43JS87
| URI | m2://inv/QSND43JS87 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kähler manifold#9SBU, Kähler potential (unknown)
History
- 2026-11-02: add by m2/dev
Poincar\'e Duality QSNEGMGYPY
| URI | m2://inv/QSNEGMGYPY |
|---|---|
| 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 0809.0068#0IBC, Poincar\'e Duality (statement). In MBKYGM01FK/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.3.5
Global inradius bound QSNHRVNREH
| URI | m2://inv/QSNHRVNREH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14069#JY5S, Global inradius bound (statement). In ABYRBVNC3Y/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
(Weeting #13) QSNKJ6G6H5
| URI | m2://inv/QSNKJ6G6H5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#QORQ, (Weeting #13) (unknown)
History
- 2026-11-02: add by m2/dev
Approximation of the reconstructions QSNQN35TH1
| URI | m2://inv/QSNQN35TH1 |
|---|---|
| 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.01504#DP8P, Approximation of the reconstructions (statement). In JAVB10Q2YZ/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.12
QSNXWKVPGP QSNXWKVPGP
| URI | m2://inv/QSNXWKVPGP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-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.31523#59M0 (statement). In 2BET1RE1F6/e1, theorem 3.6
History
- 2026-10-31: add by m2/v0.5.6
QSNZ09Y5Z4 QSNZ09Y5Z4
| URI | m2://inv/QSNZ09Y5Z4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23237#4B0V (statement)
History
- 2026-11-02: add by m2/v0.6.17
QSP2NT8NKR QSP2NT8NKR
| URI | m2://inv/QSP2NT8NKR |
|---|---|
| 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 2609.38975#28L8 (definition). In D2247CRPPE/e1, definition 10
History
- 2026-10-30: add by m2/v0.4.12
Delta-functor QSP7PE623N
| URI | m2://inv/QSP7PE623N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Delta-functor, Delta-functor (definition). Also Wikidata Q5254536
History
- 2026-11-02: add by m2/dev
Heine theorem QSPTNV5FWS
| URI | m2://inv/QSPTNV5FWS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heine theorem, Heine theorem (statement). Also Wikidata Q136400209
History
- 2026-11-02: add by m2/dev
Seasonally adjusted annual rate QSPWX76H0G
| URI | m2://inv/QSPWX76H0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seasonally adjusted annual rate, Seasonally adjusted annual rate (definition). Also Wikidata Q7441922
History
- 2026-11-02: add by m2/dev
Social contact hypothesis QSQ4AAFBJS
| URI | m2://inv/QSQ4AAFBJS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia WAIFW matrix#9NC5, Social contact hypothesis (statement)
History
- 2026-11-02: add by m2/dev
QSQ6FA8SEP QSQ6FA8SEP
| URI | m2://inv/QSQ6FA8SEP |
|---|---|
| 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.15744#6X3F (statement). In NV3PBZGBB7/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
QSQ9JHZQ5A QSQ9JHZQ5A
| URI | m2://inv/QSQ9JHZQ5A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06747#1634 (statement). In AB2WPR2FRR/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
Argentina QSQWXW11ZM
| URI | m2://inv/QSQWXW11ZM |
|---|---|
| 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 Q414, Argentina (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Argentina
History
- 2026-10-26: add by m2/dev
Variance gamma process QSQXY4FHGV
| URI | m2://inv/QSQXY4FHGV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variance gamma process, Variance gamma process (definition). Also Wikidata Q7915764
History
- 2026-11-02: add by m2/dev
QSQZX5ADXE QSQZX5ADXE
| URI | m2://inv/QSQZX5ADXE |
|---|---|
| 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 2609.21060#F3OX (statement)
History
- 2026-11-02: add by m2/v0.6.18
compactness QSR0XJ015F
| URI | m2://inv/QSR0XJ015F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26645#866Z, compactness (statement)
History
- 2026-11-01: add by m2/v0.6.15
algebraic extension QSR5K2Z1JM
| URI | m2://inv/QSR5K2Z1JM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Algebraic extension 0PTBM7K0R2 |
Mentions
- wikidata: Wikidata Q550791, algebraic extension (unknown). Also MathWorld AlgebraicExtension, nLab algebraic extension
- wikipedia: Wikipedia Algebraic extension, Algebraic extension (definition). Also Wikidata Q550791
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Well-posedness QSRTKJZ0WW
| URI | m2://inv/QSRTKJZ0WW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18419#7I55, Well-posedness (statement). In 7Q26JWKD7E/e1, theorem 8
History
- 2026-10-28: add by m2/v0.4.2
FIPS 140 QSRYJR637F
| URI | m2://inv/QSRYJR637F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FIPS 140, FIPS 140 (definition). Also Wikidata Q5425847
History
- 2026-11-02: add by m2/dev
Dyer-Roitberg QSSSY07SDE
| URI | m2://inv/QSSSY07SDE |
|---|---|
| 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#6IZF, Dyer-Roitberg (statement)
History
- 2026-11-02: add by m2/v0.6.18
QSSTYYGTCX QSSTYYGTCX
| URI | m2://inv/QSSTYYGTCX |
|---|---|
| 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.18884#EE32 (statement). In 8WM10QMA9E/e1, corollary 4.1
History
- 2026-10-28: add by m2/v0.4.2
Theorem QSSW4NNQWH
| URI | m2://inv/QSSW4NNQWH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Envelope (category theory)#1IVU, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Interpretation of the laws QSSWC4AC61
| URI | m2://inv/QSSWC4AC61 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black hole thermodynamics#DCAZ, Interpretation of the laws (statement)
History
- 2026-11-02: add by m2/dev
QST0DTQA3G QST0DTQA3G
| URI | m2://inv/QST0DTQA3G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39260#5LAV (statement). In ZNDB1AZZSA/e1, corollary 3.7
History
- 2026-10-30: add by m2/v0.4.12
under GRH QSTAN9Q8J9
| URI | m2://inv/QSTAN9Q8J9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.05914#GDJX, under GRH (statement). In V8MYP6MBAZ/e1, theorem 11
History
- 2026-10-29: add by m2/v0.4.10
Multivariate normal approximation QSTBBM09PR
| URI | m2://inv/QSTBBM09PR |
|---|---|
| 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.06372#MGUE, Multivariate normal approximation (statement). In G3E1P350Z6/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.10
moment of a random variable QSTGFECRYT
| URI | m2://inv/QSTGFECRYT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Random variables and their laws > moment of a random variable, moment of a random variable (unknown). Also Mathlib ProbabilityTheory.moment
- mathlib_undergrad: mathlib_undergrad Probability Theory > Random variables and their laws > moments, moments (unknown). Also Mathlib ProbabilityTheory.moment
History
- 2026-10-26: add by m2/dev
Examples QSTKX8ECG4
| URI | m2://inv/QSTKX8ECG4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological module#XSG1, Examples (example)
History
- 2026-11-02: add by m2/dev
Iterative refinement QSTTN0EA6C
| URI | m2://inv/QSTTN0EA6C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#XP7I, Iterative refinement (definition)
History
- 2026-11-02: add by m2/dev
Residue theorem QSTW2HCM06
| URI | m2://inv/QSTW2HCM06 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm:residue, Residue theorem (statement). In VNMV985MXX, thm, section B
History
- 2026-11-01: add by m2/v0.6.13
QSTX38H5BT QSTX38H5BT
| URI | m2://inv/QSTX38H5BT |
|---|---|
| Kind | example |
| 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.15504#SY9A (example). In AZ8SEW6HAV/e1, example 6
History
- 2026-10-28: add by m2/v0.4.2
QSTXD1QQVE QSTXD1QQVE
| URI | m2://inv/QSTXD1QQVE |
|---|---|
| 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.21692#0L33 (statement). In CT4N0JGDP4/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.4.2
The Analyst QSV223HF6T
| URI | m2://inv/QSV223HF6T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3223788, The Analyst (unknown). Also ProofWiki Book:George_Berkeley/The_Analyst
- wikipedia: Wikipedia The Analyst, The Analyst (definition). Also Wikidata Q3223788
History
- 2026-10-26: add by m2/dev
algebraic vector bundle QSV4XC5X39
| URI | m2://inv/QSV4XC5X39 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#R6RN, algebraic vector bundle (definition)
History
- 2026-11-02: add by m2/dev
List of curves topics QSV7RYXSYT
| URI | m2://inv/QSV7RYXSYT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#44VE, List of curves topics (topic)
History
- 2026-11-02: add by m2/dev
Line deletion estimate QSVE34SGVF
| URI | m2://inv/QSVE34SGVF |
|---|---|
| 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.37704#X10I, Line deletion estimate (statement). In HGTFJ325A4/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
QSVMD3BEGB QSVMD3BEGB
| URI | m2://inv/QSVMD3BEGB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37124#IOI1 (definition). In 2QF1YG9DD0/e1, definition 2.13
History
- 2026-10-30: add by m2/v0.4.12
QSVMGQNHXY QSVMGQNHXY
| URI | m2://inv/QSVMGQNHXY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/semisimple.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 81.4
History
- 2026-11-01: add by m2/v0.6.13
QSVTBDWBY3 QSVTBDWBY3
| URI | m2://inv/QSVTBDWBY3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 16-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 2605.02634#KT06 (definition). In EZ6PAF0MXH/e1, definition 5.3
History
- 2026-10-27: add by m2/v0.3.5
Miguel Walsh QSVWT9YMMD
| URI | m2://inv/QSVWT9YMMD |
|---|---|
| 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#5ORK, Miguel Walsh (unknown)
History
- 2026-11-02: add by m2/dev
Restricted tangent Fisher energy QSW3CFXM14
| URI | m2://inv/QSW3CFXM14 |
|---|---|
| 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.11038#8UB6, Restricted tangent Fisher energy (statement). In RY8QBYR4SE/e1, proposition 6.2
History
- 2026-10-28: add by m2/v0.4.3
Applications QSW3PP4ZGH
| URI | m2://inv/QSW3PP4ZGH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann sphere#ZPYO, Applications (example)
History
- 2026-11-02: add by m2/dev
QSW7Z466TE QSW7Z466TE
| URI | m2://inv/QSW7Z466TE |
|---|---|
| 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.10928#PYFX (statement). In 8M7BFVQYMM/e1, lemma 6.7
History
- 2026-10-28: add by m2/v0.4.3
Definition QSW8NHDYH0
| URI | m2://inv/QSW8NHDYH0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic space#Y8OF, Definition (definition)
History
- 2026-11-02: add by m2/dev
QSWBQZ128J QSWBQZ128J
| URI | m2://inv/QSWBQZ128J |
|---|---|
| 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 2601.18223#ZLQM (statement). In ZRXE7EJA93/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.3.5
Connected component QSWCAXA1N2
| URI | m2://inv/QSWCAXA1N2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#KJZ8, Connected component (definition)
History
- 2026-11-02: add by m2/dev
QSWFAT9PNF QSWFAT9PNF
| URI | m2://inv/QSWFAT9PNF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-advPIE.ptx#exercise-9 (exercise). In Y91XFCEVHQ, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
QSWNYVR2X4 QSWNYVR2X4
| URI | m2://inv/QSWNYVR2X4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#3ISX (definition). In 7V3HG30ZGW/e1, definition A.25
History
- 2026-10-27: add by m2/v0.4.0
Binary matroid QSWSMA6MAZ
| URI | m2://inv/QSWSMA6MAZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary matroid, Binary matroid (definition). Also Wikidata Q4913901
History
- 2026-11-02: add by m2/dev
Formulation QSWWERH6Z7
| URI | m2://inv/QSWWERH6Z7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized functional linear model#M3ZH, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Truncated trihexagonal tiling QSX0AST0EZ
| URI | m2://inv/QSX0AST0EZ |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated trihexagonal tiling, Truncated trihexagonal tiling (object). Also Wikidata Q3063671
History
- 2026-11-02: add by m2/dev
QSX5BNQSBF QSX5BNQSBF
| URI | m2://inv/QSX5BNQSBF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-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.31523#6B16 (definition). In 2BET1RE1F6/e1, definition 2.14
History
- 2026-10-31: add by m2/v0.5.6
3D Life QSX9P411BA
| URI | m2://inv/QSX9P411BA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3D Life, 3D Life (definition). Also Wikidata Q4636296
History
- 2026-11-02: add by m2/dev
Direct Proof of $(\forall x)P(x)$ QSXGTC5QVM
| URI | m2://inv/QSXGTC5QVM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreQuantification.tex#skeleton:for all, Direct Proof of $(\forall x)P(x)$ (proof). In P1C114YBXG, skeleton, section F
History
- 2026-11-01: add by m2/v0.6.13
QSXPKJRFJ9 QSXPKJRFJ9
| URI | m2://inv/QSXPKJRFJ9 |
|---|---|
| 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.23629#780G (statement)
History
- 2026-11-02: add by m2/v0.6.17
QSXR85KKET QSXR85KKET
| URI | m2://inv/QSXR85KKET |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#M1LJ (definition). In 3KTZ6Z615H/e1, definition 6.3
History
- 2026-10-30: add by m2/v0.4.12
Scale-invariant reduction QSXWEM9R5X
| URI | m2://inv/QSXWEM9R5X |
|---|---|
| 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.11309#Q5Q8, Scale-invariant reduction (statement). In TTEAQA1XXR/e1, lemma C.3
History
- 2026-10-28: add by m2/v0.4.3
F-distribution QSY9H3Z7VF
| URI | m2://inv/QSY9H3Z7VF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#9BVB, F-distribution (definition)
History
- 2026-11-02: add by m2/dev
Sumihiro's theorem QSYB02WZ94
| URI | m2://inv/QSYB02WZ94 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sumihiro's theorem, Sumihiro's theorem (statement). Also Wikidata Q25098881
History
- 2026-11-02: add by m2/dev
Arithmetic group QSYEGBQ8BM
| URI | m2://inv/QSYEGBQ8BM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#YWXM, Arithmetic group (definition)
- wikipedia: Wikipedia List of Lie groups topics#M1K2, Arithmetic group (definition)
History
- 2026-11-02: add by m2/dev
QSYNVJ22EV QSYNVJ22EV
| URI | m2://inv/QSYNVJ22EV |
|---|---|
| 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.30544#W5BN (statement). In CB35ZBBBPT/e1, proposition 4.4
History
- 2026-10-31: add by m2/v0.5.6
Theorem QSYQN05H6J
| URI | m2://inv/QSYQN05H6J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov complexity#TQ0E, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Semi-continuity QSYW2B782P
| URI | m2://inv/QSYW2B782P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#OM9W, Semi-continuity (definition)
- wikipedia: Wikipedia List of numerical analysis topics#9036, Semi-continuity (definition)
History
- 2026-11-02: add by m2/dev
The ordinary-sheaf unbounded axiom QSZ034DSS9
| URI | m2://inv/QSZ034DSS9 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#W1BI, The ordinary-sheaf unbounded axiom (problem)
History
- 2026-11-01: add by m2/v0.6.15
Computational Neuroscience QSZ6P4CV8Z
| URI | m2://inv/QSZ6P4CV8Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#ZKRZ, Computational Neuroscience (unknown)
History
- 2026-11-02: add by m2/dev
Pocket set theory QSZGRE77JG
| URI | m2://inv/QSZGRE77JG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of alternative set theories#GBMT, Pocket set theory (definition)
History
- 2026-11-02: add by m2/dev
Fibration symmetry QSZT73E13B
| URI | m2://inv/QSZT73E13B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibration symmetry, Fibration symmetry (definition). Also Wikidata Q138748443
History
- 2026-11-02: add by m2/dev
QSZVTTRC2E QSZVTTRC2E
| URI | m2://inv/QSZVTTRC2E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-247 (exercise). In VNMV985MXX, exercise, section 4.6
History
- 2026-11-01: add by m2/v0.6.13
QSZY52YWGN QSZY52YWGN
| URI | m2://inv/QSZY52YWGN |
|---|---|
| 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.23847#J63V (statement)
History
- 2026-11-02: add by m2/v0.6.17