Inventory rows E2
The cards of the rows of the inventory whose ids start with E2. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Kaprekar's constant E202R67DDM
| URI | m2://inv/E202R67DDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#SDF9, Kaprekar's constant (definition)
History
- 2026-11-02: add by m2/dev
connective spectrum E203T30EEX
| URI | m2://inv/E203T30EEX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16886123, connective spectrum (unknown). Also nLab connective spectrum
- wikipedia: Wikipedia Connective spectrum, Connective spectrum (definition). Also Wikidata Q16886123
History
- 2026-10-26: add by m2/dev
Thermodynamic system E205GDESNF
| URI | m2://inv/E205GDESNF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermodynamic system, Thermodynamic system (definition). Also Wikidata Q503327
History
- 2026-11-02: add by m2/dev
E20APDSKA4 E20APDSKA4
| URI | m2://inv/E20APDSKA4 |
|---|---|
| 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.34066#9O74 (statement). In F0Y3DZCEH0/e1, theorem 4.2
History
- 2026-10-30: add by m2/v0.4.12
E20AWAWEBR E20AWAWEBR
| URI | m2://inv/E20AWAWEBR |
|---|---|
| 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.29422#72XQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
E20E5739ER E20E5739ER
| URI | m2://inv/E20E5739ER |
|---|---|
| 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.03856#IOI2 (statement). In HTBRYNPHSJ/e1, proposition 3.7
History
- 2026-10-29: add by m2/v0.4.12
Homological conjectures E20EMARZVT
| URI | m2://inv/E20EMARZVT |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#HRZL, Homological conjectures (conjecture)
History
- 2026-11-02: add by m2/dev
E20GC82H6H E20GC82H6H
| URI | m2://inv/E20GC82H6H |
|---|---|
| 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.19309#W0UI (statement). In XKENQH35DW/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Representation theorem E20WZF9B5H
| URI | m2://inv/E20WZF9B5H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theorem, Representation theorem (statement). Also Wikidata Q7314222
History
- 2026-11-02: add by m2/dev
E20ZZCJFPQ E20ZZCJFPQ
| URI | m2://inv/E20ZZCJFPQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#HMHV (definition). In CGA36VE1C5/e1, definition 2.1.9
History
- 2026-10-27: add by m2/v0.3.6
twin primes constant E212A6WY37
| URI | m2://inv/E212A6WY37 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55731453, twin primes constant (object). Also MathWorld TwinPrimesConstant, OEIS A005597
History
- 2026-10-26: add by m2/dev
divergent series E214AFTYMX
| URI | m2://inv/E214AFTYMX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#PTIX, divergent series (definition)
History
- 2026-11-02: add by m2/dev
E21BCH083Y E21BCH083Y
| URI | m2://inv/E21BCH083Y |
|---|---|
| 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.21388#9WWD (statement). In 3X4E9KSVWV/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.4.2
Kakuro (Cross Sums) E21SP28RP3
| URI | m2://inv/E21SP28RP3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#5FZY, Kakuro (Cross Sums) (definition)
History
- 2026-11-02: add by m2/dev
Compound of three tetrahedra E21W6W7PC0
| URI | m2://inv/E21W6W7PC0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#UCPP, Compound of three tetrahedra (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#KG57, Compound of three tetrahedra (definition)
History
- 2026-11-02: add by m2/dev
Chomsky–Schützenberger representation theorem E21WE5A6G8
| URI | m2://inv/E21WE5A6G8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527040, Chomsky–Schützenberger representation theorem (statement). Also Wikidata Q3527040
- thousand_plus: thousand_plus Q3527040, Chomsky–Schützenberger representation theorem (statement). Also Wikidata Q3527040, Wikipedia Chomsky–Schützenberger representation theorem
- wikipedia: Wikipedia Chomsky–Schützenberger representation theorem, Chomsky–Schützenberger representation theorem (statement). Also Wikidata Q3527040
History
- 2026-10-26: add by m2/dev
E2266TCRPN E2266TCRPN
| URI | m2://inv/E2266TCRPN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16875#19GX (statement). In KS30K5JXGB/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
E228E5RV41 E228E5RV41
| URI | m2://inv/E228E5RV41 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#VMI8 (statement). In ZA6XNBA90V/e1, proposition 3.13
History
- 2026-10-27: add by m2/v0.3.5
Tangent space E22A69K5N8
| URI | m2://inv/E22A69K5N8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#MPJ8, Tangent space (definition)
History
- 2026-11-02: add by m2/dev
Calderón E22CN76159
| URI | m2://inv/E22CN76159 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#J1LD, Calderón (definition)
History
- 2026-11-02: add by m2/dev
E22DAZ41T0 E22DAZ41T0
| URI | m2://inv/E22DAZ41T0 |
|---|---|
| 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.10221#WSPY (statement). In 9Z5M655EPV/e1, lemma 5.12
History
- 2026-10-29: add by m2/v0.4.10
injective object E22F48NP5M
| URI | m2://inv/E22F48NP5M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Injective object 5QRFTBF4PG |
Mentions
- wikidata: Wikidata Q1625040, injective object (definition). Also EoM Injective_object, nLab injective object, ProofWiki Definition:Injective_Object
- wikipedia: Wikipedia Injective object, Injective object (definition). Also Wikidata Q1625040
History
- 2026-10-26: add by m2/dev
E22Q33W6V8 E22Q33W6V8
| URI | m2://inv/E22Q33W6V8 |
|---|---|
| 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 2211.10816#N0QN (statement). In 8VNN8PX49Y/e1, lemma 15
History
- 2026-10-27: add by m2/v0.3.6
Po-Shen Loh E22XX5A3QV
| URI | m2://inv/E22XX5A3QV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Po-Shen Loh, Po-Shen Loh (topic). Also Wikidata Q46996230
History
- 2026-11-02: add by m2/dev
E231RCETAM E231RCETAM
| URI | m2://inv/E231RCETAM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13972#HWJZ (statement). In S1KHNS8XQM/e1, corollary 2.8
History
- 2026-10-28: add by m2/v0.4.2
E2387RF056 E2387RF056
| URI | m2://inv/E2387RF056 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10581#Z3TZ (definition). In 6V42A71SPC/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.10
E23S330AHD E23S330AHD
| URI | m2://inv/E23S330AHD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#I86W (statement). In 5KR3MHYVV6/e1, corollary 6.5
History
- 2026-10-28: add by m2/v0.4.2
SciPy E23S9WK0AT
| URI | m2://inv/E23S9WK0AT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#MVC4, SciPy (unknown)
History
- 2026-11-02: add by m2/dev
Uniform plug-in descent bound---semantic-map extension E23VKB70NP
| URI | m2://inv/E23VKB70NP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.20207#MW39, Uniform plug-in descent bound---semantic-map extension (statement)
History
- 2026-11-02: add by m2/v0.6.18
E244QNFN7H E244QNFN7H
| URI | m2://inv/E244QNFN7H |
|---|---|
| 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#O8SJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Petersson inner product E24BRGY6FD
| URI | m2://inv/E24BRGY6FD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petersson inner product, Petersson inner product (definition). Also Wikidata Q2079742
History
- 2026-11-02: add by m2/dev
Non-logical axioms E24JGMNA0Y
| URI | m2://inv/E24JGMNA0Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom#SZ6P, Non-logical axioms (statement)
History
- 2026-11-02: add by m2/dev
Hinged dissection E24KDHDBXW
| URI | m2://inv/E24KDHDBXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hinged dissection, Hinged dissection (definition). Also Wikidata Q17029894
History
- 2026-11-02: add by m2/dev
E24KS32Y9X E24KS32Y9X
| URI | m2://inv/E24KS32Y9X |
|---|---|
| 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.14847#2WPM (statement). In 2RC8WXQ9ET/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
E24MXFZH44 E24MXFZH44
| URI | m2://inv/E24MXFZH44 |
|---|---|
| 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.10937#TJY4 (statement). In 6VVK3YTABP/e1, proposition 2.12
History
- 2026-10-28: add by m2/v0.4.3
Universal anchor floor E24PHC72TG
| URI | m2://inv/E24PHC72TG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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.00295#PJGZ, Universal anchor floor (statement). In 7HXP270BD0/e1, lemma 3.11
History
- 2026-10-30: add by m2/v0.4.12
Hermitian Yang–Mills connection E24QV54DR1
| URI | m2://inv/E24QV54DR1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermitian Yang–Mills connection, Hermitian Yang–Mills connection (definition). Also Wikidata Q5349809
History
- 2026-11-02: add by m2/dev
E24QZJEF9N E24QZJEF9N
| URI | m2://inv/E24QZJEF9N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09812#RYHZ (statement). In NWWKD8YX57/e1, corollary 5.4
History
- 2026-10-29: add by m2/v0.4.10
Median test error rate E24VNWD47C
| URI | m2://inv/E24VNWD47C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10840#AV64, Median test error rate (statement). In JSJQEPY71E/e1, lemma 3.10
History
- 2026-10-28: add by m2/v0.4.3
E251R1VGD4 E251R1VGD4
| URI | m2://inv/E251R1VGD4 |
|---|---|
| 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.05784#9311 (definition). In 6NVP3YRWVA/e1, definition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Ramsey's theorem and Turán's theorem E253AATK47
| URI | m2://inv/E253AATK47 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramsey-Turán theory#BXJ7, Ramsey's theorem and Turán's theorem (statement)
History
- 2026-11-02: add by m2/dev
E257YPMEH4 E257YPMEH4
| URI | m2://inv/E257YPMEH4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-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.03756#DLHP (statement). In 2381M4GBTT/e1, corollary 11.4
History
- 2026-10-29: add by m2/v0.4.12
Implementations E25AFNPDMR
| URI | m2://inv/E25AFNPDMR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Code signing#E9V2, Implementations (definition)
History
- 2026-11-02: add by m2/dev
E25ANZK0RC E25ANZK0RC
| URI | m2://inv/E25ANZK0RC |
|---|---|
| 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.28374#9SVJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kirik the Novgorodian E25C8QC9NS
| URI | m2://inv/E25C8QC9NS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kirik the Novgorodian, Kirik the Novgorodian (topic). Also Wikidata Q435083
History
- 2026-11-02: add by m2/dev
Applications E25EZGGZNG
| URI | m2://inv/E25EZGGZNG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sznajd model#QMVT, Applications (example)
History
- 2026-11-02: add by m2/dev
E25QRRV36J E25QRRV36J
| URI | m2://inv/E25QRRV36J |
|---|---|
| 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#EIJC (statement)
History
- 2026-11-02: add by m2/v0.6.18
E25Z26DMHY E25Z26DMHY
| URI | m2://inv/E25Z26DMHY |
|---|---|
| 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.27393#C15J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Without loss of generality E25ZWEBXJT
| URI | m2://inv/E25ZWEBXJT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Without loss of generality, Without loss of generality (definition). Also Wikidata Q162252
History
- 2026-11-02: add by m2/dev
E2626M3TWV E2626M3TWV
| URI | m2://inv/E2626M3TWV |
|---|---|
| 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 2203.15223#Y56F (statement). In HSY17Q75DM/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
E264TNYMKG E264TNYMKG
| URI | m2://inv/E264TNYMKG |
|---|---|
| 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.14068#DJ1M (statement). In JF19FEH3SW/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Symmetry E2685DW9FQ
| URI | m2://inv/E2685DW9FQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rhombihexaoctagonal tiling#12PE, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
E268MEZQKT E268MEZQKT
| URI | m2://inv/E268MEZQKT |
|---|---|
| Kind | example |
| 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.27974#F0A0 (example)
History
- 2026-11-01: add by m2/v0.6.15
Cotton swab E26D7YQ2XH
| URI | m2://inv/E26D7YQ2XH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#MU83, Cotton swab (unknown)
History
- 2026-11-02: add by m2/dev
e-folding E26K9TZMPQ
| URI | m2://inv/E26K9TZMPQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#W4LD, e-folding (unknown)
History
- 2026-11-02: add by m2/dev
E26M0CAFMA E26M0CAFMA
| URI | m2://inv/E26M0CAFMA |
|---|---|
| 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.08935#5GD9 (statement). In G02N9D40B9/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.10
Set constraint E26VD348QZ
| URI | m2://inv/E26VD348QZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Set constraint, Set constraint (definition). Also Wikidata Q18357189
History
- 2026-11-02: add by m2/dev
E26W09Y7FF E26W09Y7FF
| URI | m2://inv/E26W09Y7FF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2609.27886#ZSRN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications E26W0WG596
| URI | m2://inv/E26W0WG596 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi operator#8JHH, Applications (example)
History
- 2026-11-02: add by m2/dev
The measurable half is unchanged E26ZWF7TEB
| URI | m2://inv/E26ZWF7TEB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.26270#RTJL, The measurable half is unchanged (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cube E273FC8Y2N
| URI | m2://inv/E273FC8Y2N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#JAPZ, Cube (unknown)
History
- 2026-11-02: add by m2/dev
Theorem and its converse E274AAJZQZ
| URI | m2://inv/E274AAJZQZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric mean theorem#ETGW, Theorem and its converse (statement)
History
- 2026-11-02: add by m2/dev
David Oppenheim E276DMNSFY
| URI | m2://inv/E276DMNSFY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#XD2A, David Oppenheim (unknown)
History
- 2026-11-02: add by m2/dev
E27A4HSSAH E27A4HSSAH
| URI | m2://inv/E27A4HSSAH |
|---|---|
| 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.28075#ZT54 (statement)
History
- 2026-11-01: add by m2/v0.6.15
E27AG6M7FN E27AG6M7FN
| URI | m2://inv/E27AG6M7FN |
|---|---|
| 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#RJ10 (statement). In CC6S1HVK0T/e1, lemma E.17
History
- 2026-10-28: add by m2/v0.4.2
E27AZP98KM E27AZP98KM
| URI | m2://inv/E27AZP98KM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#3ZEW (statement). In 7SSKW778T8/e1, proposition 9.4
History
- 2026-10-29: add by m2/v0.4.10
Largest common subtree in superlinear preferential attachment trees E27JTE5KE6
| URI | m2://inv/E27JTE5KE6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30098#QYYA, Largest common subtree in superlinear preferential attachment trees (statement)
History
- 2026-11-01: add by m2/v0.6.15
automorphism E27K7YK7H4
| URI | m2://inv/E27K7YK7H4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#WZD3, automorphism (definition)
History
- 2026-11-02: add by m2/dev
Fermat number E27QYZDX9R
| URI | m2://inv/E27QYZDX9R |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#EO97, Fermat number (conjecture)
History
- 2026-11-02: add by m2/dev
Examples E27R3KNZ2N
| URI | m2://inv/E27R3KNZ2N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse curve#0PIX, Examples (example)
History
- 2026-11-02: add by m2/dev
Continuously differentiable function E27RT4YKYP
| URI | m2://inv/E27RT4YKYP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#XBVI, Continuously differentiable function (definition)
History
- 2026-11-02: add by m2/dev
Surjunctive group E28DT0BB55
| URI | m2://inv/E28DT0BB55 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surjunctive group, Surjunctive group (definition). Also Wikidata Q7646415
History
- 2026-11-02: add by m2/dev
Cell $\Cell1$ E28DWJEY8G
| URI | m2://inv/E28DWJEY8G |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#0OLV, Cell $\Cell1$ (example)
History
- 2026-11-01: add by m2/v0.6.15
E28EGQW942 E28EGQW942
| URI | m2://inv/E28EGQW942 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35398#ICHT (statement). In NAJCCHYXR6/e1, lemma 3.13
History
- 2026-10-30: add by m2/v0.4.12
E28KNPT3DC E28KNPT3DC
| URI | m2://inv/E28KNPT3DC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.17066#X12S (definition). In X2AEJAQEP8/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
E28MT53Q7S E28MT53Q7S
| URI | m2://inv/E28MT53Q7S |
|---|---|
| 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 2207.12181#UOIY (statement). In FSD8NE3XSR/e1, corollary 7.8
History
- 2026-10-27: add by m2/v0.4.0
Marie-Claude Gaudel E28W50W9VK
| URI | m2://inv/E28W50W9VK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marie-Claude Gaudel, Marie-Claude Gaudel (topic). Also Wikidata Q21127205
History
- 2026-11-02: add by m2/dev
Gold code E28WPHM9BG
| URI | m2://inv/E28WPHM9BG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gold code, Gold code (definition). Also Wikidata Q2635984
History
- 2026-11-02: add by m2/dev
E28XN29G14 E28XN29G14
| URI | m2://inv/E28XN29G14 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.40200#O7J0 (statement). In VWNB6QJWFN/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
Translates of a fixed curve E28XQEKYMA
| URI | m2://inv/E28XQEKYMA |
|---|---|
| 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.33327#G4SR, Translates of a fixed curve (statement). In A5R31P82BK/e1, corollary 8.3
History
- 2026-10-30: add by m2/v0.4.12
E28ZMW4KYP E28ZMW4KYP
| URI | m2://inv/E28ZMW4KYP |
|---|---|
| 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.01354#3JK9 (statement). In BWD76W20W8/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
Monad E2912EBW51
| URI | m2://inv/E2912EBW51 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monad (nonstandard analysis), Monad (definition). Also Wikidata Q6897850
History
- 2026-11-02: add by m2/dev
Properties E29AJVQD34
| URI | m2://inv/E29AJVQD34 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lexicographic optimization#HZ7W, Properties (statement)
History
- 2026-11-02: add by m2/dev
E29D1YAJW4 E29D1YAJW4
| URI | m2://inv/E29D1YAJW4 |
|---|---|
| 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.29227#4T2B (statement)
History
- 2026-11-01: add by m2/v0.6.15
E29EDFWW8M E29EDFWW8M
| URI | m2://inv/E29EDFWW8M |
|---|---|
| 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.12479#ZMPJ (statement). In WE001PR75Z/e1, proposition 13
History
- 2026-10-28: add by m2/v0.4.2
Evolutionary data mining E29FXJ7XVJ
| URI | m2://inv/E29FXJ7XVJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evolutionary data mining, Evolutionary data mining (definition). Also Wikidata Q5418695
History
- 2026-11-02: add by m2/dev
Scalar Rellich compactness on rectangles E29T7TDBZA
| URI | m2://inv/E29T7TDBZA |
|---|---|
| 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.33033#1JFG, Scalar Rellich compactness on rectangles (statement). In AJWBAHJ8VD/e1, proposition 5.8
History
- 2026-10-31: add by m2/v0.5.6
E2A8NS46HH E2A8NS46HH
| URI | m2://inv/E2A8NS46HH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25289#TIN3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cauchy, sequence E2A96B8Z3S
| URI | m2://inv/E2A96B8Z3S |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3/cauchy-sequence, Cauchy, sequence (concept). In N54F33XE07, index, section B.3
History
- 2026-11-01: add by m2/v0.6.13
infinite progressions E2AAAQ8AHW
| URI | m2://inv/E2AAAQ8AHW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.04000#F61B, infinite progressions (statement). In CBCCH5VTMQ/e1, theorem 2.12
History
- 2026-10-29: add by m2/v0.4.12
Algorithm E2AEM96VSM
| URI | m2://inv/E2AEM96VSM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RC5#I9LS, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Generalization E2AF0A7EFV
| URI | m2://inv/E2AF0A7EFV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-Anosov map#HZWU, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Open problem E2AFK1ZN3X
| URI | m2://inv/E2AFK1ZN3X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Babai's problem#EPO0, Open problem (statement)
History
- 2026-11-02: add by m2/dev
Cusp persistence and no splitting at infinity E2AV2XN1TH
| URI | m2://inv/E2AV2XN1TH |
|---|---|
| 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.26152#BSA4, Cusp persistence and no splitting at infinity (statement)
History
- 2026-11-01: add by m2/v0.6.15
E2AWHNJ861 E2AWHNJ861
| URI | m2://inv/E2AWHNJ861 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00562#VR35 (statement). In 99CQPHSSYF/e1, corollary \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
5-cell E2AWRPNJZF
| URI | m2://inv/E2AWRPNJZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#VOR9, 5-cell (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#I141, 5-cell (definition)
History
- 2026-11-02: add by m2/dev
E2B7XHE62K E2B7XHE62K
| URI | m2://inv/E2B7XHE62K |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/spine/recursion.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 74.5
History
- 2026-11-01: add by m2/v0.6.13
E2B8YSTSZ1 E2B8YSTSZ1
| URI | m2://inv/E2B8YSTSZ1 |
|---|---|
| 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.01924#UVK8 (statement). In CB89152EQW/e1, lemma 13
History
- 2026-10-29: add by m2/v0.4.12
Exact innovation variance E2BGWAPHT6
| URI | m2://inv/E2BGWAPHT6 |
|---|---|
| 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.00614#KDR9, Exact innovation variance (statement). In NC5Z77F6H4/e1, proposition 8.1
History
- 2026-10-30: add by m2/v0.4.12
E2BQSC45TM E2BQSC45TM
| URI | m2://inv/E2BQSC45TM |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#FBXY (unknown). In R2XC1SC9NZ/e1, unknown 7
History
- 2026-10-27: add by m2/v0.3.5
Cramér's inequality E2C13NPZE6
| URI | m2://inv/E2C13NPZE6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermite polynomials#JHFI, Cramér's inequality (statement)
History
- 2026-11-02: add by m2/dev
Coupling transport plans E2C8RRX4YX
| URI | m2://inv/E2C8RRX4YX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 62-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.35574#N1O6, Coupling transport plans (statement). In 3Q70DMD7Z7/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
Maximal function E2CDW2TS3E
| URI | m2://inv/E2CDW2TS3E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximal function, Maximal function (definition). Also Wikidata Q6795639
History
- 2026-11-02: add by m2/dev
``The Basic Lemma'' , Theorems 2.1.1, 2.1.3, 2.1.5, 2.1.6 , Corollary 5.6 E2CHNZAX7G
| URI | m2://inv/E2CHNZAX7G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04593#CRK3, ``The Basic Lemma'' , Theorems 2.1.1, 2.1.3, 2.1.5, 2.1.6 , Corollary 5.6 (statement). In PEXJPV3NP8/e1, theorem 2.26
History
- 2026-10-27: add by m2/v0.3.5
E2CW434QZ5 E2CW434QZ5
| URI | m2://inv/E2CW434QZ5 |
|---|---|
| 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 2610.21103#IUYY (statement). In VZCZEDCG8J/e1, corollary 3.9
History
- 2026-10-27: add by m2/v0.4.2
hyperelliptic E2CXYNGQY6
| URI | m2://inv/E2CXYNGQY6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#VCS4, hyperelliptic (definition)
History
- 2026-11-02: add by m2/dev
E2CYCWRA6H E2CYCWRA6H
| URI | m2://inv/E2CYCWRA6H |
|---|---|
| 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.21532#1LKC (statement)
History
- 2026-11-02: add by m2/v0.6.18
Yakov Eliashberg E2D0CWS1F2
| URI | m2://inv/E2D0CWS1F2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#FJ9O, Yakov Eliashberg (topic)
History
- 2026-11-02: add by m2/dev
E2D0V2NQ1B E2D0V2NQ1B
| URI | m2://inv/E2D0V2NQ1B |
|---|---|
| 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.26017#N02J (statement)
History
- 2026-11-01: add by m2/v0.6.15
James Ibori E2D35DP897
| URI | m2://inv/E2D35DP897 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#GANC, James Ibori (unknown)
History
- 2026-11-02: add by m2/dev
The determinant of a $2 \times 2$ matrix E2DJCM08D8
| URI | m2://inv/E2DJCM08D8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/dets.tex#example-3, The determinant of a $2 \times 2$ matrix (example). In RZP28ERRZV, example, section 56.2
History
- 2026-11-01: add by m2/v0.6.13
Alexanderson Award E2DMNSX770
| URI | m2://inv/E2DMNSX770 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexanderson Award, Alexanderson Award (definition). Also Wikidata Q125503811
History
- 2026-11-02: add by m2/dev
Algorithmic inference E2DYA5MKVY
| URI | m2://inv/E2DYA5MKVY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithmic inference, Algorithmic inference (definition). Also Wikidata Q4724363
History
- 2026-11-02: add by m2/dev
Krener's theorem E2E85Z1ARR
| URI | m2://inv/E2E85Z1ARR |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 93-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6436753, Krener's theorem (statement). Also Wikidata Q6436753
- thousand_plus: thousand_plus Q6436753, Krener's theorem (statement). Also Wikidata Q6436753, Wikipedia Krener's theorem
- wikipedia: Wikipedia Krener's theorem, Krener's theorem (statement). Also Wikidata Q6436753
History
- 2026-10-26: add by m2/dev
Plackett, Robin E2EAK8WW2M
| URI | m2://inv/E2EAK8WW2M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#P390, Plackett, Robin (topic)
History
- 2026-11-02: add by m2/dev
E2EDGP5ERS E2EDGP5ERS
| URI | m2://inv/E2EDGP5ERS |
|---|---|
| Kind | example |
| 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.06556#RCHX (example). In KW8C7VE9XR/e1, example 15
History
- 2026-10-29: add by m2/v0.4.10
E2EW2SHRTX E2EW2SHRTX
| URI | m2://inv/E2EW2SHRTX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.28861#QAZQ (statement). In A3VQ2TNRKK/e1, corollary 10.2
History
- 2026-10-27: add by m2/v0.4.0
Sufficient dimension reduction E2F05HZXXJ
| URI | m2://inv/E2F05HZXXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8V8S, Sufficient dimension reduction (definition)
History
- 2026-11-02: add by m2/dev
E2F6CW58MF E2F6CW58MF
| URI | m2://inv/E2F6CW58MF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/top-more.tex#definition-9 (definition). In RZP28ERRZV, definition, section 101.6
History
- 2026-11-01: add by m2/v0.6.13
Misuse of statistics E2F9GGJWWG
| URI | m2://inv/E2F9GGJWWG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#95RE, Misuse of statistics (definition)
History
- 2026-11-02: add by m2/dev
Weakly harmonic function E2FAYFCE5Y
| URI | m2://inv/E2FAYFCE5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weakly harmonic function, Weakly harmonic function (definition). Also Wikidata Q7977981
History
- 2026-11-02: add by m2/dev
E2FGMGJDQT E2FGMGJDQT
| URI | m2://inv/E2FGMGJDQT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17227#A3F7 (statement). In DDNP38CHQJ/e1, lemma 2.10
History
- 2026-10-27: add by m2/v0.3.5
Theorem E2G885BPYV
| URI | m2://inv/E2G885BPYV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic dominance#22ZA, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Broken diagonal E2GDJVGN1W
| URI | m2://inv/E2GDJVGN1W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Broken diagonal, Broken diagonal (definition). Also Wikidata Q19799636
History
- 2026-11-02: add by m2/dev
Homotopy inverse and direct limits E2GR6GGD9D
| URI | m2://inv/E2GR6GGD9D |
|---|---|
| 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.21534#DBR7, Homotopy inverse and direct limits (example)
History
- 2026-11-02: add by m2/v0.6.18
Cantor's paradox and Cantorian sets E2GZ8WZ574
| URI | m2://inv/E2GZ8WZ574 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia New Foundations#GNXH, Cantor's paradox and Cantorian sets (statement)
History
- 2026-11-02: add by m2/dev
E2GZMTR715 E2GZMTR715
| URI | m2://inv/E2GZMTR715 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13260#NTML (statement). In ZBQX9341RV/e1, proposition 10.1
History
- 2026-10-28: add by m2/v0.4.2
E2H2Y70CTR E2H2Y70CTR
| URI | m2://inv/E2H2Y70CTR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27125#OKCI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Approximate $\tau$-curvature vector field, cf.\ E2HE5M4CV8
| URI | m2://inv/E2HE5M4CV8 |
|---|---|
| Kind | definition |
| 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.24451#SHMG, Approximate $\tau$-curvature vector field, cf.\ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Joseph Berkson E2HJR4KRPC
| URI | m2://inv/E2HJR4KRPC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#QJX4, Joseph Berkson (topic)
History
- 2026-11-02: add by m2/dev
Special cases E2HR13HZKS
| URI | m2://inv/E2HR13HZKS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point in polygon#LAHO, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Chinese remainder theorem E2HRRHBJ6H
| URI | m2://inv/E2HRRHBJ6H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#XQC2, Chinese remainder theorem (definition)
History
- 2026-11-02: add by m2/dev
Notation E2HX4EG2PW
| URI | m2://inv/E2HX4EG2PW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gamma process#DL9X, Notation (definition)
History
- 2026-11-02: add by m2/dev
structure, semigroup E2J47X44E6
| URI | m2://inv/E2J47X44E6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.14/structure-semigroup, structure, semigroup (concept). In N54F33XE07, index, section 1.14
History
- 2026-11-01: add by m2/v0.6.13
Casio Algebra FX Series E2J6RVB9M3
| URI | m2://inv/E2J6RVB9M3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Casio Algebra FX Series, Casio Algebra FX Series (definition). Also Wikidata Q48836589
History
- 2026-11-02: add by m2/dev
E2J89HC5VY E2J89HC5VY
| URI | m2://inv/E2J89HC5VY |
|---|---|
| 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 2402.17852#AZSD (statement). In 1WCXV5PVZA/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.4.0
E2JCF7ZV66 E2JCF7ZV66
| URI | m2://inv/E2JCF7ZV66 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#RXBF (example). In HX63A1PH1W/e1, example 5.7
History
- 2026-10-28: add by m2/v0.4.3
E2JJTRAF5H E2JJTRAF5H
| URI | m2://inv/E2JJTRAF5H |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06441#RQX0 (unknown). In YFJ62HWHVK/e1, unknown 4.2
History
- 2026-10-29: add by m2/v0.4.10
E2JYVPF1WT E2JYVPF1WT
| URI | m2://inv/E2JYVPF1WT |
|---|---|
| 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 2310.02073#MRT1 (statement). In 3PNCRG6J62/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
The second theorem E2K0F22574
| URI | m2://inv/E2K0F22574 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert–Bernays–Löb provability conditions#AXTY, The second theorem (statement)
History
- 2026-11-02: add by m2/dev
E2K9GR1D50 E2K9GR1D50
| URI | m2://inv/E2K9GR1D50 |
|---|---|
| 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.13613#U2P8 (statement). In 3HCT4TQ5PM/e1, corollary 4.2
History
- 2026-10-28: add by m2/v0.4.2
Reversi E2K9YYXSWA
| URI | m2://inv/E2K9YYXSWA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#KSAI, Reversi (unknown)
History
- 2026-11-02: add by m2/dev
E2KA9ABDZK E2KA9ABDZK
| URI | m2://inv/E2KA9ABDZK |
|---|---|
| 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 2609.24465#DLHE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Shallow representation lower bound E2KD62JK8R
| URI | m2://inv/E2KD62JK8R |
|---|---|
| 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.10875#NYPN, Shallow representation lower bound (statement). In N91F15MHW1/e1, lemma 28
History
- 2026-10-28: add by m2/v0.4.3
E2KHP2M9QT E2KHP2M9QT
| URI | m2://inv/E2KHP2M9QT |
|---|---|
| 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 2309.16041#KQ20 (statement). In 2GD6NWJVRM/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
Alchian–Allen theorem E2KJHDHV6F
| URI | m2://inv/E2KJHDHV6F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#YWVT, Alchian–Allen theorem (definition)
History
- 2026-11-02: add by m2/dev
\textbf{Linear growth of $p$-connecting genus E2KQSFX9F0
| URI | m2://inv/E2KQSFX9F0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20716#D3GX, \textbf{Linear growth of $p$-connecting genus (example)
History
- 2026-11-02: add by m2/v0.6.18
E2KRXBM943 E2KRXBM943
| URI | m2://inv/E2KRXBM943 |
|---|---|
| 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 2305.13184#ET3N (statement). In SKYG9GMA96/e1, proposition C.2
History
- 2026-10-27: add by m2/v0.3.6
Characterizations E2MBY4B63B
| URI | m2://inv/E2MBY4B63B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hurewicz space#F0A6, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Object-Oriented Turing E2MFBM9FRE
| URI | m2://inv/E2MFBM9FRE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#KV25, Object-Oriented Turing (unknown)
History
- 2026-11-02: add by m2/dev
S. Tschapligin E2MG7FAWX1
| URI | m2://inv/E2MG7FAWX1 |
|---|---|
| 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#YFAQ, S. Tschapligin (unknown)
History
- 2026-11-02: add by m2/dev
bigyrate diminished rhombicosidodecahedron E2MHY91F65
| URI | m2://inv/E2MHY91F65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1709357, bigyrate diminished rhombicosidodecahedron (object). Also MathWorld BigyrateDiminishedRhombicosidodecahedron
- wikipedia: Wikipedia Bigyrate diminished rhombicosidodecahedron, Bigyrate diminished rhombicosidodecahedron (definition). Also Wikidata Q1709357
History
- 2026-10-26: add by m2/dev
E2MQQPH6MB E2MQQPH6MB
| URI | m2://inv/E2MQQPH6MB |
|---|---|
| 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 2310.10361#9PGS (statement). In 65ED1ZXG98/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.6
E2MVEGJAWA E2MVEGJAWA
| URI | m2://inv/E2MVEGJAWA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24320#C74Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Muller's method E2MVTZ6D3B
| URI | m2://inv/E2MVTZ6D3B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Muller's method E4FMVDQ2GR |
Mentions
- wikidata: Wikidata Q2090477, Muller's method (unknown). Also MathWorld MullersMethod
- wikipedia: Wikipedia Muller's method, Muller's method (definition). Also Wikidata Q2090477
History
- 2026-10-26: add by m2/dev
A priori probability E2MWVZ203X
| URI | m2://inv/E2MWVZ203X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5K7A, A priori probability (definition)
History
- 2026-11-02: add by m2/dev
Variations E2MXM48GTT
| URI | m2://inv/E2MXM48GTT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Church–Turing thesis#19W9, Variations (statement)
History
- 2026-11-02: add by m2/dev
Construction E2N1ENY1VG
| URI | m2://inv/E2N1ENY1VG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Augmented truncated tetrahedron#WMDT, Construction (definition)
History
- 2026-11-02: add by m2/dev
Energy estimate E2N2SM4B0V
| URI | m2://inv/E2N2SM4B0V |
|---|---|
| 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#0XTB, Energy estimate (statement). In 65TJENWK7X/e1, lemma 33
History
- 2026-10-29: add by m2/v0.4.10
Dwork family E2N2SPF418
| URI | m2://inv/E2N2SPF418 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dwork family, Dwork family (definition). Also Wikidata Q5318321
History
- 2026-11-02: add by m2/dev
E2NBVXQDFY E2NBVXQDFY
| URI | m2://inv/E2NBVXQDFY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31910#Q2AA (example). In E4EK1XXPY4/e1, example 3.10
History
- 2026-10-31: add by m2/v0.5.6
E2NEHCD44M E2NEHCD44M
| URI | m2://inv/E2NEHCD44M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23522#JBOS (statement)
History
- 2026-11-02: add by m2/v0.6.17
E2NN3MY6MW E2NN3MY6MW
| URI | m2://inv/E2NN3MY6MW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.10559#2L01 (statement). In WEP0PNJW09/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.10
Leon Takhtajan E2NRY4QYZJ
| URI | m2://inv/E2NRY4QYZJ |
|---|---|
| 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#L7AE, Leon Takhtajan (topic)
History
- 2026-11-02: add by m2/dev
Digital rights management E2NTCK50H5
| URI | m2://inv/E2NTCK50H5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital rights management, Digital rights management (definition). Also Wikidata Q192532
History
- 2026-11-02: add by m2/dev
Finite local exponents E2PAF9S2ZG
| URI | m2://inv/E2PAF9S2ZG |
|---|---|
| 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.12387#3P91, Finite local exponents (statement). In 3Z0PRE77SY/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
E2PG7AAQE6 E2PG7AAQE6
| URI | m2://inv/E2PG7AAQE6 |
|---|---|
| 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#DIIY (statement). In XDQAEGH345/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
splitting field E2PJNDRCQZ
| URI | m2://inv/E2PJNDRCQZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Field theory > splitting field, splitting field (unknown). Also Mathlib Polynomial.SplittingField
- mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > splitting fields, splitting fields (unknown). Also Mathlib Polynomial.SplittingField
History
- 2026-10-26: add by m2/dev
Substitution model E2PNA0E00G
| URI | m2://inv/E2PNA0E00G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Substitution model, Substitution model (definition). Also Wikidata Q7632136
History
- 2026-11-02: add by m2/dev
Digon E2PR89075K
| URI | m2://inv/E2PR89075K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#UD7W, Digon (definition)
History
- 2026-11-02: add by m2/dev
Higgs mechanism E2PXV5VBMH
| URI | m2://inv/E2PXV5VBMH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#WNJ3, Higgs mechanism (definition)
History
- 2026-11-02: add by m2/dev
E2PZGWM8RQ E2PZGWM8RQ
| URI | m2://inv/E2PZGWM8RQ |
|---|---|
| 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.24541#TOFM (statement)
History
- 2026-11-01: add by m2/v0.6.15
E2PZSJD13G E2PZSJD13G
| URI | m2://inv/E2PZSJD13G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11047#SBR2 (statement). In MNQAZ70XTH/e1, lemma 8.2
History
- 2026-10-28: add by m2/v0.4.3
basis vector E2Q652D7C8
| URI | m2://inv/E2Q652D7C8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#J09S, basis vector (definition)
History
- 2026-11-02: add by m2/dev
function, Lipschitz E2QAT5Y6CM
| URI | m2://inv/E2QAT5Y6CM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/2.4.3/function-lipschitz, function, Lipschitz (concept). In E59CDZA4DP, index, section 2.4.3
History
- 2026-11-01: add by m2/v0.6.13
Representations E2QBBC1D6B
| URI | m2://inv/E2QBBC1D6B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McLaughlin sporadic group#WD9A, Representations (definition)
History
- 2026-11-02: add by m2/dev
Cross-sectional data E2QCA9VY93
| URI | m2://inv/E2QCA9VY93 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-sectional data, Cross-sectional data (definition). Also Wikidata Q3304360
History
- 2026-11-02: add by m2/dev
Compound Poisson process E2QGXP4SBV
| URI | m2://inv/E2QGXP4SBV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OJER, Compound Poisson process (definition)
History
- 2026-11-02: add by m2/dev
Squashed Gaussian Policies E2QJJGDZP6
| URI | m2://inv/E2QJJGDZP6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35466#NPFN, Squashed Gaussian Policies (definition). In MVR35ZJPCC/e1, definition 2
History
- 2026-10-30: add by m2/v0.4.12
E2QQ020Z5H E2QQ020Z5H
| URI | m2://inv/E2QQ020Z5H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.39824#IHIV (statement). In REPGS464V6/e1, proposition 7.1
History
- 2026-10-30: add by m2/v0.4.12
Harrison-Trainor E2QTG5QZF7
| URI | m2://inv/E2QTG5QZF7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05611#XQ9P, Harrison-Trainor (statement). In QDTX6NXFEB/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
Bernadette Charron-Bost E2QVE1N4FE
| URI | m2://inv/E2QVE1N4FE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SP73, Bernadette Charron-Bost (unknown)
History
- 2026-11-02: add by m2/dev
E2R6NGCJ8P E2R6NGCJ8P
| URI | m2://inv/E2R6NGCJ8P |
|---|---|
| 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 2510.09873#GHCB (statement). In KNB3ZCNC9Q/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.3.5
Definition E2R77ZKA60
| URI | m2://inv/E2R77ZKA60 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyadic space#J8GV, Definition (definition)
History
- 2026-11-02: add by m2/dev
E2RAAWWDWR E2RAAWWDWR
| URI | m2://inv/E2RAAWWDWR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-21 (exercise). In E9HS8K3A52, exercise, section 10.2.6
History
- 2026-11-01: add by m2/v0.6.13
The Doughnut E2REXW5MYH
| URI | m2://inv/E2REXW5MYH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Doughnut, The Doughnut (definition). Also Wikidata Q15870077
History
- 2026-11-02: add by m2/dev
Volume conjecture for the Reshetikhin–Turaev invariant E2RGM9Q8S5
| URI | m2://inv/E2RGM9Q8S5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reshetikhin–Turaev invariant#VD2A, Volume conjecture for the Reshetikhin–Turaev invariant (statement)
History
- 2026-11-02: add by m2/dev
K-finite E2RGWFFVPK
| URI | m2://inv/E2RGWFFVPK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#UMZN, K-finite (definition)
History
- 2026-11-02: add by m2/dev
Popping (computer graphics) E2RNVKY1Q5
| URI | m2://inv/E2RNVKY1Q5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#6S38, Popping (computer graphics) (unknown)
History
- 2026-11-02: add by m2/dev
E2RQHXJ1DT E2RQHXJ1DT
| URI | m2://inv/E2RQHXJ1DT |
|---|---|
| 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.29677#WH9W (statement)
History
- 2026-11-01: add by m2/v0.6.15
Zero object E2RQM45WMY
| URI | m2://inv/E2RQM45WMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero object (algebra), Zero object (definition). Also Wikidata Q16089841
History
- 2026-11-02: add by m2/dev
E2RS10XVKS E2RS10XVKS
| URI | m2://inv/E2RS10XVKS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35030#9FKL (statement). In DPT4P2BTEW/e1, lemma 2.6
History
- 2026-10-30: add by m2/v0.4.12
Definitions E2RVGT7W81
| URI | m2://inv/E2RVGT7W81 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matching (graph theory)#47H0, Definitions (definition)
History
- 2026-11-02: add by m2/dev
spectrum bias E2RVQ53PNV
| URI | m2://inv/E2RVQ53PNV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#QWM1, spectrum bias (definition)
History
- 2026-11-02: add by m2/dev
Osserman manifold E2RVZ2Y369
| URI | m2://inv/E2RVZ2Y369 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Osserman manifold, Osserman manifold (object). Also Wikidata Q130377166
History
- 2026-11-02: add by m2/dev
Trace E2S3ZP1S1T
| URI | m2://inv/E2S3ZP1S1T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02392#YB4U, Trace (definition). In W066HQZQBF/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.12
E2S73J56W7 E2S73J56W7
| URI | m2://inv/E2S73J56W7 |
|---|---|
| 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.31126#WN1O (statement). In GK1V5GEHTK/e1, theorem 4.5
History
- 2026-10-31: add by m2/v0.5.6
Graph refinement E2S97D03DE
| URI | m2://inv/E2S97D03DE |
|---|---|
| Kind | statement |
| 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#0KD8, Graph refinement (statement). In 29X0B511NF/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
Jupiter–Saturn great inequality E2SCQMPN3R
| URI | m2://inv/E2SCQMPN3R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pierre-Simon Laplace#01VH, Jupiter–Saturn great inequality (statement)
History
- 2026-11-02: add by m2/dev
E2SGBF0SX6 E2SGBF0SX6
| URI | m2://inv/E2SGBF0SX6 |
|---|---|
| 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 1204.1664#MJ5M (statement). In 66ERDN7YHW/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
RSA-200 E2SHAAAG4M
| URI | m2://inv/E2SHAAAG4M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#FNXA, RSA-200 (unknown)
History
- 2026-11-02: add by m2/dev
Baire space E2SJ3M7770
| URI | m2://inv/E2SJ3M7770 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#6XDD, Baire space (definition)
History
- 2026-11-02: add by m2/dev
E2SKEAAHQ2 E2SKEAAHQ2
| URI | m2://inv/E2SKEAAHQ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 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.28742#TYTZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties E2SSR97THH
| URI | m2://inv/E2SSR97THH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous function#DWJS, Properties (statement)
History
- 2026-11-02: add by m2/dev
E2SW6FEEVQ E2SW6FEEVQ
| URI | m2://inv/E2SW6FEEVQ |
|---|---|
| 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 2404.00077#EYZO (statement). In 25WX007DJ1/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
lattice E2T636P335
| URI | m2://inv/E2T636P335 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#QZPH, lattice (definition)
History
- 2026-11-02: add by m2/dev
Centipede game E2T6JEETSB
| URI | m2://inv/E2T6JEETSB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centipede game, Centipede game (definition). Also Wikidata Q1463264
History
- 2026-11-02: add by m2/dev
E2T8DX525R E2T8DX525R
| URI | m2://inv/E2T8DX525R |
|---|---|
| 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.25255#PUHM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Madhava of Sangamagrama E2TAYJV18C
| URI | m2://inv/E2TAYJV18C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Madhava of Sangamagrama, Madhava of Sangamagrama (topic). Also Wikidata Q115590
History
- 2026-11-02: add by m2/dev
Whitehead manifold E2TJTS008X
| URI | m2://inv/E2TJTS008X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#RYVF, Whitehead manifold (definition)
History
- 2026-11-02: add by m2/dev
E2TK6JR38R E2TK6JR38R
| URI | m2://inv/E2TK6JR38R |
|---|---|
| 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 2407.04161#WCXN (definition). In JBZJ7NPQ4G/e1, definition 5.8
History
- 2026-10-27: add by m2/v0.4.0
Applications E2TWP5GMQV
| URI | m2://inv/E2TWP5GMQV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autoregressive fractionally integrated moving average#NT80, Applications (example)
History
- 2026-11-02: add by m2/dev
E2V41AAQ72 E2V41AAQ72
| URI | m2://inv/E2V41AAQ72 |
|---|---|
| Kind | example |
| 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 2506.07061#ZY1B (example). In G2PA4KAGRP/e1, example 2.8
History
- 2026-10-27: add by m2/v0.3.6
E2V65SEDHP E2V65SEDHP
| URI | m2://inv/E2V65SEDHP |
|---|---|
| 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.08599#LS2E (statement). In DST9FWMHT6/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
Reflection formula E2V6F4SED8
| URI | m2://inv/E2V6F4SED8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digamma function#99DN, Reflection formula (statement)
History
- 2026-11-02: add by m2/dev
Tail lemma E2V7PF5D73
| URI | m2://inv/E2V7PF5D73 |
|---|---|
| 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.29605#M8U1, Tail lemma (statement)
History
- 2026-11-01: add by m2/v0.6.15
first derivative test E2VEB1HJ0H
| URI | m2://inv/E2VEB1HJ0H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/3.3.2/first-derivative-test, first derivative test (concept). In 907G4C4EJ1, index, section 3.3.2
History
- 2026-11-01: add by m2/v0.6.13
E2VPGR4KPM E2VPGR4KPM
| URI | m2://inv/E2VPGR4KPM |
|---|---|
| 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.24078#T5UP (statement)
History
- 2026-11-02: add by m2/v0.6.17
An example E2W0S8BD8V
| URI | m2://inv/E2W0S8BD8V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Similitude#7X4H, An example (example)
History
- 2026-11-02: add by m2/dev
Hubert Lilliefors E2W2Z3YHEV
| URI | m2://inv/E2W2Z3YHEV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hubert Lilliefors, Hubert Lilliefors (topic). Also Wikidata Q2603436
History
- 2026-11-02: add by m2/dev
E2W8F20B6A E2W8F20B6A
| URI | m2://inv/E2W8F20B6A |
|---|---|
| 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#QWPM (statement). In 9PXXGQ978Z/e1, lemma 4.17
History
- 2026-10-28: add by m2/v0.4.2
E2W8GEMJWY E2W8GEMJWY
| URI | m2://inv/E2W8GEMJWY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35102#ZJXW (statement). In XK6H7F2F13/e1, lemma 3.9
History
- 2026-10-30: add by m2/v0.4.12
E2WD66MPCK E2WD66MPCK
| URI | m2://inv/E2WD66MPCK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/completeness-thm.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
E2WH1RSXYH E2WH1RSXYH
| URI | m2://inv/E2WH1RSXYH |
|---|---|
| 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 2508.02432#7NFR (statement). In B366ACYB37/e1, lemma 3.18
History
- 2026-10-27: add by m2/v0.3.5
E2WPW2A020 E2WPW2A020
| URI | m2://inv/E2WPW2A020 |
|---|---|
| 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.26337#R2FN (statement)
History
- 2026-11-01: add by m2/v0.6.15
E2WQHZTWRE E2WQHZTWRE
| URI | m2://inv/E2WQHZTWRE |
|---|---|
| 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.03477#QVT6 (statement). In GXN3D4G4HE/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
Bochner's theorem E2WV0F9WDQ
| URI | m2://inv/E2WV0F9WDQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bochner's theorem (Riemannian geometry), Bochner's theorem (statement). Also Wikidata Q4936248
History
- 2026-11-02: add by m2/dev
Affine curvature E2WVVF7V6K
| URI | m2://inv/E2WVVF7V6K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine curvature, Affine curvature (definition). Also Wikidata Q4072884
History
- 2026-11-02: add by m2/dev
The Borel–Harish-Chandra theorem E2WVX1B1RA
| URI | m2://inv/E2WVX1B1RA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic group#Q5ZR, The Borel–Harish-Chandra theorem (statement)
History
- 2026-11-02: add by m2/dev
Convolution theorem E2WYJDYZ6H
| URI | m2://inv/E2WYJDYZ6H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson summation formula#M6R9, Convolution theorem (statement)
History
- 2026-11-02: add by m2/dev
Performance of the greedy policy E2X1BHDVH7
| URI | m2://inv/E2X1BHDVH7 |
|---|---|
| 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.14988#U8ZK, Performance of the greedy policy (statement). In B29M4E6KGC/e1, corollary G.3
History
- 2026-10-28: add by m2/v0.4.2
E2X1JA4XHF E2X1JA4XHF
| URI | m2://inv/E2X1JA4XHF |
|---|---|
| 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.23098#UCSU (definition)
History
- 2026-11-02: add by m2/v0.6.17
Proposition E2X1ZD60WN
| URI | m2://inv/E2X1ZD60WN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Manin matrix#D7L9, Proposition (statement)
History
- 2026-11-02: add by m2/dev
E2X57NXGZN E2X57NXGZN
| URI | m2://inv/E2X57NXGZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16562#005S (statement). In 7QGPEBC70Y/e1, corollary 4
History
- 2026-10-28: add by m2/v0.4.2
The $9$TET miniature E2XBNG7MJT
| URI | m2://inv/E2XBNG7MJT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26114#V4XV, The $9$TET miniature (example)
History
- 2026-11-01: add by m2/v0.6.15
Unitary isometry obstruction E2XBPRC7HN
| URI | m2://inv/E2XBPRC7HN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14081#B8XB, Unitary isometry obstruction (statement). In DCCKKQ7Y21/e1, theorem II.9
History
- 2026-10-28: add by m2/v0.4.2
John Kieffer E2XD2E43X2
| URI | m2://inv/E2XD2E43X2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Kieffer, John Kieffer (topic). Also Wikidata Q112109219
History
- 2026-11-02: add by m2/dev
E2XKMP5Z60 E2XKMP5Z60
| URI | m2://inv/E2XKMP5Z60 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-18 (exercise). In E9HS8K3A52, exercise, section 2.1.3
History
- 2026-11-01: add by m2/v0.6.13
J. Carson Mark E2XMWAY827
| URI | m2://inv/E2XMWAY827 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia J. Carson Mark, J. Carson Mark (topic). Also Wikidata Q323049
History
- 2026-11-02: add by m2/dev
Four Square Mile, Colorado E2XWVAPM17
| URI | m2://inv/E2XWVAPM17 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#E149, Four Square Mile, Colorado (unknown)
History
- 2026-11-02: add by m2/dev
E2XXPXSY47 E2XXPXSY47
| URI | m2://inv/E2XXPXSY47 |
|---|---|
| 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 2502.08738#ZURN (definition). In 9GMTVSTAVN/e1, definition 6.2
History
- 2026-10-27: add by m2/v0.3.5
Neural Designer E2XXS5M6KW
| URI | m2://inv/E2XXS5M6KW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#MUTT, Neural Designer (unknown)
History
- 2026-11-02: add by m2/dev
Monique Combescure E2XZBZFWT4
| URI | m2://inv/E2XZBZFWT4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monique Combescure, Monique Combescure (topic). Also Wikidata Q27805727
History
- 2026-11-02: add by m2/dev
Whitney immersion theorem E2XZW1M94M
| URI | m2://inv/E2XZW1M94M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#BO0X, Whitney immersion theorem (statement)
History
- 2026-11-02: add by m2/dev
Decomposition group E2Y47YX4HK
| URI | m2://inv/E2Y47YX4HK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic number theory topics#WR7C, Decomposition group (definition)
History
- 2026-11-02: add by m2/dev
E2Y5NZ46DE E2Y5NZ46DE
| URI | m2://inv/E2Y5NZ46DE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31294#D52A (statement). In 6GK9EJMWY4/e1, theorem 5.1
History
- 2026-10-31: add by m2/v0.5.6
Krein–Milman theorem E2Y70M2CKK
| URI | m2://inv/E2Y70M2CKK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krein–Milman theorem#WLYB, Krein–Milman theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications E2YEQK0TS8
| URI | m2://inv/E2YEQK0TS8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birational geometry#4K2F, Applications (example)
History
- 2026-11-02: add by m2/dev
De Branges function E2YQ2XDKV9
| URI | m2://inv/E2YQ2XDKV9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Branges space#SCS3, De Branges function (unknown)
History
- 2026-11-02: add by m2/dev
E2YRGJ3919 E2YRGJ3919
| URI | m2://inv/E2YRGJ3919 |
|---|---|
| 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 2205.09049#UFOZ (statement). In 37S7MNMZ2F/e1, lemma 84
History
- 2026-10-27: add by m2/v0.3.5
Ashot Petrosian E2ZCNT691V
| URI | m2://inv/E2ZCNT691V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ashot Petrosian, Ashot Petrosian (topic). Also Wikidata Q15062430
History
- 2026-11-02: add by m2/dev
Properties E2ZE6VMSSS
| URI | m2://inv/E2ZE6VMSSS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractal derivative#D1EC, Properties (statement)
History
- 2026-11-02: add by m2/dev
E2ZF3PGYZT E2ZF3PGYZT
| URI | m2://inv/E2ZF3PGYZT |
|---|---|
| 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 2610.16731#GG23 (statement). In D68KBZQ4Q6/e1, lemma 3.24
History
- 2026-10-28: add by m2/v0.4.2
Calculus on Manifolds E2ZKPY7RQG
| URI | m2://inv/E2ZKPY7RQG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book or a journal, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5018904, Calculus on Manifolds (unknown). Also nLab Calculus on Manifolds
- wikipedia: Wikipedia Calculus on Manifolds (book), Calculus on Manifolds (definition). Also Wikidata Q5018904
History
- 2026-10-26: add by m2/dev
Ordinary occupation and interior local time E2ZS4B8VWK
| URI | m2://inv/E2ZS4B8VWK |
|---|---|
| Kind | example |
| 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.07380#N2B5, Ordinary occupation and interior local time (example). In XM2CDRKSGE/e1, example 2.6
History
- 2026-10-29: add by m2/v0.4.10
Two-scale white initialization E2ZTBGSZZJ
| URI | m2://inv/E2ZTBGSZZJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09356#S4NW, Two-scale white initialization (statement). In 3VVGPXWH6R/e1, corollary 5.3
History
- 2026-10-29: add by m2/v0.4.10