Inventory rows HY
The cards of the rows of the inventory whose ids start with HY. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Ray casting HY0ACX0GQ1
| URI | m2://inv/HY0ACX0GQ1 |
|---|---|
| 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#CN4X, Ray casting (unknown)
History
- 2026-11-02: add by m2/dev
HY0DW6TX9F HY0DW6TX9F
| URI | m2://inv/HY0DW6TX9F |
|---|---|
| Kind | example |
| 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.36811#1BN8 (example). In ZQDX8E43SQ/e1, example 2
History
- 2026-10-30: add by m2/v0.4.12
Properties of the fine topology HY0HC2NHV1
| URI | m2://inv/HY0HC2NHV1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fine topology (potential theory)#63YN, Properties of the fine topology (statement)
History
- 2026-11-02: add by m2/dev
HY0HXEA437 HY0HXEA437
| URI | m2://inv/HY0HXEA437 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 1802.02910#CI9I (statement). In AY2MA29921/e1, theorem 012
History
- 2026-10-27: add by m2/v0.3.5
HY0JASFXRM HY0JASFXRM
| URI | m2://inv/HY0JASFXRM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23528#XDPH (example)
History
- 2026-11-02: add by m2/v0.6.17
HY0K4JSPK2 HY0K4JSPK2
| URI | m2://inv/HY0K4JSPK2 |
|---|---|
| Kind | definition |
| 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.18847#11NZ (definition). In DZ12XTTJSM/e1, definition 2.21
History
- 2026-10-28: add by m2/v0.4.2
semiperimeter theorem HY0KT9NQM3
| URI | m2://inv/HY0KT9NQM3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q140082966, semiperimeter theorem (statement). Also ProofWiki Area of Triangle in Terms of Inradius
History
- 2026-10-26: add by m2/dev
Hamer HY11C26KAF
| URI | m2://inv/HY11C26KAF |
|---|---|
| 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#P8JH, Hamer (unknown)
History
- 2026-11-02: add by m2/dev
Moulinath Banerjee HY179JPVH7
| URI | m2://inv/HY179JPVH7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moulinath Banerjee, Moulinath Banerjee (topic). Also Wikidata Q102232908
History
- 2026-11-02: add by m2/dev
A \nullstep step is a deep cut HY18GTB9V4
| URI | m2://inv/HY18GTB9V4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20701#2XK8, A \nullstep step is a deep cut (statement)
History
- 2026-11-02: add by m2/v0.6.18
Morihiko Saitō HY19DFJ27P
| URI | m2://inv/HY19DFJ27P |
|---|---|
| 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 Q11500633, Morihiko Saitō (unknown). Also nLab Morihiko Saito
- wikipedia: Wikipedia Morihiko Saito, Morihiko Saito (topic). Also Wikidata Q11500633
History
- 2026-10-26: add by m2/dev
HY1ETR2SF7 HY1ETR2SF7
| URI | m2://inv/HY1ETR2SF7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40023#JFAN (definition). In JW9ARS9AQE/e1, definition 4.8
History
- 2026-10-30: add by m2/v0.4.12
Multiple overlap window HY1GHPT8A3
| URI | m2://inv/HY1GHPT8A3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Window function#Z4JW, Multiple overlap window (unknown)
History
- 2026-11-02: add by m2/dev
Divided power structure HY1PY25SNT
| URI | m2://inv/HY1PY25SNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divided power structure, Divided power structure (definition). Also Wikidata Q5284037
History
- 2026-11-02: add by m2/dev
Regularized bulk events HY1QPF9Z4H
| URI | m2://inv/HY1QPF9Z4H |
|---|---|
| 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.05498#YTAU, Regularized bulk events (statement). In TJT32RQ9GC/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
Arbitrarily small initial contraction HY271ZA58A
| URI | m2://inv/HY271ZA58A |
|---|---|
| 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#DWHU, Arbitrarily small initial contraction (statement). In 9YAE8FNQST/e1, corollary 16.8
History
- 2026-10-30: add by m2/v0.4.12
$n$-ary Symmetric Channel HY28KD2PMW
| URI | m2://inv/HY28KD2PMW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34570#1I4K, $n$-ary Symmetric Channel (example). In EVFX1R7ZDD/e1, example 3
History
- 2026-10-30: add by m2/v0.4.12
Contact type HY2C9SWFD2
| URI | m2://inv/HY2C9SWFD2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contact type, Contact type (definition). Also Wikidata Q5164852
History
- 2026-11-02: add by m2/dev
HY2GDYXEXF HY2GDYXEXF
| URI | m2://inv/HY2GDYXEXF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01653#73EI (statement). In WZMHJCQPB2/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
HY2K8QVX1B HY2K8QVX1B
| URI | m2://inv/HY2K8QVX1B |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25742#8TQW (problem)
History
- 2026-11-01: add by m2/v0.6.15
the slots at $(2,3)$ and their witnesses HY2VKDB177
| URI | m2://inv/HY2VKDB177 |
|---|---|
| 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.09298#4GAD, the slots at $(2,3)$ and their witnesses (statement). In 1SPQ4J3AWY/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.10
HY36XMH9WZ HY36XMH9WZ
| URI | m2://inv/HY36XMH9WZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2208.04502#W2DD (definition). In BT6E9BXXF3/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.3.5
HY38NB63ZD HY38NB63ZD
| URI | m2://inv/HY38NB63ZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31604#PNAZ (statement). In GSN5YTQS2K/e1, proposition 3.28
History
- 2026-10-31: add by m2/v0.5.6
harmonic series HY3A1BFJBW
| URI | m2://inv/HY3A1BFJBW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of limits#P5N7, harmonic series (definition)
History
- 2026-11-02: add by m2/dev
Chinese remainder theorem HY3FG87661
| URI | m2://inv/HY3FG87661 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#B0F5, Chinese remainder theorem (statement)
- wikipedia: Wikipedia List of commutative algebra topics#IZ1C, Chinese remainder theorem (statement)
History
- 2026-11-02: add by m2/dev
HY3H1XTR2R HY3H1XTR2R
| URI | m2://inv/HY3H1XTR2R |
|---|---|
| Kind | example |
| 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#MAAN (example). In M0SQY5EZN5/e1, example 2.1.10
History
- 2026-10-27: add by m2/v0.3.5
Formulas HY3KCSG13D
| URI | m2://inv/HY3KCSG13D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centered polygonal number#6A7F, Formulas (statement)
History
- 2026-11-02: add by m2/dev
404 (number) HY3KQ0HJ8J
| URI | m2://inv/HY3KQ0HJ8J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#4R45, 404 (number) (unknown)
History
- 2026-11-02: add by m2/dev
HY3KQW2JWC HY3KQW2JWC
| URI | m2://inv/HY3KQW2JWC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section1-2.xml#ula-preview-1-2 (exercise). In 649HGZKE96, exploration, section 1.2.1
History
- 2026-11-01: add by m2/v0.6.13
Definition and notation HY3M69YXKF
| URI | m2://inv/HY3M69YXKF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nth root#35B5, Definition and notation (definition)
History
- 2026-11-02: add by m2/dev
Fermat prime HY3TQE6CDG
| URI | m2://inv/HY3TQE6CDG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermat number#4CPU, Fermat prime (unknown)
History
- 2026-11-02: add by m2/dev
Blocks HY3TTV5D6C
| URI | m2://inv/HY3TTV5D6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10074#0C0T, Blocks (statement). In BYAANB1NG0/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.3.5
HY3XPYP4NN HY3XPYP4NN
| URI | m2://inv/HY3XPYP4NN |
|---|---|
| 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.03384#V3A7 (statement). In J55JTTKG84/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.12
Robert Coveyou HY3ZYVKJ7V
| URI | m2://inv/HY3ZYVKJ7V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Coveyou, Robert Coveyou (topic). Also Wikidata Q2264482
History
- 2026-11-02: add by m2/dev
The Art of Computer Programming, Volume 2: Seminumerical Algorithms HY44QJ3Y54
| URI | m2://inv/HY44QJ3Y54 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q47752388, The Art of Computer Programming, Volume 2: Seminumerical Algorithms (unknown). Also ProofWiki Book:Donald_E._Knuth/The_Art_of_Computer_Programming:_Volume_2:_Seminumerical_Algorithms
History
- 2026-10-26: add by m2/dev
HY4B8XASEP HY4B8XASEP
| URI | m2://inv/HY4B8XASEP |
|---|---|
| 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.37112#8LI0 (statement). In 5B10HAY4C3/e1, theorem 4.8
History
- 2026-10-30: add by m2/v0.4.12
Definition HY4DS65PCS
| URI | m2://inv/HY4DS65PCS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epi-convergence#TWMV, Definition (definition)
History
- 2026-11-02: add by m2/dev
HY4JDPWPMX HY4JDPWPMX
| URI | m2://inv/HY4JDPWPMX |
|---|---|
| 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 2207.07461#GADD (statement). In GAG532VMPF/e1, proposition 3.4.10
History
- 2026-10-27: add by m2/v0.3.5
Felix Otto HY4NVDESH6
| URI | m2://inv/HY4NVDESH6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Felix Otto (mathematician), Felix Otto (topic). Also Wikidata Q91659
History
- 2026-11-02: add by m2/dev
HY4SRKDY4T HY4SRKDY4T
| URI | m2://inv/HY4SRKDY4T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06206#7IE7 (statement). In A7611PTXVQ/e1, proposition 3.7
History
- 2026-10-29: add by m2/v0.4.10
Creators, emergence HY4XZBESC3
| URI | m2://inv/HY4XZBESC3 |
|---|---|
| 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 math/0003117#L5ZJ, Creators, emergence (definition). In WD2NCBV9F0/e1, definition 10.12
History
- 2026-10-27: add by m2/v0.3.5
Goldston–Pintz–Yıldırım sieve HY556R9S8H
| URI | m2://inv/HY556R9S8H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goldston–Pintz–Yıldırım sieve, Goldston–Pintz–Yıldırım sieve (definition). Also Wikidata Q118876675
History
- 2026-11-02: add by m2/dev
Mizohata–Takeuchi conjecture HY57R9VJ6Z
| URI | m2://inv/HY57R9VJ6Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#64F9, Mizohata–Takeuchi conjecture (statement)
History
- 2026-11-02: add by m2/dev
HY5C40DER8 HY5C40DER8
| URI | m2://inv/HY5C40DER8 |
|---|---|
| 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 2212.06621#Q4KD (statement). In DB223AABTH/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.3.5
Henry Hermes HY5JWBQQNE
| URI | m2://inv/HY5JWBQQNE |
|---|---|
| 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#GBGM, Henry Hermes (unknown)
History
- 2026-11-02: add by m2/dev
HY5S3TDMDM HY5S3TDMDM
| URI | m2://inv/HY5S3TDMDM |
|---|---|
| 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.20607#XVNO (statement)
History
- 2026-11-02: add by m2/v0.6.18
HY5WPHBFZQ HY5WPHBFZQ
| URI | m2://inv/HY5WPHBFZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#BATB (statement). In 3KTZ6Z615H/e1, proposition 5.7
History
- 2026-10-30: add by m2/v0.4.12
HY5WSDTAD0 HY5WSDTAD0
| URI | m2://inv/HY5WSDTAD0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14985#YJUQ (definition). In DGXJW3SCBR/e1, definition 28
History
- 2026-10-28: add by m2/v0.4.2
Definition HY63E07WNZ
| URI | m2://inv/HY63E07WNZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schläfli symbol#COG5, Definition (definition)
History
- 2026-11-02: add by m2/dev
Open ball HY650YR54J
| URI | m2://inv/HY650YR54J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#NNE3, Open ball (definition)
History
- 2026-11-02: add by m2/dev
Formal definition HY6AXJX1NN
| URI | m2://inv/HY6AXJX1NN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Empirical risk minimization#0DSO, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Reflecting cardinal HY6EGYRMQJ
| URI | m2://inv/HY6EGYRMQJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflecting cardinal, Reflecting cardinal (definition). Also Wikidata Q7307233
History
- 2026-11-02: add by m2/dev
derivative at a point HY6FE4BH8D
| URI | m2://inv/HY6FE4BH8D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Differentiability > derivative at a point, derivative at a point (unknown). Also Mathlib HasDerivAt
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Differentiability > differentiable functions, differentiable functions (unknown). Also Mathlib HasDerivAt
History
- 2026-10-26: add by m2/dev
HY6HDFB9MH HY6HDFB9MH
| URI | m2://inv/HY6HDFB9MH |
|---|---|
| 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 2301.04933#2N46 (definition). In Q70CTMCJTP/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Variations HY6HP2JS2H
| URI | m2://inv/HY6HP2JS2H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diagonally dominant matrix#FUH7, Variations (statement)
History
- 2026-11-02: add by m2/dev
Branch HY6KXJBQG5
| URI | m2://inv/HY6KXJBQG5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5876926, Branch (unknown). Also nLab branching
History
- 2026-10-26: add by m2/dev
Kathryn Roeder HY6NV72QXA
| URI | m2://inv/HY6NV72QXA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kathryn Roeder, Kathryn Roeder (topic). Also Wikidata Q42305962
History
- 2026-11-02: add by m2/dev
HY6T882MWG HY6T882MWG
| URI | m2://inv/HY6T882MWG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10413#1ZHV (statement). In 68MTQ59QTQ/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.10
Xie, Jin and Liu HY7206B0Q4
| URI | m2://inv/HY7206B0Q4 |
|---|---|
| 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.32174#IUOG, Xie, Jin and Liu (statement). In GHKR740SG3/e1, theorem 3.12
History
- 2026-10-31: add by m2/v0.5.6
Always-on DRM HY74DZTTNT
| URI | m2://inv/HY74DZTTNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Always-on DRM, Always-on DRM (definition). Also Wikidata Q16002734
History
- 2026-11-02: add by m2/dev
HY7E7SJMH0 HY7E7SJMH0
| URI | m2://inv/HY7E7SJMH0 |
|---|---|
| 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.21037#6B3D (statement). In PYB2RFYVVE/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.4.2
HY7FF8KGG4 HY7FF8KGG4
| URI | m2://inv/HY7FF8KGG4 |
|---|---|
| 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 0906.4245#WF85 (statement). In GPVBE4SEVF/e1, lemma 1.2
History
- 2026-10-27: add by m2/v0.3.5
Bimal Krishna Matilal HY7GV752A3
| URI | m2://inv/HY7GV752A3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bimal Krishna Matilal, Bimal Krishna Matilal (topic). Also Wikidata Q4913688
History
- 2026-11-02: add by m2/dev
Xiaochun Rong HY7T8NZY85
| URI | m2://inv/HY7T8NZY85 |
|---|---|
| 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#4872, Xiaochun Rong (unknown)
History
- 2026-11-02: add by m2/dev
HY7TRDKENS HY7TRDKENS
| URI | m2://inv/HY7TRDKENS |
|---|---|
| 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 2104.05191#BGRE (statement). In CCNH3FK8YZ/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.5
HY7WASNW8H HY7WASNW8H
| URI | m2://inv/HY7WASNW8H |
|---|---|
| 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.12324#PZJK (statement). In CJDCSSCF1V/e1, lemma IV.1
History
- 2026-10-28: add by m2/v0.4.2
Louis Guttman HY88PEXC21
| URI | m2://inv/HY88PEXC21 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#NEA1, Louis Guttman (unknown)
History
- 2026-11-02: add by m2/dev
Lucien March HY89T6XG3T
| URI | m2://inv/HY89T6XG3T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucien March, Lucien March (topic). Also Wikidata Q3265626
History
- 2026-11-02: add by m2/dev
Locally compact quantum group HY8A1EYZV2
| URI | m2://inv/HY8A1EYZV2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally compact quantum group, Locally compact quantum group (definition). Also Wikidata Q6664671
History
- 2026-11-02: add by m2/dev
Definition HY8DR6WPT7
| URI | m2://inv/HY8DR6WPT7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relation algebra#IN8H, Definition (definition)
History
- 2026-11-02: add by m2/dev
HY8E3AY0BY HY8E3AY0BY
| URI | m2://inv/HY8E3AY0BY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2512.16003#2B9W (statement). In BJGS6ZCQ12/e1, proposition 9.11
History
- 2026-10-27: add by m2/v0.3.6
Argon2 HY925CFG31
| URI | m2://inv/HY925CFG31 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argon2, Argon2 (definition). Also Wikidata Q21995362
History
- 2026-11-02: add by m2/dev
Coble surface HY929VJ568
| URI | m2://inv/HY929VJ568 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coble surface, Coble surface (definition). Also Wikidata Q5138925
History
- 2026-11-02: add by m2/dev
fractional chromatic number HY97VWX6BW
| URI | m2://inv/HY97VWX6BW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121143525, fractional chromatic number (unknown). Also MathWorld FractionalChromaticNumber
History
- 2026-10-26: add by m2/dev
Example HY98V13ZBJ
| URI | m2://inv/HY98V13ZBJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frisch–Waugh–Lovell theorem#5Z17, Example (example)
History
- 2026-11-02: add by m2/dev
Partition of trees HY9BV6QMAE
| URI | m2://inv/HY9BV6QMAE |
|---|---|
| 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#DA6Q, Partition of trees (definition). In SMJMAQ2S3J/e1, definition 26
History
- 2026-10-27: add by m2/v0.4.0
rhombic dodecahedral graph HY9C4SP8ZC
| URI | m2://inv/HY9C4SP8ZC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2376018, rhombic dodecahedral graph (unknown). Also House of Graphs 1282, MathWorld RhombicDodecahedralGraph
History
- 2026-10-26: add by m2/dev
Uniform Bound on First-Order Directional Derivatives HY9E4SR5AM
| URI | m2://inv/HY9E4SR5AM |
|---|---|
| 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.14344#FQW6, Uniform Bound on First-Order Directional Derivatives (statement). In ZVCD8RG1JJ/e1, corollary 5
History
- 2026-10-28: add by m2/v0.4.2
Jupiter HY9GF3R1DG
| URI | m2://inv/HY9GF3R1DG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q319, Jupiter (definition). Also ProofWiki Definition:Jupiter
History
- 2026-10-26: add by m2/dev
HY9H5CC1YG HY9H5CC1YG
| URI | m2://inv/HY9H5CC1YG |
|---|---|
| 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.12543#9OLM (statement). In 5Y2KARN1YC/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
HY9WFN0K9S HY9WFN0K9S
| URI | m2://inv/HY9WFN0K9S |
|---|---|
| Kind | definition |
| 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 1612.08394#YDMN (definition). In 1P8D88DKG5/e1, definition 8.1
History
- 2026-10-27: add by m2/v0.3.5
Examples HY9ZAZ6DNQ
| URI | m2://inv/HY9ZAZ6DNQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deficient number#MVWS, Examples (example)
History
- 2026-11-02: add by m2/dev
Statisticians in the Pharmaceutical Industry HYA1QJBFF6
| URI | m2://inv/HYA1QJBFF6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statisticians in the Pharmaceutical Industry, Statisticians in the Pharmaceutical Industry (definition). Also Wikidata Q7604423
History
- 2026-11-02: add by m2/dev
Chazelle polyhedron HYA4R4ZNF0
| URI | m2://inv/HYA4R4ZNF0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chazelle polyhedron, Chazelle polyhedron (definition). Also Wikidata Q133809094
History
- 2026-11-02: add by m2/dev
HYA6ZFHK01 HYA6ZFHK01
| URI | m2://inv/HYA6ZFHK01 |
|---|---|
| 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.07790#1KQ9 (statement). In A5YJDDM0NX/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
HYA7DZD338 HYA7DZD338
| URI | m2://inv/HYA7DZD338 |
|---|---|
| Kind | problem |
| 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.03835#YYE6 (problem). In KAYGQMQPGS/e1, problem 6.3
History
- 2026-10-29: add by m2/v0.4.12
HYA7NMEW37 HYA7NMEW37
| URI | m2://inv/HYA7NMEW37 |
|---|---|
| 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.09129#R7SW (statement). In Z1RZSF68XZ/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.10
HYA80EJ3HA HYA80EJ3HA
| URI | m2://inv/HYA80EJ3HA |
|---|---|
| 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.14377#RE3M (statement). In WEZPNET90D/e1, lemma 7.2
History
- 2026-10-28: add by m2/v0.4.2
Nine-point stencil HYABF1TA4T
| URI | m2://inv/HYABF1TA4T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nine-point stencil, Nine-point stencil (definition). Also Wikidata Q119840944
History
- 2026-11-02: add by m2/dev
Plünnecke-Petridis inequality HYASA541DP
| URI | m2://inv/HYASA541DP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Additive combinatorics > Plünnecke-Petridis inequality, Plünnecke-Petridis inequality (unknown). Also Mathlib Finset.pluennecke_petridis_inequality_add
History
- 2026-10-26: add by m2/dev
Lower-order regularity estimate HYAT1TND8D
| URI | m2://inv/HYAT1TND8D |
|---|---|
| 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.22090#WSVH, Lower-order regularity estimate (statement). In NKJWGF050C/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.0
chicken, imaginary HYAYD46102
| URI | m2://inv/HYAYD46102 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/1/chicken-imaginary, chicken, imaginary (concept). In VNMV985MXX, index, section 1
History
- 2026-11-01: add by m2/v0.6.13
Sarit Kraus HYB5SV9JSZ
| URI | m2://inv/HYB5SV9JSZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NVF4, Sarit Kraus (unknown)
History
- 2026-11-02: add by m2/dev
HYB86394D2 HYB86394D2
| URI | m2://inv/HYB86394D2 |
|---|---|
| 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 2112.05010#ATK8 (statement). In 4SZNPS3Z00/e1, corollary 5.9
History
- 2026-10-27: add by m2/v0.3.6
Arcsine distribution HYBBZ27WFN
| URI | m2://inv/HYBBZ27WFN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#2LUG, Arcsine distribution (definition)
History
- 2026-11-02: add by m2/dev
Basic geometric properties HYBHC4BP2C
| URI | m2://inv/HYBHC4BP2C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12017#29AI, Basic geometric properties (statement). In WW04MP0NAZ/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.3
HYBQGAY1J4 HYBQGAY1J4
| URI | m2://inv/HYBQGAY1J4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27125#S6EF (definition)
History
- 2026-11-01: add by m2/v0.6.15
Hecke eigensheaf HYBRTZ08GM
| URI | m2://inv/HYBRTZ08GM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hecke eigensheaf, Hecke eigensheaf (definition). Also Wikidata Q128483774
History
- 2026-11-02: add by m2/dev
HYBTGEN267 HYBTGEN267
| URI | m2://inv/HYBTGEN267 |
|---|---|
| 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 2310.19073#LVQI (statement). In DK2ZSJ65ZV/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Klein polyhedron HYBTK3E16W
| URI | m2://inv/HYBTK3E16W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Felix Klein#0WJH, Klein polyhedron (definition)
History
- 2026-11-02: add by m2/dev
Ribes--Zalesskii HYBTWY42GD
| URI | m2://inv/HYBTWY42GD |
|---|---|
| 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#JMX4, Ribes--Zalesskii (statement). In X765ZXXVC3/e1, theorem 2.15
History
- 2026-10-29: add by m2/v0.4.12
Truncated dodecahedral prism HYBX1YY39T
| URI | m2://inv/HYBX1YY39T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#RLUT, Truncated dodecahedral prism (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#49U5, Truncated dodecahedral prism (definition)
History
- 2026-11-02: add by m2/dev
HYC1Q1PT1D HYC1Q1PT1D
| URI | m2://inv/HYC1Q1PT1D |
|---|---|
| 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.14783#F04P (statement). In Y3X5XY2J65/e1, corollary 10.5
History
- 2026-10-28: add by m2/v0.4.2
Outline of philosophical logic HYC49NVHXS
| URI | m2://inv/HYC49NVHXS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outline of logic#TLYJ, Outline of philosophical logic (unknown)
History
- 2026-11-02: add by m2/dev
Crossed prism HYCHS7PSZQ
| URI | m2://inv/HYCHS7PSZQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prism (geometry)#SG1T, Crossed prism (unknown)
History
- 2026-11-02: add by m2/dev
HYCTHNY20P HYCTHNY20P
| URI | m2://inv/HYCTHNY20P |
|---|---|
| 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 2610.16386#BWIL (statement). In RAF0BFY3Z3/e1, theorem 6.7
History
- 2026-10-28: add by m2/v0.4.2
Temporal finitism HYCWCZE7CS
| URI | m2://inv/HYCWCZE7CS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Temporal finitism, Temporal finitism (definition). Also Wikidata Q7698915
History
- 2026-11-02: add by m2/dev
HYCWWR9CX1 HYCWWR9CX1
| URI | m2://inv/HYCWWR9CX1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#definition-10 (definition). In RZP28ERRZV, definition, section 62.10
History
- 2026-11-01: add by m2/v0.6.13
HYD3TGB2AH HYD3TGB2AH
| URI | m2://inv/HYD3TGB2AH |
|---|---|
| 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.21475#IQUY (statement). In TTRSZVT4VX/e1, proposition 2.12
History
- 2026-10-27: add by m2/v0.4.2
Alternative definition HYD7FYKB2C
| URI | m2://inv/HYD7FYKB2C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dulmage–Mendelsohn decomposition#OCO0, Alternative definition (definition)
History
- 2026-11-02: add by m2/dev
Charles Hermite HYD7H91Q89
| URI | m2://inv/HYD7H91Q89 |
|---|---|
| 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 Q168401, Charles Hermite (unknown). Also nLab Charles Hermite, ProofWiki Mathematician:Charles_Hermite
- wikipedia: Wikipedia Charles Hermite, Charles Hermite (topic). Also Wikidata Q168401
History
- 2026-10-26: add by m2/dev
Application HYD8F5CCDW
| URI | m2://inv/HYD8F5CCDW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Augmented triangular prism#YCOP, Application (example)
History
- 2026-11-02: add by m2/dev
Symmetry HYDCFFNZKV
| URI | m2://inv/HYDCFFNZKV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square#4TGL, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Fourmile HYDPYQ2A8X
| URI | m2://inv/HYDPYQ2A8X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#8GXS, Fourmile (unknown)
History
- 2026-11-02: add by m2/dev
HYDRR1BAQC HYDRR1BAQC
| URI | m2://inv/HYDRR1BAQC |
|---|---|
| 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.26386#MXGZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Anti-unification HYDV9M0HQ4
| URI | m2://inv/HYDV9M0HQ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anti-unification, Anti-unification (definition). Also Wikidata Q17003866
History
- 2026-11-02: add by m2/dev
Paid survey HYE0M2PVBT
| URI | m2://inv/HYE0M2PVBT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8DT8, Paid survey (definition)
History
- 2026-11-02: add by m2/dev
Lychrel number HYE7BBDQXF
| URI | m2://inv/HYE7BBDQXF |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#2DNW, Lychrel number (conjecture)
History
- 2026-11-02: add by m2/dev
complex conjugate matrix HYES5DT5YW
| URI | m2://inv/HYES5DT5YW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10754052, complex conjugate matrix (definition). Also MathWorld ConjugateMatrix, ProofWiki Definition:Complex_Conjugate_of_Matrix
History
- 2026-10-26: add by m2/dev
Shiraz Minwalla HYF0H0XTQT
| URI | m2://inv/HYF0H0XTQT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#ATYJ, Shiraz Minwalla (unknown)
History
- 2026-11-02: add by m2/dev
HYF37FX9MM HYF37FX9MM
| URI | m2://inv/HYF37FX9MM |
|---|---|
| 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 1803.00317#01BI (statement). In 7WNX3ZXWKB/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Examples HYF54JE68G
| URI | m2://inv/HYF54JE68G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli trial#IYQ2, Examples (example)
History
- 2026-11-02: add by m2/dev
HYF880KADY HYF880KADY
| URI | m2://inv/HYF880KADY |
|---|---|
| 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.05715#SSO2 (definition). In FC0SB9JFWH/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Definitions HYFD220VDS
| URI | m2://inv/HYFD220VDS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Étale topology#ZL3J, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Gromov--Lawson , Stolz HYFGDPG1NM
| URI | m2://inv/HYFGDPG1NM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-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 2005.03073#93CT, Gromov--Lawson , Stolz (statement). In P2ETMXKVDS/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
HYFP2G5TTY HYFP2G5TTY
| URI | m2://inv/HYFP2G5TTY |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-44 (proof). In VNMV985MXX, proof, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
HYFW7B66QB HYFW7B66QB
| URI | m2://inv/HYFW7B66QB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.17066#CMAA (statement). In X2AEJAQEP8/e1, proposition 2.6
History
- 2026-10-27: add by m2/v0.3.5
stable model category HYG060DG08
| URI | m2://inv/HYG060DG08 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16928125, stable model category (unknown). Also nLab stable model category
- wikipedia: Wikipedia Stable model category, Stable model category (definition). Also Wikidata Q16928125
History
- 2026-10-26: add by m2/dev
Properties HYG0ZHS8N8
| URI | m2://inv/HYG0ZHS8N8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bessel beam#P2RN, Properties (statement)
History
- 2026-11-02: add by m2/dev
HYG6ARCW3J HYG6ARCW3J
| URI | m2://inv/HYG6ARCW3J |
|---|---|
| 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.33775#Z7MV (statement). In VVQ1FMTHXB/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
Poisson cochain complex HYGA0C9ZEV
| URI | m2://inv/HYGA0C9ZEV |
|---|---|
| Kind | definition |
| 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.08091#U66F, Poisson cochain complex (definition). In MS13WE3CSD/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.10
HYGEZ33AE2 HYGEZ33AE2
| URI | m2://inv/HYGEZ33AE2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#PX76 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Finite witnesses for variety membership HYGJJ3VE6K
| URI | m2://inv/HYGJJ3VE6K |
|---|---|
| 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#EZ9W, Finite witnesses for variety membership (statement). In E7W2HDNEKJ/e1, proposition 2.12
History
- 2026-10-30: add by m2/v0.4.12
Dream argument HYGRBXKYJ9
| URI | m2://inv/HYGRBXKYJ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dream argument, Dream argument (definition). Also Wikidata Q2861080
History
- 2026-11-02: add by m2/dev
Joint exponential moment HYGTKGPQZA
| URI | m2://inv/HYGTKGPQZA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2609.20520#K38P, Joint exponential moment (statement)
History
- 2026-11-02: add by m2/v0.6.18
Suslin algebra HYGTQ789DV
| URI | m2://inv/HYGTQ789DV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Suslin algebra, Suslin algebra (definition). Also Wikidata Q18386666
History
- 2026-11-02: add by m2/dev
HYGV2JHH3K HYGV2JHH3K
| URI | m2://inv/HYGV2JHH3K |
|---|---|
| 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.25656#EOHG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Raymond W. Goldsmith HYH1VB877M
| URI | m2://inv/HYH1VB877M |
|---|---|
| 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#DL9V, Raymond W. Goldsmith (unknown)
History
- 2026-11-02: add by m2/dev
Anna Bogomolnaia HYH448PPCD
| URI | m2://inv/HYH448PPCD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#E3IE, Anna Bogomolnaia (unknown)
History
- 2026-11-02: add by m2/dev
Normal Moore space conjecture HYH4ZZ8430
| URI | m2://inv/HYH4ZZ8430 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moore space (topology)#L3WF, Normal Moore space conjecture (statement)
History
- 2026-11-02: add by m2/dev
HYHA0GVJS6 HYHA0GVJS6
| URI | m2://inv/HYHA0GVJS6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22317#GTWH (definition). In 2W5Z97BBW4/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.4.0
Vija Celmins HYHBZ9HN0H
| URI | m2://inv/HYHBZ9HN0H |
|---|---|
| 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#HX5C, Vija Celmins (unknown)
History
- 2026-11-02: add by m2/dev
Dirac–Motzkin conjecture HYHKDZMRDN
| URI | m2://inv/HYHKDZMRDN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#38PL, Dirac–Motzkin conjecture (statement)
History
- 2026-11-02: add by m2/dev
HYHYGY3MDB HYHYGY3MDB
| URI | m2://inv/HYHYGY3MDB |
|---|---|
| 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.26041#BE9V (statement)
History
- 2026-11-01: add by m2/v0.6.15
The full space of algebraic classes HYHYHCMMSZ
| URI | m2://inv/HYHYHCMMSZ |
|---|---|
| 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.01731#IW9Q, The full space of algebraic classes (statement). In 3TJ2FWXQ0D/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.12
HYJ3YEC6VQ HYJ3YEC6VQ
| URI | m2://inv/HYJ3YEC6VQ |
|---|---|
| Kind | exercise |
| 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#prob-3 (exercise). In PKGMM3P5QY, prob, section 55.8
History
- 2026-11-01: add by m2/v0.6.13
Further examples HYJD6K8589
| URI | m2://inv/HYJD6K8589 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjoint functors#WFAI, Further examples (example)
History
- 2026-11-02: add by m2/dev
HYJFMSR11N HYJFMSR11N
| URI | m2://inv/HYJFMSR11N |
|---|---|
| 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#AA0W (statement)
History
- 2026-11-01: add by m2/v0.6.15
Tumor bound HYJFYF59QX
| URI | m2://inv/HYJFYF59QX |
|---|---|
| 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.27949#MCN3, Tumor bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
HYK0F07WDP HYK0F07WDP
| URI | m2://inv/HYK0F07WDP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/NegatingAndContradiction.tex#thm:n^2 even implies n even (statement). In P1C114YBXG, theorem, section F
History
- 2026-11-01: add by m2/v0.6.13
Definition HYK23247MP
| URI | m2://inv/HYK23247MP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin transfer (group theory)#BFPJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Definition HYK5PFZTRD
| URI | m2://inv/HYK5PFZTRD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gluon field strength tensor#X9OI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Gershgorin circle theorem HYK96G2S78
| URI | m2://inv/HYK96G2S78 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#WESC, Gershgorin circle theorem (statement)
History
- 2026-11-02: add by m2/dev
HYKB6J73D4 HYKB6J73D4
| URI | m2://inv/HYKB6J73D4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#ZOAR (statement). In PA6JQDSKQT/e1, proposition 3.22
History
- 2026-10-28: add by m2/v0.4.2
Formal definition HYKE9XV79B
| URI | m2://inv/HYKE9XV79B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FP (complexity)#XFQE, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Herbert Wilf HYKN2NNJ7Z
| URI | m2://inv/HYKN2NNJ7Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3I12, Herbert Wilf (topic)
History
- 2026-11-02: add by m2/dev
Lp sum HYKN33MC4X
| URI | m2://inv/HYKN33MC4X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lp sum, Lp sum (definition). Also Wikidata Q30716143
History
- 2026-11-02: add by m2/dev
HYKNTHVG1M HYKNTHVG1M
| URI | m2://inv/HYKNTHVG1M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:rel-dagger-cat (example). In N54F33XE07, eg, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
Martin's conjecture HYKPAC8FBD
| URI | m2://inv/HYKPAC8FBD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donald A. Martin#2PAB, Martin's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Method HYKQSWKY53
| URI | m2://inv/HYKQSWKY53 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Horner's method#I1L0, Method (definition)
History
- 2026-11-02: add by m2/dev
Victor Zalgaller HYKSCAZ1GW
| URI | m2://inv/HYKSCAZ1GW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Victor Zalgaller, Victor Zalgaller (topic). Also Wikidata Q1384951
History
- 2026-11-02: add by m2/dev
Geometric irreducibility HYM405R7JG
| URI | m2://inv/HYM405R7JG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometrically (algebraic geometry)#N57X, Geometric irreducibility (unknown)
History
- 2026-11-02: add by m2/dev
Quantum stabilizer code in the Lee metric HYM5ZRY2EZ
| URI | m2://inv/HYM5ZRY2EZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04834#6WRV, Quantum stabilizer code in the Lee metric (definition). In YZNK67K060/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
$\Log{LK}$ !!{derivation} HYMX2TJZWY
| URI | m2://inv/HYMX2TJZWY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/derivations.tex#defn-1, $\Log{LK}$ !!{derivation} (definition). In PKGMM3P5QY, defn, section 17.3
History
- 2026-11-01: add by m2/v0.6.13
HYN7AR8S6C HYN7AR8S6C
| URI | m2://inv/HYN7AR8S6C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01737#1O4D (definition). In M4JGP708F4/e1, definition 3.18
History
- 2026-10-29: add by m2/v0.4.12
HYN7JDFBFM HYN7JDFBFM
| URI | m2://inv/HYN7JDFBFM |
|---|---|
| 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 2609.27846#FTDL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Patrick Cantlay HYN8NJ03EG
| URI | m2://inv/HYN8NJ03EG |
|---|---|
| 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#4J0K, Patrick Cantlay (unknown)
History
- 2026-11-02: add by m2/dev
HYNAE20TXQ HYNAE20TXQ
| URI | m2://inv/HYNAE20TXQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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 2508.21045#15LH (statement). In CGA36VE1C5/e1, fact 3.8.2
History
- 2026-10-27: add by m2/v0.3.6
HYNMRY445V HYNMRY445V
| URI | m2://inv/HYNMRY445V |
|---|---|
| Kind | problem |
| 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 1804.06366#EDFF (problem). In 89XYDVXG38/e1, problem 2.8
History
- 2026-10-27: add by m2/v0.3.5
Systolic inequality HYNN1R63T1
| URI | m2://inv/HYNN1R63T1 |
|---|---|
| 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.19273#QE4P, Systolic inequality (statement). In T3BY4TXYT4/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.2
dark radiation HYNR5AH8E1
| URI | m2://inv/HYNR5AH8E1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5223546, dark radiation (unknown). Also nLab dark radiation
History
- 2026-10-26: add by m2/dev
HYNRRBYWWE HYNRRBYWWE
| URI | m2://inv/HYNRRBYWWE |
|---|---|
| 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.08293#JYUG (statement). In 90A5DJG27R/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.10
HYNVHQFFWS HYNVHQFFWS
| URI | m2://inv/HYNVHQFFWS |
|---|---|
| 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.13888#0CU3 (statement). In 2G5K2GZTX7/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.4.0
Linear functional analysis HYNY3FZ2JV
| URI | m2://inv/HYNY3FZ2JV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#NFDE, Linear functional analysis (definition)
History
- 2026-11-02: add by m2/dev
Carathéodory conjecture counterexample HYNZZT02QB
| URI | m2://inv/HYNZZT02QB |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levent Alpöge#6COT, Carathéodory conjecture counterexample (counterexample)
History
- 2026-11-02: add by m2/dev
formula HYP3GXQKYJ
| URI | m2://inv/HYP3GXQKYJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#Z0PP, formula (definition)
History
- 2026-11-02: add by m2/dev
Halfway, Missouri HYPC6SG4D2
| URI | m2://inv/HYPC6SG4D2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#2RWX, Halfway, Missouri (unknown)
History
- 2026-11-02: add by m2/dev
Fell topology HYPJ1NANNN
| URI | m2://inv/HYPJ1NANNN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypertopology#KDMR, Fell topology (unknown)
History
- 2026-11-02: add by m2/dev
HYPW4W9SH4 HYPW4W9SH4
| URI | m2://inv/HYPW4W9SH4 |
|---|---|
| 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#ELIU (statement). In 7PACGDW3N7/e1, proposition 13.1
History
- 2026-10-27: add by m2/v0.4.0
Applications HYPXP7WKGM
| URI | m2://inv/HYPXP7WKGM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotically flat spacetime#52WJ, Applications (example)
History
- 2026-11-02: add by m2/dev
HYQ72W41HX HYQ72W41HX
| URI | m2://inv/HYQ72W41HX |
|---|---|
| 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-23 (exercise). In E9HS8K3A52, exercise, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
$e$-$m$ exchanging symmetry on the $\mathbb{Z}_N$ toric code HYQ94TS3FH
| URI | m2://inv/HYQ94TS3FH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02097#9SNW, $e$-$m$ exchanging symmetry on the $\mathbb{Z}_N$ toric code (definition). In DQSRCCAG6G/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.12
HYQKA63M9Q HYQKA63M9Q
| URI | m2://inv/HYQKA63M9Q |
|---|---|
| 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 2610.16386#0DOB (definition). In RAF0BFY3Z3/e1, definition 6.1
History
- 2026-10-28: add by m2/v0.4.2
HYQMG9JGSA HYQMG9JGSA
| URI | m2://inv/HYQMG9JGSA |
|---|---|
| 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.37274#HUA2 (statement). In FBBTEAY45P/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
dialytic HYQPMCRHKW
| URI | m2://inv/HYQPMCRHKW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#0X7L, dialytic (definition)
History
- 2026-11-02: add by m2/dev
Sheryl F. Kelsey HYQSGDGX7X
| URI | m2://inv/HYQSGDGX7X |
|---|---|
| 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#99H8, Sheryl F. Kelsey (unknown)
History
- 2026-11-02: add by m2/dev
Gauss–Krüger coordinate system HYQWQX9SC5
| URI | m2://inv/HYQWQX9SC5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Carl Friedrich Gauss#KCN0, Gauss–Krüger coordinate system (definition)
History
- 2026-11-02: add by m2/dev
Decision stage HYQYX9SB56
| URI | m2://inv/HYQYX9SB56 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26265#XY03, Decision stage (definition)
History
- 2026-11-01: add by m2/v0.6.15
HYR0D7NW06 HYR0D7NW06
| URI | m2://inv/HYR0D7NW06 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21414#B1MC (statement)
History
- 2026-11-02: add by m2/v0.6.18
HYR1S8838F HYR1S8838F
| URI | m2://inv/HYR1S8838F |
|---|---|
| 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.02295#PEP3 (statement). In PEBD9ZMA1W/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.12
John West HYR67G8G42
| URI | m2://inv/HYR67G8G42 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John West (mathematician), John West (topic). Also Wikidata Q20888872
History
- 2026-11-02: add by m2/dev
the fundamental theorem for curves in $H_1$ HYR79FFHXW
| URI | m2://inv/HYR79FFHXW |
|---|---|
| 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 1509.00950#0ENM, the fundamental theorem for curves in $H_1$ (statement). In MDZFW5GACV/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
Free presentation HYR7VDPH05
| URI | m2://inv/HYR7VDPH05 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free presentation, Free presentation (definition). Also Wikidata Q25098868
History
- 2026-11-02: add by m2/dev
Eells--Sampson , Hartman HYR8FN1T87
| URI | m2://inv/HYR8FN1T87 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35858#ZLKC, Eells--Sampson , Hartman (statement). In R2K4HZN8RW/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Properties HYRC8Q5WGM
| URI | m2://inv/HYRC8Q5WGM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasitriangular Hopf algebra#YST5, Properties (statement)
History
- 2026-11-02: add by m2/dev
HYRG66BQ3S HYRG66BQ3S
| URI | m2://inv/HYRG66BQ3S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.01036#MPZ7 (definition). In 6VX2G6RTH7/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.5
HYRMNYWBDK HYRMNYWBDK
| URI | m2://inv/HYRMNYWBDK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#RPTQ (definition). In Z7E16PFFCP/e1, definition 4.8
History
- 2026-10-30: add by m2/v0.4.12
HYRSVMJ9S9 HYRSVMJ9S9
| URI | m2://inv/HYRSVMJ9S9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25275#2MM0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
HYRVX2D81J HYRVX2D81J
| URI | m2://inv/HYRVX2D81J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-4 (exercise). In E59CDZA4DP, exercise, section 1.1.4
History
- 2026-11-01: add by m2/v0.6.13
subposet HYS09W7VJG
| URI | m2://inv/HYS09W7VJG |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.1/subposet, subposet (concept). In QKM9DD2H56, index, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
HYS1TPVY7X HYS1TPVY7X
| URI | m2://inv/HYS1TPVY7X |
|---|---|
| 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#VSK5 (statement). In WRE0P7V6Z3/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
Scanline fill HYS81T6NEB
| URI | m2://inv/HYS81T6NEB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flood fill#J1YS, Scanline fill (unknown)
History
- 2026-11-02: add by m2/dev
De Topicis Differentiis HYS92Y7ZCW
| URI | m2://inv/HYS92Y7ZCW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boethius#RFIV, De Topicis Differentiis (unknown)
History
- 2026-11-02: add by m2/dev
polynomial discriminant HYSABKW96B
| URI | m2://inv/HYSABKW96B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141499398, polynomial discriminant (unknown). Also MathWorld PolynomialDiscriminant
History
- 2026-10-26: add by m2/dev
Japanese census HYSCY0EXBM
| URI | m2://inv/HYSCY0EXBM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Population and housing censuses by country#0LLT, Japanese census (unknown)
History
- 2026-11-02: add by m2/dev
Properties HYSDMNBFS9
| URI | m2://inv/HYSDMNBFS9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twist knot#N90E, Properties (statement)
History
- 2026-11-02: add by m2/dev
Lynne McClure HYSDPPAYBM
| URI | m2://inv/HYSDPPAYBM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lynne McClure, Lynne McClure (topic). Also Wikidata Q57058898
History
- 2026-11-02: add by m2/dev
Applications HYSFN9R00R
| URI | m2://inv/HYSFN9R00R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karmarkar's algorithm#QUL0, Applications (example)
History
- 2026-11-02: add by m2/dev
Computerized adaptive testing HYSJ0RYQDM
| URI | m2://inv/HYSJ0RYQDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computerized adaptive testing, Computerized adaptive testing (definition). Also Wikidata Q352538
History
- 2026-11-02: add by m2/dev
HYSTBGK5AC HYSTBGK5AC
| URI | m2://inv/HYSTBGK5AC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13214#45PE (statement). In 4GRNWWH88J/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Vyacheslav Kalashnikov Polishchuk HYT2PGP7EV
| URI | m2://inv/HYT2PGP7EV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vyacheslav Kalashnikov Polishchuk, Vyacheslav Kalashnikov Polishchuk (topic). Also Wikidata Q16186736
History
- 2026-11-02: add by m2/dev
HYT346CFKB HYT346CFKB
| URI | m2://inv/HYT346CFKB |
|---|---|
| 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 2609.29918#0AKE (example)
History
- 2026-11-01: add by m2/v0.6.15
HYT4GV9B8X HYT4GV9B8X
| URI | m2://inv/HYT4GV9B8X |
|---|---|
| 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.35466#B9D7 (definition). In MVR35ZJPCC/e1, definition 5
History
- 2026-10-30: add by m2/v0.4.12
HYT65KH13X HYT65KH13X
| URI | m2://inv/HYT65KH13X |
|---|---|
| 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.03407#8G5O (statement). In MPGC7SNYAG/e1, corollary 3.2
History
- 2026-10-29: add by m2/v0.4.12
Hook Length Formula HYT7V2AR0Y
| URI | m2://inv/HYT7V2AR0Y |
|---|---|
| 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.21645#4GNG, Hook Length Formula (statement)
History
- 2026-11-02: add by m2/v0.6.18
HYT98WQFT2 HYT98WQFT2
| URI | m2://inv/HYT98WQFT2 |
|---|---|
| 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 2212.14457#GK3O (statement). In PNRHHWGHM2/e1, lemma 4.10
History
- 2026-10-27: add by m2/v0.3.6
Definition HYTANDSG13
| URI | m2://inv/HYTANDSG13 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cycle graph (algebra)#TJYL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications HYTB5H47Q6
| URI | m2://inv/HYTB5H47Q6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian noise#27II, Applications (example)
History
- 2026-11-02: add by m2/dev
HYTEMWAQQX HYTEMWAQQX
| URI | m2://inv/HYTEMWAQQX |
|---|---|
| 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.28454#4P27 (statement)
History
- 2026-11-01: add by m2/v0.6.15
HYTFYR6EWK HYTFYR6EWK
| URI | m2://inv/HYTFYR6EWK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-paths.ptx#exercise-9 (exercise). In Y91XFCEVHQ, exercise, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
HYTN1B64ND HYTN1B64ND
| URI | m2://inv/HYTN1B64ND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33219#DHQV (statement). In ETTQWMJZXJ/e1, theorem 3
History
- 2026-10-30: add by m2/v0.4.12
Lower bound for bilevel problems HYTNWN158G
| URI | m2://inv/HYTNWN158G |
|---|---|
| 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.01843#SLVA, Lower bound for bilevel problems (statement). In EDG9ZFDSWK/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.12
Wrapped normal distribution HYTQTHJAGX
| URI | m2://inv/HYTQTHJAGX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#4KB3, Wrapped normal distribution (definition)
History
- 2026-11-02: add by m2/dev
Local parity-covariant GKSL cone HYTSG5FHQD
| URI | m2://inv/HYTSG5FHQD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00448#ABKC, Local parity-covariant GKSL cone (definition). In N06J7GC05Q/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Petrick's method HYV9NY3X0K
| URI | m2://inv/HYV9NY3X0K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petrick's method, Petrick's method (definition). Also Wikidata Q1121552
History
- 2026-11-02: add by m2/dev
Properties HYVAP6WWB0
| URI | m2://inv/HYVAP6WWB0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nut graph (graph theory)#Y1ZU, Properties (statement)
History
- 2026-11-02: add by m2/dev
Heckman, Nancy E. HYVSXG4YE2
| URI | m2://inv/HYVSXG4YE2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#GGSL, Heckman, Nancy E. (unknown)
History
- 2026-11-02: add by m2/dev
Multiplicative comparison across a connected gap HYVZ1GKMS9
| URI | m2://inv/HYVZ1GKMS9 |
|---|---|
| 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.03683#85KC, Multiplicative comparison across a connected gap (statement). In 14AMXF6X2V/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
HYVZZ8NQW7 HYVZZ8NQW7
| URI | m2://inv/HYVZZ8NQW7 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/completeness/truth-lemma.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 51.5
History
- 2026-11-01: add by m2/v0.6.13
Johannes Kepler University Linz HYWBVTPMDF
| URI | m2://inv/HYWBVTPMDF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Johannes Kepler#Q2EA, Johannes Kepler University Linz (unknown)
History
- 2026-11-02: add by m2/dev
HYWG320M1R HYWG320M1R
| URI | m2://inv/HYWG320M1R |
|---|---|
| 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.14555#PR8J (statement). In NHW0VEJ09F/e1, proposition 2.7
History
- 2026-10-28: add by m2/v0.4.2
HYWH8WEWCS HYWH8WEWCS
| URI | m2://inv/HYWH8WEWCS |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-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.03424#3UKK (problem). In Q6HRJP4AWA/e1, problem 8.6
History
- 2026-10-29: add by m2/v0.4.12
Averaged one-dependence estimators HYWXKN5X06
| URI | m2://inv/HYWXKN5X06 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RZ3X, Averaged one-dependence estimators (definition)
History
- 2026-11-02: add by m2/dev
HYX2SYXD7V HYX2SYXD7V
| URI | m2://inv/HYX2SYXD7V |
|---|---|
| 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.39855#SO00 (statement). In E1KFX0NW51/e1, lemma B.2
History
- 2026-10-30: add by m2/v0.4.12
Ginsburg-Spanier HYX349DP1Y
| URI | m2://inv/HYX349DP1Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parikh's theorem#NRRN, Ginsburg-Spanier (statement)
History
- 2026-11-02: add by m2/dev
HYX40E88S7 HYX40E88S7
| URI | m2://inv/HYX40E88S7 |
|---|---|
| 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.03288#COC1 (statement). In ZHP1MFSACN/e1, lemma 4.19
History
- 2026-10-29: add by m2/v0.4.12
Edmund Gunter HYX68FE69B
| URI | m2://inv/HYX68FE69B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edmund Gunter, Edmund Gunter (topic). Also Wikidata Q726699
History
- 2026-11-02: add by m2/dev
Max A. Woodbury HYXKEPBNZN
| URI | m2://inv/HYXKEPBNZN |
|---|---|
| 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#MESX, Max A. Woodbury (topic)
History
- 2026-11-02: add by m2/dev
HYXPPG468K HYXPPG468K
| URI | m2://inv/HYXPPG468K |
|---|---|
| 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 2304.02722#5N88 (statement). In AH7D55D3WV/e1, theorem 18.1
History
- 2026-10-27: add by m2/v0.3.5
Definition HYXRHPPF1N
| URI | m2://inv/HYXRHPPF1N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary erasure channel#WWKR, Definition (definition)
History
- 2026-11-02: add by m2/dev
Algebraic properties HYXT0ETKCW
| URI | m2://inv/HYXT0ETKCW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer-valued function#S4XT, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
HYXTHXRY99 HYXTHXRY99
| URI | m2://inv/HYXTHXRY99 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9602216#9Z7E (definition). In SD43497T8C/e1, definition 1.12
History
- 2026-10-27: add by m2/v0.3.5
Ernst Schröder HYXW5X7FCC
| URI | m2://inv/HYXW5X7FCC |
|---|---|
| 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#3CK5, Ernst Schröder (topic)
- wikipedia: Wikipedia List of German mathematicians#N047, Ernst Schröder (topic)
History
- 2026-11-02: add by m2/dev
HYXWKH9Y8G HYXWKH9Y8G
| URI | m2://inv/HYXWKH9Y8G |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#problem-5 (exercise). In RZP28ERRZV, problem, section 100.8
History
- 2026-11-01: add by m2/v0.6.13
Auxiliary line HYXX87F1XP
| URI | m2://inv/HYXX87F1XP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Auxiliary line, Auxiliary line (definition). Also Wikidata Q16915959
History
- 2026-11-02: add by m2/dev
HYY6GFMTNY HYY6GFMTNY
| URI | m2://inv/HYY6GFMTNY |
|---|---|
| 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.28848#YFNE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sequential sampler with $k$ bits of state HYY8DNAQHX
| URI | m2://inv/HYY8DNAQHX |
|---|---|
| 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.14615#CN1L, Sequential sampler with $k$ bits of state (definition). In 7D5MMP8XB5/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Achille Sannia HYY8MG9CPP
| URI | m2://inv/HYY8MG9CPP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#C30O, Achille Sannia (topic)
History
- 2026-11-02: add by m2/dev
Lyapunov equation HYYC02QEDX
| URI | m2://inv/HYYC02QEDX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lyapunov equation, Lyapunov equation (definition). Also Wikidata Q1028945
History
- 2026-11-02: add by m2/dev
Exact fixed-lens subclass HYYHXRWMP4
| URI | m2://inv/HYYHXRWMP4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25027#DKQ8, Exact fixed-lens subclass (statement)
History
- 2026-11-01: add by m2/v0.6.15
HYYK2HREMJ HYYK2HREMJ
| URI | m2://inv/HYYK2HREMJ |
|---|---|
| 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.32903#HDIB (statement). In S8NB83KQX3/e1, lemma 18
History
- 2026-10-31: add by m2/v0.5.6
HYYVTXSSXE HYYVTXSSXE
| URI | m2://inv/HYYVTXSSXE |
|---|---|
| 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 2103.12669#BXVN (statement). In ZA6XNBA90V/e1, proposition 1.31
History
- 2026-10-27: add by m2/v0.3.5
HYYY3T7WR9 HYYY3T7WR9
| URI | m2://inv/HYYY3T7WR9 |
|---|---|
| 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.14509#7RL4 (statement). In N6GD8392QB/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Mathematical engineering HYZ0H4BJCS
| URI | m2://inv/HYZ0H4BJCS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical engineering, Mathematical engineering (definition). Also Wikidata Q135427453
History
- 2026-11-02: add by m2/dev
Cheeger bound HYZ0XE05N7
| URI | m2://inv/HYZ0XE05N7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cheeger bound, Cheeger bound (definition). Also Wikidata Q5089261
History
- 2026-11-02: add by m2/dev
Dino Babers HYZ1754AMH
| URI | m2://inv/HYZ1754AMH |
|---|---|
| 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#E6IJ, Dino Babers (unknown)
History
- 2026-11-02: add by m2/dev
HYZ2FJ2P1J HYZ2FJ2P1J
| URI | m2://inv/HYZ2FJ2P1J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31389#TI2N (statement). In YS0YFQEYE1/e1, proposition 2
History
- 2026-10-31: add by m2/v0.5.6
Lemma HYZ9GBXJGX
| URI | m2://inv/HYZ9GBXJGX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia XTR#MIFZ, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Quasigroup HYZB7QEBBK
| URI | m2://inv/HYZB7QEBBK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#L8CO, Quasigroup (definition)
History
- 2026-11-02: add by m2/dev
HYZC93AGPE HYZC93AGPE
| URI | m2://inv/HYZC93AGPE |
|---|---|
| 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.20488#W421 (statement)
History
- 2026-11-02: add by m2/v0.6.18
HYZENY5W2Z HYZENY5W2Z
| URI | m2://inv/HYZENY5W2Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21949#Z0JH (statement)
History
- 2026-11-02: add by m2/v0.6.17
Root-aligned configurations HYZVG4TWRY
| URI | m2://inv/HYZVG4TWRY |
|---|---|
| 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.25120#ALD5, Root-aligned configurations (statement)
History
- 2026-11-01: add by m2/v0.6.15