Inventory rows HA
The cards of the rows of the inventory whose ids start with HA. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
apothecaries' system HA07AM75YM
| URI | m2://inv/HA07AM75YM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q620565, apothecaries' system (definition). Also ProofWiki Definition:Apothecaries'_Weights_and_Measures
History
- 2026-10-26: add by m2/dev
Definition HA0F3YA4DE
| URI | m2://inv/HA0F3YA4DE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace field of a representation#U095, Definition (definition)
History
- 2026-11-02: add by m2/dev
HA0G940S4C HA0G940S4C
| URI | m2://inv/HA0G940S4C |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36045#725Z (problem). In F0E8YBV0Z0/e1, problem
History
- 2026-10-30: add by m2/v0.4.12
Generalizations HA0GV5G0CE
| URI | m2://inv/HA0GV5G0CE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prime zeta function#NZ5E, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Michael E. Taylor HA0KCHMY72
| URI | m2://inv/HA0KCHMY72 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TIF4, Michael E. Taylor (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HTT7, Michael E. Taylor (unknown)
History
- 2026-11-02: add by m2/dev
Boris Levin HA0P3YW07J
| URI | m2://inv/HA0P3YW07J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boris Levin, Boris Levin (topic). Also Wikidata Q16054696
History
- 2026-11-02: add by m2/dev
Existential forgery HA0PZEAWPK
| URI | m2://inv/HA0PZEAWPK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital signature forgery#7T47, Existential forgery (unknown)
History
- 2026-11-02: add by m2/dev
Zipf's law HA0V4Z58MP
| URI | m2://inv/HA0V4Z58MP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Kingsley Zipf#QAUR, Zipf's law (statement)
History
- 2026-11-02: add by m2/dev
Immigration and crime in Finland HA0WPWAQE7
| URI | m2://inv/HA0WPWAQE7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Immigration and crime#4D1D, Immigration and crime in Finland (unknown)
History
- 2026-11-02: add by m2/dev
HA145JRZAD HA145JRZAD
| URI | m2://inv/HA145JRZAD |
|---|---|
| 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 2203.16333#ZQVU (statement). In GV2GPKN1F6/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
HA16C39M8T HA16C39M8T
| URI | m2://inv/HA16C39M8T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#problem-4 (exercise). In P1C114YBXG, problem, section u1
History
- 2026-11-01: add by m2/v0.6.13
Sator Square HA182Z3B77
| URI | m2://inv/HA182Z3B77 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q41898, Sator Square (unknown). Also MathWorld TemplarMagicSquare
- wikipedia: Wikipedia Sator Square, Sator Square (definition). Also Wikidata Q41898
History
- 2026-10-26: add by m2/dev
Implementations HA18P9XGTK
| URI | m2://inv/HA18P9XGTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RIPEMD#87HH, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Todd class HA1TJNX5Y0
| URI | m2://inv/HA1TJNX5Y0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Todd class 2YDB5089FR |
Mentions
- wikidata: Wikidata Q2438393, Todd class (concept). Also nLab Todd class
- wikipedia: Wikipedia Todd class, Todd class (definition). Also Wikidata Q2438393
History
- 2026-10-26: add by m2/dev
Arthur Geoffrey Walker HA209B9Y3W
| URI | m2://inv/HA209B9Y3W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#NZJS, Arthur Geoffrey Walker (topic)
History
- 2026-11-02: add by m2/dev
Roman Mikhaylov HA20VM4FRW
| URI | m2://inv/HA20VM4FRW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roman Mikhaylov, Roman Mikhaylov (topic). Also Wikidata Q53848600
History
- 2026-11-02: add by m2/dev
HA25YPA6D3 HA25YPA6D3
| URI | m2://inv/HA25YPA6D3 |
|---|---|
| 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.04809#3F43 (statement). In 2VHV0RNTNV/e1, lemma 9.5
History
- 2026-10-29: add by m2/v0.4.12
Local moment identifiability HA26PRGNSV
| URI | m2://inv/HA26PRGNSV |
|---|---|
| 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.26209#JLW9, Local moment identifiability (statement)
History
- 2026-11-01: add by m2/v0.6.15
Discrete Fourier transform HA27GMWQRJ
| URI | m2://inv/HA27GMWQRJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of harmonic analysis topics#0BO3, Discrete Fourier transform (definition)
History
- 2026-11-02: add by m2/dev
Excess residual of a fitted deleted subspace HA2AE9S01B
| URI | m2://inv/HA2AE9S01B |
|---|---|
| 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.08069#0760, Excess residual of a fitted deleted subspace (statement). In TVW9BTWJ3D/e1, corollary 5
History
- 2026-10-29: add by m2/v0.4.10
Block reflector HA2B3CQ67F
| URI | m2://inv/HA2B3CQ67F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block reflector, Block reflector (definition). Also Wikidata Q4927205
History
- 2026-11-02: add by m2/dev
Divisibility gap HA2CAQH3AY
| URI | m2://inv/HA2CAQH3AY |
|---|---|
| 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.14086#7YAD, Divisibility gap (statement). In J6EZ2RQW2F/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Complex conjugate of a vector space HA2CNE438F
| URI | m2://inv/HA2CNE438F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex conjugate of a vector space, Complex conjugate of a vector space (definition). Also Wikidata Q3058340
History
- 2026-11-02: add by m2/dev
Examples HA2D834PQ2
| URI | m2://inv/HA2D834PQ2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological indistinguishability#8Z8S, Examples (example)
History
- 2026-11-02: add by m2/dev
HA2GV1SF5V HA2GV1SF5V
| URI | m2://inv/HA2GV1SF5V |
|---|---|
| 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.30663#K9RW (statement). In 3JZDKWS8NK/e1, lemma 9.7
History
- 2026-10-31: add by m2/v0.5.6
C closed subgroup HA2N4BHVVJ
| URI | m2://inv/HA2N4BHVVJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centralizer and normalizer#PZPS, C closed subgroup (unknown)
History
- 2026-11-02: add by m2/dev
existence predicate HA2WRDEC9V
| URI | m2://inv/HA2WRDEC9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#72W0, existence predicate (definition)
History
- 2026-11-02: add by m2/dev
Quatre Bornes HA2YAQRYCZ
| URI | m2://inv/HA2YAQRYCZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#W33R, Quatre Bornes (unknown)
History
- 2026-11-02: add by m2/dev
Guacolda Antoine Lazzerini HA34472NBB
| URI | m2://inv/HA34472NBB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guacolda Antoine Lazzerini, Guacolda Antoine Lazzerini (topic). Also Wikidata Q20021497
History
- 2026-11-02: add by m2/dev
HA3CTDB1K1 HA3CTDB1K1
| URI | m2://inv/HA3CTDB1K1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_networkflow_augmenting.ptx#exa_networkflow_augpath (example). In QKM9DD2H56, example, section 13.3
History
- 2026-11-01: add by m2/v0.6.13
European Study Groups with Industry HA3MMWHV2J
| URI | m2://inv/HA3MMWHV2J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia European Study Groups with Industry, European Study Groups with Industry (definition). Also Wikidata Q55611168
History
- 2026-11-02: add by m2/dev
Descartes' rule of signs HA3NM64NFE
| URI | m2://inv/HA3NM64NFE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Descartes' rule of signs T6DQQ36JZ5 |
Mentions
- wikidata: Wikidata Q1379344, Descartes' rule of signs (statement). Also MathWorld DescartesSignRule
- wikipedia: Wikipedia Descartes's rule of signs, Descartes's rule of signs (definition). Also Wikidata Q1379344
History
- 2026-10-26: add by m2/dev
Statement of the lemma HA3PM07WMV
| URI | m2://inv/HA3PM07WMV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bramble–Hilbert lemma#BQ42, Statement of the lemma (statement)
History
- 2026-11-02: add by m2/dev
HA3W4QVQ7P HA3W4QVQ7P
| URI | m2://inv/HA3W4QVQ7P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/inverses.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 79.1
History
- 2026-11-01: add by m2/v0.6.13
Montgomery curve HA3X2DFZG1
| URI | m2://inv/HA3X2DFZG1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Montgomery curve, Montgomery curve (definition). Also Wikidata Q6905837
History
- 2026-11-02: add by m2/dev
Savdeep Sethi HA3YVR54VV
| URI | m2://inv/HA3YVR54VV |
|---|---|
| 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 Q59672168, Savdeep Sethi (unknown). Also nLab Savdeep Sethi
History
- 2026-10-26: add by m2/dev
HA402DE45G HA402DE45G
| URI | m2://inv/HA402DE45G |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.28677#2M1E (example)
History
- 2026-11-01: add by m2/v0.6.15
HA4528YPPT HA4528YPPT
| URI | m2://inv/HA4528YPPT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-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.04870#2OXJ (statement). In X765ZXXVC3/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
Generalization HA4B4ZDSVF
| URI | m2://inv/HA4B4ZDSVF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor product of modules#XBB6, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Rogers--Karasev contraction HA4E48956A
| URI | m2://inv/HA4E48956A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27798#LGQ8, Rogers--Karasev contraction (statement)
History
- 2026-11-01: add by m2/v0.6.15
Law of epidemics HA4NTBGB9R
| URI | m2://inv/HA4NTBGB9R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Farr#Y0IM, Law of epidemics (statement)
History
- 2026-11-02: add by m2/dev
general linear group as a Lie group HA4QTT7N2Y
| URI | m2://inv/HA4QTT7N2Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > general linear group as a Lie group, general linear group as a Lie group (unknown). Also Mathlib Units.instLieGroupModelWithCornersSelf
History
- 2026-10-26: add by m2/dev
Euler summation HA4RTW6EK1
| URI | m2://inv/HA4RTW6EK1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler summation, Euler summation (definition). Also Wikidata Q374926
History
- 2026-11-02: add by m2/dev
V. F. R. Jones HA51MYTY38
| URI | m2://inv/HA51MYTY38 |
|---|---|
| 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#INCW, V. F. R. Jones (topic)
History
- 2026-11-02: add by m2/dev
Jan Arnoldus Schouten HA552NQ8Q5
| URI | m2://inv/HA552NQ8Q5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7I8P, Jan Arnoldus Schouten (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6Y1G, Jan Arnoldus Schouten (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DCY6, Jan Arnoldus Schouten (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MKXB, Jan Arnoldus Schouten (topic)
History
- 2026-11-02: add by m2/dev
HA55NPT137 HA55NPT137
| URI | m2://inv/HA55NPT137 |
|---|---|
| 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 2604.05177#TVHU (statement). In G04BKQV6YM/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.3.5
HA5AM349Z3 HA5AM349Z3
| URI | m2://inv/HA5AM349Z3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#definition-6 (definition). In RZP28ERRZV, definition, section 52.8
History
- 2026-11-01: add by m2/v0.6.13
Johann Sturm HA5GPYK2MW
| URI | m2://inv/HA5GPYK2MW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johann Sturm, Johann Sturm (topic). Also Wikidata Q75642
History
- 2026-11-02: add by m2/dev
The order-two criterion HA5QYDM45H
| URI | m2://inv/HA5QYDM45H |
|---|---|
| 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.00259#EFUY, The order-two criterion (statement). In CFXW6Z78G0/e1, corollary 1.2
History
- 2026-10-30: add by m2/v0.4.12
Second arcsine law HA5WMHMK95
| URI | m2://inv/HA5WMHMK95 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arcsine laws (Wiener process)#A5SZ, Second arcsine law (statement)
History
- 2026-11-02: add by m2/dev
Green–Tao theorem and extensions HA5XCW1AJ7
| URI | m2://inv/HA5XCW1AJ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic combinatorics#FA8C, Green–Tao theorem and extensions (statement)
History
- 2026-11-02: add by m2/dev
Generalizations HA5ZXVK2EF
| URI | m2://inv/HA5ZXVK2EF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet algebra#UDMB, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Eventual strict monotonicity HA60H2R2M6
| URI | m2://inv/HA60H2R2M6 |
|---|---|
| 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.00396#SEE8, Eventual strict monotonicity (statement). In V13TE1RWT9/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
Axiomatic foundations of topological spaces HA60ZAXRRT
| URI | m2://inv/HA60ZAXRRT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiomatic foundations of topological spaces, Axiomatic foundations of topological spaces (definition). Also Wikidata Q5073786
History
- 2026-11-02: add by m2/dev
HA629DRTNG HA629DRTNG
| URI | m2://inv/HA629DRTNG |
|---|---|
| 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.17258#WFRB (statement). In F4M67ZVBF2/e1, theorem 2.4
History
- 2026-10-28: add by m2/v0.4.2
Coercivity prevents covariance collapse HA63B2XATJ
| URI | m2://inv/HA63B2XATJ |
|---|---|
| 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.09356#5FN5, Coercivity prevents covariance collapse (statement). In 3VVGPXWH6R/e1, proposition C.6
History
- 2026-10-29: add by m2/v0.4.10
Product cipher HA6BDTWBX9
| URI | m2://inv/HA6BDTWBX9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Product cipher, Product cipher (definition). Also Wikidata Q1053352
History
- 2026-11-02: add by m2/dev
Normal characters HA6GAW6VHX
| URI | m2://inv/HA6GAW6VHX |
|---|---|
| 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.14582#FGNG, Normal characters (statement). In 6XP6PD2XZA/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
HA6JBA5FHS HA6JBA5FHS
| URI | m2://inv/HA6JBA5FHS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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.21611#AHB6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Results HA6T3D4FQM
| URI | m2://inv/HA6T3D4FQM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute neighborhood retract#YVZ8, Results (statement)
History
- 2026-11-02: add by m2/dev
HA6TCAZ7NT HA6TCAZ7NT
| URI | m2://inv/HA6TCAZ7NT |
|---|---|
| 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 2504.13516#TRZS (statement). In Z9JWKWH7CJ/e1, theorem 4.7
History
- 2026-10-27: add by m2/v0.3.5
Bjerknes' equation HA6WGPGZ92
| URI | m2://inv/HA6WGPGZ92 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bjerknes' equation, Bjerknes' equation (definition). Also Wikidata Q139916041
History
- 2026-11-02: add by m2/dev
HA70JTE29P HA70JTE29P
| URI | m2://inv/HA70JTE29P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#R09Q (statement). In V5PVKDKGGG/e1, proposition 7.8
History
- 2026-10-28: add by m2/v0.4.2
HA73A2M4TA HA73A2M4TA
| URI | m2://inv/HA73A2M4TA |
|---|---|
| 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 2208.07401#T8G8 (statement). In GJD7HKCE56/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.6
Euler–Poisson–Darboux equation HA74GXEWDH
| URI | m2://inv/HA74GXEWDH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#56TY, Euler–Poisson–Darboux equation (definition)
History
- 2026-11-02: add by m2/dev
Definition HA7ARJ53K4
| URI | m2://inv/HA7ARJ53K4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overshoot (signal)#JNM1, Definition (definition)
History
- 2026-11-02: add by m2/dev
Diagonal contraction of the exceptional interval HA7DD0RGC5
| URI | m2://inv/HA7DD0RGC5 |
|---|---|
| Kind | statement |
| 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#FF4T, Diagonal contraction of the exceptional interval (statement)
History
- 2026-11-01: add by m2/v0.6.15
HA7FBK9XF0 HA7FBK9XF0
| URI | m2://inv/HA7FBK9XF0 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28594#H6UO (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Examples HA7PNH8KQ1
| URI | m2://inv/HA7PNH8KQ1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional differential equation#EZ2S, Examples (example)
History
- 2026-11-02: add by m2/dev
Ceiling effect HA7YFFMJQG
| URI | m2://inv/HA7YFFMJQG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ceiling effect (statistics), Ceiling effect (definition). Also Wikidata Q1181915
History
- 2026-11-02: add by m2/dev
HA80MSVQGJ HA80MSVQGJ
| URI | m2://inv/HA80MSVQGJ |
|---|---|
| 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.20153#4HPK (statement). In EYB107TM4Q/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.4.2
Entanglement depth HA84AJ4NRB
| URI | m2://inv/HA84AJ4NRB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02166#DAUC, Entanglement depth (statement). In R6RF3P6D5A/e1, corollary 1.5
History
- 2026-10-29: add by m2/v0.4.12
Robert Fricke HA86D5FV13
| URI | m2://inv/HA86D5FV13 |
|---|---|
| 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#B5BV, Robert Fricke (topic)
- wikipedia: Wikipedia List of German mathematicians#7N90, Robert Fricke (topic)
History
- 2026-11-02: add by m2/dev
action at a distance HA87MG9HD6
| URI | m2://inv/HA87MG9HD6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1407429, action at a distance (definition). Also ProofWiki Definition:Action_at_a_Distance
History
- 2026-10-26: add by m2/dev
Winding number HA8BEM4XRJ
| URI | m2://inv/HA8BEM4XRJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#2YQX, Winding number (definition)
- wikipedia: Wikipedia List of algebraic topology topics#2NSE, Winding number (definition)
History
- 2026-11-02: add by m2/dev
Fuzzy set theory HA8DFQ8619
| URI | m2://inv/HA8DFQ8619 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#AHL7, Fuzzy set theory (definition)
History
- 2026-11-02: add by m2/dev
István Fáry HA8RDZVS10
| URI | m2://inv/HA8RDZVS10 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia István Fáry, István Fáry (topic). Also Wikidata Q660239
History
- 2026-11-02: add by m2/dev
HA8XAT6AY5 HA8XAT6AY5
| URI | m2://inv/HA8XAT6AY5 |
|---|---|
| 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.18101#QXRG (statement). In XXN6KKXPYF/e1, lemma 7.12
History
- 2026-10-28: add by m2/v0.4.2
HA95T251FW HA95T251FW
| URI | m2://inv/HA95T251FW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19010#0V7O (statement). In 6315NJBYJM/e1, proposition 19
History
- 2026-10-28: add by m2/v0.4.2
European Society for Mathematics and the Arts HA970D82B5
| URI | m2://inv/HA970D82B5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia European Society for Mathematics and the Arts, European Society for Mathematics and the Arts (definition). Also Wikidata Q19787195
History
- 2026-11-02: add by m2/dev
The homology groups of $S^m$ HA9A95T9SF
| URI | m2://inv/HA9A95T9SF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/long-exact.tex#thm:reduced_homology_sphere, The homology groups of $S^m$ (statement). In RZP28ERRZV, theorem, section 54.3
History
- 2026-11-01: add by m2/v0.6.13
HA9HG9QAQY HA9HG9QAQY
| URI | m2://inv/HA9HG9QAQY |
|---|---|
| Kind | example |
| 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.09810#KR5Y (example). In B6PCH930FV/e1, example 2
History
- 2026-10-29: add by m2/v0.4.10
descendant HA9P9C63C6
| URI | m2://inv/HA9P9C63C6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.2.2/descendant, descendant (concept). In Y91XFCEVHQ, index, section 5.2.2
History
- 2026-11-01: add by m2/v0.6.13
Kaplan–Yorke map HAA6RAPGW8
| URI | m2://inv/HAA6RAPGW8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6366845, Kaplan–Yorke map (unknown). Also MathWorld Kaplan-YorkeMap
History
- 2026-10-26: add by m2/dev
Trivial tree HAA881XCD5
| URI | m2://inv/HAA881XCD5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.05005#BFNY, Trivial tree (definition). In SMJMAQ2S3J/e1, definition 24
History
- 2026-10-27: add by m2/v0.4.0
HAABQVVWS4 HAABQVVWS4
| URI | m2://inv/HAABQVVWS4 |
|---|---|
| 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.07162#4PM3 (statement). In MQEB9ZHQAT/e1, theorem
History
- 2026-10-29: add by m2/v0.4.10
Endpoint comparison HAAHDNS8BE
| URI | m2://inv/HAAHDNS8BE |
|---|---|
| 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.25084#ZEH3, Endpoint comparison (statement)
History
- 2026-11-01: add by m2/v0.6.15
HAAKD8CZS0 HAAKD8CZS0
| URI | m2://inv/HAAKD8CZS0 |
|---|---|
| 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 2302.04470#TAAV (statement). In PVRF0WS223/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.6
HAANP6TVRP HAANP6TVRP
| URI | m2://inv/HAANP6TVRP |
|---|---|
| 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.03353#HYN3 (definition). In 8W61T5CSRB/e1, definition 4.3
History
- 2026-10-29: add by m2/v0.4.12
Thurston's hyperbolization theorem for pared manifolds HAAQMHMGKE
| URI | m2://inv/HAAQMHMGKE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29450#VSPX, Thurston's hyperbolization theorem for pared manifolds (statement)
History
- 2026-11-01: add by m2/v0.6.15
Immediate basin of attraction HAARFMKGY1
| URI | m2://inv/HAARFMKGY1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07064#MIQ3, Immediate basin of attraction (definition). In GPK6W5XQM3/e1, definition 13
History
- 2026-10-29: add by m2/v0.4.10
HAARM8B86C HAARM8B86C
| URI | m2://inv/HAARM8B86C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26738#S79Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
HAAXG3EZTE HAAXG3EZTE
| URI | m2://inv/HAAXG3EZTE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/lambda-definability/pairs.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 38.4
History
- 2026-11-01: add by m2/v0.6.13
Denis Miéville HAB2GTW4PP
| URI | m2://inv/HAB2GTW4PP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Denis Miéville, Denis Miéville (topic). Also Wikidata Q426867
History
- 2026-11-02: add by m2/dev
Stability of empirical objective HAB5YVBPCW
| URI | m2://inv/HAB5YVBPCW |
|---|---|
| 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.38453#QI96, Stability of empirical objective (statement). In DWKWF242Y0/e1, lemma 17
History
- 2026-10-30: add by m2/v0.4.12
HAB7PQ07TP HAB7PQ07TP
| URI | m2://inv/HAB7PQ07TP |
|---|---|
| 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 2609.39293#ZFC1 (definition). In S26QVW5613/e1, definition 3.5.2
History
- 2026-10-30: add by m2/v0.4.12
Littlewood conjecture HAB8ZBE09X
| URI | m2://inv/HAB8ZBE09X |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#XOB7, Littlewood conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Fred Diamond HABF6EC26E
| URI | m2://inv/HABF6EC26E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fred Diamond, Fred Diamond (topic). Also Wikidata Q356638
History
- 2026-11-02: add by m2/dev
Group actions in $\textbf{H}$ HABF7YTQ78
| URI | m2://inv/HABF7YTQ78 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#H82J, Group actions in $\textbf{H}$ (definition). In G3D1YR20BJ/e1, definition A.10
History
- 2026-10-29: add by m2/v0.4.12
HABH38E24R HABH38E24R
| URI | m2://inv/HABH38E24R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.29838#JDYP (statement). In KP0X1RKKKB/e1, lemma 4.10
History
- 2026-10-27: add by m2/v0.4.0
Frattini's lemma HABJV2KZBP
| URI | m2://inv/HABJV2KZBP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#I3VA, Frattini's lemma (definition)
History
- 2026-11-02: add by m2/dev
HABZTVTR8H HABZTVTR8H
| URI | m2://inv/HABZTVTR8H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09078#72N1 (statement). In B4GK8NEZM9/e1, theorem 2.7
History
- 2026-10-29: add by m2/v0.4.10
Robertson–Seymour theorem HAC0EDP8V6
| URI | m2://inv/HAC0EDP8V6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of long mathematical proofs#WW8E, Robertson–Seymour theorem (statement)
History
- 2026-11-02: add by m2/dev
HAC2Z0X1V7 HAC2Z0X1V7
| URI | m2://inv/HAC2Z0X1V7 |
|---|---|
| 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.23341#7BJN (statement)
History
- 2026-11-02: add by m2/v0.6.17
Harold W. Kuhn HAC8505PAN
| URI | m2://inv/HAC8505PAN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YE60, Harold W. Kuhn (unknown)
History
- 2026-11-02: add by m2/dev
HACEMHHVP8 HACEMHHVP8
| URI | m2://inv/HACEMHHVP8 |
|---|---|
| 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.30323#M74Y (statement). In HDJ6N25XVT/e1, lemma 4.5
History
- 2026-10-31: add by m2/v0.5.6
⨾ HACJGDYGXK
| URI | m2://inv/HACJGDYGXK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Composition of relations#GMFM, ⨾ (unknown)
History
- 2026-11-02: add by m2/dev
HACVM30SNG HACVM30SNG
| URI | m2://inv/HACVM30SNG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-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 2610.11596#Z361 (definition). In 76850E2X7T/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.3
Observational equivalence HACVYFRXY9
| URI | m2://inv/HACVYFRXY9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Observational equivalence, Observational equivalence (definition). Also Wikidata Q17121921
History
- 2026-11-02: add by m2/dev
HAD58QTR1Y HAD58QTR1Y
| URI | m2://inv/HAD58QTR1Y |
|---|---|
| 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.20656#M0C4 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Heilbronn triangle problem HAD6RXKBBX
| URI | m2://inv/HAD6RXKBBX |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#0DNN, Heilbronn triangle problem (conjecture)
History
- 2026-11-02: add by m2/dev
logical basis and dimension HAD90J6R2P
| URI | m2://inv/HAD90J6R2P |
|---|---|
| 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.39395#LU81, logical basis and dimension (statement). In ZDVPJ1XX5Z/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
HADA64J1YW HADA64J1YW
| URI | m2://inv/HADA64J1YW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2609.31249#AEQT (statement). In RAVR2W9S0B/e1, proposition 3.5
History
- 2026-10-31: add by m2/v0.5.6
HADHESGF03 HADHESGF03
| URI | m2://inv/HADHESGF03 |
|---|---|
| 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 1303.4328#1MAL (statement). In HCTYW6VH87/e1, theorem 8.14
History
- 2026-10-27: add by m2/v0.3.5
Cramer's rule HADK8923F8
| URI | m2://inv/HADK8923F8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#GQU9, Cramer's rule (definition)
History
- 2026-11-02: add by m2/dev
Geodesics as an application of the principle of least action HADPTPYJ7V
| URI | m2://inv/HADPTPYJ7V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geodesics as Hamiltonian flows#5R8C, Geodesics as an application of the principle of least action (statement)
History
- 2026-11-02: add by m2/dev
HADR3C585K HADR3C585K
| URI | m2://inv/HADR3C585K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/three-valued-logics/multiple-designation.tex#prop:gl-udes (statement). In PKGMM3P5QY, prop, section 42.6
History
- 2026-11-01: add by m2/v0.6.13
trillium theorem HADXS061QD
| URI | m2://inv/HADXS061QD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18430596, trillium theorem (statement). Also MathWorld Incenter-ExcenterCircle
- wikipedia: Wikipedia Incenter–excenter lemma, Incenter–excenter lemma (statement). Also Wikidata Q18430596
History
- 2026-10-26: add by m2/dev
HADYYPAE06 HADYYPAE06
| URI | m2://inv/HADYYPAE06 |
|---|---|
| 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.32614#X02O (statement). In SG8GT73ZNH/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
Alan Edelman HAE07WP21W
| URI | m2://inv/HAE07WP21W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JJWO, Alan Edelman (topic)
History
- 2026-11-02: add by m2/dev
Stirling bound on the kernel HAE4T45JD4
| URI | m2://inv/HAE4T45JD4 |
|---|---|
| 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 2609.26134#TOTF, Stirling bound on the kernel (statement)
History
- 2026-11-01: add by m2/v0.6.15
Inverse fields up to the boundary HAE7BHJMWQ
| URI | m2://inv/HAE7BHJMWQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06490#QLT9, Inverse fields up to the boundary (statement). In NKXTXH59P1/e1, lemma E.5
History
- 2026-10-29: add by m2/v0.4.10
Look-and-say sequence HAEK6ZTPZF
| URI | m2://inv/HAEK6ZTPZF |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#O3T1, Look-and-say sequence (object)
History
- 2026-11-02: add by m2/dev
Delta Set Decomposition HAF6M7T0SQ
| URI | m2://inv/HAF6M7T0SQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02495#U1MH, Delta Set Decomposition (statement). In T4S7XVAJJC/e1, theorem 12.1
History
- 2026-10-29: add by m2/v0.4.12
Adaptive deterministic epochs HAFDES36BH
| URI | m2://inv/HAFDES36BH |
|---|---|
| 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.06557#V29I, Adaptive deterministic epochs (statement). In VV5CH6Y31D/e1, corollary B.3
History
- 2026-10-29: add by m2/v0.4.10
Examples HAFFG2W92X
| URI | m2://inv/HAFFG2W92X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chang number#O96C, Examples (example)
History
- 2026-11-02: add by m2/dev
HAFFMCC5WV HAFFMCC5WV
| URI | m2://inv/HAFFMCC5WV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.06338#OG37 (definition). In W1VVK7WDPK/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.0
analytic set HAFT87QHNS
| URI | m2://inv/HAFT87QHNS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Analytic set 3RWWZYPAFV |
Mentions
- wikidata: Wikidata Q485312, analytic set (unknown). Also MathWorld AnalyticSet
- wikipedia: Wikipedia Analytic set, Analytic set (definition). Also Wikidata Q485312
History
- 2026-10-26: add by m2/dev
Formula HAFYWZY4JS
| URI | m2://inv/HAFYWZY4JS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boole's rule#XJ92, Formula (statement)
History
- 2026-11-02: add by m2/dev
convex, geometrically HAG02JWZG3
| URI | m2://inv/HAG02JWZG3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/E.2/convex-geometrically, convex, geometrically (concept). In VNMV985MXX, index, section E.2
History
- 2026-11-01: add by m2/v0.6.13
Necessary staged architecture HAG8MC8XH5
| URI | m2://inv/HAG8MC8XH5 |
|---|---|
| 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.14081#TEDN, Necessary staged architecture (statement). In DCCKKQ7Y21/e1, corollary II.5
History
- 2026-10-28: add by m2/v0.4.2
HAGA7Q4CEK HAGA7Q4CEK
| URI | m2://inv/HAGA7Q4CEK |
|---|---|
| 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.26307#ZGLT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Spectral inequality on measurable sets HAGAVM62FH
| URI | m2://inv/HAGAVM62FH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29008#728J, Spectral inequality on measurable sets (statement)
History
- 2026-11-01: add by m2/v0.6.15
HAGBSQ38AV HAGBSQ38AV
| URI | m2://inv/HAGBSQ38AV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10591#9KTX (statement). In FTEA0TM35J/e1, corollary 3.7
History
- 2026-10-29: add by m2/v0.4.10
HAGFD65W3Q HAGFD65W3Q
| URI | m2://inv/HAGFD65W3Q |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/more-soundness.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 55.8
History
- 2026-11-01: add by m2/v0.6.13
Hidden subgroup problem HAGPBENBE6
| URI | m2://inv/HAGPBENBE6 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#IRJP, Hidden subgroup problem (problem)
History
- 2026-11-02: add by m2/dev
HAGX8Z5WX5 HAGX8Z5WX5
| URI | m2://inv/HAGX8Z5WX5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.01473#SUB9 (statement). In ABS9M47F4K/e1, theorem 4.14
History
- 2026-10-27: add by m2/v0.3.6
HAHWXMCX0G HAHWXMCX0G
| URI | m2://inv/HAHWXMCX0G |
|---|---|
| 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.20097#IHBA (statement)
History
- 2026-11-02: add by m2/v0.6.18
covering space HAJ5T1EJCD
| URI | m2://inv/HAJ5T1EJCD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.10/covering-space, covering space (concept). In N54F33XE07, index, section 7.10
History
- 2026-11-01: add by m2/v0.6.13
Stefan Kaczmarz HAJERVHA4Z
| URI | m2://inv/HAJERVHA4Z |
|---|---|
| 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#MD6D, Stefan Kaczmarz (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Y6UH, Stefan Kaczmarz (topic)
History
- 2026-11-02: add by m2/dev
HAJHVWGCE1 HAJHVWGCE1
| URI | m2://inv/HAJHVWGCE1 |
|---|---|
| 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.08935#OVXD (definition). In G02N9D40B9/e1, definition 3.5.2
History
- 2026-10-29: add by m2/v0.4.10
HAJREKS3AX HAJREKS3AX
| URI | m2://inv/HAJREKS3AX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/machines-computations/representing-tms.tex#prob-5 (exercise). In PKGMM3P5QY, prob, section 86.1
History
- 2026-11-01: add by m2/v0.6.13
Completeness of $\mathrm{L}^p$ spaces HAK767CK6V
| URI | m2://inv/HAK767CK6V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > Completeness of $\mathrm{L}^p$ spaces, Completeness of $\mathrm{L}^p$ spaces (unknown). Also Mathlib MeasureTheory.Lp.instCompleteSpace
- mathlib_undergrad: mathlib_undergrad Topology > Hilbert spaces > completeness of $L^2$, completeness of $L^2$ (unknown). Also Mathlib MeasureTheory.Lp.instCompleteSpace
History
- 2026-10-26: add by m2/dev
Ernest Vinberg HAK9ERPEFP
| URI | m2://inv/HAK9ERPEFP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#TIML, Ernest Vinberg (topic)
History
- 2026-11-02: add by m2/dev
HAKAVD9XN4 HAKAVD9XN4
| URI | m2://inv/HAKAVD9XN4 |
|---|---|
| Kind | problem |
| 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.07608#ZNSM (problem). In X8FQD4TEVG/e1, problem 1.8
History
- 2026-10-29: add by m2/v0.4.10
Alexandrov double arrow space HAKC0M1CE2
| URI | m2://inv/HAKC0M1CE2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#Q120, Alexandrov double arrow space (definition)
- wikipedia: Wikipedia List of topologies#UNG4, two arrows space (definition)
History
- 2026-11-02: add by m2/dev
HAKHK5A4B1 HAKHK5A4B1
| URI | m2://inv/HAKHK5A4B1 |
|---|---|
| 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 2609.24078#63FS (definition)
History
- 2026-11-02: add by m2/v0.6.17
Jiuzhaigou HAKRZGEFKK
| URI | m2://inv/HAKRZGEFKK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#EV2V, Jiuzhaigou (unknown)
History
- 2026-11-02: add by m2/dev
HAKYXR885S HAKYXR885S
| URI | m2://inv/HAKYXR885S |
|---|---|
| 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.07049#WLUE (statement). In GMF552ESG6/e1, lemma C.2
History
- 2026-10-29: add by m2/v0.4.10
professional bullfighters HAM1A0GX95
| URI | m2://inv/HAM1A0GX95 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#K0K6, professional bullfighters (unknown)
History
- 2026-11-02: add by m2/dev
HAM4VFZ6S8 HAM4VFZ6S8
| URI | m2://inv/HAM4VFZ6S8 |
|---|---|
| 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#103A (statement). In E7W2HDNEKJ/e1, theorem 7.28
History
- 2026-10-30: add by m2/v0.4.12
HAM8KYYQ5Z HAM8KYYQ5Z
| URI | m2://inv/HAM8KYYQ5Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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.25468#ZNEC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Combinatorial Riemann mapping theorem HAMN74QZXT
| URI | m2://inv/HAMN74QZXT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite subdivision rule#UI8A, Combinatorial Riemann mapping theorem (statement)
History
- 2026-11-02: add by m2/dev
Scaling of the convex Hellinger modulus HAMNV8FPAE
| URI | m2://inv/HAMNV8FPAE |
|---|---|
| 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.21363#M3AJ, Scaling of the convex Hellinger modulus (statement). In YPH7NS5AAQ/e1, lemma B.3
History
- 2026-10-27: add by m2/v0.4.2
HAMSHBQ3CS HAMSHBQ3CS
| URI | m2://inv/HAMSHBQ3CS |
|---|---|
| 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 2501.00810#PDM2 (statement). In H0MY884WNF/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.6
Mathukumalli V. Subbarao HAMTP66KQF
| URI | m2://inv/HAMTP66KQF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0GLM, Mathukumalli V. Subbarao (topic)
History
- 2026-11-02: add by m2/dev
HAMXAZ4DPR HAMXAZ4DPR
| URI | m2://inv/HAMXAZ4DPR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-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.21931#VF2X (statement)
History
- 2026-11-02: add by m2/v0.6.17
HAMY4P15BH HAMY4P15BH
| URI | m2://inv/HAMY4P15BH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/card-arithmetic/opps.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 69.4
History
- 2026-11-01: add by m2/v0.6.13
mole HAN94758KQ
| URI | m2://inv/HAN94758KQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q41509, mole (definition). Also ProofWiki Definition:Mole
History
- 2026-10-26: add by m2/dev
HANHDDNPFH HANHDDNPFH
| URI | m2://inv/HANHDDNPFH |
|---|---|
| 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.11082#FR7C (statement). In GFPFFN0BXV/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.3
HANMGGZ6C6 HANMGGZ6C6
| URI | m2://inv/HANMGGZ6C6 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 55-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.06747#AOZT (problem). In AB2WPR2FRR/e1, problem 5.4
History
- 2026-10-29: add by m2/v0.4.10
HANPEBSA2A HANPEBSA2A
| URI | m2://inv/HANPEBSA2A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19791#EBKV (definition). In AVDB4KJ6XB/e1, definition 4.9
History
- 2026-10-28: add by m2/v0.4.2
Enrico Volterra HAP0V7WWBX
| URI | m2://inv/HAP0V7WWBX |
|---|---|
| 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#4R7L, Enrico Volterra (unknown)
History
- 2026-11-02: add by m2/dev
Examples HAP497VHC9
| URI | m2://inv/HAP497VHC9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Higgs mechanism#36DJ, Examples (example)
History
- 2026-11-02: add by m2/dev
HAP87ZHMQB HAP87ZHMQB
| URI | m2://inv/HAP87ZHMQB |
|---|---|
| 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 2610.08039#GIVO (statement). In Y1K8WE4MDP/e1, proposition 2.8
History
- 2026-10-29: add by m2/v0.4.10
Kalmanson combinatorial conditions HAQ0794CB3
| URI | m2://inv/HAQ0794CB3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kalmanson combinatorial conditions, Kalmanson combinatorial conditions (definition). Also Wikidata Q6354028
History
- 2026-11-02: add by m2/dev
Cauchy product HAQ1CGS4DA
| URI | m2://inv/HAQ1CGS4DA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#2P6W, Cauchy product (definition)
History
- 2026-11-02: add by m2/dev
game board HAQ3TXRWSF
| URI | m2://inv/HAQ3TXRWSF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1258741, game board (unknown). Also MathWorld Board
History
- 2026-10-26: add by m2/dev
HAQ4NS26XQ HAQ4NS26XQ
| URI | m2://inv/HAQ4NS26XQ |
|---|---|
| Kind | conjecture |
| 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 2411.17227#HDYM (conjecture). In DDNP38CHQJ/e1, conjecture 1.4
History
- 2026-10-27: add by m2/v0.3.5
Mazur's control theorem HAQ53J1YWE
| URI | m2://inv/HAQ53J1YWE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6799039, Mazur's control theorem (statement). Also Wikidata Q6799039
- thousand_plus: thousand_plus Q6799039, Mazur's control theorem (statement). Also Wikidata Q6799039, Wikipedia Mazur's control theorem
- wikipedia: Wikipedia Mazur's control theorem, Mazur's control theorem (statement). Also Wikidata Q6799039
History
- 2026-10-26: add by m2/dev
HAQ7SJ73VG HAQ7SJ73VG
| URI | m2://inv/HAQ7SJ73VG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33953#HT2J (statement). In QS8R9BEJ8N/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
Sublinear function HAQE8G7X8V
| URI | m2://inv/HAQE8G7X8V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-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.25468#W9NG, Sublinear function (definition)
History
- 2026-11-01: add by m2/v0.6.15
HAQWVQD41T HAQWVQD41T
| URI | m2://inv/HAQWVQD41T |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.11778#2DY7 (problem). In PPAJZ2JBCE/e1, problem
History
- 2026-10-27: add by m2/v0.3.5
HAQX4MPN09 HAQX4MPN09
| URI | m2://inv/HAQX4MPN09 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/compactness-direct.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 9.8
History
- 2026-11-01: add by m2/v0.6.13
Johannes Kepler HAR4WNB2T3
| URI | m2://inv/HAR4WNB2T3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#GVA8, Johannes Kepler (topic)
History
- 2026-11-02: add by m2/dev
Luxemburg norm HARB591VRP
| URI | m2://inv/HARB591VRP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orlicz space#IWFO, Luxemburg norm (unknown)
History
- 2026-11-02: add by m2/dev
Pure inductive logic HARCRY5KH7
| URI | m2://inv/HARCRY5KH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pure inductive logic, Pure inductive logic (definition). Also Wikidata Q55630825
History
- 2026-11-02: add by m2/dev
Upper semicontinuity of the distance function HARM6BFXGV
| URI | m2://inv/HARM6BFXGV |
|---|---|
| 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.15460#FHKE, Upper semicontinuity of the distance function (statement). In T2Z3D2VQ9B/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Galois geometry HARQNRB7QW
| URI | m2://inv/HARQNRB7QW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Galois geometry, Galois geometry (topic). Also Wikidata Q1973616
History
- 2026-11-02: add by m2/dev
Definition HARZAM2673
| URI | m2://inv/HARZAM2673 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bounded set (topological vector space)#5RSP, Definition (definition)
History
- 2026-11-02: add by m2/dev
Hypsicles HAS5YPGTJ8
| URI | m2://inv/HAS5YPGTJ8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#9WA4, Hypsicles (topic)
History
- 2026-11-02: add by m2/dev
The required exponent is unbounded HAS6VFZKG1
| URI | m2://inv/HAS6VFZKG1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07214#IHN3, The required exponent is unbounded (statement). In 669PBFJX0Z/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.10
Pentagon HASAJRKH5Q
| URI | m2://inv/HASAJRKH5Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#J241, Pentagon (definition)
History
- 2026-11-02: add by m2/dev
Statistical manifold HASGMX272V
| URI | m2://inv/HASGMX272V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical manifold, Statistical manifold (definition). Also Wikidata Q7604402
History
- 2026-11-02: add by m2/dev
Piece of advice HASK303XJZ
| URI | m2://inv/HASK303XJZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple non-inferential passage#H3XP, Piece of advice (unknown)
History
- 2026-11-02: add by m2/dev
HASM34M9BT HASM34M9BT
| URI | m2://inv/HASM34M9BT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26398#GU7B (definition)
History
- 2026-11-01: add by m2/v0.6.15
HASP2G30ZH HASP2G30ZH
| URI | m2://inv/HASP2G30ZH |
|---|---|
| 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 2203.06854#9KTL (statement). In 7NE5NVT9KH/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
HASPVZ9XWC HASPVZ9XWC
| URI | m2://inv/HASPVZ9XWC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14841#RWD3 (statement). In 6V5HP8W1ZG/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.2
HASR8Z0V2T HASR8Z0V2T
| URI | m2://inv/HASR8Z0V2T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09812#PHKD (definition). In NWWKD8YX57/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Denjoy weights HASVRHQMF2
| URI | m2://inv/HASVRHQMF2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 11-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21725#8SCH, Denjoy weights (definition). In BQDZN6GRGF/e1, definition 4.8
History
- 2026-10-27: add by m2/v0.4.2
Conventions HASWKZ2783
| URI | m2://inv/HASWKZ2783 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point process#1V21, Conventions (definition)
History
- 2026-11-02: add by m2/dev
Hodge–Arakelov theory HASWYH03BX
| URI | m2://inv/HASWYH03BX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#7DAP, Hodge–Arakelov theory (definition)
History
- 2026-11-02: add by m2/dev
HASZ6XZN20 HASZ6XZN20
| URI | m2://inv/HASZ6XZN20 |
|---|---|
| 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#AX1D (definition). In YVB70SBGN1/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
Trudinger's theorem HAT012QPGM
| URI | m2://inv/HAT012QPGM |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7847268, Trudinger's theorem (statement). Also Wikidata Q7847268
- thousand_plus: thousand_plus Q7847268, Trudinger's theorem (statement). Also Wikidata Q7847268, Wikipedia Trudinger's theorem
- wikipedia: Wikipedia Trudinger's theorem, Trudinger's theorem (statement). Also Wikidata Q7847268
History
- 2026-10-26: add by m2/dev
Definition HAT3YWTSJF
| URI | m2://inv/HAT3YWTSJF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reciprocal distribution#KZ2I, Definition (definition)
History
- 2026-11-02: add by m2/dev
HATBTCQE0N HATBTCQE0N
| URI | m2://inv/HATBTCQE0N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#DIUG (statement). In RTE2C0PH4S/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
HATDCR3KZ9 HATDCR3KZ9
| URI | m2://inv/HATDCR3KZ9 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/choice/vitali.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 71.6
History
- 2026-11-01: add by m2/v0.6.13
HATPTJRGRF HATPTJRGRF
| URI | m2://inv/HATPTJRGRF |
|---|---|
| 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.35398#65X1 (statement). In NAJCCHYXR6/e1, proposition 2.4
History
- 2026-10-30: add by m2/v0.4.12
Zero-forcing precoding HATQ4TJ1E3
| URI | m2://inv/HATQ4TJ1E3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero-forcing precoding, Zero-forcing precoding (definition). Also Wikidata Q8069444
History
- 2026-11-02: add by m2/dev
HAV19VWGAH HAV19VWGAH
| URI | m2://inv/HAV19VWGAH |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/ce-closed-cup-cap.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Rational function (monoid) HAVC1EJ2KJ
| URI | m2://inv/HAVC1EJ2KJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational set#2O9I, Rational function (monoid) (unknown)
History
- 2026-11-02: add by m2/dev
Definition HAVD4DTKTX
| URI | m2://inv/HAVD4DTKTX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lindbladian#5KU7, Definition (definition)
History
- 2026-11-02: add by m2/dev
HAVGHFDEGH HAVGHFDEGH
| URI | m2://inv/HAVGHFDEGH |
|---|---|
| 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.20302#WVOU (statement). In GN8JWKH956/e1, lemma A.1
History
- 2026-10-27: add by m2/v0.4.2
Principles HAVMNPHMHD
| URI | m2://inv/HAVMNPHMHD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotology#JZSD, Principles (statement)
History
- 2026-11-02: add by m2/dev
Tutte Institute for Mathematics and Computing HAVN61ZMH4
| URI | m2://inv/HAVN61ZMH4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Communications Security Establishment#9ZKN, Tutte Institute for Mathematics and Computing (unknown)
History
- 2026-11-02: add by m2/dev
HAW0PV8MBR HAW0PV8MBR
| URI | m2://inv/HAW0PV8MBR |
|---|---|
| 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.08050#JNBI (statement). In K9Q0GZXRN3/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
HAW0XMVKBB HAW0XMVKBB
| URI | m2://inv/HAW0XMVKBB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-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.24232#MXIT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Molar mass constant HAW7BBNQSX
| URI | m2://inv/HAW7BBNQSX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#PYUV, Molar mass constant (unknown)
History
- 2026-11-02: add by m2/dev
HAWAHRGYJH HAWAHRGYJH
| URI | m2://inv/HAWAHRGYJH |
|---|---|
| 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 2609.30519#9G49 (definition). In GQQZNRYK15/e1, definition 3.2
History
- 2026-10-31: add by m2/v0.5.6
Statement HAWCJMQ5RG
| URI | m2://inv/HAWCJMQ5RG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perron's formula#658X, Statement (statement)
History
- 2026-11-02: add by m2/dev
HAWG0XV03G HAWG0XV03G
| URI | m2://inv/HAWG0XV03G |
|---|---|
| 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.03814#67D5 (statement). In STPNP83RJS/e1, corollary 2.4
History
- 2026-10-29: add by m2/v0.4.12
topological fundamental group HAWQY9RV81
| URI | m2://inv/HAWQY9RV81 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#J8XF, topological fundamental group (definition)
History
- 2026-11-02: add by m2/dev
HAX2Y82Y8Z HAX2Y82Y8Z
| URI | m2://inv/HAX2Y82Y8Z |
|---|---|
| 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 2111.07717#I3JW (statement). In AXFXGWG7ZG/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.4.0
Carlos Matos HAX5YFED1W
| URI | m2://inv/HAX5YFED1W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bitconnect#WHBY, Carlos Matos (unknown)
History
- 2026-11-02: add by m2/dev
HAXC03YZEH HAXC03YZEH
| URI | m2://inv/HAXC03YZEH |
|---|---|
| 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.04809#M7QS (statement). In 2VHV0RNTNV/e1, lemma 9.8
History
- 2026-10-29: add by m2/v0.4.12
HAXM0NA1MH HAXM0NA1MH
| URI | m2://inv/HAXM0NA1MH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#defn-4 (definition). In E59CDZA4DP, defn, section 5.1.3
History
- 2026-11-01: add by m2/v0.6.13
HAXNZKMBQE HAXNZKMBQE
| URI | m2://inv/HAXNZKMBQE |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.00752#122P (statement)
History
- 2026-10-28: add by m2/v0.4.2
Properties HAXP75JTZH
| URI | m2://inv/HAXP75JTZH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Young's lattice#4HPA, Properties (statement)
History
- 2026-11-02: add by m2/dev
Equality of finite-moment weak transport infima HAXQFGX3T0
| URI | m2://inv/HAXQFGX3T0 |
|---|---|
| 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#SRTJ, Equality of finite-moment weak transport infima (statement). In 9YAE8FNQST/e1, theorem 10.12
History
- 2026-10-30: add by m2/v0.4.12
HAXZT10QFE HAXZT10QFE
| URI | m2://inv/HAXZT10QFE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24041#QB9M (statement)
History
- 2026-11-02: add by m2/v0.6.17
447 (number) HAY1H2QX12
| URI | m2://inv/HAY1H2QX12 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#IRAU, 447 (number) (unknown)
History
- 2026-11-02: add by m2/dev
HAY2HV4P96 HAY2HV4P96
| URI | m2://inv/HAY2HV4P96 |
|---|---|
| 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.12087#OGC0 (statement). In SH8TFHRG5R/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.3
Evelyn Prescott Wiggin HAY3799513
| URI | m2://inv/HAY3799513 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evelyn Prescott Wiggin, Evelyn Prescott Wiggin (topic). Also Wikidata Q102150257
History
- 2026-11-02: add by m2/dev
Sergio Ferrara HAY88NV2EM
| URI | m2://inv/HAY88NV2EM |
|---|---|
| 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 Q364713, Sergio Ferrara (unknown). Also nLab Sergio Ferrara
History
- 2026-10-26: add by m2/dev
HAYCX4WW78 HAYCX4WW78
| URI | m2://inv/HAYCX4WW78 |
|---|---|
| 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 2502.08738#A63Z (statement). In 9GMTVSTAVN/e1, lemma 4.16
History
- 2026-10-27: add by m2/v0.3.5
Max Kelly HAYJN07S82
| URI | m2://inv/HAYJN07S82 |
|---|---|
| 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 Q6794922, Max Kelly (unknown). Also nLab Max Kelly
- wikipedia: Wikipedia Max Kelly, Max Kelly (topic). Also Wikidata Q6794922
History
- 2026-10-26: add by m2/dev
Fritz Carlson HAYN2DFXFQ
| URI | m2://inv/HAYN2DFXFQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fritz Carlson, Fritz Carlson (topic). Also Wikidata Q5504887
History
- 2026-11-02: add by m2/dev
HAYTW8ZRX9 HAYTW8ZRX9
| URI | m2://inv/HAYTW8ZRX9 |
|---|---|
| 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.35542#FI4E (statement). In ATVC0HYDKD/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
HAYX4VKRB1 HAYX4VKRB1
| URI | m2://inv/HAYX4VKRB1 |
|---|---|
| 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.01656#I00I (statement). In AHGQZ89DY0/e1, corollary 5.1
History
- 2026-10-29: add by m2/v0.4.12
Maritime meteorology HAZ1SK5WQR
| URI | m2://inv/HAZ1SK5WQR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meteorology#VK9I, Maritime meteorology (unknown)
History
- 2026-11-02: add by m2/dev
Sparse ruler HAZ248ZNDM
| URI | m2://inv/HAZ248ZNDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sparse ruler, Sparse ruler (definition). Also Wikidata Q7573797
History
- 2026-11-02: add by m2/dev
local field HAZ6WVVY21
| URI | m2://inv/HAZ6WVVY21 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Local field J85FZEQG38 |
Mentions
- wikidata: Wikidata Q1868517, local field (unknown). Also MathWorld LocalField, nLab local field
- wikipedia: Wikipedia Local field, Local field (definition). Also Wikidata Q1868517
History
- 2026-10-26: add by m2/dev
HAZ8TG2S42 HAZ8TG2S42
| URI | m2://inv/HAZ8TG2S42 |
|---|---|
| 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 2411.17412#7Z76 (statement). In DPBHYJBGKD/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.6
hectometre HAZSH679GT
| URI | m2://inv/HAZSH679GT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q844338, hectometre (definition). Also ProofWiki Definition:Metric_System/Length/Hectometre
History
- 2026-10-26: add by m2/dev
HAZTPVEGDC HAZTPVEGDC
| URI | m2://inv/HAZTPVEGDC |
|---|---|
| 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 2204.01073#4D30 (statement). In W4TYN4PGE8/e1, lemma 6.21
History
- 2026-10-27: add by m2/v0.3.5
HAZXETCC8D HAZXETCC8D
| URI | m2://inv/HAZXETCC8D |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/provability-propositional.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 22.8
History
- 2026-11-01: add by m2/v0.6.13