Inventory rows HS
The cards of the rows of the inventory whose ids start with HS. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
HS0297MW7P HS0297MW7P
| URI | m2://inv/HS0297MW7P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04179#I59Z (statement). In D64RQ09KBP/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.12
Methodological advisor HS0HDYKJF4
| URI | m2://inv/HS0HDYKJF4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Methodological advisor, Methodological advisor (definition). Also Wikidata Q7604388
History
- 2026-11-02: add by m2/dev
Special case HS0N26TWJF
| URI | m2://inv/HS0N26TWJF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet–Kolmogorov theorem#2136, Special case (statement)
History
- 2026-11-02: add by m2/dev
Bound graph HS0R8DPZCB
| URI | m2://inv/HS0R8DPZCB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bound graph, Bound graph (definition). Also Wikidata Q4949882
History
- 2026-11-02: add by m2/dev
Conventions HS0V00WR88
| URI | m2://inv/HS0V00WR88 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof complexity#82CZ, Conventions (definition)
History
- 2026-11-02: add by m2/dev
Consistency checks HS0Y5J5QVJ
| URI | m2://inv/HS0Y5J5QVJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#2WDX, Consistency checks (example). In G3D1YR20BJ/e1, example 3.35
History
- 2026-10-29: add by m2/v0.4.12
Polytree HS0Y5S6Q6M
| URI | m2://inv/HS0Y5S6Q6M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polytree, Polytree (definition). Also Wikidata Q7227115
History
- 2026-11-02: add by m2/dev
The final projection preserves a stationarity certificate HS144P1WX7
| URI | m2://inv/HS144P1WX7 |
|---|---|
| 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.34099#1DRV, The final projection preserves a stationarity certificate (statement). In 4X2SAM9HR2/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
Definitions HS14SC72HC
| URI | m2://inv/HS14SC72HC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric fair cake-cutting#OL8T, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Milnor conjecture (topology) HS1DEXEZW8
| URI | m2://inv/HS1DEXEZW8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#S5C5, Milnor conjecture (topology) (statement)
History
- 2026-11-02: add by m2/dev
Positive-tolerance partition design remains strongly NP-hard HS1H3KCM0C
| URI | m2://inv/HS1H3KCM0C |
|---|---|
| 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.21523#CRLG, Positive-tolerance partition design remains strongly NP-hard (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definitions HS1X9JNPV9
| URI | m2://inv/HS1X9JNPV9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rauzy fractal#B9ND, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Jill Pipher HS1Z9QBEYS
| URI | m2://inv/HS1Z9QBEYS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JJ77, Jill Pipher (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GU2Q, Jill Pipher (topic)
History
- 2026-11-02: add by m2/dev
HS2A0Y3YJF HS2A0Y3YJF
| URI | m2://inv/HS2A0Y3YJF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31523#KEF9 (definition). In 2BET1RE1F6/e1, definition 2.4
History
- 2026-10-31: add by m2/v0.5.6
tangent space HS2AP10WDJ
| URI | m2://inv/HS2AP10WDJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#SRAV, tangent space (definition)
History
- 2026-11-02: add by m2/dev
Transform identity HS2BNP409T
| URI | m2://inv/HS2BNP409T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07905#JT02, Transform identity (statement). In 88GEN3Z5VG/e1, lemma 7.9
History
- 2026-10-29: add by m2/v0.4.10
Weibull, Waloddi HS2BX73F1W
| URI | m2://inv/HS2BX73F1W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#OY8S, Weibull, Waloddi (unknown)
History
- 2026-11-02: add by m2/dev
HS2FQ5B9E2 HS2FQ5B9E2
| URI | m2://inv/HS2FQ5B9E2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15847#M0ZG (statement). In BTV3DAMX28/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
Active placebo HS2G8FADXN
| URI | m2://inv/HS2G8FADXN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Active placebo, Active placebo (definition). Also Wikidata Q4677576
History
- 2026-11-02: add by m2/dev
Bernardo Uribe HS2KZ43QRW
| URI | m2://inv/HS2KZ43QRW |
|---|---|
| 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 Q55520030, Bernardo Uribe (unknown). Also nLab Bernardo Uribe
- wikipedia: Wikipedia Bernardo Uribe, Bernardo Uribe (topic). Also Wikidata Q55520030
History
- 2026-10-26: add by m2/dev
HS2PV0Z5K8 HS2PV0Z5K8
| URI | m2://inv/HS2PV0Z5K8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0909.2893#N976 (statement). In JQ4JYAXCMK/e1, proposition 9
History
- 2026-10-27: add by m2/v0.3.5
Δ1-formulas and concepts HS2R8BC9J7
| URI | m2://inv/HS2R8BC9J7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lévy hierarchy#19PP, Δ1-formulas and concepts (statement)
History
- 2026-11-02: add by m2/dev
HS2XCTZ727 HS2XCTZ727
| URI | m2://inv/HS2XCTZ727 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34570#1XG9 (statement). In EVFX1R7ZDD/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Class existence theorem for transformed formulas HS30Y601S7
| URI | m2://inv/HS30Y601S7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann–Bernays–Gödel set theory#YBF7, Class existence theorem for transformed formulas (statement)
History
- 2026-11-02: add by m2/dev
Esterby, Sylvia HS3226J6AK
| URI | m2://inv/HS3226J6AK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#Y4R7, Esterby, Sylvia (unknown)
History
- 2026-11-02: add by m2/dev
Cartan–Karlhede algorithm HS3302TGHH
| URI | m2://inv/HS3302TGHH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Élie Cartan#TZNN, Cartan–Karlhede algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Stuart A. Robertson HS3BVTZ5W5
| URI | m2://inv/HS3BVTZ5W5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#HEZS, Stuart A. Robertson (unknown)
History
- 2026-11-02: add by m2/dev
HS3CWCMW5Y HS3CWCMW5Y
| URI | m2://inv/HS3CWCMW5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#YEVH (statement). In CY1FE8W1ZW/e1, corollary 0.238
History
- 2026-10-27: add by m2/v0.3.5
Pollaczek polynomial HS3DHFP8AP
| URI | m2://inv/HS3DHFP8AP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#CQTC, Pollaczek polynomial (unknown)
History
- 2026-11-02: add by m2/dev
Implementations HS3FWF4GTT
| URI | m2://inv/HS3FWF4GTT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractal compression#1K1Y, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Benjamin Finkel HS3G58R5CE
| URI | m2://inv/HS3G58R5CE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benjamin Finkel, Benjamin Finkel (topic). Also Wikidata Q845959
History
- 2026-11-02: add by m2/dev
HS3HV178RE HS3HV178RE
| URI | m2://inv/HS3HV178RE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.05529#123G (definition). In 9VPMHV0M4R/e1, definition 3.8
History
- 2026-10-31: add by m2/v0.5.6
HS3R3J8YHX HS3R3J8YHX
| URI | m2://inv/HS3R3J8YHX |
|---|---|
| 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.21274#7U7T (statement)
History
- 2026-11-02: add by m2/v0.6.18
HS3XSXZZKC HS3XSXZZKC
| URI | m2://inv/HS3XSXZZKC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26743#TQDA (statement)
History
- 2026-11-01: add by m2/v0.6.15
HS3YXHAD1H HS3YXHAD1H
| URI | m2://inv/HS3YXHAD1H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15517#OLDZ (statement). In C87H6KZSBM/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
HS49D839W9 HS49D839W9
| URI | m2://inv/HS49D839W9 |
|---|---|
| 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.14667#XRZF (statement). In EV886Y8PD7/e1, corollary 4.1
History
- 2026-10-28: add by m2/v0.4.2
Quadratic algebra HS4KRAT10R
| URI | m2://inv/HS4KRAT10R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#2W26, Quadratic algebra (definition)
History
- 2026-11-02: add by m2/dev
HS4PYVZ146 HS4PYVZ146
| URI | m2://inv/HS4PYVZ146 |
|---|---|
| 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 2602.03058#1X03 (statement). In XQ0ZXH8KAC/e1, lemma 11
History
- 2026-10-27: add by m2/v0.3.5
Analysis of the sharp directions HS4QE0XTGK
| URI | m2://inv/HS4QE0XTGK |
|---|---|
| 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.30957#U3GO, Analysis of the sharp directions (statement). In P5YB6R0RK3/e1, lemma C.7
History
- 2026-10-31: add by m2/v0.5.6
HS4WGH4BHR HS4WGH4BHR
| URI | m2://inv/HS4WGH4BHR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.07409#337Q (statement). In KWH4QJDPWC/e1, proposition 4.13
History
- 2026-10-27: add by m2/v0.4.0
Journal of Applied Non-Classical Logics HS4Z129K4C
| URI | m2://inv/HS4Z129K4C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#6CIY, Journal of Applied Non-Classical Logics (definition)
History
- 2026-11-02: add by m2/dev
Elizabeth A. Thompson HS5258JVJ1
| URI | m2://inv/HS5258JVJ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elizabeth A. Thompson, Elizabeth A. Thompson (topic). Also Wikidata Q40175983
History
- 2026-11-02: add by m2/dev
HS55CC1JPG HS55CC1JPG
| URI | m2://inv/HS55CC1JPG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18219#HFBI (statement). In X1AGBB90EH/e1, theorem C
History
- 2026-10-28: add by m2/v0.4.2
HS59HB5SRF HS59HB5SRF
| URI | m2://inv/HS59HB5SRF |
|---|---|
| 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 2108.00412#UKCZ (statement). In APD8GE0E4F/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.3.5
Enigma G HS5DVAGHYX
| URI | m2://inv/HS5DVAGHYX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enigma machine#BLAV, Enigma G (unknown)
History
- 2026-11-02: add by m2/dev
Properties HS5G948FFQ
| URI | m2://inv/HS5G948FFQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Book embedding#ED9M, Properties (statement)
History
- 2026-11-02: add by m2/dev
Gerhardt's convergence theorem HS5GKDWT4V
| URI | m2://inv/HS5GKDWT4V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse mean curvature flow#B4FF, Gerhardt's convergence theorem (statement)
History
- 2026-11-02: add by m2/dev
HS5H6VJXV9 HS5H6VJXV9
| URI | m2://inv/HS5H6VJXV9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-binom.ptx#exercise-8 (exercise). In Y91XFCEVHQ, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
HS5H8B5VNY HS5H8B5VNY
| URI | m2://inv/HS5H8B5VNY |
|---|---|
| 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 2609.37593#6GDG (definition). In YTF96VHKAH/e1, definition A.2
History
- 2026-10-30: add by m2/v0.4.12
HS5PF0CVCV HS5PF0CVCV
| URI | m2://inv/HS5PF0CVCV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#631U (definition). In Q5Z178SAHP/e1, definition 5.7
History
- 2026-10-30: add by m2/v0.4.12
Michael Holton HS5T4JTDF6
| URI | m2://inv/HS5T4JTDF6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#NYTP, Michael Holton (unknown)
History
- 2026-11-02: add by m2/dev
HS62958NT5 HS62958NT5
| URI | m2://inv/HS62958NT5 |
|---|---|
| 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.20190#RQKY (statement)
History
- 2026-11-02: add by m2/v0.6.18
HS65D9NTQW HS65D9NTQW
| URI | m2://inv/HS65D9NTQW |
|---|---|
| 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.21116#9TQK (statement)
History
- 2026-11-02: add by m2/v0.6.18
Connected dominating set HS67074E76
| URI | m2://inv/HS67074E76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connected dominating set, Connected dominating set (definition). Also Wikidata Q5161409
History
- 2026-11-02: add by m2/dev
HS6E00K5PH HS6E00K5PH
| URI | m2://inv/HS6E00K5PH |
|---|---|
| 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.20489#OMW5 (statement). In BJ8JJZ0ZWT/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.4.2
Restatement HS6HGEN1EG
| URI | m2://inv/HS6HGEN1EG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09882#3F4Z, Restatement (statement). In 7XV6T4N79V/e1, lemma 4.7
- arxiv: arXiv 2610.09882#AAZK (statement). In 7XV6T4N79V/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.10
HS6JSB7YFY HS6JSB7YFY
| URI | m2://inv/HS6JSB7YFY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11002#K9A1 (statement). In P55JSAYR3T/e1, corollary
History
- 2026-10-28: add by m2/v0.4.3
rubidium-87 HS6S1Y1GP0
| URI | m2://inv/HS6S1Y1GP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2019749, rubidium-87 (definition). Also ProofWiki Definition:Rubidium/87
History
- 2026-10-26: add by m2/dev
Discrete cosine transform HS6VJ28TCM
| URI | m2://inv/HS6VJ28TCM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#33P8, Discrete cosine transform (definition)
History
- 2026-11-02: add by m2/dev
inaccessible HS6W51Z23A
| URI | m2://inv/HS6W51Z23A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of large cardinal properties#198E, inaccessible (definition)
History
- 2026-11-02: add by m2/dev
List of mathematicians HS71W9XC9T
| URI | m2://inv/HS71W9XC9T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#7Z6A, List of mathematicians (topic)
History
- 2026-11-02: add by m2/dev
HS72HAVX3D HS72HAVX3D
| URI | m2://inv/HS72HAVX3D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#Q2UY (definition)
History
- 2026-11-02: add by m2/v0.6.18
HS7488M4XJ HS7488M4XJ
| URI | m2://inv/HS7488M4XJ |
|---|---|
| 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 2607.00323#IM3B (statement). In BPRFEQY7W4/e1, lemma 3.15
History
- 2026-10-27: add by m2/v0.3.6
HS783G9KCV HS783G9KCV
| URI | m2://inv/HS783G9KCV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09171#16VJ (statement). In 5ZPSZFE08Q/e1, theorem 3.13
History
- 2026-10-29: add by m2/v0.4.10
Regularly ordered HS7EMB6K77
| URI | m2://inv/HS7EMB6K77 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regularly ordered, Regularly ordered (definition). Also Wikidata Q96401462
History
- 2026-11-02: add by m2/dev
Platonic Academy HS7HABCKB5
| URI | m2://inv/HS7HABCKB5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q193093, Platonic Academy (definition). Also ProofWiki Definition:Plato's_Academy
History
- 2026-10-26: add by m2/dev
Eells and Sampson's theorem HS7R10G05H
| URI | m2://inv/HS7R10G05H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic map#5OV9, Eells and Sampson's theorem (statement)
History
- 2026-11-02: add by m2/dev
Flow-equivalent server method HS7SYDGP4M
| URI | m2://inv/HS7SYDGP4M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flow-equivalent server method, Flow-equivalent server method (definition). Also Wikidata Q5462046
History
- 2026-11-02: add by m2/dev
R\'enyi volume laws HS809WCX65
| URI | m2://inv/HS809WCX65 |
|---|---|
| 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.15199#1VFF, R\'enyi volume laws (statement). In EVFTDVP4K4/e1, corollary F.1
History
- 2026-10-28: add by m2/v0.4.2
An adapted horizontal frame on the equatorial $S^5$ HS8CERYPVA
| URI | m2://inv/HS8CERYPVA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00078#HQVV, An adapted horizontal frame on the equatorial $S^5$ (example). In KXYGWSGP9M/e1, example 2.7
History
- 2026-10-30: add by m2/v0.4.12
HS8DCSARBM HS8DCSARBM
| URI | m2://inv/HS8DCSARBM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26401#NEJ9 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Applications HS8DRBJ57K
| URI | m2://inv/HS8DRBJ57K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Langlands dual group#29MJ, Applications (example)
History
- 2026-11-02: add by m2/dev
Examples HS8F5AKQ1H
| URI | m2://inv/HS8F5AKQ1H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free-standing Mathematics Qualifications#COYX, Examples (example)
History
- 2026-11-02: add by m2/dev
Hedberg's theorem HS8FXY6HQ0
| URI | m2://inv/HS8FXY6HQ0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.11/hedberg-s-theorem, Hedberg's theorem (concept). In N54F33XE07, index, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
KPSS test HS8H3GT8N5
| URI | m2://inv/HS8H3GT8N5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia KPSS test, KPSS test (definition). Also Wikidata Q6335900
History
- 2026-11-02: add by m2/dev
HS8K5RQJW5 HS8K5RQJW5
| URI | m2://inv/HS8K5RQJW5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/introduction/axiomatic-derivations.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 31.1
History
- 2026-11-01: add by m2/v0.6.13
HS8QY1YPWK HS8QY1YPWK
| URI | m2://inv/HS8QY1YPWK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33512#V7LB (statement). In WYHZMYZT31/e1, lemma 3.18
History
- 2026-10-30: add by m2/v0.4.12
Spherical code HS8SPTYZT3
| URI | m2://inv/HS8SPTYZT3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#BJO5, Spherical code (statement). In NKXTXH59P1/e1, lemma E.16
History
- 2026-10-29: add by m2/v0.4.10
Examples HS8ZFDSR5N
| URI | m2://inv/HS8ZFDSR5N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primitive root modulo n#2CKV, Examples (example)
History
- 2026-11-02: add by m2/dev
HS8ZMCAZ0D HS8ZMCAZ0D
| URI | m2://inv/HS8ZMCAZ0D |
|---|---|
| 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.21724#WB3A (statement). In EDDJCSBMXN/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.4.2
Sparse graph code HS98K3FTQS
| URI | m2://inv/HS98K3FTQS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#KI8B, Sparse graph code (definition)
History
- 2026-11-02: add by m2/dev
Polynomial criterion HS9AZ671ZN
| URI | m2://inv/HS9AZ671ZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.16931#XJOH, Polynomial criterion (statement). In H7DMRWBBJN/e1, lemma 7.9
History
- 2026-10-28: add by m2/v0.4.2
Restricted Partition Function HS9EWPS5W4
| URI | m2://inv/HS9EWPS5W4 |
|---|---|
| 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 2109.12716#P1QF, Restricted Partition Function (definition). In 6X76XBE3HV/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
HS9JR6RZZT HS9JR6RZZT
| URI | m2://inv/HS9JR6RZZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.23812#0FTX (statement). In D8XZBXJPR5/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.3.5
Peter Teichner HS9KTKSFQ6
| URI | m2://inv/HS9KTKSFQ6 |
|---|---|
| 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 Q1574270, Peter Teichner (unknown). Also nLab Peter Teichner
- wikipedia: Wikipedia Peter Teichner, Peter Teichner (topic). Also Wikidata Q1574270
History
- 2026-10-26: add by m2/dev
HS9VT0ZK1E HS9VT0ZK1E
| URI | m2://inv/HS9VT0ZK1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15131#O3N1 (statement). In R80GS8W0WA/e1, proposition 5
History
- 2026-10-28: add by m2/v0.4.2
David Gilbarg HS9Z0BW1M5
| URI | m2://inv/HS9Z0BW1M5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Gilbarg, David Gilbarg (topic). Also Wikidata Q1174541
History
- 2026-11-02: add by m2/dev
Generalized Lindeberg CLT HS9Z5QF0DT
| URI | m2://inv/HS9Z5QF0DT |
|---|---|
| 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.10840#CJTG, Generalized Lindeberg CLT (statement). In P0HKF5DY7M/e1, theorem C.4
History
- 2026-10-27: add by m2/v0.3.5
HSA4836ENM HSA4836ENM
| URI | m2://inv/HSA4836ENM |
|---|---|
| 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.06206#U9O7 (statement). In A7611PTXVQ/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.10
Example HSACYS88NB
| URI | m2://inv/HSACYS88NB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monotonicity of entailment#ZSS0, Example (example)
History
- 2026-11-02: add by m2/dev
Sharp representation-relative approximate descent HSAJEN41KX
| URI | m2://inv/HSAJEN41KX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20207#GLBG, Sharp representation-relative approximate descent (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples HSAM7NYV6N
| URI | m2://inv/HSAM7NYV6N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solvable Lie algebra#5R54, Examples (example)
History
- 2026-11-02: add by m2/dev
HSAS02FR4Q HSAS02FR4Q
| URI | m2://inv/HSAS02FR4Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12108#610S (statement). In JQH3FHYPW3/e1, theorem 2.10
History
- 2026-10-28: add by m2/v0.4.2
HSASFCY02C HSASFCY02C
| URI | m2://inv/HSASFCY02C |
|---|---|
| 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.12983#WGPY (statement). In M6TFZ6E060/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Robert Mills HSB7SZ20SY
| URI | m2://inv/HSB7SZ20SY |
|---|---|
| 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 Q547394, Robert Mills (unknown). Also nLab Robert Mills
History
- 2026-10-26: add by m2/dev
Aggregated distribution HSB8F8QGPM
| URI | m2://inv/HSB8F8QGPM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aggregated distribution, Aggregated distribution (definition). Also Wikidata Q20072560
History
- 2026-11-02: add by m2/dev
Mortality rate HSB8RVNZWQ
| URI | m2://inv/HSB8RVNZWQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mortality rate, Mortality rate (definition). Also Wikidata Q58702
History
- 2026-11-02: add by m2/dev
An independent subfamily suffices HSB92JMH85
| URI | m2://inv/HSB92JMH85 |
|---|---|
| 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.00099#NSCO, An independent subfamily suffices (statement). In NNBY2AEHP4/e1, corollary 1.5
History
- 2026-10-30: add by m2/v0.4.12
Jeffrey H. Smith HSBH8NGC8V
| URI | m2://inv/HSBH8NGC8V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeffrey H. Smith, Jeffrey H. Smith (topic). Also Wikidata Q1686446
History
- 2026-11-02: add by m2/dev
Global illumination HSBPB99WJ6
| URI | m2://inv/HSBPB99WJ6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#33RJ, Global illumination (unknown)
History
- 2026-11-02: add by m2/dev
HSBQT1JH27 HSBQT1JH27
| URI | m2://inv/HSBQT1JH27 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05216#YCQM (definition). In J1VCHM6V0S/e1, definition 3.4
History
- 2026-10-29: add by m2/v0.4.10
CR manifold HSBQV3NNHT
| URI | m2://inv/HSBQV3NNHT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | CR manifold ZC78JKZX9S |
Mentions
- wikidata: Wikidata Q5014001, CR manifold (unknown). Also EoM CR-manifold, nLab CR manifold
- wikipedia: Wikipedia CR manifold, CR manifold (definition). Also Wikidata Q5014001
History
- 2026-10-26: add by m2/dev
HSBW8WF5NR HSBW8WF5NR
| URI | m2://inv/HSBW8WF5NR |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#0QEV (problem). In WAXS6FS388/e1, problem 1
History
- 2026-10-30: add by m2/v0.4.12
HSC1Y2CENV HSC1Y2CENV
| URI | m2://inv/HSC1Y2CENV |
|---|---|
| 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.38014#ZZJB (statement). In F3X5W4E0AJ/e1, theorem 5.3
History
- 2026-10-30: add by m2/v0.4.12
great dodecicosidodecahedron HSC3E6VK7F
| URI | m2://inv/HSC3E6VK7F |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2718490, great dodecicosidodecahedron (unknown). Also MathWorld GreatDodecicosidodecahedron
- wikipedia: Wikipedia Great dodecicosidodecahedron, Great dodecicosidodecahedron (object). Also Wikidata Q2718490
History
- 2026-10-26: add by m2/dev
Copernican system HSC4V5RC2B
| URI | m2://inv/HSC4V5RC2B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#RXOI, Copernican system (unknown)
History
- 2026-11-02: add by m2/dev
HSC4XN15Q2 HSC4XN15Q2
| URI | m2://inv/HSC4XN15Q2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/incompleteness-provability/rosser-thm.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 28.4
History
- 2026-11-01: add by m2/v0.6.13
Adams HSC64FD8DK
| URI | m2://inv/HSC64FD8DK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#I6JS, Adams (definition)
History
- 2026-11-02: add by m2/dev
chiral knot HSC82SM22R
| URI | m2://inv/HSC82SM22R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4064646, chiral knot (unknown). Also MathWorld ChiralKnot
- wikipedia: Wikipedia Chiral knot, Chiral knot (definition). Also Wikidata Q4064646
History
- 2026-10-26: add by m2/dev
HSCAVSYS7E HSCAVSYS7E
| URI | m2://inv/HSCAVSYS7E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35858#AE2R (statement). In R2K4HZN8RW/e1, proposition 5.14
History
- 2026-10-30: add by m2/v0.4.12
HSCDJATZB6 HSCDJATZB6
| URI | m2://inv/HSCDJATZB6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09900#86MD (definition). In ATSYBWEMMP/e1, definition 3.10
History
- 2026-10-29: add by m2/v0.4.10
HSCHEPWTDW HSCHEPWTDW
| URI | m2://inv/HSCHEPWTDW |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.12496#NIZK (conjecture). In 1DH15ZJFRZ/e1, conjecture 2
History
- 2026-10-27: add by m2/v0.3.5
Higher-order count HSCJMRDA77
| URI | m2://inv/HSCJMRDA77 |
|---|---|
| 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.10557#6R4A, Higher-order count (statement). In D2MXWDTHWS/e1, corollary 16
History
- 2026-10-29: add by m2/v0.4.10
Donald John Lewis HSCNV9VYJX
| URI | m2://inv/HSCNV9VYJX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TT69, Donald John Lewis (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2UVV, Donald John Lewis (topic)
History
- 2026-11-02: add by m2/dev
HSCQV90FBG HSCQV90FBG
| URI | m2://inv/HSCQV90FBG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-trees.ptx#exercise-12 (exercise). In Y91XFCEVHQ, exercise, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Definitions HSCVXNQZ91
| URI | m2://inv/HSCVXNQZ91 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indecomposable continuum#LFAR, Definitions (definition)
History
- 2026-11-02: add by m2/dev
HSD9G07R0T HSD9G07R0T
| URI | m2://inv/HSD9G07R0T |
|---|---|
| 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.11468#XCLH (statement). In FR4FDRHZJT/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.3
Möbius tetrads HSDAEPDYR5
| URI | m2://inv/HSDAEPDYR5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#W3N7, Möbius tetrads (definition)
History
- 2026-11-02: add by m2/dev
Frank--Wolfe gap, dual gap, and squared distance HSDH7GP8KZ
| URI | m2://inv/HSDH7GP8KZ |
|---|---|
| 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.17127#1A5F, Frank--Wolfe gap, dual gap, and squared distance (statement). In NZJ5B5KSDQ/e1, corollary 3
History
- 2026-10-28: add by m2/v0.4.2
Faulkner–Younger 44-graph HSDHTRKQDM
| URI | m2://inv/HSDHTRKQDM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2816826, Faulkner–Younger 44-graph (unknown). Also House of Graphs 1068
History
- 2026-10-26: add by m2/dev
HSDJXDJ4VG HSDJXDJ4VG
| URI | m2://inv/HSDJXDJ4VG |
|---|---|
| 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 1709.01658#XJIJ (statement). In 90A5Q9HRQK/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.5
Example HSDMFMVSDT
| URI | m2://inv/HSDMFMVSDT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Five-term exact sequence#60QA, Example (example)
History
- 2026-11-02: add by m2/dev
Example HSDN3B5PH1
| URI | m2://inv/HSDN3B5PH1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic control#AIIA, Example (example)
History
- 2026-11-02: add by m2/dev
Statement HSDWVVCGXS
| URI | m2://inv/HSDWVVCGXS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Restriction conjecture#UHZS, Statement (statement)
History
- 2026-11-02: add by m2/dev
Jones polynomial HSE54Q87AS
| URI | m2://inv/HSE54Q87AS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#B9D2, Jones polynomial (definition)
History
- 2026-11-02: add by m2/dev
Fractional revival HSE6QV3ZP6
| URI | m2://inv/HSE6QV3ZP6 |
|---|---|
| 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.30619#QOTG, Fractional revival (statement). In FCY11C2FV0/e1, proposition 2
History
- 2026-10-31: add by m2/v0.5.6
HSE7ZV3VBG HSE7ZV3VBG
| URI | m2://inv/HSE7ZV3VBG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.09379#WOM3 (statement). In DJXA86KDY8/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
798 (number) HSE9S4D6DE
| URI | m2://inv/HSE9S4D6DE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#AO76, 798 (number) (unknown)
History
- 2026-11-02: add by m2/dev
quippian HSEGVR2XNX
| URI | m2://inv/HSEGVR2XNX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#MZ4F, quippian (definition)
History
- 2026-11-02: add by m2/dev
HSENKQMCRF HSENKQMCRF
| URI | m2://inv/HSENKQMCRF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/artin.tex#theorem-5 (statement). In RZP28ERRZV, theorem, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
Bettina Eick HSEP8E4QZP
| URI | m2://inv/HSEP8E4QZP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#QXJH, Bettina Eick (topic)
History
- 2026-11-02: add by m2/dev
Lagrange's formula (disambiguation) HSET95ZEXF
| URI | m2://inv/HSET95ZEXF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#81RF, Lagrange's formula (disambiguation) (unknown)
History
- 2026-11-02: add by m2/dev
Bhat, P. N. Mari HSEXWRX4ZW
| URI | m2://inv/HSEXWRX4ZW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#O5XX, Bhat, P. N. Mari (unknown)
History
- 2026-11-02: add by m2/dev
HSEY29SEMK HSEY29SEMK
| URI | m2://inv/HSEY29SEMK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26438#FA8L (statement)
History
- 2026-11-01: add by m2/v0.6.15
Many-worlds interpretation HSEYBXQKXT
| URI | m2://inv/HSEYBXQKXT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#ALZ2, Many-worlds interpretation (unknown)
History
- 2026-11-02: add by m2/dev
HSF0P9AFCN HSF0P9AFCN
| URI | m2://inv/HSF0P9AFCN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20725#BAJ5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
consistency with equality HSF1JNN9ZR
| URI | m2://inv/HSF1JNN9ZR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07508#8V3R, consistency with equality (example). In TPA3E67MKK/e1, example 5.12
History
- 2026-10-29: add by m2/v0.4.10
HSF54MP096 HSF54MP096
| URI | m2://inv/HSF54MP096 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#proof-23 (proof). In E59CDZA4DP, proof, section 1.7.2
History
- 2026-11-01: add by m2/v0.6.13
HSFDG3KD5Q HSFDG3KD5Q
| URI | m2://inv/HSFDG3KD5Q |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#I55N (definition). In G70Q2FB591/e1, definition 4.28
History
- 2026-10-28: add by m2/v0.4.2
HSFHJF2K0A HSFHJF2K0A
| URI | m2://inv/HSFHJF2K0A |
|---|---|
| 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#AX2H (statement)
History
- 2026-11-01: add by m2/v0.6.15
HSFKXHSY94 HSFKXHSY94
| URI | m2://inv/HSFKXHSY94 |
|---|---|
| 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.13295#SGE8 (statement). In 8Q7QXTWD0S/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Theorems in logic HSFSK36D6Y
| URI | m2://inv/HSFSK36D6Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theorem#ZNUT, Theorems in logic (statement)
History
- 2026-11-02: add by m2/dev
HSG4CKMMR6 HSG4CKMMR6
| URI | m2://inv/HSG4CKMMR6 |
|---|---|
| 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.11210#K96G (statement). In CRFDGFZHBF/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.3
Roland Sprague HSG51T2XZ2
| URI | m2://inv/HSG51T2XZ2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#ACSX, Roland Sprague (topic)
History
- 2026-11-02: add by m2/dev
HSG6WSFZFG HSG6WSFZFG
| URI | m2://inv/HSG6WSFZFG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10519#Z4IX (statement). In 83MMH8VF1X/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
HSG96YP24S HSG96YP24S
| URI | m2://inv/HSG96YP24S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-37 (exercise). In VNMV985MXX, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Properties HSGC44MNJ8
| URI | m2://inv/HSGC44MNJ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential distribution#PUAY, Properties (statement)
History
- 2026-11-02: add by m2/dev
star HSGD2SXJH9
| URI | m2://inv/HSGD2SXJH9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q523, star (definition). Also ProofWiki Definition:Star_(Physics)
History
- 2026-10-26: add by m2/dev
HSGED5A0E6 HSGED5A0E6
| URI | m2://inv/HSGED5A0E6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#DD27 (statement)
History
- 2026-11-01: add by m2/v0.6.15
HSGJAVC5F7 HSGJAVC5F7
| URI | m2://inv/HSGJAVC5F7 |
|---|---|
| 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.13741#SU0W (statement). In Q43F8N7XDE/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.2
Borchers algebra HSGKA2V28H
| URI | m2://inv/HSGKA2V28H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borchers algebra, Borchers algebra (definition). Also Wikidata Q4944404
History
- 2026-11-02: add by m2/dev
Joseph Lipman HSGKZDD6X9
| URI | m2://inv/HSGKZDD6X9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HJAA, Joseph Lipman (topic)
History
- 2026-11-02: add by m2/dev
Properties HSGRRSJMDE
| URI | m2://inv/HSGRRSJMDE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular open set#WON4, Properties (statement)
History
- 2026-11-02: add by m2/dev
HSGWRF8NY5 HSGWRF8NY5
| URI | m2://inv/HSGWRF8NY5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27078#RI73 (definition)
History
- 2026-11-01: add by m2/v0.6.15
RDP guarantees of OPS with sub-exponential log-likelihood ratio HSGZK2BECZ
| URI | m2://inv/HSGZK2BECZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19573#A7DD, RDP guarantees of OPS with sub-exponential log-likelihood ratio (statement). In NM6Z2R61CN/e1, corollary 13
History
- 2026-10-28: add by m2/v0.4.2
HSH91EEXZG HSH91EEXZG
| URI | m2://inv/HSH91EEXZG |
|---|---|
| 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 2301.02848#93HH (statement). In G6WQDW52TJ/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.6
HSHCHH8MT8 HSHCHH8MT8
| URI | m2://inv/HSHCHH8MT8 |
|---|---|
| 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.26089#VWP5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Local solutions and their seam defect HSHJED1JM9
| URI | m2://inv/HSHJED1JM9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.09848#X4EZ, Local solutions and their seam defect (statement). In HF7YNMW39N/e1, proposition 6.6
History
- 2026-10-27: add by m2/v0.4.0
Corollary HSHSPXXSFC
| URI | m2://inv/HSHSPXXSFC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie algebra extension#HK3J, Corollary (statement)
History
- 2026-11-02: add by m2/dev
HSHTVHSMZS HSHTVHSMZS
| URI | m2://inv/HSHTVHSMZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.21255#NYSE (statement)
History
- 2026-11-02: add by m2/v0.6.18
Wurtzite (crystal structure) HSJ03CC9DJ
| URI | m2://inv/HSJ03CC9DJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexagonal crystal family#OT7X, Wurtzite (crystal structure) (unknown)
History
- 2026-11-02: add by m2/dev
Related results HSJ21V7B07
| URI | m2://inv/HSJ21V7B07 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zermelo's categoricity theorem#9W9T, Related results (statement)
History
- 2026-11-02: add by m2/dev
Boundary invariant tail HSJ4AJ8Z9M
| URI | m2://inv/HSJ4AJ8Z9M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19421#YQ8N, Boundary invariant tail (statement). In 3S1VFGYWQE/e1, lemma 16
History
- 2026-10-28: add by m2/v0.4.2
HSJ8A9RQAY HSJ8A9RQAY
| URI | m2://inv/HSJ8A9RQAY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#thm-6 (statement). In N54F33XE07, thm, section C.3
History
- 2026-11-01: add by m2/v0.6.13
Casio fx-92 HSJBZ2W9N6
| URI | m2://inv/HSJBZ2W9N6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Casio V.P.A.M. calculators#6KAC, Casio fx-92 (unknown)
History
- 2026-11-02: add by m2/dev
Right kite HSJDX3SDER
| URI | m2://inv/HSJDX3SDER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Right kite, Right kite (definition). Also Wikidata Q7333618
History
- 2026-11-02: add by m2/dev
Clifford covariance HSJGR1HETQ
| URI | m2://inv/HSJGR1HETQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.03745#DK1P, Clifford covariance (statement). In YWXVX6AX8F/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
GAP HSJJFAGJN7
| URI | m2://inv/HSJJFAGJN7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q677161, GAP (unknown). Also nLab GAP
History
- 2026-10-26: add by m2/dev
Positive semidefinite partitions HSJNQRBBNQ
| URI | m2://inv/HSJNQRBBNQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#VMTL, Positive semidefinite partitions (statement). In 9YAE8FNQST/e1, corollary 7.2
History
- 2026-10-30: add by m2/v0.4.12
Uniform-order minimax complexity HSJTWJ5CY7
| URI | m2://inv/HSJTWJ5CY7 |
|---|---|
| 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.03638#8K3H, Uniform-order minimax complexity (statement). In H39AZG67B6/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
El Mirage HSJV314Y87
| URI | m2://inv/HSJV314Y87 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#BXTA, El Mirage (unknown)
History
- 2026-11-02: add by m2/dev
HSK03K9DBF HSK03K9DBF
| URI | m2://inv/HSK03K9DBF |
|---|---|
| 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.09078#8TDC (statement). In B4GK8NEZM9/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.10
HSKK91Q2G5 HSKK91Q2G5
| URI | m2://inv/HSKK91Q2G5 |
|---|---|
| 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.16657#2TTV (statement). In SRQ37RX6MK/e1, corollary 6.3
History
- 2026-10-28: add by m2/v0.4.2
Partial residual plot HSKME8JEXQ
| URI | m2://inv/HSKME8JEXQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial residual plot, Partial residual plot (definition). Also Wikidata Q7140385
History
- 2026-11-02: add by m2/dev
Theorem HSKNK59ZYE
| URI | m2://inv/HSKNK59ZYE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Countable set#0GY2, Theorem (statement)
History
- 2026-11-02: add by m2/dev
HSKTZ2GQVK HSKTZ2GQVK
| URI | m2://inv/HSKTZ2GQVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.04124#1GWP (statement). In DB9WCCW840/e1, lemma 0.8
History
- 2026-10-29: add by m2/v0.4.12
HSM1J19VNW HSM1J19VNW
| URI | m2://inv/HSM1J19VNW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09171#WLBJ (statement). In 5ZPSZFE08Q/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
HSM3CB916P HSM3CB916P
| URI | m2://inv/HSM3CB916P |
|---|---|
| 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 2405.10580#PPGB (statement). In FXEJE0PWEP/e1, lemma 9.2
History
- 2026-10-27: add by m2/v0.3.5
HSM3D3RF3N HSM3D3RF3N
| URI | m2://inv/HSM3D3RF3N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.23812#2Z0O (statement). In D8XZBXJPR5/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.3.5
Abiyun al-Bitriq HSMC506A0F
| URI | m2://inv/HSMC506A0F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abiyun al-Bitriq, Abiyun al-Bitriq (topic). Also Wikidata Q20551608
History
- 2026-11-02: add by m2/dev
Fractional Hardy inequality HSMM6Z24CW
| URI | m2://inv/HSMM6Z24CW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardy's inequality#HXNX, Fractional Hardy inequality (statement)
History
- 2026-11-02: add by m2/dev
Lauren Williams HSMN9EFFW0
| URI | m2://inv/HSMN9EFFW0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lauren Williams (mathematician), Lauren Williams (topic). Also Wikidata Q18738769
History
- 2026-11-02: add by m2/dev
K-convexity in Rn HSMPS8HK1J
| URI | m2://inv/HSMPS8HK1J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-convexity in Rn, K-convexity in Rn (definition). Also Wikidata Q118900172
History
- 2026-11-02: add by m2/dev
Animal Math HSMQ6NQQ2S
| URI | m2://inv/HSMQ6NQQ2S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Animal Math, Animal Math (definition). Also Wikidata Q137217088
History
- 2026-11-02: add by m2/dev
HSMTX22N43 HSMTX22N43
| URI | m2://inv/HSMTX22N43 |
|---|---|
| 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.35421#FN8I (statement). In KE8B8KMDJJ/e1, corollary 4
History
- 2026-10-30: add by m2/v0.4.12
perfect HSMYNRXM43
| URI | m2://inv/HSMYNRXM43 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#39ZW, perfect (definition)
History
- 2026-11-02: add by m2/dev
Rectified 6-orthoplexes HSN98DDM21
| URI | m2://inv/HSN98DDM21 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified 6-orthoplexes, Rectified 6-orthoplexes (definition). Also Wikidata Q7303160
History
- 2026-11-02: add by m2/dev
Cameron–Erdős conjecture HSNC1RPA0W
| URI | m2://inv/HSNC1RPA0W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures by Paul Erdős#4R8D, Cameron–Erdős conjecture (statement)
History
- 2026-11-02: add by m2/dev
HSNCKJXYFX HSNCKJXYFX
| URI | m2://inv/HSNCKJXYFX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13378#VPVN (statement). In QAH7SV1JT6/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
HSND7MPFTS HSND7MPFTS
| URI | m2://inv/HSND7MPFTS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21399#MLVZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Hans Carl Friedrich von Mangoldt HSNSGHFHGY
| URI | m2://inv/HSNSGHFHGY |
|---|---|
| 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 Q65194 (unknown). Also ProofWiki Mathematician:Hans_Carl_Friedrich_von_Mangoldt
- wikipedia: Wikipedia Hans Carl Friedrich von Mangoldt, Hans Carl Friedrich von Mangoldt (topic). Also Wikidata Q65194
History
- 2026-10-26: add by m2/dev
HSNV0WW46S HSNV0WW46S
| URI | m2://inv/HSNV0WW46S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_ramsey_probability.ptx#thm_rnn (statement). In QKM9DD2H56, theorem, section 11.4
History
- 2026-11-01: add by m2/v0.6.13
Gouraud shading HSNV7XCQZ5
| URI | m2://inv/HSNV7XCQZ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#PBVN, Gouraud shading (unknown)
History
- 2026-11-02: add by m2/dev
Moshé Machover HSP55ZB6WM
| URI | m2://inv/HSP55ZB6WM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moshé Machover, Moshé Machover (topic). Also Wikidata Q8115718
History
- 2026-11-02: add by m2/dev
Cramer's theorem HSPDG98ED8
| URI | m2://inv/HSPDG98ED8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q20278711, Cramer's theorem (algebraic curves) (statement). Also Wikidata Q20278711
- thousand_plus: thousand_plus Q20278711, Cramer's theorem (algebraic curves) (statement). Also Wikidata Q20278711, Wikipedia Cramer's theorem (algebraic curves)
- wikipedia: Wikipedia Cramer's theorem (algebraic curves), Cramer's theorem (statement). Also Wikidata Q20278711
History
- 2026-10-26: add by m2/dev
Shende HSPN0DMRP7
| URI | m2://inv/HSPN0DMRP7 |
|---|---|
| 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.24584#LPTD, Shende (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pieter Cuijpers HSPVTD6GE2
| URI | m2://inv/HSPVTD6GE2 |
|---|---|
| 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 Q102292637, Pieter Cuijpers (unknown). Also nLab Pieter Cuijpers
History
- 2026-10-26: add by m2/dev
HSPWQZBCM2 HSPWQZBCM2
| URI | m2://inv/HSPWQZBCM2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06719#KGIL (statement). In CBSA058Y53/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
Theorem HSPXBDV76D
| URI | m2://inv/HSPXBDV76D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension theory (algebra)#V2YV, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Exalcomm HSQ4ZMX9HQ
| URI | m2://inv/HSQ4ZMX9HQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exalcomm, Exalcomm (definition). Also Wikidata Q5419259
History
- 2026-11-02: add by m2/dev
matrix HSQHN69R6X
| URI | m2://inv/HSQHN69R6X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#2NFK, matrix (definition)
History
- 2026-11-02: add by m2/dev
Two-edge lattice identity HSQKQE5Z4M
| URI | m2://inv/HSQKQE5Z4M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22082#E0HJ, Two-edge lattice identity (statement). In 7PACGDW3N7/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.4.0
Generalizations HSQQSC0SG5
| URI | m2://inv/HSQQSC0SG5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Bruijn–Erdős theorem (graph theory)#V64Y, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Kendra Schmid HSR0T8Z4FN
| URI | m2://inv/HSR0T8Z4FN |
|---|---|
| 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#D414, Kendra Schmid (unknown)
History
- 2026-11-02: add by m2/dev
Relative complements HSR2P8X798
| URI | m2://inv/HSR2P8X798 |
|---|---|
| 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.26576#23Y3, Relative complements (statement)
History
- 2026-11-01: add by m2/v0.6.15
HSRA2DV43Q HSRA2DV43Q
| URI | m2://inv/HSRA2DV43Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26382#OVB0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
HSRDD7Q185 HSRDD7Q185
| URI | m2://inv/HSRDD7Q185 |
|---|---|
| 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.25129#THJV (statement)
History
- 2026-11-01: add by m2/v0.6.15
HSRGP0H39Y HSRGP0H39Y
| URI | m2://inv/HSRGP0H39Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#4MCR (statement). In ESDKTYDHC8/e1, lemma 15
History
- 2026-10-29: add by m2/v0.4.12
recursive set HSRHZ7JZZS
| URI | m2://inv/HSRHZ7JZZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#2PXM, recursive set (definition)
History
- 2026-11-02: add by m2/dev
HSRWMYB1HP HSRWMYB1HP
| URI | m2://inv/HSRWMYB1HP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33360#MPIQ (statement). In GH6FSDK4YB/e1, corollary 5.2
History
- 2026-10-30: add by m2/v0.4.12
HSS27K06WF HSS27K06WF
| URI | m2://inv/HSS27K06WF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12014#CS62 (statement). In DR7BK4CQ0V/e1, proposition 6.9
History
- 2026-10-28: add by m2/v0.4.3
HSS8B0NHT2 HSS8B0NHT2
| URI | m2://inv/HSS8B0NHT2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33953#XWPF (statement). In QS8R9BEJ8N/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
Large values estimates HSSC4H29NM
| URI | m2://inv/HSSC4H29NM |
|---|---|
| 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.09567#NSLJ, Large values estimates (statement). In 7RV6BDZAFK/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Superpattern HSSC7PVQAZ
| URI | m2://inv/HSSC7PVQAZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#5G45, Superpattern (definition)
History
- 2026-11-02: add by m2/dev
HSSKGBAKJ6 HSSKGBAKJ6
| URI | m2://inv/HSSKGBAKJ6 |
|---|---|
| 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.20489#3E1Y (statement). In BJ8JJZ0ZWT/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.2
Orbit-basis inner product for DOS HSSMCHH7SQ
| URI | m2://inv/HSSMCHH7SQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10745#J94I, Orbit-basis inner product for DOS (definition). In 5MJ4NJ5ZCV/e1, definition 4.6
History
- 2026-10-28: add by m2/v0.4.3
Matthew Cook HSSTC8SWBJ
| URI | m2://inv/HSSTC8SWBJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matthew Cook, Matthew Cook (topic). Also Wikidata Q11099175
History
- 2026-11-02: add by m2/dev
Meta-No Free Lunch HSSVRWGWYF
| URI | m2://inv/HSSVRWGWYF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34458#JQIV, Meta-No Free Lunch (statement). In 2KQ85H6MS4/e1, corollary 2
History
- 2026-10-30: add by m2/v0.4.12
Snowball sampling HSSWW0A0YB
| URI | m2://inv/HSSWW0A0YB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snowball sampling, Snowball sampling (definition). Also Wikidata Q868123
History
- 2026-11-02: add by m2/dev
Definition HST8YMBFQ2
| URI | m2://inv/HST8YMBFQ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Effective domain#6BWJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
HSTDV4V709 HSTDV4V709
| URI | m2://inv/HSTDV4V709 |
|---|---|
| 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 0902.4887#PZMX (statement). In MYQ05J9R20/e1, proposition 2.14
History
- 2026-10-27: add by m2/v0.3.5
HSTKC9AQCR HSTKC9AQCR
| URI | m2://inv/HSTKC9AQCR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#H40E (example)
History
- 2026-11-02: add by m2/v0.6.18
Applications HSTS3CXSTV
| URI | m2://inv/HSTS3CXSTV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Belt problem#9UWK, Applications (example)
History
- 2026-11-02: add by m2/dev
HSV2MHEPW6 HSV2MHEPW6
| URI | m2://inv/HSV2MHEPW6 |
|---|---|
| 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 2506.00952#W09T (statement). In GX0TV70D4N/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Multi-attribute global inference of quality HSV3D4KHBY
| URI | m2://inv/HSV3D4KHBY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multi-attribute global inference of quality, Multi-attribute global inference of quality (definition). Also Wikidata Q6934426
History
- 2026-11-02: add by m2/dev
Taylor's theorem for multivariate functions HSV6WRYEBN
| URI | m2://inv/HSV6WRYEBN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taylor's theorem#77A5, Taylor's theorem for multivariate functions (statement)
History
- 2026-11-02: add by m2/dev
induction principle, for truncation HSV7R3BB1F
| URI | m2://inv/HSV7R3BB1F |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.11/induction-principle-for-truncation, induction principle, for truncation (concept). In N54F33XE07, index, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Reinhardt domain HSV9H26942
| URI | m2://inv/HSV9H26942 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7310358, Reinhardt domain (concept). Also EoM Reinhardt_domain, MathWorld ReinhardtDomain
History
- 2026-10-26: add by m2/dev
HSVHEQEYQ0 HSVHEQEYQ0
| URI | m2://inv/HSVHEQEYQ0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 5.10
History
- 2026-11-01: add by m2/v0.6.13
Choice function HSVPB0C0H6
| URI | m2://inv/HSVPB0C0H6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#NBW2, Choice function (definition)
History
- 2026-11-02: add by m2/dev
theorem of Bertini HSVXM8CNXQ
| URI | m2://inv/HSVXM8CNXQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7782345, Bertini's theorem (statement). Also Wikidata Q7782345
- thousand_plus: thousand_plus Q7782345, Bertini's theorem (statement). Also Wikidata Q7782345, Wikipedia Bertini's theorem
- wikidata: Wikidata Q7782345, theorem of Bertini (statement). Also EoM Bertini_theorems
- wikipedia: Wikipedia Theorem of Bertini, Theorem of Bertini (statement). Also Wikidata Q7782345
History
- 2026-10-26: add by m2/dev
Application HSW3G81CSY
| URI | m2://inv/HSW3G81CSY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite element method#2XII, Application (example)
History
- 2026-11-02: add by m2/dev
HSW957FG03 HSW957FG03
| URI | m2://inv/HSW957FG03 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-70 (exercise). In VNMV985MXX, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
HSWG50WDK4 HSWG50WDK4
| URI | m2://inv/HSWG50WDK4 |
|---|---|
| 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 2405.05684#1QOL (statement). In 1PR73ECTZB/e1, proposition 22
History
- 2026-10-27: add by m2/v0.3.5
Tractrix HSWMJE98TN
| URI | m2://inv/HSWMJE98TN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#FLJI, Tractrix (definition)
- wikipedia: Wikipedia List of curves#5TF1, Tractrix (definition)
History
- 2026-11-02: add by m2/dev
Examples HSWVMF50DM
| URI | m2://inv/HSWVMF50DM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasidihedral group#U205, Examples (example)
History
- 2026-11-02: add by m2/dev
Stability under quasifree additions HSWVY7GAAD
| URI | m2://inv/HSWVY7GAAD |
|---|---|
| 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.36016#JJT9, Stability under quasifree additions (statement). In NAM9ZMPHZ9/e1, proposition 4.10
History
- 2026-10-30: add by m2/v0.4.12
left-open HSXAEX4AA0
| URI | m2://inv/HSXAEX4AA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#UM6Q, left-open (definition)
History
- 2026-11-02: add by m2/dev
HSXCDVCB05 HSXCDVCB05
| URI | m2://inv/HSXCDVCB05 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05990#PMRN (statement). In G2R1ARDYK0/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Zeroth law HSXEJ379PF
| URI | m2://inv/HSXEJ379PF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Black hole thermodynamics#2AWI, Zeroth law (statement)
History
- 2026-11-02: add by m2/dev
Prime sextuplet HSXGXXGGM7
| URI | m2://inv/HSXGXXGGM7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime quadruplet#DEP0, Prime sextuplet (unknown)
History
- 2026-11-02: add by m2/dev
Deductive completeness HSXJ6JXBJE
| URI | m2://inv/HSXJ6JXBJE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completeness (logic)#XBX7, Deductive completeness (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations HSXPSQMKAS
| URI | m2://inv/HSXPSQMKAS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group ring#SQ8E, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Journal of Mathematical Physics, Analysis, Geometry HSXR5V828A
| URI | m2://inv/HSXR5V828A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of Mathematical Physics, Analysis, Geometry, Journal of Mathematical Physics, Analysis, Geometry (definition). Also Wikidata Q55434307
History
- 2026-11-02: add by m2/dev
HSXWV5Q2W7 HSXWV5Q2W7
| URI | m2://inv/HSXWV5Q2W7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.20131#7DLZ (statement). In 29D4TTE3J2/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.4.2
Product of group subsets HSY008C0K0
| URI | m2://inv/HSY008C0K0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Product of group subsets, Product of group subsets (definition). Also Wikidata Q338585
History
- 2026-11-02: add by m2/dev
HSY2587NN5 HSY2587NN5
| URI | m2://inv/HSY2587NN5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02379#PNQH (statement). In W9E40AZJ03/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
HSY46KS3RX HSY46KS3RX
| URI | m2://inv/HSY46KS3RX |
|---|---|
| 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.19360#S0J1 (statement). In MFCW5CY96C/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.2
Applications HSYN19BESG
| URI | m2://inv/HSYN19BESG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generating function#VDGU, Applications (example)
History
- 2026-11-02: add by m2/dev
Hydrostatic equilibrium HSYVCKRTXV
| URI | m2://inv/HSYVCKRTXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hydrostatic equilibrium, Hydrostatic equilibrium (definition). Also Wikidata Q208641
History
- 2026-11-02: add by m2/dev
HSYY6XG43N HSYY6XG43N
| URI | m2://inv/HSYY6XG43N |
|---|---|
| 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 1707.07744#VJB0 (statement). In WAFGHHHJY9/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
HSYYE5V1YK HSYYE5V1YK
| URI | m2://inv/HSYYE5V1YK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dual-trace.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 57.5
History
- 2026-11-01: add by m2/v0.6.13
Demographics of Togo HSZ32AFZ79
| URI | m2://inv/HSZ32AFZ79 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Togo, Demographics of Togo (definition). Also Wikidata Q2983227
History
- 2026-11-02: add by m2/dev
Data mining HSZ3PM7ZMB
| URI | m2://inv/HSZ3PM7ZMB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3NV8, Data mining (definition)
History
- 2026-11-02: add by m2/dev
HSZ6P8HY9Q HSZ6P8HY9Q
| URI | m2://inv/HSZ6P8HY9Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21060#UDBB (statement)
History
- 2026-11-02: add by m2/v0.6.18
HSZ92PCDFZ HSZ92PCDFZ
| URI | m2://inv/HSZ92PCDFZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05299#7W5I (statement). In 68AE571S4P/e1, lemma 2.9
History
- 2026-10-29: add by m2/v0.4.10
Finite difference method HSZF8ASN76
| URI | m2://inv/HSZF8ASN76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#JYZ5, Finite difference method (definition)
History
- 2026-11-02: add by m2/dev
nilpotent matrix HSZH6NG7SR
| URI | m2://inv/HSZH6NG7SR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Nilpotent matrix 0419GJC84P |
Mentions
- wikidata: Wikidata Q650670, nilpotent matrix (unknown). Also MathWorld NilpotentMatrix
- wikipedia: Wikipedia Nilpotent matrix, Nilpotent matrix (definition). Also Wikidata Q650670
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
One-power conjecture for the class HSZKJDCVFF
| URI | m2://inv/HSZKJDCVFF |
|---|---|
| Kind | conjecture |
| 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.07214#5FMB, One-power conjecture for the class (conjecture). In 669PBFJX0Z/e1, conjecture 2
History
- 2026-10-29: add by m2/v0.4.10
Laura McKenna HSZKY9KDHN
| URI | m2://inv/HSZKY9KDHN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#2F50, Laura McKenna (topic)
History
- 2026-11-02: add by m2/dev
Institute and Faculty of Actuaries HSZQ4E3M2T
| URI | m2://inv/HSZQ4E3M2T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institute and Faculty of Actuaries, Institute and Faculty of Actuaries (definition). Also Wikidata Q6039120
History
- 2026-11-02: add by m2/dev
Jacquet HSZSVEZ62Y
| URI | m2://inv/HSZSVEZ62Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#PA35, Jacquet (definition)
History
- 2026-11-02: add by m2/dev
Weyl sequence HSZX7FC0VW
| URI | m2://inv/HSZX7FC0VW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl sequence, Weyl sequence (definition). Also Wikidata Q55648762
History
- 2026-11-02: add by m2/dev