Inventory rows DV
The cards of the rows of the inventory whose ids start with DV. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Codress message DV02YRYMD9
| URI | m2://inv/DV02YRYMD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Codress message, Codress message (definition). Also Wikidata Q5140357
History
- 2026-11-02: add by m2/dev
DV034860BP DV034860BP
| URI | m2://inv/DV034860BP |
|---|---|
| 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.21283#N5LR (statement)
History
- 2026-11-02: add by m2/v0.6.18
DV0ECMABYN DV0ECMABYN
| URI | m2://inv/DV0ECMABYN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2610.02961#URJI (statement). In 986DENWM1D/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.12
Finite field DV0HF3K264
| URI | m2://inv/DV0HF3K264 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#77W5, Finite field (definition)
History
- 2026-11-02: add by m2/dev
Examples DV0MA276WM
| URI | m2://inv/DV0MA276WM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Idempotence#RR9U, Examples (example)
History
- 2026-11-02: add by m2/dev
\bf Phasewise delayed-input reduction DV0R9561XM
| URI | m2://inv/DV0R9561XM |
|---|---|
| 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.02791#0AQG, \bf Phasewise delayed-input reduction (statement). In TT9BA4VMTW/e1, proposition E.7
History
- 2026-10-29: add by m2/v0.4.12
Data set DV0SYA5AFS
| URI | m2://inv/DV0SYA5AFS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data set, Data set (definition). Also Wikidata Q1172284
History
- 2026-11-02: add by m2/dev
Simone Severini DV0VND8008
| URI | m2://inv/DV0VND8008 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#GWD8, Simone Severini (unknown)
History
- 2026-11-02: add by m2/dev
Generalized binomial theorem DV0VPXYAC7
| URI | m2://inv/DV0VPXYAC7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial theorem#N93F, Generalized binomial theorem (statement)
History
- 2026-11-02: add by m2/dev
Galois group DV12CZ5G94
| URI | m2://inv/DV12CZ5G94 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#YDBV, Galois group (definition)
History
- 2026-11-02: add by m2/dev
Johnson scheme DV1ASN9KAY
| URI | m2://inv/DV1ASN9KAY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johnson scheme, Johnson scheme (definition). Also Wikidata Q6268497
History
- 2026-11-02: add by m2/dev
DV1AYBJJ6M DV1AYBJJ6M
| URI | m2://inv/DV1AYBJJ6M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#DTI4 (statement). In A1GWWGRXPA/e1, theorem 1.17
History
- 2026-10-27: add by m2/v0.4.2
DV1ERRZEKY DV1ERRZEKY
| URI | m2://inv/DV1ERRZEKY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33590#Y4JT (statement). In WRE0P7V6Z3/e1, proposition 9.1
History
- 2026-10-30: add by m2/v0.4.12
Chapman–Robbins bound DV1FQ6AG2X
| URI | m2://inv/DV1FQ6AG2X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6NIH, Chapman–Robbins bound (definition)
History
- 2026-11-02: add by m2/dev
Khintchine inequality DV1KND9YFG
| URI | m2://inv/DV1KND9YFG |
|---|---|
| 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.11145#XXFF, Khintchine inequality (statement). In 2KME4YY99M/e1, lemma 16
History
- 2026-10-28: add by m2/v0.4.3
Definitions DV1M034K3H
| URI | m2://inv/DV1M034K3H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudoanalytic function#AELT, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Finite-star family is a pyramid DV1Q17ETFN
| URI | m2://inv/DV1Q17ETFN |
|---|---|
| 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 2609.27752#Y3CL, Finite-star family is a pyramid (statement)
History
- 2026-11-01: add by m2/v0.6.15
Choi's theorem DV1SARM4R6
| URI | m2://inv/DV1SARM4R6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stinespring dilation theorem#KZ6E, Choi's theorem (statement)
History
- 2026-11-02: add by m2/dev
Born approximation DV1WSGXB7P
| URI | m2://inv/DV1WSGXB7P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Born approximation, Born approximation (definition). Also Wikidata Q39325
History
- 2026-11-02: add by m2/dev
DV1Y38XT5Y DV1Y38XT5Y
| URI | m2://inv/DV1Y38XT5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.24614#RZES (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statement DV1ZW566V3
| URI | m2://inv/DV1ZW566V3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bloch's theorem (complex analysis)#1GM2, Statement (statement)
History
- 2026-11-02: add by m2/dev
DV212XVGZZ DV212XVGZZ
| URI | m2://inv/DV212XVGZZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.09374#1K60 (definition). In TGAHH1F8K5/e1, definition 3.2
History
- 2026-10-27: add by m2/v0.3.6
DV22D7H8XY DV22D7H8XY
| URI | m2://inv/DV22D7H8XY |
|---|---|
| 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.25301#D61O (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition DV2386AZ5H
| URI | m2://inv/DV2386AZ5H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covariance matrix#DKYZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
A-hat genus DV24MS43JH
| URI | m2://inv/DV24MS43JH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Genus of a multiplicative sequence#3C63, A-hat genus (unknown)
History
- 2026-11-02: add by m2/dev
Further examples DV27ZVBXCV
| URI | m2://inv/DV27ZVBXCV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypercomplex number#WVA7, Further examples (example)
History
- 2026-11-02: add by m2/dev
Sine integral DV2HA3PMQF
| URI | m2://inv/DV2HA3PMQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#YQM0, Sine integral (definition)
History
- 2026-11-02: add by m2/dev
Joint analytic logarithm DV2KDY9KCZ
| URI | m2://inv/DV2KDY9KCZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.27970#SY7N, Joint analytic logarithm (statement)
History
- 2026-11-01: add by m2/v0.6.15
Trigenus DV2PHJ63K6
| URI | m2://inv/DV2PHJ63K6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigenus, Trigenus (definition). Also Wikidata Q7841685
History
- 2026-11-02: add by m2/dev
100,000,000 DV2XBEMWZ2
| URI | m2://inv/DV2XBEMWZ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 100,000,000, 100,000,000 (definition). Also Wikidata Q6100454
History
- 2026-11-02: add by m2/dev
Statement DV30XGV07N
| URI | m2://inv/DV30XGV07N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schinzel's hypothesis H#YDVM, Statement (statement)
History
- 2026-11-02: add by m2/dev
DV35EW97WP DV35EW97WP
| URI | m2://inv/DV35EW97WP |
|---|---|
| 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 2409.20170#RM8F (statement). In QXJP79APHN/e1, corollary 2.18
History
- 2026-10-27: add by m2/v0.3.5
Acyclicity (Forman $\mathcal{V}$-path condition on graphs DV3A5K9KS6
| URI | m2://inv/DV3A5K9KS6 |
|---|---|
| Kind | definition |
| 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.01937#3M12, Acyclicity (Forman $\mathcal{V}$-path condition on graphs (definition). In BAEDMM7YM5/e1, definition 20
History
- 2026-10-29: add by m2/v0.4.12
Differential Galois theory DV3DREZZYY
| URI | m2://inv/DV3DREZZYY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#97RV, Differential Galois theory (definition)
History
- 2026-11-02: add by m2/dev
Equivalence between the star number and teaching dimension DV3E742M61
| URI | m2://inv/DV3E742M61 |
|---|---|
| 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.27241#DVFK, Equivalence between the star number and teaching dimension (statement)
History
- 2026-11-01: add by m2/v0.6.15
infinitesimal DV3FC1GWZ1
| URI | m2://inv/DV3FC1GWZ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#4QTZ, infinitesimal (definition)
History
- 2026-11-02: add by m2/dev
DV3HGF5VRE DV3HGF5VRE
| URI | m2://inv/DV3HGF5VRE |
|---|---|
| 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 2209.01576#Q3RW (statement). In EF0X4TKTR4/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
DV3HWPW89J DV3HWPW89J
| URI | m2://inv/DV3HWPW89J |
|---|---|
| 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.20050#DX0H (statement). In T41GD0Y0GX/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.4.2
Small $\delta$ regime DV3JRDAFZK
| URI | m2://inv/DV3JRDAFZK |
|---|---|
| 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.39449#GA32, Small $\delta$ regime (statement). In GWC70X14RG/e1, theorem 5
History
- 2026-10-30: add by m2/v0.4.12
DV3JXKTXWT DV3JXKTXWT
| URI | m2://inv/DV3JXKTXWT |
|---|---|
| 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.24449#ESI3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lazyness parameter DV3QYHBNFQ
| URI | m2://inv/DV3QYHBNFQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.11101#NM56, Lazyness parameter (definition). In YBBKTP4E70/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
DV3RJW9STC DV3RJW9STC
| URI | m2://inv/DV3RJW9STC |
|---|---|
| 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.29943#QZP0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
DV3V0MQBS9 DV3V0MQBS9
| URI | m2://inv/DV3V0MQBS9 |
|---|---|
| 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.07530#L6OB (statement). In C7QZ0VPBC8/e1, proposition 3.9
History
- 2026-10-29: add by m2/v0.4.10
Examples DV3YJY8NJT
| URI | m2://inv/DV3YJY8NJT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measure-preserving dynamical system#RSUX, Examples (example)
History
- 2026-11-02: add by m2/dev
Zeno of Elea DV42HG7F2D
| URI | m2://inv/DV42HG7F2D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#E1O3, Zeno of Elea (topic)
History
- 2026-11-02: add by m2/dev
inverse hyperbolic function DV43CPXQAC
| URI | m2://inv/DV43CPXQAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Inverse hyperbolic functions 0WFZX06698 |
Mentions
- wikidata: Wikidata Q640600, inverse hyperbolic function (definition). Also MathWorld InverseHyperbolicFunctions, ProofWiki Definition:Area_Hyperbolic_Function, ProofWiki Definition:Inverse_Hyperbolic_Function
- wikipedia: Wikipedia Inverse hyperbolic functions, Inverse hyperbolic functions (definition). Also Wikidata Q640600
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
DV49FDF6AQ DV49FDF6AQ
| URI | m2://inv/DV49FDF6AQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23469#TSR3 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Particular point topology DV4RQN9GMW
| URI | m2://inv/DV4RQN9GMW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Particular point topology, Particular point topology (definition). Also Wikidata Q7140510
History
- 2026-11-02: add by m2/dev
DV4XNV0C0M DV4XNV0C0M
| URI | m2://inv/DV4XNV0C0M |
|---|---|
| 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.12357#UI3X (statement). In 1F26AF81XP/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
spherical DV4ZXVTBBR
| URI | m2://inv/DV4ZXVTBBR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#FFM2, spherical (definition)
History
- 2026-11-02: add by m2/dev
Applications DV50CM3XP5
| URI | m2://inv/DV50CM3XP5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topographic profile#13JY, Applications (example)
History
- 2026-11-02: add by m2/dev
Quantum annealing DV51E42N23
| URI | m2://inv/DV51E42N23 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#5ZWP, Quantum annealing (definition)
History
- 2026-11-02: add by m2/dev
Depth-$H$ row regularity, condition $(\mathsf G^H_\tau)$ DV5472HTBT
| URI | m2://inv/DV5472HTBT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#UP8I, Depth-$H$ row regularity, condition $(\mathsf G^H_\tau)$ (definition). In 6FY8BVP1F3/e1, definition K.22
History
- 2026-10-29: add by m2/v0.4.12
DV55SBPSZS DV55SBPSZS
| URI | m2://inv/DV55SBPSZS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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.07280#L35L (example). In 1FJKW4WGEN/e1, example 2.2
History
- 2026-10-29: add by m2/v0.4.10
Legendre rational functions DV5C27ETS1
| URI | m2://inv/DV5C27ETS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#O7DL, Legendre rational functions (definition)
History
- 2026-11-02: add by m2/dev
DV5HTY2PE7 DV5HTY2PE7
| URI | m2://inv/DV5HTY2PE7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12108#HZBI (definition). In JQH3FHYPW3/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Exact enumeration of twin candidates DV5M7MF86S
| URI | m2://inv/DV5M7MF86S |
|---|---|
| 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.13365#OU8U, Exact enumeration of twin candidates (statement). In YMBTSX10FF/e1, theorem 2.8
History
- 2026-10-28: add by m2/v0.4.2
DV5T0RZM4M DV5T0RZM4M
| URI | m2://inv/DV5T0RZM4M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#thm:unique additive inverse (statement). In P1C114YBXG, theorem, section u1
History
- 2026-11-01: add by m2/v0.6.13
Dedekind ring DV5WJC0B7V
| URI | m2://inv/DV5WJC0B7V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Richard Dedekind#02U1, Dedekind ring (definition)
History
- 2026-11-02: add by m2/dev
Reverse magic with arbitrary clean ancillas DV5YPVAA0X
| URI | m2://inv/DV5YPVAA0X |
|---|---|
| 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#R5WD, Reverse magic with arbitrary clean ancillas (statement). In R6RF3P6D5A/e1, theorem 4.16
History
- 2026-10-29: add by m2/v0.4.12
Abelson, Robert P. DV6130E2EY
| URI | m2://inv/DV6130E2EY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#TGL1, Abelson, Robert P. (topic)
History
- 2026-11-02: add by m2/dev
Necessary genus and ramification stability DV64JC7F45
| URI | m2://inv/DV64JC7F45 |
|---|---|
| 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.05652#L2MD, Necessary genus and ramification stability (statement). In 8BNPFYQDQX/e1, lemma 2.21
History
- 2026-10-29: add by m2/v0.4.10
DV67S7GSG3 DV67S7GSG3
| URI | m2://inv/DV67S7GSG3 |
|---|---|
| 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.05032#FGU5 (statement). In DDNK8D4359/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
Ilya M. Sobol' DV6FCTY39C
| URI | m2://inv/DV6FCTY39C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ilya M. Sobol', Ilya M. Sobol' (topic). Also Wikidata Q4425897
History
- 2026-11-02: add by m2/dev
Bunkbed conjecture DV6J6C37XD
| URI | m2://inv/DV6J6C37XD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#ESVD, Bunkbed conjecture (statement)
History
- 2026-11-02: add by m2/dev
Recursive economics DV6N40TCE5
| URI | m2://inv/DV6N40TCE5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#NYMQ, Recursive economics (topic)
History
- 2026-11-02: add by m2/dev
Finite field arithmetic DV6RQ8QT23
| URI | m2://inv/DV6RQ8QT23 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite field arithmetic, Finite field arithmetic (definition). Also Wikidata Q5450398
History
- 2026-11-02: add by m2/dev
DV75KNABX2 DV75KNABX2
| URI | m2://inv/DV75KNABX2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/provability-quantifiers.tex#thm:strong-generalization (statement). In PKGMM3P5QY, thm, section 22.9
History
- 2026-11-01: add by m2/v0.6.13
intensionally defined set DV7M040V0A
| URI | m2://inv/DV7M040V0A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109941991, intensionally defined set (unknown). Also MathWorld Intension
History
- 2026-10-26: add by m2/dev
DV7SXH94X7 DV7SXH94X7
| URI | m2://inv/DV7SXH94X7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#thm:canonical projection (statement). In P1C114YBXG, theorem, section D
History
- 2026-11-01: add by m2/v0.6.13
DV7ZZJRZ1V DV7ZZJRZ1V
| URI | m2://inv/DV7ZZJRZ1V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-55 (exercise). In E59CDZA4DP, exercise, section 8.5.2
History
- 2026-11-01: add by m2/v0.6.13
DV85S526R3 DV85S526R3
| URI | m2://inv/DV85S526R3 |
|---|---|
| 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.22759#TM09 (statement)
History
- 2026-11-02: add by m2/v0.6.17
DV8EH5SCCE DV8EH5SCCE
| URI | m2://inv/DV8EH5SCCE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#RDSF (statement). In G1RP4JY5PE/e1, lemma 3.2.2
History
- 2026-10-31: add by m2/v0.5.6
Wilson's theorem DV8EJARC2X
| URI | m2://inv/DV8EJARC2X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#9LAQ, Wilson's theorem (definition)
History
- 2026-11-02: add by m2/dev
Dirichlet Process, Dirichlet Mean, Markov-Krein Transform DV8MH1HJTS
| URI | m2://inv/DV8MH1HJTS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18436#IP2G, Dirichlet Process, Dirichlet Mean, Markov-Krein Transform (definition). In M0Z0XAXZYW/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
Definitions DV8P1R290Y
| URI | m2://inv/DV8P1R290Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal number#PU1B, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Yevgeny Dyakonov DV8PHM80W5
| URI | m2://inv/DV8PHM80W5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yevgeny Dyakonov, Yevgeny Dyakonov (topic). Also Wikidata Q4171504
History
- 2026-11-02: add by m2/dev
DV8PPJJVPS DV8PPJJVPS
| URI | m2://inv/DV8PPJJVPS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#4EAF (statement). In E7W2HDNEKJ/e1, theorem 5.35
History
- 2026-10-30: add by m2/v0.4.12
Definitions DV8T432561
| URI | m2://inv/DV8T432561 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forking extension#JO32, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Hölder modulus of continuity - uniformly elliptic DV92E8M9KT
| URI | m2://inv/DV92E8M9KT |
|---|---|
| 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 2401.14638#YTMS, Hölder modulus of continuity - uniformly elliptic (statement). In 2XC2MZFWPP/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
Conditional blue and overlap bounds DV969MMBZT
| URI | m2://inv/DV969MMBZT |
|---|---|
| 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#6PXE, Conditional blue and overlap bounds (statement)
History
- 2026-11-02: add by m2/v0.6.17
variable DV9KKRMPWF
| URI | m2://inv/DV9KKRMPWF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/sec:formal-prelim/variable, variable (concept). In N54F33XE07, index, section sec:formal-prelim
History
- 2026-11-01: add by m2/v0.6.13
Agnes M. Herzberg DVA1A2HYJT
| URI | m2://inv/DVA1A2HYJT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NE7F, Agnes M. Herzberg (unknown)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#87ZA, Agnes M. Herzberg (unknown)
History
- 2026-11-02: add by m2/dev
Tensor product of Hilbert spaces DVA3QNRACX
| URI | m2://inv/DVA3QNRACX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tensor product of Hilbert spaces, Tensor product of Hilbert spaces (definition). Also Wikidata Q1404488
History
- 2026-11-02: add by m2/dev
Gyroscope DVAF6WJJ6X
| URI | m2://inv/DVAF6WJJ6X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#VR0Z, Gyroscope (unknown)
History
- 2026-11-02: add by m2/dev
Benmei Liu DVAKWGVGZN
| URI | m2://inv/DVAKWGVGZN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benmei Liu, Benmei Liu (topic). Also Wikidata Q91397192
History
- 2026-11-02: add by m2/dev
Polarization identity DVB08KWR2X
| URI | m2://inv/DVB08KWR2X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inner product space#YZ99, Polarization identity (definition)
History
- 2026-11-02: add by m2/dev
Vasily Vladimirov DVB9M259YH
| URI | m2://inv/DVB9M259YH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vasily Vladimirov, Vasily Vladimirov (topic). Also Wikidata Q926756
History
- 2026-11-02: add by m2/dev
our type convention DVBBE0WNQH
| URI | m2://inv/DVBBE0WNQH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#4HA4, our type convention (definition). In S26QVW5613/e1, definition 5.2.5
History
- 2026-10-30: add by m2/v0.4.12
Definition DVBHJCKJB4
| URI | m2://inv/DVBHJCKJB4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximate tangent space#TOIM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Critical pair DVBP22F297
| URI | m2://inv/DVBP22F297 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5186747, Critical pair (concept). Also MathWorld CriticalPair
History
- 2026-10-26: add by m2/dev
Robert Fortet DVC390A4F8
| URI | m2://inv/DVC390A4F8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Fortet, Robert Fortet (topic). Also Wikidata Q7344447
History
- 2026-11-02: add by m2/dev
DVC4GYMFXX DVC4GYMFXX
| URI | m2://inv/DVC4GYMFXX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25703#A5KQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
H. G. Landau DVCAT29GWQ
| URI | m2://inv/DVCAT29GWQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia H. G. Landau, H. G. Landau (topic). Also Wikidata Q111538341
History
- 2026-11-02: add by m2/dev
Examples DVCAWRZ8BV
| URI | m2://inv/DVCAWRZ8BV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotic expansion#XCKA, Examples (example)
History
- 2026-11-02: add by m2/dev
DVCBK0Z4E2 DVCBK0Z4E2
| URI | m2://inv/DVCBK0Z4E2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#05SO (definition). In F5STMSPR6X/e1, definition 3.5
History
- 2026-10-29: add by m2/v0.4.12
DVCPJ8S9DT DVCPJ8S9DT
| URI | m2://inv/DVCPJ8S9DT |
|---|---|
| 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.23634#NL0E (statement)
History
- 2026-11-02: add by m2/v0.6.17
Proof that e is irrational DVCQCQ8EGE
| URI | m2://inv/DVCQCQ8EGE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#TM7H, Proof that e is irrational (definition)
- wikipedia: Wikipedia List of exponential topics#KUQA, Proof that e is irrational (definition)
History
- 2026-11-02: add by m2/dev
Filtering theory DVCR6W346X
| URI | m2://inv/DVCR6W346X |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#HT1D, Filtering theory (problem)
History
- 2026-11-02: add by m2/dev
Properties DVD0CWEJSW
| URI | m2://inv/DVD0CWEJSW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius algebra#IV05, Properties (statement)
History
- 2026-11-02: add by m2/dev
DVD0HRFMMV DVD0HRFMMV
| URI | m2://inv/DVD0HRFMMV |
|---|---|
| Kind | example |
| 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 2403.15255#EH7I (example). In G691MXMYW0/e1, example 4.9
History
- 2026-10-27: add by m2/v0.4.0
Π1-formulas and concepts DVD5ZB11V8
| URI | m2://inv/DVD5ZB11V8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lévy hierarchy#MM68, Π1-formulas and concepts (statement)
History
- 2026-11-02: add by m2/dev
Binet equation DVDCBP6NQ9
| URI | m2://inv/DVDCBP6NQ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binet equation, Binet equation (definition). Also Wikidata Q497603
History
- 2026-11-02: add by m2/dev
Field characteristics DVDNG4171C
| URI | m2://inv/DVDNG4171C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#example-4, Field characteristics (example). In RZP28ERRZV, example, section 14.4
History
- 2026-11-01: add by m2/v0.6.13
Artin–Hasse exponential DVDX418P8N
| URI | m2://inv/DVDX418P8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Emil Artin#HBCE, Artin–Hasse exponential (definition)
- wikipedia: Wikipedia List of exponential topics#40JU, Artin–Hasse exponential (definition)
History
- 2026-11-02: add by m2/dev
Local Sobolev type inequality DVE3DJYGN8
| URI | m2://inv/DVE3DJYGN8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08253#P9A5, Local Sobolev type inequality (statement). In 6AD2CTF0QF/e1, theorem 2.12
History
- 2026-10-29: add by m2/v0.4.10
OLGA DVE3M7YPPW
| URI | m2://inv/DVE3M7YPPW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia OLGA (technology), OLGA (definition). Also Wikidata Q7072656
History
- 2026-11-02: add by m2/dev
Jesse Douglas DVE44PYZGG
| URI | m2://inv/DVE44PYZGG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jesse Douglas, Jesse Douglas (topic). Also Wikidata Q315404
History
- 2026-11-02: add by m2/dev
Statement DVE548TBC2
| URI | m2://inv/DVE548TBC2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hoeffding's lemma#EM56, Statement (statement)
History
- 2026-11-02: add by m2/dev
National Bureau of Statistics DVE9CHB26S
| URI | m2://inv/DVE9CHB26S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Bureau of Statistics (Tanzania), National Bureau of Statistics (definition). Also Wikidata Q17089460
History
- 2026-11-02: add by m2/dev
Alonzo Church DVEDBWKMDV
| URI | m2://inv/DVEDBWKMDV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#HB36, Alonzo Church (topic)
History
- 2026-11-02: add by m2/dev
David O. Siegmund DVEH6C1PAT
| URI | m2://inv/DVEH6C1PAT |
|---|---|
| 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#6D2G, David O. Siegmund (topic)
History
- 2026-11-02: add by m2/dev
The Sand Reckoner DVEHH4HFPR
| URI | m2://inv/DVEHH4HFPR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#4SZ6, The Sand Reckoner (definition)
History
- 2026-11-02: add by m2/dev
Skew-Hamiltonian matrix DVEZMT2FYX
| URI | m2://inv/DVEZMT2FYX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skew-Hamiltonian matrix, Skew-Hamiltonian matrix (definition). Also Wikidata Q3851920
History
- 2026-11-02: add by m2/dev
DVF4MRV3XK DVF4MRV3XK
| URI | m2://inv/DVF4MRV3XK |
|---|---|
| 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 2509.21444#J2LN (statement). In CTVPA2FQT1/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.0
DVF60M6DD0 DVF60M6DD0
| URI | m2://inv/DVF60M6DD0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39353#LJZS (statement). In 2PZR1KX2RC/e1, theorem B.1
History
- 2026-10-30: add by m2/v0.4.12
Locally finite measure DVF6M4E8YS
| URI | m2://inv/DVF6M4E8YS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally finite measure, Locally finite measure (definition). Also Wikidata Q2136937
History
- 2026-11-02: add by m2/dev
0! DVF87CG2YB
| URI | m2://inv/DVF87CG2YB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factorial#RMHH, 0! (unknown)
History
- 2026-11-02: add by m2/dev
stable DVF9CMTE0N
| URI | m2://inv/DVF9CMTE0N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#BUUP, stable (definition)
History
- 2026-11-02: add by m2/dev
Planar character-law rigidity; external assumption DVF9TXJ350
| URI | m2://inv/DVF9TXJ350 |
|---|---|
| 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.18907#VY8E, Planar character-law rigidity; external assumption (statement). In 4SSZ4PF2P2/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
Notation DVFMH14F2T
| URI | m2://inv/DVFMH14F2T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atomic number#4LF7, Notation (definition)
History
- 2026-11-02: add by m2/dev
DVG595S9FM DVG595S9FM
| URI | m2://inv/DVG595S9FM |
|---|---|
| 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 2610.11276#EBIZ (statement). In KMTQRFFYZY/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.3
Toeplitz matrix DVG5D83K9R
| URI | m2://inv/DVG5D83K9R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Toeplitz matrix GKY2WSHE26 |
Mentions
- wikidata: Wikidata Q849428, Toeplitz matrix (unknown). Also MathWorld ToeplitzMatrix
- wikipedia: Wikipedia Toeplitz matrix, Toeplitz matrix (definition). Also Wikidata Q849428
History
- 2026-10-26: add by m2/dev
elliptic hyperboloid of two sheets DVG5XWD4ZH
| URI | m2://inv/DVG5XWD4ZH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16354467, elliptic hyperboloid of two sheets (unknown). Also MathWorld Two-SheetedHyperboloid
History
- 2026-10-26: add by m2/dev
DVG6NKPHTK DVG6NKPHTK
| URI | m2://inv/DVG6NKPHTK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.19658#048N (statement). In G00EYA9DXG/e1, theorem 7.3
History
- 2026-10-28: add by m2/v0.4.2
DVGBC16Y3P DVGBC16Y3P
| URI | m2://inv/DVGBC16Y3P |
|---|---|
| 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#6NKF (statement)
History
- 2026-11-01: add by m2/v0.6.15
DVGBMH7Y0S DVGBMH7Y0S
| URI | m2://inv/DVGBMH7Y0S |
|---|---|
| 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#OILL (statement)
History
- 2026-11-02: add by m2/v0.6.17
Kali S. Banerjee DVGJ8D61YH
| URI | m2://inv/DVGJ8D61YH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kali S. Banerjee, Kali S. Banerjee (topic). Also Wikidata Q6352442
History
- 2026-11-02: add by m2/dev
DVGN3667R5 DVGN3667R5
| URI | m2://inv/DVGN3667R5 |
|---|---|
| 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 2301.07434#VCLA (statement). In 7XZHQ2H5ZD/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
DVGTM4HM60 DVGTM4HM60
| URI | m2://inv/DVGTM4HM60 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.13888#8EL8 (statement). In 2G5K2GZTX7/e1, proposition 4.7
History
- 2026-10-27: add by m2/v0.4.0
Federico Commandino DVGZDAVK9B
| URI | m2://inv/DVGZDAVK9B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q671745, Federico Commandino (unknown). Also MathWorld CommandinosTheorem
- wikipedia: Wikipedia Federico Commandino, Federico Commandino (topic). Also Wikidata Q671745
History
- 2026-10-26: add by m2/dev
Main theorems of Brill–Noether theory DVGZSYAMAY
| URI | m2://inv/DVGZSYAMAY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brill–Noether theory#NJBH, Main theorems of Brill–Noether theory (statement)
History
- 2026-11-02: add by m2/dev
DVHHZZP7NT DVHHZZP7NT
| URI | m2://inv/DVHHZZP7NT |
|---|---|
| Kind | definition |
| 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.04434#L3FC (definition). In EY0QS456EC/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.12
DVHJMS3GT9 DVHJMS3GT9
| URI | m2://inv/DVHJMS3GT9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33651#79PS (statement). In 69DBD2HKGK/e1, theorem 1.5
History
- 2026-10-30: add by m2/v0.4.12
eyeball theorem DVHRST7J3X
| URI | m2://inv/DVHRST7J3X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114296818, eyeball theorem (statement). Also MathWorld EyeballTheorem
- wikipedia: Wikipedia Eyeball theorem, Eyeball theorem (statement). Also Wikidata Q114296818
History
- 2026-10-26: add by m2/dev
Yosl Cutler DVHWWSRRQ2
| URI | m2://inv/DVHWWSRRQ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#WJ7C, Yosl Cutler (unknown)
History
- 2026-11-02: add by m2/dev
carbon DVJ7D3B4SN
| URI | m2://inv/DVJ7D3B4SN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q623, carbon (definition). Also nLab carbon, ProofWiki Definition:Carbon
History
- 2026-10-26: add by m2/dev
DVJC2HBA8N DVJC2HBA8N
| URI | m2://inv/DVJC2HBA8N |
|---|---|
| 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.17565#VNAX (statement). In C422901XCN/e1, corollary 2.4
History
- 2026-10-28: add by m2/v0.4.2
DVJJDV09ET DVJJDV09ET
| URI | m2://inv/DVJJDV09ET |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13847#1K7T (definition). In S4FHV821A2/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
DVJSRR9BF9 DVJSRR9BF9
| URI | m2://inv/DVJSRR9BF9 |
|---|---|
| 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 2012.05048#AN6N (statement). In NY9HW1E6DY/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
Transitive relation DVJT4M0H9D
| URI | m2://inv/DVJT4M0H9D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transitive relation#UVNY, Transitive relation (statement)
History
- 2026-11-02: add by m2/dev
MedCalc DVJXD0ZVVY
| URI | m2://inv/DVJXD0ZVVY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MedCalc, MedCalc (definition). Also Wikidata Q4272521
History
- 2026-11-02: add by m2/dev
Metaphysics DVK35BYZAW
| URI | m2://inv/DVK35BYZAW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Averroes#7NJ9, Metaphysics (unknown)
History
- 2026-11-02: add by m2/dev
Cauchy–Binet formula DVK3Y6B35V
| URI | m2://inv/DVK3Y6B35V |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 3 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Cauchy–Binet formula 08WE2W7DYS |
Mentions
- arxiv: arXiv 2610.06724#W65W, Cauchy--Binet formula (statement). In W5XG3PGVF1/e1, proposition C.14
- wikidata: Wikidata Q45286, Cauchy–Binet formula (statement). Also EoM Cauchy_Binet_formula, ProofWiki Cauchy-Binet_Formula
- wikipedia: Wikipedia Cauchy–Binet formula, Cauchy–Binet formula (statement). Also Wikidata Q45286
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
- 2026-10-31: merge by m2/v0.5.6
Riesz–Thorin interpolation theorem DVKAQ00Z7Y
| URI | m2://inv/DVKAQ00Z7Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riesz–Thorin theorem#FL7A, Riesz–Thorin interpolation theorem (statement)
History
- 2026-11-02: add by m2/dev
Gerald L. Thompson DVKC9DA2MT
| URI | m2://inv/DVKC9DA2MT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gerald L. Thompson, Gerald L. Thompson (topic). Also Wikidata Q5549315
History
- 2026-11-02: add by m2/dev
Atoms, levels, jump masses DVKH2T9NFG
| URI | m2://inv/DVKH2T9NFG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23350#D6CH, Atoms, levels, jump masses (definition)
History
- 2026-11-02: add by m2/v0.6.17
Cosmological horizon DVKHY71TTY
| URI | m2://inv/DVKHY71TTY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosmological horizon, Cosmological horizon (definition). Also Wikidata Q2348536
History
- 2026-11-02: add by m2/dev
DVKX9NJ3XX DVKX9NJ3XX
| URI | m2://inv/DVKX9NJ3XX |
|---|---|
| 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.16123#W3C3 (statement). In 6VR4TY5BGV/e1, lemma 6.7
History
- 2026-10-28: add by m2/v0.4.2
DVM4XKGZAW DVM4XKGZAW
| URI | m2://inv/DVM4XKGZAW |
|---|---|
| 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 2308.08081#EIFQ (statement). In FJ8XVQ6F0T/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.0
DVM7RNFXFW DVM7RNFXFW
| URI | m2://inv/DVM7RNFXFW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop-16 (statement). In VNMV985MXX, prop, section 4.6
History
- 2026-11-01: add by m2/v0.6.13
Schwartz kernel theorem DVMB5AASB0
| URI | m2://inv/DVMB5AASB0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#1CXA, Schwartz kernel theorem (statement)
History
- 2026-11-02: add by m2/dev
Definitions DVMFQA9KR4
| URI | m2://inv/DVMFQA9KR4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Golomb–Dickman constant#EMJS, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Myles Tierney DVMW2XCFAA
| URI | m2://inv/DVMW2XCFAA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Myles Tierney, Myles Tierney (topic). Also Wikidata Q15835963
History
- 2026-11-02: add by m2/dev
Formal definition DVMX13RQS5
| URI | m2://inv/DVMX13RQS5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal bundle#PFDD, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
DVN0EWN0C5 DVN0EWN0C5
| URI | m2://inv/DVN0EWN0C5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.03851#S7LM (statement). In HNV63B8Y1A/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.12
Best interval-based affine estimate DVN1V7BX70
| URI | m2://inv/DVN1V7BX70 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34918#RS0H, Best interval-based affine estimate (statement). In B3MNVE9149/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
DVN5NC6WGV DVN5NC6WGV
| URI | m2://inv/DVN5NC6WGV |
|---|---|
| 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.24212#B3WT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem 2 DVNDN56JNT
| URI | m2://inv/DVNDN56JNT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Envelope theorem#NDMW, Theorem 2 (statement)
History
- 2026-11-02: add by m2/dev
linear code DVNEQ5AJR7
| URI | m2://inv/DVNEQ5AJR7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1752667, linear code (definition). Also MathWorld LinearCode, nLab linear code, ProofWiki Definition:Linear_Code
- wikipedia: Wikipedia Linear code, Linear code (definition). Also Wikidata Q1752667
History
- 2026-10-26: add by m2/dev
Homotopy principle DVNHB5TG2B
| URI | m2://inv/DVNHB5TG2B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopical connectivity#3LOD, Homotopy principle (statement)
History
- 2026-11-02: add by m2/dev
T. A. Springer DVNPRSJ7ZN
| URI | m2://inv/DVNPRSJ7ZN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2442209, T. A. Springer (unknown). Also nLab Tonny Springer
- wikipedia: Wikipedia T. A. Springer, T. A. Springer (topic). Also Wikidata Q2442209
History
- 2026-10-26: add by m2/dev
John Corcoran DVNZ3R3BXQ
| URI | m2://inv/DVNZ3R3BXQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#QAU5, John Corcoran (topic)
History
- 2026-11-02: add by m2/dev
Nikolai Chebotaryov DVPAE2ZVMK
| URI | m2://inv/DVPAE2ZVMK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nikolai Chebotaryov, Nikolai Chebotaryov (topic). Also Wikidata Q570859
History
- 2026-11-02: add by m2/dev
DVPEGVQ8ZY DVPEGVQ8ZY
| URI | m2://inv/DVPEGVQ8ZY |
|---|---|
| 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.37739#FGMT (statement). In F5XF5VXTXY/e1, lemma 6.11
History
- 2026-10-30: add by m2/v0.4.12
Helicoid DVPT51NRDW
| URI | m2://inv/DVPT51NRDW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#T3DM, Helicoid (definition)
- wikipedia: Wikipedia List of surfaces#FM0Z, Helicoid (definition)
- wikipedia: Wikipedia List of surfaces#M6JS, Helicoid (definition)
History
- 2026-11-02: add by m2/dev
Rickman's theorem DVPYDN1NV3
| URI | m2://inv/DVPYDN1NV3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasiregular map#OBTW, Rickman's theorem (statement)
History
- 2026-11-02: add by m2/dev
DVQ5WC6SCN DVQ5WC6SCN
| URI | m2://inv/DVQ5WC6SCN |
|---|---|
| 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.27771#TIM9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
DVQ77WH9Z0 DVQ77WH9Z0
| URI | m2://inv/DVQ77WH9Z0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#OV4D (definition). In 7V3HG30ZGW/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.0
DVQJQMVC3Y DVQJQMVC3Y
| URI | m2://inv/DVQJQMVC3Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1006.3331#6WR1 (statement). In AY6WYB9RR3/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.3.5
Generalizations DVQSXXA1R5
| URI | m2://inv/DVQSXXA1R5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Associated Legendre polynomials#7JXC, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Nivat's conjecture DVR1GVGHGA
| URI | m2://inv/DVR1GVGHGA |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nivat's conjecture, Nivat's conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
DVR34SS69B DVR34SS69B
| URI | m2://inv/DVR34SS69B |
|---|---|
| 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#1LPK (statement). In 91RRFW0K5D/e1, lemma 26
History
- 2026-10-27: add by m2/v0.3.5
DVR84P1TXX DVR84P1TXX
| URI | m2://inv/DVR84P1TXX |
|---|---|
| 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.14446#R8IY (statement). In AWRXXZR673/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
DVRD8X6Y86 DVRD8X6Y86
| URI | m2://inv/DVRD8X6Y86 |
|---|---|
| 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.13833#I4KZ (statement). In VD4JP4HVBX/e1, lemma 8.12
History
- 2026-10-28: add by m2/v0.4.2
Example DVRHMVQ13F
| URI | m2://inv/DVRHMVQ13F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix normal distribution#Y9L6, Example (example)
History
- 2026-11-02: add by m2/dev
Çetin Kaya Koç DVRS50GQAB
| URI | m2://inv/DVRS50GQAB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Çetin Kaya Koç, Çetin Kaya Koç (topic). Also Wikidata Q102192433
History
- 2026-11-02: add by m2/dev
equilateral hyperbola DVRT463G8C
| URI | m2://inv/DVRT463G8C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3589445, equilateral hyperbola (unknown). Also MathWorld RectangularHyperbola
History
- 2026-10-26: add by m2/dev
Mathematics of sudoku DVRWC0RK2Y
| URI | m2://inv/DVRWC0RK2Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics of sudoku, Mathematics of sudoku (definition). Also Wikidata Q3299062
History
- 2026-11-02: add by m2/dev
DVRZR25HJ8 DVRZR25HJ8
| URI | m2://inv/DVRZR25HJ8 |
|---|---|
| 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.24185#QSRJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definitions DVRZZ94XSV
| URI | m2://inv/DVRZZ94XSV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Potential good reduction#XTIL, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Markov property of the GFF DVS1PMQ2DB
| URI | m2://inv/DVS1PMQ2DB |
|---|---|
| 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.08261#LS35, Markov property of the GFF (statement). In QD68GYRWNS/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
quantum gravity DVS3C5GJ8N
| URI | m2://inv/DVS3C5GJ8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q234181, quantum gravity (unknown). Also nLab quantum gravity
- wikipedia: Wikipedia Quantum gravity, Quantum gravity (definition). Also Wikidata Q234181
History
- 2026-10-26: add by m2/dev
Shinichi Kotani DVS7K2KG73
| URI | m2://inv/DVS7K2KG73 |
|---|---|
| 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#06CM, Shinichi Kotani (unknown)
History
- 2026-11-02: add by m2/dev
Examples DVS8010E6N
| URI | m2://inv/DVS8010E6N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extended Boolean model#9YPS, Examples (example)
History
- 2026-11-02: add by m2/dev
Quasi-autocovariance DVSB0JG1V2
| URI | m2://inv/DVSB0JG1V2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20274#LPEZ, Quasi-autocovariance (definition)
History
- 2026-11-02: add by m2/v0.6.18
Robert Bruce Merrifield DVSCZ7SKF2
| URI | m2://inv/DVSCZ7SKF2 |
|---|---|
| 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#RW6N, Robert Bruce Merrifield (unknown)
History
- 2026-11-02: add by m2/dev
DVSHPKH25R DVSHPKH25R
| URI | m2://inv/DVSHPKH25R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#JDK8 (statement). In F5STMSPR6X/e1, lemma 3.21
History
- 2026-10-29: add by m2/v0.4.12
DVSJ8NBP2H DVSJ8NBP2H
| URI | m2://inv/DVSJ8NBP2H |
|---|---|
| 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.20376#BH9I (statement). In DGTCGQX6YZ/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.4.2
Four Lane Ends Interchange DVSRY6JVZY
| URI | m2://inv/DVSRY6JVZY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#XVEV, Four Lane Ends Interchange (unknown)
History
- 2026-11-02: add by m2/dev
Indication bias DVSTE01M28
| URI | m2://inv/DVSTE01M28 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Selection bias#F64Z, Indication bias (unknown)
History
- 2026-11-02: add by m2/dev
Lexis, Wilhelm DVT1CD2BG0
| URI | m2://inv/DVT1CD2BG0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#RBSP, Lexis, Wilhelm (topic)
History
- 2026-11-02: add by m2/dev
Asociación Argentina de Matemática Aplicada Computacional e Industrial DVT47FG6DM
| URI | m2://inv/DVT47FG6DM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#UZGX, Asociación Argentina de Matemática Aplicada Computacional e Industrial (unknown)
History
- 2026-11-02: add by m2/dev
DVT9D786JH DVT9D786JH
| URI | m2://inv/DVT9D786JH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.01874#UTAU (statement). In A4TR95VGX2/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
Exact stress test DVTDRYBW8R
| URI | m2://inv/DVTDRYBW8R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.17004#2JLX, Exact stress test (statement). In XNJGNMS6H0/e1, theorem 5.8
History
- 2026-10-28: add by m2/v0.4.2
DVTEH8Z4XZ DVTEH8Z4XZ
| URI | m2://inv/DVTEH8Z4XZ |
|---|---|
| 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 2512.11346#BK0G (statement). In ZW58VE9XE3/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.5
A Summer's Tale DVTGFJ9GCW
| URI | m2://inv/DVTGFJ9GCW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#BNUG, A Summer's Tale (unknown)
History
- 2026-11-02: add by m2/dev
DVTJ4BB63F DVTJ4BB63F
| URI | m2://inv/DVTJ4BB63F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00856#ER9L (statement). In W6VHD4QBY4/e1, corollary 2.1
History
- 2026-10-29: add by m2/v0.4.12
Raphael Bousso DVTPAS894J
| URI | m2://inv/DVTPAS894J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#TQWU, Raphael Bousso (unknown)
History
- 2026-11-02: add by m2/dev
DVTVCEEW1V DVTVCEEW1V
| URI | m2://inv/DVTVCEEW1V |
|---|---|
| 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.15744#45ND (statement). In NV3PBZGBB7/e1, lemma 6.7
History
- 2026-10-28: add by m2/v0.4.2
Vitushkin's conjecture DVV021HHC3
| URI | m2://inv/DVV021HHC3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#J4AR, Vitushkin's conjecture (definition)
History
- 2026-11-02: add by m2/dev
Swish function DVV0CS8T3K
| URI | m2://inv/DVV0CS8T3K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#1HKN, Swish function (definition)
History
- 2026-11-02: add by m2/dev
Local Derivative Errors Off Sites DVV56GCE53
| URI | m2://inv/DVV56GCE53 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12239#6ZMH, Local Derivative Errors Off Sites (statement). In CW9MNA6K58/e1, lemma 9.17
History
- 2026-10-28: add by m2/v0.4.2
DVVJ6FQTB8 DVVJ6FQTB8
| URI | m2://inv/DVVJ6FQTB8 |
|---|---|
| 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 2607.01109#9DXE (statement). In V35F0T5RQ2/e1, corollary 1.2
History
- 2026-10-27: add by m2/v0.3.5
DVVQ01F0MN DVVQ01F0MN
| URI | m2://inv/DVVQ01F0MN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#example-13 (example). In E59CDZA4DP, example, section 1.7.2
History
- 2026-11-01: add by m2/v0.6.13
DVVVR3B625 DVVVR3B625
| URI | m2://inv/DVVVR3B625 |
|---|---|
| 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.25823#SH63 (statement)
History
- 2026-11-01: add by m2/v0.6.15
DVW7CXBHQ0 DVW7CXBHQ0
| URI | m2://inv/DVW7CXBHQ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22393#23PW (statement)
History
- 2026-11-02: add by m2/v0.6.17
Formulation DVWDX9ZV15
| URI | m2://inv/DVWDX9ZV15 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeffery–Hamel flow#GO4P, Formulation (definition)
History
- 2026-11-02: add by m2/dev
DVWK3YSBE1 DVWK3YSBE1
| URI | m2://inv/DVWK3YSBE1 |
|---|---|
| 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 2306.00212#D19H (statement). In C9GG9C1X65/e1, theorem 10
History
- 2026-10-27: add by m2/v0.3.5
DVWNXHT2PD DVWNXHT2PD
| URI | m2://inv/DVWNXHT2PD |
|---|---|
| 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 2508.17181#VRFO (statement). In 2QR18WK8KH/e1, corollary 3
History
- 2026-10-27: add by m2/v0.3.6
DVWSTAF8JF DVWSTAF8JF
| URI | m2://inv/DVWSTAF8JF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27800#UHV7 (definition)
History
- 2026-11-01: add by m2/v0.6.15
DVWTA3AC4S DVWTA3AC4S
| URI | m2://inv/DVWTA3AC4S |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09990#D8EZ (conjecture). In CMG6TE1RDP/e1, conjecture 3
History
- 2026-10-29: add by m2/v0.4.10
Small Area Population Statistics DVXD5NGHXQ
| URI | m2://inv/DVXD5NGHXQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Census tract#VD3A, Small Area Population Statistics (unknown)
History
- 2026-11-02: add by m2/dev
Gilbreath's conjecture DVXE2YJ51M
| URI | m2://inv/DVXE2YJ51M |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#6UCL, Gilbreath's conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Natural Number Term Predicate $\textsf{Nat}_i$ DVXM23RN8Z
| URI | m2://inv/DVXM23RN8Z |
|---|---|
| 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 2610.21131#0DN2, Natural Number Term Predicate $\textsf{Nat}_i$ (definition). In CPYWHRTPKC/e1, definition 7.8
History
- 2026-10-27: add by m2/v0.4.2
trilinear coordinates DVXW9ASZF8
| URI | m2://inv/DVXW9ASZF8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#S3ID, trilinear coordinates (definition)
History
- 2026-11-02: add by m2/dev
gyroelongated pyramid DVY6RDE5QT
| URI | m2://inv/DVY6RDE5QT |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5625476, gyroelongated pyramid (unknown). Also MathWorld GyroelongatedPyramid
- wikipedia: Wikipedia Gyroelongated pyramid, Gyroelongated pyramid (object). Also Wikidata Q5625476
History
- 2026-10-26: add by m2/dev
Ephraim Katzir DVYBZPQZD6
| URI | m2://inv/DVYBZPQZD6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#IKGC, Ephraim Katzir (unknown)
History
- 2026-11-02: add by m2/dev
6174 DVYGX3GXW9
| URI | m2://inv/DVYGX3GXW9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 6174, 6174 (definition). Also Wikidata Q17144529
History
- 2026-11-02: add by m2/dev
Basic properties of $Z$ and $\lambda$ DVYQ3H3HJ4
| URI | m2://inv/DVYQ3H3HJ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 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.27765#17BS, Basic properties of $Z$ and $\lambda$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Felix Finster DVYRC8ZD0A
| URI | m2://inv/DVYRC8ZD0A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Felix Finster, Felix Finster (topic). Also Wikidata Q16875507
History
- 2026-11-02: add by m2/dev
DVYSMA9KQE DVYSMA9KQE
| URI | m2://inv/DVYSMA9KQE |
|---|---|
| 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.16883#FO3O (statement). In TYS9N30M63/e1, lemma A.2
History
- 2026-10-28: add by m2/v0.4.2
Valuative rank-one obstruction series DVYXP1SQ6D
| URI | m2://inv/DVYXP1SQ6D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#8UJX, Valuative rank-one obstruction series (statement). In XDTM624YPE/e1, corollary 16.2
History
- 2026-10-27: add by m2/v0.4.2
DVYY8H1N6C DVYY8H1N6C
| URI | m2://inv/DVYY8H1N6C |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39593#TCN8 (problem). In BF0RYHPMS1/e1, problem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Skirting DVZ9PBPXE5
| URI | m2://inv/DVZ9PBPXE5 |
|---|---|
| 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 math/0003117#TDOS, Skirting (statement). In WD2NCBV9F0/e1, lemma 15.5
History
- 2026-10-27: add by m2/v0.3.5
Stein exponents for fully i.i.d. probe states DVZXY5PPK3
| URI | m2://inv/DVZXY5PPK3 |
|---|---|
| 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.40355#KWB0, Stein exponents for fully i.i.d. probe states (statement). In SBP98GWKC8/e1, corollary 1.1
History
- 2026-10-30: add by m2/v0.4.12