Inventory rows HM
The cards of the rows of the inventory whose ids start with HM. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Rectified prism HM04B8NDBS
| URI | m2://inv/HM04B8NDBS |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified prism, Rectified prism (object). Also Wikidata Q60788536
History
- 2026-11-02: add by m2/dev
What censored transcripts identify HM0BXXZTP0
| URI | m2://inv/HM0BXXZTP0 |
|---|---|
| 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.11007#ACSX, What censored transcripts identify (statement). In MF0H78XZXC/e1, theorem C.5
History
- 2026-10-28: add by m2/v0.4.3
Baudhayana HM0GWD33AP
| URI | m2://inv/HM0GWD33AP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#R30Z, Baudhayana (topic)
History
- 2026-11-02: add by m2/dev
HM0HY77HFQ HM0HY77HFQ
| URI | m2://inv/HM0HY77HFQ |
|---|---|
| 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.39793#BSZ2 (statement). In 380M45ANWF/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Epitrochoid HM0NCX2RTE
| URI | m2://inv/HM0NCX2RTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#DRY6, Epitrochoid (definition)
- wikipedia: Wikipedia List of mathematical shapes#T7T1, Epitrochoid (definition)
- wikipedia: Wikipedia List of periodic functions#1E59, Epitrochoid (definition)
- wikipedia: Wikipedia List of curves#M4HX, Epitrochoid (definition)
History
- 2026-11-02: add by m2/dev
David E. Rowe HM0SDY6DRE
| URI | m2://inv/HM0SDY6DRE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#P0Y7, David E. Rowe (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#L3C8, David E. Rowe (unknown)
History
- 2026-11-02: add by m2/dev
HM0WN850SX HM0WN850SX
| URI | m2://inv/HM0WN850SX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04874#3E1B (statement). In X365951S4Q/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
HM1C14A8DZ HM1C14A8DZ
| URI | m2://inv/HM1C14A8DZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.02634#VS89 (statement). In EZ6PAF0MXH/e1, proposition 6.2
History
- 2026-10-27: add by m2/v0.3.5
Ulf Grenander HM1MJBTXP4
| URI | m2://inv/HM1MJBTXP4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ulf Grenander, Ulf Grenander (topic). Also Wikidata Q3566428
History
- 2026-11-02: add by m2/dev
Cédric Villani HM1N4CFCN9
| URI | m2://inv/HM1N4CFCN9 |
|---|---|
| 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 Q334065, Cédric Villani (unknown). Also nLab Cédric Villani
- wikipedia: Wikipedia Cédric Villani, Cédric Villani (topic). Also Wikidata Q334065
History
- 2026-10-26: add by m2/dev
B HM1TA5CHH8
| URI | m2://inv/HM1TA5CHH8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#685K, B (definition)
History
- 2026-11-02: add by m2/dev
Vantieghems theorem HM2BCCVAA1
| URI | m2://inv/HM2BCCVAA1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#8PA9, Vantieghems theorem (statement)
History
- 2026-11-02: add by m2/dev
Solomon four-group design HM2E6SDZR8
| URI | m2://inv/HM2E6SDZR8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solomon four-group design, Solomon four-group design (definition). Also Wikidata Q25054349
History
- 2026-11-02: add by m2/dev
Monotonicity for the dual-cone order HM2FR88RQ6
| URI | m2://inv/HM2FR88RQ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32710#9CX1, Monotonicity for the dual-cone order (statement). In KVYG6R7CGJ/e1, lemma 5.1
History
- 2026-10-31: add by m2/v0.5.6
Theorem HM2H6F0KPS
| URI | m2://inv/HM2H6F0KPS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fine and Wilf's theorem#W2FR, Theorem (statement)
History
- 2026-11-02: add by m2/dev
HM2KCHT076 HM2KCHT076
| URI | m2://inv/HM2KCHT076 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/taylor.tex#definition-1 (definition). In RZP28ERRZV, definition, section 34.2
History
- 2026-11-01: add by m2/v0.6.13
Non-linear least squares HM2N5J4A8J
| URI | m2://inv/HM2N5J4A8J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-linear least squares, Non-linear least squares (definition). Also Wikidata Q3319230
History
- 2026-11-02: add by m2/dev
Cauchy product HM2SKV8QQM
| URI | m2://inv/HM2SKV8QQM |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 4 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Cauchy product 0RVD9R2V99 |
Mentions
- mathlib_1000: mathlib_1000 Q1051404, Cesàro's theorem (statement). Also Wikidata Q1051404
- thousand_plus: thousand_plus Q1051404, Cesàro's theorem (statement). Also Wikidata Q1051404, Wikipedia Cesàro's theorem
- wikidata: Wikidata Q1051404, Cauchy product (concept). Also MathWorld CauchyProduct
- wikipedia: Wikipedia Cauchy product, Cauchy product (definition). Also Wikidata Q1051404
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Luigi Sante Da Rios HM2VC4RJ51
| URI | m2://inv/HM2VC4RJ51 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#9AYE, Luigi Sante Da Rios (topic)
History
- 2026-11-02: add by m2/dev
Patrick Ion HM33WWM0CA
| URI | m2://inv/HM33WWM0CA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Patrick Ion, Patrick Ion (topic). Also Wikidata Q19945928
History
- 2026-11-02: add by m2/dev
distributive category HM39DZKZ8B
| URI | m2://inv/HM39DZKZ8B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5283210, distributive category (unknown). Also nLab distributive category
- wikipedia: Wikipedia Distributive category, Distributive category (definition). Also Wikidata Q5283210
History
- 2026-10-26: add by m2/dev
Examples HM3M810NPW
| URI | m2://inv/HM3M810NPW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Narrow class group#KC9V, Examples (example)
History
- 2026-11-02: add by m2/dev
convention T HM3TYY83B5
| URI | m2://inv/HM3TYY83B5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#KU9E, convention T (definition)
History
- 2026-11-02: add by m2/dev
population parameter HM3Y3XEM82
| URI | m2://inv/HM3Y3XEM82 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#XDV0, population parameter (definition)
History
- 2026-11-02: add by m2/dev
Graeme Segal HM4HK4NGTN
| URI | m2://inv/HM4HK4NGTN |
|---|---|
| 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 Q1398998, Graeme Segal (unknown). Also nLab Graeme Segal
- wikipedia: Wikipedia Graeme Segal, Graeme Segal (topic). Also Wikidata Q1398998
History
- 2026-10-26: add by m2/dev
HM4TXS536T HM4TXS536T
| URI | m2://inv/HM4TXS536T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26723#PKU6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
HM4ZKW2BYK HM4ZKW2BYK
| URI | m2://inv/HM4ZKW2BYK |
|---|---|
| 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 2609.31478#ZCHM (statement). In 56P0XQZZ3D/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
HM56YZQ517 HM56YZQ517
| URI | m2://inv/HM56YZQ517 |
|---|---|
| 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.23779#1PJI (statement)
History
- 2026-11-02: add by m2/v0.6.17
HM59EHZ8NQ HM59EHZ8NQ
| URI | m2://inv/HM59EHZ8NQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#FFXQ (statement). In JW8HH6EPG2/e1, theorem 1.7
History
- 2026-10-29: add by m2/v0.4.10
HM5C3YNE1M HM5C3YNE1M
| URI | m2://inv/HM5C3YNE1M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40355#4111 (statement). In SBP98GWKC8/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Properties HM5HP4B4CB
| URI | m2://inv/HM5HP4B4CB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Velocity-addition formula#OGG9, Properties (statement)
History
- 2026-11-02: add by m2/dev
Feature operators HM5N9E8E60
| URI | m2://inv/HM5N9E8E60 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#IA7U, Feature operators (statement). In JY6RYSNXMJ/e1, lemma 4
History
- 2026-10-29: add by m2/v0.4.10
Mieczysław Warmus HM5WBP5TR2
| URI | m2://inv/HM5WBP5TR2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mieczysław Warmus, Mieczysław Warmus (topic). Also Wikidata Q3857096
History
- 2026-11-02: add by m2/dev
HM5YCBJ948 HM5YCBJ948
| URI | m2://inv/HM5YCBJ948 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28742#SVR9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Principles of Grid Generation HM60AYN8B2
| URI | m2://inv/HM60AYN8B2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mesh generation#HIMJ, Principles of Grid Generation (unknown)
History
- 2026-11-02: add by m2/dev
Andrew Wiles HM6B3A6VW2
| URI | m2://inv/HM6B3A6VW2 |
|---|---|
| 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 Q184433, Andrew Wiles (unknown). Also nLab Andrew Wiles
- wikipedia: Wikipedia Andrew Wiles, Andrew Wiles (topic). Also Wikidata Q184433
History
- 2026-10-26: add by m2/dev
HM6D7MK6JW HM6D7MK6JW
| URI | m2://inv/HM6D7MK6JW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-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.22058#ZM00 (statement)
History
- 2026-11-02: add by m2/v0.6.17
conclusion HM6P5MWPFW
| URI | m2://inv/HM6P5MWPFW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#HBYZ, conclusion (definition)
History
- 2026-11-02: add by m2/dev
HM6QA6YNNF HM6QA6YNNF
| URI | m2://inv/HM6QA6YNNF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15434#H9SC (statement). In PWF23QSGDX/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
List of combinatorial computational geometry topics HM6QGX914D
| URI | m2://inv/HM6QGX914D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of combinatorial computational geometry topics, List of combinatorial computational geometry topics (topic). Also Wikidata Q6611828
History
- 2026-11-02: add by m2/dev
HM6RZNH3N0 HM6RZNH3N0
| URI | m2://inv/HM6RZNH3N0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37704#UO0X (statement). In HGTFJ325A4/e1, proposition 4.5
History
- 2026-10-30: add by m2/v0.4.12
Replica trick HM6S8G07B7
| URI | m2://inv/HM6S8G07B7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Replica trick, Replica trick (definition). Also Wikidata Q503658
History
- 2026-11-02: add by m2/dev
HM6TY1RPW5 HM6TY1RPW5
| URI | m2://inv/HM6TY1RPW5 |
|---|---|
| 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#NPHM (statement). In 6FH24CYAMW/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
HM6VXQM72W HM6VXQM72W
| URI | m2://inv/HM6VXQM72W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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.39845#9VL1 (statement). In RK8DFVGQP1/e1, proposition 25
History
- 2026-10-30: add by m2/v0.4.12
Rank four HM6VYKSP09
| URI | m2://inv/HM6VYKSP09 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24541#WIEZ, Rank four (example)
History
- 2026-11-01: add by m2/v0.6.15
Definitions HM6YHCEPV7
| URI | m2://inv/HM6YHCEPV7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential distribution#OAV3, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Ordered subset expectation maximization HM730C29AB
| URI | m2://inv/HM730C29AB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CA9I, Ordered subset expectation maximization (definition)
History
- 2026-11-02: add by m2/dev
HM74H6JWST HM74H6JWST
| URI | m2://inv/HM74H6JWST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/consistency.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 50.1
History
- 2026-11-01: add by m2/v0.6.13
HM75W372TN HM75W372TN
| URI | m2://inv/HM75W372TN |
|---|---|
| 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 2411.16655#1Y5P (statement). In EJHAXRV685/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.3.5
HM7AGTZ8CQ HM7AGTZ8CQ
| URI | m2://inv/HM7AGTZ8CQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15720#LK1I (statement). In VNN52G3BRE/e1, proposition 8.2
History
- 2026-10-28: add by m2/v0.4.2
HM7D4F7FV3 HM7D4F7FV3
| URI | m2://inv/HM7D4F7FV3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#X6JW (statement). In RTE2C0PH4S/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
HM7NPS6P2T HM7NPS6P2T
| URI | m2://inv/HM7NPS6P2T |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04809#0XW6 (problem). In 2VHV0RNTNV/e1, problem 10.4
History
- 2026-10-29: add by m2/v0.4.12
HM88ZR9131 HM88ZR9131
| URI | m2://inv/HM88ZR9131 |
|---|---|
| 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.27699#0990 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Andreas Brandstädt HM8BKC4BSN
| URI | m2://inv/HM8BKC4BSN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andreas Brandstädt, Andreas Brandstädt (topic). Also Wikidata Q22958613
History
- 2026-11-02: add by m2/dev
HM8BZG4Y4H HM8BZG4Y4H
| URI | m2://inv/HM8BZG4Y4H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-sheaf.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 27.1
History
- 2026-11-01: add by m2/v0.6.13
Arakawa–Kaneko zeta function HM8CFQ2MD6
| URI | m2://inv/HM8CFQ2MD6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of zeta functions#0D9R, Arakawa–Kaneko zeta function (definition)
History
- 2026-11-02: add by m2/dev
HM8GABE0J9 HM8GABE0J9
| URI | m2://inv/HM8GABE0J9 |
|---|---|
| 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.28495#WXXI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Buffer analysis HM8HMPNPMZ
| URI | m2://inv/HM8HMPNPMZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Buffer analysis, Buffer analysis (definition). Also Wikidata Q4167103
History
- 2026-11-02: add by m2/dev
Presburger arithmetic HM8V26MR2F
| URI | m2://inv/HM8V26MR2F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#9LGI, Presburger arithmetic (definition)
- wikipedia: Wikipedia List of computability and complexity topics#NRH5, Presburger arithmetic (definition)
History
- 2026-11-02: add by m2/dev
HM93NQEPNN HM93NQEPNN
| URI | m2://inv/HM93NQEPNN |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#proof-25 (proof). In E59CDZA4DP, proof, section 4.5.2
History
- 2026-11-01: add by m2/v0.6.13
HM94MYM3C8 HM94MYM3C8
| URI | m2://inv/HM94MYM3C8 |
|---|---|
| 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.08912#S5V5 (statement). In DK5QY64NGH/e1, lemma 6.4
History
- 2026-10-29: add by m2/v0.4.10
Pawel Sobocinski HM96QNSRX7
| URI | m2://inv/HM96QNSRX7 |
|---|---|
| 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 Q93944832, Pawel Sobocinski (unknown). Also nLab Pawel Sobocinski
History
- 2026-10-26: add by m2/dev
HM9CETFX98 HM9CETFX98
| URI | m2://inv/HM9CETFX98 |
|---|---|
| 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.06556#KO25 (statement). In KW8C7VE9XR/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.10
Decagrammic prism HM9CYYC7KA
| URI | m2://inv/HM9CYYC7KA |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#FW8H, Decagrammic prism (object)
History
- 2026-11-02: add by m2/dev
HM9FGN3AG1 HM9FGN3AG1
| URI | m2://inv/HM9FGN3AG1 |
|---|---|
| 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 1011.5443#730I (definition). In VQ0K2GV62A/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.3.5
Central Agency for Public Mobilization and Statistics HM9HEH6B4T
| URI | m2://inv/HM9HEH6B4T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Central Agency for Public Mobilization and Statistics, Central Agency for Public Mobilization and Statistics (definition). Also Wikidata Q5014351
History
- 2026-11-02: add by m2/dev
Implementation HM9PVNYBBQ
| URI | m2://inv/HM9PVNYBBQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional additive model#ZI29, Implementation (definition)
History
- 2026-11-02: add by m2/dev
1031 (number) HM9V2VJGYB
| URI | m2://inv/HM9V2VJGYB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1000 (number)#FQI4, 1031 (number) (unknown)
History
- 2026-11-02: add by m2/dev
HM9VWNEHNP HM9VWNEHNP
| URI | m2://inv/HM9VWNEHNP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09319#68XO (statement). In GMRT5GHBZS/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
Gilbreath's conjecture HMA82BTGHP
| URI | m2://inv/HMA82BTGHP |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#OSCP, Gilbreath's conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Rickman, John HMAXFK3EEQ
| URI | m2://inv/HMAXFK3EEQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#TBDH, Rickman, John (unknown)
History
- 2026-11-02: add by m2/dev
commutant HMB17DXMQS
| URI | m2://inv/HMB17DXMQS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#X1G0, commutant (definition)
History
- 2026-11-02: add by m2/dev
Applications HMB1CC1PT1
| URI | m2://inv/HMB1CC1PT1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mutually orthogonal Latin squares#J1MK, Applications (example)
History
- 2026-11-02: add by m2/dev
Savitch's theorem HMB4RJHXSS
| URI | m2://inv/HMB4RJHXSS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complexity class#LAKU, Savitch's theorem (statement)
History
- 2026-11-02: add by m2/dev
Theorem HMB8DBC4J5
| URI | m2://inv/HMB8DBC4J5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf bifurcation#QWBK, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Anna Fino HMB9XY6V42
| URI | m2://inv/HMB9XY6V42 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anna Fino, Anna Fino (topic). Also Wikidata Q102230973
History
- 2026-11-02: add by m2/dev
Australian Bureau of Statistics HMBAWPV2AD
| URI | m2://inv/HMBAWPV2AD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Australian Bureau of Statistics, Australian Bureau of Statistics (definition). Also Wikidata Q123347
History
- 2026-11-02: add by m2/dev
Example HMBF3BQP0E
| URI | m2://inv/HMBF3BQP0E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann sum#DYS8, Example (example)
History
- 2026-11-02: add by m2/dev
Demographic history of the world HMBK3XX53Q
| URI | m2://inv/HMBK3XX53Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of the world#2W2D, Demographic history of the world (unknown)
History
- 2026-11-02: add by m2/dev
HMBMR1H6WB HMBMR1H6WB
| URI | m2://inv/HMBMR1H6WB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33805#B6C9 (statement). In XM98BX97RT/e1, lemma A.4
History
- 2026-10-30: add by m2/v0.4.12
Connecting lemma HMBMRVQHP6
| URI | m2://inv/HMBMRVQHP6 |
|---|---|
| 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.35766#OJ58, Connecting lemma (statement). In 6638EFW1NG/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Non-example HMBMSVXA1A
| URI | m2://inv/HMBMSVXA1A |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear form#OI65, Non-example (counterexample)
History
- 2026-11-02: add by m2/dev
HMBPZWA6Z9 HMBPZWA6Z9
| URI | m2://inv/HMBPZWA6Z9 |
|---|---|
| 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 math/9602216#DAJB (definition). In SD43497T8C/e1, definition 1.17
History
- 2026-10-27: add by m2/v0.3.5
HMBRTD72XE HMBRTD72XE
| URI | m2://inv/HMBRTD72XE |
|---|---|
| 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 2609.29671#ZJXK (definition)
History
- 2026-11-01: add by m2/v0.6.15
Tiger Math HMBV01SWNX
| URI | m2://inv/HMBV01SWNX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Animal Math#ENFX, Tiger Math (unknown)
History
- 2026-11-02: add by m2/dev
Linear cryptanalysis HMBWJQ94QP
| URI | m2://inv/HMBWJQ94QP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear cryptanalysis, Linear cryptanalysis (definition). Also Wikidata Q1826463
History
- 2026-11-02: add by m2/dev
HMBXCGVHJ1 HMBXCGVHJ1
| URI | m2://inv/HMBXCGVHJ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02166#F8IL (statement). In R6RF3P6D5A/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
HMC5S8Q7ZW HMC5S8Q7ZW
| URI | m2://inv/HMC5S8Q7ZW |
|---|---|
| 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.16631#PAV2 (statement). In T735PRQNJB/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
HMC5T4ZK9F HMC5T4ZK9F
| URI | m2://inv/HMC5T4ZK9F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10406#LDB3 (statement). In VQA35Q7C00/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10
Riemann invariant HMCGVP88S9
| URI | m2://inv/HMCGVP88S9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#KLGN, Riemann invariant (definition)
- wikipedia: Wikipedia List of things named after Bernhard Riemann#NVPN, Riemann invariant (definition)
History
- 2026-11-02: add by m2/dev
Gain margin HMCH1RSWEV
| URI | m2://inv/HMCH1RSWEV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bode plot#R463, Gain margin (unknown)
History
- 2026-11-02: add by m2/dev
HMCPEF6G1J HMCPEF6G1J
| URI | m2://inv/HMCPEF6G1J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05391#XGAJ (statement). In 9B5TNEBJHV/e1, corollary 2.29
History
- 2026-10-29: add by m2/v0.4.10
Algorithms HMCPX6C0D8
| URI | m2://inv/HMCPX6C0D8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conway's Game of Life#8ZBR, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Louis Auslander HMCSHNQ841
| URI | m2://inv/HMCSHNQ841 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#2G6P, Louis Auslander (topic)
History
- 2026-11-02: add by m2/dev
Serre's vanishing theorem HMCVTAGP2W
| URI | m2://inv/HMCVTAGP2W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jean-Pierre Serre#UEZB, Serre's vanishing theorem (definition)
History
- 2026-11-02: add by m2/dev
HMCWAQSXKK HMCWAQSXKK
| URI | m2://inv/HMCWAQSXKK |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
HMCY0KQ9PV HMCY0KQ9PV
| URI | m2://inv/HMCY0KQ9PV |
|---|---|
| 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.26401#U1FY (statement)
History
- 2026-11-01: add by m2/v0.6.15
HMCY2Z0618 HMCY2Z0618
| URI | m2://inv/HMCY2Z0618 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#lem-1 (statement). In N54F33XE07, lem, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
Texas sharpshooter fallacy HMDBGN4NJC
| URI | m2://inv/HMDBGN4NJC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Texas sharpshooter fallacy, Texas sharpshooter fallacy (definition). Also Wikidata Q199024
History
- 2026-11-02: add by m2/dev
generalized continuum hypothesis HMDBHM2DZX
| URI | m2://inv/HMDBHM2DZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#U9PP, generalized continuum hypothesis (definition)
History
- 2026-11-02: add by m2/dev
HMDBHTQBGC HMDBHTQBGC
| URI | m2://inv/HMDBHTQBGC |
|---|---|
| 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.10570#AKBB (statement). In V0MA250K2P/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
Theorem HMDEXXC6BN
| URI | m2://inv/HMDEXXC6BN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extensions of symmetric operators#N14A, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Friedrich Schur HMDJJ8JAJW
| URI | m2://inv/HMDJJ8JAJW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedrich Schur, Friedrich Schur (topic). Also Wikidata Q78136
History
- 2026-11-02: add by m2/dev
HMDNPG4X6C HMDNPG4X6C
| URI | m2://inv/HMDNPG4X6C |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.22607#LKOF (example). In 6GT33A43SY/e1, example 4.2
History
- 2026-10-27: add by m2/v0.3.5
HMDRZYCYKX HMDRZYCYKX
| URI | m2://inv/HMDRZYCYKX |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#R7WX (unknown). In QNBFHFZ3H0/e1, unknown 106
History
- 2026-10-28: add by m2/v0.4.2
Tanaka equation HMDZ7ACK0D
| URI | m2://inv/HMDZ7ACK0D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tanaka equation, Tanaka equation (definition). Also Wikidata Q7682254
History
- 2026-11-02: add by m2/dev
571 (number) HME0HWZ57W
| URI | m2://inv/HME0HWZ57W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#UHFH, 571 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Quantum network HME42AMJ9E
| URI | m2://inv/HME42AMJ9E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum network, Quantum network (definition). Also Wikidata Q836478
History
- 2026-11-02: add by m2/dev
Definition HME48ZFKFB
| URI | m2://inv/HME48ZFKFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standard probability space#AY7C, Definition (definition)
History
- 2026-11-02: add by m2/dev
HME94YKRX4 HME94YKRX4
| URI | m2://inv/HME94YKRX4 |
|---|---|
| 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.03477#927M (statement). In GXN3D4G4HE/e1, fact 2.3
History
- 2026-10-29: add by m2/v0.4.12
HMEBA5A0A1 HMEBA5A0A1
| URI | m2://inv/HMEBA5A0A1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.21914#TLPK (statement)
History
- 2026-11-02: add by m2/v0.6.17
Rename (relational algebra) HMECP1XGDE
| URI | m2://inv/HMECP1XGDE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relational algebra#R637, Rename (relational algebra) (unknown)
History
- 2026-11-02: add by m2/dev
HMED8W7SP0 HMED8W7SP0
| URI | m2://inv/HMED8W7SP0 |
|---|---|
| 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.34856#C7MT (statement). In MRR92GQNZE/e1, lemma 5.17
History
- 2026-10-30: add by m2/v0.4.12
Harald Garcke HMEHXWF8JT
| URI | m2://inv/HMEHXWF8JT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harald Garcke, Harald Garcke (topic). Also Wikidata Q21325799
History
- 2026-11-02: add by m2/dev
Theorem provers HMEM125EQE
| URI | m2://inv/HMEM125EQE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reasoning system#OCYH, Theorem provers (statement)
History
- 2026-11-02: add by m2/dev
Positive-kernel return theorem HMEMC2RDBB
| URI | m2://inv/HMEMC2RDBB |
|---|---|
| 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.16351#HCCV, Positive-kernel return theorem (statement). In 1QSV7EQE3T/e1, theorem S24
History
- 2026-10-28: add by m2/v0.4.2
Polynomial bounds on a sampled ray HMF3RES9FF
| URI | m2://inv/HMF3RES9FF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37704#RRJW, Polynomial bounds on a sampled ray (statement). In HGTFJ325A4/e1, lemma 6.3
History
- 2026-10-30: add by m2/v0.4.12
HMF5HKD6P3 HMF5HKD6P3
| URI | m2://inv/HMF5HKD6P3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/functors.tex#definition-6 (definition). In RZP28ERRZV, definition, section 37.7
History
- 2026-11-01: add by m2/v0.6.13
HMF7T29F9T HMF7T29F9T
| URI | m2://inv/HMF7T29F9T |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#ERQ7 (conjecture)
History
- 2026-11-02: add by m2/v0.6.18
Network probability matrix HMFCYB4S2J
| URI | m2://inv/HMFCYB4S2J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Network probability matrix, Network probability matrix (definition). Also Wikidata Q7001168
History
- 2026-11-02: add by m2/dev
Modulus dependent theorems HMFPBWDCFZ
| URI | m2://inv/HMFPBWDCFZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theta function#FMEL, Modulus dependent theorems (statement)
History
- 2026-11-02: add by m2/dev
HMFW8SA082 HMFW8SA082
| URI | m2://inv/HMFW8SA082 |
|---|---|
| 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.21489#50AC (statement). In R0Q0RV8XCF/e1, theorem 3.7
History
- 2026-10-27: add by m2/v0.4.2
endofunctor HMFX5FF89X
| URI | m2://inv/HMFX5FF89X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#5HWG, endofunctor (definition)
History
- 2026-11-02: add by m2/dev
HMGCM8EMV4 HMGCM8EMV4
| URI | m2://inv/HMGCM8EMV4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01247#6RZJ (example). In 6EVNCRZ118/e1, example 21
History
- 2026-10-29: add by m2/v0.4.12
A competitive schedule and its mesh bound HMGJNK43AS
| URI | m2://inv/HMGJNK43AS |
|---|---|
| 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.10393#WLNS, A competitive schedule and its mesh bound (statement). In ZGS97E3PB7/e1, lemma C.3
History
- 2026-10-29: add by m2/v0.4.10
HMGK43KFP7 HMGK43KFP7
| URI | m2://inv/HMGK43KFP7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12489#N1W9 (example). In FDWFVD08SE/e1, example 2.1
History
- 2026-10-28: add by m2/v0.4.2
Graph embedding version of counting lemma HMH08DRJSK
| URI | m2://inv/HMH08DRJSK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Counting lemma#B80L, Graph embedding version of counting lemma (statement)
History
- 2026-11-02: add by m2/dev
Gustaf Eneström HMH3TVK5SM
| URI | m2://inv/HMH3TVK5SM |
|---|---|
| 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#IGLF, Gustaf Eneström (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RKOC, Gustaf Eneström (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UH6V, Gustaf Eneström (topic)
History
- 2026-11-02: add by m2/dev
Definition HMH6RHWZ9M
| URI | m2://inv/HMH6RHWZ9M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structure (mathematical logic)#E3HF, Definition (definition)
History
- 2026-11-02: add by m2/dev
HMH8DFZFK0 HMH8DFZFK0
| URI | m2://inv/HMH8DFZFK0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10591#H4UC (statement). In FTEA0TM35J/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
Sociedad Ecuatoriana de Matemática HMH8HFQEN4
| URI | m2://inv/HMH8HFQEN4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#HSAU, Sociedad Ecuatoriana de Matemática (unknown)
History
- 2026-11-02: add by m2/dev
Examples HMH8VTF6J4
| URI | m2://inv/HMH8VTF6J4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov property#FY2A, Examples (example)
History
- 2026-11-02: add by m2/dev
Bernoulli obstruction HMHCF80P4P
| URI | m2://inv/HMHCF80P4P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15262#C6JI, Bernoulli obstruction (statement). In C44HVXWYRF/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Deleting on non-compliance is value-blind HMHF879HD3
| URI | m2://inv/HMHF879HD3 |
|---|---|
| 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.11007#11MN, Deleting on non-compliance is value-blind (statement). In MF0H78XZXC/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.3
Bill Buchanan HMHH25T7YK
| URI | m2://inv/HMHH25T7YK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#ODFB, Bill Buchanan (unknown)
History
- 2026-11-02: add by m2/dev
Analyse-it HMHH7V54C6
| URI | m2://inv/HMHH7V54C6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YOTT, Analyse-it (definition)
History
- 2026-11-02: add by m2/dev
John Rinzel HMHRRM1023
| URI | m2://inv/HMHRRM1023 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YXJ3, John Rinzel (unknown)
History
- 2026-11-02: add by m2/dev
HMHRW3F8CM HMHRW3F8CM
| URI | m2://inv/HMHRW3F8CM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1009.3308#EKMI (statement). In KGBKNQB52Z/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
HMJ3EBYQ8P HMJ3EBYQ8P
| URI | m2://inv/HMJ3EBYQ8P |
|---|---|
| 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.21680#UQYA (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples HMJ3FYSTB2
| URI | m2://inv/HMJ3FYSTB2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrepancy of hypergraphs#INZ2, Examples (example)
History
- 2026-11-02: add by m2/dev
Ramiz Aliguliyev HMJ4P53YZB
| URI | m2://inv/HMJ4P53YZB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramiz Aliguliyev, Ramiz Aliguliyev (topic). Also Wikidata Q16373008
History
- 2026-11-02: add by m2/dev
HMJ827BRKW HMJ827BRKW
| URI | m2://inv/HMJ827BRKW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25307#UHOZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
HMJC3S6BZ3 HMJC3S6BZ3
| URI | m2://inv/HMJC3S6BZ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.07961#C9QQ (statement). In 4DK4VRKZVM/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
HMJC3WC0AA HMJC3WC0AA
| URI | m2://inv/HMJC3WC0AA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1512.06981#7GY1 (statement). In X923ZEY423/e1, lemma 1.1.1
History
- 2026-10-27: add by m2/v0.3.5
Incoherence of a Gaussian crowd HMJFWCP4X4
| URI | m2://inv/HMJFWCP4X4 |
|---|---|
| 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.04671#WFFK, Incoherence of a Gaussian crowd (statement). In BYP65TRGDT/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.12
HMJHXZVRQV HMJHXZVRQV
| URI | m2://inv/HMJHXZVRQV |
|---|---|
| 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.26357#0DB9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Harald Fritzsch HMJKNDWNN0
| URI | m2://inv/HMJKNDWNN0 |
|---|---|
| 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 Q105561, Harald Fritzsch (unknown). Also nLab Harald Fritzsch
History
- 2026-10-26: add by m2/dev
Definition HMJXN0Y5S7
| URI | m2://inv/HMJXN0Y5S7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proper map#RF1V, Definition (definition)
History
- 2026-11-02: add by m2/dev
Robert Griess HMK9BKJ08V
| URI | m2://inv/HMK9BKJ08V |
|---|---|
| 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 Q2157373, Robert Griess (unknown). Also nLab Robert Griess
- wikipedia: Wikipedia Robert Griess, Robert Griess (topic). Also Wikidata Q2157373
History
- 2026-10-26: add by m2/dev
Statement HMKA5NG61G
| URI | m2://inv/HMKA5NG61G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Halperin conjecture#FXQZ, Statement (statement)
History
- 2026-11-02: add by m2/dev
HMKD1B2PBR HMKD1B2PBR
| URI | m2://inv/HMKD1B2PBR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#thm-4 (statement). In N54F33XE07, thm, section 7.5.3
History
- 2026-11-01: add by m2/v0.6.13
HMKDF13TZQ HMKDF13TZQ
| URI | m2://inv/HMKDF13TZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04694#BFSJ (statement). In W9A0Z2NBMA/e1, proposition 6
History
- 2026-10-29: add by m2/v0.4.12
Sabbagh--Eklof, 1971 HMKDVBEGZ8
| URI | m2://inv/HMKDVBEGZ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35682#0CYW, Sabbagh--Eklof, 1971 (statement). In 7XM8WXVBWK/e1, theorem 4.9
History
- 2026-10-30: add by m2/v0.4.12
High-probability Jacobian bounds HMKM1VMDD1
| URI | m2://inv/HMKM1VMDD1 |
|---|---|
| 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.05953#SS2R, High-probability Jacobian bounds (statement). In P3XHJ1VB8C/e1, corollary 15
History
- 2026-10-29: add by m2/v0.4.10
HMKMVNSWEQ HMKMVNSWEQ
| URI | m2://inv/HMKMVNSWEQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32650#8M47 (statement). In PHXJ87HKYB/e1, theorem 2.1
History
- 2026-10-31: add by m2/v0.5.6
HMM0K1X1B6 HMM0K1X1B6
| URI | m2://inv/HMM0K1X1B6 |
|---|---|
| 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 2509.05577#KHMW (statement). In EFWBREMZAP/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
HMM7NBJVZ4 HMM7NBJVZ4
| URI | m2://inv/HMM7NBJVZ4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-32 (exercise). In VNMV985MXX, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
HMMBY6ZTHP HMMBY6ZTHP
| URI | m2://inv/HMMBY6ZTHP |
|---|---|
| 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 2512.22986#V7X6 (statement). In GFP8TEKFBC/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Eighty Four, Pennsylvania HMMEC072QV
| URI | m2://inv/HMMEC072QV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#CM2P, Eighty Four, Pennsylvania (unknown)
History
- 2026-11-02: add by m2/dev
HMMJ4NVWE2 HMMJ4NVWE2
| URI | m2://inv/HMMJ4NVWE2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/machines-computations/unary-numbers.tex#ex:adder (example). In PKGMM3P5QY, ex, section 86.3
History
- 2026-11-01: add by m2/v0.6.13
HMMN242V8M HMMN242V8M
| URI | m2://inv/HMMN242V8M |
|---|---|
| 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.34339#YNCP (statement). In 9WFSTGMQ4E/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
Fano K3-29 HMMPQRWXRW
| URI | m2://inv/HMMPQRWXRW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-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.21914#59AL, Fano K3-29 (example)
History
- 2026-11-02: add by m2/v0.6.17
Euclidean distance matrix HMMRHFGCTM
| URI | m2://inv/HMMRHFGCTM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclidean distance matrix, Euclidean distance matrix (definition). Also Wikidata Q5406122
History
- 2026-11-02: add by m2/dev
HMMVBB05Y2 HMMVBB05Y2
| URI | m2://inv/HMMVBB05Y2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#E0JW (statement). In PG0B4PH9YH/e1, fact 2.10
History
- 2026-10-27: add by m2/v0.4.2
HMMYW6MQ9H HMMYW6MQ9H
| URI | m2://inv/HMMYW6MQ9H |
|---|---|
| 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.25390#ESWG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Oldroyd-B model HMN8EZ6JZY
| URI | m2://inv/HMN8EZ6JZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oldroyd-B model, Oldroyd-B model (definition). Also Wikidata Q7085712
History
- 2026-11-02: add by m2/dev
HMN9FTE3JS HMN9FTE3JS
| URI | m2://inv/HMN9FTE3JS |
|---|---|
| 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.03837#1CZQ (statement). In TX88QS0A8M/e1, lemma 13
History
- 2026-10-29: add by m2/v0.4.12
Ergodicity HMNFEFYJFQ
| URI | m2://inv/HMNFEFYJFQ |
|---|---|
| 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 2512.08487#CKIH, Ergodicity (definition). In 77TVQVYN0Z/e1, definition Definition
History
- 2026-10-27: add by m2/v0.3.6
HMNR01YDD1 HMNR01YDD1
| URI | m2://inv/HMNR01YDD1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11487#XS37 (statement). In 8S0K3Y25HM/e1, corollary 1.4
History
- 2026-10-28: add by m2/v0.4.3
HMNT7QHY8E HMNT7QHY8E
| URI | m2://inv/HMNT7QHY8E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06488#UQAC (statement). In XG3BJ2QXXP/e1, proposition 2.14
History
- 2026-10-29: add by m2/v0.4.10
HMNYRXXJPR HMNYRXXJPR
| URI | m2://inv/HMNYRXXJPR |
|---|---|
| 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.33185#TSZX (statement). In QX30H2WNA7/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
HMP8X6KCBA HMP8X6KCBA
| URI | m2://inv/HMP8X6KCBA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.18390#067N (example). In A1E8BB0QHC/e1, example 3.2
History
- 2026-10-27: add by m2/v0.3.5
HMPAG2X9BN HMPAG2X9BN
| URI | m2://inv/HMPAG2X9BN |
|---|---|
| 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 2609.24001#7BBC (statement)
History
- 2026-11-02: add by m2/v0.6.17
quantity HMPFFCDSHD
| URI | m2://inv/HMPFFCDSHD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#AISZ, quantity (definition)
History
- 2026-11-02: add by m2/dev
Mars HMPM6D6Y05
| URI | m2://inv/HMPM6D6Y05 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q111, Mars (definition). Also ProofWiki Definition:Mars
History
- 2026-10-26: add by m2/dev
Extensions HMPSNV2C8X
| URI | m2://inv/HMPSNV2C8X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex optimization#BXE1, Extensions (statement)
History
- 2026-11-02: add by m2/dev
HMPT342Y3G HMPT342Y3G
| URI | m2://inv/HMPT342Y3G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35183#MO1Z (statement). In FYM5XFD9RR/e1, proposition 2.18
History
- 2026-10-30: add by m2/v0.4.12
HMPZ8J052J HMPZ8J052J
| URI | m2://inv/HMPZ8J052J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13241#RG5L (statement). In DWQWQ5KTEE/e1, lemma 25
History
- 2026-10-28: add by m2/v0.4.2
HMQ3SWTPQE HMQ3SWTPQE
| URI | m2://inv/HMQ3SWTPQE |
|---|---|
| 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.02756#J9QG (statement). In GCQ5YCQQHD/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
HMQ8K6J9NC HMQ8K6J9NC
| URI | m2://inv/HMQ8K6J9NC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#AL14 (example). In CY1FE8W1ZW/e1, example 0.180
History
- 2026-10-27: add by m2/v0.3.5
Definition HMQQ961F98
| URI | m2://inv/HMQQ961F98 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial linear space#IE66, Definition (definition)
History
- 2026-11-02: add by m2/dev
HMQQKWCQSY HMQQKWCQSY
| URI | m2://inv/HMQQKWCQSY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20299#WXZW (statement). In P7T0W5D3W3/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.4.2
Hieronymus Schreiber HMQZ9P9MFF
| URI | m2://inv/HMQZ9P9MFF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hieronymus Schreiber, Hieronymus Schreiber (topic). Also Wikidata Q109011
History
- 2026-11-02: add by m2/dev
Definition 1 HMQZA4JBTY
| URI | m2://inv/HMQZA4JBTY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balance puzzle#GOGL, Definition 1 (definition)
History
- 2026-11-02: add by m2/dev
Ruin theory HMR06WAAGH
| URI | m2://inv/HMR06WAAGH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ruin theory, Ruin theory (topic). Also Wikidata Q17082609
History
- 2026-11-02: add by m2/dev
HMR26PNYWJ HMR26PNYWJ
| URI | m2://inv/HMR26PNYWJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#M2KE (statement). In E7W2HDNEKJ/e1, lemma 4.23
History
- 2026-10-30: add by m2/v0.4.12
Statement HMR2S9ZB1E
| URI | m2://inv/HMR2S9ZB1E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach–Stone theorem#2ZKY, Statement (statement)
History
- 2026-11-02: add by m2/dev
trivial HMR6NEM329
| URI | m2://inv/HMR6NEM329 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#A8FG, trivial (definition)
History
- 2026-11-02: add by m2/dev
constant HMREC02EGZ
| URI | m2://inv/HMREC02EGZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q188248, constant (definition). Also ProofWiki Definition:Constant
- wikipedia: Wikipedia Constant (mathematics), Constant (definition). Also Wikidata Q188248
History
- 2026-10-26: add by m2/dev
Generalizations HMREQMNX8F
| URI | m2://inv/HMREQMNX8F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bass–Serre theory#IP9K, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Signature cocycle HMRFV778DV
| URI | m2://inv/HMRFV778DV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signature cocycle, Signature cocycle (definition). Also Wikidata Q7512836
History
- 2026-11-02: add by m2/dev
HMRHA0G7QW HMRHA0G7QW
| URI | m2://inv/HMRHA0G7QW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#RC-squaring (statement). In N54F33XE07, thm, section B.3.3
History
- 2026-11-01: add by m2/v0.6.13
existence and uniqueness for systems HMRK709RZE
| URI | m2://inv/HMRK709RZE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.1.5/existence-and-uniqueness-for-systems, existence and uniqueness for systems (concept). In E9HS8K3A52, index, section 10.1.5
History
- 2026-11-01: add by m2/v0.6.13
Applications HMRKPNDFB4
| URI | m2://inv/HMRKPNDFB4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logico-linguistic modeling#32GC, Applications (example)
History
- 2026-11-02: add by m2/dev
Clavipectoral triangle HMRN12QMHS
| URI | m2://inv/HMRN12QMHS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#TKRK, Clavipectoral triangle (unknown)
History
- 2026-11-02: add by m2/dev
Graph partition methods HMRNKS7085
| URI | m2://inv/HMRNKS7085 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph partition#W43H, Graph partition methods (definition)
History
- 2026-11-02: add by m2/dev
Mario Pascal HMRSNP08NB
| URI | m2://inv/HMRSNP08NB |
|---|---|
| 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#MYV6, Mario Pascal (topic)
History
- 2026-11-02: add by m2/dev
HMRT7BKRMX HMRT7BKRMX
| URI | m2://inv/HMRT7BKRMX |
|---|---|
| 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.37274#KDD5 (statement). In FBBTEAY45P/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
Examples HMRTG0X5KP
| URI | m2://inv/HMRTG0X5KP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primary decomposition#PPAR, Examples (example)
History
- 2026-11-02: add by m2/dev
HMS0RFX4WY HMS0RFX4WY
| URI | m2://inv/HMS0RFX4WY |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/proof-theoretic-notions.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 22.5
History
- 2026-11-01: add by m2/v0.6.13
HMS5088XE0 HMS5088XE0
| URI | m2://inv/HMS5088XE0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#lem:opp (statement). In N54F33XE07, lem, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
Pointcheval–Stern signature algorithm HMSEKK1NS4
| URI | m2://inv/HMSEKK1NS4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pointcheval–Stern signature algorithm, Pointcheval–Stern signature algorithm (definition). Also Wikidata Q7208298
History
- 2026-11-02: add by m2/dev
Exact sign-basis recognition HMSFXFAP3D
| URI | m2://inv/HMSFXFAP3D |
|---|---|
| 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.36827#0607, Exact sign-basis recognition (statement). In VSHAQTB2CA/e1, theorem 5.2
History
- 2026-10-30: add by m2/v0.4.12
Miriam Cohen HMSHJM4EDW
| URI | m2://inv/HMSHJM4EDW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Miriam Cohen, Miriam Cohen (topic). Also Wikidata Q16208071
History
- 2026-11-02: add by m2/dev
Harel statechart HMSJZBDDWT
| URI | m2://inv/HMSJZBDDWT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia State diagram#HJP2, Harel statechart (unknown)
History
- 2026-11-02: add by m2/dev
HMSMG115B3 HMSMG115B3
| URI | m2://inv/HMSMG115B3 |
|---|---|
| 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 2308.02672#7UGX (statement). In ETRT1R1CQ8/e1, proposition 6.1
History
- 2026-10-27: add by m2/v0.4.0
HMSMR25X5Y HMSMR25X5Y
| URI | m2://inv/HMSMR25X5Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11409#661B (definition). In 3NWSEMTHJR/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.3
Applications HMSP1ESS7P
| URI | m2://inv/HMSP1ESS7P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Landau–Mignotte bound#5CVD, Applications (example)
History
- 2026-11-02: add by m2/dev
History of randomness HMSSNGEGQ7
| URI | m2://inv/HMSSNGEGQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#O4VX, History of randomness (definition)
History
- 2026-11-02: add by m2/dev
HMSTC5JS1Z HMSTC5JS1Z
| URI | m2://inv/HMSTC5JS1Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.03601#SNKH (statement). In F7TDYCHCSE/e1, theorem 7.2
History
- 2026-10-27: add by m2/v0.3.5
HMSWXMJ9PG HMSWXMJ9PG
| URI | m2://inv/HMSWXMJ9PG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#example-5 (example). In E9HS8K3A52, example, section 8.4
History
- 2026-11-01: add by m2/v0.6.13
Patricia Grambsch HMT4RA9QBP
| URI | m2://inv/HMT4RA9QBP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Patricia Grambsch, Patricia Grambsch (topic). Also Wikidata Q96479303
History
- 2026-11-02: add by m2/dev
Alternative definition HMT7JTM112
| URI | m2://inv/HMT7JTM112 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Localization of a category#KJ8S, Alternative definition (definition)
History
- 2026-11-02: add by m2/dev
Legendre--Hahn series estimator under trial heterogeneity HMTDQKJKST
| URI | m2://inv/HMTDQKJKST |
|---|---|
| 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.04135#71OR, Legendre--Hahn series estimator under trial heterogeneity (definition). In 587PWJ6W5D/e1, definition 4
History
- 2026-10-29: add by m2/v0.4.12
Mark Mahowald HMTDXN0Q3T
| URI | m2://inv/HMTDXN0Q3T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#72XD, Mark Mahowald (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KQ0A, Mark Mahowald (topic)
History
- 2026-11-02: add by m2/dev
HMTE59Z04C HMTE59Z04C
| URI | m2://inv/HMTE59Z04C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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 2409.03461#BF8M (statement). In XJVZSGCX5V/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Rape in Lesotho HMTE6Y0XSC
| URI | m2://inv/HMTE6Y0XSC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rape statistics#QCBG, Rape in Lesotho (unknown)
History
- 2026-11-02: add by m2/dev
HMTG890CQG HMTG890CQG
| URI | m2://inv/HMTG890CQG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-274 (exercise). In VNMV985MXX, exercise, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
HMTMD56AK4 HMTMD56AK4
| URI | m2://inv/HMTMD56AK4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#example-11 (example). In E59CDZA4DP, example, section 1.7.2
History
- 2026-11-01: add by m2/v0.6.13
HMV0DZPNJJ HMV0DZPNJJ
| URI | m2://inv/HMV0DZPNJJ |
|---|---|
| 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 0910.5574#8OBR (statement). In 2TJRBRKYAY/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
Pyramid scheme HMV4MB2DQT
| URI | m2://inv/HMV4MB2DQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pyramid scheme, Pyramid scheme (definition). Also Wikidata Q214242
History
- 2026-11-02: add by m2/dev
Kolmogorov continuity theorem HMV88AS5WZ
| URI | m2://inv/HMV88AS5WZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0L5K, Kolmogorov continuity theorem (statement)
History
- 2026-11-02: add by m2/dev
HMVFFW10WE HMVFFW10WE
| URI | m2://inv/HMVFFW10WE |
|---|---|
| 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.26357#7YTC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties HMVHKV9XBT
| URI | m2://inv/HMVHKV9XBT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Killing vector field#Z729, Properties (statement)
History
- 2026-11-02: add by m2/dev
HMVJEF2BPS HMVJEF2BPS
| URI | m2://inv/HMVJEF2BPS |
|---|---|
| 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.30165#IG2A (statement)
History
- 2026-11-01: add by m2/v0.6.15
Thomas G. Kurtz HMVM612P95
| URI | m2://inv/HMVM612P95 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas G. Kurtz, Thomas G. Kurtz (topic). Also Wikidata Q26251247
History
- 2026-11-02: add by m2/dev
arbelos HMVQEQC1BS
| URI | m2://inv/HMVQEQC1BS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q629520, arbelos (unknown). Also MathWorld Arbelos
- wikipedia: Wikipedia Arbelos, Arbelos (definition). Also Wikidata Q629520
History
- 2026-10-26: add by m2/dev
Equatorial coordinate system HMWES9MA75
| URI | m2://inv/HMWES9MA75 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equatorial coordinate system, Equatorial coordinate system (definition). Also Wikidata Q208617
History
- 2026-11-02: add by m2/dev
HMWHBP8T09 HMWHBP8T09
| URI | m2://inv/HMWHBP8T09 |
|---|---|
| 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.16518#XQLE (statement). In SAQBDG4FK1/e1, theorem B.1
History
- 2026-10-28: add by m2/v0.4.2
Stroboscopic Morse--Smale locking HMWP76JFTX
| URI | m2://inv/HMWP76JFTX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15686#25HQ, Stroboscopic Morse--Smale locking (statement). In 4HCK722M2G/e1, theorem 5.5
History
- 2026-10-28: add by m2/v0.4.2
Restricted maximum likelihood HMWWY2H1KA
| URI | m2://inv/HMWWY2H1KA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Restricted maximum likelihood, Restricted maximum likelihood (definition). Also Wikidata Q7316301
History
- 2026-11-02: add by m2/dev
He, Xuming HMWXHBYJNB
| URI | m2://inv/HMWXHBYJNB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#GKLG, He, Xuming (unknown)
History
- 2026-11-02: add by m2/dev
HMX1FW5ERA HMX1FW5ERA
| URI | m2://inv/HMX1FW5ERA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16386#H81R (definition). In RAF0BFY3Z3/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
HMX298QQDJ HMX298QQDJ
| URI | m2://inv/HMX298QQDJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/arithmetization/cauchy.tex#thm:cauchyorderedfield (statement). In PKGMM3P5QY, thm, section 78.1
History
- 2026-11-01: add by m2/v0.6.13
HMX994QXAF HMX994QXAF
| URI | m2://inv/HMX994QXAF |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27965#F2OI (problem)
History
- 2026-11-01: add by m2/v0.6.15
Sara van de Geer HMX9X8MPE7
| URI | m2://inv/HMX9X8MPE7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sara van de Geer, Sara van de Geer (topic). Also Wikidata Q21055946
History
- 2026-11-02: add by m2/dev
HMXEM1C60R HMXEM1C60R
| URI | m2://inv/HMXEM1C60R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16332#HDLD (statement). In JJQPFXZQ3D/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
HMXEM6ZZGJ HMXEM6ZZGJ
| URI | m2://inv/HMXEM6ZZGJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17139#YW65 (statement). In AQWX60Z563/e1, lemma B.1
History
- 2026-10-28: add by m2/v0.4.2
branch HMXK076W0C
| URI | m2://inv/HMXK076W0C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#AWEX, branch (definition)
History
- 2026-11-02: add by m2/dev
Norbert A'Campo HMXK721MT0
| URI | m2://inv/HMXK721MT0 |
|---|---|
| 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#OJUF, Norbert A'Campo (topic)
History
- 2026-11-02: add by m2/dev
HMXPWZ9T1J HMXPWZ9T1J
| URI | m2://inv/HMXPWZ9T1J |
|---|---|
| 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.26455#OU1V (statement)
History
- 2026-11-01: add by m2/v0.6.15
treewidth HMXT26TCQT
| URI | m2://inv/HMXT26TCQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Treewidth CD2XB4Y1SF |
Mentions
- wikidata: Wikidata Q5067368, treewidth (unknown). Also MathWorld Treewidth
- wikipedia: Wikipedia Treewidth, Treewidth (definition). Also Wikidata Q5067368
History
- 2026-10-26: add by m2/dev
HMY2PC870T HMY2PC870T
| URI | m2://inv/HMY2PC870T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16606#KCCQ (statement). In A798V7TX99/e1, lemma 5.15
History
- 2026-10-28: add by m2/v0.4.2
HMY4VRG6TX HMY4VRG6TX
| URI | m2://inv/HMY4VRG6TX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-162 (exercise). In VNMV985MXX, exercise, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Erwin Bolthausen HMYGTX9CGB
| URI | m2://inv/HMYGTX9CGB |
|---|---|
| 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#6OW2, Erwin Bolthausen (topic)
History
- 2026-11-02: add by m2/dev
HMYN6A9T3F HMYN6A9T3F
| URI | m2://inv/HMYN6A9T3F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18512#6IZB (statement). In 11JNM66Z09/e1, theorem 13.7
History
- 2026-10-28: add by m2/v0.4.2
Theorem D (universal algebra) HMYW8XHQXE
| URI | m2://inv/HMYW8XHQXE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has no name of its own, and the write role names it) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isomorphism theorems#1D9S, Theorem D (universal algebra) (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Connection (principal bundle) HMYYJYMEN9
| URI | m2://inv/HMYYJYMEN9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#V1PK, Connection (principal bundle) (definition)
History
- 2026-11-02: add by m2/dev
HMYZC14CNN HMYZC14CNN
| URI | m2://inv/HMYZC14CNN |
|---|---|
| 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.09390#68G3 (statement). In 7SSKW778T8/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
The change of image at exceptional parameters HMZ1Y9JSXA
| URI | m2://inv/HMZ1Y9JSXA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25805#6I20, The change of image at exceptional parameters (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples HMZ2NRQG22
| URI | m2://inv/HMZ2NRQG22 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractional ideal#VH9B, Examples (example)
History
- 2026-11-02: add by m2/dev
Integration by reduction formulae HMZE0APKCT
| URI | m2://inv/HMZE0APKCT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integration by reduction formulae, Integration by reduction formulae (definition). Also Wikidata Q3823543
History
- 2026-11-02: add by m2/dev
Gerhard Tintner HMZGTWSYZS
| URI | m2://inv/HMZGTWSYZS |
|---|---|
| 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#94V6, Gerhard Tintner (unknown)
History
- 2026-11-02: add by m2/dev
HMZNHDW48R HMZNHDW48R
| URI | m2://inv/HMZNHDW48R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27151#CBTG (statement)
History
- 2026-11-01: add by m2/v0.6.15
p-adic homotopy theory HMZP6HTQAQ
| URI | m2://inv/HMZP6HTQAQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#03X5, p-adic homotopy theory (definition)
History
- 2026-11-02: add by m2/dev
Rosa Orellana HMZQ9EXTRD
| URI | m2://inv/HMZQ9EXTRD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#84HW, Rosa Orellana (unknown)
History
- 2026-11-02: add by m2/dev
Dimension and preservation through inheritance HMZS9EQ75H
| URI | m2://inv/HMZS9EQ75H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14310#QPLR, Dimension and preservation through inheritance (statement). In 8GSG7024NW/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2
HMZSBE52Z2 HMZSBE52Z2
| URI | m2://inv/HMZSBE52Z2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34731#WHHF (statement). In MH54AS0Y61/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
HMZTAZ17VX HMZTAZ17VX
| URI | m2://inv/HMZTAZ17VX |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26434#SHJT (problem)
History
- 2026-11-01: add by m2/v0.6.15