Inventory rows ED
The cards of the rows of the inventory whose ids start with ED. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
ED04C9966E ED04C9966E
| URI | m2://inv/ED04C9966E |
|---|---|
| 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#6XIP (statement). In G02N9D40B9/e1, lemma 2.2.10
History
- 2026-10-29: add by m2/v0.4.10
Asymptotic uncertainty principle ED07DP5A0C
| URI | m2://inv/ED07DP5A0C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotology#XE2Z, Asymptotic uncertainty principle (statement)
History
- 2026-11-02: add by m2/dev
Penrose unilluminable room ED0BPF0C6R
| URI | m2://inv/ED0BPF0C6R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Illumination problem#BMQ6, Penrose unilluminable room (unknown)
History
- 2026-11-02: add by m2/dev
Residual analysis ED0H5E3QDQ
| URI | m2://inv/ED0H5E3QDQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical model validation#JYBE, Residual analysis (unknown)
History
- 2026-11-02: add by m2/dev
□⊥ ED0JF4N8N5
| URI | m2://inv/ED0JF4N8N5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical symbols#HW96, □⊥ (definition)
History
- 2026-11-02: add by m2/dev
Definition ED0MS4F426
| URI | m2://inv/ED0MS4F426 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixed volume#918Q, Definition (definition)
History
- 2026-11-02: add by m2/dev
Catherine Sugar ED0RD5QQV3
| URI | m2://inv/ED0RD5QQV3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#5V7J, Catherine Sugar (unknown)
History
- 2026-11-02: add by m2/dev
Relationship to Stokes' theorem ED0RJZ5HGZ
| URI | m2://inv/ED0RJZ5HGZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Green's theorem#BA8C, Relationship to Stokes' theorem (statement)
History
- 2026-11-02: add by m2/dev
ED0Y8F0J8R ED0Y8F0J8R
| URI | m2://inv/ED0Y8F0J8R |
|---|---|
| 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.15982#1UD5 (statement). In KB50SHR229/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.2
Adaptive quadrature ED118NB0EX
| URI | m2://inv/ED118NB0EX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#OMTQ, Adaptive quadrature (definition)
History
- 2026-11-02: add by m2/dev
ED119QVZ93 ED119QVZ93
| URI | m2://inv/ED119QVZ93 |
|---|---|
| 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 2610.14154#4NAV (definition). In 8X6PXX2TRA/e1, definition 9.3
History
- 2026-10-28: add by m2/v0.4.2
George Harvey ED11SJF3ZF
| URI | m2://inv/ED11SJF3ZF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Harvey (FRS), George Harvey (topic). Also Wikidata Q15994489
History
- 2026-11-02: add by m2/dev
Laplace–Stieltjes transform ED18YSN0RV
| URI | m2://inv/ED18YSN0RV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#TEVU, Laplace–Stieltjes transform (definition)
History
- 2026-11-02: add by m2/dev
Oswald Veblen Prize in Geometry ED19TJFE2N
| URI | m2://inv/ED19TJFE2N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oswald Veblen Prize in Geometry, Oswald Veblen Prize in Geometry (definition). Also Wikidata Q654649
History
- 2026-11-02: add by m2/dev
Properties ED1A9CFCCB
| URI | m2://inv/ED1A9CFCCB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotic dimension#3MTG, Properties (statement)
History
- 2026-11-02: add by m2/dev
Block Cholesky ED1AECVMS5
| URI | m2://inv/ED1AECVMS5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block LU decomposition#9F9A, Block Cholesky (unknown)
History
- 2026-11-02: add by m2/dev
ED1CHPAAGH ED1CHPAAGH
| URI | m2://inv/ED1CHPAAGH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38131#WCEV (definition). In GM3S19KFDH/e1, definition 1.1
History
- 2026-10-30: add by m2/v0.4.12
Stably finite ring ED1DRPPFBF
| URI | m2://inv/ED1DRPPFBF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stably finite ring, Stably finite ring (definition). Also Wikidata Q7595790
History
- 2026-11-02: add by m2/dev
Null-cone extension ED1K8ZHRFT
| URI | m2://inv/ED1K8ZHRFT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10413#FF2Z, Null-cone extension (definition). In 68MTQ59QTQ/e1, definition 1.4
History
- 2026-10-29: add by m2/v0.4.10
ED1K9S4FE4 ED1K9S4FE4
| URI | m2://inv/ED1K9S4FE4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12857#3VOR (statement). In XJWQ6Y83F8/e1, proposition 5.6
History
- 2026-10-28: add by m2/v0.4.2
ED1WFAK1AN ED1WFAK1AN
| URI | m2://inv/ED1WFAK1AN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18709#AULB (statement). In K7VY50VFK6/e1, proposition 11.1
History
- 2026-10-28: add by m2/v0.4.2
The cost of a near-optimal exponent ED1YPSBFXH
| URI | m2://inv/ED1YPSBFXH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27765#CHJQ, The cost of a near-optimal exponent (statement)
History
- 2026-11-01: add by m2/v0.6.15
ED23XB5MXH ED23XB5MXH
| URI | m2://inv/ED23XB5MXH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-74 (exercise). In E9HS8K3A52, exercise, section 2.6.1
History
- 2026-11-01: add by m2/v0.6.13
Sphere bundles over $RP^2$ ED24HK310J
| URI | m2://inv/ED24HK310J |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1911.06467#5SAP, Sphere bundles over $RP^2$ (example). In G35G1NJKBX/e1, example 5.5
History
- 2026-10-27: add by m2/v0.3.5
ED298H5C75 ED298H5C75
| URI | m2://inv/ED298H5C75 |
|---|---|
| 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#38RW (statement). In KS30K5JXGB/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
ED2KG7H2N8 ED2KG7H2N8
| URI | m2://inv/ED2KG7H2N8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.23812#952Z (statement). In D8XZBXJPR5/e1, proposition 2.12
History
- 2026-10-27: add by m2/v0.3.5
Class automorphism ED2RBCA45Q
| URI | m2://inv/ED2RBCA45Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group isomorphism#MZ5G, Class automorphism (unknown)
History
- 2026-11-02: add by m2/dev
Mixing (mathematics) ED2RC32SPP
| URI | m2://inv/ED2RC32SPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VTXJ, Mixing (mathematics) (definition)
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#Z835, Mixing (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
ED2RXWE9F1 ED2RXWE9F1
| URI | m2://inv/ED2RXWE9F1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.15680#N3L5 (statement). In VBWH2Z3YHA/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Heinz-Otto Peitgen ED2W2Z3HNJ
| URI | m2://inv/ED2W2Z3HNJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heinz-Otto Peitgen, Heinz-Otto Peitgen (topic). Also Wikidata Q91638
History
- 2026-11-02: add by m2/dev
ED318KJQJC ED318KJQJC
| URI | m2://inv/ED318KJQJC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30315#B2HG (definition). In FXTCVHYW5S/e1, definition 5.5
History
- 2026-10-31: add by m2/v0.5.6
snub cube ED32AVY4AB
| URI | m2://inv/ED32AVY4AB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q125569, snub cube (object). Also MathWorld SnubCube
- wikipedia: Wikipedia Snub cube, Snub cube (definition). Also Wikidata Q125569
History
- 2026-10-26: add by m2/dev
ED343EGCK5 ED343EGCK5
| URI | m2://inv/ED343EGCK5 |
|---|---|
| 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.15257#2HTX (statement). In 2R95BYW2V7/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
ED34EXWMDD ED34EXWMDD
| URI | m2://inv/ED34EXWMDD |
|---|---|
| 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 2403.15043#9HS9 (statement). In QDE21RT0T2/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Definition I: Combinatorical formula ED3DTNQPHJ
| URI | m2://inv/ED3DTNQPHJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nichols algebra#EK6K, Definition I: Combinatorical formula (definition)
History
- 2026-11-02: add by m2/dev
ED3H8SC8CZ ED3H8SC8CZ
| URI | m2://inv/ED3H8SC8CZ |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.18564#73XJ (problem). In MC8ZBZ14PM/e1, problem 5.1
History
- 2026-10-27: add by m2/v0.3.5
windmill graph ED3JHWVFB4
| URI | m2://inv/ED3JHWVFB4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8024306, windmill graph (unknown). Also MathWorld WindmillGraph
- wikipedia: Wikipedia Windmill graph, Windmill graph (definition). Also Wikidata Q8024306
History
- 2026-10-26: add by m2/dev
Axioms ED3K7HVFYW
| URI | m2://inv/ED3K7HVFYW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Point-pair separation#7BZE, Axioms (statement)
History
- 2026-11-02: add by m2/dev
Bayesian information criterion ED3NHSMMX8
| URI | m2://inv/ED3NHSMMX8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FLY3, Bayesian information criterion (statement)
History
- 2026-11-02: add by m2/dev
Exponential mixing: Doeblin's argument ED3QJ7F0CR
| URI | m2://inv/ED3QJ7F0CR |
|---|---|
| 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.32585#0NTL, Exponential mixing: Doeblin's argument (statement). In FJFJ3WR1SS/e1, lemma 4.6
History
- 2026-10-31: add by m2/v0.5.6
Ida surface ED3QM5XBSK
| URI | m2://inv/ED3QM5XBSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ida surface, Ida surface (definition). Also Wikidata Q141497745
History
- 2026-11-02: add by m2/dev
ED3SRDVTVJ ED3SRDVTVJ
| URI | m2://inv/ED3SRDVTVJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23605#8VP6 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Examples ED3VNCQ4EG
| URI | m2://inv/ED3VNCQ4EG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conformable matrix#VHMS, Examples (example)
History
- 2026-11-02: add by m2/dev
ED3XPGKGNN ED3XPGKGNN
| URI | m2://inv/ED3XPGKGNN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18419#0LJN (statement). In 7Q26JWKD7E/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.2
Von Neumann–Bernays–Gödel axioms ED409HG605
| URI | m2://inv/ED409HG605 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms#91HE, Von Neumann–Bernays–Gödel axioms (definition)
History
- 2026-11-02: add by m2/dev
Kelok 9 ED40WDPSRJ
| URI | m2://inv/ED40WDPSRJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#FART, Kelok 9 (unknown)
History
- 2026-11-02: add by m2/dev
ED463KA74D ED463KA74D
| URI | m2://inv/ED463KA74D |
|---|---|
| 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.18270#SW3I (statement). In CPDMYJ0NJV/e1, lemma 5.5
History
- 2026-10-28: add by m2/v0.4.2
pace ED4669SES0
| URI | m2://inv/ED4669SES0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q691543, pace (definition). Also ProofWiki Definition:Historic_Measures/Length/Pace
History
- 2026-10-26: add by m2/dev
ED49P14J0Y ED49P14J0Y
| URI | m2://inv/ED49P14J0Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11869#H5GW (statement). In B5GGGWNJA6/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.3
ED4M6WYM2Y ED4M6WYM2Y
| URI | m2://inv/ED4M6WYM2Y |
|---|---|
| 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#BCZV (statement). In VZCZEDCG8J/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.4.2
Examples ED4Q5FQFX6
| URI | m2://inv/ED4Q5FQFX6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit of a function#F9SJ, Examples (example)
History
- 2026-11-02: add by m2/dev
path integral ED4RA7MBG7
| URI | m2://inv/ED4RA7MBG7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 81S40 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q898323, path integral (topic). Also EoM Integral_over_trajectories
- wikipedia: Wikipedia Path-integral formulation, Path-integral formulation (definition). Also Wikidata Q898323
History
- 2026-10-26: add by m2/dev
Definition ED4Z15TQKP
| URI | m2://inv/ED4Z15TQKP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monomial representation#1JSI, Definition (definition)
History
- 2026-11-02: add by m2/dev
ED52BA694E ED52BA694E
| URI | m2://inv/ED52BA694E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.18777#6H0F (statement). In TFZDPHDF7V/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.6
ED53QQHRCH ED53QQHRCH
| URI | m2://inv/ED53QQHRCH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32650#GPFA (statement). In PHXJ87HKYB/e1, theorem 3.5
History
- 2026-10-31: add by m2/v0.5.6
ED5CH1DYPR ED5CH1DYPR
| URI | m2://inv/ED5CH1DYPR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.06319#ZRZS (definition). In 48AVW2CYCR/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.6
ED5H5PJ4P6 ED5H5PJ4P6
| URI | m2://inv/ED5H5PJ4P6 |
|---|---|
| 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.11056#4KCL (statement). In 1NDB3SAG7K/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.3
Even odds ED5JWQH5KW
| URI | m2://inv/ED5JWQH5KW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Odds#ZL8M, Even odds (unknown)
History
- 2026-11-02: add by m2/dev
ED5RJ96KEC ED5RJ96KEC
| URI | m2://inv/ED5RJ96KEC |
|---|---|
| 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.10365#H7M2 (statement). In PRVQPSBVHK/e1, lemma 16
History
- 2026-10-29: add by m2/v0.4.10
ED5TTAX0PC ED5TTAX0PC
| URI | m2://inv/ED5TTAX0PC |
|---|---|
| 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.24878#VSLC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Coin graph ED5XPMFHKS
| URI | m2://inv/ED5XPMFHKS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#FPS6, Coin graph (statement)
History
- 2026-11-02: add by m2/dev
A necessary continuous-lattice condition ED62A962V7
| URI | m2://inv/ED62A962V7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23281#HRJ5, A necessary continuous-lattice condition (statement)
History
- 2026-11-02: add by m2/v0.6.17
Gustavo Ponce ED6DQVGSXZ
| URI | m2://inv/ED6DQVGSXZ |
|---|---|
| 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#CYOS, Gustavo Ponce (unknown)
History
- 2026-11-02: add by m2/dev
Dirichlet space ED6E6DSRDZ
| URI | m2://inv/ED6E6DSRDZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#341Q, Dirichlet space (definition)
History
- 2026-11-02: add by m2/dev
ED6FHH3S33 ED6FHH3S33
| URI | m2://inv/ED6FHH3S33 |
|---|---|
| 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 2507.05417#R6RL (statement). In RGHZ863Q26/e1, lemma 3.21
History
- 2026-10-27: add by m2/v0.3.5
Indiscrete space ED6GA859AR
| URI | m2://inv/ED6GA859AR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#8YHU, Indiscrete space (definition)
History
- 2026-11-02: add by m2/dev
Rafail Ostrovsky ED6N92YQCP
| URI | m2://inv/ED6N92YQCP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#EL8Q, Rafail Ostrovsky (unknown)
History
- 2026-11-02: add by m2/dev
Sphericon ED6TAQVBE8
| URI | m2://inv/ED6TAQVBE8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#YL5H, Sphericon (definition)
History
- 2026-11-02: add by m2/dev
Relativistic wave equations ED75Q0D4FS
| URI | m2://inv/ED75Q0D4FS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#UA7R, Relativistic wave equations (unknown)
History
- 2026-11-02: add by m2/dev
Ryan O'Donnell ED7A4JRG12
| URI | m2://inv/ED7A4JRG12 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1WNF, Ryan O'Donnell (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JJ5E, Ryan O'Donnell (unknown)
History
- 2026-11-02: add by m2/dev
Category of metric spaces ED7BK85B8A
| URI | m2://inv/ED7BK85B8A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category of metric spaces, Category of metric spaces (definition). Also Wikidata Q5051850
History
- 2026-11-02: add by m2/dev
ED7DJCWDG4 ED7DJCWDG4
| URI | m2://inv/ED7DJCWDG4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27360#AJ7Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
ED7G4S1945 ED7G4S1945
| URI | m2://inv/ED7G4S1945 |
|---|---|
| Kind | problem |
| 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.21359#RHUJ (problem)
History
- 2026-11-02: add by m2/v0.6.18
Static discipline ED7JH8NGCS
| URI | m2://inv/ED7JH8NGCS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Static discipline, Static discipline (definition). Also Wikidata Q7604162
History
- 2026-11-02: add by m2/dev
main diagonal ED7MMC4WYZ
| URI | m2://inv/ED7MMC4WYZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q651480, main diagonal (unknown). Also MathWorld MainDiagonal
- wikipedia: Wikipedia Main diagonal, Main diagonal (definition). Also Wikidata Q651480
History
- 2026-10-26: add by m2/dev
ED7SE935C8 ED7SE935C8
| URI | m2://inv/ED7SE935C8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13378#EA7N (example). In QAH7SV1JT6/e1, example 2.4
History
- 2026-10-28: add by m2/v0.4.2
Lucas–Lehmer–Riesel test ED7T86JKSE
| URI | m2://inv/ED7T86JKSE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucas–Lehmer–Riesel test, Lucas–Lehmer–Riesel test (definition). Also Wikidata Q3459114
History
- 2026-11-02: add by m2/dev
ED7V486GX7 ED7V486GX7
| URI | m2://inv/ED7V486GX7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.24593#BEDH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Logic Piano ED801753GG
| URI | m2://inv/ED801753GG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Stanley Jevons#1Q0T, Logic Piano (unknown)
History
- 2026-11-02: add by m2/dev
Convolution theorem duality ED81635SXS
| URI | m2://inv/ED81635SXS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete Fourier transform#XENA, Convolution theorem duality (statement)
History
- 2026-11-02: add by m2/dev
ED8DS3V5XD ED8DS3V5XD
| URI | m2://inv/ED8DS3V5XD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/compactness-direct.tex#prob-7 (exercise). In PKGMM3P5QY, prob, section 9.8
History
- 2026-11-01: add by m2/v0.6.13
ED8FCN9YPE ED8FCN9YPE
| URI | m2://inv/ED8FCN9YPE |
|---|---|
| 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 2510.12502#ETF6 (statement). In 3A4K47Y9F2/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.0
Oblate sphere ED8JKAGQ52
| URI | m2://inv/ED8JKAGQ52 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spheroid#LK7A, Oblate sphere (unknown)
History
- 2026-11-02: add by m2/dev
Structural equivalence ED8KXNB1M4
| URI | m2://inv/ED8KXNB1M4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Similarity (network science)#A309, Structural equivalence (unknown)
History
- 2026-11-02: add by m2/dev
Fodor ED8R4CF43K
| URI | m2://inv/ED8R4CF43K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#Y8BR, Fodor (definition)
History
- 2026-11-02: add by m2/dev
Coincidence point ED8X7RBGSB
| URI | m2://inv/ED8X7RBGSB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coincidence point, Coincidence point (definition). Also Wikidata Q5141583
History
- 2026-11-02: add by m2/dev
Design effect ED94RH97Y9
| URI | m2://inv/ED94RH97Y9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Design effect, Design effect (definition). Also Wikidata Q5264333
History
- 2026-11-02: add by m2/dev
ED95S6Y4CE ED95S6Y4CE
| URI | m2://inv/ED95S6Y4CE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.00162#ZCJA (definition). In HVGT9D84WV/e1, definition 1.28
History
- 2026-10-27: add by m2/v0.3.5
A reference-normalized inequality ED9EG2GGH0
| URI | m2://inv/ED9EG2GGH0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33794#XNJA, A reference-normalized inequality (statement). In W0PQMW25VY/e1, corollary 5.2
History
- 2026-10-30: add by m2/v0.4.12
Lax–Wendroff method ED9KVCDZGN
| URI | m2://inv/ED9KVCDZGN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lax–Wendroff method, Lax–Wendroff method (definition). Also Wikidata Q259958
History
- 2026-11-02: add by m2/dev
ED9QW9GE1V ED9QW9GE1V
| URI | m2://inv/ED9QW9GE1V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18242#0UFD (definition). In VVC2FHQZZR/e1, definition 3.3
History
- 2026-10-28: add by m2/v0.4.2
$SO_{11}$ Index ED9VQ3EN9N
| URI | m2://inv/ED9VQ3EN9N |
|---|---|
| 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.20364#W24V, $SO_{11}$ Index (statement). In 433NXYKPG3/e1, corollary 5
History
- 2026-10-27: add by m2/v0.4.2
Vasily Seseman EDA3FQNQ8S
| URI | m2://inv/EDA3FQNQ8S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vasily Seseman, Vasily Seseman (topic). Also Wikidata Q4413029
History
- 2026-11-02: add by m2/dev
List of problems in operations research EDA65WT4QF
| URI | m2://inv/EDA65WT4QF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operations research#85K1, List of problems in operations research (unknown)
History
- 2026-11-02: add by m2/dev
EDAA80ETHG EDAA80ETHG
| URI | m2://inv/EDAA80ETHG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1902.04230#YU8K (statement). In 22JZ68FGCW/e1, theorem 6.2
History
- 2026-10-27: add by m2/v0.3.5
Examples EDAEX1JW3J
| URI | m2://inv/EDAEX1JW3J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation group#47AH, Examples (example)
History
- 2026-11-02: add by m2/dev
EDAJ2S6HXW EDAJ2S6HXW
| URI | m2://inv/EDAJ2S6HXW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03144#80EN (statement). In 9QW88325GS/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
EDAJF95V8N EDAJF95V8N
| URI | m2://inv/EDAJF95V8N |
|---|---|
| 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.12736#7REM (statement). In 5350Q52F6P/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.2
EDB1KFKQ52 EDB1KFKQ52
| URI | m2://inv/EDB1KFKQ52 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#V7LJ (statement). In VNE8N0D2FB/e1, theorem 1.3
History
- 2026-10-31: add by m2/v0.5.6
Lambda-CDM model EDB76H0J9S
| URI | m2://inv/EDB76H0J9S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q692197, Lambda-CDM model (unknown). Also nLab standard model of cosmology
- wikipedia: Wikipedia Lambda-CDM model, Lambda-CDM model (definition). Also Wikidata Q692197
History
- 2026-10-26: add by m2/dev
EDBDECH7W9 EDBDECH7W9
| URI | m2://inv/EDBDECH7W9 |
|---|---|
| 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.21692#M5HX (statement). In CT4N0JGDP4/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
Weyl module EDBJ8Q98N3
| URI | m2://inv/EDBJ8Q98N3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl module, Weyl module (definition). Also Wikidata Q7990332
History
- 2026-11-02: add by m2/dev
Szemerédi–Trotter theorem EDC0JC1VR0
| URI | m2://inv/EDC0JC1VR0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#952Z, Szemerédi–Trotter theorem (statement)
History
- 2026-11-02: add by m2/dev
Posterior variance in the negative-binomial experiment EDC1DWX0EH
| URI | m2://inv/EDC1DWX0EH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.29348#9UCS, Posterior variance in the negative-binomial experiment (statement)
History
- 2026-11-01: add by m2/v0.6.15
EDC2YHFCNT EDC2YHFCNT
| URI | m2://inv/EDC2YHFCNT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/orders.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 80.4
History
- 2026-11-01: add by m2/v0.6.13
inductive tensor product EDC8E40ZND
| URI | m2://inv/EDC8E40ZND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q96382131, inductive tensor product (unknown). Also nLab inductive tensor product
- wikipedia: Wikipedia Inductive tensor product, Inductive tensor product (definition). Also Wikidata Q96382131
History
- 2026-10-26: add by m2/dev
EDCA0CHEGQ EDCA0CHEGQ
| URI | m2://inv/EDCA0CHEGQ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#proof-30 (proof). In E59CDZA4DP, proof, section 10.5.6
History
- 2026-11-01: add by m2/v0.6.13
Cauchy convergence criterion EDCAPFPS67
| URI | m2://inv/EDCAPFPS67 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convergent series#Q0VS, Cauchy convergence criterion (statement)
History
- 2026-11-02: add by m2/dev
Lucky Thirteen attack EDCD5SGDW8
| URI | m2://inv/EDCD5SGDW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucky Thirteen attack, Lucky Thirteen attack (definition). Also Wikidata Q6698050
History
- 2026-11-02: add by m2/dev
Folded exact-row-space count EDCG5SQMAN
| URI | m2://inv/EDCG5SQMAN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40252#NYD1, Folded exact-row-space count (statement). In 7MVPNFPRKB/e1, lemma 9.5
History
- 2026-10-30: add by m2/v0.4.12
EDCKRJBYR4 EDCKRJBYR4
| URI | m2://inv/EDCKRJBYR4 |
|---|---|
| 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.01737#N81T (statement). In M4JGP708F4/e1, proposition 4.9
History
- 2026-10-29: add by m2/v0.4.12
!!^{derivability} EDCVED3K02
| URI | m2://inv/EDCVED3K02 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/introduction/axiomatic-derivations.tex#defn-3, !!^{derivability} (definition). In PKGMM3P5QY, defn, section 31.1
History
- 2026-11-01: add by m2/v0.6.13
Product integral EDD3Q1BR5J
| URI | m2://inv/EDD3Q1BR5J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Product integral, Product integral (definition). Also Wikidata Q4891200
History
- 2026-11-02: add by m2/dev
Recoding lemma EDDCRPYJW2
| URI | m2://inv/EDDCRPYJW2 |
|---|---|
| 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.29641#ILMM, Recoding lemma (statement)
History
- 2026-11-01: add by m2/v0.6.15
Equivalence of Sobolev norms EDDFFK503D
| URI | m2://inv/EDDFFK503D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08594#VILS, Equivalence of Sobolev norms (statement). In FEE70SSD96/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
LiNGAM EDDXW39FSG
| URI | m2://inv/EDDXW39FSG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exploratory causal analysis#7B9R, LiNGAM (unknown)
History
- 2026-11-02: add by m2/dev
Relative dimension (scheme theory) EDE07Z5WH5
| URI | m2://inv/EDE07Z5WH5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension of a scheme#047P, Relative dimension (scheme theory) (unknown)
History
- 2026-11-02: add by m2/dev
EDE57RAXV8 EDE57RAXV8
| URI | m2://inv/EDE57RAXV8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34020#V5BU (statement). In DAMYG8BFAK/e1, corollary 4.18
History
- 2026-10-30: add by m2/v0.4.12
Kracht's theorem EDE7GHZP45
| URI | m2://inv/EDE7GHZP45 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sahlqvist formula#LCS1, Kracht's theorem (statement)
History
- 2026-11-02: add by m2/dev
Boris Rozovsky EDEE6E1QB4
| URI | m2://inv/EDEE6E1QB4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boris Rozovsky, Boris Rozovsky (topic). Also Wikidata Q4945368
History
- 2026-11-02: add by m2/dev
EDEG8WQ725 EDEG8WQ725
| URI | m2://inv/EDEG8WQ725 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22218#DETX (definition). In 338GKREFVP/e1, definition 1
History
- 2026-10-27: add by m2/v0.4.0
EDEGKXJR26 EDEGKXJR26
| URI | m2://inv/EDEGKXJR26 |
|---|---|
| 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.19088#RU0W (statement). In 90QTB4CC31/e1, theorem 4.6
History
- 2026-10-28: add by m2/v0.4.2
EDEKPM1XMZ EDEKPM1XMZ
| URI | m2://inv/EDEKPM1XMZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03612#5Z2O (definition). In REDG6QVHM3/e1, definition 5.6
History
- 2026-10-29: add by m2/v0.4.12
Applications EDEN1E3R4G
| URI | m2://inv/EDEN1E3R4G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Golomb coding#SSS0, Applications (example)
History
- 2026-11-02: add by m2/dev
John David Maitland Wright EDENKWBWVT
| URI | m2://inv/EDENKWBWVT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John David Maitland Wright, John David Maitland Wright (topic). Also Wikidata Q123117000
History
- 2026-11-02: add by m2/dev
Agrippa's trilemma EDEQA5M93K
| URI | m2://inv/EDEQA5M93K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Münchhausen trilemma#CXZF, Agrippa's trilemma (unknown)
History
- 2026-11-02: add by m2/dev
C. C. Li EDET5H0Z9N
| URI | m2://inv/EDET5H0Z9N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#628K, C. C. Li (unknown)
History
- 2026-11-02: add by m2/dev
EDEVD2G45N EDEVD2G45N
| URI | m2://inv/EDEVD2G45N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20488#DM0Q (definition)
History
- 2026-11-02: add by m2/v0.6.18
Psi4 EDEX5MTGKM
| URI | m2://inv/EDEX5MTGKM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#FBLH, Psi4 (unknown)
History
- 2026-11-02: add by m2/dev
Operator norm of the Gram matrix EDEYCBS3MV
| URI | m2://inv/EDEYCBS3MV |
|---|---|
| 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.00453#AN0W, Operator norm of the Gram matrix (statement). In ESPJMBH2R2/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
Algorithm EDF42T8YAN
| URI | m2://inv/EDF42T8YAN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zhao Youqin's π algorithm#BD0N, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Open problems EDF5WY2691
| URI | m2://inv/EDF5WY2691 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix grammar#OCNF, Open problems (statement)
History
- 2026-11-02: add by m2/dev
Axisymmetric convolution EDFF02EH5H
| URI | m2://inv/EDFF02EH5H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13892#OETF, Axisymmetric convolution (definition). In HV9KKEBBDD/e1, definition III.1
History
- 2026-10-28: add by m2/v0.4.2
EDFFG0J9B5 EDFFG0J9B5
| URI | m2://inv/EDFFG0J9B5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05602#3NX1 (statement). In W88890HB4Z/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
EDFPD7HQRQ EDFPD7HQRQ
| URI | m2://inv/EDFPD7HQRQ |
|---|---|
| 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.10873#ZBHG (statement). In AYG8HYGW6V/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.3
EDFV7ZCJYA EDFV7ZCJYA
| URI | m2://inv/EDFV7ZCJYA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/syntax-and-semantics/expressive-power.tex#ex-1 (example). In PKGMM3P5QY, ex, section 67.1
History
- 2026-11-01: add by m2/v0.6.13
EDFY3XWEGG EDFY3XWEGG
| URI | m2://inv/EDFY3XWEGG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35600#M894 (statement). In ET8GYMMDQM/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
EDG0GN0T9M EDG0GN0T9M
| URI | m2://inv/EDG0GN0T9M |
|---|---|
| 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.21017#GCOV (statement). In 8KKYZ4NKT2/e1, theorem 6
History
- 2026-10-27: add by m2/v0.4.2
EDG6SDMQFJ EDG6SDMQFJ
| URI | m2://inv/EDG6SDMQFJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-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 2302.13533#OCNX (definition). In DK9GQ8G0T4/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Oren–Nayar reflectance model EDG9EC4V02
| URI | m2://inv/EDG9EC4V02 |
|---|---|
| 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#NEQL, Oren–Nayar reflectance model (unknown)
History
- 2026-11-02: add by m2/dev
EDGA7N38PE EDGA7N38PE
| URI | m2://inv/EDGA7N38PE |
|---|---|
| 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.20925#QT4O (statement). In 1KV9SABQC9/e1, corollary 1
History
- 2026-10-27: add by m2/v0.4.2
Alexandru Zaharescu EDGJC6GK58
| URI | m2://inv/EDGJC6GK58 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexandru Zaharescu, Alexandru Zaharescu (topic). Also Wikidata Q53704105
History
- 2026-11-02: add by m2/dev
EDGMD1W2PZ EDGMD1W2PZ
| URI | m2://inv/EDGMD1W2PZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#5KYM (statement). In ESDKTYDHC8/e1, corollary 27
History
- 2026-10-29: add by m2/v0.4.12
Consistency of PAM EDGT2VCMR0
| URI | m2://inv/EDGT2VCMR0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21985#STDE, Consistency of PAM (statement)
History
- 2026-11-02: add by m2/v0.6.17
EDHA5ZPD07 EDHA5ZPD07
| URI | m2://inv/EDHA5ZPD07 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#N1RQ (definition). In VN084GGZGK/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.3
clique EDHEFXJP56
| URI | m2://inv/EDHEFXJP56 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.4.1/clique, clique (concept). In Y91XFCEVHQ, index, section 5.4.1
History
- 2026-11-01: add by m2/v0.6.13
EDHMFHCFBM EDHMFHCFBM
| URI | m2://inv/EDHMFHCFBM |
|---|---|
| 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.17240#PPS2 (statement). In 59BZ4V9RQW/e1, corollary 3.10
History
- 2026-10-28: add by m2/v0.4.2
Formulation EDHN8PNHFZ
| URI | m2://inv/EDHN8PNHFZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vis-viva equation#4R7O, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Stuart–Landau equation EDHQMVSAFY
| URI | m2://inv/EDHQMVSAFY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stuart–Landau equation, Stuart–Landau equation (definition). Also Wikidata Q55634128
History
- 2026-11-02: add by m2/dev
EDHXD9W22N EDHXD9W22N
| URI | m2://inv/EDHXD9W22N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.25188#6LZB (statement)
History
- 2026-11-01: add by m2/v0.6.15
EDJ0KA3GVM EDJ0KA3GVM
| URI | m2://inv/EDJ0KA3GVM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35209#JAN0 (statement). In YEERR7F4NW/e1, theorem D
History
- 2026-10-30: add by m2/v0.4.12
EDJ0N62XGZ EDJ0N62XGZ
| URI | m2://inv/EDJ0N62XGZ |
|---|---|
| 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.00364#74WO (statement). In ANR3DHYQPQ/e1, corollary
History
- 2026-10-30: add by m2/v0.4.12
EDJ64PTPSG EDJ64PTPSG
| URI | m2://inv/EDJ64PTPSG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28824#TNO9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
mirror image EDJC25964X
| URI | m2://inv/EDJC25964X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2703478, mirror image (unknown). Also MathWorld MirrorImage
History
- 2026-10-26: add by m2/dev
EDJDD069VZ EDJDD069VZ
| URI | m2://inv/EDJDD069VZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#lemma:darbouxadd (statement). In E59CDZA4DP, lemma, section 8.2.1
History
- 2026-11-01: add by m2/v0.6.13
Resolution of Overlaps EDJXGKNQV8
| URI | m2://inv/EDJXGKNQV8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2304.02722#EJBR, Resolution of Overlaps (statement). In AH7D55D3WV/e1, lemma 7.3
History
- 2026-10-27: add by m2/v0.3.5
Ruzsa triangle inequality EDJZD1HJY6
| URI | m2://inv/EDJZD1HJY6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Additive combinatorics > Ruzsa triangle inequality, Ruzsa triangle inequality (unknown). Also Mathlib Finset.ruzsa_triangle_inequality_sub_sub_sub
History
- 2026-10-26: add by m2/dev
EDKPXPHZSM EDKPXPHZSM
| URI | m2://inv/EDKPXPHZSM |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21976#ZM7F (unknown)
History
- 2026-11-02: add by m2/v0.6.17
Robust fuzzy programming EDKS2CHGYQ
| URI | m2://inv/EDKS2CHGYQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robust fuzzy programming, Robust fuzzy programming (definition). Also Wikidata Q25111990
History
- 2026-11-02: add by m2/dev
Train of thought EDKVQD4PT6
| URI | m2://inv/EDKVQD4PT6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Train of thought, Train of thought (definition). Also Wikidata Q2888844
History
- 2026-11-02: add by m2/dev
Definition EDKY98450B
| URI | m2://inv/EDKY98450B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sheaf on an algebraic stack#Q5R8, Definition (definition)
History
- 2026-11-02: add by m2/dev
EDKZYYEJH5 EDKZYYEJH5
| URI | m2://inv/EDKZYYEJH5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#HPDR (statement). In CY1FE8W1ZW/e1, lemma 0.179
History
- 2026-10-27: add by m2/v0.3.5
EDM6VZGYWT EDM6VZGYWT
| URI | m2://inv/EDM6VZGYWT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphalgorithms_exercises.ptx#exercise-13 (exercise). In QKM9DD2H56, exercise, section 12
History
- 2026-11-01: add by m2/v0.6.13
Fallacy of exclusive premises EDMC3D7AV0
| URI | m2://inv/EDMC3D7AV0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#U6HC, Fallacy of exclusive premises (definition)
History
- 2026-11-02: add by m2/dev
Definition EDMGCFRKAZ
| URI | m2://inv/EDMGCFRKAZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zone theorem#BM5Q, Definition (definition)
History
- 2026-11-02: add by m2/dev
EDMHBENKB5 EDMHBENKB5
| URI | m2://inv/EDMHBENKB5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14837#DEOX (statement). In J4P6HXMJCH/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
EDMJPRY098 EDMJPRY098
| URI | m2://inv/EDMJPRY098 |
|---|---|
| Kind | definition |
| 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.38396#XOZR (definition). In FGNNVKQR1Z/e1, definition 3.2
History
- 2026-10-30: add by m2/v0.4.12
dual problem EDMZEYXNSJ
| URI | m2://inv/EDMZEYXNSJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.26645#7P9O, dual problem (statement)
History
- 2026-11-01: add by m2/v0.6.15
EDN7MKM995 EDN7MKM995
| URI | m2://inv/EDN7MKM995 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2305.01474#NHB1 (statement). In 2QB5F6J24Q/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.4.0
EDN992MCS7 EDN992MCS7
| URI | m2://inv/EDN992MCS7 |
|---|---|
| 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#ZG0S (statement). In 9Z5M655EPV/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.10
EDNAYPK7KT EDNAYPK7KT
| URI | m2://inv/EDNAYPK7KT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#ZGYW (statement). In V7SN19J84T/e1, lemma 7.9
History
- 2026-10-28: add by m2/v0.4.2
EDNB76RDYJ EDNB76RDYJ
| URI | m2://inv/EDNB76RDYJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21759#4UWL (statement). In AFC5D0H4GY/e1, lemma 1
History
- 2026-10-27: add by m2/v0.4.2
EDND03WGKC EDND03WGKC
| URI | m2://inv/EDND03WGKC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32524#GEAR (example). In XGCND7R0B0/e1, example 2.4
History
- 2026-10-31: add by m2/v0.5.6
EDNKVFANBM EDNKVFANBM
| URI | m2://inv/EDNKVFANBM |
|---|---|
| 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.20225#E035 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Brahmagupta EDNVBPTNQC
| URI | m2://inv/EDNVBPTNQC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#28Q5, Brahmagupta (topic)
History
- 2026-11-02: add by m2/dev
Wagner's theorem EDP4FD4182
| URI | m2://inv/EDP4FD4182 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#3J2O, Wagner's theorem (statement)
History
- 2026-11-02: add by m2/dev
Clarence Irving Lewis EDP52X4HM2
| URI | m2://inv/EDP52X4HM2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#6Z7F, Clarence Irving Lewis (topic)
History
- 2026-11-02: add by m2/dev
EDP75731H8 EDP75731H8
| URI | m2://inv/EDP75731H8 |
|---|---|
| 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.16235#B792 (statement). In RNGNWGMX85/e1, corollary 2.3
History
- 2026-10-28: add by m2/v0.4.2
Applications EDP837EEXG
| URI | m2://inv/EDP837EEXG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Change detection#5Z1C, Applications (example)
History
- 2026-11-02: add by m2/dev
extension by continuity EDPSDTKTFY
| URI | m2://inv/EDPSDTKTFY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > extension by continuity, extension by continuity (unknown). Also Mathlib IsDenseInducing.extend
History
- 2026-10-26: add by m2/dev
Welch's method EDPV1777BV
| URI | m2://inv/EDPV1777BV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#W8A8, Welch's method (definition)
History
- 2026-11-02: add by m2/dev
Ju-Lee Kim EDPW0ZPM1C
| URI | m2://inv/EDPW0ZPM1C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ju-Lee Kim, Ju-Lee Kim (topic). Also Wikidata Q16179378
History
- 2026-11-02: add by m2/dev
High eigenvalues are simple and uniformly separated EDQJEAT3EW
| URI | m2://inv/EDQJEAT3EW |
|---|---|
| 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.22384#2UND, High eigenvalues are simple and uniformly separated (statement)
History
- 2026-11-02: add by m2/v0.6.17
Grigory Sokolnikov EDQQV0XM19
| URI | m2://inv/EDQQV0XM19 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#PU92, Grigory Sokolnikov (unknown)
History
- 2026-11-02: add by m2/dev
Applications EDQV7AGZQ6
| URI | m2://inv/EDQV7AGZQ6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simplicial homology#I09G, Applications (example)
History
- 2026-11-02: add by m2/dev
EDQZR8Z3N3 EDQZR8Z3N3
| URI | m2://inv/EDQZR8Z3N3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/models.tex#definition-6 (definition). In RZP28ERRZV, definition, section 91.4
History
- 2026-11-01: add by m2/v0.6.13
Definitions EDR36KAFG0
| URI | m2://inv/EDR36KAFG0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph minor#ZO4K, Definitions (definition)
History
- 2026-11-02: add by m2/dev
EDRB3B73MG EDRB3B73MG
| URI | m2://inv/EDRB3B73MG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31387#68LG (statement). In GBD60VB1JX/e1, proposition 16
History
- 2026-10-31: add by m2/v0.5.6
EDRBCE8X32 EDRBCE8X32
| URI | m2://inv/EDRBCE8X32 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-64 (exercise). In E9HS8K3A52, exercise, section 10.6.4
History
- 2026-11-01: add by m2/v0.6.13
EDRYZDDGQ3 EDRYZDDGQ3
| URI | m2://inv/EDRYZDDGQ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03144#WAKC (statement). In 9QW88325GS/e1, lemma 4.12
History
- 2026-10-29: add by m2/v0.4.12
bidimension EDS399W5Z9
| URI | m2://inv/EDS399W5Z9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#C895, bidimension (definition)
History
- 2026-11-02: add by m2/dev
Markov structure EDS45B738A
| URI | m2://inv/EDS45B738A |
|---|---|
| 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.38220#3J8T, Markov structure (statement). In 1AC4S19925/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
PID EDS75P2QZ3
| URI | m2://inv/EDS75P2QZ3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/6.4/pid, PID (concept). In VNMV985MXX, index, section 6.4
History
- 2026-11-01: add by m2/v0.6.13
piecewise linear manifold EDSE0EV180
| URI | m2://inv/EDSE0EV180 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Piecewise linear manifold 15MKGRNM9K |
Mentions
- wikidata: Wikidata Q7191425, piecewise linear manifold (unknown). Also EoM Piecewise-linear_topology, nLab piecewise-linear manifold
- wikipedia: Wikipedia Piecewise linear manifold, Piecewise linear manifold (definition). Also Wikidata Q7191425
History
- 2026-10-26: add by m2/dev
Quaternionic analysis EDSE8Y2FS2
| URI | m2://inv/EDSE8Y2FS2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#5XTJ, Quaternionic analysis (definition)
History
- 2026-11-02: add by m2/dev
EDSFPKK1XJ EDSFPKK1XJ
| URI | m2://inv/EDSFPKK1XJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16399#1AFX (statement). In 2N87D4KTSY/e1, lemma 3.7
History
- 2026-10-28: add by m2/v0.4.2
Boolean operations on polygons EDSJ0BN1ZW
| URI | m2://inv/EDSJ0BN1ZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of combinatorial computational geometry topics#ERJ4, Boolean operations on polygons (definition)
History
- 2026-11-02: add by m2/dev
Weibel's conjecture EDSKB5FDSR
| URI | m2://inv/EDSKB5FDSR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#A4QH, Weibel's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Substitution in !!a{formula} EDSPC93ZEC
| URI | m2://inv/EDSPC93ZEC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/substitution.tex#defn-3, Substitution in !!a{formula} (definition). In PKGMM3P5QY, defn, section 20.3
History
- 2026-11-01: add by m2/v0.6.13
Properties EDSPZYHKC3
| URI | m2://inv/EDSPZYHKC3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular 4-polytope#F5TN, Properties (statement)
History
- 2026-11-02: add by m2/dev
EDSR7RQ12J EDSR7RQ12J
| URI | m2://inv/EDSR7RQ12J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#29ED (statement). In CY1FE8W1ZW/e1, lemma 0.219
History
- 2026-10-27: add by m2/v0.3.5
cumulative relative frequency EDT5ZGZ930
| URI | m2://inv/EDT5ZGZ930 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q112310951, cumulative relative frequency (concept). Also MathWorld RelativeCumulativeFrequency
History
- 2026-10-26: add by m2/dev
Applications EDT6N9SQ5M
| URI | m2://inv/EDT6N9SQ5M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multibody system#MANR, Applications (example)
History
- 2026-11-02: add by m2/dev
Sylvester's sequence EDT99S3P74
| URI | m2://inv/EDT99S3P74 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after James Joseph Sylvester#K68G, Sylvester's sequence (object)
History
- 2026-11-02: add by m2/dev
\texttt{Quadratic constraint EDTM56EEGK
| URI | m2://inv/EDTM56EEGK |
|---|---|
| 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.06343#2JAL, \texttt{Quadratic constraint (example). In R8176XJ535/e1, example 5.2
History
- 2026-10-29: add by m2/v0.4.10
serial subgroup EDTN0Z2RGH
| URI | m2://inv/EDTN0Z2RGH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 40735495) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#DIYH, serial subgroup (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
EDTPCFWC5P EDTPCFWC5P
| URI | m2://inv/EDTPCFWC5P |
|---|---|
| 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.06381#V3TV (statement). In X9JKBDHACW/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
$\kappa$-ranges EDTVZKCRPR
| URI | m2://inv/EDTVZKCRPR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11911#7FP3, $\kappa$-ranges (definition). In 5BYE5NYB89/e1, definition 4.13
History
- 2026-10-28: add by m2/v0.4.3
Gandy's theorem for classes EDV4V8ZK0B
| URI | m2://inv/EDV4V8ZK0B |
|---|---|
| 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.24795#P7QY, Gandy's theorem for classes (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example EDV8JRDNH9
| URI | m2://inv/EDV8JRDNH9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Replay attack#2EH6, Example (example)
History
- 2026-11-02: add by m2/dev
Prékopa–Leindler inequality EDVAMAGSFB
| URI | m2://inv/EDVAMAGSFB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prékopa–Leindler inequality, Prékopa–Leindler inequality (statement). Also Wikidata Q7253815
History
- 2026-11-02: add by m2/dev
Mathematical Tables Project EDVAPHE7P8
| URI | m2://inv/EDVAPHE7P8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical Tables Project, Mathematical Tables Project (definition). Also Wikidata Q6786846
History
- 2026-11-02: add by m2/dev
Ambiguity in uncorrupted smoothing bias EDVASKJ0XG
| URI | m2://inv/EDVASKJ0XG |
|---|---|
| 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.15202#1BQ2, Ambiguity in uncorrupted smoothing bias (statement). In X1FPG0KYBM/e1, proposition Z.5
History
- 2026-10-28: add by m2/v0.4.2
Daniel J. Kleitman EDVDMRKZSS
| URI | m2://inv/EDVDMRKZSS |
|---|---|
| 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#6YBV, Daniel J. Kleitman (topic)
History
- 2026-11-02: add by m2/dev
EDVGK5FFJJ EDVGK5FFJJ
| URI | m2://inv/EDVGK5FFJJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31212#MH1W (statement). In FHE30V0M03/e1, corollary 6.3
History
- 2026-10-31: add by m2/v0.5.6
Graded Hom EDVV3N2JKD
| URI | m2://inv/EDVV3N2JKD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#OTQE, Graded Hom (definition). In S26QVW5613/e1, definition 1.2.1
History
- 2026-10-30: add by m2/v0.4.12
How to Lie with Statistics EDW2JR1A91
| URI | m2://inv/EDW2JR1A91 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#E60L, How to Lie with Statistics (definition)
History
- 2026-11-02: add by m2/dev
International Mathematics Competition for University Students EDW4J0E4CX
| URI | m2://inv/EDW4J0E4CX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#K25Y, International Mathematics Competition for University Students (unknown)
History
- 2026-11-02: add by m2/dev
Granger causality EDW8D221S2
| URI | m2://inv/EDW8D221S2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#L12V, Granger causality (definition)
History
- 2026-11-02: add by m2/dev
EDWD51R9WK EDWD51R9WK
| URI | m2://inv/EDWD51R9WK |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02935#2QT0 (problem). In WE2KKAMEFW/e1, problem
History
- 2026-10-29: add by m2/v0.4.12
EDWHC4GZ57 EDWHC4GZ57
| URI | m2://inv/EDWHC4GZ57 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31300#8GME (statement). In ERHQDB8M41/e1, proposition 4.4
History
- 2026-10-31: add by m2/v0.5.6
EDWXBGE10Y EDWXBGE10Y
| URI | m2://inv/EDWXBGE10Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-7-2-1.xml#act-7-2-1 (exercise). In 907G4C4EJ1, activity, section 7.2.2
History
- 2026-11-01: add by m2/v0.6.13
Cooling tower EDXAS51Z0S
| URI | m2://inv/EDXAS51Z0S |
|---|---|
| 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#H09V, Cooling tower (unknown)
History
- 2026-11-02: add by m2/dev
D5 lattice EDXPBRQ3DC
| URI | m2://inv/EDXPBRQ3DC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 5-demicubic honeycomb#Y1YS, D5 lattice (unknown)
History
- 2026-11-02: add by m2/dev
arc-connected space EDXT1MJYK2
| URI | m2://inv/EDXT1MJYK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11679929, arc-connected space (definition). Also MathWorld Arcwise-Connected, ProofWiki Definition:Arc-Connected
History
- 2026-10-26: add by m2/dev
(Elveden #3) EDXTNHNR7N
| URI | m2://inv/EDXTNHNR7N |
|---|---|
| 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#DQ0U, (Elveden #3) (unknown)
History
- 2026-11-02: add by m2/dev
EDXYMNSGHT EDXYMNSGHT
| URI | m2://inv/EDXYMNSGHT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#712S (statement). In X38P26DK6S/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.0
Reservoir modeling EDY6DGEGJS
| URI | m2://inv/EDY6DGEGJS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reservoir modeling, Reservoir modeling (definition). Also Wikidata Q7315329
History
- 2026-11-02: add by m2/dev
EDY80N7NZV EDY80N7NZV
| URI | m2://inv/EDY80N7NZV |
|---|---|
| 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 1009.2043#8CU7 (statement). In 7DCNHRBK5A/e1, proposition 7.4
History
- 2026-10-27: add by m2/v0.3.5
EDY95YM3MM EDY95YM3MM
| URI | m2://inv/EDY95YM3MM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21260#P59X (statement). In Z7WW536KA5/e1, corollary 3.1
History
- 2026-10-27: add by m2/v0.4.2
EDY975XTZA EDY975XTZA
| URI | m2://inv/EDY975XTZA |
|---|---|
| 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 2609.30067#MASI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties EDYDTTX9MH
| URI | m2://inv/EDYDTTX9MH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2-group#PRSM, Properties (statement)
History
- 2026-11-02: add by m2/dev
Another variation of the identity EDYEJY7GVM
| URI | m2://inv/EDYEJY7GVM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Selberg's identity#SM7R, Another variation of the identity (statement)
History
- 2026-11-02: add by m2/dev
EDYG0VXTS7 EDYG0VXTS7
| URI | m2://inv/EDYG0VXTS7 |
|---|---|
| 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.10233#JXGX (statement). In QR9WE79ERQ/e1, corollary 1.2
History
- 2026-10-29: add by m2/v0.4.10
EDYG9NNX2Q EDYG9NNX2Q
| URI | m2://inv/EDYG9NNX2Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28677#V3Z2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kazhdan–Lusztig polynomial EDYHD8S9SR
| URI | m2://inv/EDYHD8S9SR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kazhdan–Lusztig polynomial, Kazhdan–Lusztig polynomial (definition). Also Wikidata Q6381065
History
- 2026-11-02: add by m2/dev
EDYRVWD30J EDYRVWD30J
| URI | m2://inv/EDYRVWD30J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04099#KHSA (statement). In QPJ6FWG5HD/e1, lemma 2.15
History
- 2026-10-29: add by m2/v0.4.12
Degree-twelve atomwise recovery EDYXMDX8SH
| URI | m2://inv/EDYXMDX8SH |
|---|---|
| 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.04027#RQZ0, Degree-twelve atomwise recovery (statement). In DQB4YR2DFH/e1, theorem 5.5
History
- 2026-10-29: add by m2/v0.4.12
EDYYA3R7ST EDYYA3R7ST
| URI | m2://inv/EDYYA3R7ST |
|---|---|
| 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.20225#LTEK (statement)
History
- 2026-11-02: add by m2/v0.6.18
Sectorial operator EDYYYDDRC8
| URI | m2://inv/EDYYYDDRC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sectorial operator, Sectorial operator (definition). Also Wikidata Q117006538
History
- 2026-11-02: add by m2/dev
EDZ2XHRTHW EDZ2XHRTHW
| URI | m2://inv/EDZ2XHRTHW |
|---|---|
| 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.15528#XX1H (statement). In G9GEE64N32/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
EDZ3DX8AWB EDZ3DX8AWB
| URI | m2://inv/EDZ3DX8AWB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/CartesianProducts.tex#problem-12 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Properties EDZ3TMK7PH
| URI | m2://inv/EDZ3TMK7PH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primitive ring#DMDS, Properties (statement)
History
- 2026-11-02: add by m2/dev
Strict clause-(v) value on its equal-cap diagonal EDZBFDPND6
| URI | m2://inv/EDZBFDPND6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#A09K, Strict clause-(v) value on its equal-cap diagonal (statement)
History
- 2026-11-01: add by m2/v0.6.15
Comparametric equation EDZCCQS2EC
| URI | m2://inv/EDZCCQS2EC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comparametric equation, Comparametric equation (definition). Also Wikidata Q5155612
History
- 2026-11-02: add by m2/dev
Nearly incompressible vector field EDZE0PMHR9
| URI | m2://inv/EDZE0PMHR9 |
|---|---|
| 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 2610.17129#GI0I, Nearly incompressible vector field (definition). In TCZWAMNYCV/e1, definition 4.6
History
- 2026-10-28: add by m2/v0.4.2
Virginia Gardens EDZHF35FQY
| URI | m2://inv/EDZHF35FQY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#ZFFJ, Virginia Gardens (unknown)
History
- 2026-11-02: add by m2/dev
EDZTT3SADF EDZTT3SADF
| URI | m2://inv/EDZTT3SADF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03619#4W5Z (statement). In 7SRERSS1PF/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12