Inventory rows HT
The cards of the rows of the inventory whose ids start with HT. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Morrie's law HT00Q4MF5E
| URI | m2://inv/HT00Q4MF5E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of misnamed theorems#M9Z7, Morrie's law (statement)
History
- 2026-11-02: add by m2/dev
HT0BCQNHK6 HT0BCQNHK6
| URI | m2://inv/HT0BCQNHK6 |
|---|---|
| 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.15352#JZD7 (statement). In R39P7AFXM8/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
HT0K8CG4RY HT0K8CG4RY
| URI | m2://inv/HT0K8CG4RY |
|---|---|
| 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.19449#KSTI (definition). In 8ZKPJ3CBDF/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Opial's Lemma HT0TM463K6
| URI | m2://inv/HT0TM463K6 |
|---|---|
| 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.29552#RC9X, Opial's Lemma (statement)
History
- 2026-11-01: add by m2/v0.6.15
J. M. G. Fell HT11VEEGJA
| URI | m2://inv/HT11VEEGJA |
|---|---|
| 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#XR7T, J. M. G. Fell (topic)
History
- 2026-11-02: add by m2/dev
HT14D5GYJT HT14D5GYJT
| URI | m2://inv/HT14D5GYJT |
|---|---|
| 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.13850#RJVJ (statement). In KJY735KSMF/e1, theorem C
History
- 2026-10-28: add by m2/v0.4.2
coanalytic HT173WM7MZ
| URI | m2://inv/HT173WM7MZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#MSPT, coanalytic (definition)
History
- 2026-11-02: add by m2/dev
Pitt's inequality HT1A3SZJF9
| URI | m2://inv/HT1A3SZJF9 |
|---|---|
| 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.35669#U8NJ, Pitt's inequality (statement). In 8380G43M8E/e1, lemma A.4
History
- 2026-10-30: add by m2/v0.4.12
Leaving the compact set HT1KC0861Y
| URI | m2://inv/HT1KC0861Y |
|---|---|
| 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.12713#BEVA, Leaving the compact set (statement). In F14A5HX20Q/e1, proposition C.5.1
History
- 2026-10-28: add by m2/v0.4.2
Stephen Cole Kleene HT1M8G018W
| URI | m2://inv/HT1M8G018W |
|---|---|
| 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 Q335148, Stephen Cole Kleene (unknown). Also nLab Stephen Kleene
- wikipedia: Wikipedia Stephen Cole Kleene, Stephen Cole Kleene (topic). Also Wikidata Q335148
History
- 2026-10-26: add by m2/dev
HT1Q4J3JGQ HT1Q4J3JGQ
| URI | m2://inv/HT1Q4J3JGQ |
|---|---|
| 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 2603.26376#HHV6 (statement). In PJAT9YDX7Y/e1, theorem 3.10
History
- 2026-10-27: add by m2/v0.4.0
Gouy phase HT1XTZEMW7
| URI | m2://inv/HT1XTZEMW7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian beam#GVF2, Gouy phase (unknown)
History
- 2026-11-02: add by m2/dev
Anchored words HT1Y2A10FN
| URI | m2://inv/HT1Y2A10FN |
|---|---|
| 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.01240#2FRJ, Anchored words (statement). In XD5HCP8DHF/e1, lemma 28
History
- 2026-10-29: add by m2/v0.4.12
HT210ZBPEQ HT210ZBPEQ
| URI | m2://inv/HT210ZBPEQ |
|---|---|
| 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 2609.33584#8OZL (statement). In 3HFBAWQCA1/e1, lemma 3.6
History
- 2026-10-30: add by m2/v0.4.12
distributive laws HT24YAN8F3
| URI | m2://inv/HT24YAN8F3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#0OL5, distributive laws (definition)
History
- 2026-11-02: add by m2/dev
$q=3$, $\gon(C)=3$ HT2FY0QQP0
| URI | m2://inv/HT2FY0QQP0 |
|---|---|
| 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 2609.22557#C90C, $q=3$, $\gon(C)=3$ (example)
History
- 2026-11-02: add by m2/v0.6.17
HT2G17CTA0 HT2G17CTA0
| URI | m2://inv/HT2G17CTA0 |
|---|---|
| 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#AJQZ (statement). In 1PR73ECTZB/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
relative and absolute cellular chains HT2HSWJQ3X
| URI | m2://inv/HT2HSWJQ3X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32733#6G5H, relative and absolute cellular chains (statement). In PCAS8S14J6/e1, theorem 3.15
History
- 2026-10-31: add by m2/v0.5.6
Linear independence and homogeneous equations HT2MNT0X9Q
| URI | m2://inv/HT2MNT0X9Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-4.xml#activity-2, Linear independence and homogeneous equations (exercise). In 649HGZKE96, activity, section 2.4.4
History
- 2026-11-01: add by m2/v0.6.13
Theorem HT2NS1C5R8
| URI | m2://inv/HT2NS1C5R8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive-definite kernel#NMAY, Theorem (statement)
History
- 2026-11-02: add by m2/dev
evolute HT2PWQKMX3
| URI | m2://inv/HT2PWQKMX3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Evolute Y3ZNV24V2C |
Mentions
- wikidata: Wikidata Q658654, evolute (unknown). Also MathWorld Evolute
- wikipedia: Wikipedia Evolute, Evolute (definition). Also Wikidata Q658654
History
- 2026-10-26: add by m2/dev
Algebra automorphism HT2WEFX869
| URI | m2://inv/HT2WEFX869 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebra over a field#7TG0, Algebra automorphism (unknown)
History
- 2026-11-02: add by m2/dev
isotherm HT36AJYFNT
| URI | m2://inv/HT36AJYFNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7421486, isotherm (definition). Also ProofWiki Definition:Isothermal_Surface
History
- 2026-10-26: add by m2/dev
HT3CSP0HDX HT3CSP0HDX
| URI | m2://inv/HT3CSP0HDX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24523#24U6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
HT3CYDFKQ7 HT3CYDFKQ7
| URI | m2://inv/HT3CYDFKQ7 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#proof-4 (proof). In E59CDZA4DP, proof, section 2.1.3
History
- 2026-11-01: add by m2/v0.6.13
HT3CZ8KJBV HT3CZ8KJBV
| URI | m2://inv/HT3CZ8KJBV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23237#UQL9 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Perpetuant HT3HWQ7K1S
| URI | m2://inv/HT3HWQ7K1S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perpetuant, Perpetuant (definition). Also Wikidata Q7169557
History
- 2026-11-02: add by m2/dev
Applications HT3MZHW34N
| URI | m2://inv/HT3MZHW34N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernstein–Sato polynomial#ZWIK, Applications (example)
History
- 2026-11-02: add by m2/dev
HT3P8AEV4E HT3P8AEV4E
| URI | m2://inv/HT3P8AEV4E |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/examples.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 3.20
History
- 2026-11-01: add by m2/v0.6.13
Macbeath region HT3WKG5N43
| URI | m2://inv/HT3WKG5N43 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Macbeath region, Macbeath region (definition). Also Wikidata Q110442850
History
- 2026-11-02: add by m2/dev
Levi decomposition HT4B0H9A2Z
| URI | m2://inv/HT4B0H9A2Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levi decomposition#2YOG, Levi decomposition (statement)
History
- 2026-11-02: add by m2/dev
HT4GJW3WQS HT4GJW3WQS
| URI | m2://inv/HT4GJW3WQS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability.tex#thm:provability-quantifiers (statement). In PKGMM3P5QY, thm, section 8.10
History
- 2026-11-01: add by m2/v0.6.13
HT4SF3SMJN HT4SF3SMJN
| URI | m2://inv/HT4SF3SMJN |
|---|---|
| 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 2407.04161#RX30 (statement). In JBZJ7NPQ4G/e1, corollary 5.3
History
- 2026-10-27: add by m2/v0.4.0
Single faithful factorial trace HT4SHNHJ69
| URI | m2://inv/HT4SHNHJ69 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17411#TI3A, Single faithful factorial trace (statement). In 73QW05MWQB/e1, corollary 6.4
History
- 2026-10-28: add by m2/v0.4.2
HT4Y3XBKGG HT4Y3XBKGG
| URI | m2://inv/HT4Y3XBKGG |
|---|---|
| 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.22769#GQ3I (statement)
History
- 2026-11-02: add by m2/v0.6.17
AUTOMATH HT54C64D3W
| URI | m2://inv/HT54C64D3W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.4/automath, AUTOMATH (concept). In N54F33XE07, index, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
HT59TN8JDA HT59TN8JDA
| URI | m2://inv/HT59TN8JDA |
|---|---|
| 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.18252#VR4U (statement). In PSQ3CNVK2D/e1, fact 2.1
History
- 2026-10-28: add by m2/v0.4.2
Properties HT5A3GRT2A
| URI | m2://inv/HT5A3GRT2A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simplicial sphere#XAID, Properties (statement)
History
- 2026-11-02: add by m2/dev
Elements of $\Jm\mathcal F_j^n$ are $j$-Lipschitz HT5EVYD33K
| URI | m2://inv/HT5EVYD33K |
|---|---|
| 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.24451#D5K6, Elements of $\Jm\mathcal F_j^n$ are $j$-Lipschitz (statement)
History
- 2026-11-01: add by m2/v0.6.15
Unrestricted transform limits HT5GR6HT2H
| URI | m2://inv/HT5GR6HT2H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02531#T5XH, Unrestricted transform limits (statement). In 44EQ0MZE8G/e1, proposition 9.6
History
- 2026-10-29: add by m2/v0.4.12
HT5W74QB49 HT5W74QB49
| URI | m2://inv/HT5W74QB49 |
|---|---|
| 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.31604#8LYU (statement). In GSN5YTQS2K/e1, proposition 3.12
History
- 2026-10-31: add by m2/v0.5.6
James Cullen HT5X95BMYY
| URI | m2://inv/HT5X95BMYY |
|---|---|
| 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 Q323473, James Cullen (unknown). Also ProofWiki Mathematician:James_Cullen
- wikipedia: Wikipedia James Cullen (mathematician), James Cullen (topic). Also Wikidata Q323473
History
- 2026-10-26: add by m2/dev
HT5ZW4P4YF HT5ZW4P4YF
| URI | m2://inv/HT5ZW4P4YF |
|---|---|
| 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.33108#YN0O (statement). In 5JK5N2RRMS/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Post-quantum cryptography HT642DG6EZ
| URI | m2://inv/HT642DG6EZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Post-quantum cryptography, Post-quantum cryptography (definition). Also Wikidata Q7233576
History
- 2026-11-02: add by m2/dev
HT69C08ZVG HT69C08ZVG
| URI | m2://inv/HT69C08ZVG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#lem:qinv-autohtpy (statement). In N54F33XE07, lem, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
HT6AWEE08T HT6AWEE08T
| URI | m2://inv/HT6AWEE08T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22708#XKWE (statement)
History
- 2026-11-02: add by m2/v0.6.17
HT6DNAE0ZT HT6DNAE0ZT
| URI | m2://inv/HT6DNAE0ZT |
|---|---|
| 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 1907.01440#WJWL (statement). In QDRYC6WJJ7/e1, theorem 11
History
- 2026-10-27: add by m2/v0.3.5
All-ones word and the dual code HT6QG99JFM
| URI | m2://inv/HT6QG99JFM |
|---|---|
| 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.15340#QO8H, All-ones word and the dual code (statement). In 9NVKKW8HDH/e1, proposition 3.26
History
- 2026-10-28: add by m2/v0.4.2
generating sets HT6SFZN2Q5
| URI | m2://inv/HT6SFZN2Q5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Fundamentals > generating sets, generating sets (unknown). Also Mathlib Submodule.span
History
- 2026-10-26: add by m2/dev
Bailey pair HT6VEAVB5A
| URI | m2://inv/HT6VEAVB5A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bailey pair, Bailey pair (definition). Also Wikidata Q4848398
History
- 2026-11-02: add by m2/dev
HT70BFARE8 HT70BFARE8
| URI | m2://inv/HT70BFARE8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-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 2610.22288#MXYX (definition). In X38P26DK6S/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.4.0
HT75F37XMV HT75F37XMV
| URI | m2://inv/HT75F37XMV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 19-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 2211.10178#OFBM (statement). In 8T90H89HNB/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
statistical population HT7FA7TYA4
| URI | m2://inv/HT7FA7TYA4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q49918, statistical population (unknown). Also MathWorld Population
- wikipedia: Wikipedia Statistical population, Statistical population (definition). Also Wikidata Q49918
History
- 2026-10-26: add by m2/dev
Cotidal map HT7RM35QRZ
| URI | m2://inv/HT7RM35QRZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tide#VDA0, Cotidal map (unknown)
History
- 2026-11-02: add by m2/dev
HT7VX3ZT2Z HT7VX3ZT2Z
| URI | m2://inv/HT7VX3ZT2Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#GJ8C (statement). In E7W2HDNEKJ/e1, theorem 5.21
History
- 2026-10-30: add by m2/v0.4.12
HT7YY4CN8S HT7YY4CN8S
| URI | m2://inv/HT7YY4CN8S |
|---|---|
| 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 2609.36089#HKIO (statement). In AK4F10SNC0/e1, proposition 3.7
History
- 2026-10-30: add by m2/v0.4.12
HT837XASND HT837XASND
| URI | m2://inv/HT837XASND |
|---|---|
| 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.24051#XR2M (statement)
History
- 2026-11-02: add by m2/v0.6.17
HT8N0WDZ5Z HT8N0WDZ5Z
| URI | m2://inv/HT8N0WDZ5Z |
|---|---|
| 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 1902.04230#5CPO (statement). In 22JZ68FGCW/e1, corollary 6.7
History
- 2026-10-27: add by m2/v0.3.5
HT8TZPTTJG HT8TZPTTJG
| URI | m2://inv/HT8TZPTTJG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40189#TP4F (definition). In K2MDWD9V46/e1, definition 2.7
History
- 2026-10-30: add by m2/v0.4.12
HT8YR2GG81 HT8YR2GG81
| URI | m2://inv/HT8YR2GG81 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/caratheodory.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 63.4
History
- 2026-11-01: add by m2/v0.6.13
Bellman's lost-in-a-forest problem HT92XSH2NB
| URI | m2://inv/HT92XSH2NB |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#KM46, Bellman's lost-in-a-forest problem (conjecture)
History
- 2026-11-02: add by m2/dev
Daniel Kahneman HT9EFV9ZV2
| URI | m2://inv/HT9EFV9ZV2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TGRG, Daniel Kahneman (unknown)
History
- 2026-11-02: add by m2/dev
Compound of two inverted snub dodecadodecahedra HT9M13PR4B
| URI | m2://inv/HT9M13PR4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of two inverted snub dodecadodecahedra, Compound of two inverted snub dodecadodecahedra (definition). Also Wikidata Q5156916
History
- 2026-11-02: add by m2/dev
Weak ETH plus finite-time mixing, without exponent loss HTA7KWD9TD
| URI | m2://inv/HTA7KWD9TD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16351#J992, Weak ETH plus finite-time mixing, without exponent loss (statement). In 1QSV7EQE3T/e1, corollary S34
History
- 2026-10-28: add by m2/v0.4.2
HTAJWGW2MG HTAJWGW2MG
| URI | m2://inv/HTAJWGW2MG |
|---|---|
| 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.26017#4HZ0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
universal, property, of cartesian product HTAPHPVA1X
| URI | m2://inv/HTAPHPVA1X |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.15/universal-property-of-cartesian-product, universal, property, of cartesian product (concept). In N54F33XE07, index, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
Gregory number HTAPWTMD80
| URI | m2://inv/HTAPWTMD80 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5607239, Gregory number (unknown). Also MathWorld GregoryNumber
- wikipedia: Wikipedia Gregory number, Gregory number (definition). Also Wikidata Q5607239
History
- 2026-10-26: add by m2/dev
HTAY8Z7F3Z HTAY8Z7F3Z
| URI | m2://inv/HTAY8Z7F3Z |
|---|---|
| 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 math/0003117#9H1H (statement). In WD2NCBV9F0/e1, lemma 20.5
History
- 2026-10-27: add by m2/v0.3.5
logarithm HTAYY149VB
| URI | m2://inv/HTAYY149VB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#WRL1, logarithm (definition)
History
- 2026-11-02: add by m2/dev
Properties HTBA98Z66R
| URI | m2://inv/HTBA98Z66R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logical disjunction#OYJ9, Properties (statement)
History
- 2026-11-02: add by m2/dev
Derek J. S. Robinson HTBBVXV9YH
| URI | m2://inv/HTBBVXV9YH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derek J. S. Robinson, Derek J. S. Robinson (topic). Also Wikidata Q15453544
History
- 2026-11-02: add by m2/dev
HTBJJH2RZA HTBJJH2RZA
| URI | m2://inv/HTBJJH2RZA |
|---|---|
| Kind | example |
| 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 0806.0033#SERB (example). In RV34HVZMB3/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
The Story of Maths HTBM006Q86
| URI | m2://inv/HTBM006Q86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Story of Maths, The Story of Maths (definition). Also Wikidata Q3522870
History
- 2026-11-02: add by m2/dev
HTBRCP0ET4 HTBRCP0ET4
| URI | m2://inv/HTBRCP0ET4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20956#5OXI (statement). In X9WFC1D9ZS/e1, lemma 51
History
- 2026-10-27: add by m2/v0.4.2
HTBTQHT2X1 HTBTQHT2X1
| URI | m2://inv/HTBTQHT2X1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.24892#GITC (statement)
History
- 2026-11-01: add by m2/v0.6.15
HTC29P9S5C HTC29P9S5C
| URI | m2://inv/HTC29P9S5C |
|---|---|
| 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.31811#EIEN (statement). In A8ZBZW9RNA/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
HTC2H43XX4 HTC2H43XX4
| URI | m2://inv/HTC2H43XX4 |
|---|---|
| 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.35030#ZRR4 (statement). In DPT4P2BTEW/e1, corollary 4.3
History
- 2026-10-30: add by m2/v0.4.12
HTC9JF1CJV HTC9JF1CJV
| URI | m2://inv/HTC9JF1CJV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20860#4RX8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Resolution of the paradox HTCA969WEZ
| URI | m2://inv/HTCA969WEZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ehrenfest paradox#0HEO, Resolution of the paradox (statement)
History
- 2026-11-02: add by m2/dev
HTCE8F58GB HTCE8F58GB
| URI | m2://inv/HTCE8F58GB |
|---|---|
| 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 2610.03175#4P9T (definition). In VMVNYKZ9GG/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.12
An example HTCENYQKP5
| URI | m2://inv/HTCENYQKP5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Splitting of prime ideals in Galois extensions#SRRQ, An example (example)
History
- 2026-11-02: add by m2/dev
HTCH5RZSMQ HTCH5RZSMQ
| URI | m2://inv/HTCH5RZSMQ |
|---|---|
| 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 0903.1569#XPQZ (statement). In ZM7WZ2A9H2/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
Definition (k-APRF) HTCHT7MBDG
| URI | m2://inv/HTCHT7MBDG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randomness extractor#8ID4, Definition (k-APRF) (definition)
History
- 2026-11-02: add by m2/dev
HTCPMHPMQB HTCPMHPMQB
| URI | m2://inv/HTCPMHPMQB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01247#N3FS (definition). In 6EVNCRZ118/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.12
Featherstone's algorithm HTCR0P69NX
| URI | m2://inv/HTCR0P69NX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#HCNA, Featherstone's algorithm (definition)
History
- 2026-11-02: add by m2/dev
HTCV35HRPX HTCV35HRPX
| URI | m2://inv/HTCV35HRPX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27628#V99M (example)
History
- 2026-11-01: add by m2/v0.6.15
Syria Prima HTCVM8GGQZ
| URI | m2://inv/HTCVM8GGQZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#GM81, Syria Prima (unknown)
History
- 2026-11-02: add by m2/dev
HTD0EC4PX8 HTD0EC4PX8
| URI | m2://inv/HTD0EC4PX8 |
|---|---|
| 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.12810#NDXU (statement). In DR35633CPN/e1, corollary 4.4
History
- 2026-10-28: add by m2/v0.4.2
determiner HTD6KYH4XW
| URI | m2://inv/HTD6KYH4XW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#7JRM, determiner (definition)
History
- 2026-11-02: add by m2/dev
regular Sturm--Liouville problem HTDAM1JG9E
| URI | m2://inv/HTDAM1JG9E |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/3.1.1/regular-sturm-liouville-problem, regular Sturm--Liouville problem (concept). In E9HS8K3A52, index, section 3.1.1
History
- 2026-11-01: add by m2/v0.6.13
HTDDGAN0NV HTDDGAN0NV
| URI | m2://inv/HTDDGAN0NV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27360#UQKW (statement)
History
- 2026-11-01: add by m2/v0.6.15
History of computational statistics HTDJXMFDQE
| URI | m2://inv/HTDJXMFDQE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computational statistics#YRT1, History of computational statistics (unknown)
History
- 2026-11-02: add by m2/dev
Examples HTDMTA2ZMA
| URI | m2://inv/HTDMTA2ZMA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor product of modules#M825, Examples (example)
History
- 2026-11-02: add by m2/dev
Godunov's theorem HTDNN49KHX
| URI | m2://inv/HTDNN49KHX |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 65-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q17017973, Godunov's theorem (statement). Also Wikidata Q17017973
- thousand_plus: thousand_plus Q17017973, Godunov's theorem (statement). Also Wikidata Q17017973, Wikipedia Godunov's theorem
- wikipedia: Wikipedia Godunov's theorem, Godunov's theorem (statement). Also Wikidata Q17017973
History
- 2026-10-26: add by m2/dev
HTDSJYBKDA HTDSJYBKDA
| URI | m2://inv/HTDSJYBKDA |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#proof-41 (proof). In N54F33XE07, proof, section 7.8
History
- 2026-11-01: add by m2/v0.6.13
Basic properties of the potentials HTE2XT4W52
| URI | m2://inv/HTE2XT4W52 |
|---|---|
| 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.01928#B03I, Basic properties of the potentials (statement). In BSJRRHKGX0/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.12
site percolation HTE556T3V3
| URI | m2://inv/HTE556T3V3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121335525, site percolation (unknown). Also MathWorld SitePercolation
History
- 2026-10-26: add by m2/dev
Locality of maximal weak subslope HTE71Y0QED
| URI | m2://inv/HTE71Y0QED |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21775#48RA, Locality of maximal weak subslope (statement). In KM3Q791JY0/e1, proposition 4.13
History
- 2026-10-27: add by m2/v0.4.2
Exact Pareto tail under parameter uncertainty HTEAYZCXJ7
| URI | m2://inv/HTEAYZCXJ7 |
|---|---|
| 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.18445#TUQD, Exact Pareto tail under parameter uncertainty (statement). In X63FGXZP4F/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.2
Statement HTEDMBCXKA
| URI | m2://inv/HTEDMBCXKA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Talagrand's concentration inequality#AIG8, Statement (statement)
History
- 2026-11-02: add by m2/dev
relation, irreflexive HTEPTCSD64
| URI | m2://inv/HTEPTCSD64 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.2.1/relation-irreflexive, relation, irreflexive (concept). In N54F33XE07, index, section B.2.1
History
- 2026-11-01: add by m2/v0.6.13
Examples HTEPYH46VY
| URI | m2://inv/HTEPYH46VY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudomanifold#YE2H, Examples (example)
History
- 2026-11-02: add by m2/dev
List of operator splitting topics HTETX9GWQX
| URI | m2://inv/HTETX9GWQX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of operator splitting topics, List of operator splitting topics (topic). Also Wikidata Q25037251
History
- 2026-11-02: add by m2/dev
HTEVBA8JYD HTEVBA8JYD
| URI | m2://inv/HTEVBA8JYD |
|---|---|
| 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 2609.36884#WJOD (definition). In Z7E16PFFCP/e1, definition 2.6
History
- 2026-10-30: add by m2/v0.4.12
such that HTEZPSJ32P
| URI | m2://inv/HTEZPSJ32P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#PB1C, such that (definition)
History
- 2026-11-02: add by m2/dev
Definition HTF3S1BXV4
| URI | m2://inv/HTF3S1BXV4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Selberg class#RJLQ, Definition (definition)
History
- 2026-11-02: add by m2/dev
HTF8SNFXYX HTF8SNFXYX
| URI | m2://inv/HTF8SNFXYX |
|---|---|
| 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.05184#CK57 (statement). In JK425E1F77/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Multivariate probit model HTFDQE1378
| URI | m2://inv/HTFDQE1378 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate probit model, Multivariate probit model (definition). Also Wikidata Q17086363
History
- 2026-11-02: add by m2/dev
Tagged-job response-time bound HTFGT90C35
| URI | m2://inv/HTFGT90C35 |
|---|---|
| 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.17329#ODOT, Tagged-job response-time bound (statement). In F6GD5JWK9M/e1, lemma 4.9
History
- 2026-10-28: add by m2/v0.4.2
Angle separation, face cells, and the junction estimate HTG6601MS7
| URI | m2://inv/HTG6601MS7 |
|---|---|
| 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.20215#50YJ, Angle separation, face cells, and the junction estimate (statement)
History
- 2026-11-02: add by m2/v0.6.18
HTG8PCAF7G HTG8PCAF7G
| URI | m2://inv/HTG8PCAF7G |
|---|---|
| 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.35631#FNTW (statement). In 9NCX0S6MTP/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
HTG8PTYMHZ HTG8PTYMHZ
| URI | m2://inv/HTG8PTYMHZ |
|---|---|
| Kind | statement |
| 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.15344#GE5P (statement). In B9EX6K51RD/e1, proposition 2.15
History
- 2026-10-28: add by m2/v0.4.2
Schilder's theorem HTG9H6RN18
| URI | m2://inv/HTG9H6RN18 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IVOT, Schilder's theorem (statement)
History
- 2026-11-02: add by m2/dev
\bf Hyperrectangles HTGAXRZ34V
| URI | m2://inv/HTGAXRZ34V |
|---|---|
| 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.02791#Q956, \bf Hyperrectangles (definition). In TT9BA4VMTW/e1, definition 3.3
History
- 2026-10-29: add by m2/v0.4.12
HTGE1HVX9V HTGE1HVX9V
| URI | m2://inv/HTGE1HVX9V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25321#70U6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
HTGEW6FETM HTGEW6FETM
| URI | m2://inv/HTGEW6FETM |
|---|---|
| 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#33X3 (statement). In WYHZMYZT31/e1, corollary 3.3
History
- 2026-10-30: add by m2/v0.4.12
HTGQMPK97E HTGQMPK97E
| URI | m2://inv/HTGQMPK97E |
|---|---|
| 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#G0CX (statement)
History
- 2026-11-01: add by m2/v0.6.15
HTH7CCGYB0 HTH7CCGYB0
| URI | m2://inv/HTH7CCGYB0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19088#G35F (statement). In 90QTB4CC31/e1, theorem 3.27
History
- 2026-10-28: add by m2/v0.4.2
Carrier Lemma HTH7Y6NFX1
| URI | m2://inv/HTH7Y6NFX1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-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.15099#6UM2, Carrier Lemma (statement). In PF5JJ9DS8Q/e1, theorem 4.2.1
History
- 2026-10-28: add by m2/v0.4.2
HTHA4A8R0W HTHA4A8R0W
| URI | m2://inv/HTHA4A8R0W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12425#FSQ5 (statement). In 1JAFPETDGB/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
Limaçon HTHAN7AK3Q
| URI | m2://inv/HTHAN7AK3Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of periodic functions#Z9XO, Limaçon (definition)
History
- 2026-11-02: add by m2/dev
HTHBJWJX0J HTHBJWJX0J
| URI | m2://inv/HTHBJWJX0J |
|---|---|
| Kind | definition |
| 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 2309.15424#KQIY (definition). In NXYZ1EAWKN/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.3.5
HTHWPA5JP4 HTHWPA5JP4
| URI | m2://inv/HTHWPA5JP4 |
|---|---|
| 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.28143#X7ZL (statement)
History
- 2026-11-01: add by m2/v0.6.15
WarpPLS HTHXWZCXKF
| URI | m2://inv/HTHXWZCXKF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#GS4F, WarpPLS (unknown)
History
- 2026-11-02: add by m2/dev
Cramér's V HTHY4X0YQG
| URI | m2://inv/HTHY4X0YQG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#75TU, Cramér's V (definition)
- wikipedia: Wikipedia List of statistics articles#R4FY, Cramér's V (definition)
History
- 2026-11-02: add by m2/dev
Examples HTJ2D23YPF
| URI | m2://inv/HTJ2D23YPF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Special case#N2ET, Examples (example)
History
- 2026-11-02: add by m2/dev
Kiyosi Itô HTJ86VGT5A
| URI | m2://inv/HTJ86VGT5A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kiyosi Itô, Kiyosi Itô (topic). Also Wikidata Q455616
History
- 2026-11-02: add by m2/dev
Vera Faddeeva HTJAWYSF3N
| URI | m2://inv/HTJAWYSF3N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vera Faddeeva, Vera Faddeeva (topic). Also Wikidata Q2559965
History
- 2026-11-02: add by m2/dev
Homotopical connectivity HTJG8J0RVX
| URI | m2://inv/HTJG8J0RVX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopical connectivity, Homotopical connectivity (definition). Also Wikidata Q6358325
History
- 2026-11-02: add by m2/dev
HTJH74R8BC HTJH74R8BC
| URI | m2://inv/HTJH74R8BC |
|---|---|
| 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.35597#X1M8 (statement). In K424GCJ50P/e1, proposition 5.4
History
- 2026-10-30: add by m2/v0.4.12
Polychromatic symmetry HTJS5PRTW1
| URI | m2://inv/HTJS5PRTW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polychromatic symmetry, Polychromatic symmetry (definition). Also Wikidata Q118905788
History
- 2026-11-02: add by m2/dev
HTJXS0V0V0 HTJXS0V0V0
| URI | m2://inv/HTJXS0V0V0 |
|---|---|
| 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.20126#7GJ6 (statement). In KVXDWX9B11/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.4.2
Continuity HTJZ6ACY91
| URI | m2://inv/HTJZ6ACY91 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metric projection#YOLH, Continuity (statement)
History
- 2026-11-02: add by m2/dev
HTK2CG1EX7 HTK2CG1EX7
| URI | m2://inv/HTK2CG1EX7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16267#JYPM (statement). In 65GKPZ15VH/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
Tolerance relation HTKC4C03DZ
| URI | m2://inv/HTKC4C03DZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tolerance relation, Tolerance relation (definition). Also Wikidata Q7814222
History
- 2026-11-02: add by m2/dev
HTKDARPEPV HTKDARPEPV
| URI | m2://inv/HTKDARPEPV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40355#PKU0 (statement). In SBP98GWKC8/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
HTKK51DN63 HTKK51DN63
| URI | m2://inv/HTKK51DN63 |
|---|---|
| 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.19086#S1ZG (statement). In RDW99P4ZZJ/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Jackie Robinson HTKTE1FSVQ
| URI | m2://inv/HTKTE1FSVQ |
|---|---|
| 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#WZOB, Jackie Robinson (unknown)
History
- 2026-11-02: add by m2/dev
HTKTVCN753 HTKTVCN753
| URI | m2://inv/HTKTVCN753 |
|---|---|
| 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.08873#W3QB (statement). In 7WMNVJBAVR/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
HTKXCG9HFP HTKXCG9HFP
| URI | m2://inv/HTKXCG9HFP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1705.04310#U0AL (definition). In MG51GG0QZN/e1, definition 5.10
History
- 2026-10-27: add by m2/v0.3.5
Proposition HTKYQAN1B3
| URI | m2://inv/HTKYQAN1B3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert projection theorem#KGC8, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Einstein solid HTM1RPG6QW
| URI | m2://inv/HTM1RPG6QW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Einstein solid, Einstein solid (definition). Also Wikidata Q1190709
History
- 2026-11-02: add by m2/dev
HTM2RMPCEY HTM2RMPCEY
| URI | m2://inv/HTM2RMPCEY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31783#ZYJ0 (statement). In CGNVT4C47F/e1, proposition 4.3
History
- 2026-10-31: add by m2/v0.5.6
The prism identity HTM74H729R
| URI | m2://inv/HTM74H729R |
|---|---|
| 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#WG1U, The prism identity (statement). In DR7BK4CQ0V/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.3
Constraint on $\mu_\infty$ HTM88QKBJM
| URI | m2://inv/HTM88QKBJM |
|---|---|
| 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.25301#BBUL, Constraint on $\mu_\infty$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
The multiplier equation HTMJNH1AX5
| URI | m2://inv/HTMJNH1AX5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32710#PMS8, The multiplier equation (statement). In KVYG6R7CGJ/e1, lemma 2.4
History
- 2026-10-31: add by m2/v0.5.6
HTMM5NZ1NW HTMM5NZ1NW
| URI | m2://inv/HTMM5NZ1NW |
|---|---|
| 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 2412.12141#H9BC (statement). In V980ZMH759/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.4.0
Positive and negative sets HTMRBF0H9T
| URI | m2://inv/HTMRBF0H9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive and negative sets, Positive and negative sets (definition). Also Wikidata Q3799160
History
- 2026-11-02: add by m2/dev
Theorem HTMVCSXCK0
| URI | m2://inv/HTMVCSXCK0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entanglement witness#BTYI, Theorem (statement)
History
- 2026-11-02: add by m2/dev
HTN5R1K6FP HTN5R1K6FP
| URI | m2://inv/HTN5R1K6FP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17139#SU5J (statement). In AQWX60Z563/e1, lemma 4.26
History
- 2026-10-28: add by m2/v0.4.2
Corrupted smooth oracle HTNBWVB2W8
| URI | m2://inv/HTNBWVB2W8 |
|---|---|
| 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.18555#Z0LB, Corrupted smooth oracle (statement). In JPR62EY6A5/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
Typical choices for $m$, $F$, $A$ and $\tau$ HTNC5ZZR8W
| URI | m2://inv/HTNC5ZZR8W |
|---|---|
| Kind | example |
| 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.11034#H2B3, Typical choices for $m$, $F$, $A$ and $\tau$ (example). In 2KACPY9MMF/e1, example 2.8
History
- 2026-10-28: add by m2/v0.4.3
E. M. Wright HTNG05WC3R
| URI | m2://inv/HTNG05WC3R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E. M. Wright, E. M. Wright (topic). Also Wikidata Q1273543
History
- 2026-11-02: add by m2/dev
HTNHBWBY7K HTNHBWBY7K
| URI | m2://inv/HTNHBWBY7K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23972#M6T4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Pamela E. Harris HTNHY04DFQ
| URI | m2://inv/HTNHY04DFQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BT5J, Pamela E. Harris (topic)
History
- 2026-11-02: add by m2/dev
HTNS029HV3 HTNS029HV3
| URI | m2://inv/HTNS029HV3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#thm:isaprop-isofhlevel (statement). In N54F33XE07, thm, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
HTNVV2S9BJ HTNVV2S9BJ
| URI | m2://inv/HTNVV2S9BJ |
|---|---|
| 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.21759#8WKE (statement). In AFC5D0H4GY/e1, theorem 2
History
- 2026-10-27: add by m2/v0.4.2
HTNWP3P09D HTNWP3P09D
| URI | m2://inv/HTNWP3P09D |
|---|---|
| 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 1902.04230#JK1V (statement). In 22JZ68FGCW/e1, proposition 6.40
History
- 2026-10-27: add by m2/v0.3.5
Mendelian genetics HTNY0VG8NB
| URI | m2://inv/HTNY0VG8NB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#B0SN, Mendelian genetics (definition)
History
- 2026-11-02: add by m2/dev
Mortal matrix problem HTPAQYGWMS
| URI | m2://inv/HTPAQYGWMS |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#19RO, Mortal matrix problem (conjecture)
History
- 2026-11-02: add by m2/dev
Nathalie Wahl HTPBMR285M
| URI | m2://inv/HTPBMR285M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VUV1, Nathalie Wahl (unknown)
History
- 2026-11-02: add by m2/dev
Lois Curfman McInnes HTPCY3YJKM
| URI | m2://inv/HTPCY3YJKM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lois Curfman McInnes, Lois Curfman McInnes (topic). Also Wikidata Q29572924
History
- 2026-11-02: add by m2/dev
Reachability HTPHEEJB51
| URI | m2://inv/HTPHEEJB51 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reachability, Reachability (definition). Also Wikidata Q1361526
History
- 2026-11-02: add by m2/dev
HTPQHYBZRR HTPQHYBZRR
| URI | m2://inv/HTPQHYBZRR |
|---|---|
| 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.13833#ZCLN (statement). In VD4JP4HVBX/e1, lemma 8.2
History
- 2026-10-28: add by m2/v0.4.2
Farkas's lemma HTPRPY70F7
| URI | m2://inv/HTPRPY70F7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#MN2L, Farkas's lemma (statement)
History
- 2026-11-02: add by m2/dev
HTQ1MSZ4XK HTQ1MSZ4XK
| URI | m2://inv/HTQ1MSZ4XK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05179#SNTU (statement). In 9EMCPF1F2T/e1, theorem 49
History
- 2026-10-29: add by m2/v0.4.10
E9 honeycomb HTQ3KDR7MW
| URI | m2://inv/HTQ3KDR7MW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#NFVU, E9 honeycomb (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#8DPI, E9 honeycomb (definition)
History
- 2026-11-02: add by m2/dev
HTQ833S1AV HTQ833S1AV
| URI | m2://inv/HTQ833S1AV |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1509.00950#8FX1 (proof). In MDZFW5GACV/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Constructible path integrals HTQA53A5G3
| URI | m2://inv/HTQA53A5G3 |
|---|---|
| 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.14065#DGFH, Constructible path integrals (statement). In PV7V3X78JH/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
Subtyping of functions HTQEWY26DB
| URI | m2://inv/HTQEWY26DB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subtyping#6AUS, Subtyping of functions (unknown)
History
- 2026-11-02: add by m2/dev
HTQF8FW2BN HTQF8FW2BN
| URI | m2://inv/HTQF8FW2BN |
|---|---|
| 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.27078#ZU43 (statement)
History
- 2026-11-01: add by m2/v0.6.15
HTQQKSTA2T HTQQKSTA2T
| URI | m2://inv/HTQQKSTA2T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-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 1503.05744#VLVG (statement). In 5XKHZKEGAF/e1, corollary 3.6
History
- 2026-10-27: add by m2/v0.3.5
Xiao-Gang Wen HTQW3YHHSD
| URI | m2://inv/HTQW3YHHSD |
|---|---|
| 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 Q2514375, Xiao-Gang Wen (unknown). Also nLab Xiao-Gang Wen
History
- 2026-10-26: add by m2/dev
Definition HTQZN59C4Z
| URI | m2://inv/HTQZN59C4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rainbow matching#A49R, Definition (definition)
History
- 2026-11-02: add by m2/dev
Generalizations HTR0X24CY4
| URI | m2://inv/HTR0X24CY4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Landau–Mignotte bound#HJQX, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
HTR111JHR7 HTR111JHR7
| URI | m2://inv/HTR111JHR7 |
|---|---|
| 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 2609.37815#SOOK (statement). In SVJYA0171G/e1, lemma 6.7
History
- 2026-10-30: add by m2/v0.4.12
HTR30KAA0Y HTR30KAA0Y
| URI | m2://inv/HTR30KAA0Y |
|---|---|
| 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.20583#X2A3 (statement). In 5YEEPDPAQE/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.4.2
Vladimir Voevodsky HTR3S7K905
| URI | m2://inv/HTR3S7K905 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vladimir Voevodsky, Vladimir Voevodsky (topic). Also Wikidata Q369662
History
- 2026-11-02: add by m2/dev
$L^2$ Subspace Approximation HTR5PXNETN
| URI | m2://inv/HTR5PXNETN |
|---|---|
| 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.26592#5V6V, $L^2$ Subspace Approximation (statement)
History
- 2026-11-01: add by m2/v0.6.15
HTRCCNXY00 HTRCCNXY00
| URI | m2://inv/HTRCCNXY00 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Partitions.tex#problem-13 (exercise). In P1C114YBXG, problem, section G
History
- 2026-11-01: add by m2/v0.6.13
Sieve of Atkin HTRG33RA4P
| URI | m2://inv/HTRG33RA4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sieve of Atkin, Sieve of Atkin (definition). Also Wikidata Q1542201
History
- 2026-11-02: add by m2/dev
Andrew Vázsonyi HTRJ3SYNK8
| URI | m2://inv/HTRJ3SYNK8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WRTV, Andrew Vázsonyi (unknown)
History
- 2026-11-02: add by m2/dev
HTRQA3W3K1 HTRQA3W3K1
| URI | m2://inv/HTRQA3W3K1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 16-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.06739#OYK4 (example). In HA9B7PD0YV/e1, example 31
History
- 2026-10-29: add by m2/v0.4.10
Localized bounds from a uniform cover HTRRPW9J9V
| URI | m2://inv/HTRRPW9J9V |
|---|---|
| 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 2610.12544#M70M, Localized bounds from a uniform cover (statement). In XXV36V6CK8/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
folium of Descartes HTRS9EGCH9
| URI | m2://inv/HTRS9EGCH9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q837771, folium of Descartes (unknown). Also MathWorld FoliumofDescartes
- wikipedia: Wikipedia Folium of Descartes, Folium of Descartes (definition). Also Wikidata Q837771
History
- 2026-10-26: add by m2/dev
Charles Thompson Sullivan HTRWA93447
| URI | m2://inv/HTRWA93447 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#08LH, Charles Thompson Sullivan (unknown)
History
- 2026-11-02: add by m2/dev
HTRXFZKBJ1 HTRXFZKBJ1
| URI | m2://inv/HTRXFZKBJ1 |
|---|---|
| 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 2204.05019#F2JC (statement). In NMGJEPYKJ7/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
Applications HTRXG2AD0H
| URI | m2://inv/HTRXG2AD0H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ising model#1PWZ, Applications (example)
History
- 2026-11-02: add by m2/dev
HTS8174P9F HTS8174P9F
| URI | m2://inv/HTS8174P9F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-224 (exercise). In VNMV985MXX, exercise, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
HTSDSNN8SN HTSDSNN8SN
| URI | m2://inv/HTSDSNN8SN |
|---|---|
| Kind | statement |
| 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.15344#OUXC (statement). In B9EX6K51RD/e1, theorem A.2
History
- 2026-10-28: add by m2/v0.4.2
Elementary properties of the update map HTSE3DENZZ
| URI | m2://inv/HTSE3DENZZ |
|---|---|
| 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.20274#7J6Q, Elementary properties of the update map (statement)
History
- 2026-11-02: add by m2/v0.6.18
Hell, Miksa HTSJ7TREFS
| URI | m2://inv/HTSJ7TREFS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#VRRC, Hell, Miksa (unknown)
History
- 2026-11-02: add by m2/dev
HTSSKEAEJV HTSSKEAEJV
| URI | m2://inv/HTSSKEAEJV |
|---|---|
| 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.36334#U8M1 (definition). In YVB70SBGN1/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
HTSY5A23A3 HTSY5A23A3
| URI | m2://inv/HTSY5A23A3 |
|---|---|
| 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.10452#X7R5 (statement). In 2F4PNP1V3B/e1, theorem 2.1
History
- 2026-10-29: add by m2/v0.4.10
HTSYANAZET HTSYANAZET
| URI | m2://inv/HTSYANAZET |
|---|---|
| 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.28898#KZD4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
HTSZDWM941 HTSZDWM941
| URI | m2://inv/HTSZDWM941 |
|---|---|
| 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.23871#VXZS (statement)
History
- 2026-11-02: add by m2/v0.6.17
Fast Hartley transform HTT1RG06J1
| URI | m2://inv/HTT1RG06J1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete Hartley transform#J8RU, Fast Hartley transform (unknown)
History
- 2026-11-02: add by m2/dev
HTT5BMGHN2 HTT5BMGHN2
| URI | m2://inv/HTT5BMGHN2 |
|---|---|
| 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.21472#V341 (statement)
History
- 2026-11-02: add by m2/v0.6.18
HTT5CGMY1R HTT5CGMY1R
| URI | m2://inv/HTT5CGMY1R |
|---|---|
| Kind | definition |
| 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 1903.07030#0CG9 (definition). In 9H45HQE7AZ/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
7560 (number) HTT6TA2J2F
| URI | m2://inv/HTT6TA2J2F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 7000 (number)#8ITW, 7560 (number) (unknown)
History
- 2026-11-02: add by m2/dev
HTT72JMCW3 HTT72JMCW3
| URI | m2://inv/HTT72JMCW3 |
|---|---|
| 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 2605.24355#6PDL (statement). In VV3AJMWWCR/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.6
John Fauvel HTT9CNMM7D
| URI | m2://inv/HTT9CNMM7D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Fauvel, John Fauvel (topic). Also Wikidata Q1426930
History
- 2026-11-02: add by m2/dev
HTTDW3W73Z HTTDW3W73Z
| URI | m2://inv/HTTDW3W73Z |
|---|---|
| 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.00339#T5RZ (statement). In ZRG6NY1ECH/e1, lemma 44
History
- 2026-10-30: add by m2/v0.4.12
cross-ratio HTTF4QGXMS
| URI | m2://inv/HTTF4QGXMS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Cross-ratio 05MW7MPRBS |
Mentions
- wikidata: Wikidata Q899539, cross-ratio (definition). Also MathWorld CrossRatio, nLab cross ratio, ProofWiki Definition:Cross-Ratio/Complex_Analysis
- wikipedia: Wikipedia Cross-ratio, Cross-ratio (definition). Also Wikidata Q899539
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
HTTKHB7R4Z HTTKHB7R4Z
| URI | m2://inv/HTTKHB7R4Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17139#UIJ9 (statement). In AQWX60Z563/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.2
HTV16ZYT41 HTV16ZYT41
| URI | m2://inv/HTV16ZYT41 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-47 (exercise). In E59CDZA4DP, exercise, section 11.4.3
History
- 2026-11-01: add by m2/v0.6.13
HTV27E2G8A HTV27E2G8A
| URI | m2://inv/HTV27E2G8A |
|---|---|
| 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.12105#VU0E (statement). In 289HM2RXT3/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.3
Philipp Habegger HTV7X7T89M
| URI | m2://inv/HTV7X7T89M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philipp Habegger, Philipp Habegger (topic). Also Wikidata Q93386763
History
- 2026-11-02: add by m2/dev
Plot HTVH3DKB3G
| URI | m2://inv/HTVH3DKB3G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plot (graphics), Plot (definition). Also Wikidata Q1474611
History
- 2026-11-02: add by m2/dev
Biconvex Schur estimate HTVQ2NK8M4
| URI | m2://inv/HTVQ2NK8M4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14037#G4KB, Biconvex Schur estimate (statement). In E7QSF9NXBG/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Membrane theory of shells HTVQXYRSKB
| URI | m2://inv/HTVQXYRSKB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Membrane theory of shells, Membrane theory of shells (definition). Also Wikidata Q18343730
History
- 2026-11-02: add by m2/dev
HTWGTFFDZC HTWGTFFDZC
| URI | m2://inv/HTWGTFFDZC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#thm:connected-pointed (statement). In N54F33XE07, lem, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
Applications HTWGZFKS52
| URI | m2://inv/HTWGZFKS52 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear regression#TUE2, Applications (example)
History
- 2026-11-02: add by m2/dev
Properties HTWMDVXS8X
| URI | m2://inv/HTWMDVXS8X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ziegler spectrum#PN54, Properties (statement)
History
- 2026-11-02: add by m2/dev
HTWNP5VQHJ HTWNP5VQHJ
| URI | m2://inv/HTWNP5VQHJ |
|---|---|
| Kind | definition |
| 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.00116#48X5 (definition). In QBNPEXJEFV/e1, definition 1.1
History
- 2026-10-30: add by m2/v0.4.12
Light Up HTWVRE6GBY
| URI | m2://inv/HTWVRE6GBY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#YQGQ, Light Up (definition)
History
- 2026-11-02: add by m2/dev
Examples HTWVYHTHJP
| URI | m2://inv/HTWVYHTHJP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic surface#OL70, Examples (example)
History
- 2026-11-02: add by m2/dev
HTX3JGP4TA HTX3JGP4TA
| URI | m2://inv/HTX3JGP4TA |
|---|---|
| Kind | definition |
| 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.01970#L4UQ (definition). In 1B400PB2NJ/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Quarter 7-cubic honeycomb HTXEYEKAB8
| URI | m2://inv/HTXEYEKAB8 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quarter 7-cubic honeycomb, Quarter 7-cubic honeycomb (object). Also Wikidata Q17078190
History
- 2026-11-02: add by m2/dev
HTXHR1M6CY HTXHR1M6CY
| URI | m2://inv/HTXHR1M6CY |
|---|---|
| Kind | definition |
| 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#136K (definition)
History
- 2026-11-01: add by m2/v0.6.15
Harmonices Mundi HTXJJ8A89V
| URI | m2://inv/HTXJJ8A89V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1066757, Harmonices Mundi (unknown). Also ProofWiki Book:Johannes_Kepler/Harmonices_Mundi
- wikipedia: Wikipedia Harmonice Mundi, Harmonice Mundi (definition). Also Wikidata Q1066757
History
- 2026-10-26: add by m2/dev
Ordered exponential field HTXMN1F08T
| URI | m2://inv/HTXMN1F08T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordered exponential field, Ordered exponential field (definition). Also Wikidata Q5421534
History
- 2026-11-02: add by m2/dev
Examples HTXN7T5ZQK
| URI | m2://inv/HTXN7T5ZQK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enneahedron#BTMI, Examples (example)
History
- 2026-11-02: add by m2/dev
HTXNF67GYM HTXNF67GYM
| URI | m2://inv/HTXNF67GYM |
|---|---|
| Kind | definition |
| 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 2610.15869#645V (definition). In 5VRP29WZEK/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
HTXNP5QYBY HTXNP5QYBY
| URI | m2://inv/HTXNP5QYBY |
|---|---|
| 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.12413#ZCSO (statement). In 6EJ8J60SP8/e1, proposition 6
History
- 2026-10-28: add by m2/v0.4.2
Dynamic amplification factor HTXWCNK5GJ
| URI | m2://inv/HTXWCNK5GJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic amplification factor, Dynamic amplification factor (definition). Also Wikidata Q18206674
History
- 2026-11-02: add by m2/dev
HTXX8HXYAX HTXX8HXYAX
| URI | m2://inv/HTXX8HXYAX |
|---|---|
| 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.21047#2OC2 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition HTY1640KPN
| URI | m2://inv/HTY1640KPN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extension (simplicial set)#P3AM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Lelong HTY1ATCSZ7
| URI | m2://inv/HTY1ATCSZ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#HFDL, Lelong (definition)
History
- 2026-11-02: add by m2/dev
invariant HTY4RT3M5K
| URI | m2://inv/HTY4RT3M5K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q188211, invariant (unknown). Also MathWorld Invariant
- wikipedia: Wikipedia Invariant (mathematics), Invariant (definition). Also Wikidata Q188211
History
- 2026-10-26: add by m2/dev
Generalizations HTY7VPKC3S
| URI | m2://inv/HTY7VPKC3S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rotation (mathematics)#9IW4, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
HTY82W8EX5 HTY82W8EX5
| URI | m2://inv/HTY82W8EX5 |
|---|---|
| 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.25973#GV0S (statement)
History
- 2026-11-01: add by m2/v0.6.15
Global contraction and the contraction factor HTYC9RE8XH
| URI | m2://inv/HTYC9RE8XH |
|---|---|
| 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.17403#ZF7X, Global contraction and the contraction factor (statement). In 9EMNMAW8YH/e1, theorem 21
History
- 2026-10-28: add by m2/v0.4.2
HTYDKWP8E5 HTYDKWP8E5
| URI | m2://inv/HTYDKWP8E5 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#proof-12 (proof). In E59CDZA4DP, proof, section 5.3.2
History
- 2026-11-01: add by m2/v0.6.13
Kunstweg HTYMFYJ3TS
| URI | m2://inv/HTYMFYJ3TS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kunstweg, Kunstweg (definition). Also Wikidata Q27995991
History
- 2026-11-02: add by m2/dev
Definitions HTYWSP4PWA
| URI | m2://inv/HTYWSP4PWA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bessel function#6K16, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Matt Davison HTYWXSFWFY
| URI | m2://inv/HTYWXSFWFY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matt Davison, Matt Davison (topic). Also Wikidata Q40497834
History
- 2026-11-02: add by m2/dev
HTYYEG3G6T HTYYEG3G6T
| URI | m2://inv/HTYYEG3G6T |
|---|---|
| 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.16203#7TOT (statement). In 43TBS9P2PX/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
HTZ1J9QFCZ HTZ1J9QFCZ
| URI | m2://inv/HTZ1J9QFCZ |
|---|---|
| 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#B9L5 (statement). In P3HWTYFDBX/e1, theorem C
History
- 2026-10-29: add by m2/v0.4.12
cyclic homology HTZ3N37G93
| URI | m2://inv/HTZ3N37G93 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Cyclic homology 676K167XS8 |
Mentions
- wikidata: Wikidata Q939179, cyclic homology (unknown). Also nLab cyclic homology
- wikipedia: Wikipedia Cyclic homology, Cyclic homology (definition). Also Wikidata Q939179
History
- 2026-10-26: add by m2/dev
HTZ5Y5R531 HTZ5Y5R531
| URI | m2://inv/HTZ5Y5R531 |
|---|---|
| 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.07890#I63K (statement). In 6F3GSDT2V1/e1, proposition 3.13
History
- 2026-10-29: add by m2/v0.4.10
Odd-degree Chebyshev differentiation HTZ6HE9PPR
| URI | m2://inv/HTZ6HE9PPR |
|---|---|
| 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#P3FZ, Odd-degree Chebyshev differentiation (statement). In H39AZG67B6/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.12
Gluing of two components HTZATA0H18
| URI | m2://inv/HTZATA0H18 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12619#2S4X, Gluing of two components (example). In 7F8KACT5AJ/e1, example 2.1
History
- 2026-10-28: add by m2/v0.4.2
HTZBQDB48K HTZBQDB48K
| URI | m2://inv/HTZBQDB48K |
|---|---|
| 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.16875#D724 (statement). In KS30K5JXGB/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.2
Proposition HTZE5MNENM
| URI | m2://inv/HTZE5MNENM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Countable set#MVYT, Proposition (statement)
History
- 2026-11-02: add by m2/dev
HTZG1VJHZ2 HTZG1VJHZ2
| URI | m2://inv/HTZG1VJHZ2 |
|---|---|
| Kind | statement |
| 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#DPQL (statement). In ATSYBWEMMP/e1, theorem 8.6
History
- 2026-10-29: add by m2/v0.4.10
HTZQ2D44GF HTZQ2D44GF
| URI | m2://inv/HTZQ2D44GF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37271#U4T8 (statement). In 9WP2QGKMG8/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12