Inventory rows EN
The cards of the rows of the inventory whose ids start with EN. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
EN005YKXRJ EN005YKXRJ
| URI | m2://inv/EN005YKXRJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-2.xml#example-3 (example). In 649HGZKE96, example, section 3.2.4
History
- 2026-11-01: add by m2/v0.6.13
onto EN019R4F7Z
| URI | m2://inv/EN019R4F7Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#YOY9, onto (definition)
History
- 2026-11-02: add by m2/dev
Principles and Structure of UFO EN020AD4RM
| URI | m2://inv/EN020AD4RM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unified Foundational Ontology#FYJB, Principles and Structure of UFO (statement)
History
- 2026-11-02: add by m2/dev
EN0516ND8T EN0516ND8T
| URI | m2://inv/EN0516ND8T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.01916#Q372 (definition). In XTGB5Z08YH/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.4.0
EN071194GE EN071194GE
| URI | m2://inv/EN071194GE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-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.09678#M1J1 (statement). In 9VG7PNZHZT/e1, theorem 6.6
History
- 2026-10-29: add by m2/v0.4.10
EN0FRNN3DJ EN0FRNN3DJ
| URI | m2://inv/EN0FRNN3DJ |
|---|---|
| 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 1911.06467#LG1K (statement). In G35G1NJKBX/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
Definition EN0HJX72XH
| URI | m2://inv/EN0HJX72XH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet density#UPST, Definition (definition)
History
- 2026-11-02: add by m2/dev
Robert Phelps EN0P99J54C
| URI | m2://inv/EN0P99J54C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#TS1O, Robert Phelps (topic)
History
- 2026-11-02: add by m2/dev
Lisa Sauermann EN0Q80EW9Y
| URI | m2://inv/EN0Q80EW9Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#O7M8, Lisa Sauermann (topic)
- wikipedia: Wikipedia List of German mathematicians#D8TA, Lisa Sauermann (topic)
History
- 2026-11-02: add by m2/dev
Dantzig, George EN0T446QNV
| URI | m2://inv/EN0T446QNV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#8VYB, Dantzig, George (topic)
History
- 2026-11-02: add by m2/dev
EN0V8A3GH1 EN0V8A3GH1
| URI | m2://inv/EN0V8A3GH1 |
|---|---|
| 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.28597#7Q8L (statement)
History
- 2026-11-01: add by m2/v0.6.15
EN0ZV5JNZV EN0ZV5JNZV
| URI | m2://inv/EN0ZV5JNZV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23237#9OGE (statement)
History
- 2026-11-02: add by m2/v0.6.17
Cantor set EN10F3SHH5
| URI | m2://inv/EN10F3SHH5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of chaotic maps#YDRE, Cantor set (definition)
- wikipedia: Wikipedia List of mathematical shapes#5LBV, Cantor set (definition)
- wikipedia: Wikipedia List of real analysis topics#3STU, Cantor set (definition)
- wikipedia: Wikipedia List of mathematical examples#D7UQ, Cantor set (definition)
History
- 2026-11-02: add by m2/dev
EN179J8VA3 EN179J8VA3
| URI | m2://inv/EN179J8VA3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28664#KRNZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example EN1BH348VN
| URI | m2://inv/EN1BH348VN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reed–Solomon error correction#COHC, Example (example)
History
- 2026-11-02: add by m2/dev
EN1CJ527CM EN1CJ527CM
| URI | m2://inv/EN1CJ527CM |
|---|---|
| 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 2609.26496#WECG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Elementary move EN1KKF2MWK
| URI | m2://inv/EN1KKF2MWK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#OGFR, Elementary move (unknown)
History
- 2026-11-02: add by m2/dev
calmness of $\s$ EN1KY26MD1
| URI | m2://inv/EN1KY26MD1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13741#GO5N, calmness of $\s$ (statement). In Q43F8N7XDE/e1, proposition 5.2
History
- 2026-10-28: add by m2/v0.4.2
Abelian ring EN1TVKE152
| URI | m2://inv/EN1TVKE152 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Idempotent (ring theory)#QQTL, Abelian ring (unknown)
History
- 2026-11-02: add by m2/dev
Standard topology EN222CKY2G
| URI | m2://inv/EN222CKY2G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real coordinate space#OXY5, Standard topology (unknown)
History
- 2026-11-02: add by m2/dev
Long-range order beyond {lazy-bipartite} weights EN247QBSXR
| URI | m2://inv/EN247QBSXR |
|---|---|
| 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.29671#BQTQ, Long-range order beyond {lazy-bipartite} weights (statement)
History
- 2026-11-01: add by m2/v0.6.15
Center for Nursing Research EN2B8TPMGM
| URI | m2://inv/EN2B8TPMGM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of research centers at Boston College#JFH6, Center for Nursing Research (unknown)
History
- 2026-11-02: add by m2/dev
Monika Henzinger EN2H9FBFKD
| URI | m2://inv/EN2H9FBFKD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9WNH, Monika Henzinger (unknown)
History
- 2026-11-02: add by m2/dev
Hurwitz scheme EN2PJCDTXN
| URI | m2://inv/EN2PJCDTXN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hurwitz scheme, Hurwitz scheme (definition). Also Wikidata Q65060081
History
- 2026-11-02: add by m2/dev
Global bifurcation for cantilever strain-gradient rod EN2WGTBJGB
| URI | m2://inv/EN2WGTBJGB |
|---|---|
| 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.19171#5NUJ, Global bifurcation for cantilever strain-gradient rod (statement). In SJWP1EE3T8/e1, theorem 5.4
History
- 2026-10-28: add by m2/v0.4.2
Jonathan A. Jones EN2Y9949Z2
| URI | m2://inv/EN2Y9949Z2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DREP, Jonathan A. Jones (unknown)
History
- 2026-11-02: add by m2/dev
EN2ZYE0STK EN2ZYE0STK
| URI | m2://inv/EN2ZYE0STK |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/metatheory/second-order-arithmetic.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 66.1
History
- 2026-11-01: add by m2/v0.6.13
EN33583ZEK EN33583ZEK
| URI | m2://inv/EN33583ZEK |
|---|---|
| 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 2609.26896#8ETC (definition)
History
- 2026-11-01: add by m2/v0.6.15
Soft path contraction EN37YQSMK0
| URI | m2://inv/EN37YQSMK0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12456#XTOP, Soft path contraction (statement). In 5XPM4E03W6/e1, lemma 4.11
History
- 2026-10-28: add by m2/v0.4.2
maximum, chain EN3CNVBKZF
| URI | m2://inv/EN3CNVBKZF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/6.3/maximum-chain, maximum, chain (concept). In QKM9DD2H56, index, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
EN3GCB78D6 EN3GCB78D6
| URI | m2://inv/EN3GCB78D6 |
|---|---|
| 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#L1AS (statement)
History
- 2026-11-02: add by m2/v0.6.18
EN3JJ3ZRPB EN3JJ3ZRPB
| URI | m2://inv/EN3JJ3ZRPB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10505#XWRZ (statement). In JW8HH6EPG2/e1, lemma 3.18
History
- 2026-10-29: add by m2/v0.4.10
EN3TJZTDTM EN3TJZTDTM
| URI | m2://inv/EN3TJZTDTM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.16814#07OI (statement). In MN03Z3PRFT/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.3.5
EN3TTMJ04S EN3TTMJ04S
| URI | m2://inv/EN3TTMJ04S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20431#LMCC (definition)
History
- 2026-11-02: add by m2/v0.6.18
Jayanta Bhatta EN43GJAXGZ
| URI | m2://inv/EN43GJAXGZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of teachers of Nyaya#AGHI, Jayanta Bhatta (topic)
History
- 2026-11-02: add by m2/dev
Large category EN468TC1MN
| URI | m2://inv/EN468TC1MN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category (mathematics)#EU3T, Large category (unknown)
History
- 2026-11-02: add by m2/dev
María Teresa Lozano Imízcoz EN4PSHKQ47
| URI | m2://inv/EN4PSHKQ47 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia María Teresa Lozano Imízcoz, María Teresa Lozano Imízcoz (topic). Also Wikidata Q43263937
History
- 2026-11-02: add by m2/dev
EN4PXYQW0D EN4PXYQW0D
| URI | m2://inv/EN4PXYQW0D |
|---|---|
| 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.14154#M29W (statement). In 8X6PXX2TRA/e1, lemma 6.4
History
- 2026-10-28: add by m2/v0.4.2
EN4Q4DNWYQ EN4Q4DNWYQ
| URI | m2://inv/EN4Q4DNWYQ |
|---|---|
| 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.37584#Q662 (statement). In 66F6N3BJWV/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
EN4R1NR2KY EN4R1NR2KY
| URI | m2://inv/EN4R1NR2KY |
|---|---|
| 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 2506.09840#S7K3 (statement). In Y7TWHSF2HC/e1, proposition 4.14
History
- 2026-10-27: add by m2/v0.3.5
Weak dimension EN4ZEVC70J
| URI | m2://inv/EN4ZEVC70J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak dimension, Weak dimension (definition). Also Wikidata Q17104628
History
- 2026-11-02: add by m2/dev
Overfull graph EN50Q7N1AF
| URI | m2://inv/EN50Q7N1AF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overfull graph, Overfull graph (definition). Also Wikidata Q7113657
History
- 2026-11-02: add by m2/dev
J. Thompson EN57NP6VS3
| URI | m2://inv/EN57NP6VS3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#N5ME, J. Thompson (topic)
History
- 2026-11-02: add by m2/dev
EN5MRB5043 EN5MRB5043
| URI | m2://inv/EN5MRB5043 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.14143#8117 (example). In 7WV4JVGEN1/e1, example 2.2
History
- 2026-10-27: add by m2/v0.4.0
Beastly (or hateful) numbers: numbers containing the string 666 in their decimal expansion. EN5VVPYX7N
| URI | m2://inv/EN5VVPYX7N |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100194614, Beastly (or hateful) numbers: numbers containing the string 666 in their decimal expansion. (object). Also OEIS A051003
History
- 2026-10-26: add by m2/dev
Definition EN604WDRGC
| URI | m2://inv/EN604WDRGC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CC (complexity)#RRJ8, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties EN60JDGY1G
| URI | m2://inv/EN60JDGY1G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category of finite-dimensional Hilbert spaces#O8U2, Properties (statement)
History
- 2026-11-02: add by m2/dev
SSCG(3) EN6BG3C66A
| URI | m2://inv/EN6BG3C66A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#63EK, SSCG(3) (definition)
History
- 2026-11-02: add by m2/dev
EN6DM7JE1H EN6DM7JE1H
| URI | m2://inv/EN6DM7JE1H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#ex:prop-modalities (exercise). In N54F33XE07, ex, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
EN6J7EA8B3 EN6J7EA8B3
| URI | m2://inv/EN6J7EA8B3 |
|---|---|
| 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.36186#OUWV (statement). In 30PQN6JP7W/e1, lemma 4
History
- 2026-10-27: add by m2/v0.3.5
EN6SHCM925 EN6SHCM925
| URI | m2://inv/EN6SHCM925 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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.07236#NMOL (statement). In VPMKBREFY1/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.10
Ignotum per ignotius EN6V967REE
| URI | m2://inv/EN6V967REE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ignotum per ignotius, Ignotum per ignotius (definition). Also Wikidata Q5993050
History
- 2026-11-02: add by m2/dev
David Conlon EN6XHHPMSY
| URI | m2://inv/EN6XHHPMSY |
|---|---|
| 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#8MBD, David Conlon (topic)
History
- 2026-11-02: add by m2/dev
EN6XKQ5SPR EN6XKQ5SPR
| URI | m2://inv/EN6XKQ5SPR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#6J5W (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lax, Péter EN6YKXF76G
| URI | m2://inv/EN6YKXF76G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#B3S7, Lax, Péter (topic)
History
- 2026-11-02: add by m2/dev
characteristic EN71QMZQ07
| URI | m2://inv/EN71QMZQ07 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#N49S, characteristic (definition)
History
- 2026-11-02: add by m2/dev
EN71SDPDAJ EN71SDPDAJ
| URI | m2://inv/EN71SDPDAJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26771#UXX8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
EN749JNJ3P EN749JNJ3P
| URI | m2://inv/EN749JNJ3P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#KGN2 (statement). In 9S7HGSEX6Q/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Rhombic icosahedron EN7664ZY0E
| URI | m2://inv/EN7664ZY0E |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3791716, Rhombic icosahedron (concept). Also MathWorld RhombicIcosahedron
- wikipedia: Wikipedia Rhombic icosahedron, Rhombic icosahedron (object). Also Wikidata Q3791716
History
- 2026-10-26: add by m2/dev
EN7713QZVG EN7713QZVG
| URI | m2://inv/EN7713QZVG |
|---|---|
| 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.29916#EIIY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Small gradients near vertices EN79KV6TGF
| URI | m2://inv/EN79KV6TGF |
|---|---|
| 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.06653#JFNV, Small gradients near vertices (statement). In 9D2N76AJAT/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
Entropic Stability EN7DM1T9M3
| URI | m2://inv/EN7DM1T9M3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23994#0FBR, Entropic Stability (definition)
History
- 2026-11-02: add by m2/v0.6.17
Point-pair separation EN7T4WJH61
| URI | m2://inv/EN7T4WJH61 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point-pair separation, Point-pair separation (definition). Also Wikidata Q108485537
History
- 2026-11-02: add by m2/dev
EN8166AGH5 EN8166AGH5
| URI | m2://inv/EN8166AGH5 |
|---|---|
| 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.22764#O3DQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Margaret Crosby EN8CJD21V5
| URI | m2://inv/EN8CJD21V5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Margaret Crosby, Margaret Crosby (topic). Also Wikidata Q59688014
History
- 2026-11-02: add by m2/dev
EN8DQ1254H EN8DQ1254H
| URI | m2://inv/EN8DQ1254H |
|---|---|
| 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.11693#6C4Q (statement). In F8QNPNTBTZ/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.3
EN8KYZ5Q47 EN8KYZ5Q47
| URI | m2://inv/EN8KYZ5Q47 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#WZ73 (definition)
History
- 2026-11-02: add by m2/v0.6.17
EN8NTS7F3S EN8NTS7F3S
| URI | m2://inv/EN8NTS7F3S |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-proofs.ptx#proof-1 (proof). In Y91XFCEVHQ, proof, section 2.4.1
History
- 2026-11-01: add by m2/v0.6.13
EN8RHG9EWV EN8RHG9EWV
| URI | m2://inv/EN8RHG9EWV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20126#WCPX (statement). In KVXDWX9B11/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.2
Generalization EN8SXNHKD6
| URI | m2://inv/EN8SXNHKD6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isosceles set#6UA0, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Emo Welzl EN8VJ256ZE
| URI | m2://inv/EN8VJ256ZE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#IL4J, Emo Welzl (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#D683, Emo Welzl (unknown)
History
- 2026-11-02: add by m2/dev
Spherical cavity limit EN96WT2SYA
| URI | m2://inv/EN96WT2SYA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32710#6JBF, Spherical cavity limit (statement). In KVYG6R7CGJ/e1, theorem 3.24
History
- 2026-10-31: add by m2/v0.5.6
Ronald Fintushel EN9CB9EGDC
| URI | m2://inv/EN9CB9EGDC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ronald Fintushel, Ronald Fintushel (topic). Also Wikidata Q20798861
History
- 2026-11-02: add by m2/dev
EN9MKGCCTS EN9MKGCCTS
| URI | m2://inv/EN9MKGCCTS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/quintic.tex#prob:A_5_not_solvable (exercise). In RZP28ERRZV, problem, section 42.5
History
- 2026-11-01: add by m2/v0.6.13
EN9QEAHJVM EN9QEAHJVM
| URI | m2://inv/EN9QEAHJVM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.09049#JTJW (definition). In 37S7MNMZ2F/e1, definition 48
History
- 2026-10-27: add by m2/v0.3.5
David Pointcheval EN9WMDTCJ5
| URI | m2://inv/EN9WMDTCJ5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Pointcheval, David Pointcheval (topic). Also Wikidata Q23876388
History
- 2026-11-02: add by m2/dev
ENA6V0P247 ENA6V0P247
| URI | m2://inv/ENA6V0P247 |
|---|---|
| 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 2609.25524#KL8A (definition)
History
- 2026-11-01: add by m2/v0.6.15
ENAASX2SX9 ENAASX2SX9
| URI | m2://inv/ENAASX2SX9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17752#HHTH (statement). In 13N3N5WZWC/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
Lars Onsager ENABRYGD1H
| URI | m2://inv/ENABRYGD1H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#I9QI, Lars Onsager (unknown)
History
- 2026-11-02: add by m2/dev
Juan Gómez-Quiñones ENAEHAVFR9
| URI | m2://inv/ENAEHAVFR9 |
|---|---|
| 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#UY5H, Juan Gómez-Quiñones (unknown)
History
- 2026-11-02: add by m2/dev
ENAHHZX59P ENAHHZX59P
| URI | m2://inv/ENAHHZX59P |
|---|---|
| Kind | example |
| 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.32524#WCKQ (example). In XGCND7R0B0/e1, example 5.4
History
- 2026-10-31: add by m2/v0.5.6
ENAXVRKCZX ENAXVRKCZX
| URI | m2://inv/ENAXVRKCZX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 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 2104.12015#0ZIJ (example). In ZZ2P08DVQW/e1, example 4.1
History
- 2026-10-27: add by m2/v0.3.5
$\mathrm{SO}(3)$ ENB3M8F7Y3
| URI | m2://inv/ENB3M8F7Y3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24777#7LP4, $\mathrm{SO}(3)$ (example)
History
- 2026-11-01: add by m2/v0.6.15
Implementations ENB4VG01YG
| URI | m2://inv/ENB4VG01YG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital Signature Algorithm#QYQM, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Rayo's number ENB8HWSZE4
| URI | m2://inv/ENB8HWSZE4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rayo's number, Rayo's number (definition). Also Wikidata Q17140053
History
- 2026-11-02: add by m2/dev
ENB8SKYTMB ENB8SKYTMB
| URI | m2://inv/ENB8SKYTMB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38323#6R6I (statement). In MER0S03A77/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
ENBBHC7HY3 ENBBHC7HY3
| URI | m2://inv/ENBBHC7HY3 |
|---|---|
| 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.27834#2GG1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Wall's finiteness obstruction ENBFH40FTZ
| URI | m2://inv/ENBFH40FTZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7962581, Wall's finiteness obstruction (unknown). Also nLab Wall's finiteness obstruction
- wikipedia: Wikipedia Wall's finiteness obstruction, Wall's finiteness obstruction (definition). Also Wikidata Q7962581
History
- 2026-10-26: add by m2/dev
$1-\delta$)-confident RSOA computation ENBFQBZJY2
| URI | m2://inv/ENBFQBZJY2 |
|---|---|
| Kind | problem |
| 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 2601.01076#BXFN, $1-\delta$)-confident RSOA computation (problem). In 2E8DDPAZN3/e1, problem 2
History
- 2026-10-27: add by m2/v0.3.5
ENBGCE9R89 ENBGCE9R89
| URI | m2://inv/ENBGCE9R89 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03814#93IB (definition). In STPNP83RJS/e1, definition 1.1
History
- 2026-10-29: add by m2/v0.4.12
Coxeter complex ENBNTCF67H
| URI | m2://inv/ENBNTCF67H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coxeter complex, Coxeter complex (definition). Also Wikidata Q5179939
History
- 2026-11-02: add by m2/dev
ENBP46QF4F ENBP46QF4F
| URI | m2://inv/ENBP46QF4F |
|---|---|
| Kind | statement |
| 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#OBNU (statement). In YZNK67K060/e1, lemma 6.4
History
- 2026-10-29: add by m2/v0.4.12
Properties ENBQF847TR
| URI | m2://inv/ENBQF847TR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maass–Shimura operator#E0NU, Properties (statement)
History
- 2026-11-02: add by m2/dev
Caitlin Buck ENBVX24VSB
| URI | m2://inv/ENBVX24VSB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Caitlin Buck, Caitlin Buck (topic). Also Wikidata Q59423223
History
- 2026-11-02: add by m2/dev
ENBWC0B5WH ENBWC0B5WH
| URI | m2://inv/ENBWC0B5WH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_ramsey_exercises.ptx#exercise-3 (exercise). In QKM9DD2H56, exercise, section 11
History
- 2026-11-01: add by m2/v0.6.13
Nicoteles of Cyrene ENBZ5AYHA4
| URI | m2://inv/ENBZ5AYHA4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#8919, Nicoteles of Cyrene (topic)
History
- 2026-11-02: add by m2/dev
ENC2PV16XA ENC2PV16XA
| URI | m2://inv/ENC2PV16XA |
|---|---|
| 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.11047#JWT1 (statement). In MNQAZ70XTH/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.3
Metric On Paths ENC3PD5832
| URI | m2://inv/ENC3PD5832 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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.31352#W6KB, Metric On Paths (definition). In SQZGKRDVBX/e1, definition 2.5
History
- 2026-10-31: add by m2/v0.5.6
finite model theory ENC58E8GA0
| URI | m2://inv/ENC58E8GA0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#TQUS, finite model theory (definition)
History
- 2026-11-02: add by m2/dev
ENC62DR427 ENC62DR427
| URI | m2://inv/ENC62DR427 |
|---|---|
| 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.18219#8TL2 (statement). In X1AGBB90EH/e1, lemma 5.19
History
- 2026-10-28: add by m2/v0.4.2
Elena Vázquez Cendón ENC6H9VDE5
| URI | m2://inv/ENC6H9VDE5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elena Vázquez Cendón, Elena Vázquez Cendón (topic). Also Wikidata Q101246715
History
- 2026-11-02: add by m2/dev
ENC7NDAX4Z ENC7NDAX4Z
| URI | m2://inv/ENC7NDAX4Z |
|---|---|
| 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.23238#EZMB (statement)
History
- 2026-11-02: add by m2/v0.6.17
barrelled space ENCBD349T9
| URI | m2://inv/ENCBD349T9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Barrelled space ZE6DXEJB8H |
Mentions
- wikidata: Wikidata Q2090232, barrelled space (unknown). Also EoM Barrelled_space
- wikipedia: Wikipedia Barrelled space, Barrelled space (definition). Also Wikidata Q2090232
History
- 2026-10-26: add by m2/dev
Kolmogorov discrepancy of the cosine grid ENCC6R4SEA
| URI | m2://inv/ENCC6R4SEA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16351#EEYY, Kolmogorov discrepancy of the cosine grid (statement). In 1QSV7EQE3T/e1, lemma S42
History
- 2026-10-28: add by m2/v0.4.2
Example ENCCC3RYTC
| URI | m2://inv/ENCCC3RYTC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expected value#LW3B, Example (example)
History
- 2026-11-02: add by m2/dev
ENCFFHKH9F ENCFFHKH9F
| URI | m2://inv/ENCFFHKH9F |
|---|---|
| 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.23605#5VJG (statement)
History
- 2026-11-02: add by m2/v0.6.17
Ball-Box Theorem ENCHR2V4V1
| URI | m2://inv/ENCHR2V4V1 |
|---|---|
| Kind | statement |
| 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 2610.17863#PL6Z, Ball-Box Theorem (statement). In Y8XQT02BBF/e1, theorem 2.41
History
- 2026-10-28: add by m2/v0.4.2
Étale cohomology ENCKQB11F9
| URI | m2://inv/ENCKQB11F9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#Y5IK, Étale cohomology (definition)
History
- 2026-11-02: add by m2/dev
ENCMJ8M2VM ENCMJ8M2VM
| URI | m2://inv/ENCMJ8M2VM |
|---|---|
| Kind | statement |
| 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 2610.10558#FG1T (statement). In GYSF9JXQCH/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
Christopher H. Schmid ENCT7S7SRY
| URI | m2://inv/ENCT7S7SRY |
|---|---|
| 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#M7XG, Christopher H. Schmid (unknown)
History
- 2026-11-02: add by m2/dev
CIK (necklace, indistinct, unlabeled) transform of powers of 2. ENCYR3P2CY
| URI | m2://inv/ENCYR3P2CY |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100194639, CIK (necklace, indistinct, unlabeled) transform of powers of 2. (object). Also OEIS A055891
History
- 2026-10-26: add by m2/dev
END3ZFVAQM END3ZFVAQM
| URI | m2://inv/END3ZFVAQM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#YDHX (statement). In X47RYAZF8P/e1, lemma 11.1
History
- 2026-10-28: add by m2/v0.4.2
Particle-in-cell ENDDDG06T3
| URI | m2://inv/ENDDDG06T3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#EBHC, Particle-in-cell (unknown)
History
- 2026-11-02: add by m2/dev
Linearly ordered group ENDJ2R6M6V
| URI | m2://inv/ENDJ2R6M6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#ETP0, Linearly ordered group (definition)
History
- 2026-11-02: add by m2/dev
ENDKK5RS36 ENDKK5RS36
| URI | m2://inv/ENDKK5RS36 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07695#S4W2 (statement). In 8Z47D12KSX/e1, proposition 9.7
History
- 2026-10-29: add by m2/v0.4.10
Euler system ENDQ9VNX17
| URI | m2://inv/ENDQ9VNX17 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler system, Euler system (definition). Also Wikidata Q1053779
History
- 2026-11-02: add by m2/dev
Translations ENDRW7XXY8
| URI | m2://inv/ENDRW7XXY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02806#5Z49, Translations (statement). In F4A354Y5NC/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
Tempered representation ENDWSXVHW8
| URI | m2://inv/ENDWSXVHW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of harmonic analysis topics#K659, Tempered representation (definition)
History
- 2026-11-02: add by m2/dev
ENDZSBRQCR ENDZSBRQCR
| URI | m2://inv/ENDZSBRQCR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.08944#OSGN (definition). In D8QFZG5R1D/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.6
ENE2FVQ0CH ENE2FVQ0CH
| URI | m2://inv/ENE2FVQ0CH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22326#F4NA (statement). In EAABRG99V8/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.4.0
Discontinuity ENE8VT5X91
| URI | m2://inv/ENE8VT5X91 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34402#EP0A, Discontinuity (statement). In FTTMZWSCMW/e1, theorem 2.4
History
- 2026-10-30: add by m2/v0.4.12
Quantitative Reeb-form obstruction ENECA38QRR
| URI | m2://inv/ENECA38QRR |
|---|---|
| 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.00078#QKEJ, Quantitative Reeb-form obstruction (statement). In KXYGWSGP9M/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
Donald Rubin ENEF2BXZ4K
| URI | m2://inv/ENEF2BXZ4K |
|---|---|
| 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#IUP1, Donald Rubin (topic)
History
- 2026-11-02: add by m2/dev
ENF2KQK5NT ENF2KQK5NT
| URI | m2://inv/ENF2KQK5NT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-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.34845#6C96 (statement). In SBZNH932ZV/e1, lemma 7.2
History
- 2026-10-30: add by m2/v0.4.12
Principles ENF4DCVVS2
| URI | m2://inv/ENF4DCVVS2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yarrow algorithm#O6J4, Principles (statement)
History
- 2026-11-02: add by m2/dev
ENFTR9TGJK ENFTR9TGJK
| URI | m2://inv/ENFTR9TGJK |
|---|---|
| Kind | example |
| 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 2208.06310#PZDG (example). In 9YR0E0T9XA/e1, example 3.13
History
- 2026-10-27: add by m2/v0.3.5
ENFX2CK9WV ENFX2CK9WV
| URI | m2://inv/ENFX2CK9WV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20899#TN3I (statement). In BSMDFADA39/e1, corollary 3.2
History
- 2026-10-27: add by m2/v0.4.2
ENGPS0CB4T ENGPS0CB4T
| URI | m2://inv/ENGPS0CB4T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#ques-7 (exercise). In RZP28ERRZV, ques, section 100.6
History
- 2026-11-01: add by m2/v0.6.13
ENGT1DRNE3 ENGT1DRNE3
| URI | m2://inv/ENGT1DRNE3 |
|---|---|
| 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 2609.27518#HPFS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Construction ENGXTP23D5
| URI | m2://inv/ENGXTP23D5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Periodic table of topological insulators and topological superconductors#7S9K, Construction (definition)
History
- 2026-11-02: add by m2/dev
ENH6Z9J9DP ENH6Z9J9DP
| URI | m2://inv/ENH6Z9J9DP |
|---|---|
| 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 2605.30285#6DLF (statement). In YMY0NNSM27/e1, proposition A.1
History
- 2026-10-27: add by m2/v0.3.6
Zeta distribution ENH9ADGAR6
| URI | m2://inv/ENH9ADGAR6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#18LT, Zeta distribution (definition)
History
- 2026-11-02: add by m2/dev
ENHCWM2J5K ENHCWM2J5K
| URI | m2://inv/ENHCWM2J5K |
|---|---|
| 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.09390#H5F8 (statement). In 7SSKW778T8/e1, proposition 9.5
History
- 2026-10-29: add by m2/v0.4.10
Terminology ENHFF8H5YJ
| URI | m2://inv/ENHFF8H5YJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponentiation#S9G7, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Journal of Physics A ENHPF0FP6R
| URI | m2://inv/ENHPF0FP6R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of Physics A, Journal of Physics A (definition). Also Wikidata Q1068402
History
- 2026-11-02: add by m2/dev
Arcs are distinctions ENHSVV7XET
| URI | m2://inv/ENHSVV7XET |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02219#ABZJ, Arcs are distinctions (statement). In 8XMASJX0GZ/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.12
Tadeusz Banachiewicz ENHW1MKADF
| URI | m2://inv/ENHW1MKADF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tadeusz Banachiewicz, Tadeusz Banachiewicz (topic). Also Wikidata Q943007
History
- 2026-11-02: add by m2/dev
ENHXYQ7H4M ENHXYQ7H4M
| URI | m2://inv/ENHXYQ7H4M |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 49.1
History
- 2026-11-01: add by m2/v0.6.13
ENJ0DCGWBH ENJ0DCGWBH
| URI | m2://inv/ENJ0DCGWBH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.32138#PCEU (statement). In ZG0GNHTCWB/e1, proposition 6.12
History
- 2026-10-31: add by m2/v0.5.6
ENJ5JZTSQ4 ENJ5JZTSQ4
| URI | m2://inv/ENJ5JZTSQ4 |
|---|---|
| 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 1103.1038#0R7F (definition). In T9VMNNPS0H/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.3.6
Properties ENJ8PBQCP2
| URI | m2://inv/ENJ8PBQCP2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak derivative#RQB7, Properties (statement)
History
- 2026-11-02: add by m2/dev
Properties ENJB4X0CHB
| URI | m2://inv/ENJB4X0CHB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor#8M5L, Properties (statement)
History
- 2026-11-02: add by m2/dev
Local stabilizer decomposition ENJC8GY64K
| URI | m2://inv/ENJC8GY64K |
|---|---|
| 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.02097#2568, Local stabilizer decomposition (statement). In DQSRCCAG6G/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.12
Bitruncated order-5 cubic honeycomb ENJEHPF1CC
| URI | m2://inv/ENJEHPF1CC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-5 cubic honeycomb#GJF4, Bitruncated order-5 cubic honeycomb (unknown)
History
- 2026-11-02: add by m2/dev
ENJEW81QZ3 ENJEW81QZ3
| URI | m2://inv/ENJEW81QZ3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/ordinal.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 92.3
History
- 2026-11-01: add by m2/v0.6.13
Lorentz covariance ENJFERND8Z
| URI | m2://inv/ENJFERND8Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#G3F7, Lorentz covariance (unknown)
History
- 2026-11-02: add by m2/dev
Riesz, Frigyes ENJG4V2GKW
| URI | m2://inv/ENJG4V2GKW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#SFTV, Riesz, Frigyes (topic)
History
- 2026-11-02: add by m2/dev
K. G. Ramanathan ENJH8N6KHJ
| URI | m2://inv/ENJH8N6KHJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ISNK, K. G. Ramanathan (topic)
History
- 2026-11-02: add by m2/dev
ENJHFT47GH ENJHFT47GH
| URI | m2://inv/ENJHFT47GH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11965#QQDP (statement). In 48QX0QD0XR/e1, lemma 6.7
History
- 2026-10-28: add by m2/v0.4.3
ENJKMG8R4E ENJKMG8R4E
| URI | m2://inv/ENJKMG8R4E |
|---|---|
| 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.15086#674A (statement). In V60MVF3KQ1/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
Poincaré duality ENJNS8FFTR
| URI | m2://inv/ENJNS8FFTR |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 55-XX |
| Sources | 4 |
| Outcome | open |
| Node | Poincaré duality 9VY90HJVZX |
Mentions
- mathlib_1000: mathlib_1000 Q2063099, Poincaré duality theorem (statement). Also Wikidata Q2063099
- thousand_plus: thousand_plus Q2063099, Poincaré duality theorem (statement). Also Wikidata Q2063099, Wikipedia Poincaré duality theorem
- wikidata: Wikidata Q2063099, Poincaré duality (statement). Also EoM Poincaré_duality, nLab Poincaré duality
- wikipedia: Wikipedia Poincaré duality, Poincaré duality (definition). Also Wikidata Q2063099
History
- 2026-10-26: add by m2/dev
ENJRB438H7 ENJRB438H7
| URI | m2://inv/ENJRB438H7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#S1DD (statement). In CY1FE8W1ZW/e1, proposition 0.265
History
- 2026-10-27: add by m2/v0.4.0
Example ENJSDS40NB
| URI | m2://inv/ENJSDS40NB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System of imprimitivity#ISI6, Example (example)
History
- 2026-11-02: add by m2/dev
Alexandroff compactification ENJTYE1P29
| URI | m2://inv/ENJTYE1P29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#N5HZ, Alexandroff compactification (definition)
History
- 2026-11-02: add by m2/dev
Arrow's theorem: Rational ranked-choice voting ENJX36DAY0
| URI | m2://inv/ENJX36DAY0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof of impossibility#Y57B, Arrow's theorem: Rational ranked-choice voting (statement)
History
- 2026-11-02: add by m2/dev
Negative binomial distribution ENK04RS1FP
| URI | m2://inv/ENK04RS1FP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#S59P, Negative binomial distribution (definition)
History
- 2026-11-02: add by m2/dev
ENK08FN07G ENK08FN07G
| URI | m2://inv/ENK08FN07G |
|---|---|
| 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 2403.01959#DMQH (statement). In 5YMNGJRC6Y/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
Marta Sales-Pardo ENK5SZV5YR
| URI | m2://inv/ENK5SZV5YR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marta Sales-Pardo, Marta Sales-Pardo (topic). Also Wikidata Q25432128
History
- 2026-11-02: add by m2/dev
vertical composition ENKED79BRB
| URI | m2://inv/ENKED79BRB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#MU7N, vertical composition (definition)
History
- 2026-11-02: add by m2/dev
ENKHB795VC ENKHB795VC
| URI | m2://inv/ENKHB795VC |
|---|---|
| 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.22381#W9K1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
List of probability topics ENKPTJXCWB
| URI | m2://inv/ENKPTJXCWB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics, List of probability topics (topic). Also Wikidata Q6634985
History
- 2026-11-02: add by m2/dev
Hodge cycle ENKWSGC9CG
| URI | m2://inv/ENKWSGC9CG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#K49J, Hodge cycle (definition)
- wikipedia: Wikipedia List of things named after W. V. D. Hodge#3I16, Hodge cycle (definition)
History
- 2026-11-02: add by m2/dev
Minkowski's theorem ENMFRNNVBN
| URI | m2://inv/ENMFRNNVBN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#XR7O, Minkowski's theorem (statement)
History
- 2026-11-02: add by m2/dev
ENMKW93FB6 ENMKW93FB6
| URI | m2://inv/ENMKW93FB6 |
|---|---|
| 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 2108.09796#P2BX (statement). In NAA7WFQN20/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
ENMSJAGDP3 ENMSJAGDP3
| URI | m2://inv/ENMSJAGDP3 |
|---|---|
| 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 2509.09379#I0LY (statement). In DJXA86KDY8/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
ENMSQG4FS4 ENMSQG4FS4
| URI | m2://inv/ENMSQG4FS4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35102#LCJQ (example). In XK6H7F2F13/e1, example 4.3
History
- 2026-10-30: add by m2/v0.4.12
Closed Brayton cycle ENMWDBH33S
| URI | m2://inv/ENMWDBH33S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brayton cycle#WK08, Closed Brayton cycle (unknown)
History
- 2026-11-02: add by m2/dev
ENN7P064NN ENN7P064NN
| URI | m2://inv/ENN7P064NN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#exercise-5 (exercise). In P1C114YBXG, exercise, section 1
History
- 2026-11-01: add by m2/v0.6.13
Lucien Le Cam ENND27D4YH
| URI | m2://inv/ENND27D4YH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#W83H, Lucien Le Cam (topic)
History
- 2026-11-02: add by m2/dev
ENNEMZKHWX ENNEMZKHWX
| URI | m2://inv/ENNEMZKHWX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#L3QA (statement). In 5KR3MHYVV6/e1, corollary 5.12
History
- 2026-10-28: add by m2/v0.4.2
Conjoint analysis ENNTW85K36
| URI | m2://inv/ENNTW85K36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IHAA, Conjoint analysis (definition)
History
- 2026-11-02: add by m2/dev
ENP14JKNK4 ENP14JKNK4
| URI | m2://inv/ENP14JKNK4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27617#2PSW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Smoothing ENP29MNQ3J
| URI | m2://inv/ENP29MNQ3J |
|---|---|
| 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.01035#B53V, Smoothing (statement). In MVQWXFXWM7/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
Properties ENPFCPMDCQ
| URI | m2://inv/ENPFCPMDCQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Initial topology#GHNM, Properties (statement)
History
- 2026-11-02: add by m2/dev
Applications ENPJ3RBWSD
| URI | m2://inv/ENPJ3RBWSD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuiper's theorem#W1QD, Applications (example)
History
- 2026-11-02: add by m2/dev
ENPN6JT949 ENPN6JT949
| URI | m2://inv/ENPN6JT949 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/proving-things.tex#ex-4 (example). In PKGMM3P5QY, ex, section 17.11
History
- 2026-11-01: add by m2/v0.6.13
ENPPP94FV8 ENPPP94FV8
| URI | m2://inv/ENPPP94FV8 |
|---|---|
| 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.03628#N13W (statement). In P8KT6JV9N1/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.12
Cofinal ENPT1YJCME
| URI | m2://inv/ENPT1YJCME |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#NUEF, Cofinal (definition)
History
- 2026-11-02: add by m2/dev
ENPVJS0JNC ENPVJS0JNC
| URI | m2://inv/ENPVJS0JNC |
|---|---|
| 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.21752#6ROQ (statement). In E4DJTPKHAX/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.4.2
Proposition ENPZABG1HZ
| URI | m2://inv/ENPZABG1HZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal matrix#71UA, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Definition ENQ0ENX737
| URI | m2://inv/ENQ0ENX737 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph entropy#PHVU, Definition (definition)
History
- 2026-11-02: add by m2/dev
Ferdinand Joachimsthal ENQ14102ZN
| URI | m2://inv/ENQ14102ZN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#8UYS, Ferdinand Joachimsthal (topic)
History
- 2026-11-02: add by m2/dev
ENQ2JAXNE3 ENQ2JAXNE3
| URI | m2://inv/ENQ2JAXNE3 |
|---|---|
| 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 2411.01837#V2EV (statement). In 2XBYZ1QP22/e1, corollary 4.1
History
- 2026-10-27: add by m2/v0.3.5
Variant of identity ENQ2QFQ1GF
| URI | m2://inv/ENQ2QFQ1GF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet kernel#GRQR, Variant of identity (statement)
History
- 2026-11-02: add by m2/dev
ENQ7KQ69J1 ENQ7KQ69J1
| URI | m2://inv/ENQ7KQ69J1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#HL76 (statement). In 13GSWBXPCM/e1, proposition 5.6
History
- 2026-10-27: add by m2/v0.3.5
ENQFDDE8KZ ENQFDDE8KZ
| URI | m2://inv/ENQFDDE8KZ |
|---|---|
| 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.35095#YY1W (statement). In MM3XTWS35F/e1, theorem 5.2
History
- 2026-10-30: add by m2/v0.4.12
Carsten Niebuhr ENQG6NPWF8
| URI | m2://inv/ENQG6NPWF8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#FXT0, Carsten Niebuhr (topic)
History
- 2026-11-02: add by m2/dev
4-root ENQHAXKJBF
| URI | m2://inv/ENQHAXKJBF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tetration#LNPQ, 4-root (unknown)
History
- 2026-11-02: add by m2/dev
ENQSRSJ22J ENQSRSJ22J
| URI | m2://inv/ENQSRSJ22J |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21981#RXNA (example). In H3M2QSKN43/e1, example 1.4
History
- 2026-10-27: add by m2/v0.4.2
Walter Lewis Baily, Jr. ENQVAADAKW
| URI | m2://inv/ENQVAADAKW |
|---|---|
| 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#LS7X, Walter Lewis Baily, Jr. (topic)
History
- 2026-11-02: add by m2/dev
Ambient space ENQZ0ZBHA7
| URI | m2://inv/ENQZ0ZBHA7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ambient space (mathematics), Ambient space (definition). Also Wikidata Q3888851
History
- 2026-11-02: add by m2/dev
ENR2P6SBVM ENR2P6SBVM
| URI | m2://inv/ENR2P6SBVM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10329#EFFK (statement). In SCSTR1Q1BW/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
5 ENR8DVYGVX
| URI | m2://inv/ENR8DVYGVX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q203 (statement). Also MathWorld 5, ProofWiki 5
- wikipedia: Wikipedia 5, 5 (definition). Also Wikidata Q203
History
- 2026-10-26: add by m2/dev
Degree sequence ENR99XCNFV
| URI | m2://inv/ENR99XCNFV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degree (graph theory)#MRGN, Degree sequence (unknown)
History
- 2026-11-02: add by m2/dev
Metastable seminorm ENRBPQ2RMA
| URI | m2://inv/ENRBPQ2RMA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-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.40214#8DU9, Metastable seminorm (definition). In XD603HRHKC/e1, definition 3.5
History
- 2026-10-30: add by m2/v0.4.12
Example ENRVN5VXGY
| URI | m2://inv/ENRVN5VXGY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum finite automaton#9QMF, Example (example)
History
- 2026-11-02: add by m2/dev
square array ENRWB6ZY6X
| URI | m2://inv/ENRWB6ZY6X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141189537, square array (unknown). Also MathWorld SquareArray
History
- 2026-10-26: add by m2/dev
Niels Henrik Abel ENRX1TPD35
| URI | m2://inv/ENRX1TPD35 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#18OV, Niels Henrik Abel (topic)
History
- 2026-11-02: add by m2/dev
categories of pairs ENS0TS8FFH
| URI | m2://inv/ENS0TS8FFH |
|---|---|
| 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 2609.32733#3VC9, categories of pairs (definition). In PCAS8S14J6/e1, definition 3.9
History
- 2026-10-31: add by m2/v0.5.6
ENS1NTWZNK ENS1NTWZNK
| URI | m2://inv/ENS1NTWZNK |
|---|---|
| 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.00512#HI9P (statement). In RB5QBG3MJY/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
Lenny Krayzelburg ENS2GWJN6Q
| URI | m2://inv/ENS2GWJN6Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#SQQL, Lenny Krayzelburg (unknown)
History
- 2026-11-02: add by m2/dev
Applications ENS4AH9BJH
| URI | m2://inv/ENS4AH9BJH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Q-exponential distribution#WRO3, Applications (example)
History
- 2026-11-02: add by m2/dev
Modal collapse ENS8E13FPN
| URI | m2://inv/ENS8E13FPN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modal collapse, Modal collapse (definition). Also Wikidata Q111745250
History
- 2026-11-02: add by m2/dev
Montague--Levy ENSB7V1P2C
| URI | m2://inv/ENSB7V1P2C |
|---|---|
| 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.19283#PEIG, Montague--Levy (statement). In 28BAGZRCKG/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
Ramanujan graph ENSCB41RV5
| URI | m2://inv/ENSCB41RV5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramanujan graph, Ramanujan graph (definition). Also Wikidata Q3115527
History
- 2026-11-02: add by m2/dev
Schwarz triangle ENSEWD8YS7
| URI | m2://inv/ENSEWD8YS7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3890103, Schwarz triangle (concept). Also MathWorld SchwarzTriangle
- wikipedia: Wikipedia Schwarz triangle, Schwarz triangle (definition). Also Wikidata Q3890103
History
- 2026-10-26: add by m2/dev
ENT5GH04B9 ENT5GH04B9
| URI | m2://inv/ENT5GH04B9 |
|---|---|
| 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.20119#ADCT (statement)
History
- 2026-11-02: add by m2/v0.6.18
Algorithm ENT6FQ88J2
| URI | m2://inv/ENT6FQ88J2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gradient boosting#A7C3, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
ENTD1K9GDW ENTD1K9GDW
| URI | m2://inv/ENTD1K9GDW |
|---|---|
| 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 2609.21305#OKCS (definition)
History
- 2026-11-02: add by m2/v0.6.18
ENTGCAGG4F ENTGCAGG4F
| URI | m2://inv/ENTGCAGG4F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25391#5X2F (statement)
History
- 2026-11-01: add by m2/v0.6.15
ENTP1HBWB9 ENTP1HBWB9
| URI | m2://inv/ENTP1HBWB9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#thm:schur_algclosed (statement). In RZP28ERRZV, theorem, section 80.5
History
- 2026-11-01: add by m2/v0.6.13
David Acheson ENTPT170AC
| URI | m2://inv/ENTPT170AC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Acheson (mathematician), David Acheson (topic). Also Wikidata Q18149108
History
- 2026-11-02: add by m2/dev
ENTT6RV99A ENTT6RV99A
| URI | m2://inv/ENTT6RV99A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21255#ULD6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Thébault's theorem ENTV0T9NKQ
| URI | m2://inv/ENTV0T9NKQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#J9DP, Thébault's theorem (statement)
History
- 2026-11-02: add by m2/dev
ENV7DZEF8X ENV7DZEF8X
| URI | m2://inv/ENV7DZEF8X |
|---|---|
| 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.16002#7SKI (statement). In MWXDTQ7XC4/e1, corollary 1.2
History
- 2026-10-28: add by m2/v0.4.2
Raphael Levi Hannover ENVBZY90RD
| URI | m2://inv/ENVBZY90RD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#OIP1, Raphael Levi Hannover (topic)
History
- 2026-11-02: add by m2/dev
Hellmuth Kneser ENVSAJ891Y
| URI | m2://inv/ENVSAJ891Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#Q5SS, Hellmuth Kneser (topic)
History
- 2026-11-02: add by m2/dev
triacontahedron ENW0J8YX8Z
| URI | m2://inv/ENW0J8YX8Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q115864189, triacontahedron (unknown). Also MathWorld Triacontahedron
History
- 2026-10-26: add by m2/dev
Thomas J. Laffey ENWBR2EBYM
| URI | m2://inv/ENWBR2EBYM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas J. Laffey, Thomas J. Laffey (topic). Also Wikidata Q64011155
History
- 2026-11-02: add by m2/dev
ENWD58G0HK ENWD58G0HK
| URI | m2://inv/ENWD58G0HK |
|---|---|
| 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.07855#6SJY (statement). In 1VT8CVVCM7/e1, fact 2.8
History
- 2026-10-29: add by m2/v0.4.10
(aperiodic) ENWGP0HA1A
| URI | m2://inv/ENWGP0HA1A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rokhlin lemma#CMO0, (aperiodic) (statement)
History
- 2026-11-02: add by m2/dev
ENWQJ3HB09 ENWQJ3HB09
| URI | m2://inv/ENWQJ3HB09 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35209#L37T (definition). In YEERR7F4NW/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Fundamental Identity ENWSX1KFDH
| URI | m2://inv/ENWSX1KFDH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29393#3XEE, Fundamental Identity (statement)
History
- 2026-11-01: add by m2/v0.6.15
ENWV5A8TSA ENWV5A8TSA
| URI | m2://inv/ENWV5A8TSA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19449#YZX5 (definition). In 8ZKPJ3CBDF/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
ENX8574T7B ENX8574T7B
| URI | m2://inv/ENX8574T7B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24716#OWM9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Diller–Dress theorem ENX8DRA3QM
| URI | m2://inv/ENX8DRA3QM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#ZW9O, Diller–Dress theorem (topic)
History
- 2026-11-02: add by m2/dev
Way-below ENXC5C8Q27
| URI | m2://inv/ENXC5C8Q27 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Domain theory#E8XC, Way-below (unknown)
History
- 2026-11-02: add by m2/dev
Theorem ENXEG5WQ48
| URI | m2://inv/ENXEG5WQ48 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric rigidity#CK99, Theorem (statement)
History
- 2026-11-02: add by m2/dev
one-to-one ENXFCX4KP8
| URI | m2://inv/ENXFCX4KP8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#S6FB, one-to-one (definition)
History
- 2026-11-02: add by m2/dev
ENXG09XJK7 ENXG09XJK7
| URI | m2://inv/ENXG09XJK7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05602#UREV (statement). In W88890HB4Z/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
Examples ENXWTDN3VH
| URI | m2://inv/ENXWTDN3VH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rodrigues' formula#2MJH, Examples (example)
History
- 2026-11-02: add by m2/dev
ENXXEYPJ2T ENXXEYPJ2T
| URI | m2://inv/ENXXEYPJ2T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10147#ZKX7 (statement). In WZWGAG2FSN/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
ENYAX4QTJV ENYAX4QTJV
| URI | m2://inv/ENYAX4QTJV |
|---|---|
| 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#DVN8 (statement). In Y3X5XY2J65/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Carr–Madan formula ENYHJ8A8MF
| URI | m2://inv/ENYHJ8A8MF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carr–Madan formula, Carr–Madan formula (statement). Also Wikidata Q16247178
History
- 2026-11-02: add by m2/dev
Bernstein's lethargy theorem ENYQ0NJWY8
| URI | m2://inv/ENYQ0NJWY8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lethargy theorem#1YT0, Bernstein's lethargy theorem (statement)
History
- 2026-11-02: add by m2/dev
ENYTMFAZFF ENYTMFAZFF
| URI | m2://inv/ENYTMFAZFF |
|---|---|
| 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 2404.05965#HKRD (statement). In GD1GED3FZ3/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
ENZ05JVGCN ENZ05JVGCN
| URI | m2://inv/ENZ05JVGCN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:yoneda-mono (statement). In N54F33XE07, cor, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
ENZ0VFMR6X ENZ0VFMR6X
| URI | m2://inv/ENZ0VFMR6X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35030#K1HF (statement). In DPT4P2BTEW/e1, lemma 2.9
History
- 2026-10-30: add by m2/v0.4.12
Bombe ENZT7PHCG2
| URI | m2://inv/ENZT7PHCG2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bombe, Bombe (definition). Also Wikidata Q480476
History
- 2026-11-02: add by m2/dev
Temperature paradox ENZVGV0D28
| URI | m2://inv/ENZVGV0D28 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Temperature paradox, Temperature paradox (statement). Also Wikidata Q107919983
History
- 2026-11-02: add by m2/dev