Inventory rows HX
The cards of the rows of the inventory whose ids start with HX. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
HX010Z670D HX010Z670D
| URI | m2://inv/HX010Z670D |
|---|---|
| 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.20401#QMA9 (statement)
History
- 2026-11-02: add by m2/v0.6.18
HX04AJACA2 HX04AJACA2
| URI | m2://inv/HX04AJACA2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/inner-form.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 60.1.2
History
- 2026-11-01: add by m2/v0.6.13
HX04XXYHB0 HX04XXYHB0
| URI | m2://inv/HX04XXYHB0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35396#8RH1 (definition). In 51N4SF53EV/e1, definition 2.7
History
- 2026-10-30: add by m2/v0.4.12
Three-dimensional version of Miquel's theorem HX054WFD1A
| URI | m2://inv/HX054WFD1A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Miquel's theorem#0PFG, Three-dimensional version of Miquel's theorem (statement)
History
- 2026-11-02: add by m2/dev
Chitikila Musili HX0664ST9B
| URI | m2://inv/HX0664ST9B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chitikila Musili, Chitikila Musili (topic). Also Wikidata Q5102239
History
- 2026-11-02: add by m2/dev
HX0DYE8EDG HX0DYE8EDG
| URI | m2://inv/HX0DYE8EDG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33733#E7AF (statement). In QBAP8C82FG/e1, lemma 16
History
- 2026-10-30: add by m2/v0.4.12
Subramaniam Ramadorai HX0H1DP9TN
| URI | m2://inv/HX0H1DP9TN |
|---|---|
| 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#JJ7N, Subramaniam Ramadorai (unknown)
History
- 2026-11-02: add by m2/dev
HX0XDWM103 HX0XDWM103
| URI | m2://inv/HX0XDWM103 |
|---|---|
| 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 2508.03972#Q2LJ (statement). In 2JD3KNKJ1P/e1, lemma 4.12
History
- 2026-10-27: add by m2/v0.3.5
Shorter notation HX0Z1HT6GJ
| URI | m2://inv/HX0Z1HT6GJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.11076#FVT8, Shorter notation (definition). In T9HZXHTQBJ/e1, definition 10
History
- 2026-10-27: add by m2/v0.3.6
Gerrit Bol HX0ZX8EV15
| URI | m2://inv/HX0ZX8EV15 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gerrit Bol, Gerrit Bol (topic). Also Wikidata Q647176
History
- 2026-11-02: add by m2/dev
Richard Bertram HX147CZ7D0
| URI | m2://inv/HX147CZ7D0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Bertram (mathematician), Richard Bertram (topic). Also Wikidata Q89758364
History
- 2026-11-02: add by m2/dev
Willmore flow HX14JM1XQK
| URI | m2://inv/HX14JM1XQK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#6QTM, Willmore flow (definition)
History
- 2026-11-02: add by m2/dev
Maximizing inequality HX16C1E1PN
| URI | m2://inv/HX16C1E1PN |
|---|---|
| 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 2609.25762#IHY8, Maximizing inequality (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition HX1MMF3EZZ
| URI | m2://inv/HX1MMF3EZZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variance#VY6U, Definition (definition)
History
- 2026-11-02: add by m2/dev
Pontryagin-Kuratowski theorem HX1RA940NP
| URI | m2://inv/HX1RA940NP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuratowski's theorem#Y2W7, Pontryagin-Kuratowski theorem (unknown)
History
- 2026-11-02: add by m2/dev
British HX1SB4C1GH
| URI | m2://inv/HX1SB4C1GH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of countries by past and projected future population#UMTE, British (unknown)
History
- 2026-11-02: add by m2/dev
Stability of the sample GGDPC path HX1X314PD2
| URI | m2://inv/HX1X314PD2 |
|---|---|
| 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.01050#AF7T, Stability of the sample GGDPC path (statement). In 48NN33SAH7/e1, theorem 6.3
History
- 2026-10-29: add by m2/v0.4.12
HX29NM2RGQ HX29NM2RGQ
| URI | m2://inv/HX29NM2RGQ |
|---|---|
| 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.21174#8LL5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Strassmann HX2A7VJK3B
| URI | m2://inv/HX2A7VJK3B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12013#YOIP, Strassmann (statement). In 3V26T0265C/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.3
Logical pluralism HX2GYZJYZE
| URI | m2://inv/HX2GYZJYZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logical pluralism, Logical pluralism (definition). Also Wikidata Q25101281
History
- 2026-11-02: add by m2/dev
HX2MX1TYFV HX2MX1TYFV
| URI | m2://inv/HX2MX1TYFV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-3-3-tests.xml#Ex-3-2 (example). In 907G4C4EJ1, example, section 3.3.3
History
- 2026-11-01: add by m2/v0.6.13
Trigintaduonion HX2RKAVEP1
| URI | m2://inv/HX2RKAVEP1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#BKBP, Trigintaduonion (definition)
History
- 2026-11-02: add by m2/dev
Theorems HX2XAP0SPF
| URI | m2://inv/HX2XAP0SPF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Word metric#93IU, Theorems (statement)
History
- 2026-11-02: add by m2/dev
HX2Z8WKW2A HX2Z8WKW2A
| URI | m2://inv/HX2Z8WKW2A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book induction.tex#lem:homotopy-induction-times-3 (statement). In N54F33XE07, lem, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
HX30EFHMGQ HX30EFHMGQ
| URI | m2://inv/HX30EFHMGQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_intro.ptx#exa_inclusion-exclusion_students (example). In QKM9DD2H56, example, section 7.1
History
- 2026-11-01: add by m2/v0.6.13
Formulas HX37S39BF2
| URI | m2://inv/HX37S39BF2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superellipsoid#XDZL, Formulas (statement)
History
- 2026-11-02: add by m2/dev
HX3CEMHTHY HX3CEMHTHY
| URI | m2://inv/HX3CEMHTHY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01731#BRFQ (definition). In 3TJ2FWXQ0D/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Amir Goharshady HX3FREEEPN
| URI | m2://inv/HX3FREEEPN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amir Goharshady, Amir Goharshady (topic). Also Wikidata Q130863961
History
- 2026-11-02: add by m2/dev
Therese Biedl HX3K8P0V30
| URI | m2://inv/HX3K8P0V30 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MUF8, Therese Biedl (topic)
History
- 2026-11-02: add by m2/dev
Properties HX3MWAG9GR
| URI | m2://inv/HX3MWAG9GR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypohamiltonian graph#S5G2, Properties (statement)
History
- 2026-11-02: add by m2/dev
HX3N80VH9V HX3N80VH9V
| URI | m2://inv/HX3N80VH9V |
|---|---|
| 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 2603.29838#KOGL (statement). In KP0X1RKKKB/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.4.0
HX3QEQQTQR HX3QEQQTQR
| URI | m2://inv/HX3QEQQTQR |
|---|---|
| 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.22759#WRF8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Chart-intercept equivalence HX3W1JY0TR
| URI | m2://inv/HX3W1JY0TR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31458#620M, Chart-intercept equivalence (statement). In SNWC76WKWT/e1, lemma H.8
History
- 2026-10-31: add by m2/v0.5.6
Properties HX4128CCBH
| URI | m2://inv/HX4128CCBH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nilpotent#G5LH, Properties (statement)
History
- 2026-11-02: add by m2/dev
HX41DHCD7S HX41DHCD7S
| URI | m2://inv/HX41DHCD7S |
|---|---|
| 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.06326#FU0S (statement). In DPR6B6X0JX/e1, lemma 20
History
- 2026-10-29: add by m2/v0.4.10
HX42AX6G5Z HX42AX6G5Z
| URI | m2://inv/HX42AX6G5Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22317#8334 (statement). In 2W5Z97BBW4/e1, proposition 5.4
History
- 2026-10-27: add by m2/v0.4.0
HX49ZXK37V HX49ZXK37V
| URI | m2://inv/HX49ZXK37V |
|---|---|
| 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.12329#Q52S (statement). In ZJQB9W60T6/e1, proposition 4.8
History
- 2026-10-28: add by m2/v0.4.2
HX4DCNSHYX HX4DCNSHYX
| URI | m2://inv/HX4DCNSHYX |
|---|---|
| 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.04675#GN55 (statement). In RDXNFF2CZP/e1, lemma 19
History
- 2026-10-29: add by m2/v0.4.12
Main theorem HX4DRNMHEF
| URI | m2://inv/HX4DRNMHEF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18884#8XI7, Main theorem (statement). In 8WM10QMA9E/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
HX4EDE2W7M HX4EDE2W7M
| URI | m2://inv/HX4EDE2W7M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroFunctions.tex#example-6 (example). In P1C114YBXG, example, section D
History
- 2026-11-01: add by m2/v0.6.13
Construction HX4QT59GAH
| URI | m2://inv/HX4QT59GAH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H tree#5EP2, Construction (definition)
History
- 2026-11-02: add by m2/dev
Applications HX5B27R8NW
| URI | m2://inv/HX5B27R8NW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schreier coset graph#6W2J, Applications (example)
History
- 2026-11-02: add by m2/dev
Examples HX5BPRV055
| URI | m2://inv/HX5BPRV055 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antiprism graph#EGM2, Examples (example)
History
- 2026-11-02: add by m2/dev
WebTorrent Desktop HX5F8X1XC3
| URI | m2://inv/HX5F8X1XC3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia WebTorrent#0DY9, WebTorrent Desktop (unknown)
History
- 2026-11-02: add by m2/dev
Telba Irony HX5S0RTPC2
| URI | m2://inv/HX5S0RTPC2 |
|---|---|
| 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#NQJK, Telba Irony (topic)
History
- 2026-11-02: add by m2/dev
David A. Lane HX5S16FFCG
| URI | m2://inv/HX5S16FFCG |
|---|---|
| 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#DT20, David A. Lane (unknown)
History
- 2026-11-02: add by m2/dev
Emilio HX5XZ3GYC0
| URI | m2://inv/HX5XZ3GYC0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of twin teammates in sports#GP3P, Emilio (unknown)
History
- 2026-11-02: add by m2/dev
Branching line HX636E4E8H
| URI | m2://inv/HX636E4E8H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#JEPK, Branching line (definition)
History
- 2026-11-02: add by m2/dev
Applications HX69RPXZRS
| URI | m2://inv/HX69RPXZRS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secant plane#MLTT, Applications (example)
History
- 2026-11-02: add by m2/dev
Nonequilibrium partition identity HX6EKSW0VP
| URI | m2://inv/HX6EKSW0VP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fluctuation theorem#C9GU, Nonequilibrium partition identity (statement)
History
- 2026-11-02: add by m2/dev
HX6KG59BC6 HX6KG59BC6
| URI | m2://inv/HX6KG59BC6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03856#6B0W (definition). In HTBRYNPHSJ/e1, definition 6.1
History
- 2026-10-29: add by m2/v0.4.12
Malgrange–Ehrenpreis theorem HX73BK97RW
| URI | m2://inv/HX73BK97RW |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 34-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2226750, Malgrange–Ehrenpreis theorem (statement). Also Wikidata Q2226750
- thousand_plus: thousand_plus Q2226750, Malgrange–Ehrenpreis theorem (statement). Also Wikidata Q2226750, Wikipedia Malgrange–Ehrenpreis theorem
- wikipedia: Wikipedia Malgrange–Ehrenpreis theorem, Malgrange–Ehrenpreis theorem (statement). Also Wikidata Q2226750
History
- 2026-10-26: add by m2/dev
Comparison lemma HX740N19BR
| URI | m2://inv/HX740N19BR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18544#K2GA, Comparison lemma (statement). In HT5MC1SPD9/e1, lemma 4.8
History
- 2026-10-28: add by m2/v0.4.2
Fourth moment in short intervals HX75GCBGC2
| URI | m2://inv/HX75GCBGC2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11487#WV58, Fourth moment in short intervals (statement). In 8S0K3Y25HM/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.3
Notation HX77TGC4NZ
| URI | m2://inv/HX77TGC4NZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bessel process#VW62, Notation (definition)
History
- 2026-11-02: add by m2/dev
HX7C6131AY HX7C6131AY
| URI | m2://inv/HX7C6131AY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.00813#SMRH (statement). In ADKTJTBR9Z/e1, proposition 9
History
- 2026-10-27: add by m2/v0.3.5
Friedberg numbering HX7GX3AT2J
| URI | m2://inv/HX7GX3AT2J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedberg numbering, Friedberg numbering (definition). Also Wikidata Q5503646
History
- 2026-11-02: add by m2/dev
HX7J5NV505 HX7J5NV505
| URI | m2://inv/HX7J5NV505 |
|---|---|
| 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.19358#425N (statement). In N3QZZ7BD0V/e1, theorem 11
History
- 2026-10-28: add by m2/v0.4.2
Mahler's compactness theorem HX7JG6MY90
| URI | m2://inv/HX7JG6MY90 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#FQH9, Mahler's compactness theorem (statement)
History
- 2026-11-02: add by m2/dev
HX7M6SZSHY HX7M6SZSHY
| URI | m2://inv/HX7M6SZSHY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.12486#LXN8 (statement). In 3343AEAXB3/e1, corollary 2.6
History
- 2026-10-27: add by m2/v0.3.5
Trump suit and trick value HX7PWSQV4R
| URI | m2://inv/HX7PWSQV4R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26265#9CPG, Trump suit and trick value (definition)
History
- 2026-11-01: add by m2/v0.6.15
Mercator projection HX7Z6D1F17
| URI | m2://inv/HX7Z6D1F17 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mercator projection, Mercator projection (definition). Also Wikidata Q309372
History
- 2026-11-02: add by m2/dev
HX81JG9EMH HX81JG9EMH
| URI | m2://inv/HX81JG9EMH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-basics.ptx#exercise-7 (exercise). In Y91XFCEVHQ, exercise, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Coefficient of raw agreement HX81T1F8Q4
| URI | m2://inv/HX81T1F8Q4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#6BQO, Coefficient of raw agreement (unknown)
History
- 2026-11-02: add by m2/dev
HX8317ZVXF HX8317ZVXF
| URI | m2://inv/HX8317ZVXF |
|---|---|
| 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 2506.21337#VYE6 (statement). In EPZN0JTG2Z/e1, lemma 4.5
History
- 2026-10-27: add by m2/v0.3.5
uniqueness, principle HX8EGD6ZTM
| URI | m2://inv/HX8EGD6ZTM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.2.4/uniqueness-principle, uniqueness, principle (concept). In N54F33XE07, index, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
HX8FF5XFXS HX8FF5XFXS
| URI | m2://inv/HX8FF5XFXS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34289#ZILW (statement). In 9RBATD2Z1F/e1, corollary 3.11
History
- 2026-10-30: add by m2/v0.4.12
Dynamical symmetry breaking HX8ND343BX
| URI | m2://inv/HX8ND343BX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spontaneous symmetry breaking#3352, Dynamical symmetry breaking (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations HX8NM3SG9T
| URI | m2://inv/HX8NM3SG9T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Busy beaver#R2Y9, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
John Kells Ingram HX9AKY0N9R
| URI | m2://inv/HX9AKY0N9R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Kells Ingram, John Kells Ingram (topic). Also Wikidata Q972178
History
- 2026-11-02: add by m2/dev
HX9E9K978J HX9E9K978J
| URI | m2://inv/HX9E9K978J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/induction/relations.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 44.3
History
- 2026-11-01: add by m2/v0.6.13
Applications HX9HR3R4ZN
| URI | m2://inv/HX9HR3R4ZN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable theory#J36P, Applications (example)
History
- 2026-11-02: add by m2/dev
HX9J93MMM1 HX9J93MMM1
| URI | m2://inv/HX9J93MMM1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31883#RSOY (statement). In XBHQRTBH62/e1, lemma 2.5
History
- 2026-10-31: add by m2/v0.5.6
HX9Q305PBV HX9Q305PBV
| URI | m2://inv/HX9Q305PBV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 46-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 2609.35577#OFI1 (definition). In 4F8QRV05BV/e1, definition 2.5
History
- 2026-10-30: add by m2/v0.4.12
HX9R7X4R0B HX9R7X4R0B
| URI | m2://inv/HX9R7X4R0B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.03704#H8GR (statement). In Q3PY5AGD6N/e1, corollary 2.4
History
- 2026-10-27: add by m2/v0.3.5
Allee effect HX9Y2CYDB0
| URI | m2://inv/HX9Y2CYDB0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Allee effect, Allee effect (definition). Also Wikidata Q2301505
History
- 2026-11-02: add by m2/dev
HX9YYQGE7Z HX9YYQGE7Z
| URI | m2://inv/HX9YYQGE7Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX, 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.14097#YRST (definition). In H52QQS8WZA/e1, definition 6.1
History
- 2026-10-27: add by m2/v0.3.5
HXA1YABCRH HXA1YABCRH
| URI | m2://inv/HXA1YABCRH |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/provability-consistency.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 17.7
History
- 2026-11-01: add by m2/v0.6.13
Definitions HXA4DVED8T
| URI | m2://inv/HXA4DVED8T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multipliers and centralizers (Banach spaces)#7WPB, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Statement of theorem HXA7M7QSWM
| URI | m2://inv/HXA7M7QSWM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite subdivision rule#UGJU, Statement of theorem (statement)
History
- 2026-11-02: add by m2/dev
Quality control HXAA0EBC82
| URI | m2://inv/HXAA0EBC82 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quality control, Quality control (object). Also Wikidata Q827792
History
- 2026-11-02: add by m2/dev
Properties HXAA5N9GD7
| URI | m2://inv/HXAA5N9GD7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elongated square gyrobicupola#OG6O, Properties (statement)
History
- 2026-11-02: add by m2/dev
HXAEF25KPM HXAEF25KPM
| URI | m2://inv/HXAEF25KPM |
|---|---|
| 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.22345#G542 (statement). In 7JATJ4VG9G/e1, proposition 8.1
History
- 2026-10-27: add by m2/v0.4.0
Conditionally convergent series HXAPDAMFD0
| URI | m2://inv/HXAPDAMFD0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#CA8I, Conditionally convergent series (definition)
History
- 2026-11-02: add by m2/dev
HXAXPA2EAJ HXAXPA2EAJ
| URI | m2://inv/HXAXPA2EAJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.02672#PBQ7 (definition). In ETRT1R1CQ8/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.4.0
Applications HXAXQZVR74
| URI | m2://inv/HXAXQZVR74 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tolman–Oppenheimer–Volkoff limit#KX63, Applications (example)
History
- 2026-11-02: add by m2/dev
HXAYKTFJ9B HXAYKTFJ9B
| URI | m2://inv/HXAYKTFJ9B |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#DUX6 (example). In 6WJ0R9YEBR/e1, example 5.7
History
- 2026-10-28: add by m2/v0.4.2
Universal generalization HXAZ0D02JS
| URI | m2://inv/HXAZ0D02JS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal generalization#E3VL, Universal generalization (statement)
History
- 2026-11-02: add by m2/dev
HXB3E3KEAZ HXB3E3KEAZ
| URI | m2://inv/HXB3E3KEAZ |
|---|---|
| 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.12319#AACC (statement). In FH8GB1C17K/e1, proposition 6
History
- 2026-10-28: add by m2/v0.4.2
HXBBQNVHTY HXBBQNVHTY
| URI | m2://inv/HXBBQNVHTY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/isomorphic-functions.tex#ex-1 (example). In PKGMM3P5QY, ex, section 79.2
History
- 2026-11-01: add by m2/v0.6.13
Hamburger moment problem HXBJGWE1X3
| URI | m2://inv/HXBJGWE1X3 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XC9Z, Hamburger moment problem (problem)
History
- 2026-11-02: add by m2/dev
Generalised lifted convolution HXBQ4RZ0DT
| URI | m2://inv/HXBQ4RZ0DT |
|---|---|
| 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.13892#TBLL, Generalised lifted convolution (definition). In HV9KKEBBDD/e1, definition V.1
History
- 2026-10-28: add by m2/v0.4.2
Sporadic group HXBS99SD78
| URI | m2://inv/HXBS99SD78 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of finite-dimensional Nichols algebras#OCPS, Sporadic group (definition)
History
- 2026-11-02: add by m2/dev
Quantum UEG HXBYWZWX8E
| URI | m2://inv/HXBYWZWX8E |
|---|---|
| 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.20910#XRIC, Quantum UEG (statement). In CETHKW9EBV/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.4.2
Intellectual property law HXC476XART
| URI | m2://inv/HXC476XART |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Text mining#3XJL, Intellectual property law (statement)
History
- 2026-11-02: add by m2/dev
HXC7MBDXB0 HXC7MBDXB0
| URI | m2://inv/HXC7MBDXB0 |
|---|---|
| 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.02790#Z3OK (statement). In NB7HZ8W2K2/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
Minimality of the principal-upset basis HXCD6DRYKC
| URI | m2://inv/HXCD6DRYKC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#950B, Minimality of the principal-upset basis (statement). In 5E9G06XJKC/e1, theorem 7.2
History
- 2026-10-28: add by m2/v0.4.2
HXCFNTX5VX HXCFNTX5VX
| URI | m2://inv/HXCFNTX5VX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31269#SA3D (example). In ZPT9XCCAPQ/e1, example A.0.6
History
- 2026-10-31: add by m2/v0.5.6
Inogon light HXCMSHJWRY
| URI | m2://inv/HXCMSHJWRY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moiré pattern#VF65, Inogon light (unknown)
History
- 2026-11-02: add by m2/dev
connected HXCWMMCWD1
| URI | m2://inv/HXCWMMCWD1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#M7XY, connected (definition)
History
- 2026-11-02: add by m2/dev
HXD7YWHMJA HXD7YWHMJA
| URI | m2://inv/HXD7YWHMJA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.02634#601E (statement). In EZ6PAF0MXH/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
HXDCX36B7Q HXDCX36B7Q
| URI | m2://inv/HXDCX36B7Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16492#JLIW (statement). In XQZ3X5A955/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Hierholzer's algorithm HXDDYY5159
| URI | m2://inv/HXDDYY5159 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eulerian path#XCKF, Hierholzer's algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Global contraction with a uniform stepsize interval HXDWR1WHP1
| URI | m2://inv/HXDWR1WHP1 |
|---|---|
| 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.09522#ZG54, Global contraction with a uniform stepsize interval (statement). In KKR9167FPT/e1, proposition 29
History
- 2026-10-29: add by m2/v0.4.10
Quasirandom group HXDZ9KHN50
| URI | m2://inv/HXDZ9KHN50 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasirandom group, Quasirandom group (definition). Also Wikidata Q110130642
History
- 2026-11-02: add by m2/dev
HXEB8YN5RA HXEB8YN5RA
| URI | m2://inv/HXEB8YN5RA |
|---|---|
| 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.34923#6G4U (statement). In 7WKVFJEZQT/e1, theorem 8
History
- 2026-10-30: add by m2/v0.4.12
HXEW694S4A HXEW694S4A
| URI | m2://inv/HXEW694S4A |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.06695#0VYM (example). In D6F8XGF5SS/e1, example 5.5
History
- 2026-10-27: add by m2/v0.3.6
HXEZ5JFNR5 HXEZ5JFNR5
| URI | m2://inv/HXEZ5JFNR5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36377#CTXH (statement). In M98F6VRPZ2/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
Definition HXF3Q956CZ
| URI | m2://inv/HXF3Q956CZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local system#680Y, Definition (definition)
History
- 2026-11-02: add by m2/dev
HXF6Z9YBXH HXF6Z9YBXH
| URI | m2://inv/HXF6Z9YBXH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15402#LRVC (definition). In WSE8SEHVXG/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
Braidoid algebra $\mathcal{B}_n$ HXF9A7GFTS
| URI | m2://inv/HXF9A7GFTS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-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 2609.37524#N88C, Braidoid algebra $\mathcal{B}_n$ (definition). In 4GTJAPF7Q3/e1, definition 6.1
History
- 2026-10-30: add by m2/v0.4.12
Standardized rate HXFCREBE4B
| URI | m2://inv/HXFCREBE4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Standardized rate, Standardized rate (definition). Also Wikidata Q16885229
History
- 2026-11-02: add by m2/dev
Marie Fabianová HXFDBMKCFT
| URI | m2://inv/HXFDBMKCFT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marie Fabianová, Marie Fabianová (topic). Also Wikidata Q95149718
History
- 2026-11-02: add by m2/dev
Applications HXG1BD9Q2E
| URI | m2://inv/HXG1BD9Q2E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Branch and bound#ZPJ2, Applications (example)
History
- 2026-11-02: add by m2/dev
HXG2JPPYS4 HXG2JPPYS4
| URI | m2://inv/HXG2JPPYS4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/partial-iso.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 46.5
History
- 2026-11-01: add by m2/v0.6.13
Oleksandr Feldman HXG2QA5R9G
| URI | m2://inv/HXG2QA5R9G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#V7ZZ, Oleksandr Feldman (unknown)
History
- 2026-11-02: add by m2/dev
HXGC9FKM79 HXGC9FKM79
| URI | m2://inv/HXGC9FKM79 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-53 (proof). In VNMV985MXX, proof, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
HXGHTC62PJ HXGHTC62PJ
| URI | m2://inv/HXGHTC62PJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#8FS5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
$L^2$ Runge approximation property HXGKFH83QV
| URI | m2://inv/HXGKFH83QV |
|---|---|
| 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.17524#U87T, $L^2$ Runge approximation property (statement). In MKA4QH9VRE/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Weak sunflower conjecture HXGKSE638C
| URI | m2://inv/HXGKSE638C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sunflower (mathematics)#P463, Weak sunflower conjecture (statement)
History
- 2026-11-02: add by m2/dev
Square pentagonal number HXGM5WKW3W
| URI | m2://inv/HXGM5WKW3W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentagonal number#FLCJ, Square pentagonal number (unknown)
History
- 2026-11-02: add by m2/dev
Michel Mandjes HXGM8H0BZ0
| URI | m2://inv/HXGM8H0BZ0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michel Mandjes, Michel Mandjes (topic). Also Wikidata Q6836478
History
- 2026-11-02: add by m2/dev
HXGMHBHVF1 HXGMHBHVF1
| URI | m2://inv/HXGMHBHVF1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06683#2SUB (statement). In NH7VBYH6PH/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
HXGR7NQAXG HXGR7NQAXG
| URI | m2://inv/HXGR7NQAXG |
|---|---|
| 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.03555#KHAX (statement). In 9JZJTRRVR1/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.12
HXGT4QPT3S HXGT4QPT3S
| URI | m2://inv/HXGT4QPT3S |
|---|---|
| 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.02079#ZHEU (statement). In CNS2J2E4T2/e1, theorem 20
History
- 2026-10-29: add by m2/v0.4.12
Camassa–Holm equation HXGT4ZG8JG
| URI | m2://inv/HXGT4ZG8JG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Camassa–Holm equation, Camassa–Holm equation (definition). Also Wikidata Q5025006
History
- 2026-11-02: add by m2/dev
Postnikov tower HXH4QPE8JB
| URI | m2://inv/HXH4QPE8JB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u7/postnikov-tower, Postnikov tower (concept). In N54F33XE07, index, section u1.u7
History
- 2026-11-01: add by m2/v0.6.13
Decay above the logarithmic comparison scale HXH7AMX835
| URI | m2://inv/HXH7AMX835 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#3STK, Decay above the logarithmic comparison scale (statement). In RYWAX33Z51/e1, proposition 10.1
History
- 2026-10-31: add by m2/v0.5.6
The method HXHAD1T2C9
| URI | m2://inv/HXHAD1T2C9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Color-coding#H3K1, The method (definition)
History
- 2026-11-02: add by m2/dev
HXHBB7HXCX HXHBB7HXCX
| URI | m2://inv/HXHBB7HXCX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1705.01594#DEDV (statement). In BR3N3GSY2C/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Matroid parity problem HXHE12W1M8
| URI | m2://inv/HXHE12W1M8 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matroid parity problem, Matroid parity problem (problem). Also Wikidata Q48999802
History
- 2026-11-02: add by m2/dev
HXHN8JVPNE HXHN8JVPNE
| URI | m2://inv/HXHN8JVPNE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02042#IAY9 (statement). In P3HWTYFDBX/e1, lemma 6.8
History
- 2026-10-29: add by m2/v0.4.12
HXHNAJESYG HXHNAJESYG
| URI | m2://inv/HXHNAJESYG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.04325#C3HE (statement). In 42XHT97E64/e1, corollary 6.8
History
- 2026-10-29: add by m2/v0.4.12
*{Sec. 6.1}; *{Defs. 2.1--2.2 and 6.11 HXHNBA1QDN
| URI | m2://inv/HXHNBA1QDN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23341#2DZ0, *{Sec. 6.1}; *{Defs. 2.1--2.2 and 6.11 (definition)
History
- 2026-11-02: add by m2/v0.6.17
possible world HXHVCWSEK6
| URI | m2://inv/HXHVCWSEK6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#4TWV, possible world (definition)
History
- 2026-11-02: add by m2/dev
HXHY5WM09Y HXHY5WM09Y
| URI | m2://inv/HXHY5WM09Y |
|---|---|
| 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.32077#4PWP (definition). In WYXQDSQR9B/e1, definition 1.1
History
- 2026-10-31: add by m2/v0.5.6
HXJ0C7C9NG HXJ0C7C9NG
| URI | m2://inv/HXJ0C7C9NG |
|---|---|
| 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.00103#8EHN (statement). In S7RDXJWP1A/e1, corollary 5.3
History
- 2026-10-30: add by m2/v0.4.12
Refined Postnikov towers HXJCQT62FT
| URI | m2://inv/HXJCQT62FT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#RGGK, Refined Postnikov towers (definition). In A1GWWGRXPA/e1, definition 4.9
History
- 2026-10-27: add by m2/v0.4.2
HXJDB7RBNA HXJDB7RBNA
| URI | m2://inv/HXJDB7RBNA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#JLE7 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Statement of the theorem HXJFAPJNBJ
| URI | m2://inv/HXJFAPJNBJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barratt–Priddy theorem#6NLW, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Determinacy HXJYS7HWRK
| URI | m2://inv/HXJYS7HWRK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Determinacy, Determinacy (topic). Also Wikidata Q1201165
History
- 2026-11-02: add by m2/dev
Ragni Piene HXK1PJFHWH
| URI | m2://inv/HXK1PJFHWH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ragni Piene, Ragni Piene (topic). Also Wikidata Q4567235
History
- 2026-11-02: add by m2/dev
Beatrice Pelloni HXK35XQ07J
| URI | m2://inv/HXK35XQ07J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beatrice Pelloni, Beatrice Pelloni (topic). Also Wikidata Q51929396
History
- 2026-11-02: add by m2/dev
Convex hull representation HXK5XQD5E7
| URI | m2://inv/HXK5XQD5E7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17909#DVAS, Convex hull representation (statement). In YXZX6Z8S6A/e1, lemma 5.18
History
- 2026-10-28: add by m2/v0.4.2
HXKDK7TWVP HXKDK7TWVP
| URI | m2://inv/HXKDK7TWVP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21005#8XZ4 (statement). In E63NRC7MBE/e1, lemma 2.13
History
- 2026-10-27: add by m2/v0.4.2
Formal definition HXKHQSV3Y9
| URI | m2://inv/HXKHQSV3Y9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Determinantal point process#E4MK, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
HXKQTY0930 HXKQTY0930
| URI | m2://inv/HXKQTY0930 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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.24545#107X (statement)
History
- 2026-11-01: add by m2/v0.6.15
HXM14TG827 HXM14TG827
| URI | m2://inv/HXM14TG827 |
|---|---|
| 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.25843#BBYX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statement HXMMF4R4XH
| URI | m2://inv/HXMMF4R4XH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abel's identity#9B7G, Statement (statement)
History
- 2026-11-02: add by m2/dev
National Institute for Mathematical Sciences HXMN3KCPEZ
| URI | m2://inv/HXMN3KCPEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Institute for Mathematical Sciences, National Institute for Mathematical Sciences (definition). Also Wikidata Q12585602
History
- 2026-11-02: add by m2/dev
hat check problem HXMX40DRC8
| URI | m2://inv/HXMX40DRC8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/7.4/hat-check-problem, hat check problem (concept). In QKM9DD2H56, index, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
Alternative definition HXMXB0DWP1
| URI | m2://inv/HXMXB0DWP1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semimartingale#QA5U, Alternative definition (definition)
History
- 2026-11-02: add by m2/dev
HXMYTNAK24 HXMYTNAK24
| URI | m2://inv/HXMYTNAK24 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_counting-trees.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
HXN0YP78SS HXN0YP78SS
| URI | m2://inv/HXN0YP78SS |
|---|---|
| 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.31343#M6YV (statement). In F5JCVWMH4Q/e1, proposition 4.1
History
- 2026-10-31: add by m2/v0.5.6
HXN1TZ9SNA HXN1TZ9SNA
| URI | m2://inv/HXN1TZ9SNA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23884#N55A (definition)
History
- 2026-11-02: add by m2/v0.6.17
Unitary invariance of the weak Schur distribution HXN4PQM8V5
| URI | m2://inv/HXN4PQM8V5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.29348#VV30, Unitary invariance of the weak Schur distribution (statement)
History
- 2026-11-01: add by m2/v0.6.15
Polylogarithmic time HXN73VD0HG
| URI | m2://inv/HXN73VD0HG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time complexity#1RXQ, Polylogarithmic time (unknown)
History
- 2026-11-02: add by m2/dev
Münchhausen number HXN8311W8R
| URI | m2://inv/HXN8311W8R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1659659, Münchhausen number (unknown). Also MathWorld MuenchhausenNumber, OEIS A046253
- wikipedia: Wikipedia Perfect digit-to-digit invariant, Perfect digit-to-digit invariant (definition). Also Wikidata Q1659659
History
- 2026-10-26: add by m2/dev
HXNCAM4TKR HXNCAM4TKR
| URI | m2://inv/HXNCAM4TKR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#QI1R (statement). In 5E9G06XJKC/e1, lemma F.27
History
- 2026-10-28: add by m2/v0.4.2
Graph canonization HXNKS4Y046
| URI | m2://inv/HXNKS4Y046 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#YEQF, Graph canonization (definition)
History
- 2026-11-02: add by m2/dev
Properties HXNN05AK3E
| URI | m2://inv/HXNN05AK3E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spt function#4WMS, Properties (statement)
History
- 2026-11-02: add by m2/dev
Peano continua HXNX2ZPRN5
| URI | m2://inv/HXNX2ZPRN5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#BE4C, Peano continua (definition)
History
- 2026-11-02: add by m2/dev
Cell extraction and transitive covering HXP7GHK1YN
| URI | m2://inv/HXP7GHK1YN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09472#I1QJ, Cell extraction and transitive covering (statement). In 35925M9GJW/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.10
six operations HXP9A54QHF
| URI | m2://inv/HXP9A54QHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17103325, six operations (unknown). Also nLab six operations
- wikipedia: Wikipedia Six operations, Six operations (definition). Also Wikidata Q17103325
History
- 2026-10-26: add by m2/dev
HXPKPVXWJW HXPKPVXWJW
| URI | m2://inv/HXPKPVXWJW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33250#GHLG (statement). In JCTD510XJ0/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
HXPTW7KVFS HXPTW7KVFS
| URI | m2://inv/HXPTW7KVFS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33018#RSYO (definition). In 8XVS0QJ2AH/e1, definition 53
History
- 2026-10-31: add by m2/v0.5.6
Squarefree equidistribution for several forms HXQ00MA0ED
| URI | m2://inv/HXQ00MA0ED |
|---|---|
| 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.07214#6XLD, Squarefree equidistribution for several forms (statement). In 669PBFJX0Z/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10
Applications HXQ28HPKN3
| URI | m2://inv/HXQ28HPKN3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson point process#6AW7, Applications (example)
History
- 2026-11-02: add by m2/dev
Brakke's Perpendicularity Theorem HXQ28VPC51
| URI | m2://inv/HXQ28VPC51 |
|---|---|
| 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.04833#6AIJ, Brakke's Perpendicularity Theorem (statement). In AKB3CNDA0F/e1, theorem 3.32
History
- 2026-10-29: add by m2/v0.4.12
Theorem HXQ7S3D6BY
| URI | m2://inv/HXQ7S3D6BY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse semigroup#PO4I, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Finite-dimensional supergradient representation HXQBQBYXN7
| URI | m2://inv/HXQBQBYXN7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05313#L9N2, Finite-dimensional supergradient representation (statement). In 8XPN1A2GR0/e1, lemma 5.8
History
- 2026-10-29: add by m2/v0.4.10
operator HXQDX4PSW6
| URI | m2://inv/HXQDX4PSW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131030, operator (unknown). Also MathWorld Operator
- wikipedia: Wikipedia Operator (mathematics), Operator (definition). Also Wikidata Q131030
History
- 2026-10-26: add by m2/dev
Maschke's Theorem HXQHGMANRH
| URI | m2://inv/HXQHGMANRH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maschke's theorem#CCDH, Maschke's Theorem (statement)
History
- 2026-11-02: add by m2/dev
Small boundary property HXQK2JR0XW
| URI | m2://inv/HXQK2JR0XW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Small boundary property, Small boundary property (definition). Also Wikidata Q48998197
History
- 2026-11-02: add by m2/dev
Exact binary representation gap HXQMVNEMPM
| URI | m2://inv/HXQMVNEMPM |
|---|---|
| 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.00291#WSME, Exact binary representation gap (statement). In JXCHERE2AF/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
N. K. Nikolskii HXQW7HBE82
| URI | m2://inv/HXQW7HBE82 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IUSF, N. K. Nikolskii (topic)
History
- 2026-11-02: add by m2/dev
covariant HXR1XW1SD2
| URI | m2://inv/HXR1XW1SD2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#DX9L, covariant (definition)
History
- 2026-11-02: add by m2/dev
HXR3WZQ4C9 HXR3WZQ4C9
| URI | m2://inv/HXR3WZQ4C9 |
|---|---|
| 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 2412.20238#ISJA (statement). In V8CA0STSPB/e1, proposition 10
History
- 2026-10-27: add by m2/v0.3.5
HXR4ZBQAXD HXR4ZBQAXD
| URI | m2://inv/HXR4ZBQAXD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32233#5OBF (statement). In V42PPD7SWH/e1, lemma 6.7
History
- 2026-10-31: add by m2/v0.5.6
Twistor space HXR6CK2JAM
| URI | m2://inv/HXR6CK2JAM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7858591, Twistor space (unknown). Also MathWorld TwistorSpace, nLab twistor space
- wikipedia: Wikipedia Twistor space, Twistor space (definition). Also Wikidata Q7858591
History
- 2026-10-26: add by m2/dev
HXRC7ZEZZW HXRC7ZEZZW
| URI | m2://inv/HXRC7ZEZZW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04498#DPVB (statement). In HHF08X70P6/e1, lemma 7.3
History
- 2026-10-29: add by m2/v0.4.12
Avoidance principle, radius, and stretch factor HXRGNTFEYH
| URI | m2://inv/HXRGNTFEYH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curve-shortening flow#3P6P, Avoidance principle, radius, and stretch factor (statement)
History
- 2026-11-02: add by m2/dev
Local robustness HXRNP0C655
| URI | m2://inv/HXRNP0C655 |
|---|---|
| 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.40080#5GW0, Local robustness (statement). In 23PX5094CQ/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
HXRQXDWM9H HXRQXDWM9H
| URI | m2://inv/HXRQXDWM9H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.00135#PD2Z (statement). In PXWXV92SJY/e1, lemma 2.9
History
- 2026-10-30: add by m2/v0.4.12
Global curvature upper bounds and $\CAT(\kappa)$ spaces HXRRMAKN24
| URI | m2://inv/HXRRMAKN24 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17909#8BHZ, Global curvature upper bounds and $\CAT(\kappa)$ spaces (definition). In YXZX6Z8S6A/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Norman Lloyd Johnson HXRTAJ1D7J
| URI | m2://inv/HXRTAJ1D7J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BECI, Norman Lloyd Johnson (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#MD86, Norman Lloyd Johnson (topic)
History
- 2026-11-02: add by m2/dev
Kuen surface HXRYWDT70F
| URI | m2://inv/HXRYWDT70F |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of surfaces#A1ER, Kuen surface (object)
History
- 2026-11-02: add by m2/dev
Properties HXS1RNGEB1
| URI | m2://inv/HXS1RNGEB1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph amalgamation#12HE, Properties (statement)
History
- 2026-11-02: add by m2/dev
Ricci curvature HXSAH6S4D9
| URI | m2://inv/HXSAH6S4D9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Ricci curvature 4GTNM0WHDH |
Mentions
- wikidata: Wikidata Q1195879, Ricci curvature (unknown). Also EoM Ricci_tensor, MathWorld RicciCurvatureTensor, nLab Ricci curvature
- wikipedia: Wikipedia Ricci curvature, Ricci curvature (definition). Also Wikidata Q1195879
History
- 2026-10-26: add by m2/dev
HXSBGFPZG5 HXSBGFPZG5
| URI | m2://inv/HXSBGFPZG5 |
|---|---|
| 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.14455#DBYW (statement). In 5KARPAJDCP/e1, proposition 6.4
History
- 2026-10-28: add by m2/v0.4.2
Examples HXSERW9E82
| URI | m2://inv/HXSERW9E82 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fusiform#3FKG, Examples (example)
History
- 2026-11-02: add by m2/dev
HXSJ992KPW HXSJ992KPW
| URI | m2://inv/HXSJ992KPW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03081#MA1J (statement). In TX0H26X4VX/e1, proposition 8.5
History
- 2026-10-29: add by m2/v0.4.12
HXSRFA285Q HXSRFA285Q
| URI | m2://inv/HXSRFA285Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/card-arithmetic/expotough.tex#simplecardexpo (statement). In PKGMM3P5QY, prop, section 69.2
History
- 2026-11-01: add by m2/v0.6.13
HXSYYFP5SY HXSYYFP5SY
| URI | m2://inv/HXSYYFP5SY |
|---|---|
| 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.20077#4GOF (statement). In W5XRKWDADE/e1, lemma 6.11
History
- 2026-10-27: add by m2/v0.4.2
HXT3NDMFKH HXT3NDMFKH
| URI | m2://inv/HXT3NDMFKH |
|---|---|
| Kind | example |
| 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 2610.10973#AA0J (example). In H8NGNDP0XT/e1, example 5
History
- 2026-10-28: add by m2/v0.4.3
Bézout's identity HXT3PE2QN7
| URI | m2://inv/HXT3PE2QN7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#B1XF, Bézout's identity (definition)
History
- 2026-11-02: add by m2/dev
pseudo modus ponens HXT3SKXVM3
| URI | m2://inv/HXT3SKXVM3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#FZQZ, pseudo modus ponens (definition)
History
- 2026-11-02: add by m2/dev
HXT3YAV4VF HXT3YAV4VF
| URI | m2://inv/HXT3YAV4VF |
|---|---|
| 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.28181#G5JH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Order-4 dodecahedral honeycomb HXT4XMXW01
| URI | m2://inv/HXT4XMXW01 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#0CPY, Order-4 dodecahedral honeycomb (object)
- wikipedia: Wikipedia List of mathematical shapes#XGI9, Order-4 dodecahedral honeycomb (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#2XOQ, Order-4 dodecahedral honeycomb (object)
History
- 2026-11-02: add by m2/dev
Mikhail Shifman HXT6N9AT03
| URI | m2://inv/HXT6N9AT03 |
|---|---|
| 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 Q1396901, Mikhail Shifman (unknown). Also nLab Mikhail Shifman
History
- 2026-10-26: add by m2/dev
"Fido"-Fido principle HXT7CVXPSD
| URI | m2://inv/HXT7CVXPSD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#UMP3, "Fido"-Fido principle (definition)
History
- 2026-11-02: add by m2/dev
HXTMC7CQM0 HXTMC7CQM0
| URI | m2://inv/HXTMC7CQM0 |
|---|---|
| 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 2610.20126#JJOR (definition). In KVXDWX9B11/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.2
HXTTHPMF3T HXTTHPMF3T
| URI | m2://inv/HXTTHPMF3T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28020#DLT4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
HXTY8C5M4B HXTY8C5M4B
| URI | m2://inv/HXTY8C5M4B |
|---|---|
| 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.06724#MHEU (statement). In W5XG3PGVF1/e1, lemma A.2
History
- 2026-10-29: add by m2/v0.4.10
HXV14N700X HXV14N700X
| URI | m2://inv/HXV14N700X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39204#YZCQ (statement). In K6W2TMCYQA/e1, theorem 4.2
History
- 2026-10-30: add by m2/v0.4.12
Lower band HXVHW695AE
| URI | m2://inv/HXVHW695AE |
|---|---|
| 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#I3PA, Lower band (statement). In NKXTXH59P1/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Markov property HXVW7Q7WPH
| URI | m2://inv/HXVW7Q7WPH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov property, Markov property (definition). Also Wikidata Q176695
History
- 2026-11-02: add by m2/dev
general linear group HXW27VJ7VS
| URI | m2://inv/HXW27VJ7VS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Group Theory > Classical automorphism groups > general linear group, general linear group (unknown). Also Mathlib Matrix.GeneralLinearGroup
History
- 2026-10-26: add by m2/dev
Formal statement HXW5616S3A
| URI | m2://inv/HXW5616S3A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kraft–McMillan inequality#IPWT, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
HXW6HC6C1R HXW6HC6C1R
| URI | m2://inv/HXW6HC6C1R |
|---|---|
| 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.08610#NPQK (statement). In CB2JWNS1E9/e1, lemma C.1
History
- 2026-10-29: add by m2/v0.4.10
Meander (mathematics) HXW7FP7D73
| URI | m2://inv/HXW7FP7D73 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#KY4M, Meander (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
HXWCKP9H5H HXWCKP9H5H
| URI | m2://inv/HXWCKP9H5H |
|---|---|
| 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 2009.11127#WB0G (statement). In QEFS0Y021A/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.3.5
Other identities and formulas HXWJRDM434
| URI | m2://inv/HXWJRDM434 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beta function#TQV6, Other identities and formulas (statement)
History
- 2026-11-02: add by m2/dev
HXX00B7JQB HXX00B7JQB
| URI | m2://inv/HXX00B7JQB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-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 2601.04559#Y55G (statement). In WWMHZKWZSM/e1, proposition 18
History
- 2026-10-27: add by m2/v0.3.5
HXX7C4NFQS HXX7C4NFQS
| URI | m2://inv/HXX7C4NFQS |
|---|---|
| Kind | definition |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#JWT5 (definition). In CY1FE8W1ZW/e1, definition 0.275
History
- 2026-10-27: add by m2/v0.3.5
HXXDC505R5 HXXDC505R5
| URI | m2://inv/HXXDC505R5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23994#I14E (statement)
History
- 2026-11-02: add by m2/v0.6.17
Peter van Nieuwenhuizen HXXFSPS8ZK
| URI | m2://inv/HXXFSPS8ZK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#PDOS, Peter van Nieuwenhuizen (unknown)
History
- 2026-11-02: add by m2/dev
collineation HXXGQ0RXT3
| URI | m2://inv/HXXGQ0RXT3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Collineation V7PRPN24CV |
Mentions
- wikidata: Wikidata Q390741, collineation (unknown). Also MathWorld Collineation, nLab collineation
- wikipedia: Wikipedia Collineation, Collineation (definition). Also Wikidata Q390741
History
- 2026-10-26: add by m2/dev
HXXK8D1JQJ HXXK8D1JQJ
| URI | m2://inv/HXXK8D1JQJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.12486#7UMG (statement). In 3343AEAXB3/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
Square packing in a circle HXXMSXGZQJ
| URI | m2://inv/HXXMSXGZQJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square packing#WW9D, Square packing in a circle (unknown)
History
- 2026-11-02: add by m2/dev
Applications HXXNA0GRRJ
| URI | m2://inv/HXXNA0GRRJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirty paper coding#LWNF, Applications (example)
History
- 2026-11-02: add by m2/dev
HXXNF517X9 HXXNF517X9
| URI | m2://inv/HXXNF517X9 |
|---|---|
| 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.30018#D1M4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Exclusion of bases $B\ge4$ at high order HXXSQK7NTJ
| URI | m2://inv/HXXSQK7NTJ |
|---|---|
| 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#1AD8, Exclusion of bases $B\ge4$ at high order (statement). In D2MXWDTHWS/e1, proposition 12
History
- 2026-10-29: add by m2/v0.4.10
HXXWZRH9F8 HXXWZRH9F8
| URI | m2://inv/HXXWZRH9F8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-49 (exercise). In E9HS8K3A52, exercise, section 4.3.4
History
- 2026-11-01: add by m2/v0.6.13
connectives, and HXXY813Z57
| URI | m2://inv/HXXY813Z57 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.2.1/connectives-and, connectives, and (concept). In Y91XFCEVHQ, index, section 1.2.1
History
- 2026-11-01: add by m2/v0.6.13
HXXZJAMPHN HXXZJAMPHN
| URI | m2://inv/HXXZJAMPHN |
|---|---|
| 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 2610.18061#7OF6 (statement). In Y8A35AV31M/e1, corollary 6.5
History
- 2026-10-28: add by m2/v0.4.2
HXY0Z9YDAX HXY0Z9YDAX
| URI | m2://inv/HXY0Z9YDAX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17817#F15T (definition). In M8TSJ24RC2/e1, definition 3.7
History
- 2026-10-28: add by m2/v0.4.2
Forward Containment HXY3WH00ET
| URI | m2://inv/HXY3WH00ET |
|---|---|
| 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 2610.02495#E8N8, Forward Containment (statement). In T4S7XVAJJC/e1, theorem 11.1
History
- 2026-10-29: add by m2/v0.4.12
unipartite HXYA1FSYPA
| URI | m2://inv/HXYA1FSYPA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#XPGL, unipartite (definition)
History
- 2026-11-02: add by m2/dev
light HXYMQ8796N
| URI | m2://inv/HXYMQ8796N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9128, light (unknown). Also nLab light
History
- 2026-10-26: add by m2/dev
HXYQFTY5SZ HXYQFTY5SZ
| URI | m2://inv/HXYQFTY5SZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20444#ZFYC (statement)
History
- 2026-11-02: add by m2/v0.6.18
William M. Boothby HXZ1HW11RD
| URI | m2://inv/HXZ1HW11RD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William M. Boothby, William M. Boothby (topic). Also Wikidata Q102132257
History
- 2026-11-02: add by m2/dev
HXZ7N0K9AB HXZ7N0K9AB
| URI | m2://inv/HXZ7N0K9AB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-6-2-2.xml#act-6-2-2 (exercise). In 907G4C4EJ1, activity, section 6.2.3
History
- 2026-11-01: add by m2/v0.6.13
HXZ9A9WAT3 HXZ9A9WAT3
| URI | m2://inv/HXZ9A9WAT3 |
|---|---|
| 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.25880#9EXA (statement)
History
- 2026-11-01: add by m2/v0.6.15