Inventory rows YW
The cards of the rows of the inventory whose ids start with YW. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
YW02M9BE47 YW02M9BE47
| URI | m2://inv/YW02M9BE47 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04593#HL6W (definition). In PEXJPV3NP8/e1, definition 6.2
History
- 2026-10-27: add by m2/v0.3.5
YW031GD8DP YW031GD8DP
| URI | m2://inv/YW031GD8DP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10469#6L0E (statement). In Q39BEKW6D9/e1, corollary 2.5
History
- 2026-10-29: add by m2/v0.4.10
Properties YW07KF5YZ3
| URI | m2://inv/YW07KF5YZ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaniadakis exponential distribution#LFTD, Properties (statement)
History
- 2026-11-02: add by m2/dev
Existence of a fixed point for $\mT_\Omega$ YW0MB999PC
| URI | m2://inv/YW0MB999PC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14988#9SH0, Existence of a fixed point for $\mT_\Omega$ (statement). In B29M4E6KGC/e1, theorem G.1
History
- 2026-10-28: add by m2/v0.4.2
YW0YZS4DC4 YW0YZS4DC4
| URI | m2://inv/YW0YZS4DC4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25255#PJ99 (statement)
History
- 2026-11-01: add by m2/v0.6.15
William John Greenstreet YW0ZYX3K1K
| URI | m2://inv/YW0ZYX3K1K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William John Greenstreet, William John Greenstreet (topic). Also Wikidata Q18911694
History
- 2026-11-02: add by m2/dev
Special cases YW1CVJ5JBY
| URI | m2://inv/YW1CVJ5JBY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isosceles trapezoid#2WRO, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Thornton, John Wingate YW1K6RVK9J
| URI | m2://inv/YW1K6RVK9J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#29J2, Thornton, John Wingate (unknown)
History
- 2026-11-02: add by m2/dev
Doron Gepner YW1MWMKFWN
| URI | m2://inv/YW1MWMKFWN |
|---|---|
| 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 Q21823259, Doron Gepner (unknown). Also nLab Doron Gepner
History
- 2026-10-26: add by m2/dev
YW1NGDSA7Q YW1NGDSA7Q
| URI | m2://inv/YW1NGDSA7Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10873#TQID (statement). In AYG8HYGW6V/e1, theorem A.7
History
- 2026-10-28: add by m2/v0.4.3
Simple observations YW1WFMYM22
| URI | m2://inv/YW1WFMYM22 |
|---|---|
| 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.22513#R7VW, Simple observations (statement)
History
- 2026-11-02: add by m2/v0.6.17
Electro-magneto-elasticity YW20BDNFNV
| URI | m2://inv/YW20BDNFNV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 49-XX, 60-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.21391#BQR6, Electro-magneto-elasticity (example). In J9C7YMKJ33/e1, example 4.25
History
- 2026-10-27: add by m2/v0.3.5
Thomas Reeve Rosebrugh YW2BZ5CQZ6
| URI | m2://inv/YW2BZ5CQZ6 |
|---|---|
| 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#YQRF, Thomas Reeve Rosebrugh (unknown)
History
- 2026-11-02: add by m2/dev
Overall lower bound for the full SA path YW2DXDYYS0
| URI | m2://inv/YW2DXDYYS0 |
|---|---|
| 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.40338#VLWR, Overall lower bound for the full SA path (statement). In K5H6GS0SGQ/e1, theorem 3.7
History
- 2026-10-30: add by m2/v0.4.12
YW2K6PQEAX YW2K6PQEAX
| URI | m2://inv/YW2K6PQEAX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15504#YNRX (statement). In AZ8SEW6HAV/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
YW368J94X8 YW368J94X8
| URI | m2://inv/YW368J94X8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:powersums (exercise). In VNMV985MXX, exercise, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
YW3EP7A68N YW3EP7A68N
| URI | m2://inv/YW3EP7A68N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#example-12 (example). In E9HS8K3A52, example, section 5.3.2
History
- 2026-11-01: add by m2/v0.6.13
Definitions YW3FHKWEQ6
| URI | m2://inv/YW3FHKWEQ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Voter segments in political polling#ABHQ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Coherence YW3G2D78YD
| URI | m2://inv/YW3G2D78YD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherence (statistics), Coherence (definition). Also Wikidata Q17007142
History
- 2026-11-02: add by m2/dev
YW3GVZ4QNH YW3GVZ4QNH
| URI | m2://inv/YW3GVZ4QNH |
|---|---|
| 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.30018#YP8I (statement)
History
- 2026-11-01: add by m2/v0.6.15
stereology YW3HDRG4HP
| URI | m2://inv/YW3HDRG4HP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1598902, stereology (concept). Also MathWorld Stereology
History
- 2026-10-26: add by m2/dev
Formal definitions YW3HZQ9MXS
| URI | m2://inv/YW3HZQ9MXS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibration#MBO4, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev
Quadratic refinement YW3NM7AMKD
| URI | m2://inv/YW3NM7AMKD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ε-quadratic form#T81N, Quadratic refinement (unknown)
History
- 2026-11-02: add by m2/dev
Uniqueness among Gaussian barycenters YW3NMGW3B1
| URI | m2://inv/YW3NMGW3B1 |
|---|---|
| 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.01855#MQBP, Uniqueness among Gaussian barycenters (statement). In MM8P5CJR18/e1, corollary 5.17
History
- 2026-10-29: add by m2/v0.4.12
YW3T7D1CB8 YW3T7D1CB8
| URI | m2://inv/YW3T7D1CB8 |
|---|---|
| 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 2602.13510#QH7H (statement). In Y75MQW7CFV/e1, lemma A.4
History
- 2026-10-27: add by m2/v0.3.5
Passaic YW413DY7VG
| URI | m2://inv/YW413DY7VG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#06B3, Passaic (unknown)
History
- 2026-11-02: add by m2/dev
YW42TXBV4J YW42TXBV4J
| URI | m2://inv/YW42TXBV4J |
|---|---|
| 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.20025#DOD9 (statement). In 4W1WR4JB89/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.4.2
YW46SHPC5J YW46SHPC5J
| URI | m2://inv/YW46SHPC5J |
|---|---|
| Kind | definition |
| 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 1806.00752#ZI0C (definition). In GGW2N4JHXM/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
YW48EK3YRK YW48EK3YRK
| URI | m2://inv/YW48EK3YRK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 46-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 2609.35577#RAZ0 (definition). In 4F8QRV05BV/e1, definition 2.4
History
- 2026-10-30: add by m2/v0.4.12
YW4HWP1RRM YW4HWP1RRM
| URI | m2://inv/YW4HWP1RRM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00312#TFJW (statement). In 41NFABHFXH/e1, theorem 2.2
History
- 2026-10-30: add by m2/v0.4.12
Application of De Giorgi's theorem to Hilbert's problem YW4KXAMPK1
| URI | m2://inv/YW4KXAMPK1 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's nineteenth problem#G031, Application of De Giorgi's theorem to Hilbert's problem (problem)
History
- 2026-11-02: add by m2/dev
Finite satisfiability (logics) YW56Q7JPY9
| URI | m2://inv/YW56Q7JPY9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Satisfiability#0YOJ, Finite satisfiability (logics) (unknown)
History
- 2026-11-02: add by m2/dev
Stars YW57J4MJ82
| URI | m2://inv/YW57J4MJ82 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21454#X9HT, Stars (example). In ZP2RJFZ3V2/e1, example 4.11
History
- 2026-10-27: add by m2/v0.4.2
Core model YW5TAT8F94
| URI | m2://inv/YW5TAT8F94 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#779U, Core model (definition)
History
- 2026-11-02: add by m2/dev
Algorithm YW5WSKTVH8
| URI | m2://inv/YW5WSKTVH8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cayley–Menger determinant#3Q6X, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Robert J. McCann YW6J5YSFKR
| URI | m2://inv/YW6J5YSFKR |
|---|---|
| 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#D6G8, Robert J. McCann (topic)
History
- 2026-11-02: add by m2/dev
$\PGL(2,q)$, $\PpGL(2,q)$ YW6RGXM7NA
| URI | m2://inv/YW6RGXM7NA |
|---|---|
| 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.15340#XRIF, $\PGL(2,q)$, $\PpGL(2,q)$ (statement). In 9NVKKW8HDH/e1, theorem 2.21
History
- 2026-10-28: add by m2/v0.4.2
No decreasing wall columns YW6TN7M5VA
| URI | m2://inv/YW6TN7M5VA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28892#GM98, No decreasing wall columns (example)
History
- 2026-11-01: add by m2/v0.6.15
YW6WMT3D7V YW6WMT3D7V
| URI | m2://inv/YW6WMT3D7V |
|---|---|
| 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 2508.13122#ZBKP (statement). In PX2GWH86PN/e1, corollary 2.2
History
- 2026-10-27: add by m2/v0.3.5
Ellis wormhole YW6ZXKXC4Z
| URI | m2://inv/YW6ZXKXC4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellis wormhole, Ellis wormhole (definition). Also Wikidata Q25313226
History
- 2026-11-02: add by m2/dev
Jon MacLennan YW739XXZRW
| URI | m2://inv/YW739XXZRW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#IIY5, Jon MacLennan (unknown)
History
- 2026-11-02: add by m2/dev
Harald Wohlrapp YW73WJ8QTF
| URI | m2://inv/YW73WJ8QTF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harald Wohlrapp, Harald Wohlrapp (topic). Also Wikidata Q92312
History
- 2026-11-02: add by m2/dev
arithmetic genus YW7B01NVRP
| URI | m2://inv/YW7B01NVRP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#OCGR, arithmetic genus (definition)
History
- 2026-11-02: add by m2/dev
Plot sampling YW7Q849NEB
| URI | m2://inv/YW7Q849NEB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plot sampling, Plot sampling (definition). Also Wikidata Q16905881
History
- 2026-11-02: add by m2/dev
heat equation YW7T6HK5CY
| URI | m2://inv/YW7T6HK5CY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.9/heat-equation, heat equation (concept). In E9HS8K3A52, index, section 6.9
History
- 2026-11-01: add by m2/v0.6.13
YW7X0XNA9R YW7X0XNA9R
| URI | m2://inv/YW7X0XNA9R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04214#58X8 (statement). In HWY7AQ4KT2/e1, proposition 5.4
History
- 2026-10-29: add by m2/v0.4.12
Cauchy–Riemann manifold YW7YZJQMH4
| URI | m2://inv/YW7YZJQMH4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#M9OP, Cauchy–Riemann manifold (definition)
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#1ANX, Cauchy–Riemann manifold (definition)
History
- 2026-11-02: add by m2/dev
Queuing theory in teletraffic engineering YW7Z7P7DPE
| URI | m2://inv/YW7Z7P7DPE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MKR1, Queuing theory in teletraffic engineering (definition)
History
- 2026-11-02: add by m2/dev
Minimality is decided by the smallest selected item YW8863H11T
| URI | m2://inv/YW8863H11T |
|---|---|
| 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.18017#WUSZ, Minimality is decided by the smallest selected item (statement). In EBSQEQYECS/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
YW8CPXP3WR YW8CPXP3WR
| URI | m2://inv/YW8CPXP3WR |
|---|---|
| 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.17677#HFSN (statement). In 5E9G06XJKC/e1, lemma C.16
History
- 2026-10-28: add by m2/v0.4.2
Bartlett's theorem YW8GACWQCZ
| URI | m2://inv/YW8GACWQCZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#P9IB, Bartlett's theorem (statement)
History
- 2026-11-02: add by m2/dev
Uncertainty principle YW8JESC8HD
| URI | m2://inv/YW8JESC8HD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#UAX9, Uncertainty principle (statement)
History
- 2026-11-02: add by m2/dev
YW8M35AR0C YW8M35AR0C
| URI | m2://inv/YW8M35AR0C |
|---|---|
| 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 2407.05730#IP3J (statement). In VQ7STN4KDC/e1, theorem 1.7
History
- 2026-10-27: add by m2/v0.3.5
Examples YW8SCG3AG5
| URI | m2://inv/YW8SCG3AG5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isoparametric manifold#Q74V, Examples (example)
History
- 2026-11-02: add by m2/dev
Eric Charles Milner YW8XJJ8TS6
| URI | m2://inv/YW8XJJ8TS6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eric Charles Milner, Eric Charles Milner (topic). Also Wikidata Q5386259
History
- 2026-11-02: add by m2/dev
YW93C6F4WS YW93C6F4WS
| URI | m2://inv/YW93C6F4WS |
|---|---|
| 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.10230#N687 (statement). In YS75517SF7/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.10
Examples YW97CXR0Z9
| URI | m2://inv/YW97CXR0Z9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bregman divergence#3EIJ, Examples (example)
History
- 2026-11-02: add by m2/dev
YW9GBJD5AA YW9GBJD5AA
| URI | m2://inv/YW9GBJD5AA |
|---|---|
| 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.13103#U8UL (statement). In GG2ZZV6KEQ/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2
Cofinite YW9KMPVXDN
| URI | m2://inv/YW9KMPVXDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exceptional set concepts#EGV2, Cofinite (definition)
History
- 2026-11-02: add by m2/dev
Shili Lin YW9Q0XA65X
| URI | m2://inv/YW9Q0XA65X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shili Lin, Shili Lin (topic). Also Wikidata Q42308525
History
- 2026-11-02: add by m2/dev
YW9Q4M4395 YW9Q4M4395
| URI | m2://inv/YW9Q4M4395 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#ADUI (statement). In Z7E16PFFCP/e1, lemma 5.4
History
- 2026-10-30: add by m2/v0.4.12
Theorem YW9X85WCNK
| URI | m2://inv/YW9X85WCNK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov complexity#4VXP, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Loewner's torus inequality YW9ZCD66JT
| URI | m2://inv/YW9ZCD66JT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loewner's torus inequality, Loewner's torus inequality (statement). Also Wikidata Q3154012
History
- 2026-11-02: add by m2/dev
concave function YWA8TJMR4V
| URI | m2://inv/YWA8TJMR4V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#5RUV, concave function (definition)
History
- 2026-11-02: add by m2/dev
Characterization YWAAX0W3P5
| URI | m2://inv/YWAAX0W3P5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lomax distribution#JLC5, Characterization (statement)
History
- 2026-11-02: add by m2/dev
YWAK5D7KNX YWAK5D7KNX
| URI | m2://inv/YWAK5D7KNX |
|---|---|
| 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.35320#JZDT (statement). In QJ6AEW93RB/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
YWAMQX4DD4 YWAMQX4DD4
| URI | m2://inv/YWAMQX4DD4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-36 (exercise). In E59CDZA4DP, exercise, section 10.2.5
History
- 2026-11-01: add by m2/v0.6.13
Generalizations YWB1HM7P85
| URI | m2://inv/YWB1HM7P85 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Periodic sequence#DTX9, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
YWB3CB7JPY YWB3CB7JPY
| URI | m2://inv/YWB3CB7JPY |
|---|---|
| Kind | statement |
| 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#TU0P (statement). In BDN507RN7J/e1, proposition 3.2.3
History
- 2026-10-30: add by m2/v0.4.12
YWB3VSXC6B YWB3VSXC6B
| URI | m2://inv/YWB3VSXC6B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#7IT2 (statement). In HX63A1PH1W/e1, proposition 6.13
History
- 2026-10-28: add by m2/v0.4.3
Fixed-level adelic unitary identification YWB6BE16B9
| URI | m2://inv/YWB6BE16B9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.25925#6VAO, Fixed-level adelic unitary identification (statement)
History
- 2026-11-01: add by m2/v0.6.15
Joseph Seffi Naor YWB6RXQ3ZC
| URI | m2://inv/YWB6RXQ3ZC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#61OP, Joseph Seffi Naor (unknown)
History
- 2026-11-02: add by m2/dev
Martin Charles Golumbic YWBCC83SQQ
| URI | m2://inv/YWBCC83SQQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FPLK, Martin Charles Golumbic (topic)
History
- 2026-11-02: add by m2/dev
Schreier–Sims algorithm YWBCCW4T2B
| URI | m2://inv/YWBCCW4T2B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#CW3O, Schreier–Sims algorithm (definition)
History
- 2026-11-02: add by m2/dev
Q test YWBPXR78TX
| URI | m2://inv/YWBPXR78TX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GPA8, Q test (unknown)
History
- 2026-11-02: add by m2/dev
YWBVM91BPA YWBVM91BPA
| URI | m2://inv/YWBVM91BPA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10365#SZZ4 (statement). In PRVQPSBVHK/e1, proposition 16
History
- 2026-10-29: add by m2/v0.4.10
Collatz conjecture YWBZD01HTG
| URI | m2://inv/YWBZD01HTG |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#4Z47, Collatz conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Time-scale calculus YWCE7X2FQM
| URI | m2://inv/YWCE7X2FQM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Time-scale calculus, Time-scale calculus (definition). Also Wikidata Q7804838
History
- 2026-11-02: add by m2/dev
Bell inequalities YWCN5C4Y0Y
| URI | m2://inv/YWCN5C4Y0Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probabilistic proofs of non-probabilistic theorems#MWHZ, Bell inequalities (statement)
History
- 2026-11-02: add by m2/dev
General statement of the class number formula YWCQQZ42RF
| URI | m2://inv/YWCQQZ42RF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Class number formula#XV5H, General statement of the class number formula (statement)
History
- 2026-11-02: add by m2/dev
Parameter-density decomposition YWCVQ4E19J
| URI | m2://inv/YWCVQ4E19J |
|---|---|
| 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 2609.22305#LU6A, Parameter-density decomposition (statement). In P6FTXTV09Q/e1, proposition 5.1
History
- 2026-10-27: add by m2/v0.4.0
length YWCVZJQDH4
| URI | m2://inv/YWCVZJQDH4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/12.3/length, length (concept). In QKM9DD2H56, index, section 12.3
History
- 2026-11-01: add by m2/v0.6.13
Lamb–Oseen vortex YWCZYK64P3
| URI | m2://inv/YWCZYK64P3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lamb–Oseen vortex, Lamb–Oseen vortex (definition). Also Wikidata Q6481628
History
- 2026-11-02: add by m2/dev
YWD1N62CH8 YWD1N62CH8
| URI | m2://inv/YWD1N62CH8 |
|---|---|
| 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 2609.36321#4867 (definition). In 3KTZ6Z615H/e1, definition 2.7
History
- 2026-10-30: add by m2/v0.4.12
RSA-576 YWD1R1WZNQ
| URI | m2://inv/YWD1R1WZNQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#99I5, RSA-576 (unknown)
History
- 2026-11-02: add by m2/dev
Well posedness by time change YWD4NZ5738
| URI | m2://inv/YWD4NZ5738 |
|---|---|
| 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.09522#KBQZ, Well posedness by time change (statement). In KKR9167FPT/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
Robert A. Bosch YWD4Z0T03F
| URI | m2://inv/YWD4Z0T03F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert A. Bosch, Robert A. Bosch (topic). Also Wikidata Q102341902
History
- 2026-11-02: add by m2/dev
Properties YWD63BP5QN
| URI | m2://inv/YWD63BP5QN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gibbs sampling#OGBP, Properties (statement)
History
- 2026-11-02: add by m2/dev
YWD75JCKD5 YWD75JCKD5
| URI | m2://inv/YWD75JCKD5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01087#YOKT (statement). In 7QXAZXGNPQ/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.12
locus YWDB55FPV8
| URI | m2://inv/YWDB55FPV8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#44CF, locus (definition)
History
- 2026-11-02: add by m2/dev
Horrocks–Mumford bundle YWDEHX1YAB
| URI | m2://inv/YWDEHX1YAB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex and algebraic surfaces#XF0F, Horrocks–Mumford bundle (definition)
History
- 2026-11-02: add by m2/dev
Statement YWDGV0A628
| URI | m2://inv/YWDGV0A628 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sharkovskii's theorem#ROGC, Statement (statement)
History
- 2026-11-02: add by m2/dev
YWDHJ3Z2S0 YWDHJ3Z2S0
| URI | m2://inv/YWDHJ3Z2S0 |
|---|---|
| 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 2207.07461#TQ60 (statement). In GAG532VMPF/e1, lemma 4.4.1
History
- 2026-10-27: add by m2/v0.3.5
Sheaf cohomology YWDNVZ36S3
| URI | m2://inv/YWDNVZ36S3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of homological algebra topics#L2TL, Sheaf cohomology (definition)
- wikipedia: Wikipedia List of algebraic geometry topics#B7EK, Sheaf cohomology (definition)
History
- 2026-11-02: add by m2/dev
Entropy encoding YWDP99WW4Z
| URI | m2://inv/YWDP99WW4Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#CHC8, Entropy encoding (definition)
History
- 2026-11-02: add by m2/dev
YWDSSYN92B YWDSSYN92B
| URI | m2://inv/YWDSSYN92B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#TUTN (statement)
History
- 2026-11-02: add by m2/v0.6.17
YWDZCA4NWP YWDZCA4NWP
| URI | m2://inv/YWDZCA4NWP |
|---|---|
| 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.03288#I6ZZ (statement). In ZHP1MFSACN/e1, corollary 1.6
History
- 2026-10-29: add by m2/v0.4.12
Topology, index, and area YWE07HCFDB
| URI | m2://inv/YWE07HCFDB |
|---|---|
| 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.32001#5Q0A, Topology, index, and area (statement). In 5FZGDECW2R/e1, theorem 1.1
History
- 2026-10-31: add by m2/v0.5.6
Lebesgue–Stieltjes integration YWE3D49R9E
| URI | m2://inv/YWE3D49R9E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Lebesgue–Stieltjes integration FK3QBZAZH7 |
Mentions
- wikidata: Wikidata Q3799278, Lebesgue–Stieltjes integration (unknown). Also EoM Lebesgue-Stieltjes_integral
- wikipedia: Wikipedia Lebesgue–Stieltjes integration, Lebesgue–Stieltjes integration (definition). Also Wikidata Q3799278
History
- 2026-10-26: add by m2/dev
Partial autocorrelation function YWE5GZ8PW7
| URI | m2://inv/YWE5GZ8PW7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial autocorrelation function, Partial autocorrelation function (definition). Also Wikidata Q1258253
History
- 2026-11-02: add by m2/dev
YWECZK7QVH YWECZK7QVH
| URI | m2://inv/YWECZK7QVH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-conc.ptx#exercise-2 (exercise). In Y91XFCEVHQ, exercise, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
Semantic differential YWEK9AYYC9
| URI | m2://inv/YWEK9AYYC9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semantic differential, Semantic differential (definition). Also Wikidata Q1662954
History
- 2026-11-02: add by m2/dev
Plug-In Selector Regret YWEM7GXR30
| URI | m2://inv/YWEM7GXR30 |
|---|---|
| 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.03769#YJOX, Plug-In Selector Regret (statement). In 35DNCV14M4/e1, proposition 9
History
- 2026-10-29: add by m2/v0.4.12
Dilke, Sir Charles YWENGF2N29
| URI | m2://inv/YWENGF2N29 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#3BRS, Dilke, Sir Charles (unknown)
History
- 2026-11-02: add by m2/dev
YWEQAC3YTV YWEQAC3YTV
| URI | m2://inv/YWEQAC3YTV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#sl:slregthm (statement). In E9HS8K3A52, theorem, section 3.1.1
History
- 2026-11-01: add by m2/v0.6.13
K-convex function YWER7M9DWS
| URI | m2://inv/YWER7M9DWS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-convex function, K-convex function (definition). Also Wikidata Q25111447
History
- 2026-11-02: add by m2/dev
Overleaf YWEVSX5F23
| URI | m2://inv/YWEVSX5F23 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#FHLN, Overleaf (unknown)
History
- 2026-11-02: add by m2/dev
Cartesian tensor YWEW2HFERX
| URI | m2://inv/YWEW2HFERX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17004583, Cartesian tensor (unknown). Also MathWorld CartesianTensor
- wikipedia: Wikipedia Cartesian tensor, Cartesian tensor (definition). Also Wikidata Q17004583
History
- 2026-10-26: add by m2/dev
National Survey of Family Growth YWEZ0TTN6W
| URI | m2://inv/YWEZ0TTN6W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Survey of Family Growth, National Survey of Family Growth (definition). Also Wikidata Q17070897
History
- 2026-11-02: add by m2/dev
A one-determinant lower bound YWFDGSEJ2G
| URI | m2://inv/YWFDGSEJ2G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 49-XX, 58-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.05164#YXME, A one-determinant lower bound (statement). In JY6RYSNXMJ/e1, proposition 6
History
- 2026-10-29: add by m2/v0.4.10
YWFE34CTKR YWFE34CTKR
| URI | m2://inv/YWFE34CTKR |
|---|---|
| Kind | example |
| 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 1002.0879#OM0A (example). In M0SQY5EZN5/e1, example 2.3.11
History
- 2026-10-27: add by m2/v0.3.5
Aleph-omega YWFE6JDJ0H
| URI | m2://inv/YWFE6JDJ0H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aleph number#C85W, Aleph-omega (unknown)
History
- 2026-11-02: add by m2/dev
Applications YWFED8RR0G
| URI | m2://inv/YWFED8RR0G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete tomography#MQOI, Applications (example)
History
- 2026-11-02: add by m2/dev
Properties YWFFYJAE33
| URI | m2://inv/YWFFYJAE33 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymmetric graph#RZUA, Properties (statement)
History
- 2026-11-02: add by m2/dev
Wasserstein metric YWFM8WRQ8H
| URI | m2://inv/YWFM8WRQ8H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Wasserstein metric VEY29CS26X |
Mentions
- wikidata: Wikidata Q768993, Wasserstein metric (unknown). Also EoM Wasserstein_metric, nLab Wasserstein metric
- wikipedia: Wikipedia Wasserstein metric, Wasserstein metric (definition). Also Wikidata Q768993
History
- 2026-10-26: add by m2/dev
YWG20F47F8 YWG20F47F8
| URI | m2://inv/YWG20F47F8 |
|---|---|
| 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 2406.07116#B48P (statement). In 5B030CB2RK/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.6
Submetry YWG6BA90CP
| URI | m2://inv/YWG6BA90CP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Riemannian and metric geometry#NFQ4, Submetry (unknown)
History
- 2026-11-02: add by m2/dev
YWGCHNDX51 YWGCHNDX51
| URI | m2://inv/YWGCHNDX51 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22073#7YK0 (statement). In MVWSXXCXB7/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.4.2
trirectangular tetrahedron YWGDJKDZTK
| URI | m2://inv/YWGDJKDZTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7843925, trirectangular tetrahedron (unknown). Also MathWorld TrirectangularTetrahedron
- wikipedia: Wikipedia Trirectangular tetrahedron, Trirectangular tetrahedron (definition). Also Wikidata Q7843925
History
- 2026-10-26: add by m2/dev
YWGPWDB9SR YWGPWDB9SR
| URI | m2://inv/YWGPWDB9SR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24739#JXDP (statement)
History
- 2026-11-01: add by m2/v0.6.15
Camacho-Sad formula YWGWP1QHC4
| URI | m2://inv/YWGWP1QHC4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#GCKJ, Camacho-Sad formula (statement). In ZA6XNBA90V/e1, theorem 1.23
History
- 2026-10-27: add by m2/v0.3.5
YWGX8VK9EJ YWGX8VK9EJ
| URI | m2://inv/YWGX8VK9EJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03238#36UO (example). In 5PG581A1GK/e1, example 17
History
- 2026-10-29: add by m2/v0.4.12
YWGZGJJVTZ YWGZGJJVTZ
| URI | m2://inv/YWGZGJJVTZ |
|---|---|
| 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.33015#SU99 (statement). In W6Y6NPK648/e1, proposition 5.13
History
- 2026-10-27: add by m2/v0.3.5
YWH270MT65 YWH270MT65
| URI | m2://inv/YWH270MT65 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.02275#Z6SG (statement). In 1QXCNGRWV1/e1, lemma 2.14
History
- 2026-10-27: add by m2/v0.3.5
YWH3Z93AG8 YWH3Z93AG8
| URI | m2://inv/YWH3Z93AG8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10248#8GVM (statement). In TMV74X2725/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
YWH6EYFTZD YWH6EYFTZD
| URI | m2://inv/YWH6EYFTZD |
|---|---|
| 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.09900#F9YC (statement). In ATSYBWEMMP/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
$C^{(k,l),\alpha}$ Lorentz--Finsler structures YWH8XMEN9A
| URI | m2://inv/YWH8XMEN9A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11911#LGYJ, $C^{(k,l),\alpha}$ Lorentz--Finsler structures (definition). In 5BYE5NYB89/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.3
Classical Euclidean geometry YWHG63H0JX
| URI | m2://inv/YWHG63H0JX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#3RIU, Classical Euclidean geometry (definition)
History
- 2026-11-02: add by m2/dev
Frequency description of horizontal continuity YWHHM4SYFQ
| URI | m2://inv/YWHHM4SYFQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18907#TMPW, Frequency description of horizontal continuity (statement). In 4SSZ4PF2P2/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Epidemic curve YWHP07M45G
| URI | m2://inv/YWHP07M45G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epidemic curve, Epidemic curve (definition). Also Wikidata Q85759445
History
- 2026-11-02: add by m2/dev
YWJ2XS7985 YWJ2XS7985
| URI | m2://inv/YWJ2XS7985 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03559#7TWI (statement). In R68THJCHX6/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Supermatrix YWJET6W70S
| URI | m2://inv/YWJET6W70S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supermatrix, Supermatrix (definition). Also Wikidata Q3977978
History
- 2026-11-02: add by m2/dev
Ambient construction YWJJ28QFTH
| URI | m2://inv/YWJJ28QFTH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ambient construction, Ambient construction (definition). Also Wikidata Q4741429
History
- 2026-11-02: add by m2/dev
pseudorandom number YWJJ94M4DK
| URI | m2://inv/YWJJ94M4DK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12774855, pseudorandom number (unknown). Also MathWorld PseudorandomNumber
History
- 2026-10-26: add by m2/dev
Converse mapping theorem YWJNXSYV01
| URI | m2://inv/YWJNXSYV01 |
|---|---|
| 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.24408#UOCE, Converse mapping theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
Andrei Bolibrukh YWJPH9ST75
| URI | m2://inv/YWJPH9ST75 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#S8M1, Andrei Bolibrukh (topic)
History
- 2026-11-02: add by m2/dev
YWK3B5FBYW YWK3B5FBYW
| URI | m2://inv/YWK3B5FBYW |
|---|---|
| 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.21298#GK5L (statement). In AXWM2MBYXV/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.2
YWK4R18VHW YWK4R18VHW
| URI | m2://inv/YWK4R18VHW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1311.6044#JO25 (definition). In W4FFB6SVZD/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
A continuous compact-set family with a singleton fiber YWKC34RQTD
| URI | m2://inv/YWKC34RQTD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09602#9WDJ, A continuous compact-set family with a singleton fiber (statement). In 4AQ48WSBDQ/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.10
Properties YWKG1701J1
| URI | m2://inv/YWKG1701J1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Property of Baire#NDPA, Properties (statement)
History
- 2026-11-02: add by m2/dev
Common axioms YWKZC566R1
| URI | m2://inv/YWKZC566R1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic structure#03OM, Common axioms (statement)
History
- 2026-11-02: add by m2/dev
Lorentz transformation YWM7JH615A
| URI | m2://inv/YWM7JH615A |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q217255, Lorentz transformation (concept). Also EoM Lorentz_transformation, MathWorld LorentzTransformation
- wikipedia: Wikipedia Lorentz transformation, Lorentz transformation (definition). Also Wikidata Q217255
History
- 2026-10-26: add by m2/dev
Tampering (quality control) YWM9RDZDJ6
| URI | m2://inv/YWM9RDZDJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SKII, Tampering (quality control) (definition)
History
- 2026-11-02: add by m2/dev
YWMDCS0M9T YWMDCS0M9T
| URI | m2://inv/YWMDCS0M9T |
|---|---|
| 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 2601.00910#UP0G (statement). In 8B1548XAJ4/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.6
YWMF61CBAB YWMF61CBAB
| URI | m2://inv/YWMF61CBAB |
|---|---|
| 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.03292#UZV8 (statement). In SN2PBM95HT/e1, theorem 2.11
History
- 2026-10-29: add by m2/v0.4.12
YWMGB2J1P3 YWMGB2J1P3
| URI | m2://inv/YWMGB2J1P3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21034#3MSO (statement)
History
- 2026-11-02: add by m2/v0.6.18
YWMH7T18FX YWMH7T18FX
| URI | m2://inv/YWMH7T18FX |
|---|---|
| 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 2508.13122#WIUL (statement). In PX2GWH86PN/e1, corollary A.2
History
- 2026-10-27: add by m2/v0.3.5
YWN4MD5YT5 YWN4MD5YT5
| URI | m2://inv/YWN4MD5YT5 |
|---|---|
| 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.32077#4M2E (problem). In WYXQDSQR9B/e1, problem 3.16
History
- 2026-10-31: add by m2/v0.5.6
Catherine Cavagnaro YWNANQ8TCE
| URI | m2://inv/YWNANQ8TCE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catherine Cavagnaro, Catherine Cavagnaro (topic). Also Wikidata Q102144710
History
- 2026-11-02: add by m2/dev
YWNE02XJ3S YWNE02XJ3S
| URI | m2://inv/YWNE02XJ3S |
|---|---|
| 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.09694#B2OO (statement). In 7VXBVQ5SAC/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
YWNYT6TR3G YWNYT6TR3G
| URI | m2://inv/YWNYT6TR3G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#3PLO (definition). In QNBFHFZ3H0/e1, definition
History
- 2026-10-28: add by m2/v0.4.2
Examples YWP2P0XNRA
| URI | m2://inv/YWP2P0XNRA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seriation (archaeology)#9Y5G, Examples (example)
History
- 2026-11-02: add by m2/dev
Separation beyond a root threshold YWP5VEFHQJ
| URI | m2://inv/YWP5VEFHQJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09602#0OQS, Separation beyond a root threshold (statement). In 4AQ48WSBDQ/e1, lemma 3.8
History
- 2026-10-29: add by m2/v0.4.10
Quadratic space YWPBE7KRTR
| URI | m2://inv/YWPBE7KRTR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic form#73FX, Quadratic space (unknown)
History
- 2026-11-02: add by m2/dev
Applications YWPH2X3Z03
| URI | m2://inv/YWPH2X3Z03 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix pencil#YLTE, Applications (example)
History
- 2026-11-02: add by m2/dev
Unit groupoids YWPMVEY93N
| URI | m2://inv/YWPMVEY93N |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#P122, Unit groupoids (example). In 4WPYBTARS2/e1, example 6.1
History
- 2026-10-29: add by m2/v0.4.12
A8 lattice YWPRDS0VTZ
| URI | m2://inv/YWPRDS0VTZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 8-simplex honeycomb#T040, A8 lattice (unknown)
History
- 2026-11-02: add by m2/dev
Unfoldable cardinal YWPV88JZ7N
| URI | m2://inv/YWPV88JZ7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unfoldable cardinal, Unfoldable cardinal (definition). Also Wikidata Q7884364
History
- 2026-11-02: add by m2/dev
YWPY81ZCY3 YWPY81ZCY3
| URI | m2://inv/YWPY81ZCY3 |
|---|---|
| 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.16203#QK29 (statement). In 43TBS9P2PX/e1, lemma 8.7
History
- 2026-10-28: add by m2/v0.4.2
YWPYBFA9PD YWPYBFA9PD
| URI | m2://inv/YWPYBFA9PD |
|---|---|
| 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.35320#SV42 (statement). In QJ6AEW93RB/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
Lebesgue number YWQ2T99B0V
| URI | m2://inv/YWQ2T99B0V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.5/lebesgue-number, Lebesgue number (concept). In N54F33XE07, index, section B.5
History
- 2026-11-01: add by m2/v0.6.13
RE YWQ7A7VHK7
| URI | m2://inv/YWQ7A7VHK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RE (complexity), RE (definition). Also Wikidata Q905621
History
- 2026-11-02: add by m2/dev
Chebotar\"{e}v YWQCZHPBF6
| URI | m2://inv/YWQCZHPBF6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1204.5958#1CID, Chebotar\"{e}v (statement). In XYCBKM4WKY/e1, theorem 15
History
- 2026-10-27: add by m2/v0.3.5
YWQRG5YW7K YWQRG5YW7K
| URI | m2://inv/YWQRG5YW7K |
|---|---|
| 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.37747#UGDS (statement). In GEYDNVZEP7/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
YWQS0D5YCJ YWQS0D5YCJ
| URI | m2://inv/YWQS0D5YCJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39491#ABKU (statement). In 9R00V9TGVT/e1, corollary 3.6
History
- 2026-10-30: add by m2/v0.4.12
Uniqueness: Jordan–Hölder theorem YWQV9THQWY
| URI | m2://inv/YWQV9THQWY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Composition series#RNAD, Uniqueness: Jordan–Hölder theorem (statement)
History
- 2026-11-02: add by m2/dev
Poisson scatter theorem YWQW0EFPXZ
| URI | m2://inv/YWQW0EFPXZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson scatter theorem, Poisson scatter theorem (statement). Also Wikidata Q7208506
History
- 2026-11-02: add by m2/dev
YWRD0N5WZF YWRD0N5WZF
| URI | m2://inv/YWRD0N5WZF |
|---|---|
| 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.00775#UBY2 (statement). In WVHA7H05QC/e1, proposition 3.6
History
- 2026-10-29: add by m2/v0.4.12
Applications YWREP747J0
| URI | m2://inv/YWREP747J0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fredholm integral equation#JC79, Applications (example)
History
- 2026-11-02: add by m2/dev
YWRF3FA38B YWRF3FA38B
| URI | m2://inv/YWRF3FA38B |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#0DHR (conjecture). In CGA36VE1C5/e1, conjecture 2
History
- 2026-10-27: add by m2/v0.3.6
Department of Mathematics, University of Manchester YWRMA1WE4Y
| URI | m2://inv/YWRMA1WE4Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Department of Mathematics, University of Manchester, Department of Mathematics, University of Manchester (topic). Also Wikidata Q7432501
History
- 2026-11-02: add by m2/dev
YWRQEYKBBX YWRQEYKBBX
| URI | m2://inv/YWRQEYKBBX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20153#C7JF (statement). In EYB107TM4Q/e1, theorem 5.7
History
- 2026-10-27: add by m2/v0.4.2
Maze generation algorithm YWRXAHVFHB
| URI | m2://inv/YWRXAHVFHB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graph theory topics#8FYS, Maze generation algorithm (unknown)
History
- 2026-11-02: add by m2/dev
YWRYAXG8AA YWRYAXG8AA
| URI | m2://inv/YWRYAXG8AA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07673#689H (example). In 37B1MPV8GX/e1, example 2.10
History
- 2026-10-29: add by m2/v0.4.10
Hilbert's use of Pasch's axiom YWS1PM2JNH
| URI | m2://inv/YWS1PM2JNH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pasch's axiom#0Z8X, Hilbert's use of Pasch's axiom (statement)
History
- 2026-11-02: add by m2/dev
Mario Pieri YWS1SWZQ70
| URI | m2://inv/YWS1SWZQ70 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mario Pieri, Mario Pieri (topic). Also Wikidata Q983389
History
- 2026-11-02: add by m2/dev
Müntz–Szász theorem YWS4XZ0R4P
| URI | m2://inv/YWS4XZ0R4P |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527129, Müntz–Szász theorem (statement). Also Wikidata Q3527129
- thousand_plus: thousand_plus Q3527129, Müntz–Szász theorem (statement). Also Wikidata Q3527129, Wikipedia Müntz–Szász theorem
- wikipedia: Wikipedia Müntz–Szász theorem, Müntz–Szász theorem (statement). Also Wikidata Q3527129
History
- 2026-10-26: add by m2/dev
YWS6JZK1TD YWS6JZK1TD
| URI | m2://inv/YWS6JZK1TD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29943#3GA5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
YWSC6Y3WRB YWSC6Y3WRB
| URI | m2://inv/YWSC6Y3WRB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#U3ZV (statement). In 47WN78VDDF/e1, theorem 3.28
History
- 2026-10-30: add by m2/v0.4.12
YWSEMNFQQ4 YWSEMNFQQ4
| URI | m2://inv/YWSEMNFQQ4 |
|---|---|
| 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.34876#I3A3 (statement). In XXQAW3ZBDF/e1, lemma 8.1
History
- 2026-10-30: add by m2/v0.4.12
Nataša Jonoska YWSG468NN6
| URI | m2://inv/YWSG468NN6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nataša Jonoska, Nataša Jonoska (topic). Also Wikidata Q28862271
History
- 2026-11-02: add by m2/dev
Makaranda YWSGX9YM2B
| URI | m2://inv/YWSGX9YM2B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#XXLH, Makaranda (unknown)
History
- 2026-11-02: add by m2/dev
Properties of the Bergman kernel YWSR7DC2K0
| URI | m2://inv/YWSR7DC2K0 |
|---|---|
| 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 2610.17276#KF41, Properties of the Bergman kernel (statement). In GG14QF0JKJ/e1, lemma 2.14
History
- 2026-10-28: add by m2/v0.4.2
YWSRX84J1X YWSRX84J1X
| URI | m2://inv/YWSRX84J1X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39531#512T (definition). In SN9RSTHQ07/e1, definition 5.2
History
- 2026-10-30: add by m2/v0.4.12
Applications YWTGVNA4F0
| URI | m2://inv/YWTGVNA4F0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mueller calculus#FJPU, Applications (example)
History
- 2026-11-02: add by m2/dev
E.M. Opdam YWTNKCT7YH
| URI | m2://inv/YWTNKCT7YH |
|---|---|
| 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#EWMI, E.M. Opdam (topic)
History
- 2026-11-02: add by m2/dev
Net YWTRAS771P
| URI | m2://inv/YWTRAS771P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#9UBS, Net (definition)
History
- 2026-11-02: add by m2/dev
\textit{Synchronization manifold YWV26XGZG4
| URI | m2://inv/YWV26XGZG4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.00678#5N1A, \textit{Synchronization manifold (definition). In RX70Y35BYJ/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Minimisation (clinical trials) YWVK6CDVK9
| URI | m2://inv/YWVK6CDVK9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Q2FL, Minimisation (clinical trials) (definition)
History
- 2026-11-02: add by m2/dev
YWVPQPKTJF YWVPQPKTJF
| URI | m2://inv/YWVPQPKTJF |
|---|---|
| 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#8QSW (statement). In 12JKZ8EN52/e1, theorem 1.8
History
- 2026-10-27: add by m2/v0.3.5
Kaye Stacey YWVTA01Q8S
| URI | m2://inv/YWVTA01Q8S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EFJ0, Kaye Stacey (unknown)
History
- 2026-11-02: add by m2/dev
Randomized response YWW831Y4NK
| URI | m2://inv/YWW831Y4NK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Randomized response, Randomized response (definition). Also Wikidata Q1436628
History
- 2026-11-02: add by m2/dev
YWW9WE5BJ4 YWW9WE5BJ4
| URI | m2://inv/YWW9WE5BJ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00409#L5W5 (statement). In YQT2APQPWD/e1, proposition 7.2
History
- 2026-10-30: add by m2/v0.4.12
YWWGDFQ57K YWWGDFQ57K
| URI | m2://inv/YWWGDFQ57K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11047#GJM5 (statement). In MNQAZ70XTH/e1, theorem 11.6
History
- 2026-10-28: add by m2/v0.4.3
Four glasses puzzle YWWJ4ES71A
| URI | m2://inv/YWWJ4ES71A |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Four glasses puzzle, Four glasses puzzle (problem). Also Wikidata Q5475681
History
- 2026-11-02: add by m2/dev
YWWQ7F4NHT YWWQ7F4NHT
| URI | m2://inv/YWWQ7F4NHT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09113#448Z (statement). In MWAK0MK21N/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Benedetto Croce YWX42SCQ5J
| URI | m2://inv/YWX42SCQ5J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benedetto Croce, Benedetto Croce (topic). Also Wikidata Q192348
History
- 2026-11-02: add by m2/dev
YWX6MMGRVS YWX6MMGRVS
| URI | m2://inv/YWX6MMGRVS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39872#7Q43 (statement). In 32A7BMMT1E/e1, proposition 2.3
History
- 2026-10-30: add by m2/v0.4.12
Strichartz estimates YWX89H5D6Y
| URI | m2://inv/YWX89H5D6Y |
|---|---|
| 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.28454#NDW2, Strichartz estimates (statement)
History
- 2026-11-01: add by m2/v0.6.15
meet irreducible YWX89Z4FW3
| URI | m2://inv/YWX89Z4FW3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#RLT9, meet irreducible (definition). In GW23NX78SB/e1, definition 3.21
History
- 2026-10-28: add by m2/v0.4.2
YWXC3695D3 YWXC3695D3
| URI | m2://inv/YWXC3695D3 |
|---|---|
| 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.20758#A305 (definition). In PG0B4PH9YH/e1, definition 5.5
History
- 2026-10-27: add by m2/v0.4.2
Normal form YWXHR26VW8
| URI | m2://inv/YWXHR26VW8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19812#SOI1, Normal form (statement). In ZS89RH18QM/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
Corollary YWXJ4487FS
| URI | m2://inv/YWXJ4487FS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Montel's theorem#UZQ7, Corollary (statement)
History
- 2026-11-02: add by m2/dev
YWXRQV2PFJ YWXRQV2PFJ
| URI | m2://inv/YWXRQV2PFJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.34570#JI4L (statement). In EVFX1R7ZDD/e1, theorem 5
History
- 2026-10-30: add by m2/v0.4.12
Principle of adaptation YWXVAFC91B
| URI | m2://inv/YWXVAFC91B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interdependence theory#J201, Principle of adaptation (statement)
History
- 2026-11-02: add by m2/dev
YWY426FWZ3 YWY426FWZ3
| URI | m2://inv/YWY426FWZ3 |
|---|---|
| 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 2210.11778#5WNP (statement). In PPAJZ2JBCE/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
YWYJCB3BKX YWYJCB3BKX
| URI | m2://inv/YWYJCB3BKX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 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.13213#44S0 (statement). In V97F4YZ8B0/e1, lemma 7.4
History
- 2026-10-28: add by m2/v0.4.2
Niven's theorem YWYQH1QB0N
| URI | m2://inv/YWYQH1QB0N |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4116459, Niven's theorem (statement). Also Mathlib niven, Wikidata Q4116459
- thousand_plus: thousand_plus Q4116459, Niven's theorem (statement). Also Mathlib niven, Wikidata Q4116459, Wikipedia Niven's theorem
- wikidata: Wikidata Q4116459, Niven's theorem (statement). Also MathWorld NivensTheorem
- wikipedia: Wikipedia Niven's theorem, Niven's theorem (statement). Also Wikidata Q4116459
History
- 2026-10-26: add by m2/dev
YWZ8HCZT96 YWZ8HCZT96
| URI | m2://inv/YWZ8HCZT96 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32903#93AP (statement). In S8NB83KQX3/e1, lemma 4
History
- 2026-10-31: add by m2/v0.5.6
BLISS signature scheme YWZAQ4RZ1S
| URI | m2://inv/YWZAQ4RZ1S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BLISS signature scheme, BLISS signature scheme (definition). Also Wikidata Q25305483
History
- 2026-11-02: add by m2/dev
divariant YWZBG5NZBQ
| URI | m2://inv/YWZBG5NZBQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#5P4B, divariant (definition)
History
- 2026-11-02: add by m2/dev
RH implies $N_{\ast}$ is eventually strictly increasing YWZC8J8JQ9
| URI | m2://inv/YWZC8J8JQ9 |
|---|---|
| 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.03728#KYA0, RH implies $N_{\ast}$ is eventually strictly increasing (statement). In NXR84SNM8F/e1, theorem 12.6
History
- 2026-10-29: add by m2/v0.4.12
Geometric detection and recovery YWZFY272RS
| URI | m2://inv/YWZFY272RS |
|---|---|
| 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.26318#97U5, Geometric detection and recovery (statement)
History
- 2026-11-01: add by m2/v0.6.15
YWZG1CK7V5 YWZG1CK7V5
| URI | m2://inv/YWZG1CK7V5 |
|---|---|
| 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.33421#C9WT (statement). In YMVA1SJ640/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Thin lens YWZM1FSW2G
| URI | m2://inv/YWZM1FSW2G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thin lens, Thin lens (definition). Also Wikidata Q283724
History
- 2026-11-02: add by m2/dev
YWZNASCGRD YWZNASCGRD
| URI | m2://inv/YWZNASCGRD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#P1OV (statement). In E7W2HDNEKJ/e1, lemma 7.4
History
- 2026-10-30: add by m2/v0.4.12
Alternative definitions YWZQ2BJR05
| URI | m2://inv/YWZQ2BJR05 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian curvature#1FLH, Alternative definitions (definition)
History
- 2026-11-02: add by m2/dev
YWZQYTYN16 YWZQYTYN16
| URI | m2://inv/YWZQYTYN16 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#S9HS (unknown). In QX77AN49J0/e1, unknown
History
- 2026-10-27: add by m2/v0.4.2
YWZT4K598G YWZT4K598G
| URI | m2://inv/YWZT4K598G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19684#2KU8 (definition). In 9KQC3ZT2SH/e1, definition
History
- 2026-10-28: add by m2/v0.4.2