Inventory rows XC
The cards of the rows of the inventory whose ids start with XC. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Integral calculus XC044GSKFS
| URI | m2://inv/XC044GSKFS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#U964, Integral calculus (definition)
History
- 2026-11-02: add by m2/dev
Theorem XC04WEPJJA
| URI | m2://inv/XC04WEPJJA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extreme value theorem#PF3G, Theorem (statement)
History
- 2026-11-02: add by m2/dev
T5 XC088QVTKJ
| URI | m2://inv/XC088QVTKJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#0OBE, T5 (definition)
History
- 2026-11-02: add by m2/dev
relation, binary XC0AR24V3K
| URI | m2://inv/XC0AR24V3K |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.10/relation-binary, relation, binary (concept). In QKM9DD2H56, index, section B.10
History
- 2026-11-01: add by m2/v0.6.13
XC0J7NBN2N XC0J7NBN2N
| URI | m2://inv/XC0J7NBN2N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21622#KEZK (statement). In H21X3FHNYJ/e1, theorem Theorem
History
- 2026-10-27: add by m2/v0.4.2
Stuck unknot XC0JZVZXXP
| URI | m2://inv/XC0JZVZXXP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stuck unknot, Stuck unknot (definition). Also Wikidata Q7627471
History
- 2026-11-02: add by m2/dev
XC0M50X2MN XC0M50X2MN
| URI | m2://inv/XC0M50X2MN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28669#K0QM (statement)
History
- 2026-11-01: add by m2/v0.6.15
judgment XC0XQ26RXC
| URI | m2://inv/XC0XQ26RXC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/sec:formal-prelim/judgment, judgment (concept). In N54F33XE07, index, section sec:formal-prelim
History
- 2026-11-01: add by m2/v0.6.13
XC10XEJQKB XC10XEJQKB
| URI | m2://inv/XC10XEJQKB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.04317#TKRB (definition). In 49V3ANDZTY/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.3.5
ambiguous XC1140SSNQ
| URI | m2://inv/XC1140SSNQ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q54246577, ambiguous (concept). Also MathWorld Ambiguous
History
- 2026-10-26: add by m2/dev
Universal code XC11D7X5R4
| URI | m2://inv/XC11D7X5R4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal code (data compression), Universal code (definition). Also Wikidata Q4176366
History
- 2026-11-02: add by m2/dev
Uniform bounds on positive-time slabs XC12C9DBTT
| URI | m2://inv/XC12C9DBTT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02106#LMKN, Uniform bounds on positive-time slabs (statement). In NGKK8ZB29J/e1, corollary 3.6
History
- 2026-10-29: add by m2/v0.4.12
Goldman, Samuel XC154PY8BS
| URI | m2://inv/XC154PY8BS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#HWB1, Goldman, Samuel (unknown)
History
- 2026-11-02: add by m2/dev
theory of schemes XC173BPP7E
| URI | m2://inv/XC173BPP7E |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 14A15 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114715748, theory of schemes (topic)
History
- 2026-10-26: add by m2/dev
Threshold strip XC18S4DFXM
| URI | m2://inv/XC18S4DFXM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#RIS9, Threshold strip (statement). In 65TJENWK7X/e1, proposition 42
History
- 2026-10-29: add by m2/v0.4.10
XC192NYYQB XC192NYYQB
| URI | m2://inv/XC192NYYQB |
|---|---|
| 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.31393#YNGX (statement). In ED0WC9Z55C/e1, corollary 1.2
History
- 2026-10-31: add by m2/v0.5.6
Differentially closed field XC1G4E51MX
| URI | m2://inv/XC1G4E51MX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentially closed field, Differentially closed field (definition). Also Wikidata Q5275375
History
- 2026-11-02: add by m2/dev
Andrés Navas XC1R26HQA7
| URI | m2://inv/XC1R26HQA7 |
|---|---|
| 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#WGYC, Andrés Navas (unknown)
History
- 2026-11-02: add by m2/dev
closed, term XC1SQ7ZNER
| URI | m2://inv/XC1SQ7ZNER |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.4/closed-term, closed, term (concept). In N54F33XE07, index, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Victor Moll XC1VMH3EEJ
| URI | m2://inv/XC1VMH3EEJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Victor Moll, Victor Moll (topic). Also Wikidata Q14927162
History
- 2026-11-02: add by m2/dev
Two Hummock Island XC1X22HWT0
| URI | m2://inv/XC1X22HWT0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#39HR, Two Hummock Island (unknown)
History
- 2026-11-02: add by m2/dev
Compact operator on Hilbert space XC200QK5XQ
| URI | m2://inv/XC200QK5XQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact operator on Hilbert space, Compact operator on Hilbert space (definition). Also Wikidata Q5155314
History
- 2026-11-02: add by m2/dev
XC21HPMB31 XC21HPMB31
| URI | m2://inv/XC21HPMB31 |
|---|---|
| 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 2609.25742#I1GE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Existence and uniqueness {(see XC23DNP4TX
| URI | m2://inv/XC23DNP4TX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17909#GROE, Existence and uniqueness {(see (statement). In YXZX6Z8S6A/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
Superencryption XC28V5SFTT
| URI | m2://inv/XC28V5SFTT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#PWY0, Superencryption (definition)
History
- 2026-11-02: add by m2/dev
Borel regular measure XC2EZF2G21
| URI | m2://inv/XC2EZF2G21 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integration and measure theory topics#KAQJ, Borel regular measure (definition)
History
- 2026-11-02: add by m2/dev
Donna Spiegelman XC2FVVKGE1
| URI | m2://inv/XC2FVVKGE1 |
|---|---|
| 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#4LHV, Donna Spiegelman (unknown)
History
- 2026-11-02: add by m2/dev
XC2NGTV5BK XC2NGTV5BK
| URI | m2://inv/XC2NGTV5BK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11823#GIDZ (statement). In YNQHA63Z2B/e1, corollary 3.2
History
- 2026-10-28: add by m2/v0.4.3
Distributional strong energy condition XC2P2WGAFP
| URI | m2://inv/XC2P2WGAFP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11911#6UO3, Distributional strong energy condition (definition). In 5BYE5NYB89/e1, definition 1.2
History
- 2026-10-28: add by m2/v0.4.3
XC2VJZP8E5 XC2VJZP8E5
| URI | m2://inv/XC2VJZP8E5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#O369 (example). In BDN507RN7J/e1, example 4.1.5
History
- 2026-10-30: add by m2/v0.4.12
XC2XP33DWW XC2XP33DWW
| URI | m2://inv/XC2XP33DWW |
|---|---|
| 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 1909.03896#FS5A (statement). In CX9RVPQVBM/e1, lemma 17
History
- 2026-10-27: add by m2/v0.3.5
Formal definition XC2ZMZF2SV
| URI | m2://inv/XC2ZMZF2SV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultrametric space#H0BV, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
XC35HS0QMJ XC35HS0QMJ
| URI | m2://inv/XC35HS0QMJ |
|---|---|
| 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.13618#N4AD (statement). In XDQAEGH345/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
XC39BN66XJ XC39BN66XJ
| URI | m2://inv/XC39BN66XJ |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22769#LPWN (problem)
History
- 2026-11-02: add by m2/v0.6.17
Applications XC3E89722R
| URI | m2://inv/XC3E89722R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutative magma#ZXZ2, Applications (example)
History
- 2026-11-02: add by m2/dev
XC3GE79A6R XC3GE79A6R
| URI | m2://inv/XC3GE79A6R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2602.15812#SP7L (statement). In GAAZD3SGPN/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
Partition function XC3RETJY4T
| URI | m2://inv/XC3RETJY4T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#6RO1, Partition function (definition)
History
- 2026-11-02: add by m2/dev
Stability of the Solar System XC41HAYA1T
| URI | m2://inv/XC41HAYA1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stability of the Solar System, Stability of the Solar System (definition). Also Wikidata Q2497813
History
- 2026-11-02: add by m2/dev
Uniform momentum bound XC44G625KP
| URI | m2://inv/XC44G625KP |
|---|---|
| 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.30957#XOQH, Uniform momentum bound (statement). In P5YB6R0RK3/e1, lemma C.6
History
- 2026-10-31: add by m2/v0.5.6
Endre Szemerédi XC470ASQ4E
| URI | m2://inv/XC470ASQ4E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#T57K, Endre Szemerédi (topic)
History
- 2026-11-02: add by m2/dev
XC485BK94W XC485BK94W
| URI | m2://inv/XC485BK94W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 1008.4254#HST7 (statement). In SXTX59QBVT/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
XC4AC8JVF9 XC4AC8JVF9
| URI | m2://inv/XC4AC8JVF9 |
|---|---|
| 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.33697#CFB0 (statement). In Q6GGQ29TRC/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Stratum leaf space XC4B4S5ZKN
| URI | m2://inv/XC4B4S5ZKN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 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 2609.26269#1MXX, Stratum leaf space (statement)
History
- 2026-11-01: add by m2/v0.6.15
Johannes Stöffler XC4B61MH2V
| URI | m2://inv/XC4B61MH2V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#MCI3, Johannes Stöffler (unknown)
History
- 2026-11-02: add by m2/dev
Abel's summation formula XC4DCZSBP2
| URI | m2://inv/XC4DCZSBP2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#MCEV, Abel's summation formula (statement)
- wikipedia: Wikipedia List of things named after Niels Henrik Abel#EKUP, Abel's summation formula (statement)
History
- 2026-11-02: add by m2/dev
Andrzej Trautman XC4JGSKVJY
| URI | m2://inv/XC4JGSKVJY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#U2QN, Andrzej Trautman (unknown)
History
- 2026-11-02: add by m2/dev
Deviance (statistics) XC4WBT2XMV
| URI | m2://inv/XC4WBT2XMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#CNDU, Deviance (statistics) (definition)
History
- 2026-11-02: add by m2/dev
XC51TJKYHZ XC51TJKYHZ
| URI | m2://inv/XC51TJKYHZ |
|---|---|
| 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 2610.04046#9B3Q (statement). In 3THDT8WNF7/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.12
Theorem 1 XC5792HKMN
| URI | m2://inv/XC5792HKMN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coiflet#ELLM, Theorem 1 (statement)
History
- 2026-11-02: add by m2/dev
XC58GHKZCQ XC58GHKZCQ
| URI | m2://inv/XC58GHKZCQ |
|---|---|
| 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.32387#JMAP (statement). In 294BQKZEDQ/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
Weibel's conjecture XC5A34RGB4
| URI | m2://inv/XC5A34RGB4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weibel's conjecture, Weibel's conjecture (statement). Also Wikidata Q60794084
History
- 2026-11-02: add by m2/dev
Formal definition XC5CJQAEAH
| URI | m2://inv/XC5CJQAEAH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypercovering#1W9L, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
q-Krawtchouk polynomials XC5JJ7AZ4P
| URI | m2://inv/XC5JJ7AZ4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of q-analogs#8OEM, q-Krawtchouk polynomials (definition)
History
- 2026-11-02: add by m2/dev
Archimedean ordered field XC5KMPSCGX
| URI | m2://inv/XC5KMPSCGX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Archimedean property#PHT0, Archimedean ordered field (unknown)
History
- 2026-11-02: add by m2/dev
Lin–Kernighan heuristic XC5PF6HMHV
| URI | m2://inv/XC5PF6HMHV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lin–Kernighan heuristic, Lin–Kernighan heuristic (definition). Also Wikidata Q2835802
History
- 2026-11-02: add by m2/dev
XC5ZA5BXG3 XC5ZA5BXG3
| URI | m2://inv/XC5ZA5BXG3 |
|---|---|
| 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.38220#QMM5 (definition). In 1AC4S19925/e1, definition 5.10
History
- 2026-10-30: add by m2/v0.4.12
Jean-Michel Coron XC63NGWTYZ
| URI | m2://inv/XC63NGWTYZ |
|---|---|
| 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#9JN9, Jean-Michel Coron (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#W2IB, Jean-Michel Coron (topic)
History
- 2026-11-02: add by m2/dev
Ramanujan Institute for Advanced Study in Mathematics XC677919BE
| URI | m2://inv/XC677919BE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramanujan Institute for Advanced Study in Mathematics, Ramanujan Institute for Advanced Study in Mathematics (definition). Also Wikidata Q17073562
History
- 2026-11-02: add by m2/dev
15 and 290 theorems XC6NJ5QY01
| URI | m2://inv/XC6NJ5QY01 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q780763, 15 and 290 theorems (statement). Also Wikidata Q780763
- thousand_plus: thousand_plus Q780763, 15 and 290 theorems (statement). Also Wikidata Q780763, Wikipedia 15 and 290 theorems
- wikidata: Wikidata Q780763, 15 and 290 theorems (statement). Also MathWorld FifteenTheorem
- wikipedia: Wikipedia 15 and 290 theorems, 15 and 290 theorems (statement). Also Wikidata Q780763
History
- 2026-10-26: add by m2/dev
Dupin indicatrix XC6WY0VFN3
| URI | m2://inv/XC6WY0VFN3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dupin indicatrix, Dupin indicatrix (definition). Also Wikidata Q1231515
History
- 2026-11-02: add by m2/dev
proposition, as types XC70W68QCD
| URI | m2://inv/XC70W68QCD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u7/proposition-as-types, proposition, as types (concept). In N54F33XE07, index, section u1.u7
History
- 2026-11-01: add by m2/v0.6.13
XC77AD7WKJ XC77AD7WKJ
| URI | m2://inv/XC77AD7WKJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11082#NNHI (statement). In GFPFFN0BXV/e1, lemma 29
History
- 2026-10-28: add by m2/v0.4.3
XC7BKC61NN XC7BKC61NN
| URI | m2://inv/XC7BKC61NN |
|---|---|
| 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#DVBU (statement). In Y7TWHSF2HC/e1, proposition 4.7
History
- 2026-10-27: add by m2/v0.3.5
fitting XC7JK01XYP
| URI | m2://inv/XC7JK01XYP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#0B3Y, fitting (definition)
History
- 2026-11-02: add by m2/dev
XC7V50W722 XC7V50W722
| URI | m2://inv/XC7V50W722 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10262#RLZF (statement). In MVSGDTN2PB/e1, lemma 4.12
History
- 2026-10-29: add by m2/v0.4.10
Per-protocol analysis XC7XAQJ8R5
| URI | m2://inv/XC7XAQJ8R5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#KYXC, Per-protocol analysis (definition)
History
- 2026-11-02: add by m2/dev
Polyaenus of Lampsacus XC8205F34S
| URI | m2://inv/XC8205F34S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#NCSH, Polyaenus of Lampsacus (unknown)
History
- 2026-11-02: add by m2/dev
XC86JVDVEJ XC86JVDVEJ
| URI | m2://inv/XC86JVDVEJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28594#4LCL (statement)
History
- 2026-11-01: add by m2/v0.6.15
XC8KK6SDG8 XC8KK6SDG8
| URI | m2://inv/XC8KK6SDG8 |
|---|---|
| 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.25656#IQIU (definition)
History
- 2026-11-01: add by m2/v0.6.15
Theorem XC8MF12D21
| URI | m2://inv/XC8MF12D21 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kac–Bernstein theorem#4U5H, Theorem (statement)
History
- 2026-11-02: add by m2/dev
XC8PWZC1KV XC8PWZC1KV
| URI | m2://inv/XC8PWZC1KV |
|---|---|
| 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.30165#GK70 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Discrepancy game XC8QNAREE2
| URI | m2://inv/XC8QNAREE2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrepancy game, Discrepancy game (definition). Also Wikidata Q60791271
History
- 2026-11-02: add by m2/dev
Possible values argument XC8SBW6RS7
| URI | m2://inv/XC8SBW6RS7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/CH.tex#lemma-2, Possible values argument (statement). In RZP28ERRZV, lemma, section 88.2
History
- 2026-11-01: add by m2/v0.6.13
Hamming code XC8TG0BS4Q
| URI | m2://inv/XC8TG0BS4Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q853922, Hamming code (unknown). Also MathWorld HammingCode, nLab Hamming code
- wikipedia: Wikipedia Hamming code, Hamming code (definition). Also Wikidata Q853922
History
- 2026-10-26: add by m2/dev
Hadley Wickham XC8TT30W6F
| URI | m2://inv/XC8TT30W6F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadley Wickham, Hadley Wickham (topic). Also Wikidata Q16251925
History
- 2026-11-02: add by m2/dev
McDiarmid's inequality for Markov chains XC8ZMXE3F7
| URI | m2://inv/XC8ZMXE3F7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34731#H99E, McDiarmid's inequality for Markov chains (statement). In MH54AS0Y61/e1, corollary 2
History
- 2026-10-30: add by m2/v0.4.12
Variations XC97CCESSM
| URI | m2://inv/XC97CCESSM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faulhaber's formula#F8MC, Variations (statement)
History
- 2026-11-02: add by m2/dev
Computation XC98VZA9GB
| URI | m2://inv/XC98VZA9GB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stark conjectures#EYG1, Computation (definition)
History
- 2026-11-02: add by m2/dev
XC9B8ZHA2W XC9B8ZHA2W
| URI | m2://inv/XC9B8ZHA2W |
|---|---|
| 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.38548#OOUK (statement). In Z7ZFV3HM1S/e1, proposition 6.2
History
- 2026-10-30: add by m2/v0.4.12
Jordan curve theorem XC9GYXQKQC
| URI | m2://inv/XC9GYXQKQC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#0QDM, Jordan curve theorem (statement)
History
- 2026-11-02: add by m2/dev
Balance of nature XC9HT75N1S
| URI | m2://inv/XC9HT75N1S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#W5VX, Balance of nature (unknown)
History
- 2026-11-02: add by m2/dev
Youngs XC9JGTVN2A
| URI | m2://inv/XC9JGTVN2A |
|---|---|
| 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.06340#BVGP, Youngs (statement). In PKNZPECH82/e1, theorem 6.3
History
- 2026-10-29: add by m2/v0.4.10
XC9Q3F995P XC9Q3F995P
| URI | m2://inv/XC9Q3F995P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00339#955K (statement). In ZRG6NY1ECH/e1, lemma 8
History
- 2026-10-30: add by m2/v0.4.12
ASS Theorem XC9Q93XHN4
| URI | m2://inv/XC9Q93XHN4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence (geometry)#Z2FE, ASS Theorem (unknown)
History
- 2026-11-02: add by m2/dev
XC9VR44ZQ1 XC9VR44ZQ1
| URI | m2://inv/XC9VR44ZQ1 |
|---|---|
| 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.22074#1P73 (statement). In F3BKXXPR3K/e1, lemma 3.66
History
- 2026-10-27: add by m2/v0.4.2
becoming XCA0SW5JQB
| URI | m2://inv/XCA0SW5JQB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q461674, becoming (unknown). Also nLab becoming
History
- 2026-10-26: add by m2/dev
XCA5Z5VW09 XCA5Z5VW09
| URI | m2://inv/XCA5Z5VW09 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.20718#IOCL (statement)
History
- 2026-11-02: add by m2/v0.6.18
GnuTLS XCA9TAQNW0
| URI | m2://inv/XCA9TAQNW0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GnuTLS, GnuTLS (definition). Also Wikidata Q1533305
History
- 2026-11-02: add by m2/dev
Residuated lattice XCABCRFKV2
| URI | m2://inv/XCABCRFKV2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residuated lattice, Residuated lattice (definition). Also Wikidata Q9462417
History
- 2026-11-02: add by m2/dev
Von Staudt–Clausen theorem XCAF0MV6E9
| URI | m2://inv/XCAF0MV6E9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli number#UXQZ, Von Staudt–Clausen theorem (statement)
History
- 2026-11-02: add by m2/dev
Mordechai Ben-Ari XCAV8FZB3V
| URI | m2://inv/XCAV8FZB3V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QGIM, Mordechai Ben-Ari (unknown)
History
- 2026-11-02: add by m2/dev
Roger Heath-Brown XCAWT8JQ64
| URI | m2://inv/XCAWT8JQ64 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roger Heath-Brown, Roger Heath-Brown (topic). Also Wikidata Q951263
History
- 2026-11-02: add by m2/dev
Definition XCAY15TMME
| URI | m2://inv/XCAY15TMME |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hasse–Schmidt derivation#LC5I, Definition (definition)
History
- 2026-11-02: add by m2/dev
XCB35N3NRN XCB35N3NRN
| URI | m2://inv/XCB35N3NRN |
|---|---|
| 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 2609.34025#HAPD (statement). In VCG579E7MM/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
XCB3YCZE9R XCB3YCZE9R
| URI | m2://inv/XCB3YCZE9R |
|---|---|
| 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.16707#3R81 (statement). In HH7FRWBRMB/e1, corollary 1
History
- 2026-10-28: add by m2/v0.4.2
Examples XCBEWYVNM9
| URI | m2://inv/XCBEWYVNM9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Induced representation#ZOZL, Examples (example)
History
- 2026-11-02: add by m2/dev
XCBHAWGPFD XCBHAWGPFD
| URI | m2://inv/XCBHAWGPFD |
|---|---|
| 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.05868#MQ5O (statement). In WXD0FASTA7/e1, corollary 4.2
History
- 2026-10-29: add by m2/v0.4.10
XCBJ6SMZ3Y XCBJ6SMZ3Y
| URI | m2://inv/XCBJ6SMZ3Y |
|---|---|
| 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 1004.4564#ZCQ1 (statement). In BZ54C9SKYS/e1, corollary 4.3
History
- 2026-10-27: add by m2/v0.3.5
Jason Behrstock XCBTFXKAJR
| URI | m2://inv/XCBTFXKAJR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jason Behrstock, Jason Behrstock (topic). Also Wikidata Q19609700
History
- 2026-11-02: add by m2/dev
seesaw mechanism XCBXWKN02B
| URI | m2://inv/XCBXWKN02B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1094257, seesaw mechanism (unknown). Also nLab seesaw mechanism
History
- 2026-10-26: add by m2/dev
Homogeneous XCC3D10PXJ
| URI | m2://inv/XCC3D10PXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#JRN3, Homogeneous (definition)
History
- 2026-11-02: add by m2/dev
Subspace topology XCCAHFKMCJ
| URI | m2://inv/XCCAHFKMCJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#E14L, Subspace topology (definition)
History
- 2026-11-02: add by m2/dev
Rolf Lindner XCCQ3KG8BJ
| URI | m2://inv/XCCQ3KG8BJ |
|---|---|
| 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#8MRC, Rolf Lindner (unknown)
History
- 2026-11-02: add by m2/dev
Universal embedding theorem XCCX5Z14HJ
| URI | m2://inv/XCCX5Z14HJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal embedding theorem, Universal embedding theorem (statement). Also Wikidata Q65122664
History
- 2026-11-02: add by m2/dev
Metalog distribution XCD8JFRC30
| URI | m2://inv/XCD8JFRC30 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#ARI5, Metalog distribution (definition)
History
- 2026-11-02: add by m2/dev
Other area formulas XCDBHPTET3
| URI | m2://inv/XCDBHPTET3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Area of a triangle#YGYV, Other area formulas (statement)
History
- 2026-11-02: add by m2/dev
XCDDTNMNK3 XCDDTNMNK3
| URI | m2://inv/XCDDTNMNK3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16931#NPTV (definition). In H7DMRWBBJN/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Crocheting Adventures with Hyperbolic Planes XCDMMHCG6X
| URI | m2://inv/XCDMMHCG6X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crocheting Adventures with Hyperbolic Planes, Crocheting Adventures with Hyperbolic Planes (definition). Also Wikidata Q4130198
History
- 2026-11-02: add by m2/dev
British flag theorem XCDP9AHCE2
| URI | m2://inv/XCDP9AHCE2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#GEMA, British flag theorem (statement)
History
- 2026-11-02: add by m2/dev
pullbacks of quotient dif\/feological forms XCDQERCTMS
| URI | m2://inv/XCDQERCTMS |
|---|---|
| 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 1408.1555#651O, pullbacks of quotient dif\/feological forms (statement). In S1F2QW24YW/e1, proposition 2.20
History
- 2026-10-27: add by m2/v0.3.5
Transfer Principle XCDRER4JPC
| URI | m2://inv/XCDRER4JPC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#B85A, Transfer Principle (statement). In V5PVKDKGGG/e1, theorem 5.13
History
- 2026-10-28: add by m2/v0.4.2
Almost sure exponential gaps XCDRTY27TM
| URI | m2://inv/XCDRTY27TM |
|---|---|
| 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 2610.12351#1VDC, Almost sure exponential gaps (statement). In G1S5YM8TSR/e1, proposition 3.6
History
- 2026-10-28: add by m2/v0.4.2
Properties XCDRWRZKPQ
| URI | m2://inv/XCDRWRZKPQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex optimization#Z193, Properties (statement)
History
- 2026-11-02: add by m2/dev
Raymond Stora XCE41JZWM1
| URI | m2://inv/XCE41JZWM1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q201229, Raymond Stora (unknown). Also nLab Raymond Stora
History
- 2026-10-26: add by m2/dev
L'Hôpital's rule XCEC8F0470
| URI | m2://inv/XCEC8F0470 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of limits#HWZM, L'Hôpital's rule (definition)
History
- 2026-11-02: add by m2/dev
XCEWWPXX8A XCEWWPXX8A
| URI | m2://inv/XCEWWPXX8A |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24078#30IG (example)
History
- 2026-11-02: add by m2/v0.6.17
Wedderburn's theorems XCEXZ27YMA
| URI | m2://inv/XCEXZ27YMA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite ring#Q91A, Wedderburn's theorems (statement)
History
- 2026-11-02: add by m2/dev
XCF0XYWV54 XCF0XYWV54
| URI | m2://inv/XCF0XYWV54 |
|---|---|
| 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.16399#WL2S (statement). In 2N87D4KTSY/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
Hierarchy XCF0YWK3T3
| URI | m2://inv/XCF0YWK3T3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hierarchy, Hierarchy (definition). Also Wikidata Q188619
History
- 2026-11-02: add by m2/dev
XCF9G1YRA7 XCF9G1YRA7
| URI | m2://inv/XCF9G1YRA7 |
|---|---|
| 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#71NI (statement)
History
- 2026-11-01: add by m2/v0.6.15
XCFJGWSBK7 XCFJGWSBK7
| URI | m2://inv/XCFJGWSBK7 |
|---|---|
| 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.29894#8FL7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Area of a circle XCFM60PVMA
| URI | m2://inv/XCFM60PVMA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Area of a circle, Area of a circle (definition). Also Wikidata Q4115331
History
- 2026-11-02: add by m2/dev
XCFSW1SP7H XCFSW1SP7H
| URI | m2://inv/XCFSW1SP7H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#2LXH (statement). In CC6S1HVK0T/e1, lemma 5.38
History
- 2026-10-28: add by m2/v0.4.2
*{Lemma 3.29 XCG00Q3MJ2
| URI | m2://inv/XCG00Q3MJ2 |
|---|---|
| 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 2609.21914#OE7P, *{Lemma 3.29 (statement)
History
- 2026-11-02: add by m2/v0.6.17
XCG2ZEDH0Y XCG2ZEDH0Y
| URI | m2://inv/XCG2ZEDH0Y |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15771#LNJI (example). In F2243YZX7A/e1, example 2.1
History
- 2026-10-28: add by m2/v0.4.2
Sheffer sequence XCG3T11TQM
| URI | m2://inv/XCG3T11TQM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#IBNO, Sheffer sequence (definition)
History
- 2026-11-02: add by m2/dev
Application XCGAZTG2ZK
| URI | m2://inv/XCGAZTG2ZK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peano kernel theorem#FGOY, Application (example)
History
- 2026-11-02: add by m2/dev
List of algebras XCGCJB1ASX
| URI | m2://inv/XCGCJB1ASX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras, List of algebras (topic). Also Wikidata Q16977765
History
- 2026-11-02: add by m2/dev
XCGJE55SW9 XCGJE55SW9
| URI | m2://inv/XCGJE55SW9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.13883#2MI8 (statement). In F3PQ8P7R2B/e1, lemma 11
History
- 2026-10-28: add by m2/v0.4.2
XCGMFS7CZM XCGMFS7CZM
| URI | m2://inv/XCGMFS7CZM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11336#T24H (statement). In X1R1GDAJ0Y/e1, corollary 2.7
History
- 2026-10-28: add by m2/v0.4.3
XCGYPA4QVD XCGYPA4QVD
| URI | m2://inv/XCGYPA4QVD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07741#RM3T (statement). In K4YV2SF9MG/e1, lemma A.4
History
- 2026-10-29: add by m2/v0.4.10
XCH0NG5GW8 XCH0NG5GW8
| URI | m2://inv/XCH0NG5GW8 |
|---|---|
| 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 2608.23797#34Q6 (example). In PZCA01JXVR/e1, example 3.9
History
- 2026-10-27: add by m2/v0.3.5
\texorpdfstring{[Bel09, Prediction 4.1 XCH4AGSZ9A
| URI | m2://inv/XCH4AGSZ9A |
|---|---|
| Kind | conjecture |
| 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.03255#CDEW, \texorpdfstring{[Bel09, Prediction 4.1 (conjecture). In DCC0Y18670/e1, conjecture 2.3
History
- 2026-10-29: add by m2/v0.4.12
XCH95RBXMF XCH95RBXMF
| URI | m2://inv/XCH95RBXMF |
|---|---|
| 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.20568#0ZLJ (statement). In BCD0ATARNZ/e1, lemma 4.7
History
- 2026-10-27: add by m2/v0.4.2
XCJ4DW3ZVY XCJ4DW3ZVY
| URI | m2://inv/XCJ4DW3ZVY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#thm:inf_sup (statement). In RZP28ERRZV, theorem, section 32.1
History
- 2026-11-01: add by m2/v0.6.13
XCJ70K36RX XCJ70K36RX
| URI | m2://inv/XCJ70K36RX |
|---|---|
| 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.08956#5D4G (statement). In DEE631KR3A/e1, lemma 12
History
- 2026-10-29: add by m2/v0.4.10
XCJBS1JS6B XCJBS1JS6B
| URI | m2://inv/XCJBS1JS6B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22909#PY52 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Hume's principle XCJH1RYZQY
| URI | m2://inv/XCJH1RYZQY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hume's principle, Hume's principle (statement). Also Wikidata Q1553014
History
- 2026-11-02: add by m2/dev
XCJVGVSZ7X XCJVGVSZ7X
| URI | m2://inv/XCJVGVSZ7X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26001#2DBF (statement)
History
- 2026-11-01: add by m2/v0.6.15
XCJVXZ5DAM XCJVXZ5DAM
| URI | m2://inv/XCJVXZ5DAM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21365#FOCX (definition). In FCMMB2EVAP/e1, definition 2.12
History
- 2026-10-27: add by m2/v0.4.2
neighbor XCJX0AA4BZ
| URI | m2://inv/XCJX0AA4BZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.1/neighbor, neighbor (concept). In QKM9DD2H56, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Formulation of the theorem XCJYCF4SZF
| URI | m2://inv/XCJYCF4SZF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's irreducibility theorem#JCEW, Formulation of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Product-stabilizer thermodynamic limit XCK1NP2SJE
| URI | m2://inv/XCK1NP2SJE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02166#U4D3, Product-stabilizer thermodynamic limit (statement). In R6RF3P6D5A/e1, lemma 5.7
History
- 2026-10-29: add by m2/v0.4.12
XCK2HRD3GQ XCK2HRD3GQ
| URI | m2://inv/XCK2HRD3GQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#0SH5 (statement). In X38P26DK6S/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.4.0
XCKSS15MMY XCKSS15MMY
| URI | m2://inv/XCKSS15MMY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/derivations.tex#ex-1 (example). In PKGMM3P5QY, ex, section 22.3
History
- 2026-11-01: add by m2/v0.6.13
Subnormal number XCKVA7X48D
| URI | m2://inv/XCKVA7X48D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.19452#4FZU, Subnormal number (definition). In 3GF75S0XJ0/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.4.0
XCKW0PBB1X XCKW0PBB1X
| URI | m2://inv/XCKW0PBB1X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.00589#47EG (statement). In C8JAGP8VCQ/e1, lemma 8.15
History
- 2026-10-27: add by m2/v0.3.5
Shay Kutten XCKW21TK7V
| URI | m2://inv/XCKW21TK7V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#436L, Shay Kutten (unknown)
History
- 2026-11-02: add by m2/dev
XCKX0C4C93 XCKX0C4C93
| URI | m2://inv/XCKX0C4C93 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13100#JQS7 (statement). In CC6S1HVK0T/e1, theorem 5.37
History
- 2026-10-28: add by m2/v0.4.2
John Edward Campbell XCM28T1CYS
| URI | m2://inv/XCM28T1CYS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Edward Campbell, John Edward Campbell (topic). Also Wikidata Q6231282
History
- 2026-11-02: add by m2/dev
Witt ring maps XCM4QFHPJG
| URI | m2://inv/XCM4QFHPJG |
|---|---|
| Kind | example |
| 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.37931#7VR8, Witt ring maps (example). In J8C1EXQW86/e1, example 3.4
History
- 2026-10-30: add by m2/v0.4.12
XCM4Y2FGPJ XCM4Y2FGPJ
| URI | m2://inv/XCM4Y2FGPJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 1209.5343#AX2N (statement). In 4SPYEGKZ8J/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
XCMAX5Y9Y3 XCMAX5Y9Y3
| URI | m2://inv/XCMAX5Y9Y3 |
|---|---|
| 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.29152#INDV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Finite volume method XCMDY6VZ50
| URI | m2://inv/XCMDY6VZ50 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#PRW2, Finite volume method (definition)
History
- 2026-11-02: add by m2/dev
XCMHVFD3S9 XCMHVFD3S9
| URI | m2://inv/XCMHVFD3S9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10600#579D (statement). In V7WT21EDPM/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.10
Symmetrized odds certificate XCMJK7009Y
| URI | m2://inv/XCMJK7009Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#G5TY, Symmetrized odds certificate (statement)
History
- 2026-11-02: add by m2/v0.6.17
Catherine Goldstein XCMZJK0N5T
| URI | m2://inv/XCMZJK0N5T |
|---|---|
| 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#V74F, Catherine Goldstein (topic)
History
- 2026-11-02: add by m2/dev
XCN26JRE1D XCN26JRE1D
| URI | m2://inv/XCN26JRE1D |
|---|---|
| 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#0QIR (statement). In S8NB83KQX3/e1, lemma 17
History
- 2026-10-31: add by m2/v0.5.6
XCN2QN3BPA XCN2QN3BPA
| URI | m2://inv/XCN2QN3BPA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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.30220#3IK5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples XCN8SFV3RS
| URI | m2://inv/XCN8SFV3RS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed point#BMFF, Examples (example)
History
- 2026-11-02: add by m2/dev
Continuous q-Laguerre polynomials XCNE9NA71W
| URI | m2://inv/XCNE9NA71W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous q-Laguerre polynomials, Continuous q-Laguerre polynomials (definition). Also Wikidata Q5165510
History
- 2026-11-02: add by m2/dev
XCNH7GGT3Y XCNH7GGT3Y
| URI | m2://inv/XCNH7GGT3Y |
|---|---|
| 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.34013#29NC (example). In 3TA3P3CWSJ/e1, example 3.8
History
- 2026-10-30: add by m2/v0.4.12
Euclid–Euler theorem XCNNBGNA8E
| URI | m2://inv/XCNNBGNA8E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#AIEF, Euclid–Euler theorem (statement)
History
- 2026-11-02: add by m2/dev
XCNNEE2DF0 XCNNEE2DF0
| URI | m2://inv/XCNNEE2DF0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34289#A894 (statement). In 9RBATD2Z1F/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
XCNNHJGDDW XCNNHJGDDW
| URI | m2://inv/XCNNHJGDDW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22073#LUR5 (statement). In MVWSXXCXB7/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.4.2
Brahmi numerals XCNP88FMSV
| URI | m2://inv/XCNP88FMSV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brahmi numerals, Brahmi numerals (definition). Also Wikidata Q430595
History
- 2026-11-02: add by m2/dev
Egyptian fraction XCNSYB5Y5V
| URI | m2://inv/XCNSYB5Y5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1764362, Egyptian fraction (definition). Also MathWorld EgyptianFraction, ProofWiki Definition:Egyptian_Fraction
- wikipedia: Wikipedia Egyptian fraction, Egyptian fraction (definition). Also Wikidata Q1764362
History
- 2026-10-26: add by m2/dev
XCNTN8Z9MG XCNTN8Z9MG
| URI | m2://inv/XCNTN8Z9MG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28295#VLJS (definition)
History
- 2026-11-01: add by m2/v0.6.15
XCNYDM7ZP8 XCNYDM7ZP8
| URI | m2://inv/XCNYDM7ZP8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08382#GXJX (statement). In GYMGDQS25R/e1, theorem 5.19
History
- 2026-10-29: add by m2/v0.4.10
Wilson, Edwin Bidwell XCP3PKQZ99
| URI | m2://inv/XCP3PKQZ99 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#1IXC, Wilson, Edwin Bidwell (topic)
History
- 2026-11-02: add by m2/dev
Bohr compactification XCPAJFMJXR
| URI | m2://inv/XCPAJFMJXR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Bohr compactification G852FHZ3W1 |
Mentions
- wikidata: Wikidata Q4938217, Bohr compactification (concept). Also EoM Bohr_compactification, nLab Bohr compactification
- wikipedia: Wikipedia Bohr compactification, Bohr compactification (definition). Also Wikidata Q4938217
History
- 2026-10-26: add by m2/dev
Trigonometric integral XCPP4MZ1T5
| URI | m2://inv/XCPP4MZ1T5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#HJPC, Trigonometric integral (definition)
History
- 2026-11-02: add by m2/dev
XCPPQF54M1 XCPPQF54M1
| URI | m2://inv/XCPPQF54M1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13271#ONPK (statement). In G8ZEBKZY8M/e1, lemma 2.8
History
- 2026-10-28: add by m2/v0.4.2
XCPWE0E757 XCPWE0E757
| URI | m2://inv/XCPWE0E757 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12486#NTFJ (statement). In CWQ2YHT24E/e1, corollary 6.8
History
- 2026-10-28: add by m2/v0.4.2
Nathan Rosen XCPY2N0KPN
| URI | m2://inv/XCPY2N0KPN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UZWO, Nathan Rosen (unknown)
History
- 2026-11-02: add by m2/dev
XCQ35EZSA3 XCQ35EZSA3
| URI | m2://inv/XCQ35EZSA3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19086#Y48J (statement). In RDW99P4ZZJ/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
elementary equivalence XCQ3SWWG71
| URI | m2://inv/XCQ3SWWG71 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Elementary equivalence P3B1V182N4 |
Mentions
- wikidata: Wikidata Q877149, elementary equivalence (unknown). Also nLab elementary equivalence
- wikipedia: Wikipedia Elementary equivalence, Elementary equivalence (definition). Also Wikidata Q877149
History
- 2026-10-26: add by m2/dev
XCQ60080CW XCQ60080CW
| URI | m2://inv/XCQ60080CW |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#6O28 (unknown). In QNBFHFZ3H0/e1, unknown 76
History
- 2026-10-28: add by m2/v0.4.2
XCQFS2DCSD XCQFS2DCSD
| URI | m2://inv/XCQFS2DCSD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10925#IWK2 (definition). In 9604WYX0BW/e1, definition 4.10
History
- 2026-10-28: add by m2/v0.4.3
Numerical value equation XCQJJ7QGZE
| URI | m2://inv/XCQJJ7QGZE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimensional analysis#3IZO, Numerical value equation (unknown)
History
- 2026-11-02: add by m2/dev
Kelvin's circulation theorem XCQSAHVRRC
| URI | m2://inv/XCQSAHVRRC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfvén's theorem#732T, Kelvin's circulation theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples XCQV6CVP8T
| URI | m2://inv/XCQV6CVP8T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Necklace polynomial#5B0N, Examples (example)
History
- 2026-11-02: add by m2/dev
XCR2HVEJT5 XCR2HVEJT5
| URI | m2://inv/XCR2HVEJT5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25539#HE0H (statement)
History
- 2026-11-01: add by m2/v0.6.15
Binary decoding XCR33NN5FW
| URI | m2://inv/XCR33NN5FW |
|---|---|
| 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.20087#SNKR, Binary decoding (statement). In ZRE2WQR5XA/e1, corollary V.3
History
- 2026-10-27: add by m2/v0.4.2
Definition XCR89JJVD2
| URI | m2://inv/XCR89JJVD2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie algebra#NOGR, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bar recursion XCRH38J8HS
| URI | m2://inv/XCRH38J8HS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bar recursion, Bar recursion (definition). Also Wikidata Q4857993
History
- 2026-11-02: add by m2/dev
Statement XCRHCV5R2Y
| URI | m2://inv/XCRHCV5R2Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach–Mazur theorem#MN2T, Statement (statement)
History
- 2026-11-02: add by m2/dev
XCRM1VYSBB XCRM1VYSBB
| URI | m2://inv/XCRM1VYSBB |
|---|---|
| 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.36423#MX38 (definition). In Q5Z178SAHP/e1, definition 8.1
History
- 2026-10-30: add by m2/v0.4.12
General principles XCRN0SCSM0
| URI | m2://inv/XCRN0SCSM0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosmological argument#BZOS, General principles (statement)
History
- 2026-11-02: add by m2/dev
Michele Mosca XCRQXA8XD5
| URI | m2://inv/XCRQXA8XD5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZLU0, Michele Mosca (unknown)
History
- 2026-11-02: add by m2/dev
Lawvere XCRYEDMXMJ
| URI | m2://inv/XCRYEDMXMJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/lawvere, Lawvere (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
XCRZ6PWMQB XCRZ6PWMQB
| URI | m2://inv/XCRZ6PWMQB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36594#STBT (statement). In 8JDQ9FWFRK/e1, lemma E.6
History
- 2026-10-30: add by m2/v0.4.12
genus XCS27RR78P
| URI | m2://inv/XCS27RR78P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#7QXN, genus (definition)
History
- 2026-11-02: add by m2/dev
XCSAV3XMQ4 XCSAV3XMQ4
| URI | m2://inv/XCSAV3XMQ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21552#Y2UK (statement)
History
- 2026-11-02: add by m2/v0.6.18
beating XCSEEHSJWD
| URI | m2://inv/XCSEEHSJWD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.6.1/beating, beating (concept). In E9HS8K3A52, index, section 6.6.1
History
- 2026-11-01: add by m2/v0.6.13
Generalized method of moments XCSQ79P78M
| URI | m2://inv/XCSQ79P78M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8MRZ, Generalized method of moments (definition)
History
- 2026-11-02: add by m2/dev
A curvature kernel without continuous extension XCSSM34ZS7
| URI | m2://inv/XCSSM34ZS7 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09295#34FM, A curvature kernel without continuous extension (example). In 29X0B511NF/e1, example 11.2
History
- 2026-10-29: add by m2/v0.4.10
XCSY30A98N XCSY30A98N
| URI | m2://inv/XCSY30A98N |
|---|---|
| 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.19437#WIMV (statement). In 9PXXGQ978Z/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
Minimum polynomial extrapolation XCT6T1T6CN
| URI | m2://inv/XCT6T1T6CN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum polynomial extrapolation, Minimum polynomial extrapolation (definition). Also Wikidata Q6865482
History
- 2026-11-02: add by m2/dev
XCT87Q5MNE XCT87Q5MNE
| URI | m2://inv/XCT87Q5MNE |
|---|---|
| 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.30685#N4EN (statement). In WNNNWV7741/e1, proposition 2.3
History
- 2026-10-31: add by m2/v0.5.6
ZF XCV3NQPMKN
| URI | m2://inv/XCV3NQPMKN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25291#IUV3, ZF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Zhaohuan, Zhang XCV5004J11
| URI | m2://inv/XCV5004J11 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#JRZH, Zhaohuan, Zhang (unknown)
History
- 2026-11-02: add by m2/dev
XCVC8M7QHA XCVC8M7QHA
| URI | m2://inv/XCVC8M7QHA |
|---|---|
| Kind | conjecture |
| 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.12633#4CLV (conjecture). In NGZ5AZ70NN/e1, conjecture 5.14
History
- 2026-10-28: add by m2/v0.4.2
Emery N. Brown XCVEW7A5HR
| URI | m2://inv/XCVEW7A5HR |
|---|---|
| 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#I8BV, Emery N. Brown (unknown)
History
- 2026-11-02: add by m2/dev
XCVKKTMV8T XCVKKTMV8T
| URI | m2://inv/XCVKKTMV8T |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.11439#QPC0 (proof). In 9Z8RSQ36JC/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
XCVMCMZ9QB XCVMCMZ9QB
| URI | m2://inv/XCVMCMZ9QB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#QVBA (example). In 9ZSNSJRJ5N/e1, example 8
History
- 2026-10-27: add by m2/v0.4.2
XCVN8XD4F4 XCVN8XD4F4
| URI | m2://inv/XCVN8XD4F4 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1806.05002#UKU4 (unknown). In JBAQ7DTW7B/e1, unknown
History
- 2026-10-27: add by m2/v0.3.5
Watson, Geoffrey XCVP9YSFV3
| URI | m2://inv/XCVP9YSFV3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#Q15S, Watson, Geoffrey (topic)
History
- 2026-11-02: add by m2/dev
Example XCVY6NZJHF
| URI | m2://inv/XCVY6NZJHF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theory of pure equality#2BQ0, Example (example)
History
- 2026-11-02: add by m2/dev
XCW7BDA8PD XCW7BDA8PD
| URI | m2://inv/XCW7BDA8PD |
|---|---|
| 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.21600#AXOS (statement). In EGAXXGHQNK/e1, corollary
History
- 2026-10-27: add by m2/v0.4.2
XCW8577JWE XCW8577JWE
| URI | m2://inv/XCW8577JWE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2211.16099#ASOE (statement). In 91RRFW0K5D/e1, proposition 10
History
- 2026-10-27: add by m2/v0.3.5
Variants XCWHEXENTG
| URI | m2://inv/XCWHEXENTG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hackenbush#UKUH, Variants (statement)
History
- 2026-11-02: add by m2/dev
Event Horizon Telescope XCWMRFM0D9
| URI | m2://inv/XCWMRFM0D9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3944788, Event Horizon Telescope (unknown). Also nLab Event Horizon Telescope
History
- 2026-10-26: add by m2/dev
Cohn-Vossen's inequality XCWPFQYE8T
| URI | m2://inv/XCWPFQYE8T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohn-Vossen's inequality, Cohn-Vossen's inequality (statement). Also Wikidata Q17005376
History
- 2026-11-02: add by m2/dev
Polishchuk--Van den Bergh, Conjecture A XCWRVGDGEV
| URI | m2://inv/XCWRVGDGEV |
|---|---|
| Kind | conjecture |
| 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#OBVC, Polishchuk--Van den Bergh, Conjecture A (conjecture). In WZWGAG2FSN/e1, conjecture 1.1
History
- 2026-10-29: add by m2/v0.4.10
Uniform Lipschitz continuity in $\alpha$ XCWW3PNP15
| URI | m2://inv/XCWW3PNP15 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20274#4YOJ, Uniform Lipschitz continuity in $\alpha$ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Formulation of the conjecture XCX5BPX636
| URI | m2://inv/XCX5BPX636 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ragsdale conjecture#RDX7, Formulation of the conjecture (statement)
History
- 2026-11-02: add by m2/dev
XCXBTQCNPD XCXBTQCNPD
| URI | m2://inv/XCXBTQCNPD |
|---|---|
| Kind | example |
| 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#000F (example). In BJGS6ZCQ12/e1, example 9.7
History
- 2026-10-27: add by m2/v0.3.6
XCXH446T5H XCXH446T5H
| URI | m2://inv/XCXH446T5H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12014#FAAE (statement). In DR7BK4CQ0V/e1, theorem 3.16
History
- 2026-10-28: add by m2/v0.4.3
Four vertex theorem XCXN671HVC
| URI | m2://inv/XCXN671HVC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#GCJL, Four vertex theorem (statement)
History
- 2026-11-02: add by m2/dev
Klezmer XCXRDSVJ9R
| URI | m2://inv/XCXRDSVJ9R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of steganography techniques#KTNM, Klezmer (unknown)
History
- 2026-11-02: add by m2/dev
Robert S. Hartman XCXYCDB27N
| URI | m2://inv/XCXYCDB27N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert S. Hartman, Robert S. Hartman (topic). Also Wikidata Q214892
History
- 2026-11-02: add by m2/dev
subtle cardinal XCY0G2QBV8
| URI | m2://inv/XCY0G2QBV8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#6V8C, subtle cardinal (definition)
History
- 2026-11-02: add by m2/dev
XCY4MPX787 XCY4MPX787
| URI | m2://inv/XCY4MPX787 |
|---|---|
| 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.19285#Y6PD (statement). In 6DJR9DKY5W/e1, theorem 5.9
History
- 2026-10-28: add by m2/v0.4.2
Examples XCYHSS2EVP
| URI | m2://inv/XCYHSS2EVP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fréchet–Urysohn space#A458, Examples (example)
History
- 2026-11-02: add by m2/dev
Fritz Gassmann XCYKWWQHGK
| URI | m2://inv/XCYKWWQHGK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fritz Gassmann, Fritz Gassmann (topic). Also Wikidata Q276579
History
- 2026-11-02: add by m2/dev
watt per metre kelvin XCYX2D0XEN
| URI | m2://inv/XCYX2D0XEN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1463969, watt per metre kelvin (definition). Also ProofWiki Definition:Watt_per_Metre-Kelvin
History
- 2026-10-26: add by m2/dev
XCZ77GYD35 XCZ77GYD35
| URI | m2://inv/XCZ77GYD35 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00105#GXOH (statement). In EZXTEXR47M/e1, corollary 3.4
History
- 2026-10-30: add by m2/v0.4.12
XCZGFTP2SG XCZGFTP2SG
| URI | m2://inv/XCZGFTP2SG |
|---|---|
| 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 2308.05066#GWFU (statement). In 1QSCT53ZED/e1, corollary 5.12
History
- 2026-10-27: add by m2/v0.4.0
Hubble age XCZRBXW20M
| URI | m2://inv/XCZRBXW20M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hubble's law#3NIX, Hubble age (unknown)
History
- 2026-11-02: add by m2/dev
XCZT4JK5YX XCZT4JK5YX
| URI | m2://inv/XCZT4JK5YX |
|---|---|
| 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.02141#YRK5 (statement). In 5AB8YPS19N/e1, corollary 4.6
History
- 2026-10-29: add by m2/v0.4.12
Separable permutation XCZTX8NAWF
| URI | m2://inv/XCZTX8NAWF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#CI7R, Separable permutation (definition)
History
- 2026-11-02: add by m2/dev
Properties XCZXNH1FK9
| URI | m2://inv/XCZXNH1FK9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete homogeneous symmetric polynomial#NSG8, Properties (statement)
History
- 2026-11-02: add by m2/dev