Inventory rows YJ
The cards of the rows of the inventory whose ids start with YJ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
William Palin Elderton YJ06A2CKZB
| URI | m2://inv/YJ06A2CKZB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#EBBI, William Palin Elderton (unknown)
History
- 2026-11-02: add by m2/dev
Query YJ07ZZ3P3A
| URI | m2://inv/YJ07ZZ3P3A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Query (complexity), Query (definition). Also Wikidata Q7271381
History
- 2026-11-02: add by m2/dev
Bob Vaughan YJ0KVD5VR4
| URI | m2://inv/YJ0KVD5VR4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bob Vaughan, Bob Vaughan (topic). Also Wikidata Q1531312
History
- 2026-11-02: add by m2/dev
Sampling a weighted graph path YJ0VT4C5W7
| URI | m2://inv/YJ0VT4C5W7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11330#DAF3, Sampling a weighted graph path (statement). In Z73GKA9WDB/e1, lemma C.3
History
- 2026-10-28: add by m2/v0.4.3
Euler tours in general graphs YJ0X7K7H5A
| URI | m2://inv/YJ0X7K7H5A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06724#FSOH, Euler tours in general graphs (statement). In W5XG3PGVF1/e1, corollary C.8
History
- 2026-10-29: add by m2/v0.4.10
Existence of Cantor sets for any prescribed decay rate YJ1F6WYRSG
| URI | m2://inv/YJ1F6WYRSG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33557#D1CY, Existence of Cantor sets for any prescribed decay rate (statement). In 95YZVAPGJA/e1, corollary 1.11
History
- 2026-10-30: add by m2/v0.4.12
Examples YJ1GG83DH0
| URI | m2://inv/YJ1GG83DH0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Priority heuristic#YPM4, Examples (example)
History
- 2026-11-02: add by m2/dev
Trigonometric substitution YJ1GNETN2R
| URI | m2://inv/YJ1GNETN2R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#HQ90, Trigonometric substitution (definition)
- wikipedia: Wikipedia List of calculus topics#9L1R, Trigonometric substitution (definition)
History
- 2026-11-02: add by m2/dev
YJ1H26Y5SZ YJ1H26Y5SZ
| URI | m2://inv/YJ1H26Y5SZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02166#1KZC (statement). In R6RF3P6D5A/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
An example YJ1H2DT7HE
| URI | m2://inv/YJ1H2DT7HE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reduction of order#LSDK, An example (example)
History
- 2026-11-02: add by m2/dev
Harold Grad YJ1K4K92ST
| URI | m2://inv/YJ1K4K92ST |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harold Grad, Harold Grad (topic). Also Wikidata Q1585833
History
- 2026-11-02: add by m2/dev
YJ1N5NWXAH YJ1N5NWXAH
| URI | m2://inv/YJ1N5NWXAH |
|---|---|
| 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 1512.06981#R0U1 (statement). In X923ZEY423/e1, lemma 1.2.2
History
- 2026-10-27: add by m2/v0.3.5
Alain Bensoussan YJ1Q0QQ7M2
| URI | m2://inv/YJ1Q0QQ7M2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alain Bensoussan, Alain Bensoussan (topic). Also Wikidata Q2636365
History
- 2026-11-02: add by m2/dev
YJ1SQT8FK7 YJ1SQT8FK7
| URI | m2://inv/YJ1SQT8FK7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#E3OL (definition). In 6HJQXZS0A6/e1, definition 1.17
History
- 2026-10-29: add by m2/v0.4.12
Luigi Cremona YJ1XS0JAXN
| URI | m2://inv/YJ1XS0JAXN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#7YOJ, Luigi Cremona (topic)
History
- 2026-11-02: add by m2/dev
An Introduction to Mathematics YJ1YY25VYG
| URI | m2://inv/YJ1YY25VYG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfred North Whitehead#CKUQ, An Introduction to Mathematics (unknown)
History
- 2026-11-02: add by m2/dev
YJ2BC5Z4BC YJ2BC5Z4BC
| URI | m2://inv/YJ2BC5Z4BC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2304.13811#DM2S (definition). In HGKYMFSDEM/e1, definition 7
History
- 2026-10-27: add by m2/v0.4.0
YJ2D1H9G19 YJ2D1H9G19
| URI | m2://inv/YJ2D1H9G19 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-33 (exercise). In E59CDZA4DP, exercise, section 8.3.4
History
- 2026-11-01: add by m2/v0.6.13
YJ2FEQJQRY YJ2FEQJQRY
| URI | m2://inv/YJ2FEQJQRY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.06637#L9EU (definition). In KFCJ5CFP3G/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.3.5
Bode plot YJ2GYTCZZG
| URI | m2://inv/YJ2GYTCZZG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bode plot, Bode plot (definition). Also Wikidata Q245627
History
- 2026-11-02: add by m2/dev
Facts YJ2J6ZQAGP
| URI | m2://inv/YJ2J6ZQAGP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Accessible quasi-category#BW65, Facts (statement)
History
- 2026-11-02: add by m2/dev
YJ2Q1SSTN3 YJ2Q1SSTN3
| URI | m2://inv/YJ2Q1SSTN3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#2YZO (definition). In 7V2PVZS04C/e1, definition 4.8
History
- 2026-10-31: add by m2/v0.5.6
Example YJ2TQCHDCG
| URI | m2://inv/YJ2TQCHDCG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analysis of covariance#2SEX, Example (example)
History
- 2026-11-02: add by m2/dev
YJ3A38S5QC YJ3A38S5QC
| URI | m2://inv/YJ3A38S5QC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2012.14505#POUC (statement). In 97VQ5TC7MD/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
YJ3D5WSWH6 YJ3D5WSWH6
| URI | m2://inv/YJ3D5WSWH6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29432#OKXZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Montgomery, 1988 YJ3F4AJ1RK
| URI | m2://inv/YJ3F4AJ1RK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.12203#NZGJ, Montgomery, 1988 (statement). In F4YTAZSCS2/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
Algorithms YJ3JVBM3DH
| URI | m2://inv/YJ3JVBM3DH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deep backward stochastic differential equation method#HMKD, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
W. Wesley Peterson YJ3MP28JQQ
| URI | m2://inv/YJ3MP28JQQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia W. Wesley Peterson, W. Wesley Peterson (topic). Also Wikidata Q3709618
History
- 2026-11-02: add by m2/dev
Arf invariant YJ3R88QHEZ
| URI | m2://inv/YJ3R88QHEZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4789139, Arf invariant (concept). Also MathWorld ArfInvariant, nLab Arf invariant
- wikipedia: Wikipedia Arf invariant, Arf invariant (definition). Also Wikidata Q4789139
History
- 2026-10-26: add by m2/dev
YJ3Z5M6GDR YJ3Z5M6GDR
| URI | m2://inv/YJ3Z5M6GDR |
|---|---|
| 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 2606.16311#SGEQ (statement). In 3G0HCK0DVA/e1, lemma A.2
History
- 2026-10-27: add by m2/v0.3.5
Definition YJ3ZDYB5XY
| URI | m2://inv/YJ3ZDYB5XY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semisimple representation#PHNA, Definition (definition)
History
- 2026-11-02: add by m2/dev
Lemma YJ40TFZDT4
| URI | m2://inv/YJ40TFZDT4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semisimple representation#K8DH, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Pythagorean trigonometric identity YJ449MJYMK
| URI | m2://inv/YJ449MJYMK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#2HS8, Pythagorean trigonometric identity (definition)
History
- 2026-11-02: add by m2/dev
smooth immersion YJ450ZD423
| URI | m2://inv/YJ450ZD423 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > smooth immersion, smooth immersion (unknown). Also Mathlib Manifold.IsImmersion
History
- 2026-10-26: add by m2/dev
Limiting amplitude principle YJ4CTF2ABN
| URI | m2://inv/YJ4CTF2ABN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limiting amplitude principle, Limiting amplitude principle (statement). Also Wikidata Q108237633
History
- 2026-11-02: add by m2/dev
YJ4CTV6YRJ YJ4CTV6YRJ
| URI | m2://inv/YJ4CTV6YRJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-17 (exercise). In E9HS8K3A52, exercise, section 10.2.6
History
- 2026-11-01: add by m2/v0.6.13
Event (probability theory) YJ4GD4ZGYF
| URI | m2://inv/YJ4GD4ZGYF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#T68V, Event (probability theory) (definition)
- wikipedia: Wikipedia List of probability topics#I45Z, Event (probability theory) (definition)
History
- 2026-11-02: add by m2/dev
Properties of tiles YJ4J61BWHN
| URI | m2://inv/YJ4J61BWHN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17227#EV80, Properties of tiles (statement). In DDNP38CHQJ/e1, lemma 5.3
History
- 2026-10-27: add by m2/v0.3.5
YJ50GG70SN YJ50GG70SN
| URI | m2://inv/YJ50GG70SN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26769#YAHL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Pinors YJ50NCBVE3
| URI | m2://inv/YJ50NCBVE3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#NON5, Pinors (definition)
History
- 2026-11-02: add by m2/dev
\(\mathcal K\)-G{\aa}rding component YJ51R4YK2X
| URI | m2://inv/YJ51R4YK2X |
|---|---|
| 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 2609.24078#P3GH, \(\mathcal K\)-G{\aa}rding component (definition)
History
- 2026-11-02: add by m2/v0.6.17
Elwyn Berlekamp YJ56YHT6B2
| URI | m2://inv/YJ56YHT6B2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#VJP3, Elwyn Berlekamp (topic)
History
- 2026-11-02: add by m2/dev
YJ58YWY6MT YJ58YWY6MT
| URI | m2://inv/YJ58YWY6MT |
|---|---|
| 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#S8QD (statement). In G02N9D40B9/e1, proposition 6.1.6
History
- 2026-10-29: add by m2/v0.4.10
Prime factorization algorithm YJ59NP1TQJ
| URI | m2://inv/YJ59NP1TQJ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#M5EK, Prime factorization algorithm (conjecture)
History
- 2026-11-02: add by m2/dev
Properties YJ5B4BPKM0
| URI | m2://inv/YJ5B4BPKM0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Join (category theory)#ACNY, Properties (statement)
History
- 2026-11-02: add by m2/dev
Olga Hahn-Neurath YJ5C1RC5G3
| URI | m2://inv/YJ5C1RC5G3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olga Hahn-Neurath, Olga Hahn-Neurath (topic). Also Wikidata Q85932
History
- 2026-11-02: add by m2/dev
spherical spiral YJ5PSCC0YX
| URI | m2://inv/YJ5PSCC0YX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20522897, spherical spiral (unknown). Also MathWorld SphericalSpiral
History
- 2026-10-26: add by m2/dev
Wu manifold YJ5SNH5ZZA
| URI | m2://inv/YJ5SNH5ZZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wu manifold, Wu manifold (definition). Also Wikidata Q126483405
History
- 2026-11-02: add by m2/dev
Deep belief network YJ61XDX0NP
| URI | m2://inv/YJ61XDX0NP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deep belief network, Deep belief network (definition). Also Wikidata Q16954980
History
- 2026-11-02: add by m2/dev
``continuity'' of functions in type theory YJ66B9A20A
| URI | m2://inv/YJ66B9A20A |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.2/continuity-of-functions-in-type-theory, ``continuity'' of functions in type theory (concept). In N54F33XE07, index, section 9.2
History
- 2026-11-01: add by m2/v0.6.13
Initial value theorem YJ67ENXD21
| URI | m2://inv/YJ67ENXD21 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#QRQM, Initial value theorem (statement)
History
- 2026-11-02: add by m2/dev
YJ68RTWZYX YJ68RTWZYX
| URI | m2://inv/YJ68RTWZYX |
|---|---|
| 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.35632#PLJ1 (statement). In Q74G3BVZAQ/e1, lemma 5.4
History
- 2026-10-27: add by m2/v0.3.5
Affine-hull obstruction and quotient invariance YJ69Q73D67
| URI | m2://inv/YJ69Q73D67 |
|---|---|
| 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.33472#39YH, Affine-hull obstruction and quotient invariance (statement). In WBQQBZ4FCJ/e1, proposition C.1
History
- 2026-10-30: add by m2/v0.4.12
Christine Ayoub YJ6N5FETD7
| URI | m2://inv/YJ6N5FETD7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christine Ayoub, Christine Ayoub (topic). Also Wikidata Q95198282
History
- 2026-11-02: add by m2/dev
Block-tridiagonal height form YJ6QS0P5FB
| URI | m2://inv/YJ6QS0P5FB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#SCCL, Block-tridiagonal height form (statement)
History
- 2026-11-01: add by m2/v0.6.15
Calculus of variations YJ6W5WTDG0
| URI | m2://inv/YJ6W5WTDG0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculus#4N68, Calculus of variations (statement)
History
- 2026-11-02: add by m2/dev
Semi-Thue system YJ6X4M1PN9
| URI | m2://inv/YJ6X4M1PN9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1378504, Semi-Thue system (concept). Also MathWorld StringRewritingSystem
- wikipedia: Wikipedia Semi-Thue system, Semi-Thue system (definition). Also Wikidata Q1378504
History
- 2026-10-26: add by m2/dev
YJ6YR8ZQ7A YJ6YR8ZQ7A
| URI | m2://inv/YJ6YR8ZQ7A |
|---|---|
| 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.02689#YUX8 (statement). In 7BWXR38MNE/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.12
YJ6YX5G7E3 YJ6YX5G7E3
| URI | m2://inv/YJ6YX5G7E3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.23812#DT26 (definition). In D8XZBXJPR5/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
YJ6ZPB21TM YJ6ZPB21TM
| URI | m2://inv/YJ6ZPB21TM |
|---|---|
| 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 math/9801068#S0OW (statement). In PMMWXCJVAZ/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.5
Bluff body YJ6ZYVQHGD
| URI | m2://inv/YJ6ZYVQHGD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Drag coefficient#HQII, Bluff body (unknown)
History
- 2026-11-02: add by m2/dev
YJ72VDCX5Y YJ72VDCX5Y
| URI | m2://inv/YJ72VDCX5Y |
|---|---|
| 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 2403.02207#MPR1 (definition). In 1T3ZYPQZF0/e1, definition 1.2
History
- 2026-10-27: add by m2/v0.3.6
YJ73G63DBG YJ73G63DBG
| URI | m2://inv/YJ73G63DBG |
|---|---|
| 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.31336#NQB9 (statement). In 70RV7J456D/e1, theorem 1
History
- 2026-10-31: add by m2/v0.5.6
National Statistics and Information Authority YJ75PTR1BF
| URI | m2://inv/YJ75PTR1BF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Statistics and Information Authority, National Statistics and Information Authority (definition). Also Wikidata Q5061867
History
- 2026-11-02: add by m2/dev
Endpoint regularity YJ770MH03Z
| URI | m2://inv/YJ770MH03Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27250#5P0N, Endpoint regularity (definition)
History
- 2026-11-01: add by m2/v0.6.15
YJ78B52JZB YJ78B52JZB
| URI | m2://inv/YJ78B52JZB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38030#AKVS (definition). In XYYEJN00D8/e1, definition 2.20
History
- 2026-10-30: add by m2/v0.4.12
YJ7CE2G98Z YJ7CE2G98Z
| URI | m2://inv/YJ7CE2G98Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20119#5BOG (statement)
History
- 2026-11-02: add by m2/v0.6.18
YJ7DW119FK YJ7DW119FK
| URI | m2://inv/YJ7DW119FK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35095#2WB9 (statement). In MM3XTWS35F/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
Basic properties YJ7K81T4TH
| URI | m2://inv/YJ7K81T4TH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moduli stack of principal bundles#1HO5, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
The lemma YJ7VYAQG7M
| URI | m2://inv/YJ7VYAQG7M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unique homomorphic extension theorem#TLS2, The lemma (statement)
History
- 2026-11-02: add by m2/dev
log-normal distribution YJ8231A2W9
| URI | m2://inv/YJ8231A2W9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Log-normal distribution 4W40NHWPQT |
Mentions
- wikidata: Wikidata Q826116, log-normal distribution (unknown). Also MathWorld LogNormalDistribution
- wikipedia: Wikipedia Log-normal distribution, Log-normal distribution (definition). Also Wikidata Q826116
History
- 2026-10-26: add by m2/dev
Monk's formula YJ86NZB0EZ
| URI | m2://inv/YJ86NZB0EZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monk's formula, Monk's formula (statement). Also Wikidata Q17043011
History
- 2026-11-02: add by m2/dev
YJ89N8SYXS YJ89N8SYXS
| URI | m2://inv/YJ89N8SYXS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_intro.ptx#ex_recurrence_ternary-strings-no-20 (example). In QKM9DD2H56, example, section 9.1.2
History
- 2026-11-01: add by m2/v0.6.13
YJ8BG0Q5G0 YJ8BG0Q5G0
| URI | m2://inv/YJ8BG0Q5G0 |
|---|---|
| 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 1810.06028#WHDC (example). In ZPFHH6YJG3/e1, example 2.19
History
- 2026-10-27: add by m2/v0.3.5
Axisymmetric uniqueness YJ8CGWAGMB
| URI | m2://inv/YJ8CGWAGMB |
|---|---|
| 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.23872#ZILJ, Axisymmetric uniqueness (statement)
History
- 2026-11-02: add by m2/v0.6.17
Polar circle (geometry) YJ8M63ZHFG
| URI | m2://inv/YJ8M63ZHFG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#Q8FV, Polar circle (geometry) (definition)
History
- 2026-11-02: add by m2/dev
Statistical Center of Iran YJ8W8C02BH
| URI | m2://inv/YJ8W8C02BH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical Center of Iran, Statistical Center of Iran (definition). Also Wikidata Q25016236
History
- 2026-11-02: add by m2/dev
Necessary and sufficient conditions for GRM to meet the SLB YJ987RY0XS
| URI | m2://inv/YJ987RY0XS |
|---|---|
| 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.15549#2OMW, Necessary and sufficient conditions for GRM to meet the SLB (statement). In S96K5CR1B7/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
Euler–Mascheroni constant YJ9BGZESPJ
| URI | m2://inv/YJ9BGZESPJ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#YBES, Euler–Mascheroni constant (conjecture)
History
- 2026-11-02: add by m2/dev
Definitions YJ9BV1A3J0
| URI | m2://inv/YJ9BV1A3J0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Internal category#WGF1, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Classifier chains YJ9FQTNAHF
| URI | m2://inv/YJ9FQTNAHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classifier chains, Classifier chains (definition). Also Wikidata Q5128441
History
- 2026-11-02: add by m2/dev
YJ9GR46EF2 YJ9GR46EF2
| URI | m2://inv/YJ9GR46EF2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2608.17785#966P (statement). In H3FDP8S1Z7/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
YJ9GSMJZG3 YJ9GSMJZG3
| URI | m2://inv/YJ9GSMJZG3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15432#APWG (statement). In D1DFM4WYEW/e1, theorem Theorem
History
- 2026-10-28: add by m2/v0.4.2
Zinbiel algebra YJ9J76PVFK
| URI | m2://inv/YJ9J76PVFK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2835946, Zinbiel algebra (unknown). Also nLab Zinbiel algebra
- wikipedia: Wikipedia Zinbiel algebra, Zinbiel algebra (definition). Also Wikidata Q2835946
History
- 2026-10-26: add by m2/dev
BRST quantization YJ9QYV2JR9
| URI | m2://inv/YJ9QYV2JR9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2752849, BRST quantization (unknown). Also nLab BRST
- wikipedia: Wikipedia BRST quantization, BRST quantization (definition). Also Wikidata Q2752849
History
- 2026-10-26: add by m2/dev
YJ9RB5K8D3 YJ9RB5K8D3
| URI | m2://inv/YJ9RB5K8D3 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25742#6B9H (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Canonical singularity YJ9T1NPT15
| URI | m2://inv/YJ9T1NPT15 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Canonical singularity, Canonical singularity (definition). Also Wikidata Q5033381
History
- 2026-11-02: add by m2/dev
Applications YJ9TGA4XR4
| URI | m2://inv/YJ9TGA4XR4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MinHash#0CQR, Applications (example)
History
- 2026-11-02: add by m2/dev
Acceptance probability of primitive conditioning YJ9XKH1BT8
| URI | m2://inv/YJ9XKH1BT8 |
|---|---|
| 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.30808#A5JX, Acceptance probability of primitive conditioning (statement). In 4JCFPV48VG/e1, theorem 4.4
History
- 2026-10-31: add by m2/v0.5.6
Modal analysis YJACVW66J7
| URI | m2://inv/YJACVW66J7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modal analysis, Modal analysis (topic). Also Wikidata Q1416137
History
- 2026-11-02: add by m2/dev
Caro and Mifsud YJAE9ZTRVT
| URI | m2://inv/YJAE9ZTRVT |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27788#WC2N, Caro and Mifsud (problem)
History
- 2026-11-01: add by m2/v0.6.15
Algorithm YJAS0G7YCG
| URI | m2://inv/YJAS0G7YCG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Viterbi algorithm#JECC, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Anton Börsch YJASB1E1CR
| URI | m2://inv/YJASB1E1CR |
|---|---|
| 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#GWZR, Anton Börsch (unknown)
History
- 2026-11-02: add by m2/dev
The "Paradox" paper YJAY2N3KDK
| URI | m2://inv/YJAY2N3KDK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Einstein–Podolsky–Rosen paradox#J987, The "Paradox" paper (statement)
History
- 2026-11-02: add by m2/dev
Efficiency of estimators YJAYMP9D9F
| URI | m2://inv/YJAYMP9D9F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Efficiency (statistics)#YVF0, Efficiency of estimators (unknown)
History
- 2026-11-02: add by m2/dev
YJB4PD3ZJK YJB4PD3ZJK
| URI | m2://inv/YJB4PD3ZJK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39104#0JRM (statement). In V2NTW27MSJ/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
Pharmaceutical statistics YJBVZYY4CA
| URI | m2://inv/YJBVZYY4CA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#YMU6, Pharmaceutical statistics (definition)
- wikipedia: Wikipedia List of statistics journals#ZN5F, Pharmaceutical Statistics (definition)
History
- 2026-11-02: add by m2/dev
YJBYB1DQA1 YJBYB1DQA1
| URI | m2://inv/YJBYB1DQA1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14847#GZFY (statement). In 2RC8WXQ9ET/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Applications YJCBTXNMRC
| URI | m2://inv/YJCBTXNMRC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distance geometry#C9G2, Applications (example)
History
- 2026-11-02: add by m2/dev
Nielsen transformation YJCCPRCD5S
| URI | m2://inv/YJCCPRCD5S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nielsen transformation, Nielsen transformation (definition). Also Wikidata Q15021036
History
- 2026-11-02: add by m2/dev
Lee error spread YJCKQ4Y8DM
| URI | m2://inv/YJCKQ4Y8DM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04834#UT2T, Lee error spread (definition). In YZNK67K060/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.12
YJCNMF9YB6 YJCNMF9YB6
| URI | m2://inv/YJCNMF9YB6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1712.02437#IJ8H (statement). In GZDFK652T9/e1, theorem 6.2
History
- 2026-10-27: add by m2/v0.3.5
Methods YJCP7XW1E2
| URI | m2://inv/YJCP7XW1E2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bullrun (decryption program)#126L, Methods (definition)
History
- 2026-11-02: add by m2/dev
YJCQTW5MMA YJCQTW5MMA
| URI | m2://inv/YJCQTW5MMA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07812#UF8Y (statement). In PVX8WBBXW5/e1, corollary 3.12
History
- 2026-10-29: add by m2/v0.4.10
white noise YJCSV9VR65
| URI | m2://inv/YJCSV9VR65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q381287, white noise (unknown). Also nLab white noise
- wikipedia: Wikipedia White noise, White noise (definition). Also Wikidata Q381287
History
- 2026-10-26: add by m2/dev
YJCVPCKBZM YJCVPCKBZM
| URI | m2://inv/YJCVPCKBZM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.14022#NGUH (definition). In NSYR6W27FP/e1, definition 5.4
History
- 2026-10-27: add by m2/v0.3.5
One-sided nonpositive Gaussian dependence YJCVWYN5A3
| URI | m2://inv/YJCVWYN5A3 |
|---|---|
| Kind | problem |
| 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 2609.29658#I4HB, One-sided nonpositive Gaussian dependence (problem)
History
- 2026-11-01: add by m2/v0.6.15
Distance margin stability under projector perturbation YJCWA3RKHZ
| URI | m2://inv/YJCWA3RKHZ |
|---|---|
| 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.08152#5Y9K, Distance margin stability under projector perturbation (statement). In T1GYQ6SCCZ/e1, theorem 3.4
History
- 2026-10-29: add by m2/v0.4.10
Z-transform YJCYM3EMZ0
| URI | m2://inv/YJCYM3EMZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Z-transform 5FY0JQGHYZ |
Mentions
- wikidata: Wikidata Q135810, Z-transform (unknown). Also MathWorld Z-Transform
- wikipedia: Wikipedia Z-transform, Z-transform (definition). Also Wikidata Q135810
History
- 2026-10-26: add by m2/dev
Symmetry YJCZT8XQ51
| URI | m2://inv/YJCZT8XQ51 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/special-properties.tex#defn-3, Symmetry (definition). In PKGMM3P5QY, defn, section 82.1
History
- 2026-11-01: add by m2/v0.6.13
Reinhold Hoppe YJD0NGQ5QS
| URI | m2://inv/YJD0NGQ5QS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reinhold Hoppe, Reinhold Hoppe (topic). Also Wikidata Q15881197
History
- 2026-11-02: add by m2/dev
Darren Gergle YJD41JDPFH
| URI | m2://inv/YJD41JDPFH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#V3LG, Darren Gergle (unknown)
History
- 2026-11-02: add by m2/dev
YJD50BVREW YJD50BVREW
| URI | m2://inv/YJD50BVREW |
|---|---|
| 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 2504.14383#UZOP (statement). In QD0X3XJS6T/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
planar embedding YJD9NMS0JQ
| URI | m2://inv/YJD9NMS0JQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q66232788, planar embedding (unknown). Also MathWorld PlanarEmbedding
History
- 2026-10-26: add by m2/dev
V. N. Bhat YJDC4ZQ5SX
| URI | m2://inv/YJDC4ZQ5SX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#JRHN, V. N. Bhat (topic)
History
- 2026-11-02: add by m2/dev
Reflection of sites, configurations and functions YJDCFRG3BV
| URI | m2://inv/YJDCFRG3BV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29671#RCEE, Reflection of sites, configurations and functions (definition)
History
- 2026-11-01: add by m2/v0.6.15
YJDGWVWJJ3 YJDGWVWJJ3
| URI | m2://inv/YJDGWVWJJ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05868#0SBG (statement). In WXD0FASTA7/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.10
Example YJDW1X6709
| URI | m2://inv/YJDW1X6709 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial matrix spectral factorization#YJ0M, Example (example)
History
- 2026-11-02: add by m2/dev
YJDXEBPJGK YJDXEBPJGK
| URI | m2://inv/YJDXEBPJGK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26382#YVZH (statement)
History
- 2026-11-01: add by m2/v0.6.15
YJDZE9WTX5 YJDZE9WTX5
| URI | m2://inv/YJDZE9WTX5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11021#DUOR (statement). In R0SSJZYVTJ/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.3
YJE4EXQGXY YJE4EXQGXY
| URI | m2://inv/YJE4EXQGXY |
|---|---|
| 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#6Y15 (statement). In 22JZ68FGCW/e1, proposition 6.33
History
- 2026-10-27: add by m2/v0.3.5
YJE6N4NGY8 YJE6N4NGY8
| URI | m2://inv/YJE6N4NGY8 |
|---|---|
| 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.23287#HJEJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Periodic rectifiable resolved cut YJEFXGJS1V
| URI | m2://inv/YJEFXGJS1V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20215#TMJD, Periodic rectifiable resolved cut (statement)
History
- 2026-11-02: add by m2/v0.6.18
List of shapes with known packing constant YJEYEA2Z46
| URI | m2://inv/YJEYEA2Z46 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of shapes with known packing constant, List of shapes with known packing constant (topic). Also Wikidata Q18355780
History
- 2026-11-02: add by m2/dev
Universal trace identities YJEYZWJ63B
| URI | m2://inv/YJEYZWJ63B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12326#NMSV, Universal trace identities (statement). In 9S7HGSEX6Q/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
Connection coefficient YJEZGZEJSN
| URI | m2://inv/YJEZGZEJSN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christoffel symbols#69IQ, Connection coefficient (unknown)
History
- 2026-11-02: add by m2/dev
Statement of the theorem YJF0BW42A3
| URI | m2://inv/YJF0BW42A3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernstein's theorem on monotone functions#RPOY, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Sparse stopping-time embedding YJF385FCGG
| URI | m2://inv/YJF385FCGG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20531#A795, Sparse stopping-time embedding (statement)
History
- 2026-11-02: add by m2/v0.6.18
YJF4N56PW4 YJF4N56PW4
| URI | m2://inv/YJF4N56PW4 |
|---|---|
| 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.27200#YUK1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
History monoid YJF5ARSQPB
| URI | m2://inv/YJF5ARSQPB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History monoid, History monoid (definition). Also Wikidata Q5774850
History
- 2026-11-02: add by m2/dev
Straw Dogs YJF7NZS2XJ
| URI | m2://inv/YJF7NZS2XJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of films about mathematicians#DQMX, Straw Dogs (unknown)
History
- 2026-11-02: add by m2/dev
Ellsberg paradox YJFCW4ZX8Y
| URI | m2://inv/YJFCW4ZX8Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellsberg paradox, Ellsberg paradox (statement). Also Wikidata Q1332562
History
- 2026-11-02: add by m2/dev
Philippe Di Francesco YJFJT5Z9MP
| URI | m2://inv/YJFJT5Z9MP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philippe Di Francesco, Philippe Di Francesco (topic). Also Wikidata Q30323400
History
- 2026-11-02: add by m2/dev
Formulas YJFZ5P2G00
| URI | m2://inv/YJFZ5P2G00 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection (linear algebra)#LHGU, Formulas (statement)
History
- 2026-11-02: add by m2/dev
Robin-preserving arithmetic families YJG30A3PMY
| URI | m2://inv/YJG30A3PMY |
|---|---|
| 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#T653, Robin-preserving arithmetic families (statement). In W0PQMW25VY/e1, theorem 3.2
History
- 2026-10-30: add by m2/v0.4.12
YJG3K64CGB YJG3K64CGB
| URI | m2://inv/YJG3K64CGB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27301#PFB7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Weyl's tube formula YJG50Z7WE6
| URI | m2://inv/YJG50Z7WE6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#IJX1, Weyl's tube formula (statement)
History
- 2026-11-02: add by m2/dev
YJG6RJM9XT YJG6RJM9XT
| URI | m2://inv/YJG6RJM9XT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#ILHG (definition). In BDN507RN7J/e1, definition 4.6.1
History
- 2026-10-30: add by m2/v0.4.12
Definition YJGA29YY0Y
| URI | m2://inv/YJGA29YY0Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cobordism#P152, Definition (definition)
History
- 2026-11-02: add by m2/dev
Richard Whately YJGCJAV7A3
| URI | m2://inv/YJGCJAV7A3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Whately, Richard Whately (topic). Also Wikidata Q2997652
History
- 2026-11-02: add by m2/dev
Mathieu group M24 YJGD3VEW9R
| URI | m2://inv/YJGD3VEW9R |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathieu group M24, Mathieu group M24 (object). Also Wikidata Q6787240
History
- 2026-11-02: add by m2/dev
The theorem YJGDJ1PCSH
| URI | m2://inv/YJGDJ1PCSH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beauville–Laszlo theorem#JUPG, The theorem (statement)
History
- 2026-11-02: add by m2/dev
Naum Meiman YJGGGHDHQM
| URI | m2://inv/YJGGGHDHQM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#U947, Naum Meiman (topic)
History
- 2026-11-02: add by m2/dev
Bayes space YJGHPKYVYA
| URI | m2://inv/YJGHPKYVYA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayes space, Bayes space (definition). Also Wikidata Q133153214
History
- 2026-11-02: add by m2/dev
YJGM3GRB8T YJGM3GRB8T
| URI | m2://inv/YJGM3GRB8T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14616#BSMP (statement). In 17ACAG0N9C/e1, corollary 7.3
History
- 2026-10-28: add by m2/v0.4.2
Definition YJGZ9KW7GB
| URI | m2://inv/YJGZ9KW7GB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero-divisor graph#BU9B, Definition (definition)
History
- 2026-11-02: add by m2/dev
Zinovy Reichstein YJH22QD3P7
| URI | m2://inv/YJH22QD3P7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#21KT, Zinovy Reichstein (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CTUF, Zinovy Reichstein (topic)
History
- 2026-11-02: add by m2/dev
Statement YJH2F0RNPV
| URI | m2://inv/YJH2F0RNPV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonabelian Hodge correspondence#1GLE, Statement (statement)
History
- 2026-11-02: add by m2/dev
Path-ordering YJH3T8Q5MH
| URI | m2://inv/YJH3T8Q5MH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#RFBX, Path-ordering (unknown)
History
- 2026-11-02: add by m2/dev
YJHC6356BD YJHC6356BD
| URI | m2://inv/YJHC6356BD |
|---|---|
| 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.07927#HHB2 (statement). In GKM19DHQTM/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
Theorem YJHM5KPA06
| URI | m2://inv/YJHM5KPA06 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex cap#PJOH, Theorem (statement)
History
- 2026-11-02: add by m2/dev
second derivative test YJHTDW54AW
| URI | m2://inv/YJHTDW54AW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Second derivative test 0FZFHK97P7 |
Mentions
- wikidata: Wikidata Q3520081, second derivative test (concept). Also MathWorld SecondDerivativeTest
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
YJJ0FABKV4 YJJ0FABKV4
| URI | m2://inv/YJJ0FABKV4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-31 (exercise). In VNMV985MXX, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
isosceles trapezoid YJJ1C55MAW
| URI | m2://inv/YJJ1C55MAW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1194115, isosceles trapezoid (unknown). Also MathWorld IsoscelesTrapezoid
- wikipedia: Wikipedia Isosceles trapezoid, Isosceles trapezoid (definition). Also Wikidata Q1194115
History
- 2026-10-26: add by m2/dev
supergroup YJJ6NATT10
| URI | m2://inv/YJJ6NATT10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7643409, supergroup (unknown). Also nLab supergroup
- wikipedia: Wikipedia Supergroup (physics), Supergroup (definition). Also Wikidata Q7643409
History
- 2026-10-26: add by m2/dev
YJJ6T3030B YJJ6T3030B
| URI | m2://inv/YJJ6T3030B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/transpose.tex#claim-1 (statement). In RZP28ERRZV, claim, section 61.5
History
- 2026-11-01: add by m2/v0.6.13
YJJDA16M0A YJJDA16M0A
| URI | m2://inv/YJJDA16M0A |
|---|---|
| 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 2504.00267#3O6X (statement). In 38XJWDZ2PH/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
YJJNS98142 YJJNS98142
| URI | m2://inv/YJJNS98142 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01653#5JEY (statement). In WZMHJCQPB2/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.12
YJJP99W6HS YJJP99W6HS
| URI | m2://inv/YJJP99W6HS |
|---|---|
| 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.27335#FKAG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Taylor's theorem YJJPF0AMZH
| URI | m2://inv/YJJPF0AMZH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential calculus#ZOCZ, Taylor's theorem (statement)
History
- 2026-11-02: add by m2/dev
correlation YJJTBXYN53
| URI | m2://inv/YJJTBXYN53 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#TLW4, correlation (definition)
History
- 2026-11-02: add by m2/dev
Philonides of Laodicea YJJVMFSNTW
| URI | m2://inv/YJJVMFSNTW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philonides of Laodicea, Philonides of Laodicea (topic). Also Wikidata Q9259819
History
- 2026-11-02: add by m2/dev
Definition YJK6ZN9DCS
| URI | m2://inv/YJK6ZN9DCS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasiconvexity (calculus of variations)#TMVX, Definition (definition)
History
- 2026-11-02: add by m2/dev
YJKBXVAR7F YJKBXVAR7F
| URI | m2://inv/YJKBXVAR7F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-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 0903.0651#MOTT (definition). In 6R0KH80PTK/e1, definition 10
History
- 2026-10-27: add by m2/v0.3.5
inhabited set YJKD64G7BF
| URI | m2://inv/YJKD64G7BF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6033616, inhabited set (unknown). Also nLab inhabited set
- wikipedia: Wikipedia Inhabited set, Inhabited set (definition). Also Wikidata Q6033616
History
- 2026-10-26: add by m2/dev
Van der Waals equation YJKGRHK11E
| URI | m2://inv/YJKGRHK11E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van der Waals equation, Van der Waals equation (definition). Also Wikidata Q254329
History
- 2026-11-02: add by m2/dev
Klara Kedem YJKRE8G318
| URI | m2://inv/YJKRE8G318 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EV50, Klara Kedem (unknown)
History
- 2026-11-02: add by m2/dev
YJKW54J92E YJKW54J92E
| URI | m2://inv/YJKW54J92E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.03704#RFCM (statement). In Q3PY5AGD6N/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
Formal definition YJM0V1HJ7D
| URI | m2://inv/YJM0V1HJ7D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotic dimension#31D8, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
YJM2SYRX7S YJM2SYRX7S
| URI | m2://inv/YJM2SYRX7S |
|---|---|
| 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.31527#BBD7 (statement). In ZQ2YZ4P6P5/e1, theorem 4.4
History
- 2026-10-31: add by m2/v0.5.6
Applications YJMAJRSSFQ
| URI | m2://inv/YJMAJRSSFQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pcf theory#2V5X, Applications (example)
History
- 2026-11-02: add by m2/dev
YJMBF8MM5G YJMBF8MM5G
| URI | m2://inv/YJMBF8MM5G |
|---|---|
| Kind | example |
| 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.37704#RX2U (example). In HGTFJ325A4/e1, example 6.10
History
- 2026-10-30: add by m2/v0.4.12
Remak decomposition YJME3C6991
| URI | m2://inv/YJME3C6991 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krull–Schmidt theorem#PRME, Remak decomposition (unknown)
History
- 2026-11-02: add by m2/dev
YJMFVWMHYF YJMFVWMHYF
| URI | m2://inv/YJMFVWMHYF |
|---|---|
| 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.08288#XHM8 (statement). In CHVWYJM7RM/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.10
YJMH108AFX YJMH108AFX
| URI | m2://inv/YJMH108AFX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise-30 (exercise). In E59CDZA4DP, exercise, section 7.4.1
History
- 2026-11-01: add by m2/v0.6.13
Meshedness coefficient YJMJQ0CYR0
| URI | m2://inv/YJMJQ0CYR0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meshedness coefficient, Meshedness coefficient (definition). Also Wikidata Q25303706
History
- 2026-11-02: add by m2/dev
B/b YJMT3X63KN
| URI | m2://inv/YJMT3X63KN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9705, B/b (unknown). Also ProofWiki Symbols:B
History
- 2026-10-26: add by m2/dev
Antiphon YJMZ0H7JGQ
| URI | m2://inv/YJMZ0H7JGQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#53PS, Antiphon (topic)
History
- 2026-11-02: add by m2/dev
YJN0S2JK1Q YJN0S2JK1Q
| URI | m2://inv/YJN0S2JK1Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02141#JL4M (statement). In 5AB8YPS19N/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.12
Theorem YJN4X7Q3RX
| URI | m2://inv/YJN4X7Q3RX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laguerre plane#LC1L, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Topos YJNA6J8A04
| URI | m2://inv/YJNA6J8A04 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#EMJR, Topos (definition)
History
- 2026-11-02: add by m2/dev
YJNDS0SK5P YJNDS0SK5P
| URI | m2://inv/YJNDS0SK5P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.14022#S8AU (definition). In NSYR6W27FP/e1, definition 4.10
History
- 2026-10-27: add by m2/v0.3.5
YJNE31D6AX YJNE31D6AX
| URI | m2://inv/YJNE31D6AX |
|---|---|
| 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#4I3O (statement). In ESDKTYDHC8/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.12
YJNFWZ195A YJNFWZ195A
| URI | m2://inv/YJNFWZ195A |
|---|---|
| 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.02579#7VNS (statement). In CBTJDYHH34/e1, proposition 18
History
- 2026-10-29: add by m2/v0.4.12
Definition YJNK7MFKAC
| URI | m2://inv/YJNK7MFKAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edge cover#F8Z6, Definition (definition)
History
- 2026-11-02: add by m2/dev
torus YJNKNR9YV9
| URI | m2://inv/YJNKNR9YV9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Torus 03NM7DZXXC |
Mentions
- wikidata: Wikidata Q12510, torus (unknown). Also MathWorld Torus
- wikipedia: Wikipedia Torus, Torus (definition). Also Wikidata Q12510
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
YJNRY85CBX YJNRY85CBX
| URI | m2://inv/YJNRY85CBX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12188#AX2T (statement). In 52HWCGK5QJ/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Finite gauge representation YJNSXSEYE3
| URI | m2://inv/YJNSXSEYE3 |
|---|---|
| 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.20514#YUVV, Finite gauge representation (statement)
History
- 2026-11-02: add by m2/v0.6.18
Medial triambic icosahedron YJNT549D0Z
| URI | m2://inv/YJNT549D0Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great triambic icosahedron#ICLY, Medial triambic icosahedron (unknown)
History
- 2026-11-02: add by m2/dev
characteristic of a ring YJNVC0BGTR
| URI | m2://inv/YJNVC0BGTR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Characteristic of a ring 0F6ES3BRYP |
Mentions
- mathlib_overview: mathlib_overview General algebra > Field theory > characteristic of a ring, characteristic of a ring (unknown). Also Mathlib ringChar
- mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > characteristic of a ring, characteristic of a ring (unknown). Also Mathlib ringChar
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
YJNXX2ZCJW YJNXX2ZCJW
| URI | m2://inv/YJNXX2ZCJW |
|---|---|
| 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.00770#H8DA (statement). In AYGRJSRG1M/e1, lemma
History
- 2026-10-29: add by m2/v0.4.12
Intrinsic flat distance YJP242B7YY
| URI | m2://inv/YJP242B7YY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intrinsic flat distance, Intrinsic flat distance (definition). Also Wikidata Q6058714
History
- 2026-11-02: add by m2/dev
elongated pentagonal orthobicupola YJPA08DTF0
| URI | m2://inv/YJPA08DTF0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2548687, elongated pentagonal orthobicupola (object). Also MathWorld ElongatedPentagonalOrthobicupola
- wikipedia: Wikipedia Elongated pentagonal orthobicupola, Elongated pentagonal orthobicupola (definition). Also Wikidata Q2548687
History
- 2026-10-26: add by m2/dev
YJPBWBQ600 YJPBWBQ600
| URI | m2://inv/YJPBWBQ600 |
|---|---|
| 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 2404.06445#G4YE (statement). In 12JKZ8EN52/e1, corollary 8.6
History
- 2026-10-27: add by m2/v0.3.5
YJPESDFFK2 YJPESDFFK2
| URI | m2://inv/YJPESDFFK2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.17066#0TLK (statement). In X2AEJAQEP8/e1, corollary 3.15
History
- 2026-10-27: add by m2/v0.3.5
YJPMJ18DJ8 YJPMJ18DJ8
| URI | m2://inv/YJPMJ18DJ8 |
|---|---|
| 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.26477#JWLZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
YJPMZZED5Z YJPMZZED5Z
| URI | m2://inv/YJPMZZED5Z |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#O87B (definition). In 1QSCT53ZED/e1, definition 7.1
History
- 2026-10-27: add by m2/v0.4.0
Applications YJPQQHS04J
| URI | m2://inv/YJPQQHS04J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hydrodynamic stability#NRS3, Applications (example)
History
- 2026-11-02: add by m2/dev
YJPQQSGVK2 YJPQQSGVK2
| URI | m2://inv/YJPQQSGVK2 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06340#35IN (conjecture). In PKNZPECH82/e1, conjecture 1.3
History
- 2026-10-29: add by m2/v0.4.10
Majorana completeness YJPWGHQAGW
| URI | m2://inv/YJPWGHQAGW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00448#UTX9, Majorana completeness (statement). In N06J7GC05Q/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
$(\infty,1)$-category YJPWHBA04Y
| URI | m2://inv/YJPWHBA04Y |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.15/infty-1-category, $(\infty,1)$-category (concept). In N54F33XE07, index, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
Optimal decision YJQ3M44XAS
| URI | m2://inv/YJQ3M44XAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#QMXA, Optimal decision (definition)
History
- 2026-11-02: add by m2/dev
YJQ3PYP015 YJQ3PYP015
| URI | m2://inv/YJQ3PYP015 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#prop:topology:open (statement). In E59CDZA4DP, prop, section 4.2.1
History
- 2026-11-01: add by m2/v0.6.13
Bayesian program synthesis YJQ61N636A
| URI | m2://inv/YJQ61N636A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayesian program synthesis, Bayesian program synthesis (definition). Also Wikidata Q30324388
History
- 2026-11-02: add by m2/dev
YJQ6R7F0CE YJQ6R7F0CE
| URI | m2://inv/YJQ6R7F0CE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#BLJO (definition). In G70Q2FB591/e1, definition 2.8
History
- 2026-10-28: add by m2/v0.4.2
Bicrossed product of Hopf algebra YJQJN2XH6B
| URI | m2://inv/YJQJN2XH6B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bicrossed product of Hopf algebra, Bicrossed product of Hopf algebra (definition). Also Wikidata Q110442611
History
- 2026-11-02: add by m2/dev
Converse YJQMNMRB59
| URI | m2://inv/YJQMNMRB59 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellipsoid#1PX1, Converse (statement)
History
- 2026-11-02: add by m2/dev
YJQVSJW7Y5 YJQVSJW7Y5
| URI | m2://inv/YJQVSJW7Y5 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08382#6U1Q (problem). In GYMGDQS25R/e1, problem 1.8
History
- 2026-10-29: add by m2/v0.4.10
right limit YJQVXC5DPW
| URI | m2://inv/YJQVXC5DPW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.7.2/right-limit, right limit (concept). In 907G4C4EJ1, index, section 1.7.2
History
- 2026-11-01: add by m2/v0.6.13
Random-reshuffling noise and cancellation YJR11PJ81R
| URI | m2://inv/YJR11PJ81R |
|---|---|
| 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.11309#447A, Random-reshuffling noise and cancellation (statement). In TTEAQA1XXR/e1, lemma B.10
History
- 2026-10-28: add by m2/v0.4.3
separated blocks YJR2DT4K71
| URI | m2://inv/YJR2DT4K71 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23922#RHNM, separated blocks (example)
History
- 2026-11-02: add by m2/v0.6.17
Zero-level estimates YJRCDPG5C6
| URI | m2://inv/YJRCDPG5C6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#HQZT, Zero-level estimates (statement). In RYWAX33Z51/e1, proposition 11.4
History
- 2026-10-31: add by m2/v0.5.6
Hierarchical generalized linear model YJRENTRXTA
| URI | m2://inv/YJRENTRXTA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hierarchical generalized linear model, Hierarchical generalized linear model (definition). Also Wikidata Q5753099
History
- 2026-11-02: add by m2/dev
MatrixSSL YJRGF89W8C
| URI | m2://inv/YJRGF89W8C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MatrixSSL, MatrixSSL (definition). Also Wikidata Q6787839
History
- 2026-11-02: add by m2/dev
M. C. Escher: Visions of Symmetry YJRGQSEMWZ
| URI | m2://inv/YJRGQSEMWZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M. C. Escher: Visions of Symmetry, M. C. Escher: Visions of Symmetry (topic). Also Wikidata Q125293606
History
- 2026-11-02: add by m2/dev
YJRP3792G8 YJRP3792G8
| URI | m2://inv/YJRP3792G8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03835#HFBA (statement). In KAYGQMQPGS/e1, proposition 2.6
History
- 2026-10-29: add by m2/v0.4.12
YJRR0PC4MD YJRR0PC4MD
| URI | m2://inv/YJRR0PC4MD |
|---|---|
| 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.22190#X7QC (statement). In AM6Y5W3HGG/e1, fact 14
History
- 2026-10-27: add by m2/v0.4.0
Properties YJRZ7D61C1
| URI | m2://inv/YJRZ7D61C1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Langlands–Deligne local constant#OBZE, Properties (statement)
History
- 2026-11-02: add by m2/dev
YJS0VNNMMA YJS0VNNMMA
| URI | m2://inv/YJS0VNNMMA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/FiniteSets.tex#definition-1 (definition). In P1C114YBXG, definition, section B
History
- 2026-11-01: add by m2/v0.6.13
Formal definition YJS1G4Q8MR
| URI | m2://inv/YJS1G4Q8MR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Bruijn index#U78C, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
No local radical formula with arbitrary fixed constants YJS6KJ70FK
| URI | m2://inv/YJS6KJ70FK |
|---|---|
| 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.15125#Q2B7, No local radical formula with arbitrary fixed constants (statement). In V5GT8NJKCM/e1, proposition H.4
History
- 2026-10-28: add by m2/v0.4.2
Mathematical joke YJSAM499BP
| URI | m2://inv/YJSAM499BP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical joke, Mathematical joke (topic). Also Wikidata Q2638967
History
- 2026-11-02: add by m2/dev
Chinese mathematics YJSDTEBRZ1
| URI | m2://inv/YJSDTEBRZ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics history topics#AI68, Chinese mathematics (definition)
History
- 2026-11-02: add by m2/dev
Niklas Beisert YJSW6B8D0E
| URI | m2://inv/YJSW6B8D0E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1488560, Niklas Beisert (unknown). Also nLab Niklas Beisert
History
- 2026-10-26: add by m2/dev
YJT18EPV1K YJT18EPV1K
| URI | m2://inv/YJT18EPV1K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26276#2TYV (statement)
History
- 2026-11-01: add by m2/v0.6.15
YJT1WF60K0 YJT1WF60K0
| URI | m2://inv/YJT1WF60K0 |
|---|---|
| Kind | statement |
| 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 0806.0678#LV67 (statement). In 5RMV7VP13X/e1, corollary 3.1
History
- 2026-10-27: add by m2/v0.3.5
YJT7BCPEEW YJT7BCPEEW
| URI | m2://inv/YJT7BCPEEW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01694#RG22 (statement). In EBMHYN0XK9/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.12
YJT8WZPJSA YJT8WZPJSA
| URI | m2://inv/YJT8WZPJSA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#2Z41 (statement)
History
- 2026-11-02: add by m2/v0.6.18
YJT9VT94BP YJT9VT94BP
| URI | m2://inv/YJT9VT94BP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.14389#2BLE (statement). In NAMCCRM50R/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.3.5
YJTMMMVGMV YJTMMMVGMV
| URI | m2://inv/YJTMMMVGMV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.00864#1ZK4 (statement). In PRF0P3D637/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
John W. Dawson Jr. YJTSA2WTFW
| URI | m2://inv/YJTSA2WTFW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John W. Dawson Jr., John W. Dawson Jr. (topic). Also Wikidata Q6262220
History
- 2026-11-02: add by m2/dev
YJTVESNXG3 YJTVESNXG3
| URI | m2://inv/YJTVESNXG3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18061#15NA (statement). In Y8A35AV31M/e1, corollary 6.7
History
- 2026-10-28: add by m2/v0.4.2
Frank constant YJTXM2YHAJ
| URI | m2://inv/YJTXM2YHAJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distortion free energy density#HUBY, Frank constant (unknown)
History
- 2026-11-02: add by m2/dev
Idealized sequential-minimax filter YJV36E55WN
| URI | m2://inv/YJV36E55WN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21102#BEAN, Idealized sequential-minimax filter (statement)
History
- 2026-11-02: add by m2/v0.6.18
YJV3XGZNEW YJV3XGZNEW
| URI | m2://inv/YJV3XGZNEW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0810.5036#6CSR (statement). In 27F8W9E0JC/e1, fact
History
- 2026-10-27: add by m2/v0.3.5
Mark Pollicott YJVJVJZW6R
| URI | m2://inv/YJVJVJZW6R |
|---|---|
| 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#SENW, Mark Pollicott (topic)
History
- 2026-11-02: add by m2/dev
torsion subgroup YJVK0QTM6V
| URI | m2://inv/YJVK0QTM6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Torsion subgroup 0DBWXQRXQJ |
Mentions
- wikidata: Wikidata Q2293759, torsion subgroup (unknown). Also LMFDB knowl g2c.torsion, nLab torsion subgroup
- wikipedia: Wikipedia Torsion subgroup, Torsion subgroup (definition). Also Wikidata Q2293759
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Deutsch-Jozsa YJVYRXNNYH
| URI | m2://inv/YJVYRXNNYH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/quantum/circuits.tex#prob:deutsch_jozsa, Deutsch-Jozsa (exercise). In RZP28ERRZV, problem, section 75.4
History
- 2026-11-01: add by m2/v0.6.13
YJW0P76M5T YJW0P76M5T
| URI | m2://inv/YJW0P76M5T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-47 (exercise). In E59CDZA4DP, exercise, section 8.5.2
History
- 2026-11-01: add by m2/v0.6.13
YJW8Q34B7X YJW8Q34B7X
| URI | m2://inv/YJW8Q34B7X |
|---|---|
| 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.17720#I7IJ (statement). In QPM0GQYNZ9/e1, lemma 8.2
History
- 2026-10-28: add by m2/v0.4.2
Vanishing in linear systems of varieties -- weak locality YJWACSPXFN
| URI | m2://inv/YJWACSPXFN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33733#FMAX, Vanishing in linear systems of varieties -- weak locality (statement). In QBAP8C82FG/e1, theorem 32
History
- 2026-10-30: add by m2/v0.4.12
YJWATTHV4S YJWATTHV4S
| URI | m2://inv/YJWATTHV4S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19437#P4W4 (statement). In 9PXXGQ978Z/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
induction principle, for cumulative hierarchy YJWFY31213
| URI | m2://inv/YJWFY31213 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/induction-principle-for-cumulative-hierarchy, induction principle, for cumulative hierarchy (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
YJWSPTNV90 YJWSPTNV90
| URI | m2://inv/YJWSPTNV90 |
|---|---|
| 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 2506.21337#7US5 (statement). In EPZN0JTG2Z/e1, proposition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Duplication theorem YJX2GXJHNN
| URI | m2://inv/YJX2GXJHNN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carlson symmetric form#P7R9, Duplication theorem (statement)
History
- 2026-11-02: add by m2/dev
Superderivations YJX4C7AR31
| URI | m2://inv/YJX4C7AR31 |
|---|---|
| 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 2610.12489#D0OX, Superderivations (definition). In FDWFVD08SE/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.2
universal coefficient YJX7B9Y1VV
| URI | m2://inv/YJX7B9Y1VV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#HSIR, universal coefficient (definition)
History
- 2026-11-02: add by m2/dev
YJX8KSPD0M YJX8KSPD0M
| URI | m2://inv/YJX8KSPD0M |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#FQKL (unknown). In QNBFHFZ3H0/e1, unknown 88
History
- 2026-10-28: add by m2/v0.4.2
YJX8XJ9VZN YJX8XJ9VZN
| URI | m2://inv/YJX8XJ9VZN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#thm:RC-sim-characterization (statement). In N54F33XE07, thm, section B.3.2
History
- 2026-11-01: add by m2/v0.6.13
Symplectic frame bundle YJX9EBSCK0
| URI | m2://inv/YJX9EBSCK0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symplectic frame bundle, Symplectic frame bundle (definition). Also Wikidata Q7661844
History
- 2026-11-02: add by m2/dev
YJXFPQ1P6Z YJXFPQ1P6Z
| URI | m2://inv/YJXFPQ1P6Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13505#HDBT (statement). In 6Z1DDCYCQ8/e1, corollary 11
History
- 2026-10-28: add by m2/v0.4.2
YJXJV3KHDR YJXJV3KHDR
| URI | m2://inv/YJXJV3KHDR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34289#7YWF (statement). In 9RBATD2Z1F/e1, theorem 2.5
History
- 2026-10-30: add by m2/v0.4.12
Bootstrap inequality YJXKV5NZJR
| URI | m2://inv/YJXKV5NZJR |
|---|---|
| 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.02721#Y79O, Bootstrap inequality (statement). In XXFYVDVPPE/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.12
YJXPDMA4KK YJXPDMA4KK
| URI | m2://inv/YJXPDMA4KK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37739#N1BB (statement). In F5XF5VXTXY/e1, lemma 6.1
History
- 2026-10-30: add by m2/v0.4.12
YJXSJ04YM9 YJXSJ04YM9
| URI | m2://inv/YJXSJ04YM9 |
|---|---|
| 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.40345#RPPV (statement). In WK0PT95WW1/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
Griewank function YJXYN2NX4V
| URI | m2://inv/YJXYN2NX4V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19587277, Griewank function (unknown). Also MathWorld GriewankFunction
- wikipedia: Wikipedia Griewank function, Griewank function (definition). Also Wikidata Q19587277
History
- 2026-10-26: add by m2/dev
YJY0GRRFRA YJY0GRRFRA
| URI | m2://inv/YJY0GRRFRA |
|---|---|
| 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.01828#U8SS (statement). In RQMJY73C8Q/e1, lemma V.1
History
- 2026-10-29: add by m2/v0.4.12
YJY8A1YTRF YJY8A1YTRF
| URI | m2://inv/YJY8A1YTRF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#ex:torus-s1-times-s1 (exercise). In N54F33XE07, ex, section 5.13
History
- 2026-11-01: add by m2/v0.6.13
Victor Panaretos YJYDC81S1A
| URI | m2://inv/YJYDC81S1A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Victor Panaretos, Victor Panaretos (topic). Also Wikidata Q102307260
History
- 2026-11-02: add by m2/dev
group, abelian YJYECCAYP3
| URI | m2://inv/YJYECCAYP3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.1/group-abelian, group, abelian (concept). In N54F33XE07, index, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
Finite-resolution potential alignment YJYEQWX32S
| URI | m2://inv/YJYEQWX32S |
|---|---|
| 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.05428#IVL2, Finite-resolution potential alignment (statement). In 31MQPCA8SH/e1, lemma E.7
History
- 2026-10-29: add by m2/v0.4.10
YJYH96Z68P YJYH96Z68P
| URI | m2://inv/YJYH96Z68P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0908.3266#0PKU (statement). In B0W6PMDN3N/e1, corollary 4.2
History
- 2026-10-27: add by m2/v0.3.5
Manipulative YJYP9Y4PWQ
| URI | m2://inv/YJYP9Y4PWQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Manipulative (mathematics education), Manipulative (definition). Also Wikidata Q17078759
History
- 2026-11-02: add by m2/dev
YJYRYDDGTK YJYRYDDGTK
| URI | m2://inv/YJYRYDDGTK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2401.11433#E0YM (statement). In JNA2B803FH/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Pranab K. Sen YJZ039V0GB
| URI | m2://inv/YJZ039V0GB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#D4ED, Pranab K. Sen (topic)
History
- 2026-11-02: add by m2/dev
Mimi Kim YJZ1P4TVQ1
| URI | m2://inv/YJZ1P4TVQ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mimi Kim, Mimi Kim (topic). Also Wikidata Q25999562
History
- 2026-11-02: add by m2/dev
KSD-64 YJZ546H06G
| URI | m2://inv/YJZ546H06G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#W9ZW, KSD-64 (unknown)
History
- 2026-11-02: add by m2/dev
YJZ6XX5SP4 YJZ6XX5SP4
| URI | m2://inv/YJZ6XX5SP4 |
|---|---|
| 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.16746#QLVT (statement). In M00TA3JJM6/e1, corollary 1.4
History
- 2026-10-28: add by m2/v0.4.2
the whole profile YJZDZ7XW9P
| URI | m2://inv/YJZDZ7XW9P |
|---|---|
| Kind | problem |
| 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.09298#2KOH, the whole profile (problem). In 1SPQ4J3AWY/e1, problem 9.3
History
- 2026-10-29: add by m2/v0.4.10
Area formula YJZDZEPMZR
| URI | m2://inv/YJZDZEPMZR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surface of revolution#YAKF, Area formula (statement)
History
- 2026-11-02: add by m2/dev
Non-uniform lower bound for 2-colorability (second-moment method YJZGHKQYTA
| URI | m2://inv/YJZGHKQYTA |
|---|---|
| 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.07379#YRAN, Non-uniform lower bound for 2-colorability (second-moment method (statement). In N0EVQ46HBR/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
minor arc YJZGMPDWFF
| URI | m2://inv/YJZGMPDWFF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q117009099, minor arc (unknown). Also MathWorld MinorArc
History
- 2026-10-26: add by m2/dev
YJZHCY36B9 YJZHCY36B9
| URI | m2://inv/YJZHCY36B9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06529#VYVS (statement). In JFQY4CYHKP/e1, lemma 2.16
History
- 2026-10-29: add by m2/v0.4.10
YJZKW4423J YJZKW4423J
| URI | m2://inv/YJZKW4423J |
|---|---|
| Kind | definition |
| 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.37450#NSBP (definition). In FP05Z6EBV4/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Bell matrix YJZS3VQDYZ
| URI | m2://inv/YJZS3VQDYZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jabotinsky matrix#Q45Q, Bell matrix (unknown)
History
- 2026-11-02: add by m2/dev