Inventory rows HE
The cards of the rows of the inventory whose ids start with HE. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
North Bergen HE0AV9ETTT
| URI | m2://inv/HE0AV9ETTT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#8M4M, North Bergen (unknown)
History
- 2026-11-02: add by m2/dev
Density of the domain of the slope HE0B2QD047
| URI | m2://inv/HE0B2QD047 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.20998#WSBB, Density of the domain of the slope (statement)
History
- 2026-11-02: add by m2/v0.6.18
Ana Caraiani HE0ZAE2PS1
| URI | m2://inv/HE0ZAE2PS1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ana Caraiani, Ana Caraiani (topic). Also Wikidata Q18704954
History
- 2026-11-02: add by m2/dev
Beckett-Gray code HE14D2BFXD
| URI | m2://inv/HE14D2BFXD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gray code#KCSS, Beckett-Gray code (unknown)
History
- 2026-11-02: add by m2/dev
HE1BZ8TSHA HE1BZ8TSHA
| URI | m2://inv/HE1BZ8TSHA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#2OF5 (statement). In BDN507RN7J/e1, corollary 3.7.10
History
- 2026-10-30: add by m2/v0.4.12
Uniform de Jonqui\`eres transformation HE1H3Y9Q71
| URI | m2://inv/HE1H3Y9Q71 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01783#NDO0, Uniform de Jonqui\`eres transformation (statement). In 8BKC3PVX9G/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
inner product HE1J3Q8VXR
| URI | m2://inv/HE1J3Q8VXR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Inner product 0NB0AWGJBW |
Mentions
- wikidata: Wikidata Q23924662, inner product (unknown). Also EoM Pre-Hilbert_space, MathWorld InnerProduct
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Abigail Thompson HE1M63RJAK
| URI | m2://inv/HE1M63RJAK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abigail Thompson, Abigail Thompson (topic). Also Wikidata Q321129
History
- 2026-11-02: add by m2/dev
HE1NV3GCFK HE1NV3GCFK
| URI | m2://inv/HE1NV3GCFK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35605#DUSO (definition). In X1KWTAA3M2/e1, definition 5
History
- 2026-10-27: add by m2/v0.3.5
HE1RESYJXP HE1RESYJXP
| URI | m2://inv/HE1RESYJXP |
|---|---|
| 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 2205.09049#N7AB (definition). In 37S7MNMZ2F/e1, definition 20
History
- 2026-10-27: add by m2/v0.3.5
HE1RZ6X9VN HE1RZ6X9VN
| URI | m2://inv/HE1RZ6X9VN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36509#N8CR (statement). In DPJ15KW23C/e1, theorem 9.1
History
- 2026-10-30: add by m2/v0.4.12
Smash product HE1Z5F3GSC
| URI | m2://inv/HE1Z5F3GSC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cohomology theories#PZG7, Smash product (definition)
History
- 2026-11-02: add by m2/dev
Brakke Solution - compare to Brakke HE20HNRETZ
| URI | m2://inv/HE20HNRETZ |
|---|---|
| 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.21545#ACDO, Brakke Solution - compare to Brakke (definition). In 1Q3H75330M/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.4.2
Example HE2C8HCGKF
| URI | m2://inv/HE2C8HCGKF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum calculus#61NF, Example (example)
History
- 2026-11-02: add by m2/dev
Examples HE2ENE2KFF
| URI | m2://inv/HE2ENE2KFF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formally smooth map#O7KN, Examples (example)
History
- 2026-11-02: add by m2/dev
Definitions HE2F6757C0
| URI | m2://inv/HE2F6757C0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meagre set#XKGL, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Mojette transform HE2FJG98RW
| URI | m2://inv/HE2FJG98RW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mojette transform, Mojette transform (definition). Also Wikidata Q2063566
History
- 2026-11-02: add by m2/dev
Low-order Lorentz-force bound HE2H56W39W
| URI | m2://inv/HE2H56W39W |
|---|---|
| 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.13248#2CBH, Low-order Lorentz-force bound (statement). In MGMC5SREP3/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
HE2HRJF3DW HE2HRJF3DW
| URI | m2://inv/HE2HRJF3DW |
|---|---|
| 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.14458#I2N5 (statement). In WJ76MVYAZQ/e1, corollary 4.4
History
- 2026-10-28: add by m2/v0.4.2
Hand, David HE2HS4DFFW
| URI | m2://inv/HE2HS4DFFW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#338F, Hand, David (unknown)
History
- 2026-11-02: add by m2/dev
Constitution theory HE2K50SWD5
| URI | m2://inv/HE2K50SWD5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rudolf Carnap#X8QH, Constitution theory (unknown)
History
- 2026-11-02: add by m2/dev
Fourier analysis HE2KW4W0RH
| URI | m2://inv/HE2KW4W0RH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#I1NP, Fourier analysis (topic)
History
- 2026-11-02: add by m2/dev
Hypotenuse HE2YYWTRVG
| URI | m2://inv/HE2YYWTRVG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#5O4F, Hypotenuse (definition)
History
- 2026-11-02: add by m2/dev
HE3053AAGX HE3053AAGX
| URI | m2://inv/HE3053AAGX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#Z54D (statement). In 9DQKY7KGE8/e1, proposition C.9
History
- 2026-10-31: add by m2/v0.5.6
Divergence to zero HE30KK4HT1
| URI | m2://inv/HE30KK4HT1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite product#E69T, Divergence to zero (unknown)
History
- 2026-11-02: add by m2/dev
HE32T9ZVHC HE32T9ZVHC
| URI | m2://inv/HE32T9ZVHC |
|---|---|
| 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.18084#DWYS (statement). In PKPT8NY665/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
Marian Pour-El HE35ZWAE31
| URI | m2://inv/HE35ZWAE31 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#KWYB, Marian Pour-El (topic)
History
- 2026-11-02: add by m2/dev
HE36MPYTWM HE36MPYTWM
| URI | m2://inv/HE36MPYTWM |
|---|---|
| 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.01267#P1SP (statement). In GWWHP6R0BZ/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.12
HE391JCSPE HE391JCSPE
| URI | m2://inv/HE391JCSPE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17476#7WNF (statement). In 6HXD74FA4S/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
Hard HE3HC0HNQS
| URI | m2://inv/HE3HC0HNQS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#exercise-28, Hard (exercise). In E59CDZA4DP, exercise, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
HE3JP8K75A HE3JP8K75A
| URI | m2://inv/HE3JP8K75A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.08738#XDA6 (definition). In 9GMTVSTAVN/e1, definition 3.3
History
- 2026-10-27: add by m2/v0.3.5
HE3JXC9696 HE3JXC9696
| URI | m2://inv/HE3JXC9696 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22082#9PG7 (statement). In 7PACGDW3N7/e1, proposition 18.2
History
- 2026-10-27: add by m2/v0.4.0
Geometric manifold HE3KMXPSZB
| URI | m2://inv/HE3KMXPSZB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometrization conjecture#MAF5, Geometric manifold (unknown)
History
- 2026-11-02: add by m2/dev
HE3ZF42ZZ6 HE3ZF42ZZ6
| URI | m2://inv/HE3ZF42ZZ6 |
|---|---|
| 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.32478#UC1X (statement). In 5QBSYDC2XH/e1, proposition 3.4
History
- 2026-10-31: add by m2/v0.5.6
Kummer's theorem HE41QTSD3Q
| URI | m2://inv/HE41QTSD3Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kummer's theorem, Kummer's theorem (statement). Also Wikidata Q6443980
History
- 2026-11-02: add by m2/dev
Marvin Mitchelson HE42JB141D
| URI | m2://inv/HE42JB141D |
|---|---|
| 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#0IEX, Marvin Mitchelson (unknown)
History
- 2026-11-02: add by m2/dev
Margaret Maxfield HE477W0ZWY
| URI | m2://inv/HE477W0ZWY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#E80D, Margaret Maxfield (topic)
History
- 2026-11-02: add by m2/dev
Formulation HE48GP285J
| URI | m2://inv/HE48GP285J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Suslin's problem#3AON, Formulation (definition)
History
- 2026-11-02: add by m2/dev
HE4J1WCR9N HE4J1WCR9N
| URI | m2://inv/HE4J1WCR9N |
|---|---|
| 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 2504.01057#1F1X (statement). In 69QFBXJENW/e1, corollary 3.14
History
- 2026-10-27: add by m2/v0.3.5
Reinhard Selten HE4VFKAWCK
| URI | m2://inv/HE4VFKAWCK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#3HAH, Reinhard Selten (unknown)
History
- 2026-11-02: add by m2/dev
HE51A66HAS HE51A66HAS
| URI | m2://inv/HE51A66HAS |
|---|---|
| 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.26851#ILN1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Birch and Swinnerton-Dyer conjecture HE5M2NBPTQ
| URI | m2://inv/HE5M2NBPTQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L-function#KJX9, Birch and Swinnerton-Dyer conjecture (statement)
History
- 2026-11-02: add by m2/dev
Finite topology HE5M3RPDNE
| URI | m2://inv/HE5M3RPDNE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite topology, Finite topology (definition). Also Wikidata Q5450410
History
- 2026-11-02: add by m2/dev
Eduard Čech HE5MT2EFZG
| URI | m2://inv/HE5MT2EFZG |
|---|---|
| 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 Q470581, Eduard Čech (unknown). Also nLab Eduard Čech, ProofWiki Mathematician:Eduard_Čech
- wikipedia: Wikipedia Eduard Čech, Eduard Čech (topic). Also Wikidata Q470581
History
- 2026-10-26: add by m2/dev
Steven N. MacEachern HE5PYAH6E3
| URI | m2://inv/HE5PYAH6E3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#LS9Y, Steven N. MacEachern (topic)
History
- 2026-11-02: add by m2/dev
HE5QH9QXNB HE5QH9QXNB
| URI | m2://inv/HE5QH9QXNB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#6A8I (statement). In X3RFXWN6FW/e1, lemma 5.11
History
- 2026-10-27: add by m2/v0.3.6
Gauss–Markov theorem as stated in econometrics HE5VMBWFBR
| URI | m2://inv/HE5VMBWFBR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauss–Markov theorem#UPFA, Gauss–Markov theorem as stated in econometrics (statement)
History
- 2026-11-02: add by m2/dev
G. B. Halsted HE60G49PWX
| URI | m2://inv/HE60G49PWX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia G. B. Halsted, G. B. Halsted (topic). Also Wikidata Q442260
History
- 2026-11-02: add by m2/dev
HE627J7QQD HE627J7QQD
| URI | m2://inv/HE627J7QQD |
|---|---|
| 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.14803#5C36 (statement). In VAEVDTBD3B/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
HE69NJX5E1 HE69NJX5E1
| URI | m2://inv/HE69NJX5E1 |
|---|---|
| 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 2504.13328#VSOO (statement). In 736Q32FYCG/e1, proposition 4.9
History
- 2026-10-27: add by m2/v0.3.5
Virtual reality HE69Z86SGD
| URI | m2://inv/HE69Z86SGD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#9CWQ, Virtual reality (unknown)
History
- 2026-11-02: add by m2/dev
dependent variable HE6CMVVG44
| URI | m2://inv/HE6CMVVG44 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#3UAS, dependent variable (definition)
History
- 2026-11-02: add by m2/dev
HE6CV5WAJK HE6CV5WAJK
| URI | m2://inv/HE6CV5WAJK |
|---|---|
| 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.05611#D0R8 (statement). In QDTX6NXFEB/e1, corollary 1.2
History
- 2026-10-29: add by m2/v0.4.10
Howard Elton Lacey HE6GYT1DFF
| URI | m2://inv/HE6GYT1DFF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Howard Elton Lacey, Howard Elton Lacey (topic). Also Wikidata Q38128113
History
- 2026-11-02: add by m2/dev
HE6QX26A97 HE6QX26A97
| URI | m2://inv/HE6QX26A97 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/zfc.tex#proof-1 (proof). In RZP28ERRZV, proof, section 93.2
History
- 2026-11-01: add by m2/v0.6.13
Bing's recognition theorem HE6WJXXQEQ
| URI | m2://inv/HE6WJXXQEQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#S14B, Bing's recognition theorem (statement)
History
- 2026-11-02: add by m2/dev
Formal statements HE6ZASCZ9E
| URI | m2://inv/HE6ZASCZ9E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reconstruction conjecture#BV28, Formal statements (statement)
History
- 2026-11-02: add by m2/dev
HE727QMW93 HE727QMW93
| URI | m2://inv/HE727QMW93 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1009.2047#GWIQ (statement). In F3MWRNBNED/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.5
Boris Tsirelson HE769GDF80
| URI | m2://inv/HE769GDF80 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EEOQ, Boris Tsirelson (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CQ7C, Boris Tsirelson (topic)
History
- 2026-11-02: add by m2/dev
HE7C85X1DA HE7C85X1DA
| URI | m2://inv/HE7C85X1DA |
|---|---|
| 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 0904.2051#0U14 (statement). In JYRVG8P8KC/e1, theorem 0
History
- 2026-10-27: add by m2/v0.3.5
Eidelheit theorem HE7CCEWP6M
| URI | m2://inv/HE7CCEWP6M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet space#LXEN, Eidelheit theorem (statement)
History
- 2026-11-02: add by m2/dev
HE7D7ZQNSG HE7D7ZQNSG
| URI | m2://inv/HE7D7ZQNSG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20077#GUTX (statement). In W5XRKWDADE/e1, theorem 3
History
- 2026-10-27: add by m2/v0.4.2
Riemannian polyhedron HE7E4XV6CS
| URI | m2://inv/HE7E4XV6CS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#EPU0, Riemannian polyhedron (unknown)
History
- 2026-11-02: add by m2/dev
HE7Y756KSY HE7Y756KSY
| URI | m2://inv/HE7Y756KSY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18992#2ZQT (statement). In S7PNTM0GZC/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
HE84SQWF09 HE84SQWF09
| URI | m2://inv/HE84SQWF09 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.09645#O7KV (definition). In HVDSC1GQRD/e1, definition 2.9
History
- 2026-10-27: add by m2/v0.3.5
Deza-Erd\H{o}s-Frankl HE8N14V8Z6
| URI | m2://inv/HE8N14V8Z6 |
|---|---|
| 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.22393#LHO7, Deza-Erd\H{o}s-Frankl (statement)
History
- 2026-11-02: add by m2/v0.6.17
HE8PJ9AX26 HE8PJ9AX26
| URI | m2://inv/HE8PJ9AX26 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13741#UTQQ (statement). In Q43F8N7XDE/e1, theorem 3.7
History
- 2026-10-28: add by m2/v0.4.2
Square gyrobicupola HE8YJ3P250
| URI | m2://inv/HE8YJ3P250 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#WDIJ, Square gyrobicupola (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#R3VN, Square gyrobicupola (definition)
History
- 2026-11-02: add by m2/dev
HE960XTKCT HE960XTKCT
| URI | m2://inv/HE960XTKCT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/reducts-and-expansions.tex#defn:reduct (definition). In PKGMM3P5QY, defn, section 46.6
History
- 2026-11-01: add by m2/v0.6.13
Definition HE96JTN615
| URI | m2://inv/HE96JTN615 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytic capacity#5EQK, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples HE9E3M64Y8
| URI | m2://inv/HE9E3M64Y8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirac operator#XWCL, Examples (example)
History
- 2026-11-02: add by m2/dev
Properties HE9K4TK94G
| URI | m2://inv/HE9K4TK94G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Undulating number#6S2E, Properties (statement)
History
- 2026-11-02: add by m2/dev
Localization and cup products HE9MQ9KPS1
| URI | m2://inv/HE9MQ9KPS1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#BW3G, Localization and cup products (statement). In XDTM624YPE/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.2
HE9WVE996N HE9WVE996N
| URI | m2://inv/HE9WVE996N |
|---|---|
| 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.37897#CCA8 (statement). In RBQ5FNCVNZ/e1, lemma B.8
History
- 2026-10-30: add by m2/v0.4.12
An equality criterion HE9YF4NKGY
| URI | m2://inv/HE9YF4NKGY |
|---|---|
| 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.36444#KR0N, An equality criterion (statement). In 4DJE72VPJP/e1, proposition 3.4
History
- 2026-10-30: add by m2/v0.4.12
Properties HEA5WHJXVK
| URI | m2://inv/HEA5WHJXVK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lifting scheme#26AX, Properties (statement)
History
- 2026-11-02: add by m2/dev
(Weeting #20) HEA6QRN2JW
| URI | m2://inv/HEA6QRN2JW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#256Z, (Weeting #20) (unknown)
History
- 2026-11-02: add by m2/dev
-yllion HEA82EC38P
| URI | m2://inv/HEA82EC38P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia -yllion, -yllion (definition). Also Wikidata Q4545033
History
- 2026-11-02: add by m2/dev
Richard Cyert HEA9EZEEBQ
| URI | m2://inv/HEA9EZEEBQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#ZB4L, Richard Cyert (unknown)
History
- 2026-11-02: add by m2/dev
HEA9MR14FD HEA9MR14FD
| URI | m2://inv/HEA9MR14FD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#TWMJ (statement). In VN084GGZGK/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.3
HEAD6N7A1K HEAD6N7A1K
| URI | m2://inv/HEAD6N7A1K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03081#HF1D (statement). In TX0H26X4VX/e1, proposition 6.3
History
- 2026-10-29: add by m2/v0.4.12
Michael Walker HEADJ46PF5
| URI | m2://inv/HEADJ46PF5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Walker (mathematician), Michael Walker (topic). Also Wikidata Q59395459
History
- 2026-11-02: add by m2/dev
HEANCQX14K HEANCQX14K
| URI | m2://inv/HEANCQX14K |
|---|---|
| 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.29023#WYR6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
HEAR9SQ3XB HEAR9SQ3XB
| URI | m2://inv/HEAR9SQ3XB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#definition-1 (definition). In P1C114YBXG, definition, section u1
History
- 2026-11-01: add by m2/v0.6.13
HEB8RGQHN5 HEB8RGQHN5
| URI | m2://inv/HEB8RGQHN5 |
|---|---|
| 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.29699#VP2U (statement)
History
- 2026-11-01: add by m2/v0.6.15
HEBEZ66JSN HEBEZ66JSN
| URI | m2://inv/HEBEZ66JSN |
|---|---|
| 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.05520#QUEV (statement). In WM1JMPW48K/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
United states median age HEBKEV3306
| URI | m2://inv/HEBKEV3306 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of the United States#TI9V, United states median age (unknown)
History
- 2026-11-02: add by m2/dev
HEBKGXV5TQ HEBKGXV5TQ
| URI | m2://inv/HEBKGXV5TQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23424#32OJ (definition)
History
- 2026-11-02: add by m2/v0.6.17
Derivative of the interpolation HEBQ0N6P7X
| URI | m2://inv/HEBQ0N6P7X |
|---|---|
| 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.06480#JD80, Derivative of the interpolation (statement). In 2Y47E704Z9/e1, lemma B.7
History
- 2026-10-29: add by m2/v0.4.10
Definitions HEBREC7MWY
| URI | m2://inv/HEBREC7MWY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overring#XQPM, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Frame centralizer HEC80RY6Q5
| URI | m2://inv/HEC80RY6Q5 |
|---|---|
| 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.21662#K3BF, Frame centralizer (statement). In 25B3WHEKH2/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.4.2
HEC933550P HEC933550P
| URI | m2://inv/HEC933550P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20760#PL5S (statement). In 6G9JSJ5JMP/e1, theorem 16
History
- 2026-10-27: add by m2/v0.4.2
HECBXEBQR5 HECBXEBQR5
| URI | m2://inv/HECBXEBQR5 |
|---|---|
| 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.17479#UFQ7 (statement). In 4FWAY748N7/e1, proposition 4.11
History
- 2026-10-28: add by m2/v0.4.2
Distance ceiling at $q$ odd, $d$ odd, $d\ge 3$; original HECFZR8P6Z
| URI | m2://inv/HECFZR8P6Z |
|---|---|
| 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.02392#IA29, Distance ceiling at $q$ odd, $d$ odd, $d\ge 3$; original (statement). In W066HQZQBF/e1, corollary 14
History
- 2026-10-29: add by m2/v0.4.12
HECNJKAN8H HECNJKAN8H
| URI | m2://inv/HECNJKAN8H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21552#QK08 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Antoine's necklace HECS50S6GT
| URI | m2://inv/HECS50S6GT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2983382, Antoine's necklace (concept). Also MathWorld AntoinesNecklace
- wikipedia: Wikipedia Antoine's necklace, Antoine's necklace (definition). Also Wikidata Q2983382
History
- 2026-10-26: add by m2/dev
Equal-mean owner HECV1F1WGC
| URI | m2://inv/HECV1F1WGC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#RSAV, Equal-mean owner (statement)
History
- 2026-11-01: add by m2/v0.6.15
Quantum CSS code HECV86W1TQ
| URI | m2://inv/HECV86W1TQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00525#73VJ, Quantum CSS code (definition). In JN34PDDXH8/e1, definition 5.2
History
- 2026-10-30: add by m2/v0.4.12
Finite-support prefix characterization HECXANH3VM
| URI | m2://inv/HECXANH3VM |
|---|---|
| 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.08821#XQXV, Finite-support prefix characterization (statement). In KP1THB2C09/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.10
Formal definition HED6GZMD1Q
| URI | m2://inv/HED6GZMD1Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie algebra–valued differential form#5QRP, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
HEDA8NNMEB HEDA8NNMEB
| URI | m2://inv/HEDA8NNMEB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13241#EQQE (example). In DWQWQ5KTEE/e1, example 2
History
- 2026-10-28: add by m2/v0.4.2
Generic reciprocal locking with small period mismatch HEDBB2Q42V
| URI | m2://inv/HEDBB2Q42V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15686#WC5I, Generic reciprocal locking with small period mismatch (statement). In 4HCK722M2G/e1, corollary 6.2
History
- 2026-10-28: add by m2/v0.4.2
Special cases HEDD4113QB
| URI | m2://inv/HEDD4113QB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schatten norm#07S2, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Examples HEDD7PQVD0
| URI | m2://inv/HEDD7PQVD0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Summability kernel#EITL, Examples (example)
History
- 2026-11-02: add by m2/dev
Variance of smooth convex samples HEDJ5ZK0AZ
| URI | m2://inv/HEDJ5ZK0AZ |
|---|---|
| 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.12641#LNVN, Variance of smooth convex samples (statement). In X5BYGZZHPF/e1, lemma L.1
History
- 2026-10-28: add by m2/v0.4.2
Applications HEDJ7D0SHC
| URI | m2://inv/HEDJ7D0SHC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viviani's theorem#3NU8, Applications (example)
History
- 2026-11-02: add by m2/dev
Refined equidistribution HEDZ9YGR0D
| URI | m2://inv/HEDZ9YGR0D |
|---|---|
| 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.23607#09AL, Refined equidistribution (statement)
History
- 2026-11-02: add by m2/v0.6.17
HEE08EFRPJ HEE08EFRPJ
| URI | m2://inv/HEE08EFRPJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27414#XEK3 (example)
History
- 2026-11-01: add by m2/v0.6.15
HEE2GC6757 HEE2GC6757
| URI | m2://inv/HEE2GC6757 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 57-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.10262#DJ8J (definition). In MVSGDTN2PB/e1, definition 5.9
History
- 2026-10-29: add by m2/v0.4.10
HEE4FVVESY HEE4FVVESY
| URI | m2://inv/HEE4FVVESY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21016#0DKF (statement)
History
- 2026-11-02: add by m2/v0.6.18
HEE4SA2DVA HEE4SA2DVA
| URI | m2://inv/HEE4SA2DVA |
|---|---|
| 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.05506#QTVD (statement). In FT53PMB1TE/e1, lemma 4.2.1
History
- 2026-10-29: add by m2/v0.4.10
Examples HEE56WK08F
| URI | m2://inv/HEE56WK08F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Piecewise-deterministic Markov process#ULGZ, Examples (example)
History
- 2026-11-02: add by m2/dev
HEEA6HA5EQ HEEA6HA5EQ
| URI | m2://inv/HEEA6HA5EQ |
|---|---|
| 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.20002#VK7E (statement)
History
- 2026-11-02: add by m2/v0.6.18
HEEJAMQF2Q HEEJAMQF2Q
| URI | m2://inv/HEEJAMQF2Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39353#BMU4 (statement). In 2PZR1KX2RC/e1, proposition C.1
History
- 2026-10-30: add by m2/v0.4.12
Separated-weight interpolation with bounded fibre multiplicity HEEMMPE2PN
| URI | m2://inv/HEEMMPE2PN |
|---|---|
| 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.10192#NOBU, Separated-weight interpolation with bounded fibre multiplicity (statement). In CEV9Q1KZY7/e1, theorem 9
History
- 2026-10-29: add by m2/v0.4.10
Conjunction introduction HEENKMPV6F
| URI | m2://inv/HEENKMPV6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjunction introduction, Conjunction introduction (definition). Also Wikidata Q5161172
History
- 2026-11-02: add by m2/dev
Karl Wilhelm Feuerbach HEEZW5RF6A
| URI | m2://inv/HEEZW5RF6A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#SA6K, Karl Wilhelm Feuerbach (topic)
History
- 2026-11-02: add by m2/dev
HEF3ZTWBZJ HEF3ZTWBZJ
| URI | m2://inv/HEF3ZTWBZJ |
|---|---|
| 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 2610.13792#VB42 (definition). In ZH0PFTZ12Y/e1, definition 2.7
History
- 2026-10-28: add by m2/v0.4.2
Four summands and higher output mass HEFAPE38HV
| URI | m2://inv/HEFAPE38HV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#6S06, Four summands and higher output mass (statement). In 9YAE8FNQST/e1, corollary 15.9
History
- 2026-10-30: add by m2/v0.4.12
HEFBV1Z7BJ HEFBV1Z7BJ
| URI | m2://inv/HEFBV1Z7BJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21093#X7E9 (statement). In TBFPBPQV3G/e1, proposition 8.9
History
- 2026-10-27: add by m2/v0.4.2
Examples HEFK4YBR6Y
| URI | m2://inv/HEFK4YBR6Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Misconceptions about the normal distribution#07ZK, Examples (example)
History
- 2026-11-02: add by m2/dev
Wiener series HEFT9H06RX
| URI | m2://inv/HEFT9H06RX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener series, Wiener series (definition). Also Wikidata Q4402522
History
- 2026-11-02: add by m2/dev
Relation to Osterwalder–Schrader axioms HEFTW1BBKN
| URI | m2://inv/HEFTW1BBKN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwinger function#A39T, Relation to Osterwalder–Schrader axioms (statement)
History
- 2026-11-02: add by m2/dev
HEFVG3JA9H HEFVG3JA9H
| URI | m2://inv/HEFVG3JA9H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-1 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Counterexample and sharpness HEFYETFE0H
| URI | m2://inv/HEFYETFE0H |
|---|---|
| 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.28014#9TMG, Counterexample and sharpness (statement)
History
- 2026-11-01: add by m2/v0.6.15
differentiable manifold HEFYQCYEWM
| URI | m2://inv/HEFYQCYEWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3552958, differentiable manifold (unknown). Also MathWorld DifferentiableManifold, nLab differentiable manifold
- wikipedia: Wikipedia Differentiable manifold, Differentiable manifold (definition). Also Wikidata Q3552958
History
- 2026-10-26: add by m2/dev
Bernd Sturmfels HEG7Z2VDQK
| URI | m2://inv/HEG7Z2VDQK |
|---|---|
| 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 Q73000, Bernd Sturmfels (unknown). Also nLab Bernd Sturmfels
History
- 2026-10-26: add by m2/dev
Properties HEGHQH5WXW
| URI | m2://inv/HEGHQH5WXW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weibull distribution#N8ZH, Properties (statement)
History
- 2026-11-02: add by m2/dev
Definition HEGJV297YD
| URI | m2://inv/HEGJV297YD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular point of an algebraic variety#KWQ8, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bicartesian closed category HEGQ241QYS
| URI | m2://inv/HEGQ241QYS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartesian closed category#SDAM, Bicartesian closed category (unknown)
History
- 2026-11-02: add by m2/dev
Isaac Newton HEGRCWZ94J
| URI | m2://inv/HEGRCWZ94J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#MXIL, Isaac Newton (topic)
History
- 2026-11-02: add by m2/dev
The pair matrix has full rank HEGTJ6BZ0M
| URI | m2://inv/HEGTJ6BZ0M |
|---|---|
| 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.09206#WYEZ, The pair matrix has full rank (statement). In T7R1Q29DQK/e1, lemma H.4
History
- 2026-10-29: add by m2/v0.4.10
Definition HEGXGE8Q99
| URI | m2://inv/HEGXGE8Q99 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zech's logarithm#U5ED, Definition (definition)
History
- 2026-11-02: add by m2/dev
HEGYV9TNKZ HEGYV9TNKZ
| URI | m2://inv/HEGYV9TNKZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22082#7UUR (statement). In 7PACGDW3N7/e1, lemma 21.2
History
- 2026-10-27: add by m2/v0.4.0
HEGZMS9E1B HEGZMS9E1B
| URI | m2://inv/HEGZMS9E1B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-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.27799#WW98 (definition)
History
- 2026-11-01: add by m2/v0.6.15
HEH10P3RDX HEH10P3RDX
| URI | m2://inv/HEH10P3RDX |
|---|---|
| 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#CGRU (statement). In 73QW05MWQB/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
HEH7FAP6XF HEH7FAP6XF
| URI | m2://inv/HEH7FAP6XF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00364#XMWF (statement). In ANR3DHYQPQ/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
HEH95R5K04 HEH95R5K04
| URI | m2://inv/HEH95R5K04 |
|---|---|
| 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.22551#2NPA (statement)
History
- 2026-11-02: add by m2/v0.6.17
Example HEHBBSP87F
| URI | m2://inv/HEHBBSP87F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimax#BDVN, Example (example)
History
- 2026-11-02: add by m2/dev
HEHG4VZ2HN HEHG4VZ2HN
| URI | m2://inv/HEHG4VZ2HN |
|---|---|
| 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 2303.10636#3IYO (definition). In 9SV2RAEPXM/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.6
HEJEW8BYF9 HEJEW8BYF9
| URI | m2://inv/HEJEW8BYF9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16114#VDTY (statement). In JZZ3FJ382R/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Theorem 3 HEJJR0T96X
| URI | m2://inv/HEJJR0T96X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orlicz sequence space#ZZ9P, Theorem 3 (statement)
History
- 2026-11-02: add by m2/dev
proper morphism HEJM0JPC35
| URI | m2://inv/HEJM0JPC35 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Proper morphism 9537RKBZPP |
Mentions
- wikidata: Wikidata Q7250176, proper morphism (definition). Also EoM Proper_morphism, nLab proper morphism, ProofWiki Definition:Proper_Morphism_of_Schemes
- wikipedia: Wikipedia Proper morphism, Proper morphism (definition). Also Wikidata Q7250176
History
- 2026-10-26: add by m2/dev
HEJPBX9CNR HEJPBX9CNR
| URI | m2://inv/HEJPBX9CNR |
|---|---|
| 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.26769#DVNV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Centre International de Mathématiques Pures et Appliquées HEJPDKD1J7
| URI | m2://inv/HEJPDKD1J7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centre International de Mathématiques Pures et Appliquées, Centre International de Mathématiques Pures et Appliquées (definition). Also Wikidata Q21511947
History
- 2026-11-02: add by m2/dev
Theorem (Uniform Boundedness Principle) HEK7CHFKWE
| URI | m2://inv/HEK7CHFKWE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional analysis#R1U4, Theorem (Uniform Boundedness Principle) (statement)
History
- 2026-11-02: add by m2/dev
HEKBF6Y9N8 HEKBF6Y9N8
| URI | m2://inv/HEKBF6Y9N8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37124#8C9M (statement). In 2QF1YG9DD0/e1, lemma 2.10
History
- 2026-10-30: add by m2/v0.4.12
functional relation HEKFMVYWJQ
| URI | m2://inv/HEKFMVYWJQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.2/functional-relation, functional relation (concept). In N54F33XE07, index, section A.2
History
- 2026-11-01: add by m2/v0.6.13
HEKN51K0HY HEKN51K0HY
| URI | m2://inv/HEKN51K0HY |
|---|---|
| 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.25038#NSKC (statement)
History
- 2026-11-01: add by m2/v0.6.15
HEKNSRAPHV HEKNSRAPHV
| URI | m2://inv/HEKNSRAPHV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20783#8WJG (statement)
History
- 2026-11-02: add by m2/v0.6.18
HEKQTSBJPE HEKQTSBJPE
| URI | m2://inv/HEKQTSBJPE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13877#XRD0 (statement). In NBMA6DBKJG/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Stanley Presser HEM2VMJ0CW
| URI | m2://inv/HEM2VMJ0CW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#VK12, Stanley Presser (unknown)
History
- 2026-11-02: add by m2/dev
HEM9VH6MS2 HEM9VH6MS2
| URI | m2://inv/HEM9VH6MS2 |
|---|---|
| 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 2508.08809#DHY6 (statement). In X5NX1YEABW/e1, lemma 5.9
History
- 2026-10-27: add by m2/v0.3.5
modus tollens HEM9WSQYC6
| URI | m2://inv/HEM9WSQYC6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q844118, modus tollens (statement). Also MathWorld ModusTollens
- wikipedia: Wikipedia Modus tollens, Modus tollens (definition). Also Wikidata Q844118
History
- 2026-10-26: add by m2/dev
Dennis DeTurck HEMRD4W3MB
| URI | m2://inv/HEMRD4W3MB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#IFRT, Dennis DeTurck (topic)
History
- 2026-11-02: add by m2/dev
HEMSMR9SQJ HEMSMR9SQJ
| URI | m2://inv/HEMSMR9SQJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-2.xml#exercise-13 (exercise). In 649HGZKE96, exercise, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
HEMWTGZX6X HEMWTGZX6X
| URI | m2://inv/HEMWTGZX6X |
|---|---|
| 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 2205.09049#9C6P (statement). In 37S7MNMZ2F/e1, proposition 81
History
- 2026-10-27: add by m2/v0.3.5
HEMZQ0Y1D0 HEMZQ0Y1D0
| URI | m2://inv/HEMZQ0Y1D0 |
|---|---|
| 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 2311.01874#JYNZ (statement). In A4TR95VGX2/e1, theorem 5.3.2
History
- 2026-10-27: add by m2/v0.3.5
HEN39FR8PT HEN39FR8PT
| URI | m2://inv/HEN39FR8PT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38188#3XZ8 (statement). In 7615KVXDB5/e1, corollary 2.13
History
- 2026-10-30: add by m2/v0.4.12
Quillen HENEZZ3SMG
| URI | m2://inv/HENEZZ3SMG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#7EIM, Quillen (definition)
History
- 2026-11-02: add by m2/dev
HENJ9BE758 HENJ9BE758
| URI | m2://inv/HENJ9BE758 |
|---|---|
| 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 2610.05018#B3SF (statement). In QFZSPBES9B/e1, corollary 2.2
History
- 2026-10-29: add by m2/v0.4.12
HENPJDAM1J HENPJDAM1J
| URI | m2://inv/HENPJDAM1J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-56 (exercise). In E9HS8K3A52, exercise, section 7.4.5
History
- 2026-11-01: add by m2/v0.6.13
Karl Adams HENZ2JBBQZ
| URI | m2://inv/HENZ2JBBQZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl Adams (mathematician), Karl Adams (topic). Also Wikidata Q91394
History
- 2026-11-02: add by m2/dev
HEP4T3FNKC HEP4T3FNKC
| URI | m2://inv/HEP4T3FNKC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#6SUE (statement). In REDG6QVHM3/e1, lemma 7.10
History
- 2026-10-29: add by m2/v0.4.12
Variations HEP6V11HZJ
| URI | m2://inv/HEP6V11HZJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alpha beta filter#8O5P, Variations (statement)
History
- 2026-11-02: add by m2/dev
Examples HEP91CQZJR
| URI | m2://inv/HEP91CQZJR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractal dimension#F7OC, Examples (example)
History
- 2026-11-02: add by m2/dev
Interior branch point touching the boundary HEPP3QPN45
| URI | m2://inv/HEPP3QPN45 |
|---|---|
| Kind | example |
| 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.09596#D877, Interior branch point touching the boundary (example). In HXFA55BREZ/e1, example 1.16
History
- 2026-10-29: add by m2/v0.4.10
HEPTQEY327 HEPTQEY327
| URI | m2://inv/HEPTQEY327 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1911.06467#DAIZ (definition). In G35G1NJKBX/e1, definition 6.1
History
- 2026-10-27: add by m2/v0.3.5
HEQ37B8RC4 HEQ37B8RC4
| URI | m2://inv/HEQ37B8RC4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18094#3BX1 (statement). In AYANBEWSFH/e1, theorem 1.5
History
- 2026-10-28: add by m2/v0.4.2
Transport Layer Security Adoption HEQFJQZSV6
| URI | m2://inv/HEQFJQZSV6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transport Layer Security#H2M2, Transport Layer Security Adoption (unknown)
History
- 2026-11-02: add by m2/dev
Thomas William Edmondson HEQVRS4A09
| URI | m2://inv/HEQVRS4A09 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas William Edmondson, Thomas William Edmondson (topic). Also Wikidata Q3379110
History
- 2026-11-02: add by m2/dev
Empirical realism HER0ZXBB7K
| URI | m2://inv/HER0ZXBB7K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Critique of Pure Reason#TRH2, Empirical realism (unknown)
History
- 2026-11-02: add by m2/dev
HER80VRE2R HER80VRE2R
| URI | m2://inv/HER80VRE2R |
|---|---|
| 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.26701#6EIZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Grassmann number HER9V2P2BQ
| URI | m2://inv/HER9V2P2BQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grassmann number, Grassmann number (definition). Also Wikidata Q60301
History
- 2026-11-02: add by m2/dev
Wild quadratic cancellation HER9Y1Y882
| URI | m2://inv/HER9Y1Y882 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#4Y4D, Wild quadratic cancellation (statement). In 5BZQS1KY9A/e1, proposition 9.26
History
- 2026-10-29: add by m2/v0.4.10
HERD674JAG HERD674JAG
| URI | m2://inv/HERD674JAG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.27272#ERI5 (statement). In BDEA3TDATY/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
Residue (complex analysis) HERG7XVCF2
| URI | m2://inv/HERG7XVCF2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#TRID, Residue (complex analysis) (definition)
History
- 2026-11-02: add by m2/dev
HERR1M56SD HERR1M56SD
| URI | m2://inv/HERR1M56SD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23884#T47H (statement)
History
- 2026-11-02: add by m2/v0.6.17
HERV21FZC9 HERV21FZC9
| URI | m2://inv/HERV21FZC9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#example:harmonicseries (example). In E59CDZA4DP, example, section 10.5.3
History
- 2026-11-01: add by m2/v0.6.13
Kevin Young HES920QRG7
| URI | m2://inv/HES920QRG7 |
|---|---|
| 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#MUM9, Kevin Young (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations HES9MA75HA
| URI | m2://inv/HES9MA75HA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chessboard complex#QJJ9, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
HESA2GDAA6 HESA2GDAA6
| URI | m2://inv/HESA2GDAA6 |
|---|---|
| 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.08664#28J3 (statement). In 1YY0P4ZS0T/e1, lemma 12
History
- 2026-10-29: add by m2/v0.4.10
Coherent state HESCFQ9Z6Y
| URI | m2://inv/HESCFQ9Z6Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#40BY, Coherent state (definition)
History
- 2026-11-02: add by m2/dev
Formal definition HESH0JY27C
| URI | m2://inv/HESH0JY27C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally normal space#3OW9, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Ericsson cycle engine HESJ0B7ZR1
| URI | m2://inv/HESJ0B7ZR1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ericsson cycle#7O15, Ericsson cycle engine (unknown)
History
- 2026-11-02: add by m2/dev
HESKEPCAP8 HESKEPCAP8
| URI | m2://inv/HESKEPCAP8 |
|---|---|
| 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.18600#5VRF (statement). In 31D6TQVCNZ/e1, lemma 3.13
History
- 2026-10-28: add by m2/v0.4.2
HESKJGGHG1 HESKJGGHG1
| URI | m2://inv/HESKJGGHG1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34081#XBEZ (statement). In 3RVGEKGX46/e1, corollary 5.1
History
- 2026-10-30: add by m2/v0.4.12
$\lambda$-abstraction HESNJJQSFA
| URI | m2://inv/HESNJJQSFA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.10/lambda-abstraction, $\lambda$-abstraction (concept). In N54F33XE07, index, section A.10
History
- 2026-11-01: add by m2/v0.6.13
HESWEWAG9J HESWEWAG9J
| URI | m2://inv/HESWEWAG9J |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11905#Q1RI (definition). In QQFXT31CA5/e1, definition 2.8
History
- 2026-10-28: add by m2/v0.4.3
HET99B2MZX HET99B2MZX
| URI | m2://inv/HET99B2MZX |
|---|---|
| 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 2204.13401#5MNR (statement). In B8MJT0GGW8/e1, proposition 4.17
History
- 2026-10-27: add by m2/v0.4.0
Applications HETEKMD2YR
| URI | m2://inv/HETEKMD2YR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert space#X4SX, Applications (example)
History
- 2026-11-02: add by m2/dev
HETR8FK2D0 HETR8FK2D0
| URI | m2://inv/HETR8FK2D0 |
|---|---|
| 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.28594#EC8I (statement)
History
- 2026-11-01: add by m2/v0.6.15
Euclides Danicus HETYYZ4GMZ
| URI | m2://inv/HETYYZ4GMZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclides Danicus, Euclides Danicus (definition). Also Wikidata Q18124676
History
- 2026-11-02: add by m2/dev
HEVAK9BR80 HEVAK9BR80
| URI | m2://inv/HEVAK9BR80 |
|---|---|
| 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 2610.17737#MYR1 (statement). In 8SXY7Y68HV/e1, corollary 4.6
History
- 2026-10-28: add by m2/v0.4.2
crossing number HEVBJBFJAS
| URI | m2://inv/HEVBJBFJAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q266775, crossing number (unknown). Also MathWorld GraphCrossingNumber
- wikipedia: Wikipedia Crossing number (graph theory), Crossing number (definition). Also Wikidata Q266775
History
- 2026-10-26: add by m2/dev
General-reference existence HEVDM9TKFK
| URI | m2://inv/HEVDM9TKFK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#PCUL, General-reference existence (statement). In 9YAE8FNQST/e1, theorem 17.1
History
- 2026-10-30: add by m2/v0.4.12
Mean-value property and sub-mean-value property HEVE9R7F2Z
| URI | m2://inv/HEVE9R7F2Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop:meansubmeanprop, Mean-value property and sub-mean-value property (statement). In VNMV985MXX, prop, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
HEVFB6G2ZB HEVFB6G2ZB
| URI | m2://inv/HEVFB6G2ZB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-35 (exercise). In E9HS8K3A52, exercise, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
HEVGD5W6SQ HEVGD5W6SQ
| URI | m2://inv/HEVGD5W6SQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#PKK5 (statement). In CY1FE8W1ZW/e1, corollary 0.279
History
- 2026-10-27: add by m2/v0.3.5
HEVH007X6G HEVH007X6G
| URI | m2://inv/HEVH007X6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#definition-2 (definition). In RZP28ERRZV, definition, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
Eckmann–Hilton duality HEVHN0NW1K
| URI | m2://inv/HEVHN0NW1K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#US4N, Eckmann–Hilton duality (topic)
History
- 2026-11-02: add by m2/dev
HEVKZ4FX6V HEVKZ4FX6V
| URI | m2://inv/HEVKZ4FX6V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#BCSS (statement). In VN084GGZGK/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.3
General solution HEVQPSTMQ3
| URI | m2://inv/HEVQPSTMQ3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear differential equation#356E, General solution (unknown)
History
- 2026-11-02: add by m2/dev
Definition HEVWCF1K1Y
| URI | m2://inv/HEVWCF1K1Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Near-semiring#7AJZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Permutational analysis of variance HEVY59B5FE
| URI | m2://inv/HEVY59B5FE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#ZUHZ, Permutational analysis of variance (definition)
History
- 2026-11-02: add by m2/dev
Cauchy--Euler equation HEW1JK7J5K
| URI | m2://inv/HEW1JK7J5K |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.2.4/cauchy-euler-equation, Cauchy--Euler equation (concept). In E9HS8K3A52, index, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
Theorem: HEW4KNEDST
| URI | m2://inv/HEW4KNEDST |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subadditivity#6F6Q, Theorem: (statement)
History
- 2026-11-02: add by m2/dev
HEW50PBBYX HEW50PBBYX
| URI | m2://inv/HEW50PBBYX |
|---|---|
| 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.15316#BYVU (statement). In 3K84E4150C/e1, proposition 6.4
History
- 2026-10-28: add by m2/v0.4.2
HEW5A3WP7X HEW5A3WP7X
| URI | m2://inv/HEW5A3WP7X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34852#1QIY (statement). In TZXEMCBK5V/e1, proposition 6.1
History
- 2026-10-30: add by m2/v0.4.12
Jacob Eichenbaum HEWFDNC8XX
| URI | m2://inv/HEWFDNC8XX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacob Eichenbaum, Jacob Eichenbaum (topic). Also Wikidata Q20502079
History
- 2026-11-02: add by m2/dev
HEWHXG7ZP0 HEWHXG7ZP0
| URI | m2://inv/HEWHXG7ZP0 |
|---|---|
| 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 1002.0879#0CXM (definition). In M0SQY5EZN5/e1, definition 6.1.2
History
- 2026-10-27: add by m2/v0.3.5
HEWNXQW50H HEWNXQW50H
| URI | m2://inv/HEWNXQW50H |
|---|---|
| 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.16941#HGVM (statement). In T96MPYB0KT/e1, corollary 2.3.1
History
- 2026-10-28: add by m2/v0.4.2
HEWZYHRD6Z HEWZYHRD6Z
| URI | m2://inv/HEWZYHRD6Z |
|---|---|
| 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 2212.00617#BQY6 (statement). In K7505G10SS/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
HEX1EV49VM HEX1EV49VM
| URI | m2://inv/HEX1EV49VM |
|---|---|
| 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.36412#6UND (statement). In 6HKGGCMBCK/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
HEX3VZBFYS HEX3VZBFYS
| URI | m2://inv/HEX3VZBFYS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.33590#ZWN1 (statement). In WRE0P7V6Z3/e1, lemma 14.8
History
- 2026-10-30: add by m2/v0.4.12
HEXAM7VWXC HEXAM7VWXC
| URI | m2://inv/HEXAM7VWXC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise:interiortopologic (exercise). In E59CDZA4DP, exercise, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
Example HEXB0VX6GC
| URI | m2://inv/HEXB0VX6GC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block matrix#YYPE, Example (example)
History
- 2026-11-02: add by m2/dev
HEXNRT2Q6D HEXNRT2Q6D
| URI | m2://inv/HEXNRT2Q6D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19455#HW1U (statement). In CBF6TQS4DW/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
HEXPBPVWGY HEXPBPVWGY
| URI | m2://inv/HEXPBPVWGY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 1209.3562#H78K (statement). In KZH1DCS18C/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
multiplicity of an eigenvalue HEXT5GD6SD
| URI | m2://inv/HEXT5GD6SD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/10.7.1/multiplicity-of-an-eigenvalue, multiplicity of an eigenvalue (concept). In E9HS8K3A52, index, section 10.7.1
History
- 2026-11-01: add by m2/v0.6.13
HEY1ZW7D3N HEY1ZW7D3N
| URI | m2://inv/HEY1ZW7D3N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-advPIE.ptx#example-11 (example). In Y91XFCEVHQ, example, section 2.6.2
History
- 2026-11-01: add by m2/v0.6.13
Elements of \tempuuujbhtkx\ are integral HEY3DRBJJG
| URI | m2://inv/HEY3DRBJJG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/applications.tex#lem:group_ring_integral, Elements of \tempuuujbhtkx\ are integral (statement). In RZP28ERRZV, lemma, section 78.1
History
- 2026-11-01: add by m2/v0.6.13
HEY5XN2CQY HEY5XN2CQY
| URI | m2://inv/HEY5XN2CQY |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/axiomatic-deduction/provability-consistency.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
Joint quenched central limit theorem HEY754CW33
| URI | m2://inv/HEY754CW33 |
|---|---|
| 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.19356#JQ0C, Joint quenched central limit theorem (statement). In 2B5QA28NCX/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
HEY839G858 HEY839G858
| URI | m2://inv/HEY839G858 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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.31090#22FY (statement). In SMTJDX0Q6R/e1, theorem 4.1
History
- 2026-10-31: add by m2/v0.5.6
Jürgen Mittelstraß HEY8PDA24J
| URI | m2://inv/HEY8PDA24J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jürgen Mittelstraß, Jürgen Mittelstraß (topic). Also Wikidata Q95189
History
- 2026-11-02: add by m2/dev
Symmetry of semantic substitutions HEYCXWFG8H
| URI | m2://inv/HEYCXWFG8H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#TS75, Symmetry of semantic substitutions (statement). In CPYWHRTPKC/e1, lemma 6.41
History
- 2026-10-27: add by m2/v0.4.2
HEYMDRSG41 HEYMDRSG41
| URI | m2://inv/HEYMDRSG41 |
|---|---|
| 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.34382#XLAN (statement). In MEF2VCAYXS/e1, theorem 2.9
History
- 2026-10-30: add by m2/v0.4.12
HEZ4SK79N4 HEZ4SK79N4
| URI | m2://inv/HEZ4SK79N4 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dual-trace.tex#proof-2 (proof). In RZP28ERRZV, proof, section 57.3
History
- 2026-11-01: add by m2/v0.6.13
Primitive finite window verification HEZ6YWVH17
| URI | m2://inv/HEZ6YWVH17 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18739#YQC2, Primitive finite window verification (statement). In VGJXQRC44C/e1, proposition 12
History
- 2026-10-28: add by m2/v0.4.2
Accuracy and precision HEZDBY8PDF
| URI | m2://inv/HEZDBY8PDF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#14GE, Accuracy and precision (definition)
History
- 2026-11-02: add by m2/dev
HEZR24QC4D HEZR24QC4D
| URI | m2://inv/HEZR24QC4D |
|---|---|
| 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.18709#X5FA (statement). In K7VY50VFK6/e1, proposition 6.2
History
- 2026-10-28: add by m2/v0.4.2