Inventory rows HR
The cards of the rows of the inventory whose ids start with HR. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
HR000EBWZ6 HR000EBWZ6
| URI | m2://inv/HR000EBWZ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#defn-9 (definition). In E59CDZA4DP, defn, section 11.3.4
History
- 2026-11-01: add by m2/v0.6.13
rigidify HR0EH2374X
| URI | m2://inv/HR0EH2374X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#T22H, rigidify (definition)
History
- 2026-11-02: add by m2/dev
HR0N82CDB3 HR0N82CDB3
| URI | m2://inv/HR0N82CDB3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22847#RNBK (statement)
History
- 2026-11-02: add by m2/v0.6.17
Gaussian surface HR0P9JYS0N
| URI | m2://inv/HR0P9JYS0N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#XLTF, Gaussian surface (unknown)
- wikipedia: Wikipedia List of surfaces#DKRL, Gaussian surface (unknown)
History
- 2026-11-02: add by m2/dev
Rank (set theory) HR0PCNPVV3
| URI | m2://inv/HR0PCNPVV3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann universe#RMTF, Rank (set theory) (unknown)
History
- 2026-11-02: add by m2/dev
HR173ZQSEK HR173ZQSEK
| URI | m2://inv/HR173ZQSEK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#defn-6 (definition). In E59CDZA4DP, defn, section 4.2.2
History
- 2026-11-01: add by m2/v0.6.13
independent, random variables HR1EQ7ENXK
| URI | m2://inv/HR1EQ7ENXK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/10.5.1/independent-random-variables, independent, random variables (concept). In QKM9DD2H56, index, section 10.5.1
History
- 2026-11-01: add by m2/v0.6.13
Ekaterina Kostina HR1HE0KPQA
| URI | m2://inv/HR1HE0KPQA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ekaterina Kostina, Ekaterina Kostina (topic). Also Wikidata Q57416520
History
- 2026-11-02: add by m2/dev
Lagrangian refinement of local Tate duality HR1JPF1MHW
| URI | m2://inv/HR1JPF1MHW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21622#2CEQ, Lagrangian refinement of local Tate duality (statement). In H21X3FHNYJ/e1, theorem 9.3
History
- 2026-10-27: add by m2/v0.4.2
Helmholtz's theorem HR1ZJVP756
| URI | m2://inv/HR1ZJVP756 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stokes' theorem#KV27, Helmholtz's theorem (statement)
History
- 2026-11-02: add by m2/dev
Bilinear dynamical systems HR227T4KT7
| URI | m2://inv/HR227T4KT7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22338#3J8B, Bilinear dynamical systems (definition)
History
- 2026-11-02: add by m2/v0.6.17
¼ HR246MF9NB
| URI | m2://inv/HR246MF9NB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2310416, ¼ (unknown). Also MathWorld Quarter
History
- 2026-10-26: add by m2/dev
HR2AB657YD HR2AB657YD
| URI | m2://inv/HR2AB657YD |
|---|---|
| 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.02663#AP18 (statement). In PGAZ70WGMG/e1, lemma 10
History
- 2026-10-29: add by m2/v0.4.12
Pseudo first order reaction HR2BA6EKEH
| URI | m2://inv/HR2BA6EKEH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rate equation#J720, Pseudo first order reaction (unknown)
History
- 2026-11-02: add by m2/dev
Sethi model HR2FEG1W9P
| URI | m2://inv/HR2FEG1W9P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#6WCM, Sethi model (definition)
History
- 2026-11-02: add by m2/dev
Laura Monk HR2K0AZM1F
| URI | m2://inv/HR2K0AZM1F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laura Monk, Laura Monk (topic). Also Wikidata Q122614963
History
- 2026-11-02: add by m2/dev
Melnikov distance HR2PYWBQ9K
| URI | m2://inv/HR2PYWBQ9K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Melnikov distance, Melnikov distance (definition). Also Wikidata Q6813255
History
- 2026-11-02: add by m2/dev
HR2QM177WJ HR2QM177WJ
| URI | m2://inv/HR2QM177WJ |
|---|---|
| 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 2303.14022#1XBH (definition). In NSYR6W27FP/e1, definition 4.15
History
- 2026-10-27: add by m2/v0.3.5
HR2R3R23E8 HR2R3R23E8
| URI | m2://inv/HR2R3R23E8 |
|---|---|
| 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 2603.16304#FE7X (statement). In NEGP0YBA3C/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.6
HR3ABSV5J5 HR3ABSV5J5
| URI | m2://inv/HR3ABSV5J5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16580#Q5DJ (definition). In MQPBZX4DR6/e1, definition 4.2
History
- 2026-10-28: add by m2/v0.4.2
HR3BRBKWFQ HR3BRBKWFQ
| URI | m2://inv/HR3BRBKWFQ |
|---|---|
| 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#7T0F (statement). In WZ3GXRAB00/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
Definition HR3C7P3BKQ
| URI | m2://inv/HR3C7P3BKQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probability plot correlation coefficient plot#E19E, Definition (definition)
History
- 2026-11-02: add by m2/dev
HR3GNVM50V HR3GNVM50V
| URI | m2://inv/HR3GNVM50V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31615#10SQ (definition). In TNV6XTEWEG/e1, definition 4.1
History
- 2026-10-31: add by m2/v0.5.6
HR3J21PR5S HR3J21PR5S
| URI | m2://inv/HR3J21PR5S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08382#72V1 (definition). In GYMGDQS25R/e1, definition 3.4
History
- 2026-10-29: add by m2/v0.4.10
Series Regression HR42XNB5AW
| URI | m2://inv/HR42XNB5AW |
|---|---|
| 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 2610.10167#UHR9, Series Regression (definition). In SVMDSE7PKG/e1, definition 4
History
- 2026-10-29: add by m2/v0.4.10
Measurable representative obtained from time averages HR4614PQRW
| URI | m2://inv/HR4614PQRW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20735#D8ZZ, Measurable representative obtained from time averages (statement)
History
- 2026-11-02: add by m2/v0.6.18
HR492YP8JR HR492YP8JR
| URI | m2://inv/HR492YP8JR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21578#B9TN (statement). In 6M96RM3T7N/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.4.2
Global bootstrap with the correct prefactor HR4KP8VA92
| URI | m2://inv/HR4KP8VA92 |
|---|---|
| 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#ZKPB, Global bootstrap with the correct prefactor (statement). In 3VVGPXWH6R/e1, corollary C.30
History
- 2026-10-29: add by m2/v0.4.10
lecture notes HR4T3QNY2S
| URI | m2://inv/HR4T3QNY2S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q58900620, lecture notes (unknown). Also ProofWiki Book:Lecture_Notes
History
- 2026-10-26: add by m2/dev
HR530376G0 HR530376G0
| URI | m2://inv/HR530376G0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16731#5GCO (definition). In D68KBZQ4Q6/e1, definition 3.9
History
- 2026-10-28: add by m2/v0.4.2
Reduced action HR53E8S38E
| URI | m2://inv/HR53E8S38E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Action (physics)#SXRJ, Reduced action (unknown)
History
- 2026-11-02: add by m2/dev
Rank-three stability HR547P37QQ
| URI | m2://inv/HR547P37QQ |
|---|---|
| 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 2610.20649#O6DC, Rank-three stability (statement). In XDTM624YPE/e1, corollary 15.7
History
- 2026-10-27: add by m2/v0.4.2
Lill's method HR5815XPJP
| URI | m2://inv/HR5815XPJP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lill's method, Lill's method (definition). Also Wikidata Q6547931
History
- 2026-11-02: add by m2/dev
Hagelbarger code HR58R2YJTW
| URI | m2://inv/HR58R2YJTW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#8JZD, Hagelbarger code (unknown)
History
- 2026-11-02: add by m2/dev
HR5E88T5PE HR5E88T5PE
| URI | m2://inv/HR5E88T5PE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18673#042P (statement). In 7ZFD9XRKA1/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
Blakers–Massey theorem HR5FR74EC6
| URI | m2://inv/HR5FR74EC6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#KJ3J, Blakers–Massey theorem (statement)
History
- 2026-11-02: add by m2/dev
HR5GZP7NHG HR5GZP7NHG
| URI | m2://inv/HR5GZP7NHG |
|---|---|
| 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 2504.00267#VTDO (statement). In 38XJWDZ2PH/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
HR5H0X82S8 HR5H0X82S8
| URI | m2://inv/HR5H0X82S8 |
|---|---|
| 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.24030#OGV0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
HR5JHYF97K HR5JHYF97K
| URI | m2://inv/HR5JHYF97K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22317#RPL0 (statement). In 2W5Z97BBW4/e1, corollary 5.5
History
- 2026-10-27: add by m2/v0.4.0
I. A. Ibragimov HR5NN8SVRM
| URI | m2://inv/HR5NN8SVRM |
|---|---|
| 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#EF0Y, I. A. Ibragimov (topic)
History
- 2026-11-02: add by m2/dev
HR5RSTJBPS HR5RSTJBPS
| URI | m2://inv/HR5RSTJBPS |
|---|---|
| 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.27301#XWEA (statement)
History
- 2026-11-01: add by m2/v0.6.15
HR5SMQF6HV HR5SMQF6HV
| URI | m2://inv/HR5SMQF6HV |
|---|---|
| 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.31274#RMBO (statement). In RK0ZMDJ23T/e1, lemma 3.4.8
History
- 2026-10-31: add by m2/v0.5.6
Lexicographic dominance HR5X6X9S8T
| URI | m2://inv/HR5X6X9S8T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lexicographic dominance, Lexicographic dominance (definition). Also Wikidata Q114315787
History
- 2026-11-02: add by m2/dev
Celestial holography HR62CS19C3
| URI | m2://inv/HR62CS19C3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Holographic principle#WV1R, Celestial holography (unknown)
History
- 2026-11-02: add by m2/dev
HR62T1Y70X HR62T1Y70X
| URI | m2://inv/HR62T1Y70X |
|---|---|
| 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.37112#XGU9 (statement). In 5B10HAY4C3/e1, theorem 1.5
History
- 2026-10-30: add by m2/v0.4.12
HR69C6X756 HR69C6X756
| URI | m2://inv/HR69C6X756 |
|---|---|
| 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.05056#GN7M (statement). In 4PF04DW3YP/e1, proposition 2.15
History
- 2026-10-29: add by m2/v0.4.12
Cherlin–Zilber conjecture HR6E53A6DA
| URI | m2://inv/HR6E53A6DA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#I5JF, Cherlin–Zilber conjecture (definition)
History
- 2026-11-02: add by m2/dev
Graver basis HR6FBK8PMJ
| URI | m2://inv/HR6FBK8PMJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graver basis, Graver basis (definition). Also Wikidata Q5597883
History
- 2026-11-02: add by m2/dev
HR6JNBWCYF HR6JNBWCYF
| URI | m2://inv/HR6JNBWCYF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32946#FPJR (statement). In 6AEBXNK614/e1, lemma 3.2
History
- 2026-10-31: add by m2/v0.5.6
HR6QGJAWRE HR6QGJAWRE
| URI | m2://inv/HR6QGJAWRE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.38596#T3CH (statement). In ZYGQAV8FD3/e1, proposition 6.4
History
- 2026-10-30: add by m2/v0.4.12
point-level exactness of the checks HR6R2RXDQE
| URI | m2://inv/HR6R2RXDQE |
|---|---|
| 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 2610.14051#Q7Q3, point-level exactness of the checks (statement). In ZQ78SP5JBS/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
HR6S0ZKBXM HR6S0ZKBXM
| URI | m2://inv/HR6S0ZKBXM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02295#SYQP (statement). In PEBD9ZMA1W/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
Japaridze's polymodal logic HR6V6M4Y6C
| URI | m2://inv/HR6V6M4Y6C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Japaridze's polymodal logic, Japaridze's polymodal logic (definition). Also Wikidata Q22905962
History
- 2026-11-02: add by m2/dev
L10a140 link HR6ZCN70W6
| URI | m2://inv/HR6ZCN70W6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical knots and links#BF41, L10a140 link (definition)
History
- 2026-11-02: add by m2/dev
Richards' theorem HR70QS5JEQ
| URI | m2://inv/HR70QS5JEQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richards' theorem, Richards' theorem (statement). Also Wikidata Q104844004
History
- 2026-11-02: add by m2/dev
Chambers, John M. HR73QXCM0W
| URI | m2://inv/HR73QXCM0W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#PJ97, Chambers, John M. (topic)
History
- 2026-11-02: add by m2/dev
Adaptive mesh refinement HR75CHERZP
| URI | m2://inv/HR75CHERZP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#EYFV, Adaptive mesh refinement (definition)
History
- 2026-11-02: add by m2/dev
HR76HGB0VH HR76HGB0VH
| URI | m2://inv/HR76HGB0VH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_complex.ptx#example-1 (example). In QKM9DD2H56, example, section B.18.1
History
- 2026-11-01: add by m2/v0.6.13
\textcite{lovasz_operations_1967 HR77P9TCQA
| URI | m2://inv/HR77P9TCQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07927#WDH0, \textcite{lovasz_operations_1967 (statement). In GKM19DHQTM/e1, theorem 6.33
History
- 2026-10-29: add by m2/v0.4.10
Volume ratios of trace-class quotients HR7F3JJBKS
| URI | m2://inv/HR7F3JJBKS |
|---|---|
| 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#FH6O, Volume ratios of trace-class quotients (statement). In 9YAE8FNQST/e1, theorem 9.1
History
- 2026-10-30: add by m2/v0.4.12
HR7PKTXR0D HR7PKTXR0D
| URI | m2://inv/HR7PKTXR0D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1612.08394#DHYB (statement). In 1P8D88DKG5/e1, lemma 7.5
History
- 2026-10-27: add by m2/v0.3.5
Properties HR7TS8VSXQ
| URI | m2://inv/HR7TS8VSXQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev center#MJM0, Properties (statement)
History
- 2026-11-02: add by m2/dev
Carlo Cattaneo (mathematician) HR851HVDC1
| URI | m2://inv/HR851HVDC1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#6FPA, Carlo Cattaneo (mathematician) (topic)
History
- 2026-11-02: add by m2/dev
Isoperimetric dimension HR878A6QQ2
| URI | m2://inv/HR878A6QQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isoperimetric dimension, Isoperimetric dimension (definition). Also Wikidata Q3707726
History
- 2026-11-02: add by m2/dev
Exponential time hypothesis HR8F6G0KR6
| URI | m2://inv/HR8F6G0KR6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time complexity#BR2Z, Exponential time hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Examples HR8K0239YM
| URI | m2://inv/HR8K0239YM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feller-continuous process#MCU1, Examples (example)
History
- 2026-11-02: add by m2/dev
Alexandra Illmer Forsythe HR8NQ1WGVG
| URI | m2://inv/HR8NQ1WGVG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#O9WA, Alexandra Illmer Forsythe (unknown)
History
- 2026-11-02: add by m2/dev
Data oscillation form HR8SBPBZA7
| URI | m2://inv/HR8SBPBZA7 |
|---|---|
| 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.12088#RIX0, Data oscillation form (statement). In 5A39XSJ04W/e1, proposition 7.12
History
- 2026-10-28: add by m2/v0.4.3
Muhammad ibn Musa al-Khwarizmi HR8SM81JHM
| URI | m2://inv/HR8SM81JHM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#BWG0, Muhammad ibn Musa al-Khwarizmi (topic)
History
- 2026-11-02: add by m2/dev
HR8SNSTZPQ HR8SNSTZPQ
| URI | m2://inv/HR8SNSTZPQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09694#KF4G (statement). In 7VXBVQ5SAC/e1, corollary 4.2
History
- 2026-10-29: add by m2/v0.4.10
Local state HR9NCENMW0
| URI | m2://inv/HR9NCENMW0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31336#1FPE, Local state (definition). In 70RV7J456D/e1, definition 11
History
- 2026-10-31: add by m2/v0.5.6
HR9TBEFT7F HR9TBEFT7F
| URI | m2://inv/HR9TBEFT7F |
|---|---|
| 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.40189#WNG8 (statement). In K2MDWD9V46/e1, proposition 3.6
History
- 2026-10-30: add by m2/v0.4.12
Applications HR9WPKMBMT
| URI | m2://inv/HR9WPKMBMT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucas sequence#GZU6, Applications (example)
History
- 2026-11-02: add by m2/dev
$\textsf{Nat}$ reads back correctly HR9YET0J8X
| URI | m2://inv/HR9YET0J8X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#ZY5E, $\textsf{Nat}$ reads back correctly (statement). In CPYWHRTPKC/e1, lemma 6.8
History
- 2026-10-27: add by m2/v0.4.2
HRA0W7ZJ00 HRA0W7ZJ00
| URI | m2://inv/HRA0W7ZJ00 |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.05010#OLK0 (statement). In 4SZNPS3Z00/e1, lemma 11
History
- 2026-10-27: add by m2/v0.3.6
Hyperbolic link HRA1M93YNF
| URI | m2://inv/HRA1M93YNF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#HDXQ, Hyperbolic link (definition)
History
- 2026-11-02: add by m2/dev
Conchoid of de Sluze HRA52KDW7H
| URI | m2://inv/HRA52KDW7H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#KGZ2, Conchoid of de Sluze (definition)
- wikipedia: Wikipedia List of curves#3JRM, Conchoid of de Sluze (definition)
History
- 2026-11-02: add by m2/dev
$k$-sorted projection HRAEREYSYH
| URI | m2://inv/HRAEREYSYH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#QUVF, $k$-sorted projection (definition). In GW23NX78SB/e1, definition 2.13
History
- 2026-10-28: add by m2/v0.4.2
Definition 2 HRAGTYJSYK
| URI | m2://inv/HRAGTYJSYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balance puzzle#YY7L, Definition 2 (definition)
History
- 2026-11-02: add by m2/dev
Properties HRANDYWMJJ
| URI | m2://inv/HRANDYWMJJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal convergence#W6XG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Construction HRAYDB011B
| URI | m2://inv/HRAYDB011B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Augmented sphenocorona#J32S, Construction (definition)
History
- 2026-11-02: add by m2/dev
HRB3MKKTQ0 HRB3MKKTQ0
| URI | m2://inv/HRB3MKKTQ0 |
|---|---|
| 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.27788#0WXQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Carving width HRBBAZYPC6
| URI | m2://inv/HRBBAZYPC6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carving width, Carving width (definition). Also Wikidata Q118903356
History
- 2026-11-02: add by m2/dev
Panjer recursion HRBK890KTV
| URI | m2://inv/HRBK890KTV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#49Q2, Panjer recursion (definition)
History
- 2026-11-02: add by m2/dev
Young–Laplace equation HRBPD7XV4T
| URI | m2://inv/HRBPD7XV4T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Young–Laplace equation, Young–Laplace equation (definition). Also Wikidata Q905258
History
- 2026-11-02: add by m2/dev
Statement HRBV83MKXA
| URI | m2://inv/HRBV83MKXA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov continuity theorem#V3BG, Statement (statement)
History
- 2026-11-02: add by m2/dev
Bel–Robinson tensor HRBVGVF02P
| URI | m2://inv/HRBVGVF02P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bel–Robinson tensor, Bel–Robinson tensor (definition). Also Wikidata Q4884978
History
- 2026-11-02: add by m2/dev
Approximate simulation with the exact observation marginal HRBVH5R8R2
| URI | m2://inv/HRBVH5R8R2 |
|---|---|
| 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#B1HL, Approximate simulation with the exact observation marginal (statement). In 9YAE8FNQST/e1, theorem 30.22
History
- 2026-10-30: add by m2/v0.4.12
HRBWPP60G3 HRBWPP60G3
| URI | m2://inv/HRBWPP60G3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13385#CCR5 (statement). In J99CBQ3QYD/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
HRBZ4H48F9 HRBZ4H48F9
| URI | m2://inv/HRBZ4H48F9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22272#U2O2 (statement). In 4VZV5V0YD6/e1, lemma 14
History
- 2026-10-27: add by m2/v0.4.0
Katalin Marton HRC1A2VS8P
| URI | m2://inv/HRC1A2VS8P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Katalin Marton, Katalin Marton (topic). Also Wikidata Q15823185
History
- 2026-11-02: add by m2/dev
Germany HRC292XSWA
| URI | m2://inv/HRC292XSWA |
|---|---|
| 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 Q183, Germany (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Germany
History
- 2026-10-26: add by m2/dev
HRC3AKHZG0 HRC3AKHZG0
| URI | m2://inv/HRC3AKHZG0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25823#CEV1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Delta HRC9HZ7WFT
| URI | m2://inv/HRC9HZ7WFT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#I1KD, Delta (definition)
History
- 2026-11-02: add by m2/dev
Iskander Taimanov HRCFR19Y7E
| URI | m2://inv/HRCFR19Y7E |
|---|---|
| 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#NQ63, Iskander Taimanov (topic)
History
- 2026-11-02: add by m2/dev
HRCGQGPF4T HRCGQGPF4T
| URI | m2://inv/HRCGQGPF4T |
|---|---|
| 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 2609.29759#YCD3 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Carroll diagram HRCME81D30
| URI | m2://inv/HRCME81D30 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carroll diagram, Carroll diagram (definition). Also Wikidata Q3817143
History
- 2026-11-02: add by m2/dev
Raphaël Salem HRCRZ892HQ
| URI | m2://inv/HRCRZ892HQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#P5GD, Raphaël Salem (unknown)
History
- 2026-11-02: add by m2/dev
Unconditional preservation of nonnegativity HRD02QED7S
| URI | m2://inv/HRD02QED7S |
|---|---|
| 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 2609.29524#9LZR, Unconditional preservation of nonnegativity (statement)
History
- 2026-11-01: add by m2/v0.6.15
exchange HRD06B4BY4
| URI | m2://inv/HRD06B4BY4 |
|---|---|
| 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.10408#SV62, exchange (statement). In H976NYKBNT/e1, lemma A.3
History
- 2026-10-29: add by m2/v0.4.10
HRD1DHB4CD HRD1DHB4CD
| URI | m2://inv/HRD1DHB4CD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.27495#TIXV (statement). In 1TZVMC23J9/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
HRD5M2C9JN HRD5M2C9JN
| URI | m2://inv/HRD5M2C9JN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-6-4-physics.xml#example-1 (example). In 907G4C4EJ1, example, section 6.4.3
History
- 2026-11-01: add by m2/v0.6.13
Applications HRDDJZ2JWB
| URI | m2://inv/HRDDJZ2JWB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tellegen's theorem#1I02, Applications (example)
History
- 2026-11-02: add by m2/dev
HRDN6BYD5B HRDN6BYD5B
| URI | m2://inv/HRDN6BYD5B |
|---|---|
| Kind | definition |
| 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.07963#H9RX (definition). In HAGJKEZ1CK/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Gaussian projection HRDP63E00A
| URI | m2://inv/HRDP63E00A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01855#PXS3, Gaussian projection (definition). In MM8P5CJR18/e1, definition 5.4
History
- 2026-10-29: add by m2/v0.4.12
Picard method HRDQJB91FK
| URI | m2://inv/HRDQJB91FK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Iterative methods of solving systems of real and vector-valued equations > Picard method, Picard method (unknown)
History
- 2026-10-26: add by m2/dev
HRDSZ2S2V5 HRDSZ2S2V5
| URI | m2://inv/HRDSZ2S2V5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18302#MHBB (example). In VJTRH1S4JA/e1, example 5.8
History
- 2026-10-28: add by m2/v0.4.2
HRE26HTM01 HRE26HTM01
| URI | m2://inv/HRE26HTM01 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.00918#5VXF (statement). In 2SMJ5V7FZ7/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Cycle profile; Curran--Witte HRE5DTDR3R
| URI | m2://inv/HRE5DTDR3R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03763#BSQ5, Cycle profile; Curran--Witte (statement). In ARZ4X5PXXC/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.12
Examples HREF38HQGH
| URI | m2://inv/HREF38HQGH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double-barreled question#FHJN, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples HREF5QNXWR
| URI | m2://inv/HREF5QNXWR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DFT matrix#DV0Z, Examples (example)
History
- 2026-11-02: add by m2/dev
HREGJASN5R HREGJASN5R
| URI | m2://inv/HREGJASN5R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/standard-models.tex#prop:thq-unique-iso (statement). In PKGMM3P5QY, prop, section 49.4
History
- 2026-11-01: add by m2/v0.6.13
HRERGDW2YB HRERGDW2YB
| URI | m2://inv/HRERGDW2YB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.03972#YAST (example). In 2JD3KNKJ1P/e1, example 4.8
History
- 2026-10-27: add by m2/v0.3.5
HRETCHY9AC HRETCHY9AC
| URI | m2://inv/HRETCHY9AC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25282#CDQK (definition)
History
- 2026-11-01: add by m2/v0.6.15
regular model of semi-stable curve HRF47GKA1J
| URI | m2://inv/HRF47GKA1J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40207#HVL4, regular model of semi-stable curve (statement). In JXTG8KP95P/e1, corollary 2.2
History
- 2026-10-30: add by m2/v0.4.12
HRF4GQEVFP HRF4GQEVFP
| URI | m2://inv/HRF4GQEVFP |
|---|---|
| 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.39981#ND9K (statement). In PMMV6YAEVR/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
integral HRF50P47E1
| URI | m2://inv/HRF50P47E1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#HHYM, integral (definition)
History
- 2026-11-02: add by m2/dev
HRF59VKWJD HRF59VKWJD
| URI | m2://inv/HRF59VKWJD |
|---|---|
| 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.02893#6WS1 (statement). In DQ9TAGM5XP/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
HRF8F2G8WX HRF8F2G8WX
| URI | m2://inv/HRF8F2G8WX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31102#MI8R (statement). In 7CADATJMAA/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
Kernel and image are subrepresentations HRFA334W2C
| URI | m2://inv/HRFA334W2C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#exercise-2, Kernel and image are subrepresentations (exercise). In RZP28ERRZV, exercise, section 80.5
History
- 2026-11-01: add by m2/v0.6.13
HRFB2D97CT HRFB2D97CT
| URI | m2://inv/HRFB2D97CT |
|---|---|
| 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.10840#5C12 (statement). In JSJQEPY71E/e1, corollary 5.1
History
- 2026-10-28: add by m2/v0.4.3
Sports rating system HRFRV9J8NQ
| URI | m2://inv/HRFRV9J8NQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sports rating system, Sports rating system (definition). Also Wikidata Q16672214
History
- 2026-11-02: add by m2/dev
HRFYG9R2WK HRFYG9R2WK
| URI | m2://inv/HRFYG9R2WK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#MZ62 (statement). In Q5Z178SAHP/e1, lemma 7.2
History
- 2026-10-30: add by m2/v0.4.12
Nataša Šešum HRFYRQHBP6
| URI | m2://inv/HRFYRQHBP6 |
|---|---|
| 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#SSMM, Nataša Šešum (topic)
History
- 2026-11-02: add by m2/dev
Properties HRFZY6Q8ZF
| URI | m2://inv/HRFZY6Q8ZF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bézout matrix#TIAS, Properties (statement)
History
- 2026-11-02: add by m2/dev
Sender-Upgrade Burden Threshold under Single Crossing HRG000M7R3
| URI | m2://inv/HRG000M7R3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03769#N36M, Sender-Upgrade Burden Threshold under Single Crossing (statement). In 35DNCV14M4/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.12
Error analysis HRG24ZSW1A
| URI | m2://inv/HRG24ZSW1A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13658#PAPP, Error analysis (statement). In R9BC934K3E/e1, proposition 7.2
History
- 2026-10-28: add by m2/v0.4.2
dart graph HRG3RAMATY
| URI | m2://inv/HRG3RAMATY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115561, dart graph (unknown). Also House of Graphs 1026, MathWorld DartGraph
History
- 2026-10-26: add by m2/dev
John B. Conway HRG40X1DBY
| URI | m2://inv/HRG40X1DBY |
|---|---|
| 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 Q6219901, John B. Conway (unknown). Also ProofWiki Mathematician:John_Bligh_Conway
- wikipedia: Wikipedia John B. Conway, John B. Conway (topic). Also Wikidata Q6219901
History
- 2026-10-26: add by m2/dev
The axiom of reducibility and the notion of "matrix" HRG4C1QN11
| URI | m2://inv/HRG4C1QN11 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of type theory#94LE, The axiom of reducibility and the notion of "matrix" (statement)
History
- 2026-11-02: add by m2/dev
Definition HRGC9PW4XR
| URI | m2://inv/HRGC9PW4XR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwartz topological vector space#XFLO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Configural frequency analysis HRGD1ZP9HX
| URI | m2://inv/HRGD1ZP9HX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MV8M, Configural frequency analysis (definition)
History
- 2026-11-02: add by m2/dev
HRGGY18RRX HRGGY18RRX
| URI | m2://inv/HRGGY18RRX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#LOQ7 (statement). In 9TR5E527P5/e1, lemma 6.18
History
- 2026-10-29: add by m2/v0.4.10
HRGQ7HY9J3 HRGQ7HY9J3
| URI | m2://inv/HRGQ7HY9J3 |
|---|---|
| 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 2511.07697#GK41 (statement). In 57P5P33HS3/e1, lemma 8
History
- 2026-10-27: add by m2/v0.3.5
Applications HRGQRYK5P5
| URI | m2://inv/HRGQRYK5P5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thales's theorem#QH1I, Applications (example)
History
- 2026-11-02: add by m2/dev
Applications HRGRMG5H88
| URI | m2://inv/HRGRMG5H88 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruzsa–Szemerédi problem#K5KO, Applications (example)
History
- 2026-11-02: add by m2/dev
Thomas M. Liggett HRGRX62TK6
| URI | m2://inv/HRGRX62TK6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas M. Liggett, Thomas M. Liggett (topic). Also Wikidata Q2425961
History
- 2026-11-02: add by m2/dev
HRH2CEF3XY HRH2CEF3XY
| URI | m2://inv/HRH2CEF3XY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40282#OA55 (example). In P86RWY99S2/e1, example 1.2.2
History
- 2026-10-30: add by m2/v0.4.12
Bordism categories with flips HRHEFBEZYK
| URI | m2://inv/HRHEFBEZYK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#1HZZ, Bordism categories with flips (example). In 9DQKY7KGE8/e1, example B.26
History
- 2026-10-31: add by m2/v0.5.6
growth conditions HRHM8GDK5Q
| URI | m2://inv/HRHM8GDK5Q |
|---|---|
| Kind | definition |
| 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#5U9Z, growth conditions (definition)
History
- 2026-11-01: add by m2/v0.6.15
Generalizations HRHP9E5QCK
| URI | m2://inv/HRHP9E5QCK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi eigenvalue algorithm#350W, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
HRJ2Z1FYZ3 HRJ2Z1FYZ3
| URI | m2://inv/HRJ2Z1FYZ3 |
|---|---|
| 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.10330#7DHU (statement). In CDXQHNX1P8/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Truncated projective plane HRJ2Z925XJ
| URI | m2://inv/HRJ2Z925XJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated projective plane, Truncated projective plane (definition). Also Wikidata Q97402724
History
- 2026-11-02: add by m2/dev
Gilbert–Varshamov bound HRJ38T8B2M
| URI | m2://inv/HRJ38T8B2M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gilbert–Varshamov bound, Gilbert–Varshamov bound (definition). Also Wikidata Q2454864
History
- 2026-11-02: add by m2/dev
HRJ3MVGW7E HRJ3MVGW7E
| URI | m2://inv/HRJ3MVGW7E |
|---|---|
| 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 math/0301148#C9ST (statement). In 5RE15848Z0/e1, proposition A.7
History
- 2026-10-27: add by m2/v0.3.5
Neuman–Stubblebine protocol HRJ3SD0DM7
| URI | m2://inv/HRJ3SD0DM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neuman–Stubblebine protocol, Neuman–Stubblebine protocol (definition). Also Wikidata Q4381859
History
- 2026-11-02: add by m2/dev
Properties HRJ5VJ81W8
| URI | m2://inv/HRJ5VJ81W8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory of finite groups#FVYY, Properties (statement)
History
- 2026-11-02: add by m2/dev
Theorem HRJFH1RF7Z
| URI | m2://inv/HRJFH1RF7Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inscribed angle#MLMA, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Extremal cap of the cross-polytope HRJJMYCH0Y
| URI | m2://inv/HRJJMYCH0Y |
|---|---|
| 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.25120#I68N, Extremal cap of the cross-polytope (statement)
History
- 2026-11-01: add by m2/v0.6.15
HRJKE4M2JX HRJKE4M2JX
| URI | m2://inv/HRJKE4M2JX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.02556#JZUO (statement). In 78QQZYTGTD/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.5
HRJMW3Y9M1 HRJMW3Y9M1
| URI | m2://inv/HRJMW3Y9M1 |
|---|---|
| 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.03835#YN6I (statement). In KAYGQMQPGS/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.12
Kenneth Land HRJNTEZPN8
| URI | m2://inv/HRJNTEZPN8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#JWH0, Kenneth Land (unknown)
History
- 2026-11-02: add by m2/dev
HRJR0B3NF4 HRJR0B3NF4
| URI | m2://inv/HRJR0B3NF4 |
|---|---|
| Kind | definition |
| 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.25391#14ZJ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Theorem 2 (Johnson bound for A_q(n,d,w)) HRK0VKDYX1
| URI | m2://inv/HRK0VKDYX1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johnson bound#7TOD, Theorem 2 (Johnson bound for A_q(n,d,w)) (statement)
History
- 2026-11-02: add by m2/dev
rigidity of the 3D marking HRK1V7JA48
| URI | m2://inv/HRK1V7JA48 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-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.00916#POWN, rigidity of the 3D marking (statement). In 3MMFCTKPPJ/e1, theorem B
History
- 2026-10-29: add by m2/v0.4.12
Lorentz Lie algebra HRKD3H2KSG
| URI | m2://inv/HRKD3H2KSG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lorentz group#JGOS, Lorentz Lie algebra (unknown)
History
- 2026-11-02: add by m2/dev
Mary Frances Winston Newson HRKGW6B7DR
| URI | m2://inv/HRKGW6B7DR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Frances Winston Newson, Mary Frances Winston Newson (topic). Also Wikidata Q11103473
History
- 2026-11-02: add by m2/dev
HRKJ49HV9B HRKJ49HV9B
| URI | m2://inv/HRKJ49HV9B |
|---|---|
| Kind | problem |
| 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 1008.4946#WUO7 (problem). In R4ZM6Q4SHH/e1, problem
History
- 2026-10-27: add by m2/v0.3.5
HRKKT9ZNKJ HRKKT9ZNKJ
| URI | m2://inv/HRKKT9ZNKJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06810#VUXK (statement). In 1NY2SA03XF/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
Uniform covariance bound HRKXC9GDM9
| URI | m2://inv/HRKXC9GDM9 |
|---|---|
| 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.02436#ZWYV, Uniform covariance bound (statement). In J9WZBK6KAY/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
In-crowd algorithm HRM1D6ZX3S
| URI | m2://inv/HRM1D6ZX3S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia In-crowd algorithm, In-crowd algorithm (definition). Also Wikidata Q6008626
History
- 2026-11-02: add by m2/dev
Applications HRM23Y87E3
| URI | m2://inv/HRM23Y87E3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pareto principle#MNU3, Applications (example)
History
- 2026-11-02: add by m2/dev
Naomi Altman HRM62Y4ZP0
| URI | m2://inv/HRM62Y4ZP0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#B8MF, Naomi Altman (unknown)
History
- 2026-11-02: add by m2/dev
Method HRM7TW9DCD
| URI | m2://inv/HRM7TW9DCD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sign test#5A6H, Method (definition)
History
- 2026-11-02: add by m2/dev
Fano's inequality HRM8CDGFMP
| URI | m2://inv/HRM8CDGFMP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#LTUG, Fano's inequality (statement)
History
- 2026-11-02: add by m2/dev
HRM8GGPMSF HRM8GGPMSF
| URI | m2://inv/HRM8GGPMSF |
|---|---|
| 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.06108#XTCN (statement). In D3WKY1PW64/e1, proposition 3.21
History
- 2026-10-29: add by m2/v0.4.10
HRMHW5N30Z HRMHW5N30Z
| URI | m2://inv/HRMHW5N30Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#example-6 (example). In E9HS8K3A52, example, section 5.2.3
History
- 2026-11-01: add by m2/v0.6.13
Example HRMQ2XT1ZF
| URI | m2://inv/HRMQ2XT1ZF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set estimation#KYOI, Example (example)
History
- 2026-11-02: add by m2/dev
HRMQNVAB1Y HRMQNVAB1Y
| URI | m2://inv/HRMQNVAB1Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31910#GKIH (statement). In E4EK1XXPY4/e1, proposition 5.18
History
- 2026-10-31: add by m2/v0.5.6
HRMV6Q4RPH HRMV6Q4RPH
| URI | m2://inv/HRMV6Q4RPH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-15 (exercise). In QKM9DD2H56, exercise, section 2
History
- 2026-11-01: add by m2/v0.6.13
Cofactors of a matrix with zero row sums HRN5WB5205
| URI | m2://inv/HRN5WB5205 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13063#YEFH, Cofactors of a matrix with zero row sums (statement). In R5AFFWBMAF/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Paul Koretz HRN94A1KEE
| URI | m2://inv/HRN94A1KEE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#KGOE, Paul Koretz (unknown)
History
- 2026-11-02: add by m2/dev
HRNB3XMB7A HRNB3XMB7A
| URI | m2://inv/HRNB3XMB7A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.10828#ZPVT (definition). In 8PTDFHV8SQ/e1, definition
History
- 2026-10-28: add by m2/v0.4.3
Bernstein function HRNBC2230E
| URI | m2://inv/HRNBC2230E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20302#XJK8, Bernstein function (definition). In GN8JWKH956/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.2
HRNBFYVYV7 HRNBFYVYV7
| URI | m2://inv/HRNBFYVYV7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03555#G0ER (definition). In 9JZJTRRVR1/e1, definition 2.8
History
- 2026-10-29: add by m2/v0.4.12
HRNKSTHKWB HRNKSTHKWB
| URI | m2://inv/HRNKSTHKWB |
|---|---|
| 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.39430#HDY8 (statement). In 6FH24CYAMW/e1, proposition 6.3
History
- 2026-10-30: add by m2/v0.4.12
HRNMSNHJ17 HRNMSNHJ17
| URI | m2://inv/HRNMSNHJ17 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-25 (exercise). In E59CDZA4DP, exercise, section 5.3.4
History
- 2026-11-01: add by m2/v0.6.13
Wilson matrix HRNVVZB3FJ
| URI | m2://inv/HRNVVZB3FJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilson matrix, Wilson matrix (definition). Also Wikidata Q112610109
History
- 2026-11-02: add by m2/dev
Hedberg's theorem HRNYTAFKXH
| URI | m2://inv/HRNYTAFKXH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.2/hedberg-s-theorem, Hedberg's theorem (concept). In N54F33XE07, index, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
Gaussian limit HRP09F97GX
| URI | m2://inv/HRP09F97GX |
|---|---|
| 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#VANK, Gaussian limit (statement). In A7HTYWJNCX/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Concentration around the characteristic HRP0T4N7P0
| URI | m2://inv/HRP0T4N7P0 |
|---|---|
| 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.02531#7VCR, Concentration around the characteristic (statement). In 44EQ0MZE8G/e1, lemma 8.5
History
- 2026-10-29: add by m2/v0.4.12
Distributional orderings of random variables HRP7610DV0
| URI | m2://inv/HRP7610DV0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26951#V5MC, Distributional orderings of random variables (definition)
History
- 2026-11-01: add by m2/v0.6.15
The uncentered branch HRPCJSG7NV
| URI | m2://inv/HRPCJSG7NV |
|---|---|
| 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.04357#AD03, The uncentered branch (statement). In 6FY8BVP1F3/e1, proposition K.15
History
- 2026-10-29: add by m2/v0.4.12
Myers's theorem HRPSVWR1HQ
| URI | m2://inv/HRPSVWR1HQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#N50X, Myers's theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition HRPWF2K2HG
| URI | m2://inv/HRPWF2K2HG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Length of a module#9LUP, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition HRPY0NQ03G
| URI | m2://inv/HRPY0NQ03G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hafnian#HHG7, Definition (definition)
History
- 2026-11-02: add by m2/dev
Rubik's Tesseract HRQ5AS41JP
| URI | m2://inv/HRQ5AS41JP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-dimensional sequential move puzzle#FL0K, Rubik's Tesseract (unknown)
History
- 2026-11-02: add by m2/dev
HRQ9TPB6CE HRQ9TPB6CE
| URI | m2://inv/HRQ9TPB6CE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21568#UZ4H (statement)
History
- 2026-11-02: add by m2/v0.6.18
Grassmannlike necklace HRQAVP9WXP
| URI | m2://inv/HRQAVP9WXP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#7R75, Grassmannlike necklace (definition). In 6G1KBA0SXV/e1, definition 2.9
History
- 2026-10-31: add by m2/v0.5.6
Homotopy group HRQE0GCQXE
| URI | m2://inv/HRQE0GCQXE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#57BE, Homotopy group (definition)
History
- 2026-11-02: add by m2/dev
Evgeny Moiseev HRQH0EVPM1
| URI | m2://inv/HRQH0EVPM1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evgeny Moiseev, Evgeny Moiseev (topic). Also Wikidata Q4299718
History
- 2026-11-02: add by m2/dev
HRQQ6B1NSY HRQQ6B1NSY
| URI | m2://inv/HRQQ6B1NSY |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-28 (proof). In VNMV985MXX, proof, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Examples HRQTF9MC6M
| URI | m2://inv/HRQTF9MC6M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Onsager–Machlup function#54A5, Examples (example)
History
- 2026-11-02: add by m2/dev
HRR0MVK8TC HRR0MVK8TC
| URI | m2://inv/HRR0MVK8TC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15593#L6ZV (definition). In PREJREM4BB/e1, definition 3.5
History
- 2026-10-28: add by m2/v0.4.2
decahedron HRR0N1A70D
| URI | m2://inv/HRR0N1A70D |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1183559, decahedron (unknown). Also MathWorld Decahedron
- wikipedia: Wikipedia Decahedron, Decahedron (object). Also Wikidata Q1183559
History
- 2026-10-26: add by m2/dev
Boolean domain HRR31BSWES
| URI | m2://inv/HRR31BSWES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#9DLF, Boolean domain (definition)
History
- 2026-11-02: add by m2/dev
Applications HRR3D7X6RY
| URI | m2://inv/HRR3D7X6RY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hierarchical Dirichlet process#H0X0, Applications (example)
History
- 2026-11-02: add by m2/dev
Wiener's attack HRRET3BBDK
| URI | m2://inv/HRRET3BBDK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener's attack, Wiener's attack (definition). Also Wikidata Q7999118
History
- 2026-11-02: add by m2/dev
Low frequency estimate HRRHTCQ9M1
| URI | m2://inv/HRRHTCQ9M1 |
|---|---|
| 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 2608.19483#WE62, Low frequency estimate (statement). In M2PEDAF7AX/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
HRRK38JNEX HRRK38JNEX
| URI | m2://inv/HRRK38JNEX |
|---|---|
| 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.17825#1TVX (statement). In T0ADPX1S05/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.2
Distortion-policy relaxation and rounding HRRSGWB82W
| URI | m2://inv/HRRSGWB82W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09472#2HK5, Distortion-policy relaxation and rounding (statement). In 35925M9GJW/e1, theorem 9
History
- 2026-10-29: add by m2/v0.4.10
Chris Hull HRRSKJMPJY
| URI | m2://inv/HRRSKJMPJY |
|---|---|
| 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 Q45947, Chris Hull (unknown). Also nLab Christopher Hull
History
- 2026-10-26: add by m2/dev
HRRZM039B7 HRRZM039B7
| URI | m2://inv/HRRZM039B7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-4.xml#exercise-7 (exercise). In 649HGZKE96, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
HRS0Q5KGWE HRS0Q5KGWE
| URI | m2://inv/HRS0Q5KGWE |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#proof-2 (proof). In N54F33XE07, proof, section 8.4
History
- 2026-11-01: add by m2/v0.6.13
Blackwell–Tapia prize HRS51NBSTJ
| URI | m2://inv/HRS51NBSTJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blackwell–Tapia prize, Blackwell–Tapia prize (definition). Also Wikidata Q48968287
History
- 2026-11-02: add by m2/dev
First-order confluence to Laguerre of the second kind HRS962DXSH
| URI | m2://inv/HRS962DXSH |
|---|---|
| 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.22027#N53S, First-order confluence to Laguerre of the second kind (statement)
History
- 2026-11-02: add by m2/v0.6.17
Zack Fleishman HRSQMAWGY2
| URI | m2://inv/HRSQMAWGY2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#OR7Y, Zack Fleishman (unknown)
History
- 2026-11-02: add by m2/dev
General convolution formulas HRSRDP6P08
| URI | m2://inv/HRSRDP6P08 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convolution for optical broad-beam responses in scattering media#CM3S, General convolution formulas (statement)
History
- 2026-11-02: add by m2/dev
Luc Illusie HRSXHGEWFC
| URI | m2://inv/HRSXHGEWFC |
|---|---|
| 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 Q370871, Luc Illusie (unknown). Also nLab Luc Illusie
- wikipedia: Wikipedia Luc Illusie, Luc Illusie (topic). Also Wikidata Q370871
History
- 2026-10-26: add by m2/dev
Teleological bias HRT2V0JQD1
| URI | m2://inv/HRT2V0JQD1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#R7I4, Teleological bias (unknown)
History
- 2026-11-02: add by m2/dev
Chinese Mathematical Society HRTE6929HX
| URI | m2://inv/HRTE6929HX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#NRKK, Chinese Mathematical Society (unknown)
History
- 2026-11-02: add by m2/dev
HRTGG2XEFP HRTGG2XEFP
| URI | m2://inv/HRTGG2XEFP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.10747#QBOE (statement). In X0PS03QCG0/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
HRTJ766TCC HRTJ766TCC
| URI | m2://inv/HRTJ766TCC |
|---|---|
| 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.36389#75OT (statement). In N1S169J2MV/e1, theorem 0.5
History
- 2026-10-30: add by m2/v0.4.12
Anti-homography HRTSYF772J
| URI | m2://inv/HRTSYF772J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Collineation#XGSI, Anti-homography (unknown)
History
- 2026-11-02: add by m2/dev
Zero–one law HRTT9CGVA8
| URI | m2://inv/HRTT9CGVA8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#F6V5, Zero–one law (statement)
History
- 2026-11-02: add by m2/dev
TV convergence, dimension-dependent warm-up HRV10QKM99
| URI | m2://inv/HRV10QKM99 |
|---|---|
| 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.10640#YV3K, TV convergence, dimension-dependent warm-up (statement). In BAQVK6N0RD/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.10
Chernoff theorem HRV1TP91DN
| URI | m2://inv/HRV1TP91DN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16094#NB82, Chernoff theorem (statement). In RHBS9QDHC3/e1, theorem 2.6
History
- 2026-10-28: add by m2/v0.4.2
Laplacian operators in differential geometry HRVC84V7XN
| URI | m2://inv/HRVC84V7XN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#5WCD, Laplacian operators in differential geometry (definition)
History
- 2026-11-02: add by m2/dev
Dodecahedral graph HRVDHZCBB6
| URI | m2://inv/HRVDHZCBB6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular dodecahedron#C5EN, Dodecahedral graph (unknown)
History
- 2026-11-02: add by m2/dev
Leng--Sah--Sawhney, \LSSTheoremCitation HRVGPRNFY2
| URI | m2://inv/HRVGPRNFY2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11965#32CC, Leng--Sah--Sawhney, \LSSTheoremCitation (statement). In 48QX0QD0XR/e1, theorem 6.8
History
- 2026-10-28: add by m2/v0.4.3
Identification of the Fenchel--Rockafellar left-hand side HRVHKX02KG
| URI | m2://inv/HRVHKX02KG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01855#BNQ4, Identification of the Fenchel--Rockafellar left-hand side (statement). In MM8P5CJR18/e1, proposition C.10
History
- 2026-10-29: add by m2/v0.4.12
HRVPG4HKQE HRVPG4HKQE
| URI | m2://inv/HRVPG4HKQE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10233#8MI0 (statement). In QR9WE79ERQ/e1, lemma 8.9
History
- 2026-10-29: add by m2/v0.4.10
multiplicative subset HRVWZXGRT8
| URI | m2://inv/HRVWZXGRT8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#V82G, multiplicative subset (definition)
History
- 2026-11-02: add by m2/dev
Protected radius and exact resource bounds HRW0KD089Y
| URI | m2://inv/HRW0KD089Y |
|---|---|
| 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.15202#YQAD, Protected radius and exact resource bounds (statement). In X1FPG0KYBM/e1, lemma M.2
History
- 2026-10-28: add by m2/v0.4.2
HRW0RZVMHE HRW0RZVMHE
| URI | m2://inv/HRW0RZVMHE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20386#E7VC (example). In 4WC4V49KAC/e1, example 1.11
History
- 2026-10-27: add by m2/v0.4.2
HRW19P19YV HRW19P19YV
| URI | m2://inv/HRW19P19YV |
|---|---|
| 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.32829#J0AX (statement). In RYWAX33Z51/e1, lemma F.1
History
- 2026-10-31: add by m2/v0.5.6
Directional derivative bounds on separated leaves HRW400FRAY
| URI | m2://inv/HRW400FRAY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#53I6, Directional derivative bounds on separated leaves (statement). In ZZER8ZBSCR/e1, lemma 5.27
History
- 2026-10-29: add by m2/v0.4.12
HRW63G489E HRW63G489E
| URI | m2://inv/HRW63G489E |
|---|---|
| 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 2410.06319#E1VM (statement). In 48AVW2CYCR/e1, corollary 4
History
- 2026-10-27: add by m2/v0.3.6
Explicit formula HRW7FW99SX
| URI | m2://inv/HRW7FW99SX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divided differences#H3K5, Explicit formula (statement)
History
- 2026-11-02: add by m2/dev
Glasser's master theorem HRW8XXMJWR
| URI | m2://inv/HRW8XXMJWR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glasser's master theorem, Glasser's master theorem (statement). Also Wikidata Q42377819
History
- 2026-11-02: add by m2/dev
A Mathematical Theory of Communication HRWD796JJ5
| URI | m2://inv/HRWD796JJ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A Mathematical Theory of Communication, A Mathematical Theory of Communication (definition). Also Wikidata Q724029
History
- 2026-11-02: add by m2/dev
HRWM26J025 HRWM26J025
| URI | m2://inv/HRWM26J025 |
|---|---|
| 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 2205.15365#XOZ3 (statement). In R2XC1SC9NZ/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
HRWRA8XH9T HRWRA8XH9T
| URI | m2://inv/HRWRA8XH9T |
|---|---|
| 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.18017#XNCB (example). In EBSQEQYECS/e1, example 4
History
- 2026-10-28: add by m2/v0.4.2
HRWXEPGSTE HRWXEPGSTE
| URI | m2://inv/HRWXEPGSTE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-67 (exercise). In E59CDZA4DP, exercise, section 2.5.4
History
- 2026-11-01: add by m2/v0.6.13
HRX0AH80VY HRX0AH80VY
| URI | m2://inv/HRX0AH80VY |
|---|---|
| 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 2610.19854#E7JP (statement). In D50WST4CG3/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
Definition HRX5V2XD04
| URI | m2://inv/HRX5V2XD04 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laminar set family#D9SX, Definition (definition)
History
- 2026-11-02: add by m2/dev
Dolbeault cohomology HRX6F089HA
| URI | m2://inv/HRX6F089HA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#JYCA, Dolbeault cohomology (definition)
History
- 2026-11-02: add by m2/dev
Smoothed Elliptic Gamma Cochain HRXK5VR9V1
| URI | m2://inv/HRXK5VR9V1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10365#5QG1, Smoothed Elliptic Gamma Cochain (definition). In PRVQPSBVHK/e1, definition 10
History
- 2026-10-29: add by m2/v0.4.10
HRXM1BB4RY HRXM1BB4RY
| URI | m2://inv/HRXM1BB4RY |
|---|---|
| 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 2407.08976#FFK4 (statement). In ZVNM9X4NNG/e1, lemma 17
History
- 2026-10-27: add by m2/v0.3.5
Becker–Morduchow–Libby solution HRXSQSR7EN
| URI | m2://inv/HRXSQSR7EN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Becker–Morduchow–Libby solution, Becker–Morduchow–Libby solution (definition). Also Wikidata Q127260131
History
- 2026-11-02: add by m2/dev
HRY64CCDTM HRY64CCDTM
| URI | m2://inv/HRY64CCDTM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06707#D3DI (statement). In 9TR5E527P5/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.10
HRY6FTDKSA HRY6FTDKSA
| URI | m2://inv/HRY6FTDKSA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_exercises.ptx#ex_genfunction_ineq-messy (exercise). In QKM9DD2H56, exercise, section 8
History
- 2026-11-01: add by m2/v0.6.13
Flag-waving HRYAFSWCTD
| URI | m2://inv/HRYAFSWCTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flag-waving, Flag-waving (definition). Also Wikidata Q17014065
History
- 2026-11-02: add by m2/dev
Mitchell Feigenbaum HRYCDBMC5R
| URI | m2://inv/HRYCDBMC5R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mitchell Feigenbaum, Mitchell Feigenbaum (topic). Also Wikidata Q354659
History
- 2026-11-02: add by m2/dev
HRYNJSY2XV HRYNJSY2XV
| URI | m2://inv/HRYNJSY2XV |
|---|---|
| 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.38844#28JP (statement). In PX8D91DQCX/e1, corollary 4.2
History
- 2026-10-30: add by m2/v0.4.12
HRYQYSGKXC HRYQYSGKXC
| URI | m2://inv/HRYQYSGKXC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25656#QG6N (statement)
History
- 2026-11-01: add by m2/v0.6.15
CC system HRYS98T3MM
| URI | m2://inv/HRYS98T3MM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CC system, CC system (definition). Also Wikidata Q5009765
History
- 2026-11-02: add by m2/dev
Gaspard Monge HRYZ82A8HR
| URI | m2://inv/HRYZ82A8HR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#E7O9, Gaspard Monge (topic)
History
- 2026-11-02: add by m2/dev
HRYZNF4B5J HRYZNF4B5J
| URI | m2://inv/HRYZNF4B5J |
|---|---|
| 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#U0E5 (statement). In 5AB8YPS19N/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
Roland Schwänzl HRZ77Q3W3J
| URI | m2://inv/HRZ77Q3W3J |
|---|---|
| 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 Q2163035, Roland Schwänzl (unknown). Also nLab Roland Schwänzl
History
- 2026-10-26: add by m2/dev
HRZAJFJXAJ HRZAJFJXAJ
| URI | m2://inv/HRZAJFJXAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/transpose.tex#definition-1 (definition). In RZP28ERRZV, definition, section 61.1
History
- 2026-11-01: add by m2/v0.6.13
Yuli Rudyak HRZASHZJ7S
| URI | m2://inv/HRZASHZJ7S |
|---|---|
| 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 Q8060923, Yuli Rudyak (unknown). Also nLab Yuli Rudyak
- wikipedia: Wikipedia Yuli Rudyak, Yuli Rudyak (topic). Also Wikidata Q8060923
History
- 2026-10-26: add by m2/dev
HRZQA6ZZ3H HRZQA6ZZ3H
| URI | m2://inv/HRZQA6ZZ3H |
|---|---|
| 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.30090#BNB9 (statement)
History
- 2026-11-01: add by m2/v0.6.15